dk.brics.tajs.analysis.js

Class UserFunctionCalls

java.lang.Object

dk.brics.tajs.analysis.js.UserFunctionCalls

public class UserFunctionCalls
extends Object

Models calls to user-defined (non-host) functions.

Method Summary

Methods

Modifier and Type	Method and Description
static void	declareFunction(DeclareFunctionNode n, State state) Declares a function.
static Set<ObjectLabel>	determineThis(AbstractNode n, State caller_state, State callee_state, GenericSolver.SolverInterface c, boolean is_constructor_call, int base_reg) Determines the value of 'this' when entering a function (other than call/apply and other than constructor call to host function).
static void	enterUserFunction(ObjectLabel obj_f, FunctionCalls.CallInfo call, State caller_state, GenericSolver.SolverInterface c) Enters a user-defined function.
static void	leaveUserFunction(Value returnval, boolean exceptional, Function f, State state, GenericSolver.SolverInterface c, NodeAndContext<CallContext> specific_caller) Leaves a user-defined function.

Methods inherited from class java.lang.Object

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

Method Detail

declareFunction

public static void declareFunction(DeclareFunctionNode n,
                   State state)

Declares a function.

determineThis

public static Set<ObjectLabel> determineThis(AbstractNode n,
                             State caller_state,
                             State callee_state,
                             GenericSolver.SolverInterface c,
                             boolean is_constructor_call,
                             int base_reg)

Determines the value of 'this' when entering a function (other than call/apply and other than constructor call to host function). May have side-effects on callee_state.

enterUserFunction

public static void enterUserFunction(ObjectLabel obj_f,
                     FunctionCalls.CallInfo call,
                     State caller_state,
                     GenericSolver.SolverInterface c)

Enters a user-defined function.

leaveUserFunction

public static void leaveUserFunction(Value returnval,
                     boolean exceptional,
                     Function f,
                     State state,
                     GenericSolver.SolverInterface c,
                     NodeAndContext<CallContext> specific_caller)

Leaves a user-defined function.