Class NullChkNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.NullChkNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for the unary 'nullchk' operation (generated by the Java compiler):
<*nullchk*>expression
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Field Details
-
tree
The entire tree of the null check -
operand
The operand of the null check
-
-
Constructor Details
-
NullChkNode
Constructs aNullChkNode
.- Parameters:
tree
- the nullchk treeoperand
- the operand of the null check
-
-
Method Details