simplemultireturntest.java

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

/**
 * 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.inputs;

import preverification.tests.ITestable;
import preverification.tests.TestException;

/**
 * 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.1 $
 * <br>
 * $Date: 2005/10/02 22:29:06 $
 * <br>
 * @author Craig Setera
 */
public class SimpleMultiReturnTest implements ITestable {
	/**
	 * @see preverification.tests.ITestable#test(java.lang.Object[])
	 */
	public Object test(Object[] arguments) 
		throws TestException 
	{
		if (arguments.length == 0) {
			return new Integer(0);
		} else {
			return new Integer(1);
		}
	}
}