com.oracle.graal.pointsto.flow

Class NullCheckTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>

com.oracle.graal.pointsto.flow.NullCheckTypeFlow

public class NullCheckTypeFlow
extends TypeFlow<jdk.vm.ci.code.BytecodePosition>

Field Summary

Fields inherited from class com.oracle.graal.pointsto.flow.TypeFlow

context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

Constructor and Description
NullCheckTypeFlow(MethodFlowsGraph methodFlows, NullCheckTypeFlow original)
NullCheckTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType inputType, boolean blockNull)

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add)
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(PointsToAnalysis bb, TypeState newState)
boolean	isBlockingNull() If true, lets anything but null pass through.
String	toString()

Methods inherited from class com.oracle.graal.pointsto.flow.TypeFlow

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, canSaturate, context, declaredTypeFilter, doAddUse, equals, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NullCheckTypeFlow

public NullCheckTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                         AnalysisType inputType,
                         boolean blockNull)

NullCheckTypeFlow

public NullCheckTypeFlow(MethodFlowsGraph methodFlows,
                         NullCheckTypeFlow original)

Method Detail

copy

public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(PointsToAnalysis bb,
                                                      MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

isBlockingNull

public boolean isBlockingNull()

If true, lets anything but null pass through. If false only null passes through.

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

filter in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<jdk.vm.ci.code.BytecodePosition>