Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
;
}
else {
ocond = new NoPreCondition ( ) ;
ocond = new PreCondition ( cond ) ; }
}
{ efd = new E x p l i c i t F u n c t i o n D e f ( st , ia , ve , ocond ) ; }
i d _ a p p l i c a t i o n returns [ I d A p p l i c a t i o n i a ] {
i a = null ;
Id i d e n t i f i e r = null ;
FormalFunctionParameter f f p = null ;
}
: i d e n t i f i e r = id LPAREN
f f p = formal_function_parameter
RPAREN
{ i a = new I d A p p l i c a t i o n ( i d e n t i f i e r , f f p ) ; }
;
formal_function_parameter returns [ FormalFunctionParameter f f p ] {
f f p = null ;
RSLListDefault b i n d i n g _ l i s t =
new RSLListDefault() ;
Binding b = null ;
}
: (
b = binding
{ b i n d i n g _ l i s t . g e t L i s t ( ) . add ( b ) ; }
(
COMMA b = binding
{ b i n d i n g _ l i s t . g e t L i s t ( ) . add ( b ) ; }
) ∗
) ?
{ f f p = new FormalFunctionParameter ( b i n d i n g _ l i s t ) ; }
;
single_typing returns [ SingleTyping s t ] {
s t = null ;
Binding b = null ;
TypeExpr te = null ;
}
: b = binding COLON te = type_expr
{ s t = new SingleTyping (b , te ) ; }
;
typing returns [ Typing t ] {
t = null ;
Binding b = null ;
RSLListDefault b i n d i n g _ l i s t =
484