org.checkerframework.dataflow.cfg

Class UnderlyingAST.CFGMethod

java.lang.Object

org.checkerframework.dataflow.cfg.UnderlyingAST

org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod

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 and Description
protected ClassTree	classTree The class tree this method belongs to.
protected MethodTree	method The method declaration.

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

kind

Constructor Summary

Constructors

Constructor and Description
CFGMethod(MethodTree method, ClassTree classTree)

Method Summary

Modifier and Type	Method and Description
ClassTree	getClassTree()
Tree	getCode()
MethodTree	getMethod()
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

Field Detail

method

protected final MethodTree method

The method declaration.

classTree

protected final ClassTree classTree

The class tree this method belongs to.

Constructor Detail

CFGMethod

public CFGMethod(MethodTree method,
                 ClassTree classTree)

Method Detail

getCode

public Tree getCode()

Specified by:

getCode in class UnderlyingAST

Returns:

the code that corresponds to the CFG

getMethod

public MethodTree getMethod()

getClassTree

public ClassTree getClassTree()

toString

public String toString()

Overrides:

toString in class Object