Uses of Interface
dev.civl.mc.model.IF.expression.reference.MemoryUnitReference

Packages that use MemoryUnitReference

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.expression.reference

Uses of MemoryUnitReference in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF with parameters of type MemoryUnitReference

Modifier and Type	Method	Description
MemoryUnitExpression	ModelFactory.memoryUnitExpression(CIVLSource source, Variable variable, CIVLType objetType, MemoryUnitReference reference, boolean writable, boolean hasPinterRef)	creates a memory unit expression.

Uses of MemoryUnitReference in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression that return MemoryUnitReference

Modifier and Type	Method	Description
MemoryUnitReference	MemoryUnitExpression.reference()	Returns the reference of this memory unit expression.

Uses of MemoryUnitReference in dev.civl.mc.model.IF.expression.reference

Subinterfaces of MemoryUnitReference in dev.civl.mc.model.IF.expression.reference

Modifier and Type	Interface	Description
interface	ArraySliceReference	This represents the reference to an array, which could be: element wildcard range
interface	SelfReference	This represents the complete reference to a variable.
interface	StructOrUnionFieldReference	This represents a reference to a field of a struct/union.

Methods in dev.civl.mc.model.IF.expression.reference that return MemoryUnitReference

Modifier and Type	Method	Description
MemoryUnitReference	MemoryUnitReference.child()	The child of this reference.