dk.brics.tajs.analysis

Interface IContextSensitivityStrategy

All Known Implementing Classes:

BasicContextSensitivityStrategy, CustomContextSensitivityStrategy, StaticDeterminacyContextSensitivityStrategy

public interface IContextSensitivityStrategy

Strategy-pattern interface for context sensitivity strategies.

Method Summary

Modifier and Type	Method and Description
HeapContext	makeActivationAndArgumentsHeapContext(State state, ObjectLabel function, Value thisval, FunctionCalls.CallInfo callInfo, GenericSolver.SolverInterface c) Constructs a heap context for objects related to a call.
HeapContext	makeConstructorHeapContext(State state, ObjectLabel function, FunctionCalls.CallInfo callInfo, GenericSolver.SolverInterface c) Constructs a heap context for an object created at 'new'.
Context	makeForInEntryContext(Context currentContext, BeginForInNode n, Value v) Constructs a context for entering a for-in body.
Context	makeFunctionEntryContext(State state, ObjectLabel function, FunctionCalls.CallInfo callInfo, Value thisval, GenericSolver.SolverInterface c) Constructs a context for call.
HeapContext	makeFunctionHeapContext(Function fun, GenericSolver.SolverInterface c) Constructs a heap context for a function object.
Context	makeInitialContext() Constructs the initial context.
Context	makeLoopExitContext(Context currentContext, EndLoopNode node) Constructs a context for leaving a loop.
Context	makeNextLoopUnrollingContext(Context currentContext, BeginLoopNode node) Constructs a context for (re-)entering a loop.
HeapContext	makeObjectLiteralHeapContext(AbstractNode node, State state) Constructs a heap context for an object literal.
void	requestContextSensitiveParameter(Function function, java.lang.String parameter) Requests that a parameter is treated context sensitively.

Method Detail

makeActivationAndArgumentsHeapContext

HeapContext makeActivationAndArgumentsHeapContext(State state,
                                                  ObjectLabel function,
                                                  Value thisval,
                                                  FunctionCalls.CallInfo callInfo,
                                                  GenericSolver.SolverInterface c)

Constructs a heap context for objects related to a call.

makeConstructorHeapContext

HeapContext makeConstructorHeapContext(State state,
                                       ObjectLabel function,
                                       FunctionCalls.CallInfo callInfo,
                                       GenericSolver.SolverInterface c)

Constructs a heap context for an object created at 'new'.

makeForInEntryContext

Context makeForInEntryContext(Context currentContext,
                              BeginForInNode n,
                              Value v)

Constructs a context for entering a for-in body.

makeFunctionEntryContext

Context makeFunctionEntryContext(State state,
                                 ObjectLabel function,
                                 FunctionCalls.CallInfo callInfo,
                                 Value thisval,
                                 GenericSolver.SolverInterface c)

Constructs a context for call.

makeFunctionHeapContext

HeapContext makeFunctionHeapContext(Function fun,
                                    GenericSolver.SolverInterface c)

Constructs a heap context for a function object.

makeInitialContext

Context makeInitialContext()

Constructs the initial context.

makeLoopExitContext

Context makeLoopExitContext(Context currentContext,
                            EndLoopNode node)

Constructs a context for leaving a loop.

makeNextLoopUnrollingContext

Context makeNextLoopUnrollingContext(Context currentContext,
                                     BeginLoopNode node)

Constructs a context for (re-)entering a loop.

makeObjectLiteralHeapContext

HeapContext makeObjectLiteralHeapContext(AbstractNode node,
                                         State state)

Constructs a heap context for an object literal.

requestContextSensitiveParameter

void requestContextSensitiveParameter(Function function,
                                      java.lang.String parameter)

Requests that a parameter is treated context sensitively.