Adding JMCR-Stable version
[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / www / webdav / DAVEntityTag.java
diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/webdav/DAVEntityTag.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/webdav/DAVEntityTag.java
new file mode 100644 (file)
index 0000000..f6feca5
--- /dev/null
@@ -0,0 +1,35 @@
+// DAVEntityTag.java\r
+// $Id: DAVEntityTag.java,v 1.1 2010/06/15 12:27:43 smhuang Exp $\r
+// (c) COPYRIGHT MIT, INRIA and Keio, 2000.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+package org.w3c.www.webdav;\r
+\r
+import org.w3c.www.http.HttpEntityTag;\r
+\r
+/**\r
+ * @version $Revision: 1.1 $\r
+ * @author  Benoît Mahé (bmahe@w3.org)\r
+ */\r
+public class DAVEntityTag extends HttpEntityTag {\r
+\r
+    boolean isnot = false;\r
+\r
+    public boolean isNot() {\r
+       return isnot;\r
+    }\r
+\r
+    public String toString() {\r
+       if (isnot) {\r
+           return "Not "+toExternalForm();\r
+       } else {\r
+           return toExternalForm();\r
+       }\r
+    }\r
+\r
+    public DAVEntityTag(byte raw[], int off, int len, boolean isnot) {\r
+       super();\r
+       addBytes(raw, off, len);\r
+       this.isnot = isnot;\r
+    }\r
+    \r
+}\r