Robust/src/Benchmarks/mlp/tagger/mlp-smaller/Assert.java

   1 /**\r
   2  * Assert class\r
   3  * Provides assertion checking\r
   4  *\r
   5  * @author  Daniel Jackson\r
   6  * @version 0, 07/03/01\r
   7  */\r
   8 \r
   9 //package tagger;\r
  10 //import java.io.*;\r
  11 \r
  12 public class Assert {\r
  13   //static PrintStream error_stream = Tagger.error_stream;\r
  14 \r
  15   public static void assert_ (boolean cond) {\r
  16     if (!cond) {\r
  17       //error_stream.println ("Assertion failure");\r
  18       System.out.println ("Assertion failure");\r
  19       System.exit(-1);\r
  20       // print stack trace\r
  21     }\r
  22   }\r
  23 \r
  24   public static void unreachable () {\r
  25     //error_stream.println ("Assertion failure");\r
  26     System.out.println ("Assertion failure");\r
  27     System.exit(-1);\r
  28   }\r
  29 }\r