Class ConditionalAndNode
java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.BinaryOperationNode
org.checkerframework.dataflow.cfg.node.ConditionalAndNode
- All Implemented Interfaces:
org.plumelib.util.UniqueId
A node for a conditional and expression:
expression && expression
-
Field Summary
Fields inherited from class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
left, right, tree
-
Constructor Summary
ConstructorsConstructorDescriptionConditionalAndNode
(BinaryTree tree, Node left, Node right) Create a new ConditionalAndNode. -
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
-
Method Details
-
accept
Description copied from class:Node
Accept method of the visitor pattern. -
toString
-
equals
-
hashCode
public int hashCode()
-