1 /* 2 Project tests 3 4 Copyright (C) 2003 Jose San Leandro Armend?riz 5 jsanleandro@yahoo.es 6 chousz@yahoo.com 7 8 This library is free software; you can redistribute it and/or 9 modify it under the terms of the GNU General Public 10 License as published by the Free Software Foundation; either 11 version 2 of the License, or (at your option) any later version. 12 13 This library is distributed in the hope that it will be useful, 14 but WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 16 General Public License for more details. 17 18 You should have received a copy of the GNU General Public 19 License along with this library; if not, write to the Free Software 20 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 21 22 Thanks to ACM S.L. for distributing this library under the GPL license. 23 Contact info: jsr000@terra.es 24 Postal Address: c/Playa de Lagoa, 1 25 Urb. Valdecaba?as 26 Boadilla del monte 27 28660 Madrid 28 Spain 29 30 ****************************************************************************** 31 * 32 * Filename: $RCSfile: ContractCheckerTaskTest.java,v $ 33 * 34 * Author: Jose San Leandro Armend?riz 35 * 36 * Description: Executes all tests defined for package 37 * unittests.org.acmsl.contractchecker. 38 * 39 * Last modified by: $Author: chous $ at $Date: 2004/01/11 17:33:05 $ 40 * 41 * File version: $Revision: 1.2 $ 42 * 43 * Project version: $Name: $ 44 * 45 * $Id: ContractCheckerTaskTest.java,v 1.2 2004/01/11 17:33:05 chous Exp $ 46 */ 47 package unittests.org.acmsl.contractchecker; 48 49 /* 50 * Importing project classes. 51 */ 52 // JUnitDoclet begin import 53 import org.acmsl.contractchecker.ContractCheckerTask; 54 // JUnitDoclet end import 55 56 /* 57 * Importing JUnit classes. 58 */ 59 import junit.framework.TestCase; 60 61 /* 62 This file is part of JUnitDoclet, a project to generate basic 63 test cases from source code and helping to keep them in sync 64 during refactoring. 65 66 Copyright (C) 2002 ObjectFab GmbH (http://www.objectfab.de/) 67 68 This library is free software; you can redistribute it and/or 69 modify it under the terms of the GNU Lesser General Public 70 License as published by the Free Software Foundation; either 71 version 2.1 of the License, or (at your option) any later 72 version. 73 74 This library is distributed in the hope that it will be useful, 75 but WITHOUT ANY WARRANTY; without even the implied warranty of 76 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 77 GNU Lesser General Public License for more details. 78 79 You should have received a copy of the GNU Lesser General 80 Public License along with this library; if not, write to the 81 Free Software Foundation, Inc., 59 Temple Place, Suite 330, 82 Boston, MA 02111-1307 USA 83 */ 84 85 86 /*** 87 * Tests ContractCheckerTaskTest class. 88 * @version $Revision: 1.2 $ 89 * @see org.acmsl.contractchecker.ContractCheckerTask 90 */ 91 public class ContractCheckerTaskTest 92 // JUnitDoclet begin extends_implements 93 extends TestCase 94 // JUnitDoclet end extends_implements 95 { 96 // JUnitDoclet begin class 97 org.acmsl.contractchecker.ContractCheckerTask contractcheckertask = null; 98 // JUnitDoclet end class 99 100 /*** 101 * Creates a ContractCheckerTaskTest with given name. 102 * @param name such name. 103 */ 104 public ContractCheckerTaskTest(String name) 105 { 106 // JUnitDoclet begin method ContractCheckerTaskTest 107 super(name); 108 // JUnitDoclet end method ContractCheckerTaskTest 109 } 110 111 /*** 112 * Creates an instance of the tested class. 113 * @return such instance. 114 115 */ 116 public org.acmsl.contractchecker.ContractCheckerTask createInstance() 117 throws Exception 118 { 119 // JUnitDoclet begin method testcase.createInstance 120 return new org.acmsl.contractchecker.ContractCheckerTask(); 121 // JUnitDoclet end method testcase.createInstance 122 } 123 124 /*** 125 * Performs any required steps before each test. 126 * @throws Exception if an unexpected situation occurs. 127 */ 128 protected void setUp() 129 throws Exception 130 { 131 // JUnitDoclet begin method testcase.setUp 132 super.setUp(); 133 contractcheckertask = createInstance(); 134 // JUnitDoclet end method testcase.setUp 135 } 136 137 /*** 138 * Performs any required steps after each test. 139 * @throws Exception if an unexpected situation occurs. 140 */ 141 protected void tearDown() 142 throws Exception 143 { 144 // JUnitDoclet begin method testcase.tearDown 145 contractcheckertask = null; 146 super.tearDown(); 147 // JUnitDoclet end method testcase.tearDown 148 } 149 150 /*** 151 * Tests ContractCheckerTaskTest accessor methods. 152 * @throws Exception if an unexpected situation occurs. 153 */ 154 public void testSetGetAspectoutput() 155 throws Exception 156 { 157 // JUnitDoclet begin method setAspectoutput getAspectoutput 158 java.io.File[] tests = {new java.io.File("a"), null}; 159 160 for (int i = 0; i < tests.length; i++) { 161 contractcheckertask.setAspectoutput(tests[i]); 162 assertEquals(tests[i], contractcheckertask.getAspectoutput()); 163 } 164 // JUnitDoclet end method setAspectoutput getAspectoutput 165 } 166 167 /*** 168 * Tests ContractCheckerTaskTest accessor methods. 169 * @throws Exception if an unexpected situation occurs. 170 */ 171 public void testSetGetTemplatefactoryclass() 172 throws Exception 173 { 174 // JUnitDoclet begin method setTemplatefactoryclass getTemplatefactoryclass 175 java.lang.String[] tests = {"", " ", "a", "A", "?", "?", "0123456789", "012345678901234567890", "\n", null}; 176 177 for (int i = 0; i < tests.length; i++) { 178 contractcheckertask.setTemplatefactoryclass(tests[i]); 179 assertEquals(tests[i], contractcheckertask.getTemplatefactoryclass()); 180 } 181 // JUnitDoclet end method setTemplatefactoryclass getTemplatefactoryclass 182 } 183 184 /*** 185 * Tests ContractCheckerTaskTestsetIncremental() 186 * @throws Exception if an unexpected situation occurs. 187 * @see org.acmsl.contractchecker.ContractCheckerTask#setIncremental(boolean) 188 */ 189 public void testSetIncremental() 190 throws Exception 191 { 192 // JUnitDoclet begin method setIncremental 193 // JUnitDoclet end method setIncremental 194 } 195 196 /*** 197 * Tests ContractCheckerTaskTestsetHelp() 198 * @throws Exception if an unexpected situation occurs. 199 * @see org.acmsl.contractchecker.ContractCheckerTask#setHelp(boolean) 200 */ 201 public void testSetHelp() 202 throws Exception 203 { 204 // JUnitDoclet begin method setHelp 205 // JUnitDoclet end method setHelp 206 } 207 208 /*** 209 * Tests ContractCheckerTaskTestsetVersion() 210 * @throws Exception if an unexpected situation occurs. 211 * @see org.acmsl.contractchecker.ContractCheckerTask#setVersion(boolean) 212 */ 213 public void testSetVersion() 214 throws Exception 215 { 216 // JUnitDoclet begin method setVersion 217 // JUnitDoclet end method setVersion 218 } 219 220 /*** 221 * Tests ContractCheckerTaskTestsetXNoweave() 222 * @throws Exception if an unexpected situation occurs. 223 * @see org.acmsl.contractchecker.ContractCheckerTask#setXNoweave(boolean) 224 */ 225 public void testSetXNoweave() 226 throws Exception 227 { 228 // JUnitDoclet begin method setXNoweave 229 // JUnitDoclet end method setXNoweave 230 } 231 232 /*** 233 * Tests ContractCheckerTaskTestsetNowarn() 234 * @throws Exception if an unexpected situation occurs. 235 * @see org.acmsl.contractchecker.ContractCheckerTask#setNowarn(boolean) 236 */ 237 public void testSetNowarn() 238 throws Exception 239 { 240 // JUnitDoclet begin method setNowarn 241 // JUnitDoclet end method setNowarn 242 } 243 244 /*** 245 * Tests ContractCheckerTaskTestsetDeprecation() 246 * @throws Exception if an unexpected situation occurs. 247 * @see org.acmsl.contractchecker.ContractCheckerTask#setDeprecation(boolean) 248 */ 249 public void testSetDeprecation() 250 throws Exception 251 { 252 // JUnitDoclet begin method setDeprecation 253 // JUnitDoclet end method setDeprecation 254 } 255 256 /*** 257 * Tests ContractCheckerTaskTestsetWarn() 258 * @throws Exception if an unexpected situation occurs. 259 * @see org.acmsl.contractchecker.ContractCheckerTask#setWarn(java.lang.String) 260 */ 261 public void testSetWarn() 262 throws Exception 263 { 264 // JUnitDoclet begin method setWarn 265 // JUnitDoclet end method setWarn 266 } 267 268 /*** 269 * Tests ContractCheckerTaskTestsetDebug() 270 * @throws Exception if an unexpected situation occurs. 271 * @see org.acmsl.contractchecker.ContractCheckerTask#setDebug(boolean) 272 */ 273 public void testSetDebug() 274 throws Exception 275 { 276 // JUnitDoclet begin method setDebug 277 // JUnitDoclet end method setDebug 278 } 279 280 /*** 281 * Tests ContractCheckerTaskTestsetDebugLevel() 282 * @throws Exception if an unexpected situation occurs. 283 * @see org.acmsl.contractchecker.ContractCheckerTask#setDebugLevel(java.lang.String) 284 */ 285 public void testSetDebugLevel() 286 throws Exception 287 { 288 // JUnitDoclet begin method setDebugLevel 289 // JUnitDoclet end method setDebugLevel 290 } 291 292 /*** 293 * Tests ContractCheckerTaskTestsetEmacssym() 294 * @throws Exception if an unexpected situation occurs. 295 * @see org.acmsl.contractchecker.ContractCheckerTask#setEmacssym(boolean) 296 */ 297 public void testSetEmacssym() 298 throws Exception 299 { 300 // JUnitDoclet begin method setEmacssym 301 // JUnitDoclet end method setEmacssym 302 } 303 304 /*** 305 * Tests ContractCheckerTaskTestsetXlintwarnings() 306 * @throws Exception if an unexpected situation occurs. 307 * @see org.acmsl.contractchecker.ContractCheckerTask#setXlintwarnings(boolean) 308 */ 309 public void testSetXlintwarnings() 310 throws Exception 311 { 312 // JUnitDoclet begin method setXlintwarnings 313 // JUnitDoclet end method setXlintwarnings 314 } 315 316 /*** 317 * Tests ContractCheckerTaskTestsetXlint() 318 * @throws Exception if an unexpected situation occurs. 319 * @see org.acmsl.contractchecker.ContractCheckerTask#setXlint(java.lang.String) 320 */ 321 public void testSetXlint() 322 throws Exception 323 { 324 // JUnitDoclet begin method setXlint 325 // JUnitDoclet end method setXlint 326 } 327 328 /*** 329 * Tests ContractCheckerTaskTestsetXlintfile() 330 * @throws Exception if an unexpected situation occurs. 331 * @see org.acmsl.contractchecker.ContractCheckerTask#setXlintfile(java.io.File) 332 */ 333 public void testSetXlintfile() 334 throws Exception 335 { 336 // JUnitDoclet begin method setXlintfile 337 // JUnitDoclet end method setXlintfile 338 } 339 340 /*** 341 * Tests ContractCheckerTaskTestsetPreserveAllLocals() 342 * @throws Exception if an unexpected situation occurs. 343 * @see org.acmsl.contractchecker.ContractCheckerTask#setPreserveAllLocals(boolean) 344 */ 345 public void testSetPreserveAllLocals() 346 throws Exception 347 { 348 // JUnitDoclet begin method setPreserveAllLocals 349 // JUnitDoclet end method setPreserveAllLocals 350 } 351 352 /*** 353 * Tests ContractCheckerTaskTestsetNoImportError() 354 * @throws Exception if an unexpected situation occurs. 355 * @see org.acmsl.contractchecker.ContractCheckerTask#setNoImportError(boolean) 356 */ 357 public void testSetNoImportError() 358 throws Exception 359 { 360 // JUnitDoclet begin method setNoImportError 361 // JUnitDoclet end method setNoImportError 362 } 363 364 /*** 365 * Tests ContractCheckerTaskTestsetEncoding() 366 * @throws Exception if an unexpected situation occurs. 367 * @see org.acmsl.contractchecker.ContractCheckerTask#setEncoding(java.lang.String) 368 */ 369 public void testSetEncoding() 370 throws Exception 371 { 372 // JUnitDoclet begin method setEncoding 373 // JUnitDoclet end method setEncoding 374 } 375 376 /*** 377 * Tests ContractCheckerTaskTestsetLog() 378 * @throws Exception if an unexpected situation occurs. 379 * @see org.acmsl.contractchecker.ContractCheckerTask#setLog(java.io.File) 380 */ 381 public void testSetLog() 382 throws Exception 383 { 384 // JUnitDoclet begin method setLog 385 // JUnitDoclet end method setLog 386 } 387 388 /*** 389 * Tests ContractCheckerTaskTestsetProceedOnError() 390 * @throws Exception if an unexpected situation occurs. 391 * @see org.acmsl.contractchecker.ContractCheckerTask#setProceedOnError(boolean) 392 */ 393 public void testSetProceedOnError() 394 throws Exception 395 { 396 // JUnitDoclet begin method setProceedOnError 397 // JUnitDoclet end method setProceedOnError 398 } 399 400 /*** 401 * Tests ContractCheckerTaskTestsetVerbose() 402 * @throws Exception if an unexpected situation occurs. 403 * @see org.acmsl.contractchecker.ContractCheckerTask#setVerbose(boolean) 404 */ 405 public void testSetVerbose() 406 throws Exception 407 { 408 // JUnitDoclet begin method setVerbose 409 // JUnitDoclet end method setVerbose 410 } 411 412 /*** 413 * Tests ContractCheckerTaskTestsetListFileArgs() 414 * @throws Exception if an unexpected situation occurs. 415 * @see org.acmsl.contractchecker.ContractCheckerTask#setListFileArgs(boolean) 416 */ 417 public void testSetListFileArgs() 418 throws Exception 419 { 420 // JUnitDoclet begin method setListFileArgs 421 // JUnitDoclet end method setListFileArgs 422 } 423 424 /*** 425 * Tests ContractCheckerTaskTestsetReferenceInfo() 426 * @throws Exception if an unexpected situation occurs. 427 * @see org.acmsl.contractchecker.ContractCheckerTask#setReferenceInfo(boolean) 428 */ 429 public void testSetReferenceInfo() 430 throws Exception 431 { 432 // JUnitDoclet begin method setReferenceInfo 433 // JUnitDoclet end method setReferenceInfo 434 } 435 436 /*** 437 * Tests ContractCheckerTaskTestsetProgress() 438 * @throws Exception if an unexpected situation occurs. 439 * @see org.acmsl.contractchecker.ContractCheckerTask#setProgress(boolean) 440 */ 441 public void testSetProgress() 442 throws Exception 443 { 444 // JUnitDoclet begin method setProgress 445 // JUnitDoclet end method setProgress 446 } 447 448 /*** 449 * Tests ContractCheckerTaskTestsetTime() 450 * @throws Exception if an unexpected situation occurs. 451 * @see org.acmsl.contractchecker.ContractCheckerTask#setTime(boolean) 452 */ 453 public void testSetTime() 454 throws Exception 455 { 456 // JUnitDoclet begin method setTime 457 // JUnitDoclet end method setTime 458 } 459 460 /*** 461 * Tests ContractCheckerTaskTestsetNoExit() 462 * @throws Exception if an unexpected situation occurs. 463 * @see org.acmsl.contractchecker.ContractCheckerTask#setNoExit(boolean) 464 */ 465 public void testSetNoExit() 466 throws Exception 467 { 468 // JUnitDoclet begin method setNoExit 469 // JUnitDoclet end method setNoExit 470 } 471 472 /*** 473 * Tests ContractCheckerTaskTestsetFailonerror() 474 * @throws Exception if an unexpected situation occurs. 475 * @see org.acmsl.contractchecker.ContractCheckerTask#setFailonerror(boolean) 476 */ 477 public void testSetFailonerror() 478 throws Exception 479 { 480 // JUnitDoclet begin method setFailonerror 481 // JUnitDoclet end method setFailonerror 482 } 483 484 /*** 485 * Tests ContractCheckerTaskTestsetFork() 486 * @throws Exception if an unexpected situation occurs. 487 * @see org.acmsl.contractchecker.ContractCheckerTask#setFork(boolean) 488 */ 489 public void testSetFork() 490 throws Exception 491 { 492 // JUnitDoclet begin method setFork 493 // JUnitDoclet end method setFork 494 } 495 496 /*** 497 * Tests ContractCheckerTaskTestsetMaxmem() 498 * @throws Exception if an unexpected situation occurs. 499 * @see org.acmsl.contractchecker.ContractCheckerTask#setMaxmem(java.lang.String) 500 */ 501 public void testSetMaxmem() 502 throws Exception 503 { 504 // JUnitDoclet begin method setMaxmem 505 // JUnitDoclet end method setMaxmem 506 } 507 508 /*** 509 * Tests ContractCheckerTaskTestsetTagFile() 510 * @throws Exception if an unexpected situation occurs. 511 * @see org.acmsl.contractchecker.ContractCheckerTask#setTagFile(java.io.File) 512 */ 513 public void testSetTagFile() 514 throws Exception 515 { 516 // JUnitDoclet begin method setTagFile 517 // JUnitDoclet end method setTagFile 518 } 519 520 /*** 521 * Tests ContractCheckerTaskTestsetOutjar() 522 * @throws Exception if an unexpected situation occurs. 523 * @see org.acmsl.contractchecker.ContractCheckerTask#setOutjar(java.io.File) 524 */ 525 public void testSetOutjar() 526 throws Exception 527 { 528 // JUnitDoclet begin method setOutjar 529 // JUnitDoclet end method setOutjar 530 } 531 532 /*** 533 * Tests ContractCheckerTaskTestsetDestdir() 534 * @throws Exception if an unexpected situation occurs. 535 * @see org.acmsl.contractchecker.ContractCheckerTask#setDestdir(java.io.File) 536 */ 537 public void testSetDestdir() 538 throws Exception 539 { 540 // JUnitDoclet begin method setDestdir 541 // JUnitDoclet end method setDestdir 542 } 543 544 /*** 545 * Tests ContractCheckerTaskTestsetTarget() 546 * @throws Exception if an unexpected situation occurs. 547 * @see org.acmsl.contractchecker.ContractCheckerTask#setTarget(java.lang.String) 548 */ 549 public void testSetTarget() 550 throws Exception 551 { 552 // JUnitDoclet begin method setTarget 553 // JUnitDoclet end method setTarget 554 } 555 556 /*** 557 * Tests ContractCheckerTaskTestsetCompliance() 558 * @throws Exception if an unexpected situation occurs. 559 * @see org.acmsl.contractchecker.ContractCheckerTask#setCompliance(java.lang.String) 560 */ 561 public void testSetCompliance() 562 throws Exception 563 { 564 // JUnitDoclet begin method setCompliance 565 // JUnitDoclet end method setCompliance 566 } 567 568 /*** 569 * Tests ContractCheckerTaskTestsetSource() 570 * @throws Exception if an unexpected situation occurs. 571 * @see org.acmsl.contractchecker.ContractCheckerTask#setSource(java.lang.String) 572 */ 573 public void testSetSource() 574 throws Exception 575 { 576 // JUnitDoclet begin method setSource 577 // JUnitDoclet end method setSource 578 } 579 580 /*** 581 * Tests ContractCheckerTaskTestsetCopyInjars() 582 * @throws Exception if an unexpected situation occurs. 583 * @see org.acmsl.contractchecker.ContractCheckerTask#setCopyInjars(boolean) 584 */ 585 public void testSetCopyInjars() 586 throws Exception 587 { 588 // JUnitDoclet begin method setCopyInjars 589 // JUnitDoclet end method setCopyInjars 590 } 591 592 /*** 593 * Tests ContractCheckerTaskTestsetSourceRootCopyFilter() 594 * @throws Exception if an unexpected situation occurs. 595 * @see org.acmsl.contractchecker.ContractCheckerTask#setSourceRootCopyFilter(java.lang.String) 596 */ 597 public void testSetSourceRootCopyFilter() 598 throws Exception 599 { 600 // JUnitDoclet begin method setSourceRootCopyFilter 601 // JUnitDoclet end method setSourceRootCopyFilter 602 } 603 604 /*** 605 * Tests ContractCheckerTaskTestsetX() 606 * @throws Exception if an unexpected situation occurs. 607 * @see org.acmsl.contractchecker.ContractCheckerTask#setX(java.lang.String) 608 */ 609 public void testSetX() 610 throws Exception 611 { 612 // JUnitDoclet begin method setX 613 // JUnitDoclet end method setX 614 } 615 616 /*** 617 * Tests ContractCheckerTaskTest accessor methods. 618 * @throws Exception if an unexpected situation occurs. 619 */ 620 public void testSetGetSourceRoots() 621 throws Exception 622 { 623 // JUnitDoclet begin method setSourceRoots getSourceRoots 624 org.apache.tools.ant.types.Path[] tests = {new org.apache.tools.ant.types.Path(null), null}; 625 626 for (int i = 0; i < tests.length; i++) { 627 contractcheckertask.setSourceRoots(tests[i]); 628 assertEquals(tests[i], contractcheckertask.getSourceRoots()); 629 } 630 // JUnitDoclet end method setSourceRoots getSourceRoots 631 } 632 633 /*** 634 * Tests ContractCheckerTaskTestcreateSourceRoots() 635 * @throws Exception if an unexpected situation occurs. 636 * @see org.acmsl.contractchecker.ContractCheckerTask#createSourceRoots() 637 */ 638 public void testCreateSourceRoots() 639 throws Exception 640 { 641 // JUnitDoclet begin method createSourceRoots 642 // JUnitDoclet end method createSourceRoots 643 } 644 645 /*** 646 * Tests ContractCheckerTaskTestaddSourceRoots() 647 * @throws Exception if an unexpected situation occurs. 648 * @see org.acmsl.contractchecker.ContractCheckerTask#addSourceRoots(java.io.File) 649 */ 650 public void testAddSourceRoots() 651 throws Exception 652 { 653 // JUnitDoclet begin method addSourceRoots 654 // JUnitDoclet end method addSourceRoots 655 } 656 657 /*** 658 * Tests ContractCheckerTaskTestsetSourcerootsref() 659 * @throws Exception if an unexpected situation occurs. 660 * @see org.acmsl.contractchecker.ContractCheckerTask#setSourcerootsref(Reference) 661 */ 662 public void testSetSourcerootsref() 663 throws Exception 664 { 665 // JUnitDoclet begin method setSourcerootsref 666 // JUnitDoclet end method setSourcerootsref 667 } 668 669 /*** 670 * Tests ContractCheckerTaskTest accessor methods. 671 * @throws Exception if an unexpected situation occurs. 672 */ 673 public void testSetGetClasspath() 674 throws Exception 675 { 676 // JUnitDoclet begin method setClasspath getClasspath 677 org.apache.tools.ant.types.Path[] tests = {new org.apache.tools.ant.types.Path(null), null}; 678 679 for (int i = 0; i < tests.length; i++) { 680 contractcheckertask.setClasspath(tests[i]); 681 assertEquals(tests[i], contractcheckertask.getClasspath()); 682 } 683 // JUnitDoclet end method setClasspath getClasspath 684 } 685 686 /*** 687 * Tests ContractCheckerTaskTestcreateClasspath() 688 * @throws Exception if an unexpected situation occurs. 689 * @see org.acmsl.contractchecker.ContractCheckerTask#createClasspath() 690 */ 691 public void testCreateClasspath() 692 throws Exception 693 { 694 // JUnitDoclet begin method createClasspath 695 // JUnitDoclet end method createClasspath 696 } 697 698 /*** 699 * Tests ContractCheckerTaskTestsetClasspathref() 700 * @throws Exception if an unexpected situation occurs. 701 * @see org.acmsl.contractchecker.ContractCheckerTask#setClasspathref(Reference) 702 */ 703 public void testSetClasspathref() 704 throws Exception 705 { 706 // JUnitDoclet begin method setClasspathref 707 // JUnitDoclet end method setClasspathref 708 } 709 710 /*** 711 * Tests ContractCheckerTaskTestexecute() 712 * @throws Exception if an unexpected situation occurs. 713 * @see org.acmsl.contractchecker.ContractCheckerTask#execute() 714 */ 715 public void testExecute() 716 throws Exception 717 { 718 // JUnitDoclet begin method execute 719 // JUnitDoclet end method execute 720 } 721 722 /*** 723 * Tests ContractCheckerTaskTestexecuteDoclet() 724 * @throws Exception if an unexpected situation occurs. 725 * @see org.acmsl.contractchecker.ContractCheckerTask#executeDoclet(java.io.File) 726 */ 727 public void testExecuteDoclet() 728 throws Exception 729 { 730 // JUnitDoclet begin method executeDoclet 731 // JUnitDoclet end method executeDoclet 732 } 733 734 735 736 /*** 737 * JUnitDoclet moves marker to this method, if there is not match 738 * for them in the regenerated code and if the marker is not empty. 739 * This way, no test gets lost when regenerating after renaming. 740 * Method testVault is supposed to be empty. 741 * @throws Exception if an unexpected situation occurs. 742 */ 743 public void testVault() 744 throws Exception 745 { 746 // JUnitDoclet begin method testcase.testVault 747 // JUnitDoclet end method testcase.testVault 748 } 749 750 public static void main(String[] args) 751 { 752 // JUnitDoclet begin method testcase.main 753 junit.textui.TestRunner.run(ContractCheckerTaskTest.class); 754 // JUnitDoclet end method testcase.main 755 } 756 }

This page was automatically generated by Maven