public final class AllInstantiatedTypeFlow extends TypeFlow<AnalysisType>
context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver| Constructor and Description |
|---|
AllInstantiatedTypeFlow(AnalysisType declaredType) |
| Modifier and Type | Method and Description |
|---|---|
TypeFlow<AnalysisType> |
copy(BigBang bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
String |
toString() |
void |
update(BigBang bb) |
addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, clearUses, context, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onObservedUpdate, receiver, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiverpublic AllInstantiatedTypeFlow(AnalysisType declaredType)
public TypeFlow<AnalysisType> copy(BigBang bb, MethodFlowsGraph methodFlows)
TypeFlowcopy in class TypeFlow<AnalysisType>public void update(BigBang bb)
update in class TypeFlow<AnalysisType>public String toString()
toString in class TypeFlow<AnalysisType>