[html5] r1348 - /

whatwg at whatwg.org whatwg at whatwg.org
Wed Mar 5 12:00:07 PST 2008


Author: ianh
Date: 2008-03-05 12:00:00 -0800 (Wed, 05 Mar 2008)
New Revision: 1348

Modified:
   index
   source
Log:
[act] (2) Revamp how end-of-file tokens work and how </body> is handled in conformance checkers.

Modified: index
===================================================================
--- index	2008-03-05 07:19:37 UTC (rev 1347)
+++ index	2008-03-05 20:00:00 UTC (rev 1348)
@@ -1683,10 +1683,7 @@
           "after after frameset" insertion mode</a>
         </ul>
 
-       <li><a href="#the-unexpected"><span class=secno>8.2.5 </span>The
-        unexpected end</a>
-
-       <li><a href="#the-end"><span class=secno>8.2.6 </span>The end</a>
+       <li><a href="#the-end"><span class=secno>8.2.5 </span>The end</a>
       </ul>
 
      <li><a href="#namespaces"><span class=secno>8.3 </span>Namespaces</a>
@@ -29867,7 +29864,7 @@
   <!-- next three paragraphs are similar to the navigate-text section,
   keep them in sync -->
 
-  <p>Then, the user agent must act as if it had <a href="#stops0" title="stop
+  <p>Then, the user agent must act as if it had <a href="#stops" title="stop
    parsing">stopped parsing</a>.
 
   <p>Upon creation of the <code>Document</code> object, the user agent must
@@ -29904,7 +29901,7 @@
   <!-- next three paragraphs are similar to the navigate-text section,
   keep them in sync -->
 
-  <p>Then, the user agent must act as if it had <a href="#stops0" title="stop
+  <p>Then, the user agent must act as if it had <a href="#stops" title="stop
    parsing">stopped parsing</a>.
 
   <p>Upon creation of the <code>Document</code> object, the user agent must
@@ -29938,7 +29935,7 @@
   keep them in sync -->
 
   <p>Once the page has been set up, the user agent must act as if it had <a
-   href="#stops0" title="stop parsing">stopped parsing</a>.
+   href="#stops" title="stop parsing">stopped parsing</a>.
 
   <p>Upon creation of the <code>Document</code> object, the user agent must
    run the <a href="#application3"
@@ -41371,23 +41368,16 @@
     <p>Then, switch the <a href="#insertion0">insertion mode</a> to "<a
      href="#before4" title="insertion mode: before html">before html</a>".</p>
 
-   <dt>A start tag token
+   <dt>Anything else
 
-   <dt>An end tag token
-
-   <dt>A character token that is not one of one of U+0009 CHARACTER
-    TABULATION, U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM
-    FEED (FF), <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
-
-   <dt>An end-of-file token
-
    <dd>
     <p><a href="#parse0">Parse error</a>.</p>
 
     <p>Set the document to <a href="#quirks">quirks mode</a>.</p>
 
-    <p>Then, switch the <a href="#insertion0">insertion mode</a> to "<a
-     href="#before4" title="insertion mode: before html">before html</a>".</p>
+    <p>Switch the <a href="#insertion0">insertion mode</a> to "<a
+     href="#before4" title="insertion mode: before html">before html</a>",
+     then reprocess the current token.</p>
   </dl>
 
   <h5 id=the-before><span class=secno>8.2.4.8. </span>The "<dfn id=before4
@@ -41435,16 +41425,8 @@
     <p>Switch the <a href="#insertion0">insertion mode</a> to "<a
      href="#before5" title="insertion mode: before head">before head</a>".</p>
 
-   <dt>A character token that is <em>not</em> one of U+0009 CHARACTER
-    TABULATION, U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM
-    FEED (FF), <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
+   <dt>Anything else
 
-   <dt>A start tag token
-
-   <dt>An end tag token
-
-   <dt>An end-of-file token
-
    <dd>
     <p>Create an <code><a href="#htmlelement">HTMLElement</a></code> node
      with the tag name <code><a href="#html">html</a></code>, in the <a
@@ -41457,7 +41439,8 @@
      algorithm</a> with no manifest.</p>
 
     <p>Switch the <a href="#insertion0">insertion mode</a> to "<a
