Transformation of Applicative Specifications into Imperative ...
Transformation of Applicative Specifications into Imperative ... Transformation of Applicative Specifications into Imperative ...
APPENDIX G. TEST RESULTS continued from previous page Test Case Description Types of Interest Result TC_NTTD4 Type of interest recursively defined variant definition with reconstructor, explicit t : T OK TC_NTTD5 Type of interest recursively defined variant definition, implicit t : T OK TC_NTTD6 Type of interest recursively defined short record definition, explicit t : T OK TC_NTTD7 Type of interest recursively defined short record definition, implicit t : T OK TC_NTTD8 Type of interest recursively defined abbreviation definition, explicit t : T OK TC_NTTD9 Type of interest recursively defined abbreviation definition, implicit, through abbreviation definition t : T OK TC_NTTD10 Type of interest recursively t : T OK defined abbreviation definition, implicit, through TC_NTTD11 short record definition Type of interest recursively defined abbreviation definition, implicit, through variant definition t : T OK TC_NTTD12 Type of interest recursively defined abbreviation definition, implicit, third layer t : T OK TC_NTTD13 Union definition t : T OK TC_NTTD14 Type of interest in set collection t : T OK TC_NTTD15 Type of interest in list collection t : T OK TC_NTTD16 Type of interest in map collection, domain t : T OK TC_NTTD17 Type of interest in map collection, range t : T OK continued on next page 554
G.1. GREY BOX TEST OF THE PROGRAM continued from previous page Test Case Description Types of Interest Result TC_NTTD18 Function type expression in type definition t : T OK TC_NTTD19 Subtype expression where type of interest is part of the single typings t : T OK TC_NTTD20 Infinite map expression t : T OK TC_NTVD1 Value declarations Type of interest in set collection t : T OK TC_NTVD2 Type of interest in list collection t : T OK TC_NTVD3 Type of interest in map collection, domain t : T OK TC_NTVD4 Type of interest in map collection, range t : T OK TC_NTVD5 Higher order function t : T OK TC_NTVD6 Type expression of single typing not a function type expression t : T OK TC_NTVD7 Too few parameters t : T OK TC_NTVD8 A product binding having fewer components than the product expression in a let binding t : T OK TC_NTVD9 Implicit write before read of type of interest t : T OK TC_NTVD10 Implicit write before read of type of interest in product t : T OK TC_NTVD11 Explicit write before read of type of interest in product t : T OK TC_NTVD12 Explicit write before read of type of interest in case expression t : T OK TC_NTVD13 Explicit write before read of type of interest in if expression t : T OK continued on next page 555
- 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 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
- 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 G. TEST RESULTS<br />
continued from previous page<br />
Test Case Description Types <strong>of</strong> Interest Result<br />
TC_NTTD4 Type <strong>of</strong> interest recursively<br />
defined variant definition<br />
with reconstructor, explicit<br />
t : T OK<br />
TC_NTTD5 Type <strong>of</strong> interest recursively<br />
defined variant definition,<br />
implicit<br />
t : T OK<br />
TC_NTTD6 Type <strong>of</strong> interest recursively<br />
defined short record definition,<br />
explicit<br />
t : T OK<br />
TC_NTTD7 Type <strong>of</strong> interest recursively<br />
defined short record definition,<br />
implicit<br />
t : T OK<br />
TC_NTTD8 Type <strong>of</strong> interest recursively<br />
defined abbreviation definition,<br />
explicit<br />
t : T OK<br />
TC_NTTD9 Type <strong>of</strong> interest recursively<br />
defined abbreviation definition,<br />
implicit, through abbreviation<br />
definition<br />
t : T OK<br />
TC_NTTD10 Type <strong>of</strong> interest recursively t : T OK<br />
defined abbreviation definition,<br />
implicit, through<br />
TC_NTTD11<br />
short record definition<br />
Type <strong>of</strong> interest recursively<br />
defined abbreviation definition,<br />
implicit, through variant<br />
definition<br />
t : T OK<br />
TC_NTTD12 Type <strong>of</strong> interest recursively<br />
defined abbreviation definition,<br />
implicit, third layer<br />
t : T OK<br />
TC_NTTD13 Union definition t : T OK<br />
TC_NTTD14 Type <strong>of</strong> interest in set collection<br />
t : T OK<br />
TC_NTTD15 Type <strong>of</strong> interest in list collection<br />
t : T OK<br />
TC_NTTD16 Type <strong>of</strong> interest in map collection,<br />
domain<br />
t : T OK<br />
TC_NTTD17 Type <strong>of</strong> interest in map collection,<br />
range<br />
t : T OK<br />
continued on next page<br />
554