com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow

Direct Known Subclasses:

OffsetLoadTypeFlow.AtomicReadTypeFlow, OffsetLoadTypeFlow.JavaReadTypeFlow, OffsetLoadTypeFlow.UnsafeLoadTypeFlow, OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

Enclosing class:

OffsetLoadTypeFlow

public abstract static class OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow
extends OffsetLoadTypeFlow

Nested Class Summary

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

OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow, OffsetLoadTypeFlow.AtomicReadTypeFlow, OffsetLoadTypeFlow.JavaReadTypeFlow, OffsetLoadTypeFlow.LoadIndexedTypeFlow, OffsetLoadTypeFlow.UnsafeLoadTypeFlow, OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

Field Summary

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

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
OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
protected abstract OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow	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.OffsetLoadTypeFlow

addState, 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 OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow copy(BigBang bb,
                                                                MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>

makeCopy

protected abstract OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow makeCopy(BigBang bb,
                                                                          MethodFlowsGraph methodFlows)

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 OffsetLoadTypeFlow