Transformation of Applicative Specifications into Imperative ...

;
}
prefix_expr returns [ ValueExpr ve ] {
ve = null ;
PrefixOperator po = null ;
ValueExpr pe = null ; }
: po = prefix_op pe = prefix_expr
{ve = new ValuePrefixExpr ( po , pe ) ; }
|
ve = primary_value_expr
;
primary_value_expr returns [ ValueExpr ve ] {
ve = null ;
ValueExpr c o n d i t i o n = null ;
ValueExpr c o n d i t i o n 2 = null ;
RSLListDefault e l s i f _ b r a n c h _ l i s t =
new RSLListDefault() ;
RSLListDefault optional_value_expr_list =
new RSLListDefault() ;
RSLListDefault
optional_value_expr_pair_list =
new RSLListDefault() ;
RSLListDefault product_value_expr_list =
new RSLListDefault() ;
RSLListDefault caseBranchList =
new RSLListDefault() ;
RSLListDefault t y p i n g _ l i s t =
new RSLListDefault() ;
ValueExpr ve1 = null ;
ValueExpr ve2 = null ;
ValueExpr ve3 = null ;
ValueExprPair vep1 = null ;
ValueExprPair vep2 = null ;
SetExpr se = null ;
ListExpr l e = null ;
MapExpr me = null ;
Binding b = null ;
O p t i o n a l R e s t r i c t i o n or = null ;
Typing ty = null ;
Pattern p = null ;
LetDef ld = null ;
RSLListDefault l e t D e f L i s t =
new RSLListDefault() ;
V a l u e L i t e r a l v l = null ;
BasicExpr be = null ;
}
: LPAREN ve1 = value_expr
493