Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
;
d = d e c l
{ d e c l _ l i s t . g e t L i s t ( ) . add ( d ) ; }
) ∗
END
{be = new BasicClassExpr ( d e c l _ l i s t ) ; }
extending_class_expr returns [ ExtendingClassExpr ece ] {
ece = null ;
ClassExpr ce1 = null ;
ClassExpr ce2 = null ;
}
: EXTEND ce1 = class_expr WITH ce2 = class_expr
{ ece = new ExtendingClassExpr ( ce1 , ce2 ) ; }
;
scheme_instantiation returns [ SchemeInstantiation s i ] {
s i = null ;
Id i d e n t i f i e r = null ;
}
: i d e n t i f i e r = id
{ s i = new SchemeInstantiation ( i d e n t i f i e r ) ; }
;
d e c l returns [ Decl d ] {
d = null ;
}
: VALUE d = value_decl
| TYPE d = type_decl
| TEST_CASE d = t e s t _ d e c l
;
//Type D e c l a r a t i o n
type_decl returns [ TypeDecl td ] {
td = null ;
RSLListDefault
type_def_list =
new RSLListDefault() ;
TypeDef def ;
}
: def = type_def
{ type_def_list . g e t L i s t ( ) . add ( def ) ; }
(
COMMA def = type_def
{ type_def_list . g e t L i s t ( ) . add ( def ) ; }
) ∗
{ td = new TypeDecl ( type_def_list ) ; }
;
478