Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
prod_binding returns [ Binding b ] {
b = null ;
Binding b1 = null ;
RSLListDefault b i n d i n g _ l i s t =
new RSLListDefault() ;
}
: LPAREN b1 = binding
{ b i n d i n g _ l i s t . g e t L i s t ( ) . add ( b1 ) ; }
(
COMMA b1 = binding
{ b i n d i n g _ l i s t . g e t L i s t ( ) . add ( b1 ) ; }
) ∗
RPAREN
{b = new Make_ProductBinding (
new ProductBinding ( b i n d i n g _ l i s t ) ) ; }
;
// Test D e c l a r a t i o n s
t e s t _ d e c l returns [ TestDecl td ] {
td = null ;
RSLListDefault t e s t _ d e f _ l i s t =
new RSLListDefault() ;
TestDef def ;
}
: def = test_def { t e s t _ d e f _ l i s t . g e t L i s t ( ) . add ( def ) ; }
(
COMMA def = test_def
{ t e s t _ d e f _ l i s t . g e t L i s t ( ) . add ( def ) ; }
) ∗
{ td = new TestDecl ( t e s t _ d e f _ l i s t ) ; }
;
test_def returns [ TestCase td ] {
td = null ;
Id i d e n t i f i e r = null ;
ValueExpr ve = null ;
}
: LBRACKET i d e n t i f i e r = id RBRACKET ve = value_expr
{ td = new TestCase ( i d e n t i f i e r , ve ) ; }
;
//Type Expression
type_expr returns [ TypeExpr te ] {
te = null ;
FunctionArrow f a = null ;
TypeExpr te2 = null ;
TypeExpr te3 = null ;
ResultDesc rd = null ; }
: te2 = type_expr_pr2
486