com.oracle.graal.pointsto.flow

Class CallSiteSensitiveMethodTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<AnalysisMethod>

com.oracle.graal.pointsto.flow.MethodTypeFlow

com.oracle.graal.pointsto.flow.CallSiteSensitiveMethodTypeFlow

public class CallSiteSensitiveMethodTypeFlow
extends MethodTypeFlow

Field Summary

Fields inherited from class com.oracle.graal.pointsto.flow.MethodTypeFlow

method

Fields inherited from class com.oracle.graal.pointsto.flow.TypeFlow

declaredType, graphRef, id, inQueue, nextId, source, state, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

Constructor and Description
CallSiteSensitiveMethodTypeFlow(org.graalvm.compiler.options.OptionValues options, PointsToAnalysisMethod method)

Method Summary

Modifier and Type	Method and Description
MethodFlowsGraph	addContext(PointsToAnalysis bb, AnalysisContext calleeContext) Add the context, if not already added, and return the method flows clone from that context.
MethodFlowsGraph	addContext(PointsToAnalysis bb, AnalysisContext calleeContext, InvokeTypeFlow reason)
TypeState	foldTypeFlow(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Get a type state containing the union of states over all the clones of the original flow.
Collection<MethodFlowsGraph>	getFlows()
MethodFlowsGraph	getFlows(AnalysisContext calleeContext)
int	getLocalCallingContextDepth()
protected void	initFlowsGraph(PointsToAnalysis bb)
boolean	isSaturated(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Check if the type flow is saturated, i.e., any of its clones is saturated.
String	toString()

Methods inherited from class com.oracle.graal.pointsto.flow.MethodTypeFlow

ensureFlowsGraphCreated, flowsGraphCreated, getInvokes, getMethod, getMethodFlowsGraph, getOrCreateMethodFlowsGraph, getParameters, getParsingContext, getReturnedParameterIndex, update

Methods inherited from class com.oracle.graal.pointsto.flow.TypeFlow

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CallSiteSensitiveMethodTypeFlow

public CallSiteSensitiveMethodTypeFlow(org.graalvm.compiler.options.OptionValues options,
                                       PointsToAnalysisMethod method)

Method Detail

addContext

public MethodFlowsGraph addContext(PointsToAnalysis bb,
                                   AnalysisContext calleeContext)

Add the context, if not already added, and return the method flows clone from that context.

addContext

public MethodFlowsGraph addContext(PointsToAnalysis bb,
                                   AnalysisContext calleeContext,
                                   InvokeTypeFlow reason)

initFlowsGraph

protected void initFlowsGraph(PointsToAnalysis bb)

Overrides:

initFlowsGraph in class MethodTypeFlow

getLocalCallingContextDepth

public int getLocalCallingContextDepth()

getFlows

public Collection<MethodFlowsGraph> getFlows()

Overrides:

getFlows in class MethodTypeFlow

getFlows

public MethodFlowsGraph getFlows(AnalysisContext calleeContext)

foldTypeFlow

public TypeState foldTypeFlow(PointsToAnalysis bb,
                              TypeFlow<?> originalTypeFlow)

Get a type state containing the union of states over all the clones of the original flow.

Overrides:

foldTypeFlow in class MethodTypeFlow

Parameters:

originalTypeFlow - the original type flow

Returns:

the resulting type state object

isSaturated

public boolean isSaturated(PointsToAnalysis bb,
                           TypeFlow<?> originalTypeFlow)

Check if the type flow is saturated, i.e., any of its clones is saturated.

Overrides:

isSaturated in class MethodTypeFlow

toString

public String toString()

Overrides:

toString in class MethodTypeFlow