Module dev.civl.mc

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

Interface CIVLRegularRangeType

All Superinterfaces:

CIVLSetType, CIVLStructOrUnionType, CIVLType

public interface CIVLRegularRangeType
extends CIVLStructOrUnionType, CIVLSetType

Nested Class Summary

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

CIVLType.TypeKind

Method Summary

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

elementType

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

complete, complete, fields, getField, getFieldIndex, isComplete, name, numFields, setHandleObjectType

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