Transformation of Applicative Specifications into Imperative ...

;
else {
or = new R e s t r i c t i o n ( ve2 ) ;
}}
{me =
new ComprehendedMapExpr ( vep1 ,
)
|
RBRACKET
{me =
t y p i n g _ l i s t , or ) ; }
new EnumeratedMapExpr (new NoValueExprPairList ( ) ) ; }
)
{ve = new Make_MapExpr(me) ; }
|
CASE ve1 = value_expr OF
p = pattern TOTALARROW ve2 = value_expr
{ caseBranchList . g e t L i s t ( ) . add (new CaseBranch (p ,
(
ve2 ) ) ; }
COMMA p = pattern TOTALARROW ve2 = value_expr
{ caseBranchList . g e t L i s t ( ) . add (new CaseBranch (p , ve2 ) ) ; }
) ∗
END { ve = new CaseExpr ( ve1 ,
|
LET ld = l et_def
caseBranchList ) ; }
{ l e t D e f L i s t . g e t L i s t ( ) . add ( ld ) ; }
(
COMMA ld = let_def
{ l e t D e f L i s t . g e t L i s t ( ) . add ( ld ) ; }
) ∗
IN ve1 = value_expr
END { ve = new LetExpr ( l e t D e f L i s t , ve1 ) ; }
l et_def returns [ LetDef ld ] {
ld = null ;
LetBinding b = null ;
ValueExpr ve = null ;
}
: b = let_binding EQUAL ve = value_expr
{ ld = new LetDef (b , ve ) ; }
;
let_binding returns [ LetBinding lb ] {
lb = null ;
Binding b = null ;
Id i d e n t i f i e r = null ;
Make_ValueOrVariableName vovn = null ;
Pattern p = null ;
Pattern ip = null ;
RSLListDefault p a t t e r n L i s t =
497