Class NumericalPlusNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.UnaryOperationNode
org.checkerframework.dataflow.cfg.node.NumericalPlusNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for the unary plus operation:
+ expression
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
operand, tree
-
Constructor Summary
ConstructorsConstructorDescriptionNumericalPlusNode
(UnaryTree tree, Node operand) Constructs aNumericalPlusNode
. -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.UnaryOperationNode
getOperand, getOperands, getTree
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
-
Constructor Details
-
NumericalPlusNode
Constructs aNumericalPlusNode
.- Parameters:
tree
- the tree of the whole operationoperand
- the operand of the operation
-
-
Method Details
-
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode()
-