Uses of Interface
dev.civl.mc.model.IF.type.CIVLPrimitiveType

Packages that use CIVLPrimitiveType

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.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.

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

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

Modifier and Type	Method	Description
CIVLPrimitiveType	CIVLTypeFactory.booleanType()	Get the boolean primitive type.
CIVLPrimitiveType	CIVLTypeFactory.charType()	Get the char primitive type.
CIVLPrimitiveType	CIVLTypeFactory.dynamicType()	Get the dynamic type.
CIVLPrimitiveType	CIVLTypeFactory.integerType()	Get the integer primitive type.
CIVLPrimitiveType	CIVLTypeFactory.processType()	Get the process type.
CIVLPrimitiveType	CIVLTypeFactory.realType()	Get the real primitive type.
CIVLPrimitiveType	CIVLTypeFactory.voidType()	Returns the void type.

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

Methods in dev.civl.mc.model.IF.expression that return CIVLPrimitiveType

Modifier and Type	Method	Description
CIVLPrimitiveType	RealLiteralExpression.getExpressionType()	Returns the real type.

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

Subinterfaces of CIVLPrimitiveType in dev.civl.mc.model.IF.type

Modifier and Type	Interface	Description
interface	CIVLScopeType	The $scope type in the CIVL-C language.
interface	CIVLStateType

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

Modifier and Type	Method	Description
CIVLType	CIVLType.copyAs(CIVLPrimitiveType type, dev.civl.sarl.IF.SymbolicUniverse universe)
StructOrUnionField	StructOrUnionField.copyAs(CIVLPrimitiveType type, dev.civl.sarl.IF.SymbolicUniverse universe)