com.oracle.graal.pointsto.flow.context.bytecode

Class BytecodeAnalysisContextPolicy

java.lang.Object

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

com.oracle.graal.pointsto.flow.context.bytecode.BytecodeAnalysisContextPolicy

public class BytecodeAnalysisContextPolicy
extends AnalysisContextPolicy<BytecodeAnalysisContext>

Constructor Summary

Constructors

Constructor and Description
BytecodeAnalysisContextPolicy()

Method Summary

Modifier and Type	Method and Description
BytecodeAnalysisContext	allocationContext(BytecodeAnalysisContext context, int maxHeapContextDepth) Record the context of a newly heap allocated object.
BytecodeAnalysisContext	calleeContext(PointsToAnalysis bb, AnalysisObject receiverObject, BytecodeAnalysisContext callerContext, MethodTypeFlow callee) Captures the context of a method invocation.
BytecodeAnalysisContext	getContext(BytecodeLocation bcl)
BytecodeAnalysisContext	getContext(BytecodeLocation[] bytecodeLocations)
BytecodeAnalysisContext	peel(BytecodeAnalysisContext context, int maxDepth) Peels off the least recent labels from the current context, down to maxDepth depth.
BytecodeAnalysisContext	staticCalleeContext(PointsToAnalysis bb, BytecodeLocation invokeLocation, BytecodeAnalysisContext 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 com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy

emptyContext, extend, extend, isEmpty, lookupContext, peel, prepend

Methods inherited from class java.lang.Object

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

Constructor Detail

BytecodeAnalysisContextPolicy

public BytecodeAnalysisContextPolicy()

Method Detail

peel

public BytecodeAnalysisContext peel(BytecodeAnalysisContext context,
                                    int maxDepth)

Description copied from class: AnalysisContextPolicy

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.

Specified by:

peel in class AnalysisContextPolicy<BytecodeAnalysisContext>

calleeContext

public BytecodeAnalysisContext calleeContext(PointsToAnalysis bb,
                                             AnalysisObject receiverObject,
                                             BytecodeAnalysisContext callerContext,
                                             MethodTypeFlow callee)

Captures the context of a method invocation.

Iterates over the list of context chains of the receiver object, i.e. the contexts from which it's allocator method was invoked, and extends each of this chains with the current receiver's analysis object. The depth of each context chain is bounded to PointstoOptions.MaxCallingContextDepth.

Specified by:

calleeContext in class AnalysisContextPolicy<BytecodeAnalysisContext>

Parameters:

bb - the bigbang.

receiverObject - invocation's receiver object

Returns:

the list of context chains leading to this invocation extended with the current receiver object

staticCalleeContext

public BytecodeAnalysisContext staticCalleeContext(PointsToAnalysis bb,
                                                   BytecodeLocation invokeLocation,
                                                   BytecodeAnalysisContext callerContext,
                                                   MethodTypeFlow callee)

Description copied from class: AnalysisContextPolicy

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

Specified by:

staticCalleeContext in class AnalysisContextPolicy<BytecodeAnalysisContext>

allocationContext

public BytecodeAnalysisContext allocationContext(BytecodeAnalysisContext context,
                                                 int maxHeapContextDepth)

Record the context of a newly heap allocated object.

Specified by:

allocationContext in class AnalysisContextPolicy<BytecodeAnalysisContext>

Parameters:

context - the BytecodeAnalysisContext of the enclosing method

Returns:

an BytecodeAnalysisContext bounded by the maxHeapContextDepth

getContext

public BytecodeAnalysisContext getContext(BytecodeLocation bcl)

getContext

public BytecodeAnalysisContext getContext(BytecodeLocation[] bytecodeLocations)