/*
 * 作成日: 2003/12/08
 *
 * この生成されたコメントの挿入されるテンプレートを変更するため
 * ウィンドウ > 設定 > Java > コード生成 > コードとコメント
 */
package com.ej;

import junit.framework.TestCase;

/**
 * @author s-okita
 *
 * この生成されたコメントの挿入されるテンプレートを変更するため
 * ウィンドウ > 設定 > Java > コード生成 > コードとコメント
 */
public class Compare2Test extends TestCase {

	/**
	 * Constructor for CompareTest.
	 * @param arg0
	 */
	public Compare2Test(String arg0) {
		super(arg0);
	}

	public static void main(String[] args) {
		junit.swingui.TestRunner.run(Compare2Test.class);
	}

	/*
	 * @see TestCase#setUp()
	 */
	protected void setUp() throws Exception {
		super.setUp();
	}


    public void testCreate () {
    	Compare2 cmp = new Compare2(1, "");
    	assertNotNull(cmp);
    }
    
    public void testCreateNullPointer() {
    	try {
			Compare2 cmp = new Compare2(1, null);
			Compare2 cmp2 = new Compare2(1, ""); // traianguration.
    	} catch (NullPointerException nullPointer) {
    	}
    }
    
    public void testImplementsComparable() {
    	Compare2 cmp = new Compare2(1, "");
    	if (cmp instanceof Comparable) {
    		assertTrue(true);
    		
    	} else {
			fail();
    	}
    }
    
    public void testComareToPositive() {
    	Compare2 cmp1 = new Compare2(1, "");
    	Compare2 cmp2 = new Compare2(2, "");
    	Compare2 cmp3 = new Compare2(3, "");
    	assertEquals(-1, cmp1.compareTo(cmp2));
		assertEquals(-1, cmp2.compareTo(cmp3));
		assertEquals(0, cmp2.compareTo(cmp2));
		assertEquals(1, cmp3.compareTo(cmp2));
    }
    
    public void testSpecification() {
		Compare2 cmp1 = new Compare2(1, "");
		Compare2 cmp2 = new Compare2(2, "");
		Compare2 cmp3 = new Compare2(3, "");
		
		assertTrue((cmp1.compareTo(cmp2) == -(cmp2.compareTo(cmp1))));
    }
    
    public void testThrowExceptionSpecification() {
		Compare2 cmp1 = new Compare2(1, "");
		Compare2 cmp2 = new Compare2(2, "");
		
		try {
			cmp1.compareTo(null);
			fail();
		} catch (Exception e) {
		}
		
		try {
			cmp2.compareTo(null);
			fail();
		} catch (Exception e) {
		}
    }
    
    public void testZeroSpecification() {
		Compare2 cmp1 = new Compare2(1, "");
		Compare2 cmp2 = new Compare2(1, "");
		Compare2 cmpE = new Compare2(5, "");
		
		assertTrue(cmp1.compareTo(cmp1) == 0);
		
		assertTrue(cmp1.compareTo(cmpE) == cmp2.compareTo(cmpE));
    }
    
    public void testTransitionSpecification() {
		Compare2 cmp1 = new Compare2(1, "");
		Compare2 cmp2 = new Compare2(2, "");
		Compare2 cmp3 = new Compare2(3, "");
		assertTrue((cmp3.compareTo(cmp2) > 0) && (cmp2.compareTo(cmp1) > 0));
		assertTrue(cmp3.compareTo(cmp1) > 0);
    }
    
    public void testSameEqualsSpecification() {
		Compare2 cmp1 = new Compare2(1, "");
		Compare2 cmp2 = new Compare2(1, "");
		//assertTrue(cmp1.compareTo(cmp2) == 0);
		//assertTrue(cmp1.equals(cmp2));
		// 推奨
		//assertTrue((cmp1.compareTo(cmp2)==0) == (cmp1.equals(cmp2)));
    	
    }
/*    
    public void testEqualMethodExist() {
    	Compare cmp1 = new Compare(1, "");
    	assertTrue(cmp1.equals(new Object()));
    }
  */  
    /**
	 * <li>反射性(Reflexivity)</li>
	 * <li>対称性(Symmetry)</li>
	 * <li>推移性(Transitivity)</li>
	 * <li>整合性(Consistency)</li>
	 * <li>非null性(Non-nullity)</li>
     */
    public void testEqualsGenericConstant() {
		Compare2 x =  new Compare2(1, "");
		Compare2 y =  new Compare2(1, "");
		Compare2 z =  new Compare2(1, "");
		// 反射性(Reflexivity)
		assertTrue(x.equals(x));
		// 対称性(Symmetry)
		assertTrue(x.equals(y));
		assertTrue(y.equals(x));
		// 推移性(Transitivity)
		assertTrue(x.equals(y));
		assertTrue(y.equals(z));
		assertTrue(x.equals(z));
		
		// これらは別のメソッドでテスト
		// 整合性(Consistency)
		// 非null性(Non-nullity)
    }

	// 整合性(Consistency)
	public void testConsistency() {
		Compare2 x =  new Compare2(1, "");
		Compare2 y =  new Compare2(1, "");
		Compare2 z =  new Compare2(2, "");

		Compare2 zstr =  new Compare2(2, "s");


		assertTrue(x.equals(y));
		assertTrue(x.equals(y));
		assertTrue(x.equals(y));
		assertTrue(x.equals(y));

		assertFalse(y.equals(z));
		assertFalse(y.equals(z));
		assertFalse(y.equals(z));
		assertFalse(y.equals(z));
		

		assertFalse(z.equals(zstr));
		assertFalse(z.equals(zstr));
		assertFalse(z.equals(zstr));
		assertFalse(z.equals(zstr));
	}
	// 非null性(Non-nullity)
	// このテストは一般契約に違反しているNullPinterExceptionとClassCastExceptionをthrowしてはいけない
	// 忘れないためにここにコメントアウトしておく
	// @date 2003/12/08
	/*
	public void testNonNullity() {
		Compare x =  new Compare(1, "");
		try {
			assertFalse(x.equals(null));
			fail();
		} catch (ClassCastException cast) {
		} catch (NullPointerException nullPointer) {
		}
	}
	*/
	
	public void testEqualsCannotThrowClassCastException() {
		Compare2 x =  new Compare2(1, "");
		try {
			assertFalse(x.equals(new Object()));
		} catch (ClassCastException cast) {
			fail();
		}
	}
	
	public void testEqualsCannotThrowNullPointerException() {
		Compare2 x =  new Compare2(1, "");
		try {
			assertFalse(x.equals(null));
		} catch (NullPointerException nullpo) {
			fail();
		}
		
	}

    public void testHashCode() {
		Compare2 x =  new Compare2(1, "");
		Compare2 y =  new Compare2(1, "");
    	//assertEquals(1, x.hashCode());
    	assertTrue(x.hashCode() == y.hashCode());
    }
}