Class EqualToNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.BinaryOperationNode
org.checkerframework.dataflow.cfg.node.EqualToNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for an equality check:
expression == expression
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
left, right, tree
-
Constructor Summary
ConstructorDescriptionEqualToNode
(BinaryTree tree, Node left, Node right) Create a new EqualToNode object. -
Method Summary
Methods inherited from class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
getLeftOperand, getOperands, getRightOperand, getTree
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
-
EqualToNode
Create a new EqualToNode object.- Parameters:
tree
- the tree for this nodeleft
- the first argumentright
- the second argument
-
-
Method Details
-
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode()
-