com.oracle.graal.pointsto.flow

Class ActualReturnTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<BytecodePosition>

com.oracle.graal.pointsto.flow.ActualReturnTypeFlow

public class ActualReturnTypeFlow
extends TypeFlow<BytecodePosition>

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
ActualReturnTypeFlow(ActualReturnTypeFlow original, MethodFlowsGraph methodFlows)
ActualReturnTypeFlow(AnalysisType declaredType)
ActualReturnTypeFlow(BytecodePosition source, AnalysisType declaredType)

Method Summary

Modifier and Type	Method and Description
TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
String	format(boolean withState, boolean withSource)
InvokeTypeFlow	invokeFlow()
void	setInvokeFlow(InvokeTypeFlow invokeFlow)
String	toString()

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

ActualReturnTypeFlow

public ActualReturnTypeFlow(AnalysisType declaredType)

ActualReturnTypeFlow

public ActualReturnTypeFlow(BytecodePosition source,
                            AnalysisType declaredType)

ActualReturnTypeFlow

public ActualReturnTypeFlow(ActualReturnTypeFlow original,
                            MethodFlowsGraph methodFlows)

Method Detail

copy

public TypeFlow<BytecodePosition> copy(PointsToAnalysis bb,
                                       MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>

setInvokeFlow

public void setInvokeFlow(InvokeTypeFlow invokeFlow)

invokeFlow

public InvokeTypeFlow invokeFlow()

format

public String format(boolean withState,
                     boolean withSource)

Overrides:

format in class TypeFlow<BytecodePosition>