Class NullLiteralNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ValueLiteralNode
org.checkerframework.dataflow.cfg.node.NullLiteralNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for the null literal.
null
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
tree
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<R,
P> R accept
(NodeVisitor<R, P> visitor, P p) Accept method of the visitor pattern.boolean
getValue()
Returns the value of the literal, null for the null literal.Methods inherited from class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
getTree, hashCode, toString
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
-
Constructor Details
-
Method Details
-
getValue
Description copied from class:ValueLiteralNode
Returns the value of the literal, null for the null literal.- Specified by:
getValue
in classValueLiteralNode
- Returns:
- the value of the literal, null for the null literal
-
accept
Description copied from class:Node
Accept method of the visitor pattern. -
equals
- Overrides:
equals
in classValueLiteralNode
-
getOperands
Description copied from class:Node
- Overrides:
getOperands
in classValueLiteralNode
- Returns:
- a collection containing all of the operand
Node
s of thisNode
-