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

Packages that use dev.civl.mc.model.IF.type

Package	Description
dev.civl.mc.dynamic.IF	Module dynamic provides general computations of symbolic expressions, including the pretty printing method.
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.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.
dev.civl.mc.model.IF.variable	Submodule model.variable defines variables in CIVL.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.dynamic.IF

Class	Description
CIVLType	Parent of all types.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.model.IF

Class	Description
CIVLArrayType	The type for an array of T.
CIVLBundleType
CIVLCompleteArrayType	The type for an array of T where the extent is specified.
CIVLCompleteDomainType
CIVLDomainType	This is the only one CIVLDomainType associated to the $domain type in program.
CIVLEnumType	An enumeration type.
CIVLFunctionType
CIVLHeapType
CIVLMemType	A CIVLType representing a set of memory locations.
CIVLPointerType	Type of a pointer.
CIVLPrimitiveType	A primitive type is a type of which there is only one instance.
CIVLPrimitiveType.PrimitiveTypeKind
CIVLScopeType	The $scope type in the CIVL-C language.
CIVLSetType	A CIVLType representing a set of a non-set kind CIVLType.
CIVLStructOrUnionType	Represents a "record" type (i.e.
CIVLType	Parent of all types.
StructOrUnionField	A field in a struct has a name and a type.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.model.IF.expression

Class	Description
CIVLCompleteArrayType	The type for an array of T where the extent is specified.
CIVLFunctionType
CIVLPrimitiveType	A primitive type is a type of which there is only one instance.
CIVLType	Parent of all types.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.model.IF.statement

Class	Description
CIVLType	Parent of all types.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.model.IF.type

Class	Description
CIVLArrayType	The type for an array of T.
CIVLMemType.MemoryLocationReference	Implementations of CIVLMemType.MemoryLocationReference represent references to a subset of a value of a variable/heap object
CIVLPrimitiveType	A primitive type is a type of which there is only one instance.
CIVLPrimitiveType.PrimitiveTypeKind
CIVLSetType	A CIVLType representing a set of a non-set kind CIVLType.
CIVLStructOrUnionType	Represents a "record" type (i.e.
CIVLType	Parent of all types.
CIVLType.TypeKind
StructOrUnionField	A field in a struct has a name and a type.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.model.IF.variable

Class	Description
CIVLType	Parent of all types.

Classes in dev.civl.mc.model.IF.type used by dev.civl.mc.semantics.IF

Class	Description
CIVLArrayType	The type for an array of T.
CIVLType	Parent of all types.