[html5] r1362 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2008-03-07 18:11:26 -0800 (Fri, 07 Mar 2008)
New Revision: 1362

Modified:
   index
   source
Log:
[act] (0) Fix some bugs where an end-of-file token in the fragment case would either never terminate the parser or would terminate with parse errors that shouldn't be

Modified: index
===================================================================
--- index	2008-03-08 01:58:52 UTC (rev 1361)
+++ index	2008-03-08 02:11:26 UTC (rev 1362)
@@ -42048,7 +42048,7 @@
 
    <dt>Anything else
 
-   <dd>
+   <dd> <!-- can't get here with an EOF and a fragment case -->
     <p>Act as if an end tag token with the tag name "head" had been seen, and
      reprocess the current token.</p>
 
@@ -42118,7 +42118,7 @@
 
    <dt>Anything else
 
-   <dd>
+   <dd> <!-- can't get here with an EOF and a fragment case -->
     <p><a href="#parse0">Parse error</a>. Act as if an end tag with the tag
      name "noscript" had been seen and reprocess the current token.</p>
   </dl>
@@ -43552,6 +43552,15 @@
    <dd>
     <p><a href="#parse0">Parse error</a>. Ignore the token.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p>If the <a href="#current4">current node</a> is the root <code><a
+     href="#html">html</a></code> element, then <a href="#stops">stop
+     parsing</a>. (<a href="#fragment">fragment case</a>)</p>
+
+    <p>Otherwise, act as described in the "anything else" entry below.</p>
+
    <dt>Anything else
 
    <dd>
@@ -43949,8 +43958,15 @@
    <dt>An end-of-file token
 
    <dd>
-    <p><a href="#parse0">Parse error</a>. <a href="#stops">Stop parsing</a>.</p>
+    <p>If the <a href="#current4">current node</a> is not the root <code><a
+     href="#html">html</a></code> element, then this is a <a
+     href="#parse0">parse error.</a>.</p>
 
+    <p class=note>It can only be the <a href="#current4">current node</a> in
+     the <a href="#fragment">fragment case</a>.</p>
+
+    <p><a href="#stops">Stop parsing.</a></p>
+
    <dt>Anything else
 
    <dd>
@@ -44133,8 +44149,15 @@
    <dt>An end-of-file token
 
    <dd>
-    <p><a href="#parse0">Parse error</a>. <a href="#stops">Stop parsing.</a></p>
+    <p>If the <a href="#current4">current node</a> is not the root <code><a
+     href="#html">html</a></code> element, then this is a <a
+     href="#parse0">parse error.</a>.</p>
 
+    <p class=note>It can only be the <a href="#current4">current node</a> in
+     the <a href="#fragment">fragment case</a>.</p>
+
+    <p><a href="#stops">Stop parsing.</a></p>
+
    <dt>Anything else
 
    <dd>

Modified: source
===================================================================
--- source	2008-03-08 01:58:52 UTC (rev 1361)
+++ source	2008-03-08 02:11:26 UTC (rev 1362)
@@ -39116,6 +39116,8 @@
    <dt>Anything else</dt>
    <dd>
 
+    <!-- can't get here with an EOF and a fragment case -->
+
     <p>Act as if an end tag token with the tag name "head" had
     been seen, and reprocess the current token.</p>
 
@@ -39187,9 +39189,13 @@
 
    <dt>Anything else</dt>
    <dd>
+
+    <!-- can't get here with an EOF and a fragment case -->
+
     <p><span>Parse error</span>. Act as if an end tag with the tag
     name "noscript" had been seen and reprocess the current
     token.</p>
+
    </dd>
 
   </dl>
@@ -40719,6 +40725,18 @@
     <p><span>Parse error</span>. Ignore the token.</p>
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+
+    <p>If the <span>current node</span> is the root <code>html</code>
+    element, then <span>stop parsing</span>. (<span>fragment
+    case</span>)</p>
+
+    <p>Otherwise, act as described in the "anything else" entry
+    below.</p>
+
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
 
@@ -41155,7 +41173,16 @@
 
    <dt>An end-of-file token</dt>
    <dd>
-    <p><span>Parse error</span>. <span>Stop parsing</span>.</p>
+
+    <p>If the <span>current node</span> is not the root
+    <code>html</code> element, then this is a <span>parse
+    error.</span>.</p>
+
+    <p class="note">It can only be the <span>current node</span> in
+    the <span>fragment case</span>.</p>
+
+    <p><span>Stop parsing.</span></p>
+
    </dd>
 
    <dt>Anything else</dt>
@@ -41349,7 +41376,16 @@
 
    <dt>An end-of-file token</dt>
    <dd>
-    <p><span>Parse error</span>. <span>Stop parsing.</span></p>
+
+    <p>If the <span>current node</span> is not the root
+    <code>html</code> element, then this is a <span>parse
+    error.</span>.</p>
+
+    <p class="note">It can only be the <span>current node</span> in
+    the <span>fragment case</span>.</p>
+
+    <p><span>Stop parsing.</span></p>
+
    </dd>
 
    <dt>Anything else</dt>