com.oracle.graal.pointsto.typestate

Class DefaultAnalysisContextPolicy

java.lang.Object

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

com.oracle.graal.pointsto.typestate.DefaultAnalysisContextPolicy

public class DefaultAnalysisContextPolicy
extends AnalysisContextPolicy<DefaultAnalysisContext>

Constructor Summary

Constructors

Constructor and Description
DefaultAnalysisContextPolicy()

Method Summary

Modifier and Type	Method and Description
DefaultAnalysisContext	allocationContext(DefaultAnalysisContext context, int maxHeapContextDepth) Record the context of a newly heap allocated object.
DefaultAnalysisContext	calleeContext(PointsToAnalysis bb, AnalysisObject receiverObject, DefaultAnalysisContext callerContext, MethodTypeFlow callee) Captures the context of a method invocation.
DefaultAnalysisContext	getContext(BytecodePosition bcl)
DefaultAnalysisContext	getContext(BytecodePosition[] positions)
DefaultAnalysisContext	peel(DefaultAnalysisContext context, int maxDepth) Peels off the least recent labels from the current context, down to maxDepth depth.
DefaultAnalysisContext	staticCalleeContext(PointsToAnalysis bb, BytecodePosition invokeLocation, DefaultAnalysisContext 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, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultAnalysisContextPolicy

public DefaultAnalysisContextPolicy()

Method Detail

peel

public DefaultAnalysisContext peel(DefaultAnalysisContext 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<DefaultAnalysisContext>

calleeContext

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

Captures the context of a method invocation. Since the analysis is not context sensitive, the context of the callee is the same as the caller context.

Specified by:

calleeContext in class AnalysisContextPolicy<DefaultAnalysisContext>

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 DefaultAnalysisContext staticCalleeContext(PointsToAnalysis bb,
                                                  BytecodePosition invokeLocation,
                                                  DefaultAnalysisContext 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<DefaultAnalysisContext>

allocationContext

public DefaultAnalysisContext allocationContext(DefaultAnalysisContext context,
                                                int maxHeapContextDepth)

Record the context of a newly heap allocated object.

Specified by:

allocationContext in class AnalysisContextPolicy<DefaultAnalysisContext>

Parameters:

context - the DefaultAnalysisContext of the enclosing method

Returns:

an DefaultAnalysisContext bounded by the maxHeapContextDepth

getContext

public DefaultAnalysisContext getContext(BytecodePosition bcl)

getContext

public DefaultAnalysisContext getContext(BytecodePosition[] positions)