Transformation of Applicative Specifications into Imperative ...

;
COMMA a = a c c e s s
{ a l . g e t L i s t ( ) . add ( a ) ; }
) ∗
{ orad = new ReadAccessDesc ( a l ) ; }
write_access_desc returns [ OptionalWriteAccessDesc owad ] {
owad = null ;
Access a = null ;
RSLListDefault a l =
new RSLListDefault() ;
}
: a = a c c e s s { a l . g e t L i s t ( ) . add ( a ) ; }
(
COMMA a = a c c e s s
{ a l . g e t L i s t ( ) . add ( a ) ; }
) ∗
{owad = new WriteAccessDesc ( a l ) ; }
;
a c c e s s returns [ Access a ] {
a = null ;
Id a i = null ;
}
: a i = q u a l i f i e d _ i d
{a = new AccessValueOrVariableName (
new ValueOrVariableName ( a i ) ) ; }
;
type_expr_primary returns [ TypeExpr te ] {
te = null ;
TypeExpr te2 = null ;
Id i d e n t i f i e r = null ;
}
: te = t y p e _ l i t e r a l
|
LPAREN te2 = type_expr RPAREN
{ te = new BracketedTypeExpr ( te2 ) ; }
|
i d e n t i f i e r = id
{ te = new TypeName( i d e n t i f i e r ) ; }
;
t y p e _ l i t e r a l returns [ TypeLiteral t l ] {
t l = null ;
}
: INT { t l = new TypeLiteral (new INT ( ) ) ; }
| REAL
{ t l = new TypeLiteral (new REAL( ) ) ; }
489