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
FieldsModifier and TypeFieldDescriptionprotected final Node
The operand of the null checkprotected final com.sun.source.tree.Tree
The entire tree of the null check -
Constructor Summary
ConstructorsConstructorDescriptionNullChkNode
(com.sun.source.tree.Tree tree, Node operand) Constructs aNullChkNode
. -
Method Summary
Modifier and TypeMethodDescription<R,
P> R accept
(NodeVisitor<R, P> visitor, P p) Accept method of the visitor pattern.boolean
com.sun.source.tree.Tree
getTree()
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists.int
hashCode()
toString()
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
protected final com.sun.source.tree.Tree treeThe 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
-
getOperand
-
getTree
public com.sun.source.tree.Tree getTree()Description copied from class:Node
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists. For instance, this is the case for anImplicitThisNode
. -
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode() -
getOperands
Description copied from class:Node
- Specified by:
getOperands
in classNode
- Returns:
- a collection containing all of the operand
Node
s of thisNode
-