public class NashornConcreteSemantics extends java.lang.Object implements NativeConcreteSemantics
Constructor and Description |
---|
NashornConcreteSemantics() |
Modifier and Type | Method and Description |
---|---|
MappedNativeResult<ConcreteValue> |
apply(java.lang.String functionName,
ConcreteValue base,
java.util.List<ConcreteValue> arguments) |
NativeResult<ConcreteValue> |
eval(java.lang.String script) |
static void |
main(java.lang.String[] args) |
public MappedNativeResult<ConcreteValue> apply(java.lang.String functionName, ConcreteValue base, java.util.List<ConcreteValue> arguments)
apply
in interface NativeConcreteSemantics
public NativeResult<ConcreteValue> eval(java.lang.String script)
eval
in interface NativeConcreteSemantics
public static void main(java.lang.String[] args) throws javax.script.ScriptException
javax.script.ScriptException
Copyright © 2009-2019 Aarhus University