com.oracle.graal.pointsto.flow

Class AbstractVirtualInvokeTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.InvokeTypeFlow

com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow

All Implemented Interfaces:

InvokeInfo

public abstract class AbstractVirtualInvokeTypeFlow
extends InvokeTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
protected Object	callees
protected Object	invokeLocations The context insensitive invoke needs to keep track of all the locations it is swapped in.

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	AbstractVirtualInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)
protected	AbstractVirtualInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, AbstractVirtualInvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
protected boolean	addCallee(AnalysisMethod callee)
boolean	addInvokeLocation(BytecodePosition invokeLocation)
boolean	addState(PointsToAnalysis bb, TypeState add, boolean postFlow)
Collection<AnalysisMethod>	getAllCallees() Retrieves list of all callees.
Collection<AnalysisMethod>	getAllComputedCallees() Returns all callees which have been computed for this method.
Collection<BytecodePosition>	getInvokeLocations() The context insensitive virtual invoke returns all the locations where it is swapped in.
boolean	isDirectInvoke()
abstract void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
abstract void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
String	toString()
void	update(PointsToAnalysis bb)

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, 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, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut

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

protected volatile Object callees

invokeLocations

protected volatile Object invokeLocations

The context insensitive invoke needs to keep track of all the locations it is swapped in. For all the other invokes this is null, their location is the source node location.

Constructor Detail

AbstractVirtualInvokeTypeFlow

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

AbstractVirtualInvokeTypeFlow

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

Method Detail

addInvokeLocation

public boolean addInvokeLocation(BytecodePosition invokeLocation)

getInvokeLocations

public Collection<BytecodePosition> getInvokeLocations()

The context insensitive virtual invoke returns all the locations where it is swapped in.

isDirectInvoke

public final boolean isDirectInvoke()

addState

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

Overrides:

addState in class TypeFlow<BytecodePosition>

update

public void update(PointsToAnalysis bb)

Overrides:

update in class TypeFlow<BytecodePosition>

onObservedUpdate

public abstract void onObservedUpdate(PointsToAnalysis bb)

Description copied from class: TypeFlow

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

Overrides:

onObservedUpdate in class TypeFlow<BytecodePosition>

onObservedSaturated

public abstract void onObservedSaturated(PointsToAnalysis bb,
                                         TypeFlow<?> observed)

Description copied from class: TypeFlow

Notified by an observed flow that it is saturated.

Overrides:

onObservedSaturated in class TypeFlow<BytecodePosition>

addCallee

protected boolean addCallee(AnalysisMethod callee)

getAllCallees

public 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

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>