com.oracle.graal.pointsto.flow

Class AbstractSpecialInvokeTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.InvokeTypeFlow

com.oracle.graal.pointsto.flow.DirectInvokeTypeFlow

com.oracle.graal.pointsto.flow.AbstractSpecialInvokeTypeFlow

All Implemented Interfaces:

InvokeInfo

public abstract class AbstractSpecialInvokeTypeFlow
extends DirectInvokeTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeState	seenReceiverTypes

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

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

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add, boolean postFlow)
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.DirectInvokeTypeFlow

getAllCallees, getAllComputedCallees, initializeCallees, 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, 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

seenReceiverTypes

protected TypeState seenReceiverTypes

Constructor Detail

AbstractSpecialInvokeTypeFlow

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

AbstractSpecialInvokeTypeFlow

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

Method Detail

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

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>