Module dev.civl.mc

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

Interface CIVLEnumType

All Superinterfaces:

CIVLType

public interface CIVLEnumType
extends CIVLType

An enumeration type.

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
BigInteger	firstValue()
String	name()	Gets the name of the enumeration type.
BigInteger	valueOf(String member)	Gets the value of a certain enumerator (member) of the enumeration type.

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

name

String name()

Gets the name of the enumeration type.

Returns:

valueOf

BigInteger valueOf(String member)

Gets the value of a certain enumerator (member) of the enumeration type.

Parameters:

member - The name of the member.

Returns:

The value of the enumerator.

firstValue

BigInteger firstValue()