-     href="#before5" title="insertion mode: before head">before head</a>".</p>
+     href="#before5" title="insertion mode: before head">before head</a>",
+     then reprocess the current token.</p>
 
     <p class=big-issue>Should probably make end tags be ignored, so that
      "</head><!-- --><html>" puts the comment before the root node
@@ -41477,11 +41460,6 @@
    handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -41536,12 +41514,8 @@
 
     <p class=big-issue>Do we really want to ignore end tags here?</p>
 
-   <dt>A character token that is <em>not</em> one of U+0009 CHARACTER
-    TABULATION, U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM
-    FEED (FF), <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
+   <dt>Anything else
 
-   <dt>Any other start tag token
-
    <dd>
     <p>Act as if a start tag token with the tag name "head" and no attributes
      had been seen, then reprocess the current token.</p>
@@ -41560,11 +41534,6 @@
    follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -41809,11 +41778,6 @@
    noscript</a>", tokens must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A DOCTYPE token
 
    <dd>
@@ -41878,11 +41842,6 @@
    as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -41961,11 +41920,6 @@
    follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token
 
    <dd>
@@ -42019,13 +41973,33 @@
      href="#stack">stack of open elements</a>. If it is not, add the
      attribute and its corresponding value to that element.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p>If there is a node in the <a href="#stack">stack of open elements</a>
+     that is not either a <code><a href="#dd">dd</a></code> element, a
+     <code><a href="#dt">dt</a></code> element, an <code><a
+     href="#li">li</a></code> element, a <code><a href="#p">p</a></code>
+     element, a <code><a href="#tbody">tbody</a></code> element, a <code><a
+     href="#td">td</a></code> element, a <code><a
+     href="#tfoot0">tfoot</a></code> element, a <code><a
+     href="#th">th</a></code> element, a <code><a
+     href="#thead0">thead</a></code> element, a <code><a
+     href="#tr">tr</a></code> element, the <code><a
+     href="#body0">body</a></code> element, or the <code><a
+     href="#html">html</a></code> element, then this is a <a
+     href="#parse0">parse error</a>.</p>
+    <!-- (some of those are
+    fragment cases) -->
+    <p><a href="#stops">Stop parsing</a>.</p>
+
    <dt>An end tag whose tag name is "body"
 
    <dd>
-    <p>If the second element in the <a href="#stack">stack of open
-     elements</a> is not a <code><a href="#body0">body</a></code> element,
-     this is a <a href="#parse0">parse error</a>. Ignore the token. (<a
-     href="#fragment">fragment case</a>)</p>
+    <p>If the <a href="#stack">stack of open elements</a> does not <a
+     href="#have-an" title="has an element in scope">have a <code>body</code>
+     element in scope</a>, this is a <a href="#parse0">parse error</a>;
+     ignore the token.</p>
 
     <p>Otherwise, if there is a node in the <a href="#stack">stack of open
      elements</a> that is not either a <code><a href="#dd">dd</a></code>
@@ -42040,9 +42014,11 @@
      href="#body0">body</a></code> element, or the <code><a
      href="#html">html</a></code> element, then this is a <a
      href="#parse0">parse error</a>.</p>
-
+    <!-- (some of those are fragment cases) -->
+    <!-- the insertion mode here is forcibly "in body". -->
     <p>Switch the <a href="#insertion0">insertion mode</a> to "<a
-     href="#after5" title="insertion mode: after body">after body</a>".</p>
+     href="#after5" title="insertion mode: after body">after body</a>".
+     Otherwise, ignore the token.</p>
 
    <dt>An end tag whose tag name is "html"
 
@@ -42959,11 +42935,6 @@
    must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -43103,6 +43074,11 @@
     <p>Pop that <code>input</code> element off the <a href="#stack">stack of
      open elements</a>.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#parse0">Parse error</a>. <a href="#stops">Stop parsing</a>.</p>
+
    <dt>Anything else
 
    <dd>
@@ -43234,11 +43210,6 @@
    group</a>", tokens must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -43591,11 +43562,6 @@
    must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token
 
    <dd>
@@ -43691,6 +43657,11 @@
     <p><a href="#parse0">Parse error</a>. Act as if an end tag with the tag
      name "select" had been seen, and reprocess the token.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#parse0">Parse error</a>. <a href="#stops">Stop parsing</a>.</p>
