Uses of Interface
dev.civl.mc.model.IF.expression.FunctionIdentifierExpression

Packages that use FunctionIdentifierExpression

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.statement	Submodule model.statement defines a statement of a CIVL-C program.

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

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

Modifier and Type	Method	Description
FunctionIdentifierExpression	ModelFactory.elaborateDomainPointer()
FunctionIdentifierExpression	ModelFactory.functionIdentifierExpression(CIVLSource source, CIVLFunction function)	creates a function identifier expression.

Uses of FunctionIdentifierExpression in dev.civl.mc.model.IF.statement

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

Modifier and Type	Method	Description
void	CallOrSpawnStatement.setFunction(FunctionIdentifierExpression function)	TODO: get rid of this, but updates the function expression instead.