⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 alltests.java

📁 SRI international 发布的OAA框架软件
💻 JAVA
字号:
/* $Id: AllTests.java,v 1.10 2004/07/13 22:34:17 brigham Exp $
 *
 * The contents of this file are subject to the OAA Community Research
 * License Version 2.0 (the "License"); you may not use this file except
 * in compliance with the License. You may obtain a copy of the License
 * at http://www.ai.sri.com/~oaa/.  Software distributed under the License
 * is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, either
 * express or implied. See the License for the specific language governing
 * rights and limitations under the License.  Portions of the software are
 * Copyright (c) SRI International, 1999.  All rights reserved.
 * "OAA" is a registered trademark, and "Open Agent Architecture" is a
 * trademark, of SRI International, a California nonprofit public benefit
 * corporation.
 */
package com.sri.oaa2.test;

import org.apache.log4j.BasicConfigurator;
import org.apache.log4j.Logger;
import org.apache.log4j.Level;

import junit.framework.Test;
import junit.framework.TestSuite;
import com.sri.oaa2.test.client.ClientConnect_T;
import com.sri.oaa2.test.client.Solve_NB_NFG_T;
import com.sri.oaa2.test.client.Solve_NB_NFG_T;
import com.sri.oaa2.test.client.Solve_B_NFG_T;
import com.sri.oaa2.test.client.Solve_B_FG_T;
import com.sri.oaa2.test.client.Solve_NB_FG_T;
import com.sri.oaa2.test.timing.DirectConnectTiming_T;
import com.sri.oaa2.test.client.SolveRecursive;
import com.sri.oaa2.test.client.IclDataQTransferClient;
import com.sri.oaa2.test.client.BigAtomTransferClient;
import com.sri.oaa2.test.icl.EqualsTest;
import com.sri.oaa2.test.icl.FromStringTest;
import com.sri.oaa2.test.icl.IclStructFunctorTest;
import com.sri.oaa2.test.icl.NegativeNumberTest;
import com.sri.oaa2.test.icl.QuestionMarkTest;
import com.sri.oaa2.test.icl.ConstructionTest;
import com.sri.oaa2.test.lib.Undeclare_T;
import com.sri.oaa2.test.lib.ConnectAndDisconnect;
import com.sri.oaa2.test.icl.HeadTailExpressionTest;
import com.sri.oaa2.test.icl.IclListTest;
import com.sri.oaa2.test.icl.IclStrTest;
import com.sri.oaa2.test.icl.IclTermTest;
import com.sri.oaa2.test.icl.IclUtilsTest;
import com.sri.oaa2.test.icl.UnifyTest;

public class AllTests {

    static {
        // make logging silent during JUnit tests.
        BasicConfigurator.configure();
        Logger.getRootLogger().removeAllAppenders();
    }

    public AllTests() {
        super();
    }

    public static void main(String[] args) {
        junit.textui.TestRunner.run(suite());
        // Force shutdown...some programs may leave
        // non-daemon threads
        System.exit(0);
    }

    public static Test suite() {
        TestSuite suite = new TestSuite("OAA2 Tests");
        //suite.addTest(new TestSuite(SolveRecursive.class));
        suite.addTest(new TestSuite(QuestionMarkTest.class));
        suite.addTest(new TestSuite(EqualsTest.class));
        suite.addTest(new TestSuite(NegativeNumberTest.class));
        suite.addTest(new TestSuite(ConstructionTest.class));
        suite.addTest(new TestSuite(FromStringTest.class));
        suite.addTest(new TestSuite(IclStructFunctorTest.class));
        suite.addTest(new TestSuite(HeadTailExpressionTest.class));

        suite.addTest(new TestSuite(ConnectAndDisconnect.class));
        suite.addTest(new TestSuite(Undeclare_T.class));
        suite.addTest(new TestSuite(ClientConnect_T.class));
        suite.addTest(new TestSuite(Solve_B_NFG_T.class));
        suite.addTest(new TestSuite(Solve_B_FG_T.class));
        suite.addTest(new TestSuite(Solve_NB_NFG_T.class));
        suite.addTest(new TestSuite(Solve_NB_FG_T.class));
        //suite.addTest(DirectConnectTiming_T.suite());

        suite.addTest(new TestSuite(IclDataQTransferClient.class));
        suite.addTest(new TestSuite(IclListTest.class));
        suite.addTest(new TestSuite(IclStrTest.class));
        suite.addTest(new TestSuite(IclTermTest.class));
        suite.addTest(new TestSuite(IclUtilsTest.class));
        suite.addTest(new TestSuite(UnifyTest.class));
        suite.addTest(new TestSuite(BigAtomTransferClient.class));
        return suite;
    }
}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -