next up previous
Next: Per Clause Up: LALR(1) Grammar Previous: Extensions to the Java

Aspect Declaration

An aspect declaration has a header where the modifiers may include privileged. We keep the privileged keyword separate from all other modifiers since it can only be used in this context.

<aspect_declaration> ::= \hspace{1in} \\
{\red <m...
...per_opt> <interfaces_opt>} <perclause_opt> <aspect_body>


hendren 2004-09-02