com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

Direct Known Subclasses:

OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow

public abstract class OffsetStoreTypeFlow
extends TypeFlow<BytecodePosition>

The abstract class for offset store flows (i.e. indexed stores, unsafe stores at offset, java writes). The type state of the offset store reflects the that of the stored value. The offset store observes the type state changes in the receiver object, it implements TypeFlowObserver.When the state of the receiver object changes the offset store type flow is notified and it propagates its state, i.e., the one of the stored value, to the corresponding array elements flows (in case of indexed stores) or field flows (in case of unsafe stores).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow
static class	OffsetStoreTypeFlow.StoreIndexedTypeFlow Implements the type flow of an indexed store operation.
static class	OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow
static class	OffsetStoreTypeFlow.UnsafeStoreTypeFlow Implements an unsafe store operation type flow.

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeFlow<?>	objectFlow The flow of the receiver object.
protected AnalysisType	objectType
protected TypeFlow<?>	valueFlow The flow of the input value.

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

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

Constructor Summary

Constructors

Constructor and Description
OffsetStoreTypeFlow(BytecodePosition storeLocation, AnalysisType objectType, AnalysisType componentType, TypeFlow<?> objectFlow, TypeFlow<?> valueFlow)
OffsetStoreTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetStoreTypeFlow original)

Method Summary

Modifier and Type	Method and Description
abstract TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
boolean	isContextInsensitive()
void	markAsContextInsensitive()
abstract void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
abstract 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.

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, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onSaturated, onSaturated, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

Field Detail

objectType

protected final AnalysisType objectType

valueFlow

protected final TypeFlow<?> valueFlow

The flow of the input value.

objectFlow

protected TypeFlow<?> objectFlow

The flow of the receiver object.

Constructor Detail

OffsetStoreTypeFlow

public OffsetStoreTypeFlow(BytecodePosition storeLocation,
                           AnalysisType objectType,
                           AnalysisType componentType,
                           TypeFlow<?> objectFlow,
                           TypeFlow<?> valueFlow)

OffsetStoreTypeFlow

public OffsetStoreTypeFlow(PointsToAnalysis bb,
                           MethodFlowsGraph methodFlows,
                           OffsetStoreTypeFlow original)

Method Detail

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>

copy

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

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

markAsContextInsensitive

public void markAsContextInsensitive()

isContextInsensitive

public boolean isContextInsensitive()

Overrides:

isContextInsensitive in class TypeFlow<BytecodePosition>