Transformation of Applicative Specifications into Imperative ...

type_def returns [ TypeDef td ] {
td = null ;
Id i d e n t i f i e r = null ;
}
: td = sort_def
| td = variant_def
| td = short_record_def
| i d e n t i f i e r = id
EQUAL td = abbreviation_def [ i d e n t i f i e r ]
/∗ | td = union_def [ i d e n t i f i e r ] ) ∗/
;
sort_def returns [ SortDef sd ] {
sd = null ;
Id i d e n t i f i e r = null ;
}
: i d e n t i f i e r = id
{ sd = new SortDef ( i d e n t i f i e r ) ; }
;
variant_def returns [ VariantDef vd ] {
vd = null ;
Id i d e n t i f i e r = null ;
Id i d e n t i f i e r 2 = null ;
Constructor c o n s t r u c t o r = null ;
RSLListDefault
v a r i a n t _ l i s t =
new RSLListDefault() ;
RSLListDefault componentKindList =
null ;
}
: i d e n t i f i e r = id EQUALEQUAL
i d e n t i f i e r 2 = id
{ c o n s t r u c t o r = new Constructor ( i d e n t i f i e r 2 ) ; }
(
LPAREN
componentKindList = component_kind_list
RPAREN
) ?
{
i f ( componentKindList == null ) {
v a r i a n t _ l i s t . g e t L i s t ( ) . add (
new Make_Constructor ( c o n s t r u c t o r ) ) ;
}
else {
v a r i a n t _ l i s t . g e t L i s t ( ) . add (
new RecordVariant (
c o n s t r u c t o r ,
479