/[suikacvs]/markup/html/scripting-parser/parser.html

Diff of /markup/html/scripting-parser/parser.html

Parent Directory | Revision Log | View Patch Patch

-revision 1.15 by wakaba,
Tue Apr 29 03:29:41 2008 UTC
+revision 1.20 by wakaba,
Sat Sep 20 13:32:45 2008 UTC
 Line 83
        doc = new JSDocument (this);
        doc.manakaiIsHTML = true;
      }
+     this.nextToken = [];
      this.doc = doc;
      this.openElements = [doc];
      this.input = i;
-Line 92
+Line 93
    } // Parser
    Parser.prototype.getNextToken = function () {
+     if (this.nextToken.length) {
+       return this.nextToken.shift ();
+     }
      var p = this;
      var i = this.input;
      if (this.parseMode == 'cdata') {
-Line 146
+Line 151
      i.s = i.s.replace (/^<\/([^>]+)(?:>|$)/, function (s, e) {
        if (p.insertionPoint < s.length ||
            (p.insertionPoint <= s.length &&
-            s.substring (s.length - 1, 1) != '>')) {
+            s.substring (s.length - 1, s.length) != '>')) {
          token = {type: 'abort'};
          return s;
        }
-Line 158
+Line 163
      i.s = i.s.replace (/^<([^>]+)(?:>|$)/, function (s, e) {
        if (p.insertionPoint < s.length ||
            (p.insertionPoint <= s.length &&
-            s.substring (s.length - 1, 1) != '>')) {
+            s.substring (s.length - 1, s.length) != '>')) {
          token = {type: 'abort'};
          return s;
        }
-Line 221
+Line 226
        var token = this.getNextToken ();
        log ('token: ' + token.type + ' "' + token.value + '"');
+       if (this.cdataEndTagRequired) {
+         // Generic CDATA parsing algorithm
+         if (token.type != 'abort') {
+           // 7.
+           if (token.type == 'end-tag' && token.value == this.endTagName) {
+             // 7.1. Ignores it.
+             //
+           } else {
+             // 7.2. Parse error.
+             log ('Parse error: no </' + this.endTagName + '>');
+             this.nextToken.unshift (token);
+           }
+           this.cdataEndTagRequired = false;
+           continue;
+         }
+       }
        if (token.type == 'start-tag') {
          if (token.value == 'script') {
            // 1. Create an element for the token in the HTML namespace.
-Line 257
+Line 280
                if (!(token.type == 'end-tag' && token.value == 'script')) {
                  // 7.2. This is a parse error.
                  log ('Parse error: no </' + 'script>');
+                 this.nextToken.unshift (token);
                  // 7.3. Mark the script element as "already executed".
                  el.manakaiAlreadyExecuted = true;
-Line 271
+Line 295
            // 8.1. If the parser were originally created for the ...
            if (this.fragmentParsingMode) {
              // 8.2. Mark the script element as "already executed" and ...
-             el.alreadyExecuted = true;
+             el.manakaiAlreadyExecuted = true;
              continue;
            }
-Line 288
+Line 312
            oldInsertionPoint += this.insertionPoint;
            this.setInsertionPoint (oldInsertionPoint);
-           // 12. If there is a script that will execute as soon as ...
+           // 12. If there is a pending external script
-           while (this.scriptExecutedWhenParserResumes) {
+           while (this.pendingExternalScript) {
              // 12.1. If the tree construction stage is being called reentrantly
              if (this.reentrant) {
                log ('parse: abort (reentrance)');
-Line 299
+Line 323
              // 12.2. Otherwise
              } else {
                // 1.
-               var script = this.scriptExecutedWhenParserResumes;
+               var script = this.pendingExternalScript;
-               this.scriptExecutedWhenParserResumes = null;
+               this.pendingExternalScript = null;
                // 2. Pause until the script has completed loading.
                //
-Line 348
+Line 372
                // 6. Switched back to the PCDATA state.
                this.parseMode = 'pcdata';
+               if (token.type == 'abort') {
+                 this.cdataEndTagRequired = true;
+                 break;
+               }
                // 7.1. If the next token is not an end tag token with ...
                if (!(token.type == 'end-tag' &&
                      token.value == this.endTagName)) {
                  // 7.2. This is a parse error.
                  log ('Parse error: no </' + this.endTagName + '>');
+                 this.nextToken.unshift (token);
                  // 7.3. Mark the script element as "already executed".
                  el.manakaiAlreadyExecuted = true;
-Line 491
+Line 521
        var doc = this.ownerDocument || this;
        var p = doc._parser;
-       // 1. Script type
+       // 1.The script's type
+       //
+       // 2. The cript's character encoding
        //
-       // 2.1. If scripting is disabled
+       // 3.1. If without script
        //
        // 2.2. If the script element was created by an XML ... innerHTML ...
        //
        // 2.3. If the user agent does not support the scripting language ...
        //
-       // 2.4. If the script element has its "already executed" flag set
+       if (false) {
-       if (e.manakaiAlreadyExecuted) {
          // 2.5. Abort these steps at this point.
-         log ('Running a script: aborted (already executed)');
+         log ('Running a script: aborted (noscript)');
          logIndentLevel--;
          return e;
        }
-       // 3. Set the element's "already executed" flag.
+       // 4. Set the element's "already executed" flag.
        e.manakaiAlreadyExecuted = true;
-       // 4. If the element has a src attribute, then a load for ...
+       // 5. If the element has a src attribute, then a load for ...
        // TODO: load an external resource
        // 5. The first of the following options:
-       // 5.1.
        if (/* TODO: If the document is still being parsed && */
            e.defer && !e.async) {
+         // 6.1.
          p.scriptsExecutedAfterParsing.push (e);
          log ('Running a script: aborted (defer)');
        } else if (e.async && e.src != null) {
+         // 6.2.
          p.scriptsExecutedAsynchronously.push (e);
          log ('Running a script: aborted (async src)');
        } else if (e.async && e.src == null &&
                   p.scriptsExecutedAsynchronously.length > 0) {
+         // 6.3.
          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) {
+         // 6.4.
-           log ('Error: There is a script that will execute as soon as the parser resumes.');
+         if (p.pendingExternalScript) {
+           log ('Error: There is a pending external script.');
          }
-         p.scriptExecutedWhenParserResumes = e;
+         p.pendingExternalScript = e;
          log ('Running a script: aborted (src parser-inserted)');
        } else if (e.src != null) {
+         // 6.5.
          p.scriptsExecutedSoon.push (e);
          log ('Running a script: aborted (src)');
        } else {
+         // 6.6.
          executeScript (doc, e); // even if other scripts are already executing.
        }
-Line 568
+Line 604
      }
      // If the load was successful
-     log ('load event fired at the script element');
      if (true) {
      // Scripting is enabled, Document.designMode is disabled,
-Line 577
+Line 612
        parseAndRunScript (doc, s);
      }
+     log ('load event fired at the script element');
      log ('executing a script block: end');
    } // executeScript
-Line 734
+Line 771
          + p.input.s.substring (p.insertionPoint, p.input.s.length);
      p.insertionPoint += s.length;
-     // 3. If there is a script that will execute as soon as the parser resumes
+     // 3. If there is a pending external script
-     if (p.scriptExecutedAfterParserResumes) {
+     if (p.pendingExternalScript) {
        log ('document.write: processed later (there is an unprocessed <script src>)');
        logIndentLevel--;
        log ('document.write: return');
-Line 866 
 algorithm.  Especially, this parser:
+Line 903 
 algorithm.  Especially, this parser:
  algorithm, and so on.
  <li>Does not raise parse errors for invalid attribute specifications in start
  or end tags.
- <li>Does not support PCDATA elements (<code>title</code> and
+ <li>Does not support RCDATA elements (<code>title</code> and
  <code>textarea</code>).
- <li>Does not strip the first newline in <code>pre</code> elements.
+ <li>Does not strip the first newline in <code>pre</code>,
+ <code>listing</code>, and <code>textarea</code> elements.
  <li>Does not support <code>&lt;!--</code>..<code>--></code> parsing rule
- in <code>script</code> element.
+ in CDATA/RCDATA elements.
  <li>Does not support foreign (SVG or MathML) elements.
  <li>Only supports <code>script</code> <code>type</code>
  <code>text/javascript</code>.  <code>type</code> and <code>language</code>
-Line 912 
 when it is inserted into the document, n
+Line 950 
 when it is inserted into the document, n
  executed.  Currently it does not matter, since we don't allow dynamic
  modification to the |src| content/DOM attribute value yet. -->
+ <p>See also
+ <a href="http://suika.fam.cx/gate/2005/sw/Live%20Scripting%20HTML%20Parser">SuikaWiki:
+ Live Scripting HTML Parser</a>.
  </body>
  </html>
  <!-- $Date$ -->

 Legend:



Removed from v.1.15
 


changed lines


 
Added in v.1.20
 Legend:



Removed from v.1.15
 


changed lines


 
Added in v.1.20
-Removed from v.1.15
+Added in v.1.20

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24