org.checkerframework.dataflow.cfg

Class UnderlyingAST.CFGLambda

java.lang.Object

org.checkerframework.dataflow.cfg.UnderlyingAST

org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda

All Implemented Interfaces:

org.plumelib.util.UniqueId

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	getMethodName() Returns the name of the enclosing method of the lambda.
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

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. 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

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

getSimpleClassName

public String getSimpleClassName()

Returns the simple name of the enclosing class.

Returns:

the simple name of the enclosing class

getMethod

public MethodTree getMethod()

Returns the enclosing method of the lambda.

Returns:

the enclosing method of the lambda

getMethodName

public String getMethodName()

Returns the name of the enclosing method of the lambda.

Returns:

the name of the enclosing method of the lambda

toString

public String toString()

Overrides:

toString in class Object