[html5] r6084 - [giow] (0) Fix a couple of parser bugs that made valid ES floating point numbers [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2011-05-05 14:16:33 -0700 (Thu, 05 May 2011)
New Revision: 6084

Modified:
   complete.html
   index
   source
Log:
[giow] (0) Fix a couple of parser bugs that made valid ES floating point numbers not get parsed to the same meaning in HTML attributes
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12220

Modified: complete.html
===================================================================
--- complete.html	2011-05-05 19:26:46 UTC (rev 6083)
+++ complete.html	2011-05-05 21:16:33 UTC (rev 6084)
@@ -4195,6 +4195,15 @@
 
      <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
 
+    </ol><p>Otherwise, if the character indicated by <var title="">position</var> (the first character) is a U+002B PLUS
+    SIGN character (+):</p>
+
+    <ol><li>Advance <var title="">position</var> to the next
+     character. (The "<code title="">+</code>" is ignored, but it is
+     not conforming.)</li>
+
+     <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
+
     </ol></li>
 
    <li><p>If the character indicated by <var title="">position</var>
@@ -4219,9 +4228,15 @@
      character.</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 jump to the step labeled
+     U+0039 DIGIT NINE (9), U+0065 LATIN SMALL LETTER E (e), or U+0045
+     LATIN CAPITAL LETTER E (E), then jump to the step labeled
      <i>conversion</i>.</li>
 
+     <li><p>If the character indicated by <var title="">position</var>
+     is a U+0065 LATIN SMALL LETTER E character (e) or a U+0045 LATIN
+     CAPITAL LETTER E character (E), skip the remainder of these
+     substeps.</p>
+
      <li><p><i>Fraction loop</i>: Multiply <var title="">divisor</var>
      by ten.</li>
 

Modified: index
===================================================================
--- index	2011-05-05 19:26:46 UTC (rev 6083)
+++ index	2011-05-05 21:16:33 UTC (rev 6084)
@@ -4220,6 +4220,15 @@
 
      <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
 
+    </ol><p>Otherwise, if the character indicated by <var title="">position</var> (the first character) is a U+002B PLUS
+    SIGN character (+):</p>
+
+    <ol><li>Advance <var title="">position</var> to the next
+     character. (The "<code title="">+</code>" is ignored, but it is
+     not conforming.)</li>
+
+     <li>If <var title="">position</var> is past the end of <var title="">input</var>, return an error.</li>
+
     </ol></li>
 
    <li><p>If the character indicated by <var title="">position</var>
@@ -4244,9 +4253,15 @@
      character.</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 jump to the step labeled
+     U+0039 DIGIT NINE (9), U+0065 LATIN SMALL LETTER E (e), or U+0045
+     LATIN CAPITAL LETTER E (E), then jump to the step labeled
      <i>conversion</i>.</li>
 
+     <li><p>If the character indicated by <var title="">position</var>
+     is a U+0065 LATIN SMALL LETTER E character (e) or a U+0045 LATIN
+     CAPITAL LETTER E character (E), skip the remainder of these
+     substeps.</p>
+
      <li><p><i>Fraction loop</i>: Multiply <var title="">divisor</var>
      by ten.</li>
 

Modified: source
===================================================================
--- source	2011-05-05 19:26:46 UTC (rev 6083)
+++ source	2011-05-05 21:16:33 UTC (rev 6084)
@@ -3366,6 +3366,21 @@
 
     </ol>
 
+    <p>Otherwise, if the character indicated by <var
+    title="">position</var> (the first character) is a U+002B PLUS
+    SIGN character (+):</p>
+
+    <ol>
+
+     <li>Advance <var title="">position</var> to the next
+     character. (The "<code title="">+</code>" is ignored, but it is
+     not conforming.)</li>
+
+     <li>If <var title="">position</var> is past the end of <var
+     title="">input</var>, return an error.</li>
+
+    </ol>
+
    </li>
 
    <li><p>If the character indicated by <var title="">position</var>
@@ -3396,9 +3411,15 @@
      <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 jump to the step labeled
+     U+0039 DIGIT NINE (9), U+0065 LATIN SMALL LETTER E (e), or U+0045
+     LATIN CAPITAL LETTER E (E), then jump to the step labeled
      <i>conversion</i>.</li>
 
+     <li><p>If the character indicated by <var title="">position</var>
+     is a U+0065 LATIN SMALL LETTER E character (e) or a U+0045 LATIN
+     CAPITAL LETTER E character (E), skip the remainder of these
+     substeps.</p>
+
      <li><p><i>Fraction loop</i>: Multiply <var title="">divisor</var>
      by ten.</p></li>