JML

org.jmlspecs.samples.list
Class TestSuite

java.lang.Object
  extended byjunit.framework.TestSuite
      extended byorg.jmlspecs.samples.list.TestSuite
All Implemented Interfaces:
junit.framework.Test

public class TestSuite
extends junit.framework.TestSuite

This class is automatically generated using org.multijava.util.testing.Main and is used to group a collection of JUnit tests for the local package and perhaps some subpackages.


Field Summary
static String TEST_DESC
           
 
Fields inherited from class junit.framework.TestSuite
 
Constructor Summary
TestSuite()
           
TestSuite(String name)
           
 
Method Summary
static junit.framework.Test suite()
           
 
Methods inherited from class junit.framework.TestSuite
addTest, addTestSuite, countTestCases, createTest, getName, getTestConstructor, run, runTest, setName, testAt, testCount, tests, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

TEST_DESC

public static final String TEST_DESC
Constructor Detail

TestSuite

public TestSuite()

TestSuite

public TestSuite(String name)
Method Detail

suite

public static junit.framework.Test suite()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.