com.oracle.graal.pointsto.flow

Class AbstractStaticInvokeTypeFlow

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

All Implemented Interfaces:

InvokeInfo

public abstract class AbstractStaticInvokeTypeFlow
extends DirectInvokeTypeFlow

Field Summary

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

Method Summary

Modifier and Type	Method and Description
void	initFlow(PointsToAnalysis bb) Initialization code for some type flow corner cases.
boolean	needsInitialization() Type flows that require initialization after the graph is created need to override this method and return true.
String	toString()

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, 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, invalidate, isAllInstantiated, isClone, isSaturated, isValid, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, 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

Constructor Detail

AbstractStaticInvokeTypeFlow

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

AbstractStaticInvokeTypeFlow

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

Method Detail

initFlow

public void initFlow(PointsToAnalysis bb)

Description copied from class: TypeFlow

Initialization code for some type flow corner cases. TypeFlow.needsInitialization() also needs to be overridden to enable type flow initialization.

Overrides:

initFlow in class TypeFlow<BytecodePosition>

needsInitialization

public boolean needsInitialization()

Description copied from class: TypeFlow

Type flows that require initialization after the graph is created need to override this method and return true.

Overrides:

needsInitialization in class TypeFlow<BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>