Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/FrameArrayAttribute.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/FrameArrayAttribute.java
new file mode 100644 (file)
index 0000000..5b80243
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/FrameArrayAttribute.java
@@ -0,0 +1,28 @@
+// FrameArrayAttribute.java\r
+// $Id: FrameArrayAttribute.java,v 1.1 2010/06/15 12:20:21 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 ;\r
+\r
+public class FrameArrayAttribute extends Attribute {\r
+\r
+    public boolean checkValue(Object value) {\r
+       return value instanceof ResourceFrame[];\r
+    }\r
+\r
+    public String stringify(Object value) {\r
+       throw new RuntimeException("Can't stringify FrameArrayAttribute");\r
+    }\r
+\r
+    public FrameArrayAttribute(String name, ResourceFrame def[], int flags) {\r
+       super(name, def, flags);\r
+       this.type="[Lorg.w3c.tools.resources.ResourceFrame;".intern();\r
+    }\r
+\r
+    public FrameArrayAttribute() {\r
+       super();\r
+       this.type="[Lorg.w3c.tools.resources.ResourceFrame;".intern();\r
+    }\r
+\r
+}\r