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