com.oracle.graal.pointsto.flow

Class MethodFlowsGraph

java.lang.Object

com.oracle.graal.pointsto.flow.MethodFlowsGraph

Direct Known Subclasses:

MethodFlowsGraphClone

public class MethodFlowsGraph
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id
protected org.graalvm.collections.EconomicMap<Object,InstanceOfTypeFlow>	instanceOfFlows
protected org.graalvm.collections.EconomicMap<Object,InvokeTypeFlow>	invokeFlows
protected boolean	isLinearized
protected TypeFlow<?>[]	linearizedGraph
protected PointsToAnalysisMethod	method
protected List<TypeFlow<?>>	miscEntryFlows
protected org.graalvm.collections.EconomicMap<org.graalvm.compiler.nodes.EncodedGraph.EncodedNodeReference,TypeFlow<?>>	nodeFlows
protected org.graalvm.collections.EconomicSet<Object>	nonUniqueBcis
protected FormalParamTypeFlow[]	parameters
protected FormalReturnTypeFlow	returnFlow
protected boolean	sealed

Constructor Summary

Constructors

Constructor and Description
MethodFlowsGraph(PointsToAnalysisMethod analysisMethod) Constructor for the 'original' method flows graph.

Method Summary

Modifier and Type	Method and Description
void	addMiscEntryFlow(TypeFlow<?> entryFlow)
void	addNodeFlow(org.graalvm.compiler.nodes.EncodedGraph.EncodedNodeReference key, TypeFlow<?> flow)
void	addNodeFlow(PointsToAnalysis bb, org.graalvm.compiler.graph.Node node, TypeFlow<?> input)
List<MethodFlowsGraph>	callers(PointsToAnalysis bb) Get the list of all context sensitive callers.
static boolean	crossMethodUse(TypeFlow<?> flow, TypeFlow<?> use)
protected void	ensureLinearized()
Iterable<TypeFlow<?>>	flows()
protected Iterator<TypeFlow<?>>	flowsIterator()
FormalReceiverTypeFlow	getFormalReceiver()
org.graalvm.collections.EconomicMap<Object,InstanceOfTypeFlow>	getInstanceOfFlows()
org.graalvm.collections.EconomicMap<Object,InvokeTypeFlow>	getInvokes()
TypeFlow<?>[]	getLinearizedGraph() Return the linearized graph, i.e., the graph represented as an array where each flow has a unique slot, blocking until the array is available.
PointsToAnalysisMethod	getMethod()
Collection<TypeFlow<?>>	getMiscFlows()
org.graalvm.collections.EconomicMap<org.graalvm.compiler.nodes.EncodedGraph.EncodedNodeReference,TypeFlow<?>>	getNodeFlows()
FormalParamTypeFlow	getParameter(int idx)
TypeFlow<?>[]	getParameters()
FormalReturnTypeFlow	getReturnFlow()
int	id()
void	init(PointsToAnalysis bb)
InvokeTypeFlow	invokeFlow(MethodFlowsGraph callerFlowGraph, PointsToAnalysis bb) Given a context sensitive caller, i.e., another MethodFlowsGraph, identify the InvokeTypeFlow belonging to the caller that linked to this callee.
boolean	isLinearized()
<T extends TypeFlow<?>> T	lookupCloneOf(PointsToAnalysis bb, T original)
static boolean	nonCloneableFlow(TypeFlow<?> flow)
static boolean	nonMethodFlow(TypeFlow<?> flow)
void	setParameter(int index, FormalParamTypeFlow parameter)
void	setReturnFlow(FormalReturnTypeFlow returnFlow)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

id

protected final int id

method

protected final PointsToAnalysisMethod method

linearizedGraph

protected TypeFlow<?>[] linearizedGraph

parameters

protected FormalParamTypeFlow[] parameters

miscEntryFlows

protected List<TypeFlow<?>> miscEntryFlows

nodeFlows

