public static class OffsetStoreTypeFlow.CompareAndSwapTypeFlow extends OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow
OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.AtomicWriteTypeFlow, OffsetStoreTypeFlow.CompareAndSwapTypeFlow, OffsetStoreTypeFlow.JavaWriteTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow, OffsetStoreTypeFlow.UnsafeStoreTypeFlowobjectFlowcontext, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver| Constructor and Description |
|---|
CompareAndSwapTypeFlow(PointsToAnalysis bb,
MethodFlowsGraph methodFlows,
OffsetStoreTypeFlow.CompareAndSwapTypeFlow original) |
CompareAndSwapTypeFlow(org.graalvm.compiler.nodes.java.UnsafeCompareAndSwapNode node,
AnalysisType objectType,
AnalysisType componentType,
TypeFlow<?> objectFlow,
TypeFlow<?> valueFlow) |
| Modifier and Type | Method and Description |
|---|---|
OffsetStoreTypeFlow.CompareAndSwapTypeFlow |
makeCopy(PointsToAnalysis bb,
MethodFlowsGraph methodFlows) |
String |
toString() |
addState, copy, initClone, onObservedUpdategetObjectState, onObservedSaturated, receiver, setObservedaddInput, 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, 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, updatepublic CompareAndSwapTypeFlow(org.graalvm.compiler.nodes.java.UnsafeCompareAndSwapNode node,
AnalysisType objectType,
AnalysisType componentType,
TypeFlow<?> objectFlow,
TypeFlow<?> valueFlow)
public CompareAndSwapTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetStoreTypeFlow.CompareAndSwapTypeFlow original)
public OffsetStoreTypeFlow.CompareAndSwapTypeFlow makeCopy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
makeCopy in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow