Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/upgrade/IntegerAttribute.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/upgrade/IntegerAttribute.java
new file mode 100644 (file)
index 0000000..6f43ad9
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/upgrade/IntegerAttribute.java
@@ -0,0 +1,69 @@
+// IntegerAttribute.java\r
+// $Id: IntegerAttribute.java,v 1.1 2010/06/15 12:22:49 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1996.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.tools.resources.upgrade ;\r
+\r
+import java.io.DataInputStream;\r
+import java.io.DataOutputStream;\r
+import java.io.IOException;\r
+\r
+/**\r
+ * The generic description of an IntegerAttribute.\r
+ */\r
+\r
+public class IntegerAttribute extends Attribute {\r
+\r
+    /**\r
+     * Is the given object a valid IntegerAttribute value ?\r
+     * @param obj The object to test.\r
+     * @return A boolean <strong>true</strong> if okay.\r
+     */\r
+\r
+    public boolean checkValue(Object obj) {\r
+       return (obj instanceof Integer) || (obj == null) ;\r
+    }\r
+\r
+    /**\r
+     * Get the number of bytes required to save that attribute value.\r
+     * @param The value about to be pickled.\r
+     * @return The number of bytes needed to pickle that value.\r
+     */\r
+\r
+    public final int getPickleLength(Object value) {\r
+       return 4;\r
+    }\r
+\r
+    /**\r
+     * Pickle an integer to the given output stream.\r
+     * @param out The output stream to pickle to.\r
+     * @param obj The object to pickle.\r
+     * @exception IOException If some IO error occured.\r
+     */\r
+\r
+    public void pickle(DataOutputStream out, Object i) \r
+       throws IOException\r
+    {\r
+       out.writeInt(((Integer) i).intValue()) ;\r
+    }\r
+\r
+    /**\r
+     * Unpickle an integer from the given input stream.\r
+     * @param in The input stream to unpickle from.\r
+     * @return An instance of Integer.\r
+     * @exception IOException If some IO error occured.\r
+     */\r
+\r
+    public Object unpickle (DataInputStream in) \r
+       throws IOException\r
+    {\r
+       return new Integer(in.readInt()) ;\r
+    }\r
+\r
+    public IntegerAttribute(String name, Integer def, Integer flags) {\r
+       super(name, def, flags) ;\r
+       this.type = "java.lang.Integer";\r
+    }\r
+\r
+}\r