+
    <dt>Anything else
 
    <dd>
@@ -43742,11 +43713,6 @@
    as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -43789,6 +43755,11 @@
      href="#after7" title="insertion mode: after after body">after after
      body</a>".</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#stops">Stop parsing.</a></p>
+
    <dt>Anything else
 
    <dd>
@@ -43806,11 +43777,6 @@
    tokens must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -43875,6 +43841,11 @@
      href="#in-body" title="insertion mode: in body">in body</a>" <a
      href="#insertion0">insertion mode</a>.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#parse0">Parse error</a>. <a href="#stops">Stop parsing.</a></p>
+
    <dt>Anything else
 
    <dd>
@@ -43891,11 +43862,6 @@
   <!-- due to rules in the "in frameset" mode, this can't be entered in the fragment case -->
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops">Stop parsing, with prejudice.</a></p>
-
    <dt>A character token that is one of one of U+0009 CHARACTER TABULATION,
     U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
     <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE
@@ -43932,6 +43898,11 @@
      href="#after8" title="insertion mode: after after frameset">after after
      frameset</a>".</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#stops">Stop parsing.</a></p>
+
    <dt>Anything else
 
    <dd>
@@ -43951,11 +43922,6 @@
    must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops0">Stop parsing</a>.</p>
-
    <dt>A comment token
 
    <dd>
@@ -43976,6 +43942,11 @@
      href="#in-body" title="insertion mode: in body">in body</a>" <a
      href="#insertion0">insertion mode</a>.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#stops">Stop parsing</a>.</p>
+
    <dt>Anything else
 
    <dd>
@@ -43993,11 +43964,6 @@
    tokens must be handled as follows:
 
   <dl class=switch>
-   <dt>An end-of-file token
-
-   <dd>
-    <p><a href="#stops0">Stop parsing</a>.</p>
-
    <dt>A comment token
 
    <dd>
@@ -44018,6 +43984,11 @@
      href="#in-body" title="insertion mode: in body">in body</a>" <a
      href="#insertion0">insertion mode</a>.</p>
 
+   <dt>An end-of-file token
+
+   <dd>
+    <p><a href="#stops">Stop parsing</a>.</p>
+
    <dt>Anything else
 
    <dd>
@@ -44027,37 +43998,9 @@
      token.</p>
   </dl>
 
-  <h4 id=the-unexpected><span class=secno>8.2.5 </span>The unexpected end</h4>
+  <h4 id=the-end><span class=secno>8.2.5 </span>The end</h4>
 
-  <p>When the user agent is to <dfn id=stops title="stop parsing, with
-   prejudice">stops parsing, with prejudice</dfn>, the user agent must follow
-   the steps in this section.
-
-  <ol>
-   <li>
-    <p><a href="#generate">Generate implied end tags.</a></p>
-
-   <li>
-    <p>If there are more than two nodes on the <a href="#stack">stack of open
-     elements</a>, or if there are two nodes but the second node is not a
-     <code><a href="#body0">body</a></code> node, this is a <a
-     href="#parse0">parse error</a>.</p>
-
-    <p>Otherwise, if the parser was originally created as part of the <a
-     href="#html-fragment0">HTML fragment parsing algorithm</a>, and there's
-     more than one element in the <a href="#stack">stack of open
-     elements</a>, and the second node on the <a href="#stack">stack of open
-     elements</a> is not a <code><a href="#body0">body</a></code> node, then
-     this is a <a href="#parse0">parse error</a>. (<a
-     href="#fragment">fragment case</a>)</p>
-
-   <li>
-    <p><a href="#stops0">Stop parsing</a> (see the next section).
-  </ol>
-
-  <h4 id=the-end><span class=secno>8.2.6 </span>The end</h4>
-
-  <p>Once the user agent <dfn id=stops0 title="stop parsing">stops
+  <p>Once the user agent <dfn id=stops title="stop parsing">stops
    parsing</dfn> the document, the user agent must follow the steps in this
    section.
 

Modified: source
===================================================================
--- source	2008-03-05 07:19:37 UTC (rev 1347)
+++ source	2008-03-05 20:00:00 UTC (rev 1348)
@@ -38469,20 +38469,16 @@
 
    </dd>
 
