Transformation of Applicative Specifications into Imperative ...

now = null ;
}
: var = q u a l i f i e d _ i d
{now = new Name(new ValueOrVariableName ( var ) ) ; }
| UNDERSCORE { now = new Wildcard ( ) ; }
;
short_record_def returns [ ShortRecordDef srd ] {
srd = null ;
Id i d e n t i f i e r = null ;
RSLListDefault componentKindString = null ;
}
: i d e n t i f i e r = id COLON COLON
componentKindString = component_kind_string
{ srd =
new ShortRecordDef ( i d e n t i f i e r , componentKindString ) ; }
;
component_kind_list returns
[ RSLListDefault componentKindList ] {
componentKindList = new RSLListDefault() ;
Id i d e n t i f i e r 1 = null ;
Id i d e n t i f i e r 2 = null ;
TypeExpr typeExpr = null ;
TypeExpr typeExpr2 = null ;
}
: ( i d e n t i f i e r 1 = id COLON) ?
typeExpr = type_expr
(LT TOTALARROW i d e n t i f i e r 2 = id ) ?
{
componentKindList . g e t L i s t ( ) . add (
new ComponentKind (
( i d e n t i f i e r 1 ! = null ?
new Destructor ( i d e n t i f i e r 1 ) :
new NoDestructor ( ) ) ,
typeExpr ,
( i d e n t i f i e r 2 ! = null ?
new Reconstructor ( i d e n t i f i e r 2 ) :
new NoReconstructor ( ) ) ) ) ;
i d e n t i f i e r 1 = null ;
i d e n t i f i e r 2 = null ;
}
(
COMMA
( i d e n t i f i e r 1 = id COLON) ?
typeExpr2 = type_expr
(LT TOTALARROW i d e n t i f i e r 2 = id ) ?
{
481