com.oracle.graal.pointsto.flow

Class MethodFlowsGraph

java.lang.Object

com.oracle.graal.pointsto.flow.MethodFlowsGraph

public class MethodFlowsGraph
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id
TypeFlow<?>[]	linearizedGraph

Constructor Summary

Constructors

Constructor and Description
MethodFlowsGraph(AnalysisMethod analysisMethod) Constructor for the 'original' method flows graph.
MethodFlowsGraph(AnalysisMethod method, AnalysisContext context)

Method Summary

Modifier and Type	Method and Description
void	addMiscEntryFlow(TypeFlow<?> entryFlow)
void	addNodeFlow(Object key, TypeFlow<?> flow)
List<MethodFlowsGraph>	callers(BigBang bb) Get the list of all context sensitive callers.
void	cloneOriginalFlows(BigBang bb)
AnalysisContext	context()
static boolean	crossMethodUse(TypeFlow<?> flow, TypeFlow<?> use)
boolean	equals(Object obj)
FormalReceiverTypeFlow	getFormalReceiver()
InitialParamTypeFlow	getInitialParameterFlow(int i)
TypeFlow<?>[]	getInitialParameterFlows()
Set<Map.Entry<Object,InstanceOfTypeFlow>>	getInstanceOfFlows()
InvokeTypeFlow	getInvoke(Object key)
InvokeTypeFlow	getInvokeFlow(org.graalvm.compiler.nodes.Invoke invoke)
Set<Map.Entry<Object,InvokeTypeFlow>>	getInvokes()
AnalysisMethod	getMethod()
Collection<TypeFlow<?>>	getMiscFlows()
Map<Object,TypeFlow<?>>	getNodeFlows()
FormalParamTypeFlow	getParameter(int idx)
TypeFlow<?>[]	getParameters()
FormalReturnTypeFlow	getResult()
int	hashCode()
int	id()
InvokeTypeFlow	invokeFlow(MethodFlowsGraph callerFlowGraph, BigBang bb) Given a context sensitive caller, i.e., another MethodFlowsGraph, identify the InvokeTypeFlow belonging to the caller that linked to this callee.
boolean	isLinearized()
void	linearizeGraph()
void	linkClones(BigBang bb)
<T extends TypeFlow<?>> T	lookupCloneOf(BigBang bb, T original)
static boolean	nonCloneableFlow(TypeFlow<?> flow)
void	setInitialParameterFlow(InitialParamTypeFlow initialParameterFlow, int i)
void	setParameter(int index, FormalParamTypeFlow parameter)
void	setResult(FormalReturnTypeFlow result)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

id

protected final int id

linearizedGraph

public TypeFlow<?>[] linearizedGraph

Constructor Detail

MethodFlowsGraph

public MethodFlowsGraph(AnalysisMethod 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.

MethodFlowsGraph

public MethodFlowsGraph(AnalysisMethod method,
                        AnalysisContext context)

Method Detail

cloneOriginalFlows

public void cloneOriginalFlows(BigBang bb)

lookupCloneOf

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

linkClones

public void linkClones(BigBang bb)

nonCloneableFlow

public static boolean nonCloneableFlow(TypeFlow<?> flow)

crossMethodUse

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

linearizeGraph

public void linearizeGraph()

id

public int id()

context

public AnalysisContext context()

getMethod

public AnalysisMethod getMethod()

getFormalReceiver

public FormalReceiverTypeFlow getFormalReceiver()

setParameter

public void setParameter(int index,
                         FormalParamTypeFlow parameter)

getParameter

public FormalParamTypeFlow getParameter(int idx)

getParameters

public TypeFlow<?>[] getParameters()

setInitialParameterFlow

public void setInitialParameterFlow(InitialParamTypeFlow initialParameterFlow,
                                    int i)

getInitialParameterFlow

public InitialParamTypeFlow getInitialParameterFlow(int i)

getInitialParameterFlows

public TypeFlow<?>[] getInitialParameterFlows()

addNodeFlow

public void addNodeFlow(Object key,
                        TypeFlow<?> flow)

getMiscFlows

public Collection<TypeFlow<?>> getMiscFlows()

getNodeFlows

public Map<Object,TypeFlow<?>> getNodeFlows()

addMiscEntryFlow

public void addMiscEntryFlow(TypeFlow<?> entryFlow)

setResult

public void setResult(FormalReturnTypeFlow result)

getResult

public FormalReturnTypeFlow getResult()

getInvokes

public Set<Map.Entry<Object,InvokeTypeFlow>> getInvokes()

getInvokeFlow

public InvokeTypeFlow getInvokeFlow(org.graalvm.compiler.nodes.Invoke invoke)

getInstanceOfFlows

public Set<Map.Entry<Object,InstanceOfTypeFlow>> getInstanceOfFlows()

getInvoke

public InvokeTypeFlow getInvoke(Object key)

isLinearized

public boolean isLinearized()

callers

public List<MethodFlowsGraph> callers(BigBang 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,
                                 BigBang 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.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object