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

Packages that use CIVLCompleteArrayType

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.

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

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

Modifier and Type	Method	Description
CIVLCompleteArrayType	CIVLTypeFactory.completeArrayType(CIVLType elementType, Expression extent)	Returns a new complete array type with specified extent (length expression) and element type.

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

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

Modifier and Type	Method	Description
CIVLCompleteArrayType	ArrayLambdaExpression.getExpressionType()