Module dev.civl.mc

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

package dev.civl.mc.model.IF.type

Submodule model.type defines types in CIVL.

Related Packages

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.contract
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.location	Submodule model.location defines a location in the control flow graph of CIVL.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.model.IF.variable	Submodule model.variable defines variables in CIVL.

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.
CIVLMemType.MemoryLocationReference	Implementations of CIVLMemType.MemoryLocationReference represent references to a subset of a value of a variable/heap object
CIVLPointerType	Type of a pointer.
CIVLPrimitiveType	A primitive type is a type of which there is only one instance.
CIVLPrimitiveType.PrimitiveTypeKind
CIVLRegularRangeType
CIVLScopeType	The $scope type in the CIVL-C language.
CIVLSetType	A CIVLType representing a set of a non-set kind CIVLType.
CIVLStateType
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.