Module dev.civl.mc

Package dev.civl.mc.model.IF.expression.reference

Interface MemoryUnitReference

All Known Subinterfaces:

ArraySliceReference, SelfReference, StructOrUnionFieldReference

public interface MemoryUnitReference

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	MemoryUnitReference.MemoryUnitReferenceKind

Method Summary

Modifier and Type	Method	Description
MemoryUnitReference	child()	The child of this reference.
MemoryUnitReference.MemoryUnitReferenceKind	memoryUnitKind()	The reference kind of this memory unit.

Method Details

memoryUnitKind

MemoryUnitReference.MemoryUnitReferenceKind memoryUnitKind()

The reference kind of this memory unit.

Returns:

child

MemoryUnitReference child()

The child of this reference. (in order to support recursive references)

Returns: