001    package ps6.test;
002    
003    import junit.framework.Test;
004    import junit.framework.TestSuite;
005    
006    public class PublicProgADTTest extends TestSuite {
007    
008        public PublicProgADTTest() {this("Problem Set 6 Public ADT Test");}
009    
010        public PublicProgADTTest(String s) {
011            super(s);
012            addTests();
013        }
014    
015        public static Test suite() {
016            return new PublicProgADTTest();
017        }
018    
019        /**
020         * Constructs and adds the tests for the prog. ADT.
021         */
022        private void addTests() {
023            for (TestRecord record : ValidateQueries.allQueries) {
024                addTest(new PS6ProgTestCase(record));
025            }
026        }
027    }