AllTests.java

package javax.safetycritical.test.safelet;

import java.util.Enumeration;

import javax.scj.util.Const;

import org.jmlspecs.utils.JmlAssertionError;

import unitTest.TestCase;
import unitTest.TestFailure;
import unitTest.TestResult;
import unitTest.TestSuite;

public class AllTests
{
  static final TestResult result = new TestResult();
  
  static final String name = "Safelet";
  
  public static void main (String[] args)
  {
	Const.setDefaultErrorReporter();
	  
    TestSuite suite = new TestSuite();
    
    //suite.addTest(test_Safelet2);
    
    suite.run(result);

    printResult();
  }

  private static void printResult() {
  	System.out.println("\nTest of " + name + ":");
  	System.out.println("    Test cases:  " + result.runCount());
  	System.out.println("    Test errors: " + result.errorCount());
  	System.out.println("    JML errors:  " + result.JMLerrorCount());

  	if (result.errorCount() > 0) {
  		System.out.println("\nTest errors are in:");

  		for (Enumeration<TestFailure> e = result.errors(); e.hasMoreElements();) {
  			System.out.println("" + e.nextElement());
  		}
  	}
  	if (result.JMLerrorCount() > 0) {
  		System.out.println("\nJML errors are in:");

  		for (Enumeration<TestFailure> e = result.JMLerrors(); e.hasMoreElements();) {
  			System.out.println("" + e.nextElement());
  		}
  	}
  
}
  
//    public static TestCase test_Safelet2 = new TestSafelet2(name)
//    {
//      public void runTest ()
//      {
//        int i = 1;
//        try
//        {        
//          for ( ; i <= TestSafelet2.testCount; i++)
//            test(i);
//        }
//        catch (JmlAssertionError e) { 
//          AllTests.result.addJMLError(this, e); 
//          this.setCaseNumber(i);}
//        catch (Throwable e) { 
//          AllTests.result.addError(this, e); 
//          this.setCaseNumber(i);}
//      }
//    };
  
}