Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / tools / resources / serialization / xml / JigXML.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/serialization/xml/JigXML.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/serialization/xml/JigXML.java
new file mode 100644 (file)
index 0000000..64b2d72
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/serialization/xml/JigXML.java
@@ -0,0 +1,69 @@
+// JXML.java\r
+// $Id: JigXML.java,v 1.1 2010/06/15 12:28:58 smhuang Exp $\r
+// (c) COPYRIGHT MIT, INRIA and Keio, 1999.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+package org.w3c.tools.resources.serialization.xml;\r
+\r
+/**\r
+ * @version $Revision: 1.1 $\r
+ * @author  Benoît Mahé (bmahe@w3.org)\r
+ */\r
+public interface JigXML {\r
+\r
+    public final String version = "1.0";\r
+    public static final String iversion = version.intern();\r
+\r
+    public final String dtd = "http://jigsaw.w3.org/JigXML/JigXML.dtd";\r
+    public static final String idtd = dtd.intern();\r
+\r
+    public final String ns = "http://jigsaw.w3.org/JigXML/JigXML1.0";\r
+    public static final String ins = ns.intern();\r
+\r
+    public final String JXML_TAG = "jigxml";\r
+    public static final String iJXML_TAG = JXML_TAG.intern();\r
+    \r
+    public final String RESOURCE_TAG = "resource";\r
+    public static final String iRESOURCE_TAG = RESOURCE_TAG.intern();\r
+\r
+    public final String DESCR_TAG = "description";\r
+    public static final String iDESCR_TAG = DESCR_TAG.intern();\r
+\r
+    public final String CHILDREN_TAG = "children";\r
+    public static final String iCHILDREN_TAG = CHILDREN_TAG.intern();\r
+\r
+    public final String CHILD_TAG = "child";\r
+    public static final String iCHILD_TAG = CHILD_TAG.intern();\r
+\r
+    public final String ATTRIBUTE_TAG = "attribute";\r
+    public static final String iATTRIBUTE_TAG = ATTRIBUTE_TAG.intern();\r
+\r
+    public final String ARRAY_TAG = "array";\r
+    public static final String iARRAY_TAG = ARRAY_TAG.intern();\r
+\r
+    public final String RESARRAY_TAG = "resourcearray";\r
+    public static final String iRESARRAY_TAG = RESARRAY_TAG.intern();\r
+\r
+    public final String INHERIT_TAG = "inherit";\r
+    public static final String iINHERIT_TAG = INHERIT_TAG.intern();\r
+\r
+    public final String IMPLEMENTS_TAG = "implements";\r
+    public static final String iIMPLEMENTS_TAG = IMPLEMENTS_TAG.intern();\r
+\r
+    public final String VALUE_TAG = "value";\r
+    public static final String iVALUE_TAG = VALUE_TAG.intern();\r
+\r
+    public final String LENGTH_ATTR = "length";\r
+    public static final String iLENGTH_ATTR = LENGTH_ATTR.intern();\r
+\r
+    public final String CLASS_ATTR = "class";\r
+    public static final String iCLASS_ATTR = CLASS_ATTR.intern();\r
+\r
+    public final String NAME_ATTR = "name";\r
+    public static final String iNAME_ATTR = NAME_ATTR.intern();\r
+\r
+    public final String FLAG_ATTR = "flag";\r
+    public static final String iFLAG_ATTR = FLAG_ATTR.intern();\r
+\r
+    public final String NULL = "@@NULL@@";\r
+    public static final String iNULL = NULL.intern();\r
+}\r