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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.3 by wakaba, Sun Apr 20 10:02:43 2008 UTC revision 1.13 by wakaba, Sun Apr 27 11:27:04 2008 UTC
# Line 1  Line 1 
1  <!DOCTYPE HTML>  <!DOCTYPE HTML>
2  <html lang=en>  <html lang=en>
3  <head>  <head>
4  <title>Demo of HTML5 Parsing Algorithm with Scripting Enabled</title>  <title>Live Scripting HTML Parser</title>
5    <link rel=author href="http://suika.fam.cx/~wakaba/who?">
6    <link rel=license href="http://suika.fam.cx/c/gnu/gpl"
7        title="GNU GPL2 or later">
8  <style>  <style>
9      h1 {
10        margin: 0;
11        font-size: 150%;
12      }
13      h2 {
14        margin: 0;
15        font-size: 100%;
16      }
17      p {
18        margin: 0 1em;
19      }
20    textarea {    textarea {
21       display: block;      width: 100%;
22       width: 80%;      -width: 99%;
23       margin-left: auto;      height: 10em;
      margin-right: auto;  
      min-height: 20em;  
24    }    }
25    output {    output {
26      display: block;      display: block;
27      font-family: monospace;      font-family: monospace;
28      white-space: pre;      white-space: -moz-pre-wrap;
29        white-space: pre-wrap;
30    }    }
31  </style>  </style>
32  <script>  <script>
33      var delayedUpdater = 0;
34    
35    function update () {    function update () {
36      document.logElement.textContent = '';      if (delayedUpdater) {
37      var p = new Parser (new InputStream (document.sourceElement.value));        clearTimeout (delayedUpdater);
38      p.parse ();        delayedUpdater = 0;
39      log (dumpTree (p.doc, ''));      }
40        delayedUpdater = setTimeout (update2, 100);
41    } // update    } // update
42    
43      function update2 () {
44        var v = document.sourceElement.value;
45        if (v != document.previousSourceText) {
46          document.previousSourceText = v;
47          document.links['permalink'].href
48              = location.pathname + '?s=' + encodeURIComponent (v);
49          document.links['ldvlink'].href
50              = 'http://software.hixie.ch/utilities/js/live-dom-viewer/?'
51              + encodeURIComponent (v);
52    
53          document.logElement.textContent = '';
54          var p = new Parser (new InputStream (v));
55          var doc = p.doc;
56          p.parse ();
57          
58          log (dumpTree (doc, ''));
59          
60          if (p.hasAsyncScript) {
61            log ('Some script codes are executed asynchronously; it means that the document might be rendered in different ways depending on the network condition and other factors');
62          }
63        }
64      } // update2
65    
66      var logIndentLevel = 0;
67    function log (s) {    function log (s) {
68        for (var i = 0; i < logIndentLevel; i++) {
69          s = '  ' + s;
70        }
71      document.logElement.appendChild (document.createTextNode (s + "\n"));      document.logElement.appendChild (document.createTextNode (s + "\n"));
72    } // log    } // log
73    
# Line 32  Line 75 
75      this.s = s;      this.s = s;
76    } // InputStream    } // InputStream
77    
78    function Parser (i) {    function Parser (i, doc) {
79      this.parseMode = 'pcdata';      this.parseMode = 'pcdata';
80      this.doc = new JSDocument (this);      if (!doc) {
81      this.openElements = [this.doc];        doc = new JSDocument (this);
82      this.in = i;        doc.manakaiIsHTML = true;
83        }
84        this.doc = doc;
85        this.openElements = [doc];
86        this.input = i;
87        this.scriptsExecutedAfterParsing = [];
88        this.scriptsExecutedSoon = [];
89        this.scriptsExecutedAsynchronously = [];
90    } // Parser    } // Parser
91    
92    Parser.prototype.getNextToken = function () {    Parser.prototype.getNextToken = function () {
93      var p = this;      var p = this;
94      var i = this.in;      var i = this.input;
95      if (this.parseMode == 'script') {      if (this.parseMode == 'script') {
96        var token;        var token;
97        if (p.insertionPoint <= 0) {        if (p.insertionPoint <= 0) {
98          return {type: 'abort'};          return {type: 'abort'};
99        }        }
100        i.s = i.s.replace (/^([\s\S]+?)<\/[Ss][Cc][Rr][Ii][Pp][Tt]>/,        i.s = i.s.replace (/^([^<]+)/,
101        function (s, t) {        function (s, t) {
102          if (0 < p.insertionPoint && p.insertionPoint < t.length) {          if (0 < p.insertionPoint && p.insertionPoint < t.length) {
103            token = {type: 'char', value: t.substring (0, p.insertionPoint)};            token = {type: 'char', value: t.substring (0, p.insertionPoint)};
104            var ip = p.insertionPoint;            var ip = p.insertionPoint;
105            p.insertionPoint = 0;            p.insertionPoint = 0;
106            return t.substring (ip, t.length) +            return t.substring (ip, t.length);
               s.substring (s.length - 9, s.length);  
107          }          }
108          token = {type: 'char', value: t};          token = {type: 'char', value: t};
109          p.insertionPoint -= s.length;          p.insertionPoint -= t.length;
110          return '<' + '/script>';          return '';
111        });        });
112        if (token) return token;        if (token) return token;
113        i.s = i.s.replace (/^<\/[Ss][Cc][Rr][Ii][Pp][Tt]>/, function (s) {        i.s = i.s.replace (/^<\/[Ss][Cc][Rr][Ii][Pp][Tt]>/, function (s) {
114          if (s.length < p.insertionPoint) {          if (p.insertionPoint < s.length) {
115            token = {type: 'abort'};            token = {type: 'abort'};
116            return s;            return s;
117          }          }
# Line 71  Line 120 
120          return '';          return '';
121        });        });
122        if (token) return token;        if (token) return token;
123          var m;
124          if ((p.insertionPoint < '</script'.length) &&
125              (m = i.s.match (/^<\/([SCRIPTscript]+)/))) {
126            var v = m[1].substring (0, p.insertionPoint).toLowerCase ();
127            if (v == 'script'.substring (0, p.insertionPoint - '</'.length)) {
128              return {type: 'abort'};
129            }
130          }
131          i.s = i.s.replace (/^</,
132          function (s) {
133            token = {type: 'char', value: s};
134            p.insertionPoint -= s.length;
135            return '';
136          });
137          if (token) return token;
138        return {type: 'eof'};        return {type: 'eof'};
139      }      }
140    
141      var token;      var token;
142      i.s = i.s.replace (/^<\/([^>]+)>/, function (s, e) {      i.s = i.s.replace (/^<\/([^>]+)(?:>|$)/, function (s, e) {
143        if (p.insertionPoint < s.length) {        if (p.insertionPoint < s.length ||
144              (p.insertionPoint <= s.length &&
145               s.substring (s.length - 1, 1) != '>')) {
146          token = {type: 'abort'};          token = {type: 'abort'};
147          return s;          return s;
148        }        }
# Line 85  Line 151 
151        return '';        return '';
152      });      });
153      if (token) return token;      if (token) return token;
154      i.s = i.s.replace (/^<([^>]+)>/, function (s, e) {      i.s = i.s.replace (/^<([^>]+)(?:>|$)/, function (s, e) {
155        if (p.insertionPoint < s.length) {        if (p.insertionPoint < s.length ||
156              (p.insertionPoint <= s.length &&
157               s.substring (s.length - 1, 1) != '>')) {
158          token = {type: 'abort'};          token = {type: 'abort'};
159          return s;          return s;
160        }        }
161        token = {type: 'start-tag', value: e.toLowerCase ()};        var tagName;
162          var attrs = {};
163          e = e.replace (/^[\S]+/, function (v) {
164            tagName = v.toLowerCase ();
165            return '';
166          });
167          while (true) {
168            var m = false;
169            e = e.replace (/^\s*([^\s=]+)\s*(?:=\s*(?:"([^"]*)"|'([^']*)'|([^"'\s]*)))?/,
170            function (x, attrName, attrValue1, attrValue2, attrValue3) {
171              v = attrValue1 || attrValue2 || attrValue3;
172              v = v.replace (/&quot;/g, '"').replace (/&apos;/g, "'")
173                  .replace (/&amp;/g, '&');
174              attrs[attrName.toLowerCase ()] = v;
175              m = true;
176              return '';
177            });
178            if (!m) break;
179          }
180          if (e.length) {
181            log ('Broken start tag: "' + e + '"');
182          }
183          token = {type: 'start-tag', value: tagName, attrs: attrs};
184        p.insertionPoint -= s.length;        p.insertionPoint -= s.length;
185        return '';        return '';
186      });      });
# Line 120  Line 210 
210    } // getNextToken    } // getNextToken
211    
212    Parser.prototype.parse = function () {    Parser.prototype.parse = function () {
213      log ('start parsing');      logIndentLevel++;
214        log ('parse: start');
215    
216      while (true) {      while (true) {
217        var token = this.getNextToken ();        var token = this.getNextToken ();
# Line 130  Line 221 
221          if (token.value == 'script') {          if (token.value == 'script') {
222            // 1. Create an element for the token in the HTML namespace.            // 1. Create an element for the token in the HTML namespace.
223            var el = new JSElement (this.doc, token.value);            var el = new JSElement (this.doc, token.value);
224              if (token.attrs.async != null) el.async = true;
225              if (token.attrs.defer != null) el.defer = true;
226              if (token.attrs.src != null) el.src = token.attrs.src;
227    
228            // 2. Mark the element as being "parser-inserted".            // 2. Mark the element as being "parser-inserted".
229            el.manakaiParserInserted = true;            el.manakaiParserInserted = true;
# Line 185  Line 279 
279            this.openElements[this.openElements.length - 1].appendChild (el);            this.openElements[this.openElements.length - 1].appendChild (el);
280    
281            // 11. Let the insertion point have the value of the old ...            // 11. Let the insertion point have the value of the old ...
282    
283              oldInsertionPoint += this.insertionPoint;
284            this.setInsertionPoint (oldInsertionPoint);            this.setInsertionPoint (oldInsertionPoint);
285    
286            // 12. If there is a script that will execute as soon as ...            // 12. If there is a script that will execute as soon as ...
287                        while (this.scriptExecutedWhenParserResumes) {
288                // 12.1. If the tree construction stage is being called reentrantly
289                if (this.reentrant) {
290                  log ('parse: abort (reentrance)');
291                  logIndentLevel--;
292                  return;
293    
294                // 12.2. Otherwise
295                } else {
296                  // 1.
297                  var script = this.scriptExecutedWhenParserResumes;
298                  this.scriptExecutedWhenParserResumes = null;
299    
300                  // 2. Pause until the script has completed loading.
301                  //
302    
303                  // 3. Let the insertion point to just before the next input char.
304                  this.setInsertionPoint (0);
305    
306                  // 4. Execute the script.
307                  executeScript (this.doc, script);
308    
309                  // 5. Let the insertion point be undefined again.
310                  this.setInsertionPoint (undefined);
311    
312                  // 6. If there is once again a script that will execute ...
313                  //
314                }
315              }
316          } else {          } else {
317            var el = new JSElement (this.doc, token.value);            var el = new JSElement (this.doc, token.value);
318            this.openElements[this.openElements.length - 1].appendChild (el);            this.openElements[this.openElements.length - 1].appendChild (el);
# Line 209  Line 332 
332          break;          break;
333        } else if (token.type == 'abort') {        } else if (token.type == 'abort') {
334          log ('parse: abort');          log ('parse: abort');
335            logIndentLevel--;
336          return;          return;
337        }        }
338      }      }
339    
340      log ('stop parsing');      log ('stop parsing');
341    
342        // readyState = 'interactive'
343    
344        // "When a script completes loading" rules start applying.
345    
346        while (this.scriptsExecutedSoon.length > 0 ||
347               this.scriptsExecutedAsynchronously.length > 0) {
348          // Handle "list of scripts that will execute as soon as possible".
349          while (this.scriptsExecutedSoon.length > 0) {
350            var e = this.scriptsExecutedSoon.shift ();
351      
352            // If it has completed loading
353            log ('Execute an external script not inserted by parser...');
354            executeScript (this.doc, e);
355    
356            // NOTE: It MAY be executed before the end of the parsing, according
357            // to the spec.
358            this.hasAsyncScript = true;
359          }
360    
361          // Handle "list of scripts that will execute asynchronously".
362          while (this.scriptsExecutedAsynchronously.length > 0) {
363            var e = this.scriptsExecutedAsynchronously.shift ();
364    
365            // Step 1.
366            // We assume that all scripts have been loaded at this time.
367      
368            // Step 2.
369            log ('Execute an asynchronous script...');
370            executeScript (this.doc, e);
371    
372            // Step 3.
373            //
374    
375            // Step 4.
376            //
377    
378            this.hasAsyncScript = true;
379          }
380        }
381    
382        // Handle "list of scripts that will execute when the document has finished
383        // parsing".
384        var list = this.scriptsExecutedAfterParsing;
385        while (list.length > 0) {
386          // TODO: break unless completed loading
387    
388          // Step 1.
389          //
390    
391          // Step 2. and Step 3.
392          log ('Executing a |defer|red script...');
393          executeScript (this.doc, list.shift ());
394    
395          // Step 4.
396        }
397    
398        log ('DOMContentLoaded event fired');
399    
400        // "delays tha load event" things has completed:
401        // readyState = 'complete'
402        log ('load event fired');
403    
404        logIndentLevel--;
405    } // parse    } // parse
406    
407    Parser.prototype.setInsertionPoint = function (ip) {    Parser.prototype.setInsertionPoint = function (ip) {
408      if (ip == undefined || ip == null || isNaN (ip)) {      if (ip == undefined || ip == null || isNaN (ip)) {
409        log ('insertion point: set to undefined');        log ('insertion point: set to undefined');
410        this.insertionPoint = undefined;        this.insertionPoint = undefined;
411        } else if (ip == this.input.s.length) {
412          log ('insertion point: end of file');
413          this.insertionPoint = ip;
414      } else {      } else {
415        log ('insertion point: set to ' + ip +        log ('insertion point: set to ' + ip +
416             ' (before "' + this.in.s.substring (0, 10) + '")');             ' (before "' + this.input.s.substring (0, 10) + '")');
417        this.insertionPoint = ip;        this.insertionPoint = ip;
418      }      }
419    }; // setInsertionPoint    }; // setInsertionPoint
# Line 244  Line 435 
435      e.parentNode = this;      e.parentNode = this;
436    
437      if (e.localName == 'script') {      if (e.localName == 'script') {
438        log ('start running a script');        logIndentLevel++;
439          log ('Running a script: start');
440    
441        var doc = this.ownerDocument || this;        var doc = this.ownerDocument || this;
442        var p = doc._parser;        var p = doc._parser;
# Line 261  Line 453 
453        // 2.4. If the script element has its "already executed" flag set        // 2.4. If the script element has its "already executed" flag set
454        if (e.manakaiAlreadyExecuted) {        if (e.manakaiAlreadyExecuted) {
455          // 2.5. Abort these steps at this point.          // 2.5. Abort these steps at this point.
456          log ('running a script: aborted');          log ('Running a script: aborted');
457            logIndentLevel--;
458          return e;          return e;
459        }        }
460    
# Line 276  Line 469 
469        // 5.1.        // 5.1.
470        if (/* TODO: If the document is still being parsed && */        if (/* TODO: If the document is still being parsed && */
471            e.defer && !e.async) {            e.defer && !e.async) {
472          // TODO          p.scriptsExecutedAfterParsing.push (e);
473            log ('Running a script: aborted (defer)');
474        } else if (e.async && e.src != null) {        } else if (e.async && e.src != null) {
475          // TODO          p.scriptsExecutedAsynchronously.push (e);
476        } else if (e.async && e.src == null          log ('Running a script: aborted (async src)');
477                   /* && list of scripts that will execute asynchronously is not empty */) {        } else if (e.async && e.src == null &&
478          // TODO                   p.scriptsExecutedAsynchronously.length > 0) {
479            p.scriptsExecutedAsynchronously.push (e);
480            log ('Running a script: aborted (async)');
481            // ISSUE: What is the difference with the case above?
482        } else if (e.src != null && e.manakaiParserInserted) {        } else if (e.src != null && e.manakaiParserInserted) {
483          // TODO          if (p.scriptExecutedWhenParserResumes) {
484              log ('Error: There is a script that will execute as soon as the parser resumes.');
485            }
486            p.scriptExecutedWhenParserResumes = e;
487            log ('Running a script: aborted (src parser-inserted)');
488        } else if (e.src != null) {        } else if (e.src != null) {
489          // TODO          p.scriptsExecutedSoon.push (e);
490            log ('Running a script: aborted (src)');
491        } else {        } else {
492          executeScript (doc, e); // even if other scripts are already executing.          executeScript (doc, e); // even if other scripts are already executing.
493        }        }
494    
495        log ('end running a script');        log ('Running a script: end');
496          logIndentLevel--;
497      }      }
498    
499      return e;      return e;
# Line 299  Line 502 
502    function executeScript (doc, e) {    function executeScript (doc, e) {
503      log ('executing a script block: start');      log ('executing a script block: start');
504    
505      // If the load resulted in an error, then ... firing an error event ...      var s;
506        if (e.src != null) {
507          s = getExternalScript (e.src);
508    
509          // If the load resulted in an error, then ... firing an error event ...
510          if (s == null) {
511            log ('error event fired at the script element');
512            return;
513          }
514    
515          log ('External script loaded: "' + s + '"');
516        } else {
517          s = e.text;
518        }
519    
520      // If the load was successful      // If the load was successful
521      log ('load event fired at the script element');      log ('load event fired at the script element');
# Line 308  Line 524 
524      // Scripting is enabled, Document.designMode is disabled,      // Scripting is enabled, Document.designMode is disabled,
525      // Document is the active document in its browsing context      // Document is the active document in its browsing context
526    
       var s;  
       if (e.src != null) {  
         // TODO: from external file  
       } else {  
         s = e.text;  
       }  
   
527        parseAndRunScript (doc, s);        parseAndRunScript (doc, s);
528      }      }
529    
530      log ('executing a script block: end');      log ('executing a script block: end');
531    } // executeScript    } // executeScript
532    
533      function getExternalScript (uri) {
534        if (uri.match (/^javascript:/i)) {
535          var m;
536          if (m = uri.match (/^javascript:\s*(?:'([^']*)'|"([^"]+)")\s*$/i)) {
537            if (m[1]) {
538              return unescapeJSLiteral (m[1]);
539            } else if (m[2]) {
540              return unescapeJSLiteral (m[2]);
541            } else {
542              return null;
543            }
544          } else {
545            log ('Complex javascript: URI is not supported: <' + uri + '>');
546            return null;
547          }
548        } else {
549          log ('URI scheme not supported: <' + uri + '>');
550          return null;
551        }
552      } // getExternalScript
553    
554    function parseAndRunScript (doc, s) {    function parseAndRunScript (doc, s) {
555      while (true) {      while (true) {
556        var matched = false;        var matched = false;
# Line 328  Line 558 
558          matched = true;          matched = true;
559          var args = [];          var args = [];
560          t.replace (/('[^']*'|"[^"]*")/g, function (s, v) {          t.replace (/('[^']*'|"[^"]*")/g, function (s, v) {
561            args.push (v.substring (1, v.length - 1));            args.push (unescapeJSLiteral (v.substring (1, v.length - 1)));
562            return '';            return '';
563          });          });
564          doc.write.apply (doc, args);          doc.write.apply (doc, args);
565          return '';          return '';
566        });        });
567          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*/,
568          function (s, t, u) {
569            matched = true;
570            var args = [unescapeJSLiteral (t ? t : u)];
571            doc._insertExternalScript.apply (doc, args);
572            return '';
573          });
574        if (s == '') break;        if (s == '') break;
575        if (!matched) {        if (!matched) {
576          log ('Script parse error: "' + s + '"');          log ('Script parse error: "' + s + '"');
# Line 342  Line 579 
579      }      }
580    } // parseAndRunScript    } // parseAndRunScript
581    
582      function unescapeJSLiteral (s) {
583        return s.replace (/\\u([0-9A-Fa-f]{4})/g, function (t, v) {
584          return String.fromCharCode (parseInt ('0x' + v));
585        });
586      } // unescapeJSLiteral
587    
588    function JSText (data) {    function JSText (data) {
589      this.data = data;      this.data = data;
590    } // JSText    } // JSText
# Line 357  Line 600 
600      }      }
601    }; // manakaiAppendText    }; // manakaiAppendText
602    
603      JSDocument.prototype.open = function () {
604        // Two or fewer arguments
605    
606        // Step 1.
607        var type = arguments[0] || 'text/html';
608        
609        // Step 2.
610        var replace = arguments[1] == 'replace';
611    
612        // Step 3.
613        if (this._parser &&
614            !this._parser.scriptCreated &&
615            this._parser.input.insertionPoint != undefined) {
616          log ('document.open () in parsing mode is ignored');
617          return this;
618        }
619    
620        // Step 4.
621        log ('onbeforeunload event fired');
622        log ('onunload event fired');
623    
624        // Step 5.
625        if (this._parser) {
626          // Discard the parser.
627        }
628    
629        // Step 6.
630        log ('document cleared by document.open ()');
631        this.childNodes = [];
632    
633        // Step 7.
634        this._parser = new Parser (new InputStream (''), this);
635        this._parser.scriptCreated = true;
636    
637        // Step 8.
638        this.manakaiIsHTML = true;
639    
640        // Step 9.
641        // If not text/html, ...
642    
643        // Step 10.
644        if (!replace) {
645          // History      
646        }
647    
648        // Step 11.
649        this._parser.setInsertionPoint (this._parser.input.s.length);
650    
651        // Step 12.
652        return this;
653      }; // document.open
654    
655    JSDocument.prototype.write = function () {    JSDocument.prototype.write = function () {
656        logIndentLevel++;
657    
658      var p = this._parser;      var p = this._parser;
659    
660      // 1. If the insertion point is undefined, the open() method must be ...      // 1. If the insertion point is undefined, the open() method must be ...
661      if (p.insertionPoint == NaN || p.insertionPoint == undefined) {      if (isNaN (p.insertionPoint) || p.insertionPoint == undefined) {
662        // TODO: open ()        this.open ();
663          p = this._parser;
664      }      }
665    
666      // 2. ... inserted into the input stream just before the insertion point.      // 2. ... inserted into the input stream just before the insertion point.
667      var s = Array.join (arguments, '');      var s = Array.join (arguments, '');
668      log ('document.write: insert "' + s + '"' +      log ('document.write: insert "' + s + '"' +
669           ' before "' + p.in.s.substring (p.insertionPoint, p.insertionPoint + 10) + '"');           ' before "' +
670      p.in.s = p.in.s.substring (0, p.insertionPoint) + s           p.input.s.substring (p.insertionPoint, p.insertionPoint + 10) + '"');
671          + p.in.s.substring (p.insertionPoint, p.in.s.length);      p.input.s = p.input.s.substring (0, p.insertionPoint) + s
672            + p.input.s.substring (p.insertionPoint, p.input.s.length);
673      p.insertionPoint += s.length;      p.insertionPoint += s.length;
674    
675      // 3. If there is a script that will execute as soon as the parser resumes      // 3. If there is a script that will execute as soon as the parser resumes
676      // TODO      if (p.scriptExecutedAfterParserResumes) {
677          log ('document.write: processed later (there is an unprocessed <script src>)');
678          logIndentLevel--;
679          return;
680        }
681    
682      // 4. Process the characters that were inserted, ...      // 4. Process the characters that were inserted, ...
683        var originalReentrant = p.reentrant;
684        p.reentrant = true;
685      p.parse ();      p.parse ();
686        p.reentrant = originalReentrant;
687        // TODO: "Abort the processing of any nested invokations of the tokeniser,
688        // yielding control back to the caller." (<script> parsing).  Do we need
689        // to do something here?
690    
691      // 5. Return      // 5. Return
692      log ('document.write: return');      log ('document.write: return');
693    
694        logIndentLevel--;
695      return;      return;
696    }; // document.write    }; // document.write
697    
698      JSDocument.prototype._insertExternalScript = function (uri) {
699        var s = new JSElement (this, 'script');
700        s.src = uri;
701        this.documentElement.appendChild (s);
702      }; // _insertExternalScript
703    
704      JSDocument.prototype.__defineGetter__ ('documentElement', function () {
705        var cn = this.childNodes;
706        for (var i = 0; i < cn.length; i++) {
707          if (cn[i] instanceof JSElement) {
708            return cn[i]
709          }
710        }
711        return null;
712      });
713    
714    JSElement.prototype.__defineGetter__ ('text', function () {    JSElement.prototype.__defineGetter__ ('text', function () {
715      var r = '';      var r = '';
716      for (var i = 0; i < this.childNodes.length; i++) {      for (var i = 0; i < this.childNodes.length; i++) {
# Line 400  Line 727 
727        var node = n.childNodes[i];        var node = n.childNodes[i];
728        if (node instanceof JSElement) {        if (node instanceof JSElement) {
729          r += '| ' + indent + node.localName + '\n';          r += '| ' + indent + node.localName + '\n';
730            if (node.async) r += '| ' + indent + '  async=""\n';
731            if (node.defer) r += '| ' + indent + '  defer=""\n';
732            if (node.src != null) {
733              r += '| ' + indent + '  src="' + node.src + '"\n';
734            }
735          r += dumpTree (node, indent + '  ');          r += dumpTree (node, indent + '  ');
736        } else if (node instanceof JSText) {        } else if (node instanceof JSText) {
737          r += '| ' + indent + '"' + node.data + '"\n';          r += '| ' + indent + '"' + node.data + '"\n';
# Line 413  Line 745 
745  </head>  </head>
746  <body onload="  <body onload="
747    document.sourceElement = document.getElementsByTagName ('textarea')[0];    document.sourceElement = document.getElementsByTagName ('textarea')[0];
748    
749      var q = location.search;
750      if (q != null) {
751        q = q.substring (1).split (/;/);
752        for (var i = 0; i < q.length; i++) {
753          var v = q[i].split (/=/, 2);
754          v[0] = decodeURIComponent (v[0]);
755          v[1] = decodeURIComponent (v[1] || '');
756          if (v[0] == 's') {
757            document.sourceElement.value = v[1];
758          }
759        }
760      }
761    
762    document.logElement = document.getElementsByTagName ('output')[0];    document.logElement = document.getElementsByTagName ('output')[0];
763    update ();    update ();
764  ">  ">
765    <h1>Live Scripting <abbr title="Hypertext Markup Language">HTML</abbr>
766    Parser</h1>
767    
768  <textarea onchange=" update () ">&lt;html>  <h2>Markup to test
769    (<a href=data:, id=permalink rel=bookmark>permalink</a>,
770    <a href="http://software.hixie.ch/utilities/js/live-dom-viewer/"
771        id=ldvlink>Live <abbr title="Document Object Model">DOM</abbr>
772        Viewer</a>)</h2>
773    <p>
774    <textarea onkeydown=" update () " onchange=" update () " oninput=" update () ">&lt;html>
775  &lt;head>&lt;/head>&lt;body>  &lt;head>&lt;/head>&lt;body>
776  &lt;p>  &lt;p>
777  &lt;script>  &lt;script>
# Line 426  document.write ('aaaaaaa&lt;/p>&lt;scrip Line 780  document.write ('aaaaaaa&lt;/p>&lt;scrip
780  &lt;p>  &lt;p>
781  </textarea>  </textarea>
782    
783  <output></output>  <h2 id=log>Log</h2>
784    <p><output></output>
785    
786    <h2 id=notes>Notes</h2>
787    
788    <p>This is a <em>simplified</em> implementation of
789    <a href="http://www.whatwg.org/specs/web-apps/current-work/#parsing">HTML5
790    Parsing Algorithm</a>.  It only implements script-related part of the
791    algorithm.  Especially, this parser:
792    <ul>
793    <li>Does not support <code>DOCTYPE</code> and comment tokens.
794    <li>Does not support entities except for <code>&amp;quot;</code>,
795    <code>&amp;apos;</code>, and <code>&amp;amp;</code> in <code>script</code>
796    <code>src</code> attribute value.
797    <li>Does not support omissions of start or end tags, the <abbr>AAA</abbr>
798    algorithm, and so on.
799    <li>Does not raise parse errors for invalid attribute specifications in start
800    or end tags.
801    <li>Does not support CDATA/PCDATA element other than <code>script</code>.
802    <li>Does not support <code>&lt;!--</code>..<code>--></code> parsing rule
803    in <code>script</code> element.
804    <li>Does not support foreign (SVG or MathML) elements.
805    <li>Only supports <code>script</code> <code>type</code>
806    <code>text/javascript</code>.  <code>type</code> and <code>language</code>
807    attributes are ignored.
808    <li>Only supports limited statements.  It must consist of zero or more
809    of statements looking similar to the following statements, possibly
810    introduced, followed, or separated by white space characters:
811      <ul>
812      <li><code>document.write ("<var>string</var>", ["<var>string</var>", ...]);</code>.
813      <li><code>var s = document.createElement ("script");
814                s.src = "<var>string</var>";
815                document.documentElement.appendChild (s);</code>
816      </ul>
817    Note that strings may be delimited by <code>'</code>s instead of
818    <code>"</code>s.
819    <li>Only supports <code>javascript:</code>
820    <abbr title="Uniform Resourace Identifiers">URI</abbr> scheme in the
821    <code>src</code> attribute of the <code>script</code> element.  In addition,
822    the <abbr title="Uniform Resource Identifiers">URI</abbr> must be conform to
823    the regular expression <code>^javascript:\s*(?:"[^"]*"|'[^']*')\s*$</code>.
824    <li>Only supports <code>\u<var>HHHH</var></code> escapes in JavaScript
825    string literals.
826    <li>Does not handle <i>stop parsing</i> phase correctly if the document is
827    replaced by <code>document.open ()</code> call.  In other word, delayed
828    (deferred or asynchronous) script executions and event firings might be
829    treated in a wrong way if a <code>document.open ()</code> invocation
830    is implicitly done by <code>document.write ()</code> in a delayed script.
831    </ul>
832    
833    <p>For some reason, this parser does not work in browsers that do
834    not support JavaScript 1.5.
835    
836    <!-- TODO: |src| attribute value should refer the value at the time
837    when it is inserted into the document, not the value when the script is
838    executed.  Currently it does not matter, since we don't allow dynamic
839    modification to the |src| content/DOM attribute value yet. -->
840    
841  </body>  </body>
 </html>  
842    </html>
843    <!-- $Date$ -->
844    <!--
845    
846    Copyright 2008 Wakaba <w@suika.fam.cx>
847    
848    This program is free software; you can redistribute it and/or
849    modify it under the terms of the GNU General Public License
850    as published by the Free Software Foundation; either version 2
851    of the License, or (at your option) any later version.
852    
853    This program is distributed in the hope that it will be useful,
854    but WITHOUT ANY WARRANTY; without even the implied warranty of
855    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
856    GNU General Public License for more details.
857    
858    You should have received a copy of the GNU General Public License
859    along with this program; if not, write to the Free Software
860    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
861    
862    -->
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.13
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24