Transformation of Applicative Specifications into Imperative ...

;
)
(
new I n n e r P a t t e r n L i s t (
i n n e r P a t t e r n L i s t ) ) ) ; }
|
RLIST
{ lp = new Make_EnumeratedListPattern (
new EnumeratedListPattern (
new NoInnerPattern ( ) ) ) ; }
HAT ip = pattern
{ lp = new ConcatenatedListPattern (
new EnumeratedListPattern (
new I n n e r P a t t e r n L i s t (
i n n e r P a t t e r n L i s t ) ) ,
ip ) ; }
) ?
{ lb = new MakeListPatternLet ( lp ) ; }
v a l u e _ l i t e r a l returns [ V a l u e L i t e r a l v l ] {
v l = null ;
}
: v l = i n t _ l i t
| v l = b o o l _ l i t
| v l = r e a l _ l i t
| v l = t e x t _ l i t
| v l = c h a r _ l i t
;
basic_expr returns [ BasicExpr be ] {
be = null ;
}
: CHAOS { be = new CHAOS( ) ; }
;
name returns [ Make_ValueOrVariableName vn ] {
vn = null ;
Id q i = null ;
}
: q i = q u a l i f i e d _ i d
{vn = new Make_ValueOrVariableName (
new ValueOrVariableName ( q i ) ) ; }
;
infix_op_pr9 returns [ I n f i x O p e r a t o r r i o ] {
r i o = null ;
}
: IMPLIES { r i o = new IMPLIES ( ) ; }
;
499