com.oracle.graal.pointsto.flow

Class MethodTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.MethodTypeFlow

Direct Known Subclasses:

CallSiteSensitiveMethodTypeFlow

public class MethodTypeFlow
extends TypeFlow<AnalysisMethod>

Field Summary

Fields

Modifier and Type	Field and Description
protected MethodFlowsGraph	flowsGraph
protected PointsToAnalysisMethod	method

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

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

Constructor Summary

Constructors

Constructor and Description
MethodTypeFlow(PointsToAnalysisMethod method)

Method Summary

Modifier and Type	Method and Description
void	ensureFlowsGraphCreated(PointsToAnalysis bb, InvokeTypeFlow reason) Trigger parsing and create the flows graph, blocking until ready.
protected void	ensureFlowsGraphSealed()
boolean	flowsGraphCreated() The flows graph is created lazily only when the method is implementation invoked.
TypeState	foldTypeFlow(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Return the type state of the original flow.
Collection<MethodFlowsGraph>	getFlows()
org.graalvm.collections.EconomicMap<Object,InvokeTypeFlow>	getInvokes()
PointsToAnalysisMethod	getMethod()
MethodFlowsGraph	getMethodFlowsGraph() Accessor for the flowsGraph that assumes that the graph was already created.
MethodFlowsGraphInfo	getMethodFlowsGraphInfo() Accessor for the flowsGraph that assumes that the graph was already created.
MethodFlowsGraphInfo	getOrCreateMethodFlowsGraphInfo(PointsToAnalysis bb, InvokeTypeFlow reason) Returns the flows graph info for this method, blocking until parsing is finished if necessary.
TypeFlow<?>	getParameter(int idx)
Object	getParsingReason()
int	getReturnedParameterIndex() Returns the index of the parameter that is the only return value of this method, or -1 if the method does not always return a parameter.
protected void	initFlowsGraph(PointsToAnalysis bb, List<TypeFlow<?>> postInitFlows) Run type flow initialization.
boolean	isSaturated(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Check if the type flow is saturated, i.e., any of its clones is saturated.
void	setAsStubFlow() Signals that a STUB graphkind should be generated upon creation.
String	toString()
void	update(PointsToAnalysis bb)
boolean	updateFlowsGraph(PointsToAnalysis bb, MethodFlowsGraph.GraphKind newGraphKind, InvokeTypeFlow newParsingReason, boolean forceReparse) Updates the kind of flow graph of associated with the type flow.

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, copy, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

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

Field Detail

method

protected final PointsToAnalysisMethod method

flowsGraph

protected volatile MethodFlowsGraph flowsGraph

Constructor Detail

MethodTypeFlow

public MethodTypeFlow(PointsToAnalysisMethod method)

Method Detail

getMethod

public PointsToAnalysisMethod getMethod()

setAsStubFlow

public void setAsStubFlow()

Signals that a STUB graphkind should be generated upon creation.

getOrCreateMethodFlowsGraphInfo

public MethodFlowsGraphInfo getOrCreateMethodFlowsGraphInfo(PointsToAnalysis bb,
                                                            InvokeTypeFlow reason)

Returns the flows graph info for this method, blocking until parsing is finished if necessary.

getMethodFlowsGraphInfo

public MethodFlowsGraphInfo getMethodFlowsGraphInfo()

Accessor for the flowsGraph that assumes that the graph was already created.

getMethodFlowsGraph

public MethodFlowsGraph getMethodFlowsGraph()

Accessor for the flowsGraph that assumes that the graph was already created.

ensureFlowsGraphSealed

protected void ensureFlowsGraphSealed()

flowsGraphCreated

public boolean flowsGraphCreated()

The flows graph is created lazily only when the method is implementation invoked.

ensureFlowsGraphCreated

public void ensureFlowsGraphCreated(PointsToAnalysis bb,
                                    InvokeTypeFlow reason)

Trigger parsing and create the flows graph, blocking until ready.

initFlowsGraph

protected void initFlowsGraph(PointsToAnalysis bb,
                              List<TypeFlow<?>> postInitFlows)

Run type flow initialization. This will trigger state propagation from source flows, link static load/store field flows, publish unsafe load/store flows, etc. The flows that need initialization are collected by TypeFlowGraphBuilder.build(). Their initialization needs to be triggered only after the graph is fully materialized such that lazily constructed type flows (like InovkeTypeFlow.actualReturn) can observe the type state that other flows may generate on initialization.

getFlows

public Collection<MethodFlowsGraph> getFlows()

getInvokes

public org.graalvm.collections.EconomicMap<Object,InvokeTypeFlow> getInvokes()

getParameter

public TypeFlow<?> getParameter(int idx)

isSaturated

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

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

foldTypeFlow

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

Return the type state of the original flow.

getReturnedParameterIndex

public int getReturnedParameterIndex()

Returns the index of the parameter that is the only return value of this method, or -1 if the method does not always return a parameter.

getParsingReason

public Object getParsingReason()

update

public void update(PointsToAnalysis bb)

Overrides:

update in class TypeFlow<AnalysisMethod>

updateFlowsGraph

public boolean updateFlowsGraph(PointsToAnalysis bb,
                                MethodFlowsGraph.GraphKind newGraphKind,
                                InvokeTypeFlow newParsingReason,
                                boolean forceReparse)

Updates the kind of flow graph of associated with the type flow. If the graph has not yet been created, the type lazily created will be the new kind. Otherwise, a new graph is created and the prior flow information is incorporated into the new graph. When updating the flows graph, the expectation is for the new flowGraph to be a superset of the prior graph. This means that if the graphkind is currently FULL, then it cannot be set as a STUB. Further, when forcing reparsing, the newly generated graph should be a superset of the previous graph.

Returns:

whether a new graph was created

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisMethod>