Transformation of Applicative Specifications into Imperative ...
Transformation of Applicative Specifications into Imperative ... Transformation of Applicative Specifications into Imperative ...
APPENDIX F. SOURCE CODE public void visitPLUS (PLUS plus ) {} public void visitMINUS (MINUS minus ) {} public void visitEQUAL (EQUAL equal ) {} public void visitNOTEQUAL(NOTEQUAL notequal ) {} public void visitLT (LT l t ) {} public void visitGT (GT gt ) {} public void visitLTE (LTE l t e ) {} public void visitGTE (GTE gte ) {} public void visitHAT (HAT hat ) {} public void visitSTAR (STAR s t a r ) {} public void visitSLASH (SLASH s l a s h ) {} public void visitBACKSLASH (BACKSLASH backslash ) {} public void visitEXP (EXP exp ) {} public void visitSUBSET (SUBSET subset ) {} public void visitPROPSUBSET(PROPSUBSET propsubset ) {} public void visitREVSUBSET (REVSUBSET r e v s u b s e t ) {} public void visitREVPROPSUBSET(REVPROPSUBSET revpropsubset ) {} public void visitMEMBER(MEMBER member) {} public void visitNOTMEMBER(NOTMEMBER notmember ) {} public void visitUNION (UNION union ) {} public void visitINTER (INTER i n t e r ) {} public void visitOVERRIDE (OVERRIDE o v e r r i d e ) {} public void visitCOMPOSITION(COMPOSITION composition ) {} public void visitIMPLIES (IMPLIES i m p l i e s ) {} 526
public void visitOR (OR or ) {} public void visitAND (AND and ) {} public void visitABS (ABS abs ) {} public void visitINTCAST (INTCAST i n t c a s t ) {} F.2. VISITOR MODULES public void visitREALCAST (REALCAST r e a l c a s t ) {} public void visitLEN (LEN l e n ) {} public void visitINDS (INDS inds ) {} public void visitELEMS (ELEMS elems ) {} public void visitHD (HD hd ) {} public void visitTL (TL t l ) {} public void visitNOT (NOT not ) {} public void visitPREFIXMINUS (PREFIXMINUS prefixminus ) {} public void visitPREFIXPLUS (PREFIXPLUS p r e f i x p l u s ) {} public void visitCARD (CARD card ) {} public void visitDOM (DOM dom) {} public void visitRNG (RNG rng ) {} public void v i s i t L e t D e f ( LetDef l e t D e f ) { l e t D e f . binding ( ) . accept ( this ) ; l e t D e f . value_expr ( ) . accept ( this ) ; } public void visitMakeBinding ( MakeBinding binding ) { binding . binding ( ) . accept ( this ) ; } public void visitMakeRecordPattern ( MakeRecordPattern recordPattern ) { recordPattern . value_or_variable_name ( ) . accept ( this ) ; for ( Pattern pattern : recordPattern . i n n e r _ p a t t e r n _ l i s t ( ) . g e t L i s t ( ) ) { pattern . accept ( this ) ; } } 527
- 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 520 and 521: APPENDIX E. ANTLR GRAMMAR } t e s t
- 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 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
- Page 570 and 571: APPENDIX G. TEST RESULTS continued
- Page 572 and 573: APPENDIX G. TEST RESULTS continued
- Page 574 and 575: APPENDIX G. TEST RESULTS continued
- Page 576: APPENDIX G. TEST RESULTS continued
APPENDIX F. SOURCE CODE<br />
public void visitPLUS (PLUS plus ) {}<br />
public void visitMINUS (MINUS minus ) {}<br />
public void visitEQUAL (EQUAL equal ) {}<br />
public void visitNOTEQUAL(NOTEQUAL notequal ) {}<br />
public void visitLT (LT l t ) {}<br />
public void visitGT (GT gt ) {}<br />
public void visitLTE (LTE l t e ) {}<br />
public void visitGTE (GTE gte ) {}<br />
public void visitHAT (HAT hat ) {}<br />
public void visitSTAR (STAR s t a r ) {}<br />
public void visitSLASH (SLASH s l a s h ) {}<br />
public void visitBACKSLASH (BACKSLASH backslash ) {}<br />
public void visitEXP (EXP exp ) {}<br />
public void visitSUBSET (SUBSET subset ) {}<br />
public void visitPROPSUBSET(PROPSUBSET propsubset ) {}<br />
public void visitREVSUBSET (REVSUBSET r e v s u b s e t ) {}<br />
public void visitREVPROPSUBSET(REVPROPSUBSET revpropsubset ) {}<br />
public void visitMEMBER(MEMBER member) {}<br />
public void visitNOTMEMBER(NOTMEMBER notmember ) {}<br />
public void visitUNION (UNION union ) {}<br />
public void visitINTER (INTER i n t e r ) {}<br />
public void visitOVERRIDE (OVERRIDE o v e r r i d e ) {}<br />
public void visitCOMPOSITION(COMPOSITION composition ) {}<br />
public void visitIMPLIES (IMPLIES i m p l i e s ) {}<br />
526