Class BooleanLiteralNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ValueLiteralNode
org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for a boolean literal:
true false
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
tree
-
Constructor Summary
-
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
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid
-
Constructor Details
-
BooleanLiteralNode
Create a new BooleanLiteralNode.- Parameters:
t
- the tree for the literal value
-
-
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
-