Transformation of Applicative Specifications into Imperative ...

: ve1 = infix_expr_pr7
(
r i o = infix_op_pr8 ve2 = infix_expr_pr7
{ ve3 = ve1 ;
ve1 = new ValueInfixExpr ( ve3 , r i o , ve2 ) ; }
) ∗
{ve = ve1 ; }
;
infix_expr_pr7 returns [ ValueExpr ve ] {
ve = null ;
ValueExpr ve1 = null ;
I n f i x O p e r a t o r r i o = null ;
ValueExpr ve2 = null ;
ValueExpr ve3 = null ; }
: ve1 = infix_expr_pr6
(
r i o = infix_op_pr7 ve2 = infix_expr_pr6
{ ve3 = ve1 ;
ve1 = new ValueInfixExpr ( ve3 , r i o , ve2 ) ; }
) ∗
{ve = ve1 ; }
;
infix_expr_pr6 returns [ ValueExpr ve ] {
ve = null ;
ValueExpr ve1 = null ;
I n f i x O p e r a t o r r i o = null ;
ValueExpr ve2 = null ;
ValueExpr ve3 = null ; }
: ve1 = infix_expr_pr5
(
r i o = infix_op_pr6 ve2 = infix_expr_pr5
{ ve3 = ve1 ;
ve1 = new ValueInfixExpr ( ve3 , r i o , ve2 ) ; }
) ∗
{ve = ve1 ; }
;
infix_expr_pr5 returns [ ValueExpr ve ] {
ve = null ;
ValueExpr ve1 = null ;
I n f i x O p e r a t o r r i o = null ;
ValueExpr ve2 = null ;
ValueExpr ve3 = null ;
}
: ve1 = infix_expr_pr4
(
r i o = infix_op_pr5 ve2 = infix_expr_pr4
491