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

Packages that use CIVLFunctionType

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 CIVLFunctionType in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
CIVLFunctionType	CIVLFunction.functionType()	returns the type of this function.
CIVLFunctionType	CIVLTypeFactory.functionType(CIVLType returnType, CIVLType[] paraTypes)	Creates a new instance of function type, which contains a return type and a list of parameter types.

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

Modifier and Type	Method	Description
LambdaExpression	ModelFactory.lambdaExpression(CIVLSource source, CIVLFunctionType functionType, Variable variable, Expression expression)	Creates a new lambda expression.

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

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

Modifier and Type	Method	Description
CIVLFunctionType	LambdaExpression.getExpressionType()