public class InitialReceiverTypeFlow extends InitialParamTypeFlow
position
context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver
Constructor and Description |
---|
InitialReceiverTypeFlow(AnalysisMethod source,
AnalysisType declaredType) |
Modifier and Type | Method and Description |
---|---|
TypeFlow<AnalysisMethod> |
copy(BigBang bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
TypeState |
filter(BigBang bb,
TypeState newState) |
String |
toString() |
void |
update(BigBang bb) |
method, position
addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, canSaturate, context, declaredTypeFilter, doAddUse, equals, 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
public InitialReceiverTypeFlow(AnalysisMethod source, AnalysisType declaredType)
public TypeFlow<AnalysisMethod> copy(BigBang bb, MethodFlowsGraph methodFlows)
TypeFlow
copy
in class InitialParamTypeFlow
public TypeState filter(BigBang bb, TypeState newState)
filter
in class TypeFlow<AnalysisMethod>
public void update(BigBang bb)
update
in class TypeFlow<AnalysisMethod>
public String toString()
toString
in class InitialParamTypeFlow