public class FilterTypeFlow extends TypeFlow<jdk.vm.ci.code.BytecodePosition>
InstanceOfNode
, which represents an instanceof test.context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver
Constructor and Description |
---|
FilterTypeFlow(MethodFlowsGraph methodFlows,
FilterTypeFlow original) |
FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
AnalysisType filterType,
boolean isAssignable,
boolean includeNull) |
FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
AnalysisType filterType,
boolean isExact,
boolean isAssignable,
boolean includeNull) |
Modifier and Type | Method and Description |
---|---|
boolean |
addState(BigBang bb,
TypeState add) |
TypeFlow<jdk.vm.ci.code.BytecodePosition> |
copy(BigBang bb,
MethodFlowsGraph methodFlows)
By default a type flow is not cloneable.
|
TypeState |
filter(BigBang bb,
TypeState update) |
boolean |
includeNull() |
boolean |
isAssignable() |
boolean |
isExact() |
protected void |
onInputSaturated(BigBang bb,
TypeFlow<?> input)
Notified by an input that it is saturated and it will stop sending updates.
|
String |
toString() |
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, method, notifyObservers, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapOut, update
public FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType filterType, boolean isAssignable, boolean includeNull)
public FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType filterType, boolean isExact, boolean isAssignable, boolean includeNull)
public FilterTypeFlow(MethodFlowsGraph methodFlows, FilterTypeFlow original)
public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(BigBang bb, MethodFlowsGraph methodFlows)
TypeFlow
protected void onInputSaturated(BigBang bb, TypeFlow<?> input)
TypeFlow
onInputSaturated
in class TypeFlow<jdk.vm.ci.code.BytecodePosition>
public boolean isExact()
public boolean isAssignable()
public boolean includeNull()