Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/Status.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/Status.java
new file mode 100644 (file)
index 0000000..824a338
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/Status.java
@@ -0,0 +1,16 @@
+// Status.java\r
+// $Id: Status.java,v 1.1 2010/06/15 12:25:40 smhuang Exp $\r
+// (c) COPYRIGHT MIT, INRIA and Keio, 2000.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.util ;\r
+\r
+public interface Status {\r
+\r
+    /**\r
+     * Give the status of this class as a partial HTML text which will be added\r
+     * into a block level element\r
+     * @return a String, the generated HTML\r
+     */\r
+    public String getHTMLStatus();\r
+}\r