public class FunctionCalls
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static interface |
FunctionCalls.CallInfo
Information about a function call.
|
static class |
FunctionCalls.DefaultImplicitCallInfo
Convenience class for creating the CallInfo for an implicit call.
|
static class |
FunctionCalls.EventHandlerCall
Information for an event handler call.
|
static class |
FunctionCalls.OrdinaryCallInfo
Call information for an ordinary call/construct.
|
Modifier and Type | Method and Description |
---|---|
static void |
callFunction(FunctionCalls.CallInfo call,
GenericSolver.SolverInterface c)
Enters a function described by a CallInfo.
|
static Value |
readParameter(FunctionCalls.CallInfo call,
State state,
int param)
Reads the value of a call parameter.
|
static Value |
readUnknownParameter(FunctionCalls.CallInfo call)
Reads the value of a call parameter.
|
public static void callFunction(FunctionCalls.CallInfo call, GenericSolver.SolverInterface c)
public static Value readParameter(FunctionCalls.CallInfo call, State state, int param)
public static Value readUnknownParameter(FunctionCalls.CallInfo call)
Copyright © 2009-2019 Aarhus University