public static class OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow extends OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow
OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlow, OffsetStoreTypeFlow.StoreIndexedTypeFlow, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow, OffsetStoreTypeFlow.UnsafeStoreTypeFlow| Modifier and Type | Field and Description |
|---|---|
protected com.oracle.svm.util.UnsafePartitionKind |
partitionKind |
protected AnalysisType |
partitionType |
objectFlow, objectType, valueFlow| Constructor and Description |
|---|
UnsafePartitionStoreTypeFlow(BytecodePosition storeLocation,
AnalysisType objectType,
AnalysisType componentType,
TypeFlow<?> objectFlow,
TypeFlow<?> valueFlow,
com.oracle.svm.util.UnsafePartitionKind partitionKind,
AnalysisType partitionType) |
UnsafePartitionStoreTypeFlow(PointsToAnalysis bb,
MethodFlowsGraph methodFlows,
OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow original) |
| Modifier and Type | Method and Description |
|---|---|
TypeState |
filter(PointsToAnalysis bb,
TypeState update) |
OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow |
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() |
copy, forceUpdate, initFlow, needsInitializationisContextInsensitive, markAsContextInsensitive, receiver, setObservedaddInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, 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, updateprotected final com.oracle.svm.util.UnsafePartitionKind partitionKind
protected final AnalysisType partitionType
public UnsafePartitionStoreTypeFlow(BytecodePosition storeLocation,
AnalysisType objectType,
AnalysisType componentType,
TypeFlow<?> objectFlow,
TypeFlow<?> valueFlow,
com.oracle.svm.util.UnsafePartitionKind partitionKind,
AnalysisType partitionType)
public UnsafePartitionStoreTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow original)
public OffsetStoreTypeFlow.UnsafePartitionStoreTypeFlow makeCopy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
makeCopy in class OffsetStoreTypeFlow.AbstractUnsafeStoreTypeFlowpublic TypeState filter(PointsToAnalysis bb, TypeState update)
public void onObservedUpdate(PointsToAnalysis bb)
TypeFlowonObservedUpdate in class OffsetStoreTypeFlowpublic void onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed)
TypeFlowonObservedSaturated in class OffsetStoreTypeFlow