- From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
- Date: Sat, 24 Oct 2009 22:38:00 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv5205
Modified Files:
Overview.html
Log Message:
Correct the 'rules for parsing dimension values' to handle end-of-string properly in the fraction bit. (whatwg r4313)
Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.3448
retrieving revision 1.3449
diff -u -d -r1.3448 -r1.3449
--- Overview.html 24 Oct 2009 22:28:41 -0000 1.3448
+++ Overview.html 24 Oct 2009 22:37:56 -0000 1.3449
@@ -2738,22 +2738,33 @@
<p>If the character indicated by <var title="">position</var> is a
U+002E FULL STOP character (.):</p>
- <ol><li><p>Advance <var title="">position</var> to the next
+ <ol><ol><li><p>Advance <var title="">position</var> to the next
character.</li>
- <li><p>If the character indicated by <var title="">position</var>
- is not one of U+0030 DIGIT ZERO (0) to U+0039 DIGIT NINE (9),
- then return <var title="">value</var> as a length.</li>
+ <li><p>If <var title="">position</var> is past the end of <var title="">input</var>, or if the character indicated by <var title="">position</var> is not one of U+0030 DIGIT ZERO (0) to
+ U+0039 DIGIT NINE (9), then return <var title="">value</var> as a
+ length.</li>
- <li><p><a href="#collect-a-sequence-of-characters">Collect a sequence of characters</a> in the range
- U+0030 DIGIT ZERO (0) to U+0039 DIGIT NINE (9). Let <var title="">length</var> be the number of characters collected. Let
- <var title="">fraction</var> be the result of interpreting the
- collected characters as a base-ten integer, and then dividing
- that number by <span title="">10<sup title=""><var title="">length</var></sup></span>.</li>
+ <li><p>Let <var title="">divisor</var> have the value 1.</li>
- <li><p>Increment <var title="">value</var> by <var title="">fraction</var>.</li>
+ <li><p><i>Fraction loop</i>: Multiply <var title="">divisor</var>
+ by ten.</li>
- </ol></li>
+ <li>Add the value of the character indicated by <var title="">position</var>, interpreted as a base-ten digit (0..9)
+ and divided by <var title="">divisor</var>, to <var title="">value</var>.</li>
+
+ <li><p>Advance <var title="">position</var> to the next
+ character.</li>
+
+ <li><p>If <var title="">position</var> is past the end of <var title="">input</var>, then return <var title="">value</var> as a
+ length.</li>
+
+ <li><p>If the character indicated by <var title="">position</var>
+ is one of U+0030 DIGIT ZERO (0) to U+0039 DIGIT NINE (9), return
+ to the step labeled <i>fraction loop</i> in these
+ substeps.</li>
+
+ </ol></ol></li>
<li><p>If <var title="">position</var> is past the end of <var title="">input</var>, return <var title="">value</var> as a
length.</li>
Received on Saturday, 24 October 2009 22:38:04 UTC