Transformation of Applicative Specifications into Imperative ...

Value D e c l a r a t i o n
value_decl returns [ ValueDecl vd ] {
vd = null ;
RSLListDefault
v a l u e _ d e f _ l i s t =
new RSLListDefault() ;
ValueDef def ;
}
: def = value_def
{ v a l u e _ d e f _ l i s t . g e t L i s t ( ) . add ( def ) ; }
(
COMMA def = value_def
{ v a l u e _ d e f _ l i s t . g e t L i s t ( ) . add ( def ) ; }
) ∗
{vd = new ValueDecl ( v a l u e _ d e f _ l i s t ) ; }
;
value_def returns [ ValueDef vd ] {
vd = null ;
SingleTyping s t = null ;
}
: s t = s i n g l e _ t y p i n g
(
vd = e x p l i c i t _ f u n c t i o n _ d e f [ s t ]
|
vd = e x p l i c i t _ v a l u e _ d e f [ s t ]
)
;
e x p l i c i t _ v a l u e _ d e f [ SingleTyping s t ] returns [ ExplicitValueDef evd ] {
evd = null ;
ValueExpr ve = null ;
}
: EQUAL ve = value_expr
{evd = new ExplicitValueDef ( st , ve ) ; }
;
e x p l i c i t _ f u n c t i o n _ d e f [ SingleTyping s t ]
returns [ E x p l i c i t F u n c t i o n D e f efd ] {
efd = null ;
I d A p p l i c a t i o n i a = null ;
ValueExpr ve = null ;
ValueExpr cond = null ;
OptionalPreCondition ocond = null ;
}
: i a = i d _ a p p l i c a t i o n IS ve = value_expr
(PRE cond = value_expr ) ?
{
i f ( cond == null ) {
483