protected org.graalvm.collections.EconomicMap<org.graalvm.compiler.nodes.EncodedGraph.EncodedNodeReference,TypeFlow<?>> nodeFlows

nonUniqueBcis

protected org.graalvm.collections.EconomicSet<Object> nonUniqueBcis

instanceOfFlows

protected org.graalvm.collections.EconomicMap<Object,InstanceOfTypeFlow> instanceOfFlows

invokeFlows

protected org.graalvm.collections.EconomicMap<Object,InvokeTypeFlow> invokeFlows

returnFlow

protected FormalReturnTypeFlow returnFlow

isLinearized

protected volatile boolean isLinearized

sealed

protected boolean sealed

Constructor Detail

MethodFlowsGraph

public MethodFlowsGraph(PointsToAnalysisMethod analysisMethod)

Constructor for the 'original' method flows graph. This is used as a source for creating clones. It has a null context and null original method flows.

Method Detail

lookupCloneOf

public <T extends TypeFlow<?>> T lookupCloneOf(PointsToAnalysis bb,
                                               T original)

init

public void init(PointsToAnalysis bb)

nonCloneableFlow

public static boolean nonCloneableFlow(TypeFlow<?> flow)

crossMethodUse

public static boolean crossMethodUse(TypeFlow<?> flow,
                                     TypeFlow<?> use)

nonMethodFlow

public static boolean nonMethodFlow(TypeFlow<?> flow)

getLinearizedGraph

public TypeFlow<?>[] getLinearizedGraph()

Return the linearized graph, i.e., the graph represented as an array where each flow has a unique slot, blocking until the array is available.

ensureLinearized

protected void ensureLinearized()

flows

public Iterable<TypeFlow<?>> flows()

flowsIterator

protected Iterator<TypeFlow<?>> flowsIterator()

id

public int id()

getMethod

public PointsToAnalysisMethod getMethod()

getFormalReceiver

public FormalReceiverTypeFlow getFormalReceiver()

setParameter

public void setParameter(int index,
                         FormalParamTypeFlow parameter)

getParameter

public FormalParamTypeFlow getParameter(int idx)

getParameters

public TypeFlow<?>[] getParameters()

addNodeFlow

public void addNodeFlow(PointsToAnalysis bb,
                        org.graalvm.compiler.graph.Node node,
                        TypeFlow<?> input)

addNodeFlow

public void addNodeFlow(org.graalvm.compiler.nodes.EncodedGraph.EncodedNodeReference key,
                        TypeFlow<?> flow)

getMiscFlows

public Collection<TypeFlow<?>> getMiscFlows()

getNodeFlows

public org.graalvm.collections.EconomicMap<org.graalvm.compiler.nodes.EncodedGraph.EncodedNodeReference,TypeFlow<?>> getNodeFlows()

addMiscEntryFlow

public void addMiscEntryFlow(TypeFlow<?> entryFlow)

setReturnFlow

public void setReturnFlow(FormalReturnTypeFlow returnFlow)

getReturnFlow

public FormalReturnTypeFlow getReturnFlow()

getInvokes

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

getInstanceOfFlows

public org.graalvm.collections.EconomicMap<Object,InstanceOfTypeFlow> getInstanceOfFlows()

isLinearized

public boolean isLinearized()

callers

public List<MethodFlowsGraph> callers(PointsToAnalysis bb)

Get the list of all context sensitive callers.

Returns:

a list containing all the callers for the given context sensitive method

invokeFlow

public InvokeTypeFlow invokeFlow(MethodFlowsGraph callerFlowGraph,
                                 PointsToAnalysis bb)

Given a context sensitive caller, i.e., another MethodFlowsGraph, identify the InvokeTypeFlow belonging to the caller that linked to this callee.

Parameters:

callerFlowGraph - the context sensitive caller.

Returns:

the InvokeTypeFlow object belonging to the caller that linked to this callee.

toString

public String toString()

Overrides:

toString in class Object