Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
;
}
(
componentKindList
) ) ;
componentKindList = null ;
}
BAR i d e n t i f i e r 2 = id
{ c o n s t r u c t o r = new Constructor ( i d e n t i f i e r 2 ) ; }
(
LPAREN
componentKindList = component_kind_list
RPAREN
) ?
{
i f ( componentKindList == null ) {
v a r i a n t _ l i s t . g e t L i s t ( ) . add (
new Make_Constructor ( c o n s t r u c t o r ) ) ;
}
else {
v a r i a n t _ l i s t . g e t L i s t ( ) . add (
new RecordVariant (
constructor ,
componentKindList
) ) ;
componentKindList = null ;
}
}
) ∗
{vd = new VariantDef ( i d e n t i f i e r , v a r i a n t _ l i s t ) ; }
union_def [ Id i d e n t i f i e r ] returns [ UnionDef ud ] {
ud = null ;
NameOrWildcard nw = null ;
RSLListDefault
nameOrWildcardList =
new RSLListDefault() ;
}
: nw = name_or_wildcard
{ nameOrWildcardList . g e t L i s t ( ) . add (nw) ; }
(
BAR nw = name_or_wildcard
{ nameOrWildcardList . g e t L i s t ( ) . add (nw) ; }
) ∗
{ud = new UnionDef ( i d e n t i f i e r , nameOrWildcardList ) ; }
;
name_or_wildcard returns [ NameOrWildcard now ] {
Id var = null ;
480