Class IntegerDivisionNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.BinaryOperationNode
org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for the integer division:
expression / expression
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
left, right, tree
-
Constructor Summary
ConstructorDescriptionIntegerDivisionNode
(BinaryTree tree, Node left, Node right) Constructs anIntegerDivisionNode
. -
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
-
IntegerDivisionNode
Constructs anIntegerDivisionNode
.- 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()
-