Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
|
{ optional_value_expr_list . g e t L i s t ( ) . add ( ve1 ) ; }
(
COMMA ve1 = value_expr
{ optional_value_expr_list . g e t L i s t ( ) . add ( ve1 ) ; }
) ∗
RLIST
{ l e =
new EnumeratedListExpr (
new ValueExprList (
optional_value_expr_list ) ) ; }
|
BAR b = binding IN ve2 = value_expr
(FORWHICH ve3 = value_expr ) ?
RLIST
{ i f ( ve3 == null ) {
or = new NoRestriction ( ) ; }
else {
or = new R e s t r i c t i o n ( ve3 ) ;
}}
{ l e = new ComprehendedListExpr ( ve1 , b , ve2 , or ) ; }
)
|
RLIST
{ l e = new EnumeratedListExpr (new NoValueExprList ( ) ) ; }
)
{ ve = new Make_ListExpr ( l e ) ; }
|
LBRACKET
(
vep1 = value_expr_pair
(
{ optional_value_expr_pair_list . g e t L i s t ( ) . add ( vep1 ) ; }
(
COMMA vep1 = value_expr_pair
{ optional_value_expr_pair_list . g e t L i s t ( ) . add ( vep1 ) ; }
) ∗
RBRACKET
{me =
new EnumeratedMapExpr (
new ValueExprPairList (
optional_value_expr_pair_list ) ) ; }
|
BAR
( ty = typing { t y p i n g _ l i s t . g e t L i s t ( ) . add ( ty ) ; } )+
(FORWHICH ve2 = value_expr ) ?
RBRACKET
{ i f ( ve2 == null ) {
or = new NoRestriction ( ) ; }
496