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

Method Summary

Modifier and Type	Method and Description
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	addInstanceOf(Object key, InstanceOfTypeFlow instanceOf)
protected void	addInvoke(Object key, InvokeTypeFlow invokeTypeFlow)
void	addMiscEntry(TypeFlow<?> input)
void	addNodeFlow(BigBang bb, org.graalvm.compiler.graph.Node node, TypeFlow<?> input)
void	ensureTypeFlowCreated(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)
Collection<InvokeTypeFlow>	getInvokes()
int	getLocalCallingContextDepth()
AnalysisMethod	getMethod()
Map<AnalysisContext,MethodFlowsGraph>	getMethodContextFlows()
MethodFlowsGraph	getOriginalMethodFlows()
FormalParamTypeFlow	getParameterFlow(int idx)
TypeState	getParameterTypeState(BigBang 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(BigBang bb, TypeFlow<?> originalTypeFlow) Check if the type flow is saturated, i.e., any of its clones is saturated.
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, canSaturate, context, copy, declaredTypeFilter, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, 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,
                      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)

addInstanceOf

protected void addInstanceOf(Object key,
                             InstanceOfTypeFlow instanceOf)

addNodeFlow

public void addNodeFlow(BigBang 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(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

isSaturated

public boolean isSaturated(BigBang 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(BigBang 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(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>