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.
-
-
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.MethodTree
method
The method declaration.-
Fields inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST
kind
-
-
Constructor Summary
Constructors Constructor Description CFGMethod(com.sun.source.tree.MethodTree method, 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()
Returns the class tree this method belongs to.com.sun.source.tree.Tree
getCode()
Returns the code that corresponds to the CFG.com.sun.source.tree.MethodTree
getMethod()
java.lang.String
getMethodName()
Returns the name of the method.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
-
-
-
-
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 classUnderlyingAST
- Returns:
- the code that corresponds to the CFG
-
getMethod
public com.sun.source.tree.MethodTree getMethod()
-
getMethodName
public java.lang.String getMethodName()
Returns the name of the method.- Returns:
- the name of the method
-
getClassTree
public com.sun.source.tree.ClassTree getClassTree()
Returns the class tree this method belongs to.- Returns:
- the class tree this method belongs to
-
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 classjava.lang.Object
-
-