org.checkerframework.dataflow.cfg.node

Class AssignmentContext.MethodParameterContext

java.lang.Object

org.checkerframework.dataflow.cfg.node.AssignmentContext

org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext

Enclosing class:

AssignmentContext

public static class AssignmentContext.MethodParameterContext
extends AssignmentContext

An assignment context for a method parameter.

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 int	paramNum

Constructor Summary

Constructors

Constructor and Description
MethodParameterContext(ExecutableElement method, int paramNum)

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

paramNum

protected final int paramNum

Constructor Detail

MethodParameterContext

public MethodParameterContext(ExecutableElement method,
                              int paramNum)

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