Example 7-2. Example:
local_expression ==> identifier
The name of an argument or local variable in a method is an expression which returns the value of that variable. The return type of such an expression is the declared type of the variable. Local variables may be accessed only within the body of a method. Arguments may additionally be accessed in method pre and post clauses.
All other expressions consisting of a single identifier are method calls on self as described in the next section.