public class FieldTypeFlow extends TypeFlow<AnalysisField>
context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver| Constructor and Description |
|---|
FieldTypeFlow(AnalysisField field,
AnalysisType type) |
FieldTypeFlow(AnalysisField field,
AnalysisType type,
AnalysisObject object) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
canSaturate()
Can this type flow saturate? By default all type flows can saturate, with the exception of a
few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.
|
TypeFlow<AnalysisField> |
copy(PointsToAnalysis bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
FieldFilterTypeFlow |
filterFlow(PointsToAnalysis bb)
The filter flow is used for unsafe writes and initialized on demand.
|
AnalysisObject |
object() |
protected void |
onInputSaturated(PointsToAnalysis bb,
TypeFlow<?> input)
Notified by an input that it is saturated and it will stop sending updates.
|
String |
toString() |
addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, context, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, updatepublic FieldTypeFlow(AnalysisField field, AnalysisType type)
public FieldTypeFlow(AnalysisField field, AnalysisType type, AnalysisObject object)
public AnalysisObject object()
public TypeFlow<AnalysisField> copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
TypeFlowcopy in class TypeFlow<AnalysisField>public boolean canSaturate()
TypeFlowcanSaturate in class TypeFlow<AnalysisField>protected void onInputSaturated(PointsToAnalysis bb, TypeFlow<?> input)
TypeFlowonInputSaturated in class TypeFlow<AnalysisField>public FieldFilterTypeFlow filterFlow(PointsToAnalysis bb)
public String toString()
toString in class TypeFlow<AnalysisField>