Uses of Enum Class
dev.civl.mc.model.IF.type.CIVLPrimitiveType.PrimitiveTypeKind

Packages that use CIVLPrimitiveType.PrimitiveTypeKind

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.

Uses of CIVLPrimitiveType.PrimitiveTypeKind in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF with parameters of type CIVLPrimitiveType.PrimitiveTypeKind

Modifier and Type	Method	Description
static dev.civl.sarl.IF.object.StringObject	ModelConfiguration.getSizeofPrimitiveTypeName(dev.civl.sarl.IF.SymbolicUniverse universe, CIVLPrimitiveType.PrimitiveTypeKind kind)	Returns the name of the unique symbolic constant which represents the value of the size of a specific CIVLPrimitiveType.

Uses of CIVLPrimitiveType.PrimitiveTypeKind in dev.civl.mc.model.IF.type

Methods in dev.civl.mc.model.IF.type that return CIVLPrimitiveType.PrimitiveTypeKind

Modifier and Type	Method	Description
CIVLPrimitiveType.PrimitiveTypeKind	CIVLPrimitiveType.primitiveTypeKind()
static CIVLPrimitiveType.PrimitiveTypeKind	CIVLPrimitiveType.PrimitiveTypeKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static CIVLPrimitiveType.PrimitiveTypeKind[]	CIVLPrimitiveType.PrimitiveTypeKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.