com.oracle.graal.pointsto.flow

Class OffsetStoreTypeFlow.UnsafeStoreTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow

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

com.oracle.graal.pointsto.flow.OffsetStoreTypeFlow.UnsafeStoreTypeFlow

Enclosing class:

OffsetStoreTypeFlow

public static class OffsetStoreTypeFlow.UnsafeStoreTypeFlow
extends OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

Implements an unsafe store operation type flow.

Nested Class Summary

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

OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow, OffsetStoreTypeFlow.UnsafeStoreTypeFlow

Field Summary

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

objectFlow, objectType, valueFlow

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
OffsetStoreTypeFlow.UnsafeStoreTypeFlow	makeCopy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
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.AbstractUnsafeStoreTypeFlow

copy, forceUpdate, initFlow, needsInitialization

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

isContextInsensitive, markAsContextInsensitive, receiver, setObserved

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

Methods inherited from class java.lang.Object

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

Constructor Detail

UnsafeStoreTypeFlow

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

UnsafeStoreTypeFlow

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

Method Detail

makeCopy

public OffsetStoreTypeFlow.UnsafeStoreTypeFlow makeCopy(PointsToAnalysis bb,
                                                        MethodFlowsGraph methodFlows)

Specified by:

makeCopy in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow

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

onObservedSaturated

public void onObservedSaturated(PointsToAnalysis bb,
                                TypeFlow<?> observed)

Description copied from class: TypeFlow

Notified by an observed flow that it is saturated.

Specified by:

onObservedSaturated in class OffsetStoreTypeFlow

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>