org.checkerframework.dataflow.cfg.node

Class AssignmentContext.MethodReturnContext

java.lang.Object

org.checkerframework.dataflow.cfg.node.AssignmentContext

org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodReturnContext

Enclosing class:

AssignmentContext

public static class AssignmentContext.MethodReturnContext
extends AssignmentContext

An assignment context for method 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
protected Tree	ret

Constructor Summary

Constructors

Constructor and Description
MethodReturnContext(MethodTree method)

Method Summary

Modifier and Type	Method and Description
Tree	getContextTree()
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

ret

protected final Tree ret

Constructor Detail

MethodReturnContext

public MethodReturnContext(MethodTree 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 Tree getContextTree()

Specified by:

getContextTree in class AssignmentContext