Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
: v l = v a l u e _ l i t e r a l
{p = new V a l u e L i t e r a l P a t t e r n ( v l ) ; }
|
vovn = name
{p = new NamePattern (
vovn . value_or_variable_name ( ) . id ( ) ,
new NoOptionalId ( ) ) ; }
|
vovn = name LPAREN ip = pattern
{ i n n e r P a t t e r n L i s t . g e t L i s t ( ) . add ( ip ) ; }
(
COMMA ip = pattern
{ i n n e r P a t t e r n L i s t . g e t L i s t ( ) . add ( ip ) ; }
) ∗
RPAREN
{p = new RecordPattern (
vovn . value_or_variable_name ( ) ,
i n n e r P a t t e r n L i s t ) ; }
|
UNDERSCORE { p = new WildcardPattern ( ) ; }
|
LPAREN ip = pattern
{ i n n e r P a t t e r n L i s t . g e t L i s t ( ) . add ( ip ) ; }
(
COMMA ip = pattern
{ i n n e r P a t t e r n L i s t . g e t L i s t ( ) . add ( ip ) ; }
) ∗
RPAREN
{p = new ProductPattern ( i n n e r P a t t e r n L i s t ) ; }
|
LLIST
(
ip = pattern
{ i n n e r P a t t e r n L i s t . g e t L i s t ( ) . add ( ip ) ; }
(
COMMA ip = pattern
{ i n n e r P a t t e r n L i s t . g e t L i s t ( ) . add ( ip ) ; }
) ∗
RLIST
{ lp = new Make_EnumeratedListPattern (
new EnumeratedListPattern (
new I n n e r P a t t e r n L i s t (
i n n e r P a t t e r n L i s t ) ) ) ; }
|
RLIST
{ lp = new Make_EnumeratedListPattern (
new EnumeratedListPattern (
new NoInnerPattern ( ) ) ) ; }
)
502