public class UnevalizerAPI
extends java.lang.Object
Constructor and Description |
---|
UnevalizerAPI() |
Modifier and Type | Method and Description |
---|---|
static Value |
evaluateEvalCall(FunctionCalls.CallInfo call,
GenericSolver.SolverInterface c,
State state,
CallNode callNode) |
static Value |
evaluateFunctionCall(FunctionCalls.CallInfo call,
GenericSolver.SolverInterface c,
State state,
CallNode callNode,
java.lang.String body,
java.util.List<java.lang.String> parameterNames,
FlowGraph currentFg) |
static Value |
evaluateSetTimeoutSetIntervalStringCall(FunctionCalls.CallInfo call,
GenericSolver.SolverInterface c,
State s,
Value callbackSourceCode,
CallNode callNode) |
public static Value evaluateEvalCall(FunctionCalls.CallInfo call, GenericSolver.SolverInterface c, State state, CallNode callNode)
public static Value evaluateFunctionCall(FunctionCalls.CallInfo call, GenericSolver.SolverInterface c, State state, CallNode callNode, java.lang.String body, java.util.List<java.lang.String> parameterNames, FlowGraph currentFg)
public static Value evaluateSetTimeoutSetIntervalStringCall(FunctionCalls.CallInfo call, GenericSolver.SolverInterface c, State s, Value callbackSourceCode, CallNode callNode)
Copyright © 2009-2019 Aarhus University