dk.brics.tajs.analysis.nativeobjects

Class TAJSFunctionEvaluator

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.TAJSFunctionEvaluator

public class TAJSFunctionEvaluator
extends java.lang.Object

Evaluates the TAJS_* functions (see TAJSFunction).

Constructor Summary

Constructors

Constructor and Description
TAJSFunctionEvaluator()

Method Summary

Modifier and Type	Method and Description
static Value	evaluate(TAJSFunction nativeobject, FunctionCalls.CallInfo call, GenericSolver.SolverInterface c)
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

TAJSFunctionEvaluator

public TAJSFunctionEvaluator()

Method Detail

evaluate

public static Value evaluate(TAJSFunction nativeobject,
                             FunctionCalls.CallInfo call,
                             GenericSolver.SolverInterface c)

main

public static void main(java.lang.String[] args)