Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
;
|
|
|
|
)
{ te = new TypeExprList (
new FiniteListTypeExpr ( te2 ) ) ; }
INFLIST
{ te = new TypeExprList (
new I n f i n i t e L i s t T y p e E x p r ( te2 ) ) ; }
SET
{ te = new TypeExprSet (
new FiniteSetTypeExpr ( te2 ) ) ; }
INFSET
{ te = new TypeExprSet (
new InfiniteSetTypeExpr ( te2 ) ) ; }
MAP te3 = type_expr_primary
{ te = new TypeExprMap(
new FiniteMapTypeExpr ( te2 , te3 ) ) ; }
) ?
{ i f ( te == null ) te = te2 ; }
|
LSET BAR s t = s i n g l e _ t y p i n g FORWHICH
ve = value_expr BAR RSET
{ te = new SubtypeExpr ( st , ve ) ; }
r e s u l t _ d e s c returns [ ResultDesc rd ] {
rd = null ;
OptionalReadAccessDesc orad = null ;
OptionalWriteAccessDesc owad = null ;
TypeExpr te = null ;
}
: (READ orad = read_access_desc ) ?
(WRITE owad = write_access_desc ) ?
te = type_expr_pr2
{ i f ( orad == null ) orad = new NoReadAccessMode ( ) ; }
{ i f ( owad == null ) owad = new NoWriteAccessMode ( ) ; }
{ rd = new ResultDesc ( orad , owad , te ) ; }
;
read_access_desc returns [ OptionalReadAccessDesc orad ] {
orad = 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 ) ; }
(
488