com.oracle.graal.pointsto.flow

Class CloneTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.CloneTypeFlow

public class CloneTypeFlow
extends TypeFlow<BytecodePosition>

Implements a clone operation. This flow observes the state changes of the input flow, clones its objects, then it updates its state. When the state is updated it also copies the corresponding elements, i.e., array elements if the type is array or field values if the type is non-array, into the clones.

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisContext	allocationContext The allocation context for the generated clone object.

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

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

Constructor Summary

Constructors

Constructor and Description
CloneTypeFlow(BytecodePosition cloneLocation, AnalysisType inputType, TypeFlow<?> input)
CloneTypeFlow(PointsToAnalysis bb, CloneTypeFlow original, MethodFlowsGraph methodFlows, AnalysisContext allocationContext)

Method Summary

Modifier and Type	Method and Description
TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
protected void	onSaturated()
void	setObserved(TypeFlow<?> newInputFlow) Set the type flow that this flow is observing.
String	toString()
void	update(PointsToAnalysis bb)

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, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

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

Field Detail

allocationContext

protected final AnalysisContext allocationContext

The allocation context for the generated clone object. Null if this is not a clone.

Constructor Detail

CloneTypeFlow

public CloneTypeFlow(BytecodePosition cloneLocation,
                     AnalysisType inputType,
                     TypeFlow<?> input)

CloneTypeFlow

public CloneTypeFlow(PointsToAnalysis bb,
                     CloneTypeFlow original,
                     MethodFlowsGraph methodFlows,
                     AnalysisContext allocationContext)

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>

onObservedUpdate

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

update

public void update(PointsToAnalysis bb)

Overrides:

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

onSaturated

protected void onSaturated()

Overrides:

onSaturated in class TypeFlow<BytecodePosition>

setObserved

public void setObserved(TypeFlow<?> newInputFlow)

Description copied from class: TypeFlow

Set the type flow that this flow is observing.

Overrides:

setObserved in class TypeFlow<BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>