-   <dt>A start tag token</dt>
-   <dt>An end tag token</dt>
-   <dt>A character token that is not one of one of U+0009 CHARACTER
-   TABULATION, U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C
-   FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE</dt>
-   <dt>An end-of-file token</dt>
+   <dt>Anything else</dt>
    <dd>
 
     <p><span>Parse error</span>.</p>
 
     <p>Set the document to <span>quirks mode</span>.</p>
 
-    <p>Then, switch the <span>insertion mode</span> to "<span
-    title="insertion mode: before html">before html</span>".</p>
+    <p>Switch the <span>insertion mode</span> to "<span
+    title="insertion mode: before html">before html</span>", then
+    reprocess the current token.</p>
 
    </dd>
 
@@ -38536,12 +38532,7 @@
 
    </dd>
 
-   <dt>A character token that is <em>not</em> one of U+0009 CHARACTER
-   TABULATION, U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C
-   FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE</dt>
-   <dt>A start tag token</dt>
-   <dt>An end tag token</dt>
-   <dt>An end-of-file token</dt>
+   <dt>Anything else</dt>
    <dd>
 
     <p>Create an <code>HTMLElement</code> node with the tag name
@@ -38554,7 +38545,8 @@
     selection algorithm</span> with no manifest.</p>
 
     <p>Switch the <span>insertion mode</span> to "<span
-    title="insertion mode: before head">before head</span>".</p>
+    title="insertion mode: before head">before head</span>", then
+    reprocess the current token.</p>
 
     <p class="big-issue">Should probably make end tags be ignored, so
     that "</head><!-- --><html>" puts the comment before the
@@ -38577,11 +38569,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -38643,10 +38630,7 @@
 
    </dd>
 
-   <dt>A character token that is <em>not</em> one of U+0009 CHARACTER
-   TABULATION, U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C
-   FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),--> or U+0020 SPACE</dt>
-   <dt>Any other start tag token</dt>
+   <dt>Anything else</dt>
    <dd>
 
     <p>Act as if a start tag token with the tag name "head" and no
@@ -38670,11 +38654,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -38930,11 +38909,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A DOCTYPE token</dt>
    <dd>
     <p><span>Parse error</span>. Ignore the token.</p>
@@ -39000,11 +38974,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -39091,11 +39060,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token</dt>
    <dd>
 
@@ -39153,26 +39117,46 @@
 
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+
+    <p>If there is a node in the <span>stack of open elements</span>
+    that is not either a <code>dd</code> element, a <code>dt</code>
+    element, an <code>li</code> element, a <code>p</code> element, a
+    <code>tbody</code> element, a <code>td</code> element, a
+    <code>tfoot</code> element, a <code>th</code> element, a
+    <code>thead</code> element, a <code>tr</code> element, the
+    <code>body</code> element, or the <code>html</code> element, then
+    this is a <span>parse error</span>.</p> <!-- (some of those are
+    fragment cases) -->
+
+    <p><span>Stop parsing</span>.</p>
+
+   </dd>
+
    <dt>An end tag whose tag name is "body"</dt>
    <dd>
 
-    <p>If the second element in the <span>stack of open
-    elements</span> is not a <code>body</code> element, this is a
-    <span>parse error</span>. Ignore the token.  (<span>fragment
-    case</span>)</p>
+    <p>If the <span>stack of open elements</span> does not <span
+    title="has an element in scope">have a <code>body</code> element
+    in scope</span>, this is a <span>parse error</span>; ignore the
+    token.</p>
 
     <p>Otherwise, if there is a node in the <span>stack of open
-    elements</span> that is not either a <code>dd</code> element,
-    a <code>dt</code> element, an <code>li</code> element, a
+    elements</span> that is not either a <code>dd</code> element, a
+    <code>dt</code> element, an <code>li</code> element, a
     <code>p</code> element, a <code>tbody</code> element, a
     <code>td</code> element, a <code>tfoot</code> element, a
     <code>th</code> element, a <code>thead</code> element, a
     <code>tr</code> element, the <code>body</code> element, or the
     <code>html</code> element, then this is a <span>parse
-    error</span>.</p>
+    error</span>.</p> <!-- (some of those are fragment cases) -->
 
