public class TAJSConcreteSemantics
extends java.lang.Object
NB: the methods of this class do not have side-effects on values that are not provided as arguments to the methods. In general, the invocation of non-pure functions is not recommended, but some side-effects are supported (e.g. RegExp#lastIndex).
Constructor and Description |
---|
TAJSConcreteSemantics() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
convertFunctionToString(ObjectLabel functionLabel)
Implements Function.prototype.toString.
|
static Value |
convertTAJSCall(Value vThis,
java.lang.String functionName,
int maxArguments,
FunctionCalls.CallInfo call,
GenericSolver.SolverInterface c,
java.util.function.Supplier<Value> defaultBehavior)
Implements a general call with implicit arguments.
|
static Value |
convertTAJSCallExplicit(Value vThis,
java.lang.String functionName,
java.util.List<Value> arguments,
GenericSolver.SolverInterface c)
Implements a general call with explicit arguments.
|
static Value |
convertTAJSCallExplicit(Value vThis,
java.lang.String functionName,
java.util.List<Value> arguments,
GenericSolver.SolverInterface c,
java.util.function.Supplier<Value> defaultBehavior)
Implements a general call with explicit arguments.
|
static Value |
eval(java.lang.String code)
Implements eval.Throws exception if the concrete semantics was inapplicable to the call.
|
static NativeConcreteSemantics |
getNative() |
public static java.lang.String convertFunctionToString(ObjectLabel functionLabel)
public static Value convertTAJSCall(Value vThis, java.lang.String functionName, int maxArguments, FunctionCalls.CallInfo call, GenericSolver.SolverInterface c, java.util.function.Supplier<Value> defaultBehavior)
public static Value convertTAJSCallExplicit(Value vThis, java.lang.String functionName, java.util.List<Value> arguments, GenericSolver.SolverInterface c)
public static Value convertTAJSCallExplicit(Value vThis, java.lang.String functionName, java.util.List<Value> arguments, GenericSolver.SolverInterface c, java.util.function.Supplier<Value> defaultBehavior)
public static Value eval(java.lang.String code)
public static NativeConcreteSemantics getNative()
Copyright © 2009-2019 Aarhus University