alltests.java

来自「配置文件」· Java 代码 · 共 45 行

/**
 * Copyright (c) 2003-2004 Craig Setera
 * All Rights Reserved.
 * Licensed under the Eclipse Public License - v 1.0
 * For more information see http://www.eclipse.org/legal/epl-v10.html
 */
package preverification.tests;

import junit.framework.Test;
import junit.framework.TestSuite;

/**
 * Type description
 * <p />
 * Copyright (c) 2003-2004 Craig Setera<br>
 * All Rights Reserved.<br>
 * Licensed under the Eclipse Public License - v 1.0<p/>
 * <br>
 * $Revision: 1.6 $
 * <br>
 * $Date: 2005/12/04 01:20:15 $
 * <br>
 * @author Craig Setera
 */
public class AllTests {

	public static Test suite() {
		TestSuite suite = new TestSuite("Test for preverification.tests");
		//$JUnit-BEGIN$
		suite.addTestSuite(SimpleTestCase.class);
		suite.addTestSuite(FloatTestCase.class);
		suite.addTestSuite(DoubleTestCase.class);
		suite.addTestSuite(NativeMethodTestCase.class);
		suite.addTestSuite(JumpTargetTestCase.class);
		suite.addTestSuite(SimpleMultiReturnTestCase.class);
		suite.addTestSuite(MultiReturnTypeTryCatchFinallyTestCase.class);
		suite.addTestSuite(SimpleTryCatchFinallyTestCase.class);
		suite.addTestSuite(NestedTryCatchFinallyTestCase.class);
		suite.addTestSuite(TableSwitchAndExceptionTestCase.class);
		suite.addTestSuite(ByteArrayTestCase.class);
		//$JUnit-END$
		return suite;
	}
}