|
1 /* |
|
2 ****************************************************************************** |
|
3 * |
|
4 * Copyright (C) 1999-2006, International Business Machines |
|
5 * Corporation and others. All Rights Reserved. |
|
6 * |
|
7 ****************************************************************************** |
|
8 * file name: utf_impl.c |
|
9 * encoding: US-ASCII |
|
10 * tab size: 8 (not used) |
|
11 * indentation:4 |
|
12 * |
|
13 * created on: 1999sep13 |
|
14 * created by: Markus W. Scherer |
|
15 * |
|
16 * This file provides implementation functions for macros in the utfXX.h |
|
17 * that would otherwise be too long as macros. |
|
18 */ |
|
19 |
|
20 #include "base/third_party/icu/icu_utf.h" |
|
21 |
|
22 namespace base_icu { |
|
23 |
|
24 /** |
|
25 * UTF8_ERROR_VALUE_1 and UTF8_ERROR_VALUE_2 are special error values for UTF-8, |
|
26 * which need 1 or 2 bytes in UTF-8: |
|
27 * \code |
|
28 * U+0015 = NAK = Negative Acknowledge, C0 control character |
|
29 * U+009f = highest C1 control character |
|
30 * \endcode |
|
31 * |
|
32 * These are used by UTF8_..._SAFE macros so that they can return an error value |
|
33 * that needs the same number of code units (bytes) as were seen by |
|
34 * a macro. They should be tested with UTF_IS_ERROR() or UTF_IS_VALID(). |
|
35 * |
|
36 * @deprecated ICU 2.4. Obsolete, see utf_old.h. |
|
37 */ |
|
38 #define CBUTF8_ERROR_VALUE_1 0x15 |
|
39 |
|
40 /** |
|
41 * See documentation on UTF8_ERROR_VALUE_1 for details. |
|
42 * |
|
43 * @deprecated ICU 2.4. Obsolete, see utf_old.h. |
|
44 */ |
|
45 #define CBUTF8_ERROR_VALUE_2 0x9f |
|
46 |
|
47 |
|
48 /** |
|
49 * Error value for all UTFs. This code point value will be set by macros with e> |
|
50 * checking if an error is detected. |
|
51 * |
|
52 * @deprecated ICU 2.4. Obsolete, see utf_old.h. |
|
53 */ |
|
54 #define CBUTF_ERROR_VALUE 0xffff |
|
55 |
|
56 /* |
|
57 * This table could be replaced on many machines by |
|
58 * a few lines of assembler code using an |
|
59 * "index of first 0-bit from msb" instruction and |
|
60 * one or two more integer instructions. |
|
61 * |
|
62 * For example, on an i386, do something like |
|
63 * - MOV AL, leadByte |
|
64 * - NOT AL (8-bit, leave b15..b8==0..0, reverse only b7..b0) |
|
65 * - MOV AH, 0 |
|
66 * - BSR BX, AX (16-bit) |
|
67 * - MOV AX, 6 (result) |
|
68 * - JZ finish (ZF==1 if leadByte==0xff) |
|
69 * - SUB AX, BX (result) |
|
70 * -finish: |
|
71 * (BSR: Bit Scan Reverse, scans for a 1-bit, starting from the MSB) |
|
72 * |
|
73 * In Unicode, all UTF-8 byte sequences with more than 4 bytes are illegal; |
|
74 * lead bytes above 0xf4 are illegal. |
|
75 * We keep them in this table for skipping long ISO 10646-UTF-8 sequences. |
|
76 */ |
|
77 const uint8 |
|
78 utf8_countTrailBytes[256]={ |
|
79 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
80 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
81 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
82 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
83 |
|
84 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
85 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
86 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
87 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
88 |
|
89 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
90 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
91 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
92 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, |
|
93 |
|
94 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
|
95 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, |
|
96 |
|
97 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
|
98 3, 3, 3, 3, 3, |
|
99 3, 3, 3, /* illegal in Unicode */ |
|
100 4, 4, 4, 4, /* illegal in Unicode */ |
|
101 5, 5, /* illegal in Unicode */ |
|
102 0, 0 /* illegal bytes 0xfe and 0xff */ |
|
103 }; |
|
104 |
|
105 static const UChar32 |
|
106 utf8_minLegal[4]={ 0, 0x80, 0x800, 0x10000 }; |
|
107 |
|
108 static const UChar32 |
|
109 utf8_errorValue[6]={ |
|
110 CBUTF8_ERROR_VALUE_1, CBUTF8_ERROR_VALUE_2, CBUTF_ERROR_VALUE, 0x10ffff, |
|
111 0x3ffffff, 0x7fffffff |
|
112 }; |
|
113 |
|
114 /* |
|
115 * Handle the non-inline part of the U8_NEXT() macro and its obsolete sibling |
|
116 * UTF8_NEXT_CHAR_SAFE(). |
|
117 * |
|
118 * The "strict" parameter controls the error behavior: |
|
119 * <0 "Safe" behavior of U8_NEXT(): All illegal byte sequences yield a negative |
|
120 * code point result. |
|
121 * 0 Obsolete "safe" behavior of UTF8_NEXT_CHAR_SAFE(..., FALSE): |
|
122 * All illegal byte sequences yield a positive code point such that this |
|
123 * result code point would be encoded with the same number of bytes as |
|
124 * the illegal sequence. |
|
125 * >0 Obsolete "strict" behavior of UTF8_NEXT_CHAR_SAFE(..., TRUE): |
|
126 * Same as the obsolete "safe" behavior, but non-characters are also treated |
|
127 * like illegal sequences. |
|
128 * |
|
129 * The special negative (<0) value -2 is used for lenient treatment of surrogate |
|
130 * code points as legal. Some implementations use this for roundtripping of |
|
131 * Unicode 16-bit strings that are not well-formed UTF-16, that is, they |
|
132 * contain unpaired surrogates. |
|
133 * |
|
134 * Note that a UBool is the same as an int8_t. |
|
135 */ |
|
136 UChar32 |
|
137 utf8_nextCharSafeBody(const uint8 *s, int32 *pi, int32 length, UChar32 c, UBool strict) { |
|
138 int32 i=*pi; |
|
139 uint8 count=CBU8_COUNT_TRAIL_BYTES(c); |
|
140 if((i)+count<=(length)) { |
|
141 uint8 trail, illegal=0; |
|
142 |
|
143 CBU8_MASK_LEAD_BYTE((c), count); |
|
144 /* count==0 for illegally leading trail bytes and the illegal bytes 0xfe and 0xff */ |
|
145 switch(count) { |
|
146 /* each branch falls through to the next one */ |
|
147 case 5: |
|
148 case 4: |
|
149 /* count>=4 is always illegal: no more than 3 trail bytes in Unicode's UTF-8 */ |
|
150 illegal=1; |
|
151 break; |
|
152 case 3: |
|
153 trail=s[(i)++]; |
|
154 (c)=((c)<<6)|(trail&0x3f); |
|
155 if(c<0x110) { |
|
156 illegal|=(trail&0xc0)^0x80; |
|
157 } else { |
|
158 /* code point>0x10ffff, outside Unicode */ |
|
159 illegal=1; |
|
160 break; |
|
161 } |
|
162 case 2: |
|
163 trail=s[(i)++]; |
|
164 (c)=((c)<<6)|(trail&0x3f); |
|
165 illegal|=(trail&0xc0)^0x80; |
|
166 case 1: |
|
167 trail=s[(i)++]; |
|
168 (c)=((c)<<6)|(trail&0x3f); |
|
169 illegal|=(trail&0xc0)^0x80; |
|
170 break; |
|
171 case 0: |
|
172 if(strict>=0) { |
|
173 return CBUTF8_ERROR_VALUE_1; |
|
174 } else { |
|
175 return CBU_SENTINEL; |
|
176 } |
|
177 /* no default branch to optimize switch() - all values are covered */ |
|
178 } |
|
179 |
|
180 /* |
|
181 * All the error handling should return a value |
|
182 * that needs count bytes so that UTF8_GET_CHAR_SAFE() works right. |
|
183 * |
|
184 * Starting with Unicode 3.0.1, non-shortest forms are illegal. |
|
185 * Starting with Unicode 3.2, surrogate code points must not be |
|
186 * encoded in UTF-8, and there are no irregular sequences any more. |
|
187 * |
|
188 * U8_ macros (new in ICU 2.4) return negative values for error conditions. |
|
189 */ |
|
190 |
|
191 /* correct sequence - all trail bytes have (b7..b6)==(10)? */ |
|
192 /* illegal is also set if count>=4 */ |
|
193 if(illegal || (c)<utf8_minLegal[count] || (CBU_IS_SURROGATE(c) && strict!=-2)) { |
|
194 /* error handling */ |
|
195 uint8 errorCount=count; |
|
196 /* don't go beyond this sequence */ |
|
197 i=*pi; |
|
198 while(count>0 && CBU8_IS_TRAIL(s[i])) { |
|
199 ++(i); |
|
200 --count; |
|
201 } |
|
202 if(strict>=0) { |
|
203 c=utf8_errorValue[errorCount-count]; |
|
204 } else { |
|
205 c=CBU_SENTINEL; |
|
206 } |
|
207 } else if((strict)>0 && CBU_IS_UNICODE_NONCHAR(c)) { |
|
208 /* strict: forbid non-characters like U+fffe */ |
|
209 c=utf8_errorValue[count]; |
|
210 } |
|
211 } else /* too few bytes left */ { |
|
212 /* error handling */ |
|
213 int32 i0=i; |
|
214 /* don't just set (i)=(length) in case there is an illegal sequence */ |
|
215 while((i)<(length) && CBU8_IS_TRAIL(s[i])) { |
|
216 ++(i); |
|
217 } |
|
218 if(strict>=0) { |
|
219 c=utf8_errorValue[i-i0]; |
|
220 } else { |
|
221 c=CBU_SENTINEL; |
|
222 } |
|
223 } |
|
224 *pi=i; |
|
225 return c; |
|
226 } |
|
227 |
|
228 } // namespace base_icu |