com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow

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

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow

Enclosing class:

OffsetStoreTypeFlow

public static class OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow
extends OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

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

Modifier and Type	Field and Description
protected UnsafePartitionKind	partitionKind
protected AnalysisType	partitionType

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
UnsafePartitionStoreTypeFlow(AnalysisUnsafePartitionStoreNode node, AnalysisType componentType, TypeFlow<?> objectFlow, TypeFlow<?> valueFlow, UnsafePartitionKind partitionKind, AnalysisType partitionType)
UnsafePartitionStoreTypeFlow(BigBang bb, MethodFlowsGraph methodFlows, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow original)

Method Summary

Modifier and Type	Method and Description
boolean	addState(BigBang bb, TypeState add)
TypeState	filter(BigBang bb, TypeState update)
OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow	makeCopy(BigBang bb, MethodFlowsGraph methodFlows)
void	onObservedUpdate(BigBang bb) Notify the observer that the observed type flow state has changed.
String	toString()

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

copy

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, 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, update

Methods inherited from class java.lang.Object

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

Field Detail

partitionKind

protected final UnsafePartitionKind partitionKind

partitionType

protected final AnalysisType partitionType

Constructor Detail

UnsafePartitionStoreTypeFlow

public UnsafePartitionStoreTypeFlow(AnalysisUnsafePartitionStoreNode node,
                                    AnalysisType componentType,
                                    TypeFlow<?> objectFlow,
                                    TypeFlow<?> valueFlow,
                                    UnsafePartitionKind partitionKind,
                                    AnalysisType partitionType)

UnsafePartitionStoreTypeFlow

public UnsafePartitionStoreTypeFlow(BigBang bb,
                                    MethodFlowsGraph methodFlows,
                                    OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow original)

Method Detail

makeCopy

public OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow makeCopy(BigBang bb,
                                                                 MethodFlowsGraph methodFlows)

Specified by:

makeCopy in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

filter

public TypeState filter(BigBang bb,
                        TypeState update)

Overrides:

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

onObservedUpdate

public void onObservedUpdate(BigBang bb)

Description copied from class: TypeFlow

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

Overrides:

onObservedUpdate in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

toString

public String toString()

Overrides:

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