Class FormalParameter

java.lang.Object
org.checkerframework.dataflow.expression.JavaExpression
org.checkerframework.dataflow.expression.FormalParameter

public class FormalParameter extends JavaExpression
A formal parameter, represented by its 1-based index.

LocalVariable represents a formal parameter expressed using its name.