html/scripting-parser/parser.html

<!DOCTYPE HTML>
<html lang=en>
<head>
<title>Live Scripting HTML Parser</title>
<style>
  h1, h2 {
    margin: 0;
    font-size: 100%;
  }
  p, pre {
    margin: 0;
  }
  textarea {
    width: 100%;
    -width: 99%;
    height: 10em;
  }
  output {
    display: block;
    font-family: monospace;
    white-space: -moz-pre-wrap;
    white-space: pre-wrap;
  }
</style>
<script>
  var delayedUpdater = 0;

  function update () {
    if (delayedUpdater) {
      clearTimeout (delayedUpdater);
      delayedUpdater = 0;
    }
    delayedUpdater = setTimeout (update2, 100);
  } // update

  function update2 () {
    var v = document.sourceElement.value;
    if (v != document.previousSourceText) {
      document.previousSourceText = v;
      document.links['permalink'].href
          = location.pathname + '?s=' + encodeURIComponent (v);
      document.links['ldvlink'].href
          = 'http://software.hixie.ch/utilities/js/live-dom-viewer/?'
          + encodeURIComponent (v);

      document.logElement.textContent = '';
      var p = new Parser (new InputStream (v));
      var doc = p.doc;
      p.parse ();
      log (dumpTree (doc, ''));
    }
  } // update2

  var logIndentLevel = 0;
1	wakaba	1.1	<!DOCTYPE HTML>
2			<html lang=en>
3			<head>
4	wakaba	1.8	<title>Live Scripting HTML Parser</title>
5	wakaba	1.1	<style>
6	wakaba	1.7	h1, h2 {
7			margin: 0;
8			font-size: 100%;
9			}
10			p, pre {
11			margin: 0;
12			}
13	wakaba	1.1	textarea {
14	wakaba	1.7	width: 100%;
15			-width: 99%;
16			height: 10em;
17	wakaba	1.1	}
18			output {
19			display: block;
20			font-family: monospace;
21	wakaba	1.4	white-space: -moz-pre-wrap;
22			white-space: pre-wrap;
23	wakaba	1.1	}
24			</style>
25			<script>
26	wakaba	1.7	var delayedUpdater = 0;
27
28	wakaba	1.1	function update () {
29	wakaba	1.7	if (delayedUpdater) {
30			clearTimeout (delayedUpdater);
31			delayedUpdater = 0;
32			}
33			delayedUpdater = setTimeout (update2, 100);
34			} // update
35
36			function update2 () {
37			var v = document.sourceElement.value;
38	wakaba	1.8	if (v != document.previousSourceText) {
39			document.previousSourceText = v;
40			document.links['permalink'].href
41			= location.pathname + '?s=' + encodeURIComponent (v);
42			document.links['ldvlink'].href
43			= 'http://software.hixie.ch/utilities/js/live-dom-viewer/?'
44			+ encodeURIComponent (v);
45
46			document.logElement.textContent = '';
47			var p = new Parser (new InputStream (v));
48			var doc = p.doc;
49			p.parse ();
50			log (dumpTree (doc, ''));
51			}
52	wakaba	1.7	} // update2
53	wakaba	1.1
54	wakaba	1.6	var logIndentLevel = 0;