character '^'. An output
attribute is translated into a function return value. For example, the
declaration </P>

<PRE>   SomeSymbol &lt;^int n, String name&gt; = ... .
</PRE>

<P>is translated into </P>

<PRE>   private int SomeSymbol (String name) {
     int n;
     ...
     return n;
   }
</PRE>

<P>The <I>local declarations</I> are arbitrary Java declarations enclosed
in &quot;(.&quot; and &quot;.)&quot;. A production constitutes a scope
for its formal attributes and its locally declared names. Terminal