com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.nodes.ValueNode>

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

Direct Known Subclasses:

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

Enclosing class:

OffsetStoreTypeFlow

public abstract static class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow
extends OffsetStoreTypeFlow

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

Method Summary

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

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

getObjectState, receiver

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, clearUses, context, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, toString, update

Methods inherited from class java.lang.Object

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

Method Detail

copy

public final OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow copy(BigBang bb,
                                                                  MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Specified by:

copy in class OffsetStoreTypeFlow

makeCopy

protected abstract OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow makeCopy(BigBang bb,
                                                                            MethodFlowsGraph methodFlows)

addState

public boolean addState(BigBang bb,
                        TypeState add)

Specified by:

addState in class OffsetStoreTypeFlow

onObservedUpdate

public void onObservedUpdate(BigBang bb)

Description copied from class: TypeFlow

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

Specified by:

onObservedUpdate in class OffsetStoreTypeFlow