Module dev.civl.mc

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

Interface ArraySliceReference

All Superinterfaces:

MemoryUnitReference

public interface ArraySliceReference
extends MemoryUnitReference

This represents the reference to an array, which could be:

• element
• wildcard
• range

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	ArraySliceReference.ArraySliceKind

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.expression.reference.MemoryUnitReference

MemoryUnitReference.MemoryUnitReferenceKind

Method Summary

Modifier and Type	Method	Description
Expression	index()	Returns the index expression of the array slice.
ArraySliceReference.ArraySliceKind	sliceKind()	Returns the kind of the array slice, which could be ELEMENT, WILDCARD, or RANGE.

Methods inherited from interface dev.civl.mc.model.IF.expression.reference.MemoryUnitReference

child, memoryUnitKind

Method Details

index

Expression index()

Returns the index expression of the array slice.

Returns:

sliceKind

ArraySliceReference.ArraySliceKind sliceKind()

Returns the kind of the array slice, which could be ELEMENT, WILDCARD, or RANGE.

Returns: