Module dev.civl.mc

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

Interface CIVLArrayType

All Superinterfaces:

CIVLType

All Known Subinterfaces:

CIVLCompleteArrayType

public interface CIVLArrayType
extends CIVLType

The type for an array of T.

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
int	dimension()	computes the dimension of this array type.
CIVLType	elementType()
boolean	hasConstantLength()
boolean	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

elementType

CIVLType elementType()

Returns:

The type of elements in this array.

isComplete

boolean isComplete()

Returns:

Is this a complete array type? (i.e. is the length specified?)

hasConstantLength

boolean hasConstantLength()

Returns:

true iff this array type is complete and has compile-time constant array length

dimension

int dimension()

computes the dimension of this array type.

Returns:

the dimension of this array type.