public class InitialParamTypeFlow extends TypeFlow<AnalysisMethod>
Modifier and Type | Field and Description |
---|---|
protected int |
position
The position of the parameter in the method signature.
|
context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver
Constructor and Description |
---|
InitialParamTypeFlow(AnalysisMethod source,
AnalysisType declaredType,
int position) |
Modifier and Type | Method and Description |
---|---|
TypeFlow<AnalysisMethod> |
copy(BigBang bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
AnalysisMethod |
method() |
int |
position() |
String |
toString() |
addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, canSaturate, context, declaredTypeFilter, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, notifyObservers, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapOut, update
protected final int position
public InitialParamTypeFlow(AnalysisMethod source, AnalysisType declaredType, int position)
public AnalysisMethod method()
method
in class TypeFlow<AnalysisMethod>
public int position()
public TypeFlow<AnalysisMethod> copy(BigBang bb, MethodFlowsGraph methodFlows)
TypeFlow
copy
in class TypeFlow<AnalysisMethod>
public String toString()
toString
in class TypeFlow<AnalysisMethod>