com.oracle.graal.pointsto.flow

Class DirectInvokeTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.InvokeTypeFlow

com.oracle.graal.pointsto.flow.DirectInvokeTypeFlow

All Implemented Interfaces:

InvokeInfo

Direct Known Subclasses:

AbstractSpecialInvokeTypeFlow, AbstractStaticInvokeTypeFlow

public abstract class DirectInvokeTypeFlow
extends InvokeTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
protected static AtomicReferenceFieldUpdater<DirectInvokeTypeFlow,Object>	CALLEES_ACCESSOR

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

actualParameters, actualReturn, allOriginalCallees, callerMultiMethodKey, isContextInsensitive, originalInvoke, receiverType, targetMethod

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

declaredType, graphRef, id, inQueue, nextId, source, state

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DirectInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)
protected	DirectInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, DirectInvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
Collection<AnalysisMethod>	getAllCallees() Retrieves list of all callees.
Collection<AnalysisMethod>	getAllComputedCallees() Returns all callees which have been computed for this method.
protected void	initializeCallees(PointsToAnalysis bb)
boolean	isDirectInvoke()

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

actualParametersCount, canBeStaticallyBound, filterReceiverState, getActualParameter, getActualParameters, getActualReturn, getAllCalleesFlows, getCallerMultiMethodKey, getOriginalCallees, getOriginalCalleesFlows, getOriginalInvoke, getPosition, getReceiver, getReceiverType, getResult, getTargetMethod, isContextInsensitive, isContextInsensitiveVirtualInvoke, linkCallee, linkReturn, markAsContextInsensitive, setActualReturn, setObserved, updateReceiver, updateReceiver

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, copy, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.pointsto.meta.InvokeInfo

isDeoptInvokeTypeFlow

Field Detail

CALLEES_ACCESSOR

protected static final AtomicReferenceFieldUpdater<DirectInvokeTypeFlow,Object> CALLEES_ACCESSOR

Constructor Detail

DirectInvokeTypeFlow

protected DirectInvokeTypeFlow(BytecodePosition invokeLocation,
                               AnalysisType receiverType,
                               PointsToAnalysisMethod targetMethod,
                               TypeFlow<?>[] actualParameters,
                               ActualReturnTypeFlow actualReturn,
                               com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

DirectInvokeTypeFlow

protected DirectInvokeTypeFlow(PointsToAnalysis bb,
                               MethodFlowsGraph methodFlows,
                               DirectInvokeTypeFlow original)

Method Detail

initializeCallees

protected final void initializeCallees(PointsToAnalysis bb)

isDirectInvoke

public final boolean isDirectInvoke()

getAllCallees

public final Collection<AnalysisMethod> getAllCallees()

Description copied from interface: InvokeInfo

Retrieves list of all callees. Note that callees in this list can have a MultiMethodKey different from ORIGINAL_METHOD and also may not be AnalysisMethod.isImplementationInvoked().

Specified by:

getAllCallees in interface InvokeInfo

Specified by:

getAllCallees in class InvokeTypeFlow

getAllComputedCallees

public final Collection<AnalysisMethod> getAllComputedCallees()

Description copied from class: InvokeTypeFlow

Returns all callees which have been computed for this method. It is possible that these callees have yet to have their typeflow created and also they may not be fully linked.

Specified by:

getAllComputedCallees in class InvokeTypeFlow