Module dev.civl.mc

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

Interface CIVLDomainType

All Superinterfaces:

CIVLType

public interface CIVLDomainType
extends CIVLType

This is the only one CIVLDomainType associated to the $domain type in program. The dynamic type of this CIVLDomainType is a triple tuple whose components are:

• int: dimension
• int: representation code
• union: {LiteralDomainType, RectangularDomainType}

For representation code:

• 0 stands for RectangularDomainType
• 1 stands for LiteralDomainType

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
dev.civl.sarl.IF.type.SymbolicUnionType	getDynamicSubTypesUnion(dev.civl.sarl.IF.SymbolicUniverse universe)	Since the domain type has couple more precise sub-types which are all in one union.
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

isComplete

boolean isComplete()

getDynamicSubTypesUnion

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

Since the domain type has couple more precise sub-types which are all in one union. This function returns the union type of all sub-types of the domain type.

Parameters:

universe -

Returns: