com.oracle.graal.pointsto.flow

Class AbstractSpecialInvokeTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>

com.oracle.graal.pointsto.flow.InvokeTypeFlow

com.oracle.graal.pointsto.flow.AbstractSpecialInvokeTypeFlow

All Implemented Interfaces:

InvokeInfo

public abstract class AbstractSpecialInvokeTypeFlow
extends InvokeTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
MethodTypeFlow	callee
protected AnalysisContext	callerContext Context of the caller.

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

actualParameters, actualReturn, location, originalInvoke, receiverType, targetMethod

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractSpecialInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location)
protected	AbstractSpecialInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, AbstractSpecialInvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add, boolean postFlow)
Collection<AnalysisMethod>	getCallees() Returns the callees that were linked at this invoke.
abstract Collection<MethodFlowsGraph>	getCalleesFlows(PointsToAnalysis bb) Returns the context sensitive method flows for the callees resolved for the invoke type flow.
protected void	initCallee() Initialize the callee lazily so that if the invoke flow is not reached in this context, i.e.
boolean	isDirectInvoke()
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, addState, canBeStaticallyBound, createContextInsensitiveInvoke, filterReceiverState, getActualParameter, getActualParameters, getActualReturn, getPosition, getReceiver, getReceiverType, getResult, getTargetMethod, initContextInsensitiveInvoke, isContextInsensitiveVirtualInvoke, linkCallee, setActualReturn, setObserved, updateReceiver, updateReceiver

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addUse, canSaturate, context, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

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

Field Detail

callee

public MethodTypeFlow callee

callerContext

protected AnalysisContext callerContext

Context of the caller.

Constructor Detail

AbstractSpecialInvokeTypeFlow

protected AbstractSpecialInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation,
                                        AnalysisType receiverType,
                                        PointsToAnalysisMethod targetMethod,
                                        TypeFlow<?>[] actualParameters,
                                        ActualReturnTypeFlow actualReturn,
                                        BytecodeLocation location)

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<jdk.vm.ci.code.BytecodePosition>

update

public void update(PointsToAnalysis bb)

Overrides:

update in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

initCallee

protected void initCallee()

Initialize the callee lazily so that if the invoke flow is not reached in this context, i.e. for this clone, there is no callee linked.

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<jdk.vm.ci.code.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<jdk.vm.ci.code.BytecodePosition>

getCalleesFlows

public abstract Collection<MethodFlowsGraph> getCalleesFlows(PointsToAnalysis bb)

Description copied from class: InvokeTypeFlow

Returns the context sensitive method flows for the callees resolved for the invoke type flow. That means that for each callee only those method flows corresponding to contexts reached from this invoke are returned.

Specified by:

getCalleesFlows in class InvokeTypeFlow

toString

public String toString()

Overrides:

toString in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

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