Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigadm / editors / PropertyFeeder.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadm/editors/PropertyFeeder.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadm/editors/PropertyFeeder.java
new file mode 100644 (file)
index 0000000..8685fa4
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadm/editors/PropertyFeeder.java
@@ -0,0 +1,41 @@
+// PropertyFeeder.java\r
+// $Id: PropertyFeeder.java,v 1.1 2010/06/15 12:22:46 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1997.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigadm.editors ;\r
+\r
+import org.w3c.jigadm.RemoteResourceWrapper;\r
+\r
+import java.util.Hashtable;\r
+import java.util.Properties;\r
+import java.util.StringTokenizer;\r
+\r
+public class PropertyFeeder implements EditorFeeder {\r
+\r
+    public static final String FEEDER_DATA_P = "feeder.data";\r
+\r
+    String[] s = null;\r
+\r
+    public String[] getDefaultItems() {\r
+       return s;\r
+    }\r
+\r
+    protected String[] getStringArray(Properties p, String name) {\r
+       String v = (String) p.get(name);\r
+       if ( v == null )\r
+           return new String[0];\r
+       // Parse the property value:\r
+       StringTokenizer st    = new StringTokenizer(v, "|");\r
+       int             len   = st.countTokens();\r
+       String          ret[] = new String[len];\r
+       for (int i = 0 ; i < ret.length ; i++) {\r
+           ret[i] = st.nextToken();\r
+       }\r
+       return ret;\r
+    }\r
+\r
+    public void initialize (RemoteResourceWrapper rrw, Properties p) {\r
+       s = getStringArray(p, FEEDER_DATA_P);\r
+    }\r
+}\r