/* Generated by org.multijava.util.testing.Main */

package org.jmlspecs.samples;

/**
 * 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. 
 */
public class TestSuite extends junit.framework.TestSuite {
    public TestSuite() {
        super();
    }

    public TestSuite( String name ) {
        super( name );
    }

    public static junit.framework.Test suite() {
        junit.framework.TestSuite suite = 
            new junit.framework.TestSuite() {
                    public String toString() { return TEST_DESC; }
                };
        suite.addTest( org.jmlspecs.samples.dbc.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.digraph.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.list.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.jmlkluwer.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.jmlrefman.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.jmltutorial.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.misc.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.prelimdesign.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.reader.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.sets.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.stacks.TestSuite.suite() );
        suite.addTest( org.jmlspecs.samples.table.TestSuite.suite() );
        return suite;
    }

    public static final String TEST_DESC = 
        "Test suite for org.jmlspecs.samples";
}