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