com.oracle.graal.pointsto.flow

Class MethodFlowsGraph

java.lang.Object

com.oracle.graal.pointsto.flow.MethodFlowsGraph

All Implemented Interfaces:

MethodFlowsGraphInfo

Direct Known Subclasses:

MethodFlowsGraphClone

public class MethodFlowsGraph
extends Object
implements MethodFlowsGraphInfo

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MethodFlowsGraph.GraphKind The type of method flows graph.

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

Constructor Summary

Constructors

Constructor and Description
MethodFlowsGraph(PointsToAnalysisMethod method, MethodFlowsGraph.GraphKind graphKind) 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() Creates an iterator containing all flows which are internal to this method.
FormalReceiverTypeFlow	getFormalReceiver()
MethodFlowsGraph.GraphKind	getGraphKind()
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()
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()
boolean	isStub()
<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

Constructor Detail

MethodFlowsGraph

public MethodFlowsGraph(PointsToAnalysisMethod method,
                        MethodFlowsGraph.GraphKind graphKind)

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)

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 final Iterable<TypeFlow<?>> flows()

Creates an iterator containing all flows which are internal to this method. This does not include the following types of flows:

• A cloned flow
• A flow which is from another method
• A flow which does not belong to any method

id

public int id()

getMethod

public PointsToAnalysisMethod getMethod()

Specified by:

getMethod in interface MethodFlowsGraphInfo

isStub

public boolean isStub()

Specified by:

isStub in interface MethodFlowsGraphInfo

getGraphKind

public MethodFlowsGraph.GraphKind getGraphKind()

getFormalReceiver

public FormalReceiverTypeFlow getFormalReceiver()

Specified by:

getFormalReceiver in interface MethodFlowsGraphInfo

setParameter

public void setParameter(int index,
                         FormalParamTypeFlow parameter)

getParameter

public FormalParamTypeFlow getParameter(int idx)

Specified by:

getParameter in interface MethodFlowsGraphInfo

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()

Specified by:

getReturnFlow in interface MethodFlowsGraphInfo

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