001    package ps1.test;
002    
003    import junit.framework.*;
004    
005    /**
006     * SpecificationTests is a simple TestSuite that includes and runs all the tests
007     * in {@link RatNumTest}, {@link RatPolyTest}, and {@link RatPolyStackTest}.
008     */
009    public final class SpecificationTests extends TestSuite {
010        public static Test suite() {
011            return new SpecificationTests();
012        }
013    
014        public SpecificationTests() {
015            this("Problem Set 1 Specification Tests");
016        }
017    
018        public SpecificationTests(String s) {
019            super(s);
020            addTestSuite(RatNumTest.class);
021            addTestSuite(RatTermTest.class);
022            addTestSuite(RatPolyTest.class);
023            addTestSuite(RatPolyStackTest.class);
024        }
025    
026    }