dk.brics.tajs.analysis

Class FunctionCalls

java.lang.Object

dk.brics.tajs.analysis.FunctionCalls

public class FunctionCalls
extends Object

Models function calls.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	FunctionCalls.CallInfo Information about a function call.
static class	FunctionCalls.EventHandlerCall Information for an event handler call.

Method Summary

Methods

Modifier and Type	Method and Description
static void	callFunction(FunctionCalls.CallInfo call, State caller_state, GenericSolver.SolverInterface c) Enters a function described by a CallInfo.
static void	leaveFunction(NodeAndContext<CallContext> caller, Value returnval, boolean exceptional, Function f, State state, Value thisval, GenericSolver.SolverInterface c) Leaves a function.

Methods inherited from class java.lang.Object

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

Method Detail

callFunction

public static void callFunction(FunctionCalls.CallInfo call,
                State caller_state,
                GenericSolver.SolverInterface c)

Enters a function described by a CallInfo.

leaveFunction

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

Leaves a function.