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 inherited from class com.oracle.graal.pointsto.flow.DirectInvokeTypeFlow

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	AbstractSpecialInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn)
protected	AbstractSpecialInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, AbstractSpecialInvokeTypeFlow original)

Method Summary

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

getCallees, isDirectInvoke

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

actualParametersCount, canBeStaticallyBound, filterReceiverState, getActualParameter, getActualParameters, getActualReturn, 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, 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, onSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractSpecialInvokeTypeFlow

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

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>

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

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