doubletestcase.java

eclipseme的最新版本的source,欢迎j2me程序员使用

/**
 * 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 java.io.InputStream;
import java.net.URL;

import eclipseme.preverifier.ClassPreverifier;
import eclipseme.preverifier.IPreverificationPolicy;
import eclipseme.preverifier.results.PreverificationError;
import eclipseme.preverifier.results.PreverificationErrorType;
import eclipseme.preverifier.results.PreverificationResults;


/**
 * Test native method handling.
 * <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.2 $
 * <br>
 * $Date: 2005/12/04 01:20:15 $
 * <br>
 * @author Craig Setera
 */
public class DoubleTestCase extends BasePreverifyTestCase {
	public void testPreverify() {
		InputStream classStream = getSourceClassStream("preverification.inputs.DoubleTest");
		assertNotNull(classStream);
		
		IPreverificationPolicy policy = new CLDC_1_0_Policy();
		
		ClassPreverifier preverifier = new ClassPreverifier(policy);
		try {
			PreverificationResults results = preverifier.preverify(classStream, new URL[0]);

			assertTrue("Result should be error", results.isErrorResult());
			assertNull("Class node should be null when error", results.getPreverifiedClassNode());
			assertNull("Code Stream bytes should be null when error", results.getPreverifiedClassBytes());
			assertTrue("Expected errors", results.getErrors().length > 0);
			
			PreverificationError error = results.getErrors()[0];
			assertNotNull(error);
			
			assertEquals(
					"Floating point method error code expected", 
					error.getType(), 
					PreverificationErrorType.FLOATING_POINT);
			
		} catch (Exception e) {
			e.printStackTrace();
			fail(e.getMessage());
		}
	}
}