[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