[html5] r7568 - [e] (0) remove old algorithm no longer used Fixing https://www.w3.org/Bugs/Publi [...]

whatwg at whatwg.org whatwg at whatwg.org
Wed Dec 5 12:55:15 PST 2012


Author: ianh
Date: 2012-12-05 12:55:14 -0800 (Wed, 05 Dec 2012)
New Revision: 7568

Modified:
   complete.html
   index
   source
Log:
[e] (0) remove old algorithm no longer used
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=20235
Affected topics: HTML

Modified: complete.html
===================================================================
--- complete.html	2012-12-05 20:53:19 UTC (rev 7567)
+++ complete.html	2012-12-05 20:55:14 UTC (rev 7568)
@@ -6973,71 +6973,9 @@
 
    <li><p>Return <var title="">tokens</var>.</li>
 
-  </ol><p>When a user agent has to <dfn id=remove-a-token-from-a-string>remove a token from a string</dfn>,
-  it must use the following algorithm:</p>
+  </ol></div>
 
-  <ol><li><p>Let <var title="">input</var> be the string being
-   modified.</li>
 
-   <li><p>Let <var title="">token</var> be the token being removed. It
-   will not contain any <a href=#space-character title="space character">space
-   characters</a>.</li>
-
-   <li><p>Let <var title="">output</var> be the output string,
-   initially empty.</li>
-
-   <li><p>Let <var title="">position</var> be a pointer into <var title="">input</var>, initially pointing at the start of the
-   string.</li>
-
-   <li><p><i>Loop</i>: If <var title="">position</var> is beyond the
-   end of <var title="">input</var>, abort these steps.</li>
-
-   <li><p>If the character at <var title="">position</var> is a
-   <a href=#space-character>space character</a>:</p>
-
-    <ol><li><p>Append the character at <var title="">position</var> to
-     the end of <var title="">output</var>.</li>
-
-     <li><p>Advance <var title="">position</var> so it points at the
-     next character in <var title="">input</var>.</li>
-
-     <li><p>Return to the step labeled <i>loop</i>.</li>
-
-    </ol></li>
-
-   <li><p>Otherwise, the character at <var title="">position</var> is
-   the first character of a token. <a href=#collect-a-sequence-of-characters>Collect a sequence of
-   characters</a> that are not <a href=#space-character title="space character">space
-   characters</a>, and let that be <var title="">s</var>.</li>
-
-   <li><p>If <var title="">s</var> is exactly equal to <var title="">token</var> (this is a <a href=#case-sensitive>case-sensitive</a>
-   comparison), then:</p>
-
-    <ol><li><p><a href=#skip-whitespace>Skip whitespace</a> (in <var title="">input</var>).</li>
-
-     <li><p>Remove any <a href=#space-character title="space character">space
-     characters</a> currently at the end of <var title="">output</var>.</li>
-
-     <li><p>If <var title="">position</var> is not past the end of
-     <var title="">input</var>, and <var title="">output</var> is not
-     the empty string, append a single U+0020 SPACE character at the
-     end of <var title="">output</var>.</li>
-
-    </ol></li>
-
-   <li><p>Otherwise, append <var title="">s</var> to the end of <var title="">output</var>.</li>
-
-   <li><p>Return to the step labeled <i>loop</i>.</li>
-
-  </ol><p class=note>This causes any occurrences of the token to be
-  removed from the string, and any spaces that were surrounding the
-  token to be collapsed to a single space, except at the start and end
-  of the string, where such spaces are removed.</p>
-
-  </div>
-
-
-
   <h4 id=comma-separated-tokens><span class=secno>2.5.8 </span>Comma-separated tokens</h4>
 
   <p>A <dfn id=set-of-comma-separated-tokens>set of comma-separated tokens</dfn> is a string containing

Modified: index
===================================================================
--- index	2012-12-05 20:53:19 UTC (rev 7567)
+++ index	2012-12-05 20:55:14 UTC (rev 7568)
@@ -6973,71 +6973,9 @@
 
    <li><p>Return <var title="">tokens</var>.</li>
 
-  </ol><p>When a user agent has to <dfn id=remove-a-token-from-a-string>remove a token from a string</dfn>,
-  it must use the following algorithm:</p>
+  </ol></div>
 
-  <ol><li><p>Let <var title="">input</var> be the string being
-   modified.</li>
 
