Package 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	Description
CFGLambda(LambdaExpressionTree lambda, ClassTree classTree, @Nullable MethodTree enclosingMethod)	Create a new CFGLambda.

Method Summary

Modifier and Type	Method	Description
ClassTree	getClassTree()	Returns the enclosing class of the lambda.
Tree	getCode()	Returns the code that corresponds to the CFG.
@Nullable MethodTree	getEnclosingMethod()	Returns the enclosing method of the lambda.
@Nullable String	getEnclosingMethodName()	Returns the name of the enclosing method of the lambda.
LambdaExpressionTree	getLambdaTree()	Returns the lambda expression tree.
@Nullable MethodTree	getMethod()	Deprecated. use #getEnclosingMethod()
@Nullable String	getMethodName()	Deprecated. use #getEnclosingMethodName()
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 Details

CFGLambda

public CFGLambda(LambdaExpressionTree lambda,
 ClassTree classTree,
 @Nullable MethodTree enclosingMethod)

Create a new CFGLambda.

Parameters:

lambda - the lambda expression

classTree - the enclosing class of the lambda

enclosingMethod - the enclosing method of the lambda

Method Details

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

@Deprecated
public @Nullable MethodTree getMethod()

Deprecated.

use #getEnclosingMethod()

Returns the enclosing method of the lambda.

Returns:

the enclosing method of the lambda, or null if there is no enclosing method

getEnclosingMethod

public @Nullable MethodTree getEnclosingMethod()

Returns the enclosing method of the lambda.

Returns:

the enclosing method of the lambda, or null if there is no enclosing method

getMethodName

@Deprecated
public @Nullable String getMethodName()

Deprecated.

use #getEnclosingMethodName()

Returns the name of the enclosing method of the lambda.

Returns:

the name of the enclosing method of the lambda, or null if there is no enclosing method

getEnclosingMethodName

public @Nullable String getEnclosingMethodName()

Returns the name of the enclosing method of the lambda.

Returns:

the name of the enclosing method of the lambda, or null if there is no enclosing method

toString

public String toString()

Overrides:

toString in class Object