AssignmentContext.MethodParameterContext

java.lang.Object
- org.checkerframework.dataflow.cfg.node.AssignmentContext
- - org.checkerframework.dataflow.cfg.node.AssignmentContext.MethodParameterContext

public static class AssignmentContext.MethodParameterContext
extends AssignmentContext

An assignment context for a method parameter.

Fields
Modifier and Type	Field and Description
`protected javax.lang.model.element.ExecutableElement`	`method`
`protected int`	`paramNum`

Constructors
Constructor and Description
`MethodParameterContext(javax.lang.model.element.ExecutableElement method, int paramNum)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`com.sun.source.tree.Tree`	`getContextTree()`
`javax.lang.model.element.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

protected final javax.lang.model.element.ExecutableElement method

public MethodParameterContext(javax.lang.model.element.ExecutableElement method,
                              int paramNum)

Class AssignmentContext.MethodParameterContext