Module dev.civl.mc

Package dev.civl.mc.model.IF.type

Interface CIVLCompleteArrayType

All Superinterfaces:

CIVLArrayType, CIVLType

public interface CIVLCompleteArrayType
extends CIVLArrayType

The type for an array of T where the extent is specified.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.type.CIVLType

CIVLType.TypeKind

Method Summary

Modifier and Type	Method	Description
Expression	extent()

Methods inherited from interface dev.civl.mc.model.IF.type.CIVLArrayType

dimension, elementType, hasConstantLength, isComplete

Methods inherited from interface dev.civl.mc.model.IF.type.CIVLType

analyze, areSubtypesScalar, copyAs, freeVariables, getDynamicType, getDynamicTypeIndex, getStateVariable, hasReferences, hasState, isArrayType, isBoolType, isBundleType, isCharType, isDomainType, isEnumerationType, isFunction, isHeapType, isIncompleteArrayType, isIntegerType, isNumericType, isPointerType, isProcessType, isRangeType, isRealType, isScalar, isScopeType, isSetType, isSetTypeOf, isStructType, isSuperTypeOf, isUnionType, isVoidType, setStateVariable, typeKind

Method Details

extent

Expression extent()

Returns:

The extent of this array.