com.oracle.graal.pointsto.flow

Class FormalReturnTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FormalReturnTypeFlow

public class FormalReturnTypeFlow
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
FormalReturnTypeFlow(BytecodePosition source, AnalysisType declaredType)
FormalReturnTypeFlow(FormalReturnTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(PointsToAnalysis bb, TypeState newState)
String	format(boolean withState, boolean withSource)

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, 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, toString, update

Methods inherited from class java.lang.Object

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

Constructor Detail

FormalReturnTypeFlow

public FormalReturnTypeFlow(BytecodePosition source,
                            AnalysisType declaredType)

FormalReturnTypeFlow

public FormalReturnTypeFlow(FormalReturnTypeFlow original,
                            MethodFlowsGraph methodFlows)

Method Detail

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

filter in class TypeFlow<BytecodePosition>

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>

format

public String format(boolean withState,
                     boolean withSource)

Overrides:

format in class TypeFlow<BytecodePosition>