com.oracle.graal.pointsto.flow.context

Class AnalysisContextPolicy<C extends AnalysisContext>

java.lang.Object

com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy<C>

Direct Known Subclasses:

BytecodeAnalysisContextPolicy, DefaultAnalysisContextPolicy

public abstract class AnalysisContextPolicy<C extends AnalysisContext>
extends Object

Provides logic for analysis context transitions.

Constructor Summary

Constructors

Constructor and Description
AnalysisContextPolicy(C emptyContext)

Method Summary

Modifier and Type	Method and Description
abstract C	allocationContext(C allocatorContext, int maxHeapContextDepth) Given the allocator method context this method returns the allocation context for a heap allocated object.
abstract C	calleeContext(BigBang bb, AnalysisObject receiverObject, C callerContext, MethodTypeFlow callee) Given the receiver object, caller context and callee this method returns the callee context for a virtual or special invoke.
C	emptyContext() Returns the empty context, i.e., the outer most context.
static BytecodeLocation[]	extend(BytecodeLocation[] labelList, BytecodeLocation add) Extends the input label list with a context label.
static BytecodeLocation[]	extend(BytecodeLocation[] labelList, BytecodeLocation add, int maxDepth) Extends the input label list with a context label.
boolean	isEmpty(C context)
AnalysisContext	lookupContext(C context)
static BytecodeLocation[]	peel(BytecodeLocation[] labelList, int maxDepth)
abstract C	peel(C context, int maxDepth) Peels off the least recent labels from the current context, down to maxDepth depth.
static BytecodeLocation[]	prepend(BytecodeLocation add, BytecodeLocation[] labelList) Prepends the context label to the input label list.
abstract C	staticCalleeContext(BigBang bb, BytecodeLocation invokeLocation, C callerContext, MethodTypeFlow callee) Given the invocation location, caller context and callee this method returns the callee context for a static invoke.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnalysisContextPolicy

public AnalysisContextPolicy(C emptyContext)

Method Detail

emptyContext

public final C emptyContext()

Returns the empty context, i.e., the outer most context.

isEmpty

public final boolean isEmpty(C context)

calleeContext

public abstract C calleeContext(BigBang bb,
                                AnalysisObject receiverObject,
                                C callerContext,
                                MethodTypeFlow callee)

Given the receiver object, caller context and callee this method returns the callee context for a virtual or special invoke.

staticCalleeContext

public abstract C staticCalleeContext(BigBang bb,
                                      BytecodeLocation invokeLocation,
                                      C callerContext,
                                      MethodTypeFlow callee)

Given the invocation location, caller context and callee this method returns the callee context for a static invoke.

allocationContext

public abstract C allocationContext(C allocatorContext,
                                    int maxHeapContextDepth)

Given the allocator method context this method returns the allocation context for a heap allocated object.

peel

public abstract C peel(C context,
                       int maxDepth)

Peels off the least recent labels from the current context, down to maxDepth depth. Only the most recent labels are kept in the context, preserving the temporal order.

extend

public static BytecodeLocation[] extend(BytecodeLocation[] labelList,
                                        BytecodeLocation add,
                                        int maxDepth)

Extends the input label list with a context label. The depth of the context chain is bounded by maxDepth. Only the most recent context labels are kept in the chain, in the order that they appeared in the call chain.

extend

public static BytecodeLocation[] extend(BytecodeLocation[] labelList,
                                        BytecodeLocation add)

Extends the input label list with a context label.

prepend

public static BytecodeLocation[] prepend(BytecodeLocation add,
                                         BytecodeLocation[] labelList)

Prepends the context label to the input label list.

peel

public static BytecodeLocation[] peel(BytecodeLocation[] labelList,
                                      int maxDepth)

lookupContext

public AnalysisContext lookupContext(C context)