public class BoxTypeFlow extends NewInstanceTypeFlow
| Constructor and Description |
|---|
BoxTypeFlow(BytecodePosition position,
AnalysisType type) |
BoxTypeFlow(PointsToAnalysis bb,
BoxTypeFlow original,
MethodFlowsGraph methodFlows) |
| Modifier and Type | Method and Description |
|---|---|
TypeFlow<BytecodePosition> |
copy(PointsToAnalysis bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
String |
toString() |
initFlow, needsInitializationaddInput, 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, isContextInsensitive, isSaturated, isValid, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, updatepublic BoxTypeFlow(BytecodePosition position,
AnalysisType type)
public BoxTypeFlow(PointsToAnalysis bb, BoxTypeFlow original, MethodFlowsGraph methodFlows)
public TypeFlow<BytecodePosition> copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
TypeFlowcopy in class NewInstanceTypeFlowpublic String toString()
toString in class NewInstanceTypeFlow