Class UnsignedRightShiftNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.BinaryOperationNode
org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for bitwise right shift operations with zero extension:
expression >>> expression
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
left, right, tree
-
Constructor Summary
ConstructorsConstructorDescriptionUnsignedRightShiftNode
(BinaryTree tree, Node left, Node right) Constructs anUnsignedRightShiftNode
-
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
-
Constructor Details
-
UnsignedRightShiftNode
Constructs anUnsignedRightShiftNode
- Parameters:
tree
- the binary treeleft
- the left operandright
- the right operand
-
-
Method Details
-
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode()
-