Transformation of Applicative Specifications into Imperative ...
Transformation of Applicative Specifications into Imperative ... Transformation of Applicative Specifications into Imperative ...
APPENDIX E. ANTLR GRAMMAR } t e s t L i t e r a l s=f a l s e ; COMMA : " , " ; COLON : " : " ; CROSS : ">" ; FORWHICH : ":−" ; PARTIAL : "−~" ; INFMAP : "~m−>" ; MAP : "m−>" ; MAPSTO : "+>" ; LPAREN : " ( " ; RPAREN : " ) " ; LBRACKET : " [ " ; RBRACKET : " ] " ; LSET : "{" ; RSET : "}" ; PLUS : "+" ; MINUS : "−" ; STAR : "∗" ; EXP : "∗∗" ; SLASH : "/" ; BACKSLASH : "\\" ; HAT : "^" ; EQUAL : "=" ; EQUALEQUAL : "==" ; NOTEQUAL : "~=" ; LT : "" ; LLIST : "" ; CURLYDASH : "~" ; BAR : " | " ; UNDERSCORE : "_" ; PROPSUBSET : "" ; OVERRIDE : " ! ! " ; COMPOSITION : "#" ; OR : " \\/" ; AND : "/\\" ; IMPLIES : "=>" ; /∗DOT i s matched by r u l e f o r i n t e g e r s and r e a l s . ∗/ //DOT : " . " ; CHAR_LITERAL : ’ \ ’ ’ ! ( ESC| ~ ( ’ \ ’ ’ | ’ \\ ’ ) ) ’ \ ’ ’ ! ; 504
TEXT_LITERAL : ’ " ’ ! ( ESC| ~ ( ’ " ’ | ’ \\ ’ ) ) ∗ ’ " ’ ! ; protected ESC : ’ \\ ’ ( ’ r ’ | ’ n ’ | ’ t ’ | ’ a ’ | ’ b ’ | ’ f ’ | ’ v ’ | ’ ? ’ | ’ \\ ’ | ’ \ ’ ’ | ’ " ’ | OCT_DIGIT ( options { warnWhenFollowAmbig = f a l s e ; } : OCT_DIGIT ( options { warnWhenFollowAmbig = f a l s e ; } : OCT_DIGIT ) ? ) ? | ’ x ’ ( options { greedy=true ; } : ’ 0 ’ . . ’ 9 ’ | ’ a ’ . . ’ f ’ | ’A ’ . . ’F ’ )+ ) ; protected OCT_DIGIT : ’ 0 ’ . . ’ 7 ’ ; // a numeric l i t e r a l INTEGER_LITERAL { boolean isDecimal=f a l s e ; Token t = null ; 505
- Page 470 and 471: APPENDIX D. SPECIFICATION OF TRANSF
- Page 472 and 473: APPENDIX D. SPECIFICATION OF TRANSF
- Page 474 and 475: APPENDIX D. SPECIFICATION OF TRANSF
- Page 476 and 477: APPENDIX D. SPECIFICATION OF TRANSF
- Page 478 and 479: APPENDIX D. SPECIFICATION OF TRANSF
- Page 480 and 481: APPENDIX D. SPECIFICATION OF TRANSF
- Page 482 and 483: APPENDIX D. SPECIFICATION OF TRANSF
- Page 484 and 485: APPENDIX D. SPECIFICATION OF TRANSF
- Page 486 and 487: APPENDIX D. SPECIFICATION OF TRANSF
- Page 488 and 489: APPENDIX D. SPECIFICATION OF TRANSF
- Page 490 and 491: APPENDIX D. SPECIFICATION OF TRANSF
- Page 492 and 493: APPENDIX E. ANTLR GRAMMAR END = "en
- Page 494 and 495: APPENDIX E. ANTLR GRAMMAR ; d = d e
- Page 496 and 497: APPENDIX E. ANTLR GRAMMAR ; } ( com
- Page 498 and 499: APPENDIX E. ANTLR GRAMMAR ; ) ∗ }
- Page 500 and 501: APPENDIX E. ANTLR GRAMMAR ; } else
- Page 502 and 503: APPENDIX E. ANTLR GRAMMAR prod_bind
- Page 504 and 505: APPENDIX E. ANTLR GRAMMAR ; | | | |
- Page 506 and 507: APPENDIX E. ANTLR GRAMMAR ; | NAT {
- Page 508 and 509: APPENDIX E. ANTLR GRAMMAR ; { ve3 =
- Page 510 and 511: APPENDIX E. ANTLR GRAMMAR ( | RPARE
- Page 512 and 513: APPENDIX E. ANTLR GRAMMAR | { optio
- Page 514 and 515: APPENDIX E. ANTLR GRAMMAR new RSLLi
- Page 516 and 517: APPENDIX E. ANTLR GRAMMAR infix_op_
- Page 518 and 519: APPENDIX E. ANTLR GRAMMAR : v l = v
- Page 522 and 523: APPENDIX E. ANTLR GRAMMAR } : ’ .
- Page 524 and 525: APPENDIX E. ANTLR GRAMMAR 508
- Page 526 and 527: APPENDIX F. SOURCE CODE System . e
- Page 528 and 529: APPENDIX F. SOURCE CODE } } catch (
- Page 530 and 531: APPENDIX F. SOURCE CODE F.2 Visitor
- Page 532 and 533: APPENDIX F. SOURCE CODE public void
- Page 534 and 535: APPENDIX F. SOURCE CODE public void
- Page 536 and 537: APPENDIX F. SOURCE CODE public void
- Page 538 and 539: APPENDIX F. SOURCE CODE public void
- Page 540 and 541: APPENDIX F. SOURCE CODE public void
- Page 542 and 543: APPENDIX F. SOURCE CODE public void
- Page 544 and 545: APPENDIX F. SOURCE CODE public void
- Page 546 and 547: APPENDIX F. SOURCE CODE StringRSLAs
- Page 548 and 549: APPENDIX F. SOURCE CODE } nameOrWil
- Page 550 and 551: APPENDIX F. SOURCE CODE } public vo
- Page 552 and 553: APPENDIX F. SOURCE CODE } r e s u l
- Page 554 and 555: APPENDIX F. SOURCE CODE public void
- Page 556 and 557: APPENDIX F. SOURCE CODE } } public
- Page 558 and 559: APPENDIX F. SOURCE CODE } v a l u e
- Page 560 and 561: APPENDIX F. SOURCE CODE } public vo
- Page 562 and 563: APPENDIX F. SOURCE CODE } public vo
- Page 564 and 565: APPENDIX F. SOURCE CODE public void
- Page 566 and 567: APPENDIX F. SOURCE CODE } r e s u l
- Page 568 and 569: APPENDIX F. SOURCE CODE } } r e s u
APPENDIX E. ANTLR GRAMMAR<br />
}<br />
t e s t L i t e r a l s=f a l s e ;<br />
COMMA : " , " ;<br />
COLON : " : " ;<br />
CROSS : ">" ;<br />
FORWHICH : ":−" ;<br />
PARTIAL : "−~" ;<br />
INFMAP : "~m−>" ;<br />
MAP : "m−>" ;<br />
MAPSTO : "+>" ;<br />
LPAREN : " ( " ;<br />
RPAREN : " ) " ;<br />
LBRACKET : " [ " ;<br />
RBRACKET : " ] " ;<br />
LSET : "{" ;<br />
RSET : "}" ;<br />
PLUS : "+" ;<br />
MINUS : "−" ;<br />
STAR : "∗" ;<br />
EXP : "∗∗" ;<br />
SLASH : "/" ;<br />
BACKSLASH : "\\" ;<br />
HAT : "^" ;<br />
EQUAL : "=" ;<br />
EQUALEQUAL : "==" ;<br />
NOTEQUAL : "~=" ;<br />
LT : "" ;<br />
LLIST : "" ;<br />
CURLYDASH : "~" ;<br />
BAR : " | " ;<br />
UNDERSCORE : "_" ;<br />
PROPSUBSET : "" ;<br />
OVERRIDE : " ! ! " ;<br />
COMPOSITION : "#" ;<br />
OR : " \\/" ;<br />
AND : "/\\" ;<br />
IMPLIES : "=>" ;<br />
/∗DOT i s matched by r u l e f o r i n t e g e r s and r e a l s . ∗/<br />
//DOT : " . " ;<br />
CHAR_LITERAL : ’ \ ’ ’ ! ( ESC| ~ ( ’ \ ’ ’ | ’ \\ ’ ) ) ’ \ ’ ’ ! ;<br />
504