dk.brics.tajs.analysis

Class InitialStateBuilder

java.lang.Object

dk.brics.tajs.analysis.InitialStateBuilder

All Implemented Interfaces:

IInitialStateBuilder<State,CallContext,CallEdge<State>>

public class InitialStateBuilder
extends Object
implements IInitialStateBuilder<State,CallContext,CallEdge<State>>

Sets up the initial state (Chapter 15).

Field Summary

Fields

Modifier and Type	Field and Description
static ObjectLabel	ARRAY_PROTOTYPE Object label for Array.prototype.
static ObjectLabel	BOOLEAN_PROTOTYPE Object label for Boolean.prototype.
static ObjectLabel	DATE_PROTOTYPE Object label for Date.prototype.
static ObjectLabel	ERROR_PROTOTYPE Object label for Error.prototype.
static ObjectLabel	EVAL_ERROR_PROTOTYPE Object label for EvalError.prototype.
static ObjectLabel	FUNCTION_PROTOTYPE Object label for Function.prototype.
static ObjectLabel	GLOBAL Object label for the global object.
static ObjectLabel	NUMBER_PROTOTYPE Object label for Number.prototype.
static ObjectLabel	OBJECT_PROTOTYPE Object label for Object.prototype.
static ObjectLabel	RANGE_ERROR_PROTOTYPE Object label for RangeError.prototype.
static ObjectLabel	REFERENCE_ERROR_PROTOTYPE Object label for ReferenceError.prototype.
static ObjectLabel	REGEXP_PROTOTYPE Object label for RegExp.prototype.
static ObjectLabel	STRING_PROTOTYPE Object label for String.prototype.
static ObjectLabel	SYNTAX_ERROR_PROTOTYPE Object label for SyntaxError.prototype.
static ObjectLabel	TYPE_ERROR_PROTOTYPE Object label for TypeError.prototype.
static ObjectLabel	URI_ERROR_PROTOTYPE Object label for URIError.prototype.

Constructor Summary

Constructors

Constructor and Description
InitialStateBuilder() Constructs a new InitialStateBuilder object.

Method Summary

Methods

Modifier and Type	Method and Description
void	addInitialState(BasicBlock global_entry_block, GenericSolver.SolverInterface c, org.jdom.Document document) Sets up the initial state.
static void	createPrimitiveConstructor(State s, ObjectLabel target, ObjectLabel internal_proto, ObjectLabel prototype, ObjectLabel objlabel, String name, int arity) Creates a new built-in constructor.
static void	createPrimitiveFunction(State s, ObjectLabel target, ObjectLabel internal_proto, HostObject primitive, String name, int arity) Creates a new built-in function.

Methods inherited from class java.lang.Object

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

Field Detail

ARRAY_PROTOTYPE

public static final ObjectLabel ARRAY_PROTOTYPE

Object label for Array.prototype.

BOOLEAN_PROTOTYPE

public static final ObjectLabel BOOLEAN_PROTOTYPE

Object label for Boolean.prototype.

DATE_PROTOTYPE

public static final ObjectLabel DATE_PROTOTYPE

Object label for Date.prototype.

ERROR_PROTOTYPE

public static final ObjectLabel ERROR_PROTOTYPE

Object label for Error.prototype.

EVAL_ERROR_PROTOTYPE

public static final ObjectLabel EVAL_ERROR_PROTOTYPE

Object label for EvalError.prototype.

FUNCTION_PROTOTYPE

public static final ObjectLabel FUNCTION_PROTOTYPE

Object label for Function.prototype.

GLOBAL

public static final ObjectLabel GLOBAL

Object label for the global object.

NUMBER_PROTOTYPE

public static final ObjectLabel NUMBER_PROTOTYPE

Object label for Number.prototype.

OBJECT_PROTOTYPE

public static final ObjectLabel OBJECT_PROTOTYPE

Object label for Object.prototype.

RANGE_ERROR_PROTOTYPE

public static final ObjectLabel RANGE_ERROR_PROTOTYPE

Object label for RangeError.prototype.

REFERENCE_ERROR_PROTOTYPE

public static final ObjectLabel REFERENCE_ERROR_PROTOTYPE

Object label for ReferenceError.prototype.

REGEXP_PROTOTYPE

public static final ObjectLabel REGEXP_PROTOTYPE

Object label for RegExp.prototype.

STRING_PROTOTYPE

public static final ObjectLabel STRING_PROTOTYPE

Object label for String.prototype.

SYNTAX_ERROR_PROTOTYPE

public static final ObjectLabel SYNTAX_ERROR_PROTOTYPE

Object label for SyntaxError.prototype.

TYPE_ERROR_PROTOTYPE

public static final ObjectLabel TYPE_ERROR_PROTOTYPE

Object label for TypeError.prototype.

URI_ERROR_PROTOTYPE

public static final ObjectLabel URI_ERROR_PROTOTYPE

Object label for URIError.prototype.

Constructor Detail

InitialStateBuilder

public InitialStateBuilder()

Constructs a new InitialStateBuilder object.

Method Detail

addInitialState

public void addInitialState(BasicBlock global_entry_block,
                   GenericSolver.SolverInterface c,
                   org.jdom.Document document)

Sets up the initial state.

Specified by:

addInitialState in interface IInitialStateBuilder<State,CallContext,CallEdge<State>>

createPrimitiveConstructor

public static void createPrimitiveConstructor(State s,
                              ObjectLabel target,
                              ObjectLabel internal_proto,
                              ObjectLabel prototype,
                              ObjectLabel objlabel,
                              String name,
                              int arity)

Creates a new built-in constructor.

createPrimitiveFunction

public static void createPrimitiveFunction(State s,
                           ObjectLabel target,
                           ObjectLabel internal_proto,
                           HostObject primitive,
                           String name,
                           int arity)

Creates a new built-in function.