public class NullCheckTypeFlow extends TypeFlow<jdk.vm.ci.code.BytecodePosition>
context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver
Constructor and Description |
---|
NullCheckTypeFlow(MethodFlowsGraph methodFlows,
NullCheckTypeFlow original) |
NullCheckTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
AnalysisType inputType,
boolean blockNull) |
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 newState) |
boolean |
isBlockingNull()
If true, lets anything but null pass through.
|
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, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapOut, update
public NullCheckTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType inputType, boolean blockNull)
public NullCheckTypeFlow(MethodFlowsGraph methodFlows, NullCheckTypeFlow original)
public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(BigBang bb, MethodFlowsGraph methodFlows)
TypeFlow
public boolean isBlockingNull()