Class BinaryOperationNode
- java.lang.Object
-
- org.checkerframework.dataflow.cfg.node.Node
-
- org.checkerframework.dataflow.cfg.node.BinaryOperationNode
-
- All Implemented Interfaces:
org.plumelib.util.UniqueId
- Direct Known Subclasses:
BitwiseAndNode
,BitwiseOrNode
,BitwiseXorNode
,ConditionalAndNode
,ConditionalOrNode
,EqualToNode
,FloatingDivisionNode
,FloatingRemainderNode
,GreaterThanNode
,GreaterThanOrEqualNode
,IntegerDivisionNode
,IntegerRemainderNode
,LeftShiftNode
,LessThanNode
,LessThanOrEqualNode
,NotEqualNode
,NumericalAdditionNode
,NumericalMultiplicationNode
,NumericalSubtractionNode
,SignedRightShiftNode
,StringConcatenateNode
,UnsignedRightShiftNode
public abstract class BinaryOperationNode extends Node
A node for a binary expression.For example:
lefOperandNode operator rightOperandNode
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
BinaryOperationNode(com.sun.source.tree.BinaryTree tree, Node left, Node right)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Node
getLeftOperand()
java.util.Collection<Node>
getOperands()
Node
getRightOperand()
com.sun.source.tree.BinaryTree
getTree()
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists.-
Methods inherited from class org.checkerframework.dataflow.cfg.node.Node
accept, getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setBlock, setInSource, setLValue, toStringDebug
-
-
-
-
Method Detail
-
getLeftOperand
public Node getLeftOperand()
-
getRightOperand
public Node getRightOperand()
-
getTree
public com.sun.source.tree.BinaryTree getTree()
Description copied from class:Node
Returns theTree
in the abstract syntax tree, ornull
if no corresponding tree exists. For instance, this is the case for anImplicitThisNode
.
-
getOperands
@SideEffectFree public java.util.Collection<Node> getOperands()
Description copied from class:Node
- Specified by:
getOperands
in classNode
- Returns:
- a collection containing all of the operand
Node
s of thisNode
-
-