Class UnderlyingAST.CFGStatement
java.lang.Object
org.checkerframework.dataflow.cfg.UnderlyingAST
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
- All Implemented Interfaces:
org.plumelib.util.UniqueId
- Enclosing class:
- 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
Modifier and TypeFieldDescriptionprotected final com.sun.source.tree.ClassTree
The class tree this method belongs to.protected final com.sun.source.tree.Tree
Fields inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST
kind
-
Constructor Summary
ConstructorDescriptionCFGStatement
(com.sun.source.tree.Tree code, com.sun.source.tree.ClassTree classTree) -
Method Summary
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 Details
-
code
protected final com.sun.source.tree.Tree code -
classTree
protected final com.sun.source.tree.ClassTree classTreeThe class tree this method belongs to.
-
-
Constructor Details
-
CFGStatement
public CFGStatement(com.sun.source.tree.Tree code, com.sun.source.tree.ClassTree classTree)
-
-
Method Details
-
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 classUnderlyingAST
- Returns:
- the code that corresponds to the CFG
-
getClassTree
public com.sun.source.tree.ClassTree getClassTree() -
getSimpleClassName
Returns the simple name of the enclosing class.- Returns:
- the simple name of the enclosing class
-
toString
-