Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/ArrayAttribute.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/ArrayAttribute.java
new file mode 100644 (file)
index 0000000..a0f134d
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/ArrayAttribute.java
@@ -0,0 +1,46 @@
+// ArrayAttribute.java\r
+// $Id: ArrayAttribute.java,v 1.1 2010/06/15 12:20:19 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;\r
+\r
+/**\r
+ * @version $Revision: 1.1 $\r
+ * @author  Benoît Mahé (bmahe@w3.org)\r
+ */\r
+abstract public class ArrayAttribute extends Attribute {\r
+\r
+    /**\r
+     * Unpickle an attribute array from a string array.\r
+     * @param array the String array\r
+     * @return a Object array\r
+     */\r
+    public abstract Object unpickle(String array[]);\r
+\r
+    /**\r
+     * Pickle an attribute array into a String array.\r
+     * @param array the attribute array\r
+     * @return a String array\r
+     */\r
+    public abstract String[] pickle(Object array);\r
+\r
+    public String stringify(Object value) {\r
+       String array[] = pickle(value);\r
+       String string  = ""; \r
+       for (int i = 0 ; i < array.length ; i++) {\r
+           if (i != 0)\r
+               string += " | "+array[i];\r
+           else\r
+               string = array[i];\r
+       }\r
+       return string;\r
+    }\r
+    public ArrayAttribute(String name, Object def, int flags) {\r
+       super(name, def, flags);\r
+    }\r
+\r
+    public ArrayAttribute() {\r
+       super();\r
+    }\r
+\r
+}\r