dk.brics.tajs.analysis

Class BasicContextSensitivityStrategy

java.lang.Object

dk.brics.tajs.analysis.BasicContextSensitivityStrategy

All Implemented Interfaces:

IContextSensitivityStrategy

public class BasicContextSensitivityStrategy
extends java.lang.Object
implements IContextSensitivityStrategy

Basic call and heap context sensitivities.

Constructor Summary

Constructors

Constructor and Description
BasicContextSensitivityStrategy()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicContextSensitivityStrategy

public BasicContextSensitivityStrategy()

Method Detail

makeActivationAndArgumentsHeapContext

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

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for objects related to a call.

Specified by:

makeActivationAndArgumentsHeapContext in interface IContextSensitivityStrategy

makeConstructorHeapContext

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

Description copied from interface: IContextSensitivityStrategy

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

Specified by:

makeConstructorHeapContext in interface IContextSensitivityStrategy

makeForInEntryContext

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

Description copied from interface: IContextSensitivityStrategy

Constructs a context for entering a for-in body.

Specified by:

makeForInEntryContext in interface IContextSensitivityStrategy

makeFunctionEntryContext

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

Description copied from interface: IContextSensitivityStrategy

Constructs a context for call.

Specified by:

makeFunctionEntryContext in interface IContextSensitivityStrategy

makeFunctionHeapContext

public HeapContext makeFunctionHeapContext(Function fun,
                                           GenericSolver.SolverInterface c)

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for a function object.

Specified by:

makeFunctionHeapContext in interface IContextSensitivityStrategy

makeInitialContext

public Context makeInitialContext()

Description copied from interface: IContextSensitivityStrategy

Constructs the initial context.

Specified by:

makeInitialContext in interface IContextSensitivityStrategy

makeLoopExitContext

public Context makeLoopExitContext(Context currentContext,
                                   EndLoopNode node)

Description copied from interface: IContextSensitivityStrategy

Constructs a context for leaving a loop.

Specified by:

makeLoopExitContext in interface IContextSensitivityStrategy

makeNextLoopUnrollingContext

public Context makeNextLoopUnrollingContext(Context currentContext,
                                            BeginLoopNode node)

Description copied from interface: IContextSensitivityStrategy

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

Specified by:

makeNextLoopUnrollingContext in interface IContextSensitivityStrategy

makeObjectLiteralHeapContext

public HeapContext makeObjectLiteralHeapContext(AbstractNode node,
                                                State state)

Description copied from interface: IContextSensitivityStrategy

Constructs a heap context for an object literal.

Specified by:

makeObjectLiteralHeapContext in interface IContextSensitivityStrategy

requestContextSensitiveParameter

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

Description copied from interface: IContextSensitivityStrategy

Requests that a parameter is treated context sensitively.

Specified by:

requestContextSensitiveParameter in interface IContextSensitivityStrategy