com.oracle.graal.pointsto.flow

Class StoreFieldTypeFlow.StoreInstanceFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

com.oracle.graal.pointsto.flow.StoreFieldTypeFlow

com.oracle.graal.pointsto.flow.StoreFieldTypeFlow.StoreInstanceFieldTypeFlow

Enclosing class:

StoreFieldTypeFlow

public static class StoreFieldTypeFlow.StoreInstanceFieldTypeFlow
extends StoreFieldTypeFlow

The state of the StoreFieldTypeFlow reflects the state of the stored value. The StoreFieldTypeFlow is an observer of the receiver flow, i.e. flow modeling the receiver object of the store operation.. Every time the state of the receiver flow changes the corresponding field flows are added as uses to the store field flow. Thus the stored value is propagated to the store field flow into the field flows.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.StoreFieldTypeFlow

StoreFieldTypeFlow.StoreInstanceFieldTypeFlow, StoreFieldTypeFlow.StoreStaticFieldTypeFlow

Field Summary

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

field

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

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

Constructor Summary

Constructors

Constructor and Description
StoreInstanceFieldTypeFlow(BytecodePosition storeLocation, AnalysisField field, TypeFlow<?> objectFlow)
StoreInstanceFieldTypeFlow(BytecodePosition storeLocation, AnalysisField field, TypeFlow<?> valueFlow, TypeFlow<?> objectFlow)

Method Summary

Modifier and Type	Method and Description
StoreFieldTypeFlow.StoreInstanceFieldTypeFlow	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
boolean	isContextInsensitive()
void	markAsContextInsensitive()
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.
TypeFlow<?>	receiver() Some flows have a receiver (e.g., loads, store and invokes).
void	setObserved(TypeFlow<?> newObjectFlow) Set the type flow that this flow is observing.
String	toString()

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

filter

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

field, filterObjectState

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

Methods inherited from class java.lang.Object

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

Constructor Detail

StoreInstanceFieldTypeFlow

public StoreInstanceFieldTypeFlow(BytecodePosition storeLocation,
                                  AnalysisField field,
                                  TypeFlow<?> objectFlow)

StoreInstanceFieldTypeFlow

public StoreInstanceFieldTypeFlow(BytecodePosition storeLocation,
                                  AnalysisField field,
                                  TypeFlow<?> valueFlow,
                                  TypeFlow<?> objectFlow)

Method Detail

markAsContextInsensitive

public void markAsContextInsensitive()

isContextInsensitive

public boolean isContextInsensitive()

Overrides:

isContextInsensitive in class TypeFlow<BytecodePosition>

copy

public StoreFieldTypeFlow.StoreInstanceFieldTypeFlow copy(PointsToAnalysis bb,
                                                          MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

receiver

public TypeFlow<?> receiver()

Description copied from class: TypeFlow

Some flows have a receiver (e.g., loads, store and invokes).

Overrides:

receiver in class TypeFlow<BytecodePosition>

setObserved

public void setObserved(TypeFlow<?> newObjectFlow)

Description copied from class: TypeFlow

Set the type flow that this flow is observing.

Overrides:

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

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>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>