Uses of Interface
dev.civl.mc.model.IF.CIVLFunction

Packages that use CIVLFunction

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.semantics.IF	Module semantics implements the semantics of CIVL-C.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

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

Subinterfaces of CIVLFunction in dev.civl.mc.model.IF

Modifier and Type	Interface	Description
interface	AbstractFunction	An abstract function is an uninterpreted mathematical function.
interface	LogicFunction	A logic function is a function whose definition (body) is either absent (i.e.
interface	SystemFunction	A system function is a function that is implemented in a library executor, not in source code.

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

Modifier and Type	Method	Description
CIVLFunction	Model.function(String name)	Get a function based on its name.
CIVLFunction	ModelFactory.function(CIVLSource source, boolean isAtomic, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, Location startLocation)	Create a new function.
CIVLFunction	Scope.function()
CIVLFunction	Scope.getFunction(int fid)
CIVLFunction	Scope.getFunction(Identifier name)
CIVLFunction	Scope.getFunction(String name)
CIVLFunction	ModelFactory.nondetFunction(CIVLSource source, Identifier name, CIVLType returnType, Scope containingScope)
CIVLFunction	Model.rootFunction()

Methods in dev.civl.mc.model.IF that return types with arguments of type CIVLFunction

Modifier and Type	Method	Description
Set<CIVLFunction>	Model.functions()

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

Modifier and Type	Method	Description
void	Model.addFunction(CIVLFunction function)
void	Scope.addFunction(CIVLFunction function)
CivlParForSpawnStatement	ModelFactory.civlParForEnterStatement(CIVLSource source, Location location, Expression domain, VariableExpression domSize, VariableExpression procsVar, CIVLFunction parProcFunc)	creates a $parfor enter statement to start the execution of the $parfor.
FunctionIdentifierExpression	ModelFactory.functionIdentifierExpression(CIVLSource source, CIVLFunction function)	creates a function identifier expression.
Model	ModelFactory.model(CIVLSource source, CIVLFunction system, dev.civl.abc.program.IF.Program program)	Create a new model.
Fragment	ModelFactory.returnFragment(CIVLSource civlSource, Location source, Expression expression, CIVLFunction function)	Create a one-statement fragment that contains the return statement.
Scope	ModelFactory.scope(CIVLSource source, Scope parent, List<Variable> variables, CIVLFunction function)	Create a new scope.
void	Scope.setFunction(CIVLFunction function)
void	Model.setRootFunction(CIVLFunction root)
UpdateStatement	ModelFactory.updateStatement(CIVLSource source, Location srcLoc, Expression guard, Expression collator, CIVLFunction function, Expression[] arguments)

Method parameters in dev.civl.mc.model.IF with type arguments of type CIVLFunction

Modifier and Type	Method	Description
void	Model.setFunctions(Set<CIVLFunction> functions)

Uses of CIVLFunction in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return CIVLFunction

Modifier and Type	Method	Description
CIVLFunction	CallEvent.function()	The function (i.e., the callee) of this call event.

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

Modifier and Type	Method	Description
CallEvent	ContractFactory.newCallEvent(CIVLSource source, CIVLFunction function, List<Expression> arguments)	Creates a new instance of call event.
void	CallEvent.setFunction(CIVLFunction function)	Sets the callee of this event

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

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

Modifier and Type	Method	Description
CIVLFunction	FunctionIdentifierExpression.function()
CIVLFunction	SystemGuardExpression.function()	The invoked function.

Uses of CIVLFunction in dev.civl.mc.model.IF.location

Methods in dev.civl.mc.model.IF.location that return CIVLFunction

Modifier and Type	Method	Description
CIVLFunction	Location.function()

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

Methods in dev.civl.mc.model.IF.statement that return CIVLFunction

Modifier and Type	Method	Description
CIVLFunction	CallOrSpawnStatement.function()	TODO: get rid of it
CIVLFunction	UpdateStatement.function()
CIVLFunction	CivlParForSpawnStatement.parProcFunction()	returns the function to be executed by the spawned processes, which is equivalent to the body of the $parfor.

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

Modifier and Type	Method	Description
void	CivlParForSpawnStatement.setParProcFunction(CIVLFunction function)	updates the function which will be executed by spawned processes.

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

Methods in dev.civl.mc.semantics.IF that return types with arguments of type CIVLFunction

Modifier and Type	Method	Description
Triple<State,CIVLFunction,Integer>	Evaluator.evaluateFunctionIdentifier(State state, int pid, Expression functionPointer, CIVLSource source)	Evaluates a function pointer expression.

Uses of CIVLFunction in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF with parameters of type CIVLFunction

Modifier and Type	Method	Description
State	StateFactory.addProcess(State state, CIVLFunction function, int functionParentDyscope, dev.civl.sarl.IF.expr.SymbolicExpression[] arguments, int callerPid, boolean isSelfDestructable)	Adds a new process.
State	StateFactory.addProcess(State state, CIVLFunction function, dev.civl.sarl.IF.expr.SymbolicExpression[] arguments, int callerPid, boolean isSelfDestructable)	Adds a new process.
State	StateFactory.pushCallStack(State state, int pid, CIVLFunction function, int functionParentDyscope, dev.civl.sarl.IF.expr.SymbolicExpression[] arguments)	Pushes a new entry onto the call stack for a process.
State	StateFactory.pushCallStack(State state, int pid, CIVLFunction function, dev.civl.sarl.IF.expr.SymbolicExpression[] arguments)	Pushes a new entry onto the call stack for a process.
State	StateFactory.pushContract(State state, int pid, CIVLFunction function, dev.civl.sarl.IF.expr.SymbolicExpression[] arguments)	Pushes a new frame onto the call stack where static scope of the frame is the contract scope of a function.