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

Packages that use dev.civl.mc.model.IF.expression.reference

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

Classes in dev.civl.mc.model.IF.expression.reference used by dev.civl.mc.model.IF

Class	Description
ArraySliceReference	This represents the reference to an array, which could be: element wildcard range
ArraySliceReference.ArraySliceKind
MemoryUnitReference
SelfReference	This represents the complete reference to a variable.
StructOrUnionFieldReference	This represents a reference to a field of a struct/union.

Classes in dev.civl.mc.model.IF.expression.reference used by dev.civl.mc.model.IF.expression

Class	Description
MemoryUnitReference

Classes in dev.civl.mc.model.IF.expression.reference used by dev.civl.mc.model.IF.expression.reference

Class	Description
ArraySliceReference.ArraySliceKind
MemoryUnitReference
MemoryUnitReference.MemoryUnitReferenceKind