org.checkerframework.dataflow.cfg

Class UnderlyingAST.CFGLambda

java.lang.Object

org.checkerframework.dataflow.cfg.UnderlyingAST

org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda

Enclosing class:

UnderlyingAST

public static class UnderlyingAST.CFGLambda
extends UnderlyingAST

If the underlying AST is a lambda.

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 inherited from class org.checkerframework.dataflow.cfg.UnderlyingAST

kind

Constructor Summary

Constructors

Constructor and Description
CFGLambda(LambdaExpressionTree lambda, ClassTree classTree, MethodTree method) Create a new CFGLambda.

Method Summary

Modifier and Type	Method and Description
ClassTree	getClassTree() Returns the enclosing class of the lambda.
Tree	getCode() Returns the code that corresponds to the CFG.
LambdaExpressionTree	getLambdaTree() Returns the lambda expression tree.
MethodTree	getMethod() Returns the enclosing method of the lambda.
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

Constructor Detail

CFGLambda

public CFGLambda(LambdaExpressionTree lambda,
                 ClassTree classTree,
                 MethodTree method)

Create a new CFGLambda.

Parameters:

lambda - the lambda expression

classTree - the enclosing class of the lambda

method - the enclosing method of the lambda

Method Detail

getCode

public Tree getCode()

Description copied from class: UnderlyingAST

Returns the code that corresponds to the CFG.

Specified by:

getCode in class UnderlyingAST

Returns:

the code that corresponds to the CFG

getLambdaTree

public LambdaExpressionTree getLambdaTree()

Returns the lambda expression tree.

Returns:

the lambda expression tree

getClassTree

public ClassTree getClassTree()

Returns the enclosing class of the lambda.

Returns:

the enclosing class of the lambda

getMethod

public MethodTree getMethod()

Returns the enclosing method of the lambda.

Returns:

the enclosing method of the lambda

toString

public String toString()

Overrides:

toString in class Object