dk.brics.tajs.analysis.nativeobjects

Class JSJson

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.JSJson

public class JSJson
extends java.lang.Object

Native JSON functions.

Constructor Summary

Constructors

Constructor and Description
JSJson()

Method Summary

Modifier and Type	Method and Description
static Value	evaluate(ECMAScriptObjects nativeobject, FunctionCalls.CallInfo call, GenericSolver.SolverInterface c)
static Value	makeAnyJSONObject(GenericSolver.SolverInterface c) Returns a Value representing all possible JSON objects.

Methods inherited from class java.lang.Object

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

Constructor Detail

JSJson

public JSJson()

Method Detail

evaluate

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

makeAnyJSONObject

public static Value makeAnyJSONObject(GenericSolver.SolverInterface c)

Returns a Value representing all possible JSON objects.