hixie: Correct the 'rules for parsing dimension values' to handle end-of-string properly in the fraction bit. (whatwg r4313)

hixie: Correct the 'rules for parsing dimension values' to handle end-
of-string properly in the fraction bit. (whatwg r4313)

http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.3448&r2=1.3449&f=h
http://html5.org/tools/web-apps-tracker?from=4312&to=4313

===================================================================
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:40 UTC