Transformation of Applicative Specifications into Imperative ...

APPENDIX E. ANTLR GRAMMAR
infix_op_pr8 returns [ I n f i x O p e r a t o r r i o ] {
r i o = null ;
}
: OR { r i o = new OR( ) ; }
;
infix_op_pr7 returns [ I n f i x O p e r a t o r r i o ] {
r i o = null ;
}
: AND { r i o = new AND( ) ; }
;
infix_op_pr6 returns [ I n f i x O p e r a t o r r i o ] {
r i o = null ;
}
: EQUAL { r i o = new EQUAL( ) ; }
| NOTEQUAL { r i o = new NOTEQUAL( ) ; }
| GT { r i o = new GT( ) ; }
| LT { r i o = new LT( ) ; }
| GT EQUAL { r i o = new GTE( ) ; }
| LT EQUAL { r i o = new LTE( ) ; }
| PROPSUBSET EQUAL { r i o = new SUBSET( ) ; }
| PROPSUBSET { r i o = new PROPSUBSET( ) ; }
| REVPROPSUBSET EQUAL { r i o = new REVSUBSET( ) ; }
| REVPROPSUBSET { r i o = new REVPROPSUBSET( ) ; }
| MEMBER { r i o = new MEMBER( ) ; }
| CURLYDASH MEMBER { r i o = new NOTMEMBER( ) ; }
;
infix_op_pr5 returns [ I n f i x O p e r a t o r r i o ] {
r i o = null ;
}
: PLUS { r i o = new PLUS( ) ; }
| MINUS { r i o = new MINUS( ) ; }
| BACKSLASH { r i o = new BACKSLASH( ) ; }
| HAT { r i o = new HAT( ) ; }
| UNION { r i o = new UNION( ) ; }
| OVERRIDE { r i o = new OVERRIDE( ) ; }
;
infix_op_pr4 returns [ I n f i x O p e r a t o r r i o ] {
r i o = null ;
}
: STAR { r i o = new STAR( ) ; }
| SLASH { r i o = new SLASH( ) ; }
| INTER { r i o = new INTER( ) ; }
| COMPOSITION { r i o = new COMPOSITION( ) ; }
;
500