com.oracle.graal.pointsto.flow

Class MethodTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.MethodTypeFlow

public class MethodTypeFlow
extends TypeFlow<AnalysisMethod>

Field Summary

Fields

Modifier and Type	Field and Description
protected ConcurrentMap<AnalysisContext,MethodFlowsGraph>	clonedMethodFlows
protected MethodFlowsGraph	originalMethodFlows

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

context, declaredType, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

Constructor and Description
MethodTypeFlow(org.graalvm.compiler.options.OptionValues options, AnalysisMethod method)

Method Summary

Modifier and Type	Method and Description
void	addAllocation(NewInstanceTypeFlow sourceFlow)
protected void	addClone(CloneTypeFlow sourceFlow)
MethodFlowsGraph	addContext(BigBang bb, AnalysisContext calleeContext, InvokeTypeFlow reason) Add the context, if not already added, and return the method flows clone from that context.
protected void	addDynamicAllocation(DynamicNewInstanceTypeFlow sourceFlow)
protected void	addFieldLoad(LoadFieldTypeFlow sourceFlow)
protected void	addIndexedLoad(OffsetLoadTypeFlow.LoadIndexedTypeFlow sourceFlow)
protected void	addInstanceOf(Object key, InstanceOfTypeFlow instanceOf)
protected void	addInvoke(Object key, InvokeTypeFlow invokeTypeFlow)
protected void	addMiscEntry(TypeFlow<?> input)
protected void	addMonitorEntryFlow(MonitorEnterTypeFlow monitorEntryFlow)
protected void	addSource(SourceTypeFlow sourceFlow)
void	ensureParsed(BigBang bb, InvokeTypeFlow reason)
TypeState	foldTypeFlow(BigBang bb, TypeFlow<?> originalTypeFlow) Get a type state containing the union of states over all the clones of the original flow.
AnalysisContext[]	getContexts()
Collection<MethodFlowsGraph>	getFlows()
MethodFlowsGraph	getFlows(AnalysisContext calleeContext)
org.graalvm.compiler.nodes.StructuredGraph	getGraph()
Collection<InvokeTypeFlow>	getInvokes()
int	getLocalCallingContextDepth()
AnalysisMethod	getMethod()
Map<AnalysisContext,MethodFlowsGraph>	getMethodContextFlows()
MethodFlowsGraph	getOriginalMethodFlows()
protected FormalParamTypeFlow	getParameterFlow(int idx)
TypeState	getParameterTypeState(BigBang bb, int parameter)
StackTraceElement[]	getParsingContext()
InvokeTypeFlow	getParsingReason()
protected FormalReturnTypeFlow	getResultFlow()
protected org.graalvm.compiler.nodes.ParameterNode	getReturnedParameter() If the method returns a parameter through all of the return nodes then that ParameterNode is returned, otherwise null.
void	setInitialParameterFlow(BigBang bb, AnalysisType declaredType, int i)
void	setInitialReceiverFlow(BigBang bb, AnalysisType declaringType)
void	setParameter(int index, FormalParamTypeFlow parameter)
void	setResult(FormalReturnTypeFlow result)
String	toString()
void	update(BigBang bb)

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, clearUses, context, copy, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onObservedUpdate, receiver, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver

Methods inherited from class java.lang.Object

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

Field Detail

originalMethodFlows

protected MethodFlowsGraph originalMethodFlows

clonedMethodFlows

protected final ConcurrentMap<AnalysisContext,MethodFlowsGraph> clonedMethodFlows

Constructor Detail

MethodTypeFlow

public MethodTypeFlow(org.graalvm.compiler.options.OptionValues options,
                      AnalysisMethod method)

Method Detail

getMethod

public AnalysisMethod getMethod()

getParsingReason

public InvokeTypeFlow getParsingReason()

getParsingContext

public StackTraceElement[] getParsingContext()

addContext

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

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

getContexts

public AnalysisContext[] getContexts()

getLocalCallingContextDepth

public int getLocalCallingContextDepth()

getMethodContextFlows

public Map<AnalysisContext,MethodFlowsGraph> getMethodContextFlows()

getFlows

public Collection<MethodFlowsGraph> getFlows()

getFlows

public MethodFlowsGraph getFlows(AnalysisContext calleeContext)

setResult

public void setResult(FormalReturnTypeFlow result)

setParameter

public void setParameter(int index,
                         FormalParamTypeFlow parameter)

setInitialReceiverFlow

public void setInitialReceiverFlow(BigBang bb,
                                   AnalysisType declaringType)

setInitialParameterFlow

public void setInitialParameterFlow(BigBang bb,
                                    AnalysisType declaredType,
                                    int i)

addAllocation

public void addAllocation(NewInstanceTypeFlow sourceFlow)

addDynamicAllocation

protected void addDynamicAllocation(DynamicNewInstanceTypeFlow sourceFlow)

addClone

protected void addClone(CloneTypeFlow sourceFlow)

addSource

protected void addSource(SourceTypeFlow sourceFlow)

addInstanceOf

protected void addInstanceOf(Object key,
                             InstanceOfTypeFlow instanceOf)

addMiscEntry

protected void addMiscEntry(TypeFlow<?> input)

addMonitorEntryFlow

protected void addMonitorEntryFlow(MonitorEnterTypeFlow monitorEntryFlow)

addFieldLoad

protected void addFieldLoad(LoadFieldTypeFlow sourceFlow)

addIndexedLoad

protected void addIndexedLoad(OffsetLoadTypeFlow.LoadIndexedTypeFlow sourceFlow)

addInvoke

protected void addInvoke(Object key,
                         InvokeTypeFlow invokeTypeFlow)

getOriginalMethodFlows

public MethodFlowsGraph getOriginalMethodFlows()

foldTypeFlow

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

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

Parameters:

originalTypeFlow - the original type flow

Returns:

the resulting type state object

getParameterFlow

protected FormalParamTypeFlow getParameterFlow(int idx)

getParameterTypeState

public TypeState getParameterTypeState(BigBang bb,
                                       int parameter)

getResultFlow

protected FormalReturnTypeFlow getResultFlow()

getInvokes

public Collection<InvokeTypeFlow> getInvokes()

getGraph

public org.graalvm.compiler.nodes.StructuredGraph getGraph()

getReturnedParameter

protected org.graalvm.compiler.nodes.ParameterNode getReturnedParameter()

If the method returns a parameter through all of the return nodes then that ParameterNode is returned, otherwise null.

ensureParsed

public void ensureParsed(BigBang bb,
                         InvokeTypeFlow reason)

update

public void update(BigBang bb)

Overrides:

update in class TypeFlow<AnalysisMethod>

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisMethod>