Class ReturnNode

java.lang.Object
org.checkerframework.dataflow.cfg.node.Node
org.checkerframework.dataflow.cfg.node.ReturnNode
All Implemented Interfaces:
org.plumelib.util.UniqueId

public class ReturnNode extends Node
A node for a return statement:
   return
   return expression
 
No ReturnNode is created for implicit return statements.
  • Field Details

    • returnTree

      protected final ReturnTree returnTree
      The return tree.
    • result

      protected final @Nullable Node result
      The node of the returned expression.
  • Constructor Details

    • ReturnNode

      public ReturnNode(ReturnTree returnTree, @Nullable Node result, Types types)
      Creates a node for the given return statement.
      Parameters:
      returnTree - return tree
      result - the returned expression
      types - types util
  • Method Details

    • getResult

      public @Nullable Node getResult()
      The result of the return node, null otherwise.
      Returns:
      the result of the return node, null otherwise
    • getTree

      public ReturnTree 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
    • accept

      public <R, P> R accept(NodeVisitor<R,P> visitor, P p)
      Description copied from class: Node
      Accept method of the visitor pattern.
      Specified by:
      accept in class Node
      Type Parameters:
      R - result type of the operation
      P - parameter type
      Parameters:
      visitor - the visitor to be applied to this node
      p - the parameter for this operation
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • equals

      public boolean equals(@Nullable Object obj)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • 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