UnderlyingAST.CFGStatement (checker-framework 3.39.0-eisop1 API)

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

All Implemented Interfaces:

org.plumelib.util.UniqueId

Enclosing class:

UnderlyingAST
```
public static class UnderlyingAST.CFGStatement
extends UnderlyingAST
```
If the underlying AST is a statement or expression. This is for field definitions (with initializers) and initializer blocks.

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

Field Summary

Fields
Modifier and Type Field Description

protected com.sun.source.tree.ClassTree classTree
The class tree this method belongs to.

protected com.sun.source.tree.Tree code
- Fields inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST
  kind

Constructor Summary

Constructors
Constructor Description

CFGStatement(com.sun.source.tree.Tree code, com.sun.source.tree.ClassTree classTree)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`com.sun.source.tree.ClassTree`	`getClassTree()`
`com.sun.source.tree.Tree`	`getCode()`	Returns the code that corresponds to the CFG.
`java.lang.String`	`getSimpleClassName()`	Returns the simple name of the enclosing class.
`java.lang.String`	`toString()`

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

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

Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid

- Field Detail
  - code
```
protected final com.sun.source.tree.Tree code
```
  - classTree
```
protected final com.sun.source.tree.ClassTree classTree
```
    The class tree this method belongs to.
- Constructor Detail
  - CFGStatement
```
public CFGStatement(com.sun.source.tree.Tree code,
                    com.sun.source.tree.ClassTree classTree)
```
- Method Detail
  - getCode
```
public com.sun.source.tree.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
  - getClassTree
```
public com.sun.source.tree.ClassTree getClassTree()
```
  - getSimpleClassName
```
public java.lang.String getSimpleClassName()
```
    Returns the simple name of the enclosing class.
    
    Returns:
    
    the simple name of the enclosing class
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object