/* $Id: KernelBoModuleTestSuite.java,v 1.4 2006/10/20 20:22:10 m31 Exp $
 *
 * This file is part of the project "Hilbert II" - http://www.qedeq.org
 *
 * Copyright 2000-2006,  Michael Meyling <mime@qedeq.org>.
 *
 * "Hilbert II" is free software; you can redistribute
 * it and/or modify it under the terms of 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 program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License for more details.
 */

package org.qedeq.kernel.bo.module;

import junit.framework.Test;

import org.qedeq.kernel.test.QedeqTestSuite;

/**
 * Run all junit tests for package org.qedeq.kernel.bo.module.
 *
 * @version $Revision: 1.4 $
 * @author    Michael Meyling
 */
public class KernelBoModuleTestSuite extends QedeqTestSuite {

    /**
     * Get a new <code>KernelVoModuleTestSuite</code>.
     *
     * @return  Test.
     */
    public static Test suite() {
        return new KernelBoModuleTestSuite();
    }

    /**
     * Constructor.
     */
    public KernelBoModuleTestSuite() {
        super();
/*        
        addTestSuite(ChapterBoTest.class);
        addTestSuite(ChapterListBoTest.class);
        addTestSuite(PredicateDefinitionBoTest.class);
        addTestSuite(FunctionDefinitionBoTest.class);
        addTestSuite(FormulaOrTermVoTest.class);
        addTestSuite(HeaderBoTest.class);
        addTestSuite(ImportListBoTest.class);
        addTestSuite(ImportBoTest.class);
        addTestSuite(LatexListBoTest.class);
        addTestSuite(LatexBoTest.class);
        addTestSuite(LinkListBoTest.class);
        addTestSuite(LiteratureItemListBoTest.class);
        addTestSuite(LiteratureItemBoTest.class);
        addTestSuite(LocationListBoTest.class);
        addTestSuite(LocationBoTest.class);
        addTestSuite(NodeBoTest.class);
        addTestSuite(ProofListBoTest.class);
        addTestSuite(ProofBoTest.class);
        addTestSuite(PropositionBoTest.class);
*/        
        addTestSuite(QedeqBoTest.class);
/*        
        addTestSuite(RuleBoTest.class);
        addTestSuite(SectionListBoTest.class);
        addTestSuite(SectionBoTest.class);
        addTestSuite(SubsectionListBoTest.class);
        addTestSuite(SubsectionBoTest.class);
        addTestSuite(SpecificationBoTest.class);
        addTestSuite(UsedByListBoTest.class);
        addTestSuite(VariableListBoTest.class);
*/        
    }
}