Package org.checkerframework.dataflow.cfg

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 final com.sun.source.tree.ClassTree	classTree	The class tree this method belongs to.
protected final 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

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()
String	getMethodName()	Returns the name of the method.
String	getSimpleClassName()	Returns the simple name of the enclosing class.
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 Details

method

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

The method declaration.

classTree

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

The class tree this method belongs to.

Constructor Details

CFGMethod

public CFGMethod(com.sun.source.tree.MethodTree method,
 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 class UnderlyingAST

Returns:

the code that corresponds to the CFG

getMethod

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

getMethodName

public 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 String getSimpleClassName()

Returns the simple name of the enclosing class.

Returns:

the simple name of the enclosing class

toString

public String toString()

Overrides:

toString in class Object