Class BinaryOperationNode

java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.BinaryOperationNode
  • Field Details

    • tree

      protected final BinaryTree tree
    • left

      protected final Node left
  • Constructor Details

    • BinaryOperationNode

      protected BinaryOperationNode(BinaryTree tree, Node left, Node right)
  • Method Details

    • getLeftOperand

      public Node getLeftOperand()
    • getRightOperand

      public Node getRightOperand()
    • getTree

      public 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