equalstest.java

SRI international 发布的OAA框架软件

/* 
 * Local Variables:
 * c-basic-offset:2
 * tab-width:2
 * indent-tabs-mode:nil
 * End:
 */
/*
 * Created on Jun 5, 2003
 *
 */
package com.sri.oaa2.test.icl;

import com.sri.oaa2.icl.*;

import junit.framework.TestCase;

/**
 * @author agno
 *
 */
public class EqualsTest extends TestCase {

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

  public void testAtomicEquals()
  {
    IclTerm i0 = new IclFloat(5.3);
    IclTerm i1 = new IclFloat(5.4);
    IclTerm i2 = new IclFloat(5.3);
    
    TestCase.assertTrue(!i0.equals((Object)i1));
    TestCase.assertEquals(i0, i2);
  }
  
  public void testCompositeEquals()
  {
    IclTerm t0 = IclTerm.fromString(true, "[a,b,c]");
    IclTerm t1 = IclTerm.fromString(true, "[a,b,c]");
    IclTerm t2 = IclTerm.fromString(true, "[a,b,c,d]");
    
    TestCase.assertTrue(!t0.equals((Object)t2));
    TestCase.assertEquals(t0, t1);
  }

  public void testFromStringConstrEquals()
  {
    TestCase.assertEquals(IclTerm.fromString(true,"A"), new IclVar("A"));
    TestCase.assertTrue(IclTerm.fromString(true,"A").equals(new IclVar("A")));

    TestCase.assertEquals(IclTerm.fromString(true,"a"), new IclStr("a"));
    TestCase.assertTrue(IclTerm.fromString(true,"a").equals(new IclStr("a")));

    TestCase.assertEquals(IclTerm.fromString(true,"4"), new IclInt(4));
    TestCase.assertTrue(IclTerm.fromString(true,"4").equals(new IclInt(4)));

    TestCase.assertEquals(IclTerm.fromString(true,"4.5"), new IclFloat(4.5));
    TestCase.assertTrue(IclTerm.fromString(true,"4.5").equals(new IclFloat(4.5)));

    TestCase.assertEquals(IclTerm.fromString(true,"hello(there)"), new IclStruct("hello", new IclStr("there")));
    TestCase.assertTrue(IclTerm.fromString(true,"hello(there)").equals(new IclStruct("hello", new IclStr("there"))));
  }
  
  public void testConstrEquals() 
  {
    TestCase.assertTrue((new IclInt(4)).equals(new IclInt(4)));
  }
}