-   <li><p>Let <var title="">token</var> be the token being removed. It
-   will not contain any <a href=#space-character title="space character">space
-   characters</a>.</li>
-
-   <li><p>Let <var title="">output</var> be the output string,
-   initially empty.</li>
-
-   <li><p>Let <var title="">position</var> be a pointer into <var title="">input</var>, initially pointing at the start of the
-   string.</li>
-
-   <li><p><i>Loop</i>: If <var title="">position</var> is beyond the
-   end of <var title="">input</var>, abort these steps.</li>
-
-   <li><p>If the character at <var title="">position</var> is a
-   <a href=#space-character>space character</a>:</p>
-
-    <ol><li><p>Append the character at <var title="">position</var> to
-     the end of <var title="">output</var>.</li>
-
-     <li><p>Advance <var title="">position</var> so it points at the
-     next character in <var title="">input</var>.</li>
-
-     <li><p>Return to the step labeled <i>loop</i>.</li>
-
-    </ol></li>
-
-   <li><p>Otherwise, the character at <var title="">position</var> is
-   the first character of a token. <a href=#collect-a-sequence-of-characters>Collect a sequence of
-   characters</a> that are not <a href=#space-character title="space character">space
-   characters</a>, and let that be <var title="">s</var>.</li>
-
-   <li><p>If <var title="">s</var> is exactly equal to <var title="">token</var> (this is a <a href=#case-sensitive>case-sensitive</a>
-   comparison), then:</p>
-
-    <ol><li><p><a href=#skip-whitespace>Skip whitespace</a> (in <var title="">input</var>).</li>
-
-     <li><p>Remove any <a href=#space-character title="space character">space
-     characters</a> currently at the end of <var title="">output</var>.</li>
-
-     <li><p>If <var title="">position</var> is not past the end of
-     <var title="">input</var>, and <var title="">output</var> is not
-     the empty string, append a single U+0020 SPACE character at the
-     end of <var title="">output</var>.</li>
-
-    </ol></li>
-
-   <li><p>Otherwise, append <var title="">s</var> to the end of <var title="">output</var>.</li>
-
-   <li><p>Return to the step labeled <i>loop</i>.</li>
-
-  </ol><p class=note>This causes any occurrences of the token to be
-  removed from the string, and any spaces that were surrounding the
-  token to be collapsed to a single space, except at the start and end
-  of the string, where such spaces are removed.</p>
-
-  </div>
-
-
-
   <h4 id=comma-separated-tokens><span class=secno>2.5.8 </span>Comma-separated tokens</h4>
 
   <p>A <dfn id=set-of-comma-separated-tokens>set of comma-separated tokens</dfn> is a string containing

Modified: source
===================================================================
--- source	2012-12-05 20:53:19 UTC (rev 7567)
+++ source	2012-12-05 20:55:14 UTC (rev 7568)
@@ -6485,88 +6485,9 @@
 
   </ol>
 
-  <p>When a user agent has to <dfn>remove a token from a string</dfn>,
-  it must use the following algorithm:</p>
-
-  <ol>
-
-   <li><p>Let <var title="">input</var> be the string being
-   modified.</p></li>
-
-   <li><p>Let <var title="">token</var> be the token being removed. It
-   will not contain any <span title="space character">space
-   characters</span>.</p></li>
-
-   <li><p>Let <var title="">output</var> be the output string,
-   initially empty.</p></li>
-
-   <li><p>Let <var title="">position</var> be a pointer into <var
-   title="">input</var>, initially pointing at the start of the
-   string.</p></li>
-
-   <li><p><i>Loop</i>: If <var title="">position</var> is beyond the
-   end of <var title="">input</var>, abort these steps.</p></li>
-
-   <li><p>If the character at <var title="">position</var> is a
-   <span>space character</span>:</p>
-
-    <ol>
-
-     <li><p>Append the character at <var title="">position</var> to
-     the end of <var title="">output</var>.</p></li>
-
-     <li><p>Advance <var title="">position</var> so it points at the
-     next character in <var title="">input</var>.</p></li>
-
-     <li><p>Return to the step labeled <i>loop</i>.</p></li>
-
-    </ol>
-
-   </li>
-
-   <li><p>Otherwise, the character at <var title="">position</var> is
-   the first character of a token. <span>Collect a sequence of
-   characters</span> that are not <span title="space character">space
-   characters</span>, and let that be <var title="">s</var>.</p></li>
-
-   <li><p>If <var title="">s</var> is exactly equal to <var
-   title="">token</var> (this is a <span>case-sensitive</span>
-   comparison), then:</p>
-
-    <ol>
-
-     <li><p><span>Skip whitespace</span> (in <var
-     title="">input</var>).</p></li>
-
-     <li><p>Remove any <span title="space character">space
-     characters</span> currently at the end of <var
-     title="">output</var>.</p></li>
-
-     <li><p>If <var title="">position</var> is not past the end of
-     <var title="">input</var>, and <var title="">output</var> is not
-     the empty string, append a single U+0020 SPACE character at the
-     end of <var title="">output</var>.</p></li>
-
-    </ol>
-
-   </li>
-
-   <li><p>Otherwise, append <var title="">s</var> to the end of <var
-   title="">output</var>.</p></li>
-
-   <li><p>Return to the step labeled <i>loop</i>.</p></li>
-
-  </ol>
-
-  <p class="note">This causes any occurrences of the token to be
-  removed from the string, and any spaces that were surrounding the
-  token to be collapsed to a single space, except at the start and end
-  of the string, where such spaces are removed.</p>
-
   </div>
 
 
-
   <h4>Comma-separated tokens</h4>
 
   <p>A <dfn>set of comma-separated tokens</dfn> is a string containing




More information about the Commit-Watchers mailing list