|
Has the conventional meaning -- a use occurence of a variable name. When
evaluated as an expression, it evaluates to the current value of the variable.
When used on the left side of an assignment
expression, it set the current value of the variable to be the value
assigned. A Noun expression must correspond, by static scope analysis,
to a unique defining occurence (FinalPattern
or VarPattern) of the same Noun. In any
computational context where the Noun expression may be evaluated or defined,
it refers to the unique instantiation of the defining occurence that is
within its scope.
|
Identifier
|
|
<!ELEMENT Noun #PCDATA>
|
|
Scope analysis will be covered separately, but the result is that
each Noun will be simple or boxed. A simple Noun named "c"
translates into a Java variable (local, parameter, or instance)
named "c" or some obvious mangling of "c". A
boxed Noun translates into a Java variable names "c_Box"
that holds a one element array containing the value of "c". |
|
count
|
|
same
|
|
<Noun>count</Noun>
|
|
If simple:
count
If boxed:
count[0]
|
x |
|