Uses of Class
dev.civl.mc.util.IF.Triple

Packages that use Triple

Package	Description
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

Methods in dev.civl.mc.semantics.IF that return Triple

Modifier and Type	Method	Description
Triple<State,CIVLFunction,Integer>	Evaluator.evaluateFunctionIdentifier(State state, int pid, Expression functionPointer, CIVLSource source)	Evaluates a function pointer expression.
Triple<State,StringBuffer,Boolean>	Evaluator.getString(CIVLSource source, State state, int pid, String process, Expression charPointerExpr, dev.civl.sarl.IF.expr.SymbolicExpression charPointer)	extracts a string based on a given character pointer or string literal.