com.oracle.graal.pointsto.flow

Class AbstractVirtualInvokeTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

com.oracle.graal.pointsto.flow.InvokeTypeFlow

com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow

public abstract class AbstractVirtualInvokeTypeFlow
extends InvokeTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
protected ConcurrentLightHashSet<AnalysisMethod>	callees

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

actualParameters, actualReturn, invoke, location, originalInvoke

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractVirtualInvokeTypeFlow(BigBang bb, MethodFlowsGraph methodFlows, AbstractVirtualInvokeTypeFlow original)
protected	AbstractVirtualInvokeTypeFlow(org.graalvm.compiler.nodes.Invoke invoke, org.graalvm.compiler.nodes.java.MethodCallTargetNode target, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location)

Method Summary

Modifier and Type	Method and Description
protected boolean	addCallee(AnalysisMethod callee)
boolean	addState(BigBang bb, TypeState add, boolean postFlow)
Collection<AnalysisMethod>	getCallees() Returns the callees that were linked at this invoke.
abstract void	onObservedUpdate(BigBang bb) Notify the observer that the observed type flow state has changed.
String	toString()
void	update(BigBang bb)

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

actualParametersCount, addState, canBeStaticallyBound, getActualParameter, getActualParameters, getActualReturn, getCalleesFlows, getDebug, getLocation, getReceiver, getResult, getTargetMethod, invoke, linkCallee, setActualReturn, updateReceiver, updateReceiver

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, 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, 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

callees

protected final ConcurrentLightHashSet<AnalysisMethod> callees

Constructor Detail

AbstractVirtualInvokeTypeFlow

protected AbstractVirtualInvokeTypeFlow(org.graalvm.compiler.nodes.Invoke invoke,
                                        org.graalvm.compiler.nodes.java.MethodCallTargetNode target,
                                        TypeFlow<?>[] actualParameters,
                                        ActualReturnTypeFlow actualReturn,
                                        BytecodeLocation location)

AbstractVirtualInvokeTypeFlow

protected AbstractVirtualInvokeTypeFlow(BigBang bb,
                                        MethodFlowsGraph methodFlows,
                                        AbstractVirtualInvokeTypeFlow original)

Method Detail

addState

public boolean addState(BigBang bb,
                        TypeState add,
                        boolean postFlow)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

update

public void update(BigBang bb)

Overrides:

update in class TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

onObservedUpdate

public abstract void onObservedUpdate(BigBang bb)

Description copied from class: TypeFlow

Notify the observer that the observed type flow state has changed.

Overrides:

onObservedUpdate in class TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>

addCallee

protected boolean addCallee(AnalysisMethod callee)

getCallees

public final Collection<AnalysisMethod> getCallees()

Description copied from class: InvokeTypeFlow

Returns the callees that were linked at this invoke. If this is an invoke clone it returns the callees registered with the clone. If this is the original invoke it returns the current registered callees of all clones.

Specified by:

getCallees in class InvokeTypeFlow

toString

public String toString()

Overrides:

toString in class TypeFlow<org.graalvm.compiler.nodes.java.MethodCallTargetNode>