org.checkerframework.dataflow.cfg.node

Class AssignmentContext.LambdaReturnContext

java.lang.Object

org.checkerframework.dataflow.cfg.node.AssignmentContext

org.checkerframework.dataflow.cfg.node.AssignmentContext.LambdaReturnContext

Enclosing class:

AssignmentContext

public static class AssignmentContext.LambdaReturnContext
extends AssignmentContext

An assignment context for lambda return statements.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.dataflow.cfg.node.AssignmentContext

AssignmentContext.AssignmentLhsContext, AssignmentContext.LambdaReturnContext, AssignmentContext.MethodParameterContext, AssignmentContext.MethodReturnContext

Field Summary

Fields

Modifier and Type	Field and Description
protected ExecutableElement	method

Constructor Summary

Constructors

Constructor and Description
LambdaReturnContext(ExecutableElement method)

Method Summary

Modifier and Type	Method and Description
@Nullable Tree	getContextTree() Returns the context tree.
Element	getElementForType() Returns an Element that has the type of this assignment context.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

method

protected final ExecutableElement method

Constructor Detail

LambdaReturnContext

public LambdaReturnContext(ExecutableElement method)

Method Detail

getElementForType

public Element getElementForType()

Description copied from class: AssignmentContext

Returns an Element that has the type of this assignment context.

Specified by:

getElementForType in class AssignmentContext

getContextTree

public @Nullable Tree getContextTree()

Description copied from class: AssignmentContext

Returns the context tree.

Specified by:

getContextTree in class AssignmentContext