negativenumbertest.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.IclTerm;

import junit.framework.TestCase;

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

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

  public void testNegativeNumberCreation()
  {
    try {
      IclTerm t0 = IclTerm.fromString("-5");
      IclTerm t1 = IclTerm.fromString("-5.0");
      IclTerm t2 = IclTerm.fromString("5.0");
      
      TestCase.assertTrue(!(t0 == null));
      TestCase.assertTrue(!(t1 == null));
      TestCase.assertTrue(!(t2 == null));      
    }
    catch(Exception e) {
      e.printStackTrace();
      TestCase.assertTrue(false);
    }
  }
}