/*
 * Created on Nov 6, 2006
 *
 * To change the template for this generated file go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
package com.ibm.ive.tools.japt.testcase;

/**
 * 
 * @author sfoley
 *
 * This class is primarily designed to test the casting optimizations for startup performance.
 * 
 * It contains various methods which normally cause the verifier to load the class SomeException but
 * with all the upcast optimizations this class will not be needed.
 * 
 * It also contains various other methods to test the dataflow analyzer used for the casting optimizations and 
 * for stackmap creation.
 */
public class TestUpcast3 {
	
	/**
	 * A successful field write upcast will prevent the verifier from loading SomeException
	 * @return
	 */
	void aFieldWriteMethod() {
		/* 
		 * a verifier must ensure that the type of
		 * an object written to a field matches the field type.
		 */
		SomeException e = new SomeException();
		e.e = e;
	}
	
	/**
	 * @param args
	 */
	public static void main(String[] args) {
		TestUpcast4.main(args);
	}
}
