1 /*
2 ContractChecker
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
23 Thanks to ACM S.L. for distributing this library under the GPL license.
24 Contact info: jsr000@terra.es
25 Postal Address: c/Playa de Lagoa, 1
26 Urb. Valdecaba?as
27 Boadilla del monte
28 28660 Madrid
29 Spain
30
31 ******************************************************************************
32 *
33 * Filename: $RCSfile: DummyClassTest.java,v $
34 *
35 * Author: Jose San Leandro Armend?riz
36 *
37 * Description: Performs some tests on DummyClass class' pre- and
38 * post-conditions.
39 *
40 * File version: $Revision: 1.3 $
41 *
42 * Project version: $Name: $
43 * ("Name" means no concrete version has been checked out)
44 *
45 * $Id: DummyClassTest.java,v 1.3 2003/12/25 20:52:18 chous Exp $
46 *
47 */
48 package functionaltests.org.acmsl.contractchecker;
49
50 /*
51 * Importing some project classes.
52 */
53 import functionaltests.org.acmsl.contractchecker.DummyClass;
54
55 /*
56 * Importing JUnit classes.
57 */
58 import junit.framework.TestCase;
59
60 /***
61 * Performs some tests on DummyClass class' pre- and post-conditions.
62 * @author <a href="mailto:jsanleandro@yahoo.es"
63 >Jose San Leandro Armend?riz</a>
64 * @version $Revision: 1.3 $
65 * @see functionaltests.org.acmsl.commons.contractchecker.DummyClass
66 */
67 public class DummyClassTest
68 extends TestCase
69 {
70 /***
71 * Constructs a test case with the given name.
72 * @param name the test case name.
73 */
74 public DummyClassTest(String name)
75 {
76 super(name);
77 }
78
79 /***
80 * Tests the DummyClass.concatenate() method's preconditions.
81 * @see DummyClass#concatenate(String,Object)
82 */
83 public void testConcatenate()
84 {
85 try
86 {
87 DummyClass dummyClass = new DummyClass();
88
89 dummyClass.concatenate(null, null);
90
91 fail("Preconditions violated.");
92 }
93 catch (Exception exception)
94 {
95 assertNotNull(exception);
96 }
97 }
98 }
This page was automatically generated by Maven