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

Packages that use CIVLArrayType

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.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

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

Modifier and Type	Method	Description
CIVLArrayType	CIVLTypeFactory.incompleteArrayType(CIVLType elementType)	Get a new incomplete array type.

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

Modifier and Type	Method	Description
ArrayLambdaExpression	ModelFactory.arrayLambdaExpression(CIVLSource source, CIVLArrayType arrayType, List<Pair<List<Variable>,Expression>> boundVariableList, Expression restriction, Expression expression)	Creates a new array lambda expression.
Variable	ModelFactory.newAnonymousVariableForArrayLiteral(CIVLSource sourceOf, Scope scope, CIVLArrayType type)	Creates an anonymous variable of array type in a certain scope.
Variable	ModelFactory.newAnonymousVariableForConstantArrayLiteral(CIVLSource sourceOf, CIVLArrayType type, dev.civl.sarl.IF.expr.SymbolicExpression value)	Creates an anonymous variable of array type in the static constant scope.

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

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

Modifier and Type	Interface	Description
interface	CIVLCompleteArrayType	The type for an array of T where the extent is specified.

Uses of CIVLArrayType in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF with parameters of type CIVLArrayType

Modifier and Type	Method	Description
Pair<State,dev.civl.sarl.IF.type.SymbolicArrayType>	Evaluator.evaluateCIVLArrayType(State state, int pid, CIVLArrayType type)	Evaluating the symbolic array type from a CIVLArrayType based on current state and specific process.