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

Packages that use ArraySliceReference

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.

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

Methods in dev.civl.mc.model.IF that return ArraySliceReference

Modifier and Type	Method	Description
ArraySliceReference	ModelFactory.arraySliceReference(ArraySliceReference.ArraySliceKind sliceKind, Expression index)	creates a new array slice reference.