com.oracle.graal.pointsto.flow

Class BoxTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.SourceTypeFlowBase

com.oracle.graal.pointsto.flow.NewInstanceTypeFlow

com.oracle.graal.pointsto.flow.BoxTypeFlow

public class BoxTypeFlow
extends NewInstanceTypeFlow

Field Summary

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

heapObjectsCache, type

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

sourceState

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

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

Constructor Summary

Constructors

Constructor and Description
BoxTypeFlow(BytecodePosition position, AnalysisType type)
BoxTypeFlow(PointsToAnalysis bb, BoxTypeFlow 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.
String	toString()

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

cloneSourceState, type

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

canSaturate, initFlow, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, setSourceState

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

BoxTypeFlow

public BoxTypeFlow(BytecodePosition position,
                   AnalysisType type)

BoxTypeFlow

public BoxTypeFlow(PointsToAnalysis bb,
                   BoxTypeFlow 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 NewInstanceTypeFlow

toString

public String toString()

Overrides:

toString in class NewInstanceTypeFlow