001    package ps6.test;
002    
003    import junit.framework.Test;
004    import junit.framework.TestSuite;
005    
006    public class SpecificationTests
007        extends TestSuite
008    {
009        public SpecificationTests() {
010            this("Problem Set 6 Public Specification Tests");
011        }
012    
013        public static Test suite() {
014            return new SpecificationTests();
015        }
016    
017        public SpecificationTests(String s) {
018            super(s);
019            addTest(new PublicProgADTTest());
020            addTest(new PublicTextUITest());
021        }
022    }