Class UnderlyingAST.CFGLambda

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

public static class UnderlyingAST.CFGLambda extends UnderlyingAST
If the underlying AST is a lambda.
  • Constructor Details

    • CFGLambda

      public CFGLambda(LambdaExpressionTree lambda, ClassTree classTree, @Nullable MethodTree enclosingMethod)
      Create a new CFGLambda.
      Parameters:
      lambda - the lambda expression
      classTree - the enclosing class of the lambda
      enclosingMethod - the enclosing method of the lambda
  • Method Details

    • getCode

      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
    • getLambdaTree

      public LambdaExpressionTree getLambdaTree()
      Returns the lambda expression tree.
      Returns:
      the lambda expression tree
    • getClassTree

      public ClassTree getClassTree()
      Returns the enclosing class of the lambda.
      Returns:
      the enclosing class of the lambda
    • getSimpleClassName

      public String getSimpleClassName()
      Returns the simple name of the enclosing class.
      Returns:
      the simple name of the enclosing class
    • getEnclosingMethod

      public @Nullable MethodTree getEnclosingMethod()
      Returns the enclosing method of the lambda.
      Returns:
      the enclosing method of the lambda, or null if there is no enclosing method
    • getEnclosingMethodName

      public @Nullable String getEnclosingMethodName()
      Returns the name of the enclosing method of the lambda.
      Returns:
      the name of the enclosing method of the lambda, or null if there is no enclosing method
    • toString

      public String toString()
      Overrides:
      toString in class Object