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(com.sun.source.tree.LambdaExpressionTree lambda)

Method Summary

Modifier and Type	Method and Description
com.sun.source.tree.Tree	getCode()
com.sun.source.tree.LambdaExpressionTree	getLambdaTree()
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

Constructor Detail

CFGLambda

public CFGLambda(com.sun.source.tree.LambdaExpressionTree lambda)

Method Detail

getCode

public com.sun.source.tree.Tree getCode()

Specified by:

getCode in class UnderlyingAST

Returns:

the code that corresponds to the CFG

getLambdaTree

public com.sun.source.tree.LambdaExpressionTree getLambdaTree()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object