public class FormalReceiverTypeFlow extends FormalParamTypeFlow
method, position
context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver
Constructor and Description |
---|
FormalReceiverTypeFlow(FormalReceiverTypeFlow original,
MethodFlowsGraph methodFlows) |
FormalReceiverTypeFlow(org.graalvm.compiler.nodes.ParameterNode source,
AnalysisType declaredType,
AnalysisMethod method) |
Modifier and Type | Method and Description |
---|---|
boolean |
addReceiverState(BigBang bb,
TypeState add) |
boolean |
addState(BigBang bb,
TypeState add) |
FormalReceiverTypeFlow |
copy(BigBang bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
TypeState |
filter(BigBang bb,
TypeState newState) |
protected void |
onInputSaturated(BigBang bb,
TypeFlow<?> input)
Notified by an input that it is saturated and it will stop sending updates.
|
String |
toString() |
method, position
addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, 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, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapOut, update
public FormalReceiverTypeFlow(org.graalvm.compiler.nodes.ParameterNode source, AnalysisType declaredType, AnalysisMethod method)
public FormalReceiverTypeFlow(FormalReceiverTypeFlow original, MethodFlowsGraph methodFlows)
public FormalReceiverTypeFlow copy(BigBang bb, MethodFlowsGraph methodFlows)
TypeFlow
copy
in class FormalParamTypeFlow
public TypeState filter(BigBang bb, TypeState newState)
filter
in class FormalParamTypeFlow
protected void onInputSaturated(BigBang bb, TypeFlow<?> input)
TypeFlow
onInputSaturated
in class TypeFlow<jdk.vm.ci.code.BytecodePosition>
public String toString()
toString
in class FormalParamTypeFlow