dk.brics.tajs.analysis.nativeobjects.concrete

Class NashornConcreteSemantics

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.concrete.NashornConcreteSemantics

All Implemented Interfaces:

NativeConcreteSemantics

public class NashornConcreteSemantics
extends java.lang.Object
implements NativeConcreteSemantics

Concrete semantics implementation. Will perform concrete evaluation of concrete values using the Java native implementation of JavaScript.

Constructor Summary

Constructors

Constructor and Description
NashornConcreteSemantics()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NashornConcreteSemantics

public NashornConcreteSemantics()

Method Detail

apply

public MappedNativeResult<ConcreteValue> apply(java.lang.String functionName,
                                               ConcreteValue base,
                                               java.util.List<ConcreteValue> arguments)

Specified by:

apply in interface NativeConcreteSemantics

eval

public NativeResult<ConcreteValue> eval(java.lang.String script)

Specified by:

eval in interface NativeConcreteSemantics

main

public static void main(java.lang.String[] args)
                 throws javax.script.ScriptException

Throws:

javax.script.ScriptException