com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow.StoreIndexedTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.StoreIndexedTypeFlow

Enclosing class:

OffsetStoreTypeFlow

public static class OffsetStoreTypeFlow.StoreIndexedTypeFlow
extends OffsetStoreTypeFlow

Implements the type flow of an indexed store operation. The type state of an indexed store flow reflects the elements type state of the receiver array objects that triggered the store operation, i.e., the stored values. The declared type of a store operation is the component type of the receiver array, if known statically, null otherwise.

Nested Class Summary

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

OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.AtomicWriteTypeFlow, OffsetStoreTypeFlow.CompareAndSwapTypeFlow, OffsetStoreTypeFlow.JavaWriteTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow, OffsetStoreTypeFlow.UnsafeStoreTypeFlow

Field Summary

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

objectFlow

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

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

Constructor Summary

Constructors

Constructor and Description
StoreIndexedTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetStoreTypeFlow.StoreIndexedTypeFlow original)
StoreIndexedTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType arrayType, TypeFlow<?> objectFlow, TypeFlow<?> valueFlow)

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add)
OffsetStoreTypeFlow.StoreIndexedTypeFlow	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
String	toString()

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

getObjectState, onObservedSaturated, receiver, setObserved

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

StoreIndexedTypeFlow

public StoreIndexedTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                            AnalysisType arrayType,
                            TypeFlow<?> objectFlow,
                            TypeFlow<?> valueFlow)

StoreIndexedTypeFlow

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

Method Detail

copy

public OffsetStoreTypeFlow.StoreIndexedTypeFlow copy(PointsToAnalysis bb,
                                                     MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Specified by:

copy in class OffsetStoreTypeFlow

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

Specified by:

addState in class OffsetStoreTypeFlow

onObservedUpdate

public void onObservedUpdate(PointsToAnalysis bb)

Description copied from class: TypeFlow

Notify the observer that the observed type flow state has changed.

Specified by:

onObservedUpdate in class OffsetStoreTypeFlow

toString

public String toString()

Overrides:

toString in class TypeFlow<jdk.vm.ci.code.BytecodePosition>