next up previous
Next: Acknowledgments Up: Patterns Previous: Throws Patterns

Parameter List Patterns

Different levels of patterns are used for different formal patterns. In the following, the most general formal pattern is given, and then special restricted patterns that are used for pointcut parameters.

General parameter list patterns

<formal_pattern_list_opt> ::= \hspace{1in} \\
...1in} \\
\alt '.' '.'
\alt <type_pattern_expr>

Pointcut parameter list patterns

<type_id_star_list_opt> ::= \hspace{1in} \\
\alt '..'
\alt {\red <type>}
\alt {\red <type>} '+'

hendren 2004-09-02