Module dev.civl.mc

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

Interface CIVLBundleType

All Superinterfaces:

CIVLType

public interface CIVLBundleType
extends CIVLType

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
void	complete(List<CIVLType> types, Collection<dev.civl.sarl.IF.type.SymbolicType> elementTypes, dev.civl.sarl.IF.type.SymbolicUnionType dynamicType)
dev.civl.sarl.IF.type.SymbolicUnionType	getDynamicType(dev.civl.sarl.IF.SymbolicUniverse universe)	This returns the dynamic type corresponding to this static type in which all array extent expressions are ignored, i.e., all of the dynamic array types are incomplete.
dev.civl.sarl.IF.type.SymbolicType	getElementType(int index)
Integer	getIndexOf(dev.civl.sarl.IF.type.SymbolicType elementType)
int	getNumTypes()
CIVLType	getStaticElementType(int index)
boolean	isComplete()
List<CIVLType>	types()

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

analyze, areSubtypesScalar, copyAs, freeVariables, 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

getNumTypes

int getNumTypes()

getElementType

dev.civl.sarl.IF.type.SymbolicType getElementType(int index)

getStaticElementType

CIVLType getStaticElementType(int index)

getIndexOf

Integer getIndexOf(dev.civl.sarl.IF.type.SymbolicType elementType)

isComplete

boolean isComplete()

complete

void complete(List<CIVLType> types,
 Collection<dev.civl.sarl.IF.type.SymbolicType> elementTypes,
 dev.civl.sarl.IF.type.SymbolicUnionType dynamicType)

getDynamicType

dev.civl.sarl.IF.type.SymbolicUnionType getDynamicType(dev.civl.sarl.IF.SymbolicUniverse universe)

Description copied from interface: CIVLType

This returns the dynamic type corresponding to this static type in which all array extent expressions are ignored, i.e., all of the dynamic array types are incomplete. May be null (only in the case of the primitive type of kind

invalid reference

PrimitiveTypeKind.VOID

).

Specified by:

getDynamicType in interface CIVLType

Returns:

the dynamic type corresponding to this static type with incomplete array type

types

List<CIVLType> types()