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
 
  • Field Details

    • tree

      protected final com.sun.source.tree.BinaryTree tree
    • left

      protected final Node left
  • Constructor Details

    • BinaryOperationNode

      protected BinaryOperationNode(com.sun.source.tree.BinaryTree tree, Node left, Node right)
  • Method Details

    • getLeftOperand

      public Node getLeftOperand()
    • getRightOperand

      public Node getRightOperand()
    • getTree

      public com.sun.source.tree.BinaryTree getTree()
      Description copied from class: Node
      Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists. For instance, this is the case for an ImplicitThisNode.
      Specified by:
      getTree in class Node
      Returns:
      the corresponding Tree or null
    • getOperands

      @SideEffectFree public Collection<Node> getOperands()
      Description copied from class: Node
      Returns a collection containing all of the operand Nodes of this Node.
      Specified by:
      getOperands in class Node
      Returns:
      a collection containing all of the operand Nodes of this Node