Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / util / Trace.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/Trace.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/Trace.java
new file mode 100644 (file)
index 0000000..0a5c67e
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/Trace.java
@@ -0,0 +1,31 @@
+package org.w3c.util;\r
+\r
+public class Trace extends Throwable {\r
+\r
+  public static void showTrace() {\r
+    try {\r
+      throw new Trace("");\r
+    } catch (Trace t) {\r
+      System.out.print("\n");\r
+      t.printStackTrace();\r
+    }    \r
+  }\r
+\r
+  public static void showTrace(String title) {\r
+    try {\r
+      throw new Trace("\n\""+title+"\"");\r
+    } catch (Trace t) {\r
+      System.out.print("\n");\r
+      t.printStackTrace();\r
+    }\r
+  }\r
+\r
+  public Trace() {\r
+    super();\r
+  }\r
+\r
+  public Trace(String s) {\r
+    super(s);\r
+  }\r
+\r
+}\r