[html5] r3467 - [cgt] (2) Make &#xZ; for Z > 0x10FFFF return U+FFFD.

[whatwg at whatwg.org]

Author: ianh
Date: 2009-07-26 02:25:40 -0700 (Sun, 26 Jul 2009)
New Revision: 3467

Modified:
   index
   source
Log:
[cgt] (2) Make &#xZ; for Z > 0x10FFFF return U+FFFD.

Modified: index
===================================================================
--- index	2009-07-26 06:11:47 UTC (rev 3466)
+++ index	2009-07-26 09:25:40 UTC (rev 3467)
@@ -61360,7 +61360,11 @@
       <tr><td>0x9D <td>U+009D <td><control>
       <tr><td>0x9E <td>U+017E <td>LATIN SMALL LETTER Z WITH CARON ('ž')
       <tr><td>0x9F <td>U+0178 <td>LATIN CAPITAL LETTER Y WITH DIAERESIS ('Ÿ')
-    </table><p>Otherwise, return a character token for the Unicode character
+    </table><p>Otherwise, if the number is greater than 0x10FFFF, then this is
+    a <a href=#parse-error>parse error</a>. Return a U+FFFD REPLACEMENT
+    CHARACTER.</p>
+
+    <p>Otherwise, return a character token for the Unicode character
     whose code point is that number.
 
     <!-- this is the same as the equivalent list in the input stream
@@ -61375,8 +61379,7 @@
     0x6FFFF, 0x7FFFE, 0x7FFFF, 0x8FFFE, 0x8FFFF, 0x9FFFE, 0x9FFFF,
     0xAFFFE, 0xAFFFF, 0xBFFFE, 0xBFFFF, 0xCFFFE, 0xCFFFF, 0xDFFFE,
     0xDFFFF, 0xEFFFE, 0xEFFFF, 0xFFFFE, 0xFFFFF, 0x10FFFE, or
-    0x10FFFF, or is higher than 0x10FFFF, then this is a <a href=#parse-error>parse
-    error</a>.</p>
+    0x10FFFF, then this is a <a href=#parse-error>parse error</a>.</p>
 
    </dd>
 

Modified: source
===================================================================
--- source	2009-07-26 06:11:47 UTC (rev 3466)
+++ source	2009-07-26 09:25:40 UTC (rev 3467)
@@ -75365,6 +75365,10 @@
       <tr><td>0x9F <td>U+0178 <td>LATIN CAPITAL LETTER Y WITH DIAERESIS ('&#x0178;')
     </table>
 
+    <p>Otherwise, if the number is greater than 0x10FFFF, then this is
+    a <span>parse error</span>. Return a U+FFFD REPLACEMENT
+    CHARACTER.</p>
+
     <p>Otherwise, return a character token for the Unicode character
     whose code point is that number.
 
@@ -75380,8 +75384,7 @@
     0x6FFFF, 0x7FFFE, 0x7FFFF, 0x8FFFE, 0x8FFFF, 0x9FFFE, 0x9FFFF,
     0xAFFFE, 0xAFFFF, 0xBFFFE, 0xBFFFF, 0xCFFFE, 0xCFFFF, 0xDFFFE,
     0xDFFFF, 0xEFFFE, 0xEFFFF, 0xFFFFE, 0xFFFFF, 0x10FFFE, or
-    0x10FFFF, or is higher than 0x10FFFF, then this is a <span>parse
-    error</span>.</p>
+    0x10FFFF, then this is a <span>parse error</span>.</p>
 
    </dd>