tagger benchmark

[IRC.git] / Robust / src / Benchmarks / mlp / tagger / mlp-java / Assert.java

diff --git a/Robust/src/Benchmarks/mlp/tagger/mlp-java/Assert.java b/Robust/src/Benchmarks/mlp/tagger/mlp-java/Assert.java
new file mode 100644 (file)
index 0000000..4a90163
--- /dev/null
+++ b/Robust/src/Benchmarks/mlp/tagger/mlp-java/Assert.java
@@ -0,0 +1,29 @@
+/**\r
+ * Assert class\r
+ * Provides assertion checking\r
+ *\r
+ * @author  Daniel Jackson\r
+ * @version 0, 07/03/01\r
+ */\r
+\r
+//package tagger;\r
+//import java.io.*;\r
+\r
+public class Assert {\r
+  //static PrintStream error_stream = Tagger.error_stream;\r
+\r
+  public static void assert_ (boolean cond) {\r
+    if (!cond) {\r
+      //error_stream.println ("Assertion failure");\r
+      System.out.println ("Assertion failure");\r
+      System.exit(-1);\r
+      // print stack trace\r
+    }\r
+  }\r
+\r
+  public static void unreachable () {\r
+    //error_stream.println ("Assertion failure");\r
+    System.out.println ("Assertion failure");\r
+    System.exit(-1);\r
+  }\r
+}\r