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, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
MethodFlowsGraph	addContext(PointsToAnalysis bb, AnalysisContext calleeContext, InvokeTypeFlow reason) Add the context, if not already added, and return the method flows clone from that context.
protected void	addInstanceOf(Object key, InstanceOfTypeFlow instanceOf)
protected void	addInvoke(Object key, InvokeTypeFlow invokeTypeFlow)
void	addMiscEntry(TypeFlow<?> input)
void	addNodeFlow(PointsToAnalysis bb, org.graalvm.compiler.graph.Node node, TypeFlow<?> input)
void	ensureTypeFlowCreated(PointsToAnalysis bb, InvokeTypeFlow reason)
TypeState	foldTypeFlow(PointsToAnalysis 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)
Collection<InvokeTypeFlow>	getInvokes()
int	getLocalCallingContextDepth()
PointsToAnalysisMethod	getMethod()
Map<AnalysisContext,MethodFlowsGraph>	getMethodContextFlows()
MethodFlowsGraph	getOriginalMethodFlows()
FormalParamTypeFlow	getParameterFlow(int idx)
TypeState	getParameterTypeState(PointsToAnalysis bb, int parameter)
StackTraceElement[]	getParsingContext()
InvokeTypeFlow	getParsingReason()
protected FormalReturnTypeFlow	getResultFlow()
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.
boolean	isSaturated(PointsToAnalysis bb, TypeFlow<?> originalTypeFlow) Check if the type flow is saturated, i.e., any of its clones is saturated.
void	setInitialParameterFlow(PointsToAnalysis bb, AnalysisType declaredType, int i)
void	setInitialReceiverFlow(PointsToAnalysis bb, AnalysisType declaringType)
void	setParameter(int index, FormalParamTypeFlow parameter)
void	setResult(FormalReturnTypeFlow result)
String	toString()
void	update(PointsToAnalysis bb)

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, canSaturate, context, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut

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,
                      PointsToAnalysisMethod method)

Method Detail

getMethod

public PointsToAnalysisMethod getMethod()

getParsingReason

public InvokeTypeFlow getParsingReason()

getParsingContext

public StackTraceElement[] getParsingContext()

addContext

public MethodFlowsGraph addContext(PointsToAnalysis 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(PointsToAnalysis bb,
                                   AnalysisType declaringType)

setInitialParameterFlow

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

addInstanceOf

protected void addInstanceOf(Object key,
                             InstanceOfTypeFlow instanceOf)

addNodeFlow

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

addMiscEntry

public void addMiscEntry(TypeFlow<?> input)

addInvoke

protected void addInvoke(Object key,
                         InvokeTypeFlow invokeTypeFlow)

getOriginalMethodFlows

public MethodFlowsGraph getOriginalMethodFlows()

foldTypeFlow

public TypeState foldTypeFlow(PointsToAnalysis 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

isSaturated

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

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

getParameterFlow

public FormalParamTypeFlow getParameterFlow(int idx)

getParameterTypeState

public TypeState getParameterTypeState(PointsToAnalysis bb,
                                       int parameter)

getResultFlow

protected FormalReturnTypeFlow getResultFlow()

getInvokes

public Collection<InvokeTypeFlow> getInvokes()

getReturnedParameter

public 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.

ensureTypeFlowCreated

public void ensureTypeFlowCreated(PointsToAnalysis bb,
                                  InvokeTypeFlow reason)

update

public void update(PointsToAnalysis bb)

Overrides:

update in class TypeFlow<AnalysisMethod>

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisMethod>