Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigsaw / html / HtmlScript.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/html/HtmlScript.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/html/HtmlScript.java
new file mode 100644 (file)
index 0000000..dafd5de
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/html/HtmlScript.java
@@ -0,0 +1,62 @@
+// HtmlScript.java\r
+// $Id: HtmlScript.java,v 1.1 2010/06/15 12:29:36 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.jigsaw.html ;\r
+\r
+/**\r
+ * a sample Script class for HTML documents\r
+ */\r
+\r
+public class HtmlScript {\r
+    String          lang = null;\r
+    StringBuffer    script = null;\r
+\r
+    /**\r
+     * set the type of script used\r
+     * @param script the type\r
+     */\r
+\r
+    public void setLanguage(String lang)\r
+    {\r
+       this.lang = lang;\r
+    }\r
+\r
+    /**\r
+     * append a string to the script buffer\r
+     * @param str1 A string to be append\r
+     */\r
+\r
+    public void append(String str1)\r
+    {\r
+       if(script == null)\r
+           script = new StringBuffer(str1);\r
+       else\r
+           script.append(str1);\r
+    }\r
+\r
+    /**\r
+     * genereate a String representation that can be\r
+     * append in a HTML document\r
+     */\r
+\r
+    public String toString()\r
+    {\r
+       if(script == null)\r
+           return "";\r
+       return "<SCRIPT LANGUAGE=\"" + lang.toString() + "\">\n"\r
+              + script.toString() + "\n</SCRIPT>\n" ;\r
+    }\r
+\r
+    public HtmlScript(String language, String script)\r
+    {\r
+       setLanguage(language);\r
+       append(script);\r
+    }\r
+\r
+    public HtmlScript(String script)\r
+    {\r
+       append(script);\r
+    }\r
+}\r