Class CharacterLiteralNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ValueLiteralNode
org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for a character literal. For example:
'a' '\t' 'Ω'
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
tree
-
Constructor Summary
-
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
getOperands, 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
-
CharacterLiteralNode
Create a new CharacterLiteralNode.- Parameters:
t
- the character literal
-
-
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
-