/*
 * FindBugs - Find Bugs in Java programs
 * Copyright (C) 2003-2007 University of Maryland
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 * 
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

package edu.umd.cs.findbugs.ba.ch;

import org.apache.bcel.generic.ArrayType;
import org.apache.bcel.generic.ObjectType;
import org.apache.bcel.generic.Type;

import edu.umd.cs.findbugs.FindBugsTestCase;
import edu.umd.cs.findbugs.RunnableWithExceptions;
import edu.umd.cs.findbugs.ba.ObjectTypeFactory;
import edu.umd.cs.findbugs.classfile.Global;
import edu.umd.cs.findbugs.detect.FindRefComparison;

/**
 * Tests for Subtypes2.
 * 
 * @author Bill Pugh
 * @author David Hovemeyer
 */
public class Subtypes2Test extends FindBugsTestCase {

	ObjectType typeSerializable;
	ObjectType typeClonable;
	ObjectType typeObject;
	ObjectType typeInteger;
	ObjectType typeString;
	
	ObjectType typeList;
	ObjectType typeCollection;
	ObjectType typeHashSet;
	ArrayType typeArrayClonable;
	ObjectType typeComparable;
	
	ArrayType typeArrayObject;
	ArrayType typeArrayInteger;
	ArrayType typeArrayString;
	ArrayType typeArrayComparable;
	ArrayType typeArrayArrayObject;
	ArrayType typeArrayArraySerializable;
	ArrayType typeArrayArrayString;
	ArrayType typeArrayInt;
	ArrayType typeArrayArrayInt;
	ArrayType typeArrayArrayArrayInt;
	ArrayType typeArrayChar;
	ArrayType typeArrayArrayChar;
	ArrayType typeArrayArrayArrayChar;
	ObjectType typeDynamicString;
	ObjectType typeStaticString;
	ObjectType typeParameterString;

	/* (non-Javadoc)
	 * @see junit.framework.TestCase#setUp()
	 */
	@Override
	protected void setUp() throws Exception {
		super.setUp();
		typeSerializable = ObjectTypeFactory.getInstance("java.io.Serializable");
		typeClonable = ObjectTypeFactory.getInstance("java.lang.Cloneable");
		typeObject = ObjectTypeFactory.getInstance("java.lang.Object");
		typeInteger = ObjectTypeFactory.getInstance("java.lang.Integer");
		typeString = ObjectTypeFactory.getInstance("java.lang.String");
		typeComparable = ObjectTypeFactory.getInstance("java.lang.Comparable");
		
		typeList = ObjectTypeFactory.getInstance("java.util.List");
		typeCollection  = ObjectTypeFactory.getInstance("java.util.Collection");
		typeHashSet  = ObjectTypeFactory.getInstance("java.util.HashSet");
		typeArrayClonable = new ArrayType(typeClonable,1);
		typeArrayComparable= new ArrayType(typeComparable,1);
		typeArrayObject = new ArrayType(typeObject,1);
		typeArrayInteger = new ArrayType(typeInteger,1);
		typeArrayString = new ArrayType(typeString, 1);
		typeArrayArrayObject = new ArrayType(typeObject, 2);
		typeArrayArraySerializable = new ArrayType(typeSerializable, 2);
		typeArrayArrayString = new ArrayType(typeString, 2);
		typeArrayInt = new ArrayType(Type.INT, 1);
		typeArrayArrayInt = new ArrayType(Type.INT, 2);
		typeArrayArrayArrayInt = new ArrayType(Type.INT, 3);
		typeArrayChar = new ArrayType(Type.CHAR, 1);
		typeArrayArrayChar = new ArrayType(Type.CHAR, 2);
		typeArrayArrayArrayChar = new ArrayType(Type.CHAR, 3);
		typeDynamicString = new FindRefComparison.DynamicStringType();
		typeStaticString = new FindRefComparison.StaticStringType();
		typeParameterString = new FindRefComparison.ParameterStringType();
	}

	private static Subtypes2 getSubtypes2() {
		return Global.getAnalysisCache().getDatabase(Subtypes2.class);
	}

