Module dev.civl.mc

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

Interface CIVLSetType

All Superinterfaces:

CIVLType

All Known Subinterfaces:

CIVLMemType, CIVLRegularRangeType

public interface CIVLSetType
extends CIVLType

A CIVLType representing a set of a non-set kind CIVLType. Note that there is no implicit conversion between a CIVLType and a CIVLSetType.

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
CIVLType	elementType()

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 element type of this CIVLSetType which can have any CIVLType.TypeKind other than CIVLType.TypeKind.SET