Class UnderlyingAST.CFGMethod

java.lang.Object
org.checkerframework.dataflow.cfg.UnderlyingAST
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
All Implemented Interfaces:
org.plumelib.util.UniqueId
Enclosing class:
UnderlyingAST

public static class UnderlyingAST.CFGMethod extends UnderlyingAST
If the underlying AST is a method.
  • Field Details Link icon

    • method Link icon

      protected final MethodTree method
      The method declaration.
    • classTree Link icon

      protected final ClassTree classTree
      The class tree this method belongs to.
  • Constructor Details Link icon

  • Method Details Link icon

    • getCode Link icon

      public Tree getCode()
      Description copied from class: UnderlyingAST
      Returns the code that corresponds to the CFG. For a method or lamdda, this returns the body. For other constructs, it returns the tree itself (a statement or expression).
      Specified by:
      getCode in class UnderlyingAST
      Returns:
      the code that corresponds to the CFG
    • getMethod Link icon

      public MethodTree getMethod()
    • getMethodName Link icon

      public String getMethodName()
      Returns the name of the method.
      Returns:
      the name of the method
    • getClassTree Link icon

      public ClassTree getClassTree()
      Returns the class tree this method belongs to.
      Returns:
      the class tree this method belongs to
    • getSimpleClassName Link icon

      public String getSimpleClassName()
      Returns the simple name of the enclosing class.
      Returns:
      the simple name of the enclosing class
    • toString Link icon

      public String toString()
      Overrides:
      toString in class Object