Class LocalVariable

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

public class LocalVariable extends JavaExpression
A local variable.

This class also represents a formal parameter expressed using its name. Class FormalParameter represents a formal parameter expressed using the "#2" notation.