dk.brics.tajs.analysis

Class NativeFunctions

java.lang.Object

dk.brics.tajs.analysis.NativeFunctions

public class NativeFunctions
extends Object

Dispatch evaluation of native functions and common functionality used by the native functions.

Method Summary

Methods

Modifier and Type	Method and Description
static void	evaluateGetter(HostObject nativeobject, ObjectLabel objlabel, String propertyname, GenericSolver.SolverInterface c)
static void	evaluateSetter(HostObject nativeobject, ObjectLabel objlabel, String propertyname, Value v, GenericSolver.SolverInterface c)
static void	expectParameters(HostObject hostobject, FunctionCalls.CallInfo call, GenericSolver.SolverInterface c, int min, int max) Issues a warning if the number of parameters is not in the given interval.
static Value	readParameter(FunctionCalls.CallInfo call, State state, int param) Reads the value of a call parameter.
static Value	readUnknownParameter(FunctionCalls.CallInfo call) Reads the value of a call parameter.
static boolean	throwTypeErrorIfConstructor(FunctionCalls.CallInfo call, State state, GenericSolver.SolverInterface c) Throws a type error exception and issues a warning if the given call is a constructor call.
static boolean	throwTypeErrorIfWrongKindOfThis(ECMAScriptObjects nativeobject, FunctionCalls.CallInfo call, State state, GenericSolver.SolverInterface c, ObjectLabel.Kind kind) Throws a type error exception and issues a warning if the kind of the 'this' object is not as expected.
static void	updateArrayLength(AbstractNode node, State state, Set<ObjectLabel> objlabels, Str propertystr, Value value, int register, GenericSolver.SolverInterface c) Updates the length property of any arrays among the given objects in accordance with 15.4.5.1.

Methods inherited from class java.lang.Object

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

Method Detail

evaluateGetter

public static void evaluateGetter(HostObject nativeobject,
                  ObjectLabel objlabel,
                  String propertyname,
                  GenericSolver.SolverInterface c)

evaluateSetter

public static void evaluateSetter(HostObject nativeobject,
                  ObjectLabel objlabel,
                  String propertyname,
                  Value v,
                  GenericSolver.SolverInterface c)

expectParameters

public static void expectParameters(HostObject hostobject,
                    FunctionCalls.CallInfo call,
                    GenericSolver.SolverInterface c,
                    int min,
                    int max)

Issues a warning if the number of parameters is not in the given interval. max is ignored if -1.

readParameter

public static Value readParameter(FunctionCalls.CallInfo call,
                  State state,
                  int param)

Reads the value of a call parameter. Returns 'undefined' if too few parameters. The first parameter has number 0.

readUnknownParameter

public static Value readUnknownParameter(FunctionCalls.CallInfo call)

Reads the value of a call parameter. Only to be called if the number of arguments is unknown.

throwTypeErrorIfConstructor

public static boolean throwTypeErrorIfConstructor(FunctionCalls.CallInfo call,
                                  State state,
                                  GenericSolver.SolverInterface c)

Throws a type error exception and issues a warning if the given call is a constructor call. Don't forget to set the ordinary state to none if the exception will definitely occur.

Returns:

true if the exception is definitely thrown

throwTypeErrorIfWrongKindOfThis

public static boolean throwTypeErrorIfWrongKindOfThis(ECMAScriptObjects nativeobject,
                                      FunctionCalls.CallInfo call,
                                      State state,
                                      GenericSolver.SolverInterface c,
                                      ObjectLabel.Kind kind)

Throws a type error exception and issues a warning if the kind of the 'this' object is not as expected. Don't forget to set the ordinary state to none if the exception will definitely occur.

Returns:

true if the exception is definitely thrown

updateArrayLength

public static void updateArrayLength(AbstractNode node,
                     State state,
                     Set<ObjectLabel> objlabels,
                     Str propertystr,
                     Value value,
                     int register,
                     GenericSolver.SolverInterface c)

Updates the length property of any arrays among the given objects in accordance with 15.4.5.1. Also models truncation of the array if the 'length' property is being set. Sets the state to none if an exception is definitely thrown. This method only updates the 'length' property by writes to array indices, not by explicit writes to 'length'.