public class FormalParamTypeFlow extends TypeFlow<BytecodePosition>
| Modifier and Type | Field and Description |
|---|---|
protected int |
position
The position of the parameter in the method signature.
|
| Modifier | Constructor and Description |
|---|---|
|
FormalParamTypeFlow(BytecodePosition sourcePosition,
AnalysisType declaredType,
int position) |
protected |
FormalParamTypeFlow(FormalParamTypeFlow original,
MethodFlowsGraph methodFlows) |
| Modifier and Type | Method and Description |
|---|---|
TypeFlow<BytecodePosition> |
copy(PointsToAnalysis bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
TypeState |
filter(PointsToAnalysis bb,
TypeState newState) |
String |
format(boolean withState,
boolean withSource) |
int |
position() |
addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filterUncheckedInterface, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, updateprotected final int position
public FormalParamTypeFlow(BytecodePosition sourcePosition,
AnalysisType declaredType,
int position)
protected FormalParamTypeFlow(FormalParamTypeFlow original, MethodFlowsGraph methodFlows)
public TypeFlow<BytecodePosition> copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
TypeFlowpublic TypeState filter(PointsToAnalysis bb, TypeState newState)
public int position()