com.oracle.graal.pointsto.flow

Class AbstractVirtualInvokeTypeFlow

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

All Implemented Interfaces:

InvokeInfo

public abstract class AbstractVirtualInvokeTypeFlow
extends InvokeTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
protected Object	callees
protected Object	invokeLocations The context insensitive invoke needs to keep track of all the locations it is swapped in.

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	AbstractVirtualInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location)
protected	AbstractVirtualInvokeTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, AbstractVirtualInvokeTypeFlow original)

Method Summary

Modifier and Type	Method and Description
protected boolean	addCallee(AnalysisMethod callee)
boolean	addInvokeLocation(jdk.vm.ci.code.BytecodePosition invokeLocation)
boolean	addState(PointsToAnalysis bb, TypeState add, boolean postFlow)
Collection<AnalysisMethod>	getCallees() Returns the callees that were linked at this invoke.
Collection<jdk.vm.ci.code.BytecodePosition>	getInvokeLocations() The context insensitive virual invoke returns all the locations where it is swapped in.
boolean	isContextInsensitive()
boolean	isDirectInvoke()
void	markAsContextInsensitive()
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, getCalleesFlows, 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

callees

protected volatile Object callees

invokeLocations

protected volatile Object invokeLocations

The context insensitive invoke needs to keep track of all the locations it is swapped in. For all the other invokes this is null, their location is the source node location.

Constructor Detail

AbstractVirtualInvokeTypeFlow

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

AbstractVirtualInvokeTypeFlow

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

Method Detail

markAsContextInsensitive

public void markAsContextInsensitive()

isContextInsensitive

public boolean isContextInsensitive()

addInvokeLocation

public boolean addInvokeLocation(jdk.vm.ci.code.BytecodePosition invokeLocation)

getInvokeLocations

public Collection<jdk.vm.ci.code.BytecodePosition> getInvokeLocations()

The context insensitive virual invoke returns all the locations where it is swapped in.

isDirectInvoke

public final boolean isDirectInvoke()

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>

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>

addCallee

protected boolean addCallee(AnalysisMethod callee)

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

toString

public String toString()

Overrides:

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