+    <!-- the insertion mode here is forcibly "in body". -->
+
     <p>Switch the <span>insertion mode</span> to "<span
-    title="insertion mode: after body">after body</span>".</p>
+    title="insertion mode: after body">after body</span>". Otherwise,
+    ignore the token.</p>
 
    </dd>
 
@@ -40163,11 +40147,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -40322,6 +40301,11 @@
 
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Parse error</span>. <span>Stop parsing</span>.</p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
 
@@ -40452,11 +40436,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -40836,11 +40815,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token</dt>
    <dd>
     <p><span title="insert a character">Insert the token's
@@ -40951,6 +40925,11 @@
     name "select" had been seen, and reprocess the token.</p>
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Parse error</span>. <span>Stop parsing</span>.</p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
     <p><span>Parse error</span>. Ignore the token.</p>
@@ -41004,11 +40983,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -41053,6 +41027,11 @@
 
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Stop parsing.</span></p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
 
@@ -41072,11 +41051,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -41145,6 +41119,11 @@
     mode</span>.</p>
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Parse error</span>. <span>Stop parsing.</span></p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
     <p><span>Parse error</span>. Ignore the token.</p>
@@ -41161,11 +41140,6 @@
   <!-- due to rules in the "in frameset" mode, this can't be entered in the fragment case -->
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing, with prejudice.</span></p>
-   </dd>
-
    <dt>A character token that is one of one of U+0009
    CHARACTER TABULATION, U+000A LINE FEED (LF), U+000B LINE
    TABULATION, U+000C FORM FEED (FF), <!--U+000D CARRIAGE RETURN (CR),-->
@@ -41202,6 +41176,11 @@
     frameset</span>".</p>
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Stop parsing.</span></p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
     <p><span>Parse error</span>. Ignore the token.</p>
@@ -41222,11 +41201,6 @@
 
   <dl class="switch">
 
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing</span>.</p>
-   </dd>
-
    <dt>A comment token</dt>
    <dd>
     <p>Append a <code>Comment</code> node to the <code>Document</code>
@@ -41246,6 +41220,11 @@
     mode</span>.</p>
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Stop parsing</span>.</p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
     <p><span>Parse error</span>. Switch the <span>insertion mode</span>
@@ -41262,11 +41241,6 @@
   mode: after after frameset">after after frameset</span>", tokens must be handled as follows:</p>
 
   <dl class="switch">
-
-   <dt>An end-of-file token</dt>
-   <dd>
-    <p><span>Stop parsing</span>.</p>
-   </dd>
  
    <dt>A comment token</dt>
    <dd>
@@ -41287,6 +41261,11 @@
     mode</span>.</p>
    </dd>
 
+   <dt>An end-of-file token</dt>
+   <dd>
+    <p><span>Stop parsing</span>.</p>
+   </dd>
+
    <dt>Anything else</dt>
    <dd>
     <p><span>Parse error</span>. Switch the <span>insertion mode</span>
@@ -41297,39 +41276,6 @@
   </dl>
 
 
-  <h4>The unexpected end</h4>
-
-  <p>When the user agent is to <dfn title="stop parsing, with
-  prejudice">stops parsing, with prejudice</dfn>, the user agent must
-  follow the steps in this section.</p>
-
-  <ol>
-
-   <li>
-    <p><span>Generate implied end tags.</span></p>
-   </li>
-
-   <li>
-
-    <p>If there are more than two nodes on the <span>stack of open
-    elements</span>, or if there are two nodes but the second node is
-    not a <code>body</code> node, this is a <span>parse
-    error</span>.</p>
-
-    <p>Otherwise, if the parser was originally created as part of the
-    <span>HTML fragment parsing algorithm</span>, and there's more
-    than one element in the <span>stack of open elements</span>, and
-    the second node on the <span>stack of open elements</span> is not
-    a <code>body</code> node, then this is a <span>parse
-    error</span>. (<span>fragment case</span>)</p>
-
-   </li>
-
-   <li><p><span>Stop parsing</span> (see the next section).</p></li>
-
-  </ol>
-
-
   <h4>The end</h4>
 
   <p>Once the user agent <dfn title="stop parsing">stops parsing</dfn>




More information about the Commit-Watchers mailing list