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

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

actualParameters, actualReturn, isContextInsensitive, originalInvoke, receiverType, targetMethod

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DirectInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn)
protected	DirectInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, DirectInvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
Collection<AnalysisMethod>	getCallees() Returns the callees that were linked at this invoke.
boolean	isDirectInvoke()

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

actualParametersCount, canBeStaticallyBound, filterReceiverState, getActualParameter, getActualParameters, getActualReturn, getCalleesFlows, 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, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

Field Detail

callee

public MethodTypeFlow callee

Constructor Detail

DirectInvokeTypeFlow

protected DirectInvokeTypeFlow(BytecodePosition invokeLocation,
                               AnalysisType receiverType,
                               PointsToAnalysisMethod targetMethod,
                               TypeFlow<?>[] actualParameters,
                               ActualReturnTypeFlow actualReturn)

DirectInvokeTypeFlow

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

Method Detail

isDirectInvoke

public final boolean isDirectInvoke()

getCallees

public 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 interface InvokeInfo

Specified by:

getCallees in class InvokeTypeFlow