UnderlyingAST.CFGMethod (checker-framework 3.0.0 API)

java.lang.Object
- org.checkerframework.dataflow.cfg.UnderlyingAST
- - org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod

public static class UnderlyingAST.CFGMethod
extends UnderlyingAST

If the underlying AST is a method.

Nested Class Summary
- Nested classes/interfaces inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST
  UnderlyingAST.CFGLambda, UnderlyingAST.CFGMethod, UnderlyingAST.CFGStatement, UnderlyingAST.Kind

Fields
Modifier and Type	Field and Description
`protected com.sun.source.tree.ClassTree`	`classTree` The class tree this method belongs to.
`protected com.sun.source.tree.MethodTree`	`method` The method declaration.

Fields inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST
kind

Constructors
Constructor and Description
`CFGMethod(com.sun.source.tree.MethodTree method, com.sun.source.tree.ClassTree classTree)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`com.sun.source.tree.ClassTree`	`getClassTree()`
`com.sun.source.tree.Tree`	`getCode()`
`com.sun.source.tree.MethodTree`	`getMethod()`
`java.lang.String`	`toString()`

Methods inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST
getKind

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

protected final com.sun.source.tree.MethodTree method

The method declaration.

protected final com.sun.source.tree.ClassTree classTree

The class tree this method belongs to.

public CFGMethod(com.sun.source.tree.MethodTree method,
                 com.sun.source.tree.ClassTree classTree)

public com.sun.source.tree.MethodTree getMethod()

public com.sun.source.tree.ClassTree getClassTree()

Class UnderlyingAST.CFGMethod