--- markup/html/scripting-parser/parser.html	2008/04/27 10:34:18	1.10
+++ markup/html/scripting-parser/parser.html	2008/04/27 11:27:04	1.13
@@ -2,13 +2,20 @@
 <html lang=en>
 <head>
 <title>Live Scripting HTML Parser</title>
+<link rel=author href="http://suika.fam.cx/~wakaba/who?">
+<link rel=license href="http://suika.fam.cx/c/gnu/gpl"
+    title="GNU GPL2 or later">
 <style>
-  h1, h2 {
+  h1 {
+    margin: 0;
+    font-size: 150%;
+  } 
+  h2 {
     margin: 0;
     font-size: 100%;
   }
-  p, pre {
-    margin: 0;
+  p {
+    margin: 0 1em;
   }
   textarea {
     width: 100%;
@@ -79,6 +86,7 @@
     this.input = i;
     this.scriptsExecutedAfterParsing = [];
     this.scriptsExecutedSoon = [];
+    this.scriptsExecutedAsynchronously = [];
   } // Parser
 
   Parser.prototype.getNextToken = function () {
@@ -335,22 +343,42 @@
 
     // "When a script completes loading" rules start applying.
 
-    // List of scripts that will execute as soon as possible
-    for (var i = 0; i < this.scriptsExecutedSoon.length; i++) {
-      var e = this.scriptsExecutedSoon[i];
+    while (this.scriptsExecutedSoon.length > 0 ||
+           this.scriptsExecutedAsynchronously.length > 0) {
+      // Handle "list of scripts that will execute as soon as possible".
+      while (this.scriptsExecutedSoon.length > 0) {
+        var e = this.scriptsExecutedSoon.shift ();
+  
+        // If it has completed loading
+        log ('Execute an external script not inserted by parser...');
+        executeScript (this.doc, e);
+
+        // NOTE: It MAY be executed before the end of the parsing, according
+        // to the spec.
+        this.hasAsyncScript = true;
+      }
+
+      // Handle "list of scripts that will execute asynchronously".
+      while (this.scriptsExecutedAsynchronously.length > 0) {
+        var e = this.scriptsExecutedAsynchronously.shift ();
+
+        // Step 1.
+        // We assume that all scripts have been loaded at this time.
+  
+        // Step 2.
+        log ('Execute an asynchronous script...');
+        executeScript (this.doc, e);
+
+        // Step 3.
+        //
+ 
+        // Step 4.
+        //
 
-      // If it has completed loading
-      log ('Execute an external script not inserted by parser...');
-      executeScript (this.doc, e);
-
-      // NOTE: It MAY be executed before the end of the parsing, according
-      // to the spec.
-      this.hasAsyncScript = true;
+        this.hasAsyncScript = true;
+      }
     }
 
-    // TODO: Handles
-    // "list of scripts that will execute asynchronously"
-
     // Handle "list of scripts that will execute when the document has finished
     // parsing".
     var list = this.scriptsExecutedAfterParsing;
@@ -444,10 +472,13 @@
         p.scriptsExecutedAfterParsing.push (e);
         log ('Running a script: aborted (defer)');
       } else if (e.async && e.src != null) {
-        // TODO
-      } else if (e.async && e.src == null
-                 /* && list of scripts that will execute asynchronously is not empty */) {
-        // TODO
+        p.scriptsExecutedAsynchronously.push (e);
+        log ('Running a script: aborted (async src)');
+      } else if (e.async && e.src == null &&
+                 p.scriptsExecutedAsynchronously.length > 0) {
+        p.scriptsExecutedAsynchronously.push (e);
+        log ('Running a script: aborted (async)');
+        // ISSUE: What is the difference with the case above?
       } else if (e.src != null && e.manakaiParserInserted) {
         if (p.scriptExecutedWhenParserResumes) {
           log ('Error: There is a script that will execute as soon as the parser resumes.');
@@ -504,13 +535,9 @@
       var m;
       if (m = uri.match (/^javascript:\s*(?:'([^']*)'|"([^"]+)")\s*$/i)) {
         if (m[1]) {
-          return m[1].replace (/\\u([0-9A-F]{4})/g, function (s, v) {
-            return String.fromCharCode (parseInt ('0x' + v));
-          });
+          return unescapeJSLiteral (m[1]);
         } else if (m[2]) {
-          return m[2].replace (/\\u([0-9A-F]{4})/g, function (s, v) {
-            return String.fromCharCode (parseInt ('0x' + v));
-          });
+          return unescapeJSLiteral (m[2]);
         } else {
           return null;
         }
@@ -531,7 +558,7 @@
         matched = true;
         var args = [];
         t.replace (/('[^']*'|"[^"]*")/g, function (s, v) {
-          args.push (v.substring (1, v.length - 1));
+          args.push (unescapeJSLiteral (v.substring (1, v.length - 1)));
           return '';
         });
         doc.write.apply (doc, args);
@@ -540,7 +567,7 @@
       s = s.replace (/^\s*var\s+s\s*=\s*document\.createElement\s*\(\s*['"]script['"]\s*\)\s*;\s*s\.src\s*=\s*(?:'(javascript:[^']*)'|"(javascript:[^"]*)")\s*;\s*document\.documentElement\.appendChild\s*\(\s*s\s*\)\s*;\s*/,
       function (s, t, u) {
         matched = true;
-        var args = [t ? t : u];
+        var args = [unescapeJSLiteral (t ? t : u)];
         doc._insertExternalScript.apply (doc, args);
         return '';
       });
@@ -552,6 +579,12 @@
     }
   } // parseAndRunScript
 
+  function unescapeJSLiteral (s) {
+    return s.replace (/\\u([0-9A-Fa-f]{4})/g, function (t, v) {
+      return String.fromCharCode (parseInt ('0x' + v));
+    });
+  } // unescapeJSLiteral
+
   function JSText (data) {
     this.data = data;
   } // JSText
@@ -788,14 +821,42 @@
 <code>src</code> attribute of the <code>script</code> element.  In addition, 
 the <abbr title="Uniform Resource Identifiers">URI</abbr> must be conform to 
 the regular expression <code>^javascript:\s*(?:"[^"]*"|'[^']*')\s*$</code>.
-<li>Only supports <code>\u<var>HHHH</var></code> escapes only in
-<code>javascript:</code> URI.
+<li>Only supports <code>\u<var>HHHH</var></code> escapes in JavaScript 
+string literals.
+<li>Does not handle <i>stop parsing</i> phase correctly if the document is 
+replaced by <code>document.open ()</code> call.  In other word, delayed 
+(deferred or asynchronous) script executions and event firings might be
+treated in a wrong way if a <code>document.open ()</code> invocation
+is implicitly done by <code>document.write ()</code> in a delayed script.
 </ul>
 
 <p>For some reason, this parser does not work in browsers that do
 not support JavaScript 1.5.
 
-<!-- TODO: license -->
+<!-- TODO: |src| attribute value should refer the value at the time
+when it is inserted into the document, not the value when the script is 
+executed.  Currently it does not matter, since we don't allow dynamic
+modification to the |src| content/DOM attribute value yet. -->
 
 </body>
-</html>
\ No newline at end of file
+</html>
+<!-- $Date: 2008/04/27 11:27:04 $ -->
+<!--
+
+Copyright 2008 Wakaba <w@suika.fam.cx>
+
+This program is free software; you can redistribute it and/or
+modify it under the terms of the GNU General Public License
+as published by the Free Software Foundation; either version 2
+of the License, or (at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program; if not, write to the Free Software
+Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
+
+-->
