org.checkerframework.dataflow.cfg

Class UnderlyingAST.CFGStatement

java.lang.Object

org.checkerframework.dataflow.cfg.UnderlyingAST

org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement

Enclosing class:

UnderlyingAST

public static class UnderlyingAST.CFGStatement
extends UnderlyingAST

If the underlying AST is a statement or expression.

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 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 and Description
CFGStatement(com.sun.source.tree.Tree code, com.sun.source.tree.ClassTree classTree)

Method Summary

Modifier and Type	Method and Description
com.sun.source.tree.ClassTree	getClassTree()
com.sun.source.tree.Tree	getCode()
java.lang.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

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()

Specified by:

getCode in class UnderlyingAST

Returns:

the code that corresponds to the CFG

getClassTree

public com.sun.source.tree.ClassTree getClassTree()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object