	public void testStringSubtypeOfObject() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeString, typeObject));
			}
		});
	}

	public void testStringSubtypeOfSerializable() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeString, typeSerializable));
			}
		});
	}

	public void testIdentitySubtype() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions() {
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeObject, typeObject));
				assertTrue(test.isSubtype(typeSerializable, typeSerializable));
				assertTrue(test.isSubtype(typeArrayClonable, typeArrayClonable));
			}
		});
	}

	public void testInterfaceIsSubtypeOfObject() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions() {
			public void run() throws ClassNotFoundException {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeClonable, typeObject));
			}
		});
	}

	public void testArrays() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions() {
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeArrayClonable, typeObject));
				assertTrue(test.isSubtype(typeArrayClonable, typeArrayObject));
			}
		});
	}

	public void testUnrelatedTypes() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertFalse(test.isSubtype(typeInteger, typeString));
			}
		});
	}

	public void testArraysWrongDimension() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertFalse(test.isSubtype(typeArrayArrayString, typeArrayString));
			}
		});
	}

	public void testMultidimensionalArrayIsSubtypeOfObjectArray() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions() {
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeArrayArrayString, typeArrayObject));
				assertTrue(test.isSubtype(typeArrayArraySerializable, typeArrayObject));
				assertTrue(test.isSubtype(typeArrayArrayInt, typeArrayObject));
			}
		});
	}

	public void testArrayOfPrimitiveIsSubtypeOfObject() throws Throwable {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Exception {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeArrayInt, typeObject));
			}
		});
	}

	public void testSpecialStringSubclasses() throws Exception {
		executeFindBugsTest(new RunnableWithExceptions() {
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Exception {
				Subtypes2 test = getSubtypes2();

				assertTrue(test.isSubtype(typeDynamicString, typeString));
				assertTrue(test.isSubtype(typeStaticString, typeString));
				assertTrue(test.isSubtype(typeParameterString, typeString));
			}
		});
	}

	public void testEasyFirstCommonSuperclass() throws Exception {
		executeFindBugsTest(new RunnableWithExceptions() {
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertEquals(typeObject, test.getFirstCommonSuperclass(typeObject, typeObject));
				assertEquals(typeString, test.getFirstCommonSuperclass(typeString, typeString));
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeString, typeObject));
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeObject, typeString));

				// Slightly harder one
				assertEquals(typeComparable, test.getFirstCommonSuperclass(typeString, typeInteger));
			}
		});
	}

	public void testInterfaceFirstCommonSuperclass() throws Exception {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();
				
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeSerializable, typeObject));
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeObject, typeSerializable));
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeSerializable, typeClonable));
				
				assertEquals(typeSerializable, test.getFirstCommonSuperclass(typeSerializable, typeSerializable));
			}
		});
	}
	
	public void testArrayFirstCommonSuperclass() throws Exception {
		executeFindBugsTest(new RunnableWithExceptions(){
			/* (non-Javadoc)
			 * @see edu.umd.cs.findbugs.RunnableWithExceptions#run()
			 */
			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();

				assertEquals(typeObject, test.getFirstCommonSuperclass(typeArrayInteger, typeObject));
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeSerializable, typeArrayClonable));
				
				assertEquals(typeArrayComparable, test.getFirstCommonSuperclass(typeArrayString, typeArrayInteger));
				
				assertEquals(typeArrayInt, test.getFirstCommonSuperclass(typeArrayInt, typeArrayInt));
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeArrayChar, typeArrayInt));
				
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeArrayString, typeArrayInt));
				
				assertEquals(typeArrayObject, test.getFirstCommonSuperclass(typeArrayArraySerializable, typeArrayString));
				
				assertEquals(typeObject, test.getFirstCommonSuperclass(typeArrayArrayString, typeArrayInt));
			}
		});
	}
	
	public void testArrayFirstCommonSuperclassTricky() throws Exception {
		executeFindBugsTest(new RunnableWithExceptions() {

			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();
				
				assertEquals(typeArrayObject, test.getFirstCommonSuperclass(typeArrayArrayInt, typeArrayArrayChar));
				assertEquals(typeArrayObject, test.getFirstCommonSuperclass(typeArrayArrayInt, typeArrayArrayArrayChar));
				assertEquals(typeArrayArrayObject, test.getFirstCommonSuperclass(typeArrayArrayArrayChar, typeArrayArrayArrayInt));

				// Sanity check
				assertEquals(typeArrayArrayArrayChar, test.getFirstCommonSuperclass(typeArrayArrayArrayChar, typeArrayArrayArrayChar));
			}
		});
	}
	
	public void testInterfaces() throws Exception {
		executeFindBugsTest(new RunnableWithExceptions() {

			public void run() throws Throwable {
				Subtypes2 test = getSubtypes2();
				assertEquals(typeCollection, test.getFirstCommonSuperclass(typeCollection, typeHashSet));
				assertEquals(typeCollection, test.getFirstCommonSuperclass(typeHashSet, typeCollection));
				assertEquals(typeCollection, test.getFirstCommonSuperclass(typeList, typeHashSet));
				
				
			}
		});
		/*
		ObjectType typeList;
		ObjectType typeMap;
		ObjectType typeCollection;
		ObjectType typeHashSet;
		*/

	}
}