%%%
 %% Parameter List Patterns
 %%
 %% @author  Martin Bravenboer <martin.bravenboer@gmail.com>
 %%%
module languages/aspectj/pattern/FormalParameter[Ctx]
exports

  %% @todo The FormalWildcard could produce a list. Does implode allow this?
  sorts FormalParam
  context-free syntax
    ".."              -> FormalPattern {cons("FormalWildcard")}
    TypePattern       -> FormalPattern
    TypePattern "..." -> FormalPattern {cons("VarArityParamPattern")}