Transformation of Applicative Specifications into Imperative ...

}
:
;
TypeExpr te = null ;
new RSLListDefault() ;
b = binding
(
COLON te = type_expr
{ t = new Make_SingleTyping (
new SingleTyping (b , te ) ) ; }
|
COMMA
{ b i n d i n g _ l i s t . g e t L i s t ( ) . add ( b ) ; }
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 ) ; }
) ∗
COLON te = type_expr
{ t = new Make_MultipleTyping (
new MultipleTyping ( b i n d i n g _ l i s t , te ) ) ; }
)
binding returns [ Binding b ] {
b = null ;
Binding b1 = null ;
Id i d e n t i f i e r = null ;
RSLListDefault b i n d i n g _ l i s t =
new RSLListDefault() ;
}
:
(
b1 = s i n g l e _ b i n d i n g
{b = b1 ; }
|
b1 = prod_binding
{b = b1 ; }
)
;
s i n g l e _ b i n d i n g returns [ Binding b ] {
b = null ;
Id i d e n t i f i e r = null ;
}
: i d e n t i f i e r = id
{b = new IdBinding ( i d e n t i f i e r ) ; }
;
485