/src/icu/source/common/normalizer2impl.h
Line | Count | Source (jump to first uncovered line) |
1 | | // © 2016 and later: Unicode, Inc. and others. |
2 | | // License & terms of use: http://www.unicode.org/copyright.html |
3 | | /* |
4 | | ******************************************************************************* |
5 | | * |
6 | | * Copyright (C) 2009-2014, International Business Machines |
7 | | * Corporation and others. All Rights Reserved. |
8 | | * |
9 | | ******************************************************************************* |
10 | | * file name: normalizer2impl.h |
11 | | * encoding: UTF-8 |
12 | | * tab size: 8 (not used) |
13 | | * indentation:4 |
14 | | * |
15 | | * created on: 2009nov22 |
16 | | * created by: Markus W. Scherer |
17 | | */ |
18 | | |
19 | | #ifndef __NORMALIZER2IMPL_H__ |
20 | | #define __NORMALIZER2IMPL_H__ |
21 | | |
22 | | #include "unicode/utypes.h" |
23 | | |
24 | | #if !UCONFIG_NO_NORMALIZATION |
25 | | |
26 | | #include "unicode/normalizer2.h" |
27 | | #include "unicode/unistr.h" |
28 | | #include "unicode/unorm.h" |
29 | | #include "unicode/utf16.h" |
30 | | #include "mutex.h" |
31 | | #include "uset_imp.h" |
32 | | #include "utrie2.h" |
33 | | |
34 | | U_NAMESPACE_BEGIN |
35 | | |
36 | | struct CanonIterData; |
37 | | |
38 | | class U_COMMON_API Hangul { |
39 | | public: |
40 | | /* Korean Hangul and Jamo constants */ |
41 | | enum { |
42 | | JAMO_L_BASE=0x1100, /* "lead" jamo */ |
43 | | JAMO_L_END=0x1112, |
44 | | JAMO_V_BASE=0x1161, /* "vowel" jamo */ |
45 | | JAMO_V_END=0x1175, |
46 | | JAMO_T_BASE=0x11a7, /* "trail" jamo */ |
47 | | JAMO_T_END=0x11c2, |
48 | | |
49 | | HANGUL_BASE=0xac00, |
50 | | HANGUL_END=0xd7a3, |
51 | | |
52 | | JAMO_L_COUNT=19, |
53 | | JAMO_V_COUNT=21, |
54 | | JAMO_T_COUNT=28, |
55 | | |
56 | | JAMO_VT_COUNT=JAMO_V_COUNT*JAMO_T_COUNT, |
57 | | |
58 | | HANGUL_COUNT=JAMO_L_COUNT*JAMO_V_COUNT*JAMO_T_COUNT, |
59 | | HANGUL_LIMIT=HANGUL_BASE+HANGUL_COUNT |
60 | | }; |
61 | | |
62 | 0 | static inline UBool isHangul(UChar32 c) { |
63 | 0 | return HANGUL_BASE<=c && c<HANGUL_LIMIT; |
64 | 0 | } |
65 | | static inline UBool |
66 | 2.19k | isHangulWithoutJamoT(UChar c) { |
67 | 2.19k | c-=HANGUL_BASE; |
68 | 2.19k | return c<HANGUL_COUNT && c%JAMO_T_COUNT==0; |
69 | 2.19k | } |
70 | 0 | static inline UBool isJamoL(UChar32 c) { |
71 | 0 | return (uint32_t)(c-JAMO_L_BASE)<JAMO_L_COUNT; |
72 | 0 | } |
73 | 0 | static inline UBool isJamoV(UChar32 c) { |
74 | 0 | return (uint32_t)(c-JAMO_V_BASE)<JAMO_V_COUNT; |
75 | 0 | } |
76 | | |
77 | | /** |
78 | | * Decomposes c, which must be a Hangul syllable, into buffer |
79 | | * and returns the length of the decomposition (2 or 3). |
80 | | */ |
81 | 463 | static inline int32_t decompose(UChar32 c, UChar buffer[3]) { |
82 | 463 | c-=HANGUL_BASE; |
83 | 463 | UChar32 c2=c%JAMO_T_COUNT; |
84 | 463 | c/=JAMO_T_COUNT; |
85 | 463 | buffer[0]=(UChar)(JAMO_L_BASE+c/JAMO_V_COUNT); |
86 | 463 | buffer[1]=(UChar)(JAMO_V_BASE+c%JAMO_V_COUNT); |
87 | 463 | if(c2==0) { |
88 | 200 | return 2; |
89 | 263 | } else { |
90 | 263 | buffer[2]=(UChar)(JAMO_T_BASE+c2); |
91 | 263 | return 3; |
92 | 263 | } |
93 | 463 | } |
94 | | |
95 | | /** |
96 | | * Decomposes c, which must be a Hangul syllable, into buffer. |
97 | | * This is the raw, not recursive, decomposition. Its length is always 2. |
98 | | */ |
99 | 0 | static inline void getRawDecomposition(UChar32 c, UChar buffer[2]) { |
100 | 0 | UChar32 orig=c; |
101 | 0 | c-=HANGUL_BASE; |
102 | 0 | UChar32 c2=c%JAMO_T_COUNT; |
103 | 0 | if(c2==0) { |
104 | 0 | c/=JAMO_T_COUNT; |
105 | 0 | buffer[0]=(UChar)(JAMO_L_BASE+c/JAMO_V_COUNT); |
106 | 0 | buffer[1]=(UChar)(JAMO_V_BASE+c%JAMO_V_COUNT); |
107 | 0 | } else { |
108 | 0 | buffer[0]=orig-c2; // LV syllable |
109 | 0 | buffer[1]=(UChar)(JAMO_T_BASE+c2); |
110 | 0 | } |
111 | 0 | } |
112 | | private: |
113 | | Hangul(); // no instantiation |
114 | | }; |
115 | | |
116 | | class Normalizer2Impl; |
117 | | |
118 | | class U_COMMON_API ReorderingBuffer : public UMemory { |
119 | | public: |
120 | | ReorderingBuffer(const Normalizer2Impl &ni, UnicodeString &dest) : |
121 | 6.52M | impl(ni), str(dest), |
122 | | start(NULL), reorderStart(NULL), limit(NULL), |
123 | 6.52M | remainingCapacity(0), lastCC(0) {} |
124 | 6.52M | ~ReorderingBuffer() { |
125 | 6.52M | if(start!=NULL) { |
126 | 6.52M | str.releaseBuffer((int32_t)(limit-start)); |
127 | 6.52M | } |
128 | 6.52M | } |
129 | | UBool init(int32_t destCapacity, UErrorCode &errorCode); |
130 | | |
131 | 559k | UBool isEmpty() const { return start==limit; } |
132 | 3.69M | int32_t length() const { return (int32_t)(limit-start); } |
133 | 4.24M | UChar *getStart() { return start; } |
134 | 4.79M | UChar *getLimit() { return limit; } |
135 | 0 | uint8_t getLastCC() const { return lastCC; } |
136 | | |
137 | | UBool equals(const UChar *start, const UChar *limit) const; |
138 | | |
139 | | // For Hangul composition, replacing the Leading consonant Jamo with the syllable. |
140 | 390 | void setLastChar(UChar c) { |
141 | 390 | *(limit-1)=c; |
142 | 390 | } |
143 | | |
144 | 2.77M | UBool append(UChar32 c, uint8_t cc, UErrorCode &errorCode) { |
145 | 2.77M | return (c<=0xffff) ? |
146 | 2.76M | appendBMP((UChar)c, cc, errorCode) : |
147 | 2.77M | appendSupplementary(c, cc, errorCode); |
148 | 2.77M | } |
149 | | // s must be in NFD, otherwise change the implementation. |
150 | | UBool append(const UChar *s, int32_t length, |
151 | | uint8_t leadCC, uint8_t trailCC, |
152 | | UErrorCode &errorCode); |
153 | 2.76M | UBool appendBMP(UChar c, uint8_t cc, UErrorCode &errorCode) { |
154 | 2.76M | if(remainingCapacity==0 && !resize(1, errorCode)) { |
155 | 0 | return FALSE; |
156 | 0 | } |
157 | 2.76M | if(lastCC<=cc || cc==0) { |
158 | 2.73M | *limit++=c; |
159 | 2.73M | lastCC=cc; |
160 | 2.73M | if(cc<=1) { |
161 | 1.87M | reorderStart=limit; |
162 | 1.87M | } |
163 | 2.73M | } else { |
164 | 26.0k | insert(c, cc); |
165 | 26.0k | } |
166 | 2.76M | --remainingCapacity; |
167 | 2.76M | return TRUE; |
168 | 2.76M | } |
169 | | UBool appendZeroCC(UChar32 c, UErrorCode &errorCode); |
170 | | UBool appendZeroCC(const UChar *s, const UChar *sLimit, UErrorCode &errorCode); |
171 | | void remove(); |
172 | | void removeSuffix(int32_t suffixLength); |
173 | 3.33M | void setReorderingLimit(UChar *newLimit) { |
174 | 3.33M | remainingCapacity+=(int32_t)(limit-newLimit); |
175 | 3.33M | reorderStart=limit=newLimit; |
176 | 3.33M | lastCC=0; |
177 | 3.33M | } |
178 | 0 | void copyReorderableSuffixTo(UnicodeString &s) const { |
179 | 0 | s.setTo(ConstChar16Ptr(reorderStart), (int32_t)(limit-reorderStart)); |
180 | 0 | } |
181 | | private: |
182 | | /* |
183 | | * TODO: Revisit whether it makes sense to track reorderStart. |
184 | | * It is set to after the last known character with cc<=1, |
185 | | * which stops previousCC() before it reads that character and looks up its cc. |
186 | | * previousCC() is normally only called from insert(). |
187 | | * In other words, reorderStart speeds up the insertion of a combining mark |
188 | | * into a multi-combining mark sequence where it does not belong at the end. |
189 | | * This might not be worth the trouble. |
190 | | * On the other hand, it's not a huge amount of trouble. |
191 | | * |
192 | | * We probably need it for UNORM_SIMPLE_APPEND. |
193 | | */ |
194 | | |
195 | | UBool appendSupplementary(UChar32 c, uint8_t cc, UErrorCode &errorCode); |
196 | | void insert(UChar32 c, uint8_t cc); |
197 | 35.5k | static void writeCodePoint(UChar *p, UChar32 c) { |
198 | 35.5k | if(c<=0xffff) { |
199 | 34.5k | *p=(UChar)c; |
200 | 34.5k | } else { |
201 | 937 | p[0]=U16_LEAD(c); |
202 | 937 | p[1]=U16_TRAIL(c); |
203 | 937 | } |
204 | 35.5k | } |
205 | | UBool resize(int32_t appendLength, UErrorCode &errorCode); |
206 | | |
207 | | const Normalizer2Impl &impl; |
208 | | UnicodeString &str; |
209 | | UChar *start, *reorderStart, *limit; |
210 | | int32_t remainingCapacity; |
211 | | uint8_t lastCC; |
212 | | |
213 | | // private backward iterator |
214 | 595k | void setIterator() { codePointStart=limit; } |
215 | | void skipPrevious(); // Requires start<codePointStart. |
216 | | uint8_t previousCC(); // Returns 0 if there is no previous character. |
217 | | |
218 | | UChar *codePointStart, *codePointLimit; |
219 | | }; |
220 | | |
221 | | class U_COMMON_API Normalizer2Impl : public UObject { |
222 | | public: |
223 | 2 | Normalizer2Impl() : normTrie(NULL), fCanonIterData(NULL) { |
224 | 2 | fCanonIterDataInitOnce.reset(); |
225 | 2 | } |
226 | | virtual ~Normalizer2Impl(); |
227 | | |
228 | | void init(const int32_t *inIndexes, const UTrie2 *inTrie, |
229 | | const uint16_t *inExtraData, const uint8_t *inSmallFCD); |
230 | | |
231 | | void addLcccChars(UnicodeSet &set) const; |
232 | | void addPropertyStarts(const USetAdder *sa, UErrorCode &errorCode) const; |
233 | | void addCanonIterPropertyStarts(const USetAdder *sa, UErrorCode &errorCode) const; |
234 | | |
235 | | // low-level properties ------------------------------------------------ *** |
236 | | |
237 | 0 | const UTrie2 *getNormTrie() const { return normTrie; } |
238 | | |
239 | | UBool ensureCanonIterData(UErrorCode &errorCode) const; |
240 | | |
241 | 5.28M | uint16_t getNorm16(UChar32 c) const { return UTRIE2_GET16(normTrie, c); } |
242 | | |
243 | 0 | UNormalizationCheckResult getCompQuickCheck(uint16_t norm16) const { |
244 | 0 | if(norm16<minNoNo || MIN_YES_YES_WITH_CC<=norm16) { |
245 | 0 | return UNORM_YES; |
246 | 0 | } else if(minMaybeYes<=norm16) { |
247 | 0 | return UNORM_MAYBE; |
248 | 0 | } else { |
249 | 0 | return UNORM_NO; |
250 | 0 | } |
251 | 0 | } |
252 | 0 | UBool isAlgorithmicNoNo(uint16_t norm16) const { return limitNoNo<=norm16 && norm16<minMaybeYes; } |
253 | 0 | UBool isCompNo(uint16_t norm16) const { return minNoNo<=norm16 && norm16<minMaybeYes; } |
254 | 6.39M | UBool isDecompYes(uint16_t norm16) const { return norm16<minYesNo || minMaybeYes<=norm16; } |
255 | | |
256 | 0 | uint8_t getCC(uint16_t norm16) const { |
257 | 0 | if(norm16>=MIN_NORMAL_MAYBE_YES) { |
258 | 0 | return (uint8_t)norm16; |
259 | 0 | } |
260 | 0 | if(norm16<minNoNo || limitNoNo<=norm16) { |
261 | 0 | return 0; |
262 | 0 | } |
263 | 0 | return getCCFromNoNo(norm16); |
264 | 0 | } |
265 | 8.06M | static uint8_t getCCFromYesOrMaybe(uint16_t norm16) { |
266 | 8.06M | return norm16>=MIN_NORMAL_MAYBE_YES ? (uint8_t)norm16 : 0; |
267 | 8.06M | } |
268 | | |
269 | | /** |
270 | | * Returns the FCD data for code point c. |
271 | | * @param c A Unicode code point. |
272 | | * @return The lccc(c) in bits 15..8 and tccc(c) in bits 7..0. |
273 | | */ |
274 | 0 | uint16_t getFCD16(UChar32 c) const { |
275 | 0 | if(c<0) { |
276 | 0 | return 0; |
277 | 0 | } else if(c<0x180) { |
278 | 0 | return tccc180[c]; |
279 | 0 | } else if(c<=0xffff) { |
280 | 0 | if(!singleLeadMightHaveNonZeroFCD16(c)) { return 0; } |
281 | 0 | } |
282 | 0 | return getFCD16FromNormData(c); |
283 | 0 | } |
284 | | /** |
285 | | * Returns the FCD data for the next code point (post-increment). |
286 | | * Might skip only a lead surrogate rather than the whole surrogate pair if none of |
287 | | * the supplementary code points associated with the lead surrogate have non-zero FCD data. |
288 | | * @param s A valid pointer into a string. Requires s!=limit. |
289 | | * @param limit The end of the string, or NULL. |
290 | | * @return The lccc(c) in bits 15..8 and tccc(c) in bits 7..0. |
291 | | */ |
292 | 0 | uint16_t nextFCD16(const UChar *&s, const UChar *limit) const { |
293 | 0 | UChar32 c=*s++; |
294 | 0 | if(c<0x180) { |
295 | 0 | return tccc180[c]; |
296 | 0 | } else if(!singleLeadMightHaveNonZeroFCD16(c)) { |
297 | 0 | return 0; |
298 | 0 | } |
299 | 0 | UChar c2; |
300 | 0 | if(U16_IS_LEAD(c) && s!=limit && U16_IS_TRAIL(c2=*s)) { |
301 | 0 | c=U16_GET_SUPPLEMENTARY(c, c2); |
302 | 0 | ++s; |
303 | 0 | } |
304 | 0 | return getFCD16FromNormData(c); |
305 | 0 | } |
306 | | /** |
307 | | * Returns the FCD data for the previous code point (pre-decrement). |
308 | | * @param start The start of the string. |
309 | | * @param s A valid pointer into a string. Requires start<s. |
310 | | * @return The lccc(c) in bits 15..8 and tccc(c) in bits 7..0. |
311 | | */ |
312 | 0 | uint16_t previousFCD16(const UChar *start, const UChar *&s) const { |
313 | 0 | UChar32 c=*--s; |
314 | 0 | if(c<0x180) { |
315 | 0 | return tccc180[c]; |
316 | 0 | } |
317 | 0 | if(!U16_IS_TRAIL(c)) { |
318 | 0 | if(!singleLeadMightHaveNonZeroFCD16(c)) { |
319 | 0 | return 0; |
320 | 0 | } |
321 | 0 | } else { |
322 | 0 | UChar c2; |
323 | 0 | if(start<s && U16_IS_LEAD(c2=*(s-1))) { |
324 | 0 | c=U16_GET_SUPPLEMENTARY(c2, c); |
325 | 0 | --s; |
326 | 0 | } |
327 | 0 | } |
328 | 0 | return getFCD16FromNormData(c); |
329 | 0 | } |
330 | | |
331 | | /** Returns the FCD data for U+0000<=c<U+0180. */ |
332 | 0 | uint16_t getFCD16FromBelow180(UChar32 c) const { return tccc180[c]; } |
333 | | /** Returns TRUE if the single-or-lead code unit c might have non-zero FCD data. */ |
334 | 0 | UBool singleLeadMightHaveNonZeroFCD16(UChar32 lead) const { |
335 | | // 0<=lead<=0xffff |
336 | 0 | uint8_t bits=smallFCD[lead>>8]; |
337 | 0 | if(bits==0) { return false; } |
338 | 0 | return (UBool)((bits>>((lead>>5)&7))&1); |
339 | 0 | } |
340 | | /** Returns the FCD value from the regular normalization data. */ |
341 | | uint16_t getFCD16FromNormData(UChar32 c) const; |
342 | | |
343 | | void makeCanonIterDataFromNorm16(UChar32 start, UChar32 end, uint16_t norm16, |
344 | | CanonIterData &newData, UErrorCode &errorCode) const; |
345 | | |
346 | | /** |
347 | | * Gets the decomposition for one code point. |
348 | | * @param c code point |
349 | | * @param buffer out-only buffer for algorithmic decompositions |
350 | | * @param length out-only, takes the length of the decomposition, if any |
351 | | * @return pointer to the decomposition, or NULL if none |
352 | | */ |
353 | | const UChar *getDecomposition(UChar32 c, UChar buffer[4], int32_t &length) const; |
354 | | |
355 | | /** |
356 | | * Gets the raw decomposition for one code point. |
357 | | * @param c code point |
358 | | * @param buffer out-only buffer for algorithmic decompositions |
359 | | * @param length out-only, takes the length of the decomposition, if any |
360 | | * @return pointer to the decomposition, or NULL if none |
361 | | */ |
362 | | const UChar *getRawDecomposition(UChar32 c, UChar buffer[30], int32_t &length) const; |
363 | | |
364 | | UChar32 composePair(UChar32 a, UChar32 b) const; |
365 | | |
366 | | UBool isCanonSegmentStarter(UChar32 c) const; |
367 | | UBool getCanonStartSet(UChar32 c, UnicodeSet &set) const; |
368 | | |
369 | | enum { |
370 | | MIN_CCC_LCCC_CP=0x300 |
371 | | }; |
372 | | |
373 | | enum { |
374 | | MIN_YES_YES_WITH_CC=0xff01, |
375 | | JAMO_VT=0xff00, |
376 | | MIN_NORMAL_MAYBE_YES=0xfe00, |
377 | | JAMO_L=1, |
378 | | MAX_DELTA=0x40 |
379 | | }; |
380 | | |
381 | | enum { |
382 | | // Byte offsets from the start of the data, after the generic header. |
383 | | IX_NORM_TRIE_OFFSET, |
384 | | IX_EXTRA_DATA_OFFSET, |
385 | | IX_SMALL_FCD_OFFSET, |
386 | | IX_RESERVED3_OFFSET, |
387 | | IX_RESERVED4_OFFSET, |
388 | | IX_RESERVED5_OFFSET, |
389 | | IX_RESERVED6_OFFSET, |
390 | | IX_TOTAL_SIZE, |
391 | | |
392 | | // Code point thresholds for quick check codes. |
393 | | IX_MIN_DECOMP_NO_CP, |
394 | | IX_MIN_COMP_NO_MAYBE_CP, |
395 | | |
396 | | // Norm16 value thresholds for quick check combinations and types of extra data. |
397 | | IX_MIN_YES_NO, // Mappings & compositions in [minYesNo..minYesNoMappingsOnly[. |
398 | | IX_MIN_NO_NO, |
399 | | IX_LIMIT_NO_NO, |
400 | | IX_MIN_MAYBE_YES, |
401 | | |
402 | | IX_MIN_YES_NO_MAPPINGS_ONLY, // Mappings only in [minYesNoMappingsOnly..minNoNo[. |
403 | | |
404 | | IX_RESERVED15, |
405 | | IX_COUNT |
406 | | }; |
407 | | |
408 | | enum { |
409 | | MAPPING_HAS_CCC_LCCC_WORD=0x80, |
410 | | MAPPING_HAS_RAW_MAPPING=0x40, |
411 | | MAPPING_NO_COMP_BOUNDARY_AFTER=0x20, |
412 | | MAPPING_LENGTH_MASK=0x1f |
413 | | }; |
414 | | |
415 | | enum { |
416 | | COMP_1_LAST_TUPLE=0x8000, |
417 | | COMP_1_TRIPLE=1, |
418 | | COMP_1_TRAIL_LIMIT=0x3400, |
419 | | COMP_1_TRAIL_MASK=0x7ffe, |
420 | | COMP_1_TRAIL_SHIFT=9, // 10-1 for the "triple" bit |
421 | | COMP_2_TRAIL_SHIFT=6, |
422 | | COMP_2_TRAIL_MASK=0xffc0 |
423 | | }; |
424 | | |
425 | | // higher-level functionality ------------------------------------------ *** |
426 | | |
427 | | // NFD without an NFD Normalizer2 instance. |
428 | | UnicodeString &decompose(const UnicodeString &src, UnicodeString &dest, |
429 | | UErrorCode &errorCode) const; |
430 | | /** |
431 | | * Decomposes [src, limit[ and writes the result to dest. |
432 | | * limit can be NULL if src is NUL-terminated. |
433 | | * destLengthEstimate is the initial dest buffer capacity and can be -1. |
434 | | */ |
435 | | void decompose(const UChar *src, const UChar *limit, |
436 | | UnicodeString &dest, int32_t destLengthEstimate, |
437 | | UErrorCode &errorCode) const; |
438 | | |
439 | | const UChar *decompose(const UChar *src, const UChar *limit, |
440 | | ReorderingBuffer *buffer, UErrorCode &errorCode) const; |
441 | | void decomposeAndAppend(const UChar *src, const UChar *limit, |
442 | | UBool doDecompose, |
443 | | UnicodeString &safeMiddle, |
444 | | ReorderingBuffer &buffer, |
445 | | UErrorCode &errorCode) const; |
446 | | UBool compose(const UChar *src, const UChar *limit, |
447 | | UBool onlyContiguous, |
448 | | UBool doCompose, |
449 | | ReorderingBuffer &buffer, |
450 | | UErrorCode &errorCode) const; |
451 | | const UChar *composeQuickCheck(const UChar *src, const UChar *limit, |
452 | | UBool onlyContiguous, |
453 | | UNormalizationCheckResult *pQCResult) const; |
454 | | void composeAndAppend(const UChar *src, const UChar *limit, |
455 | | UBool doCompose, |
456 | | UBool onlyContiguous, |
457 | | UnicodeString &safeMiddle, |
458 | | ReorderingBuffer &buffer, |
459 | | UErrorCode &errorCode) const; |
460 | | const UChar *makeFCD(const UChar *src, const UChar *limit, |
461 | | ReorderingBuffer *buffer, UErrorCode &errorCode) const; |
462 | | void makeFCDAndAppend(const UChar *src, const UChar *limit, |
463 | | UBool doMakeFCD, |
464 | | UnicodeString &safeMiddle, |
465 | | ReorderingBuffer &buffer, |
466 | | UErrorCode &errorCode) const; |
467 | | |
468 | | UBool hasDecompBoundary(UChar32 c, UBool before) const; |
469 | 0 | UBool isDecompInert(UChar32 c) const { return isDecompYesAndZeroCC(getNorm16(c)); } |
470 | | |
471 | 0 | UBool hasCompBoundaryBefore(UChar32 c) const { |
472 | 0 | return c<minCompNoMaybeCP || hasCompBoundaryBefore(c, getNorm16(c)); |
473 | 0 | } |
474 | | UBool hasCompBoundaryAfter(UChar32 c, UBool onlyContiguous, UBool testInert) const; |
475 | | |
476 | 0 | UBool hasFCDBoundaryBefore(UChar32 c) const { return c<MIN_CCC_LCCC_CP || getFCD16(c)<=0xff; } |
477 | 0 | UBool hasFCDBoundaryAfter(UChar32 c) const { |
478 | 0 | uint16_t fcd16=getFCD16(c); |
479 | 0 | return fcd16<=1 || (fcd16&0xff)==0; |
480 | 0 | } |
481 | 0 | UBool isFCDInert(UChar32 c) const { return getFCD16(c)<=1; } |
482 | | private: |
483 | 5.68M | UBool isMaybe(uint16_t norm16) const { return minMaybeYes<=norm16 && norm16<=JAMO_VT; } |
484 | 4.43M | UBool isMaybeOrNonZeroCC(uint16_t norm16) const { return norm16>=minMaybeYes; } |
485 | 0 | static UBool isInert(uint16_t norm16) { return norm16==0; } |
486 | 0 | static UBool isJamoL(uint16_t norm16) { return norm16==1; } |
487 | 4.91M | static UBool isJamoVT(uint16_t norm16) { return norm16==JAMO_VT; } |
488 | 4.05M | UBool isHangul(uint16_t norm16) const { return norm16==minYesNo; } |
489 | 19.1M | UBool isCompYesAndZeroCC(uint16_t norm16) const { return norm16<minNoNo; } |
490 | | // UBool isCompYes(uint16_t norm16) const { |
491 | | // return norm16>=MIN_YES_YES_WITH_CC || norm16<minNoNo; |
492 | | // } |
493 | | // UBool isCompYesOrMaybe(uint16_t norm16) const { |
494 | | // return norm16<minNoNo || minMaybeYes<=norm16; |
495 | | // } |
496 | | // UBool hasZeroCCFromDecompYes(uint16_t norm16) const { |
497 | | // return norm16<=MIN_NORMAL_MAYBE_YES || norm16==JAMO_VT; |
498 | | // } |
499 | 0 | UBool isDecompYesAndZeroCC(uint16_t norm16) const { |
500 | 0 | return norm16<minYesNo || |
501 | 0 | norm16==JAMO_VT || |
502 | 0 | (minMaybeYes<=norm16 && norm16<=MIN_NORMAL_MAYBE_YES); |
503 | 0 | } |
504 | | /** |
505 | | * A little faster and simpler than isDecompYesAndZeroCC() but does not include |
506 | | * the MaybeYes which combine-forward and have ccc=0. |
507 | | * (Standard Unicode 5.2 normalization does not have such characters.) |
508 | | */ |
509 | 0 | UBool isMostDecompYesAndZeroCC(uint16_t norm16) const { |
510 | 0 | return norm16<minYesNo || norm16==MIN_NORMAL_MAYBE_YES || norm16==JAMO_VT; |
511 | 0 | } |
512 | 7.46M | UBool isDecompNoAlgorithmic(uint16_t norm16) const { return norm16>=limitNoNo; } |
513 | | |
514 | | // For use with isCompYes(). |
515 | | // Perhaps the compiler can combine the two tests for MIN_YES_YES_WITH_CC. |
516 | | // static uint8_t getCCFromYes(uint16_t norm16) { |
517 | | // return norm16>=MIN_YES_YES_WITH_CC ? (uint8_t)norm16 : 0; |
518 | | // } |
519 | 0 | uint8_t getCCFromNoNo(uint16_t norm16) const { |
520 | 0 | const uint16_t *mapping=getMapping(norm16); |
521 | 0 | if(*mapping&MAPPING_HAS_CCC_LCCC_WORD) { |
522 | 0 | return (uint8_t)*(mapping-1); |
523 | 0 | } else { |
524 | 0 | return 0; |
525 | 0 | } |
526 | 0 | } |
527 | | // requires that the [cpStart..cpLimit[ character passes isCompYesAndZeroCC() |
528 | | uint8_t getTrailCCFromCompYesAndZeroCC(const UChar *cpStart, const UChar *cpLimit) const; |
529 | | |
530 | | // Requires algorithmic-NoNo. |
531 | 4.45M | UChar32 mapAlgorithmic(UChar32 c, uint16_t norm16) const { |
532 | 4.45M | return c+norm16-(minMaybeYes-MAX_DELTA-1); |
533 | 4.45M | } |
534 | | |
535 | | // Requires minYesNo<norm16<limitNoNo. |
536 | 3.01M | const uint16_t *getMapping(uint16_t norm16) const { return extraData+norm16; } |
537 | 2.29M | const uint16_t *getCompositionsListForDecompYes(uint16_t norm16) const { |
538 | 2.29M | if(norm16==0 || MIN_NORMAL_MAYBE_YES<=norm16) { |
539 | 1.23M | return NULL; |
540 | 1.23M | } else if(norm16<minMaybeYes) { |
541 | 1.06M | return extraData+norm16; // for yesYes; if Jamo L: harmless empty list |
542 | 1.06M | } else { |
543 | 0 | return maybeYesCompositions+norm16-minMaybeYes; |
544 | 0 | } |
545 | 2.29M | } |
546 | 4.45k | const uint16_t *getCompositionsListForComposite(uint16_t norm16) const { |
547 | 4.45k | const uint16_t *list=extraData+norm16; // composite has both mapping & compositions list |
548 | 4.45k | return list+ // mapping pointer |
549 | 4.45k | 1+ // +1 to skip the first unit with the mapping lenth |
550 | 4.45k | (*list&MAPPING_LENGTH_MASK); // + mapping length |
551 | 4.45k | } |
552 | | /** |
553 | | * @param c code point must have compositions |
554 | | * @return compositions list pointer |
555 | | */ |
556 | 0 | const uint16_t *getCompositionsList(uint16_t norm16) const { |
557 | 0 | return isDecompYes(norm16) ? |
558 | 0 | getCompositionsListForDecompYes(norm16) : |
559 | 0 | getCompositionsListForComposite(norm16); |
560 | 0 | } |
561 | | |
562 | | const UChar *copyLowPrefixFromNulTerminated(const UChar *src, |
563 | | UChar32 minNeedDataCP, |
564 | | ReorderingBuffer *buffer, |
565 | | UErrorCode &errorCode) const; |
566 | | UBool decomposeShort(const UChar *src, const UChar *limit, |
567 | | ReorderingBuffer &buffer, UErrorCode &errorCode) const; |
568 | | UBool decompose(UChar32 c, uint16_t norm16, |
569 | | ReorderingBuffer &buffer, UErrorCode &errorCode) const; |
570 | | |
571 | | static int32_t combine(const uint16_t *list, UChar32 trail); |
572 | | void addComposites(const uint16_t *list, UnicodeSet &set) const; |
573 | | void recompose(ReorderingBuffer &buffer, int32_t recomposeStartIndex, |
574 | | UBool onlyContiguous) const; |
575 | | |
576 | | UBool hasCompBoundaryBefore(UChar32 c, uint16_t norm16) const; |
577 | | const UChar *findPreviousCompBoundary(const UChar *start, const UChar *p) const; |
578 | | const UChar *findNextCompBoundary(const UChar *p, const UChar *limit) const; |
579 | | |
580 | | const UChar *findPreviousFCDBoundary(const UChar *start, const UChar *p) const; |
581 | | const UChar *findNextFCDBoundary(const UChar *p, const UChar *limit) const; |
582 | | |
583 | | int32_t getCanonValue(UChar32 c) const; |
584 | | const UnicodeSet &getCanonStartSet(int32_t n) const; |
585 | | |
586 | | // UVersionInfo dataVersion; |
587 | | |
588 | | // Code point thresholds for quick check codes. |
589 | | UChar32 minDecompNoCP; |
590 | | UChar32 minCompNoMaybeCP; |
591 | | |
592 | | // Norm16 value thresholds for quick check combinations and types of extra data. |
593 | | uint16_t minYesNo; |
594 | | uint16_t minYesNoMappingsOnly; |
595 | | uint16_t minNoNo; |
596 | | uint16_t limitNoNo; |
597 | | uint16_t minMaybeYes; |
598 | | |
599 | | const UTrie2 *normTrie; |
600 | | const uint16_t *maybeYesCompositions; |
601 | | const uint16_t *extraData; // mappings and/or compositions for yesYes, yesNo & noNo characters |
602 | | const uint8_t *smallFCD; // [0x100] one bit per 32 BMP code points, set if any FCD!=0 |
603 | | uint8_t tccc180[0x180]; // tccc values for U+0000..U+017F |
604 | | |
605 | | public: // CanonIterData is public to allow access from C callback functions. |
606 | | UInitOnce fCanonIterDataInitOnce; |
607 | | CanonIterData *fCanonIterData; |
608 | | }; |
609 | | |
610 | | // bits in canonIterData |
611 | 0 | #define CANON_NOT_SEGMENT_STARTER 0x80000000 |
612 | 0 | #define CANON_HAS_COMPOSITIONS 0x40000000 |
613 | 0 | #define CANON_HAS_SET 0x200000 |
614 | 0 | #define CANON_VALUE_MASK 0x1fffff |
615 | | |
616 | | /** |
617 | | * ICU-internal shortcut for quick access to standard Unicode normalization. |
618 | | */ |
619 | | class U_COMMON_API Normalizer2Factory { |
620 | | public: |
621 | | static const Normalizer2 *getFCDInstance(UErrorCode &errorCode); |
622 | | static const Normalizer2 *getFCCInstance(UErrorCode &errorCode); |
623 | | static const Normalizer2 *getNoopInstance(UErrorCode &errorCode); |
624 | | |
625 | | static const Normalizer2 *getInstance(UNormalizationMode mode, UErrorCode &errorCode); |
626 | | |
627 | | static const Normalizer2Impl *getNFCImpl(UErrorCode &errorCode); |
628 | | static const Normalizer2Impl *getNFKCImpl(UErrorCode &errorCode); |
629 | | static const Normalizer2Impl *getNFKC_CFImpl(UErrorCode &errorCode); |
630 | | |
631 | | // Get the Impl instance of the Normalizer2. |
632 | | // Must be used only when it is known that norm2 is a Normalizer2WithImpl instance. |
633 | | static const Normalizer2Impl *getImpl(const Normalizer2 *norm2); |
634 | | private: |
635 | | Normalizer2Factory(); // No instantiation. |
636 | | }; |
637 | | |
638 | | U_NAMESPACE_END |
639 | | |
640 | | U_CAPI int32_t U_EXPORT2 |
641 | | unorm2_swap(const UDataSwapper *ds, |
642 | | const void *inData, int32_t length, void *outData, |
643 | | UErrorCode *pErrorCode); |
644 | | |
645 | | /** |
646 | | * Get the NF*_QC property for a code point, for u_getIntPropertyValue(). |
647 | | * @internal |
648 | | */ |
649 | | U_CFUNC UNormalizationCheckResult |
650 | | unorm_getQuickCheck(UChar32 c, UNormalizationMode mode); |
651 | | |
652 | | /** |
653 | | * Gets the 16-bit FCD value (lead & trail CCs) for a code point, for u_getIntPropertyValue(). |
654 | | * @internal |
655 | | */ |
656 | | U_CFUNC uint16_t |
657 | | unorm_getFCD16(UChar32 c); |
658 | | |
659 | | /** |
660 | | * Format of Normalizer2 .nrm data files. |
661 | | * Format version 2.0. |
662 | | * |
663 | | * Normalizer2 .nrm data files provide data for the Unicode Normalization algorithms. |
664 | | * ICU ships with data files for standard Unicode Normalization Forms |
665 | | * NFC and NFD (nfc.nrm), NFKC and NFKD (nfkc.nrm) and NFKC_Casefold (nfkc_cf.nrm). |
666 | | * Custom (application-specific) data can be built into additional .nrm files |
667 | | * with the gennorm2 build tool. |
668 | | * |
669 | | * Normalizer2.getInstance() causes a .nrm file to be loaded, unless it has been |
670 | | * cached already. Internally, Normalizer2Impl.load() reads the .nrm file. |
671 | | * |
672 | | * A .nrm file begins with a standard ICU data file header |
673 | | * (DataHeader, see ucmndata.h and unicode/udata.h). |
674 | | * The UDataInfo.dataVersion field usually contains the Unicode version |
675 | | * for which the data was generated. |
676 | | * |
677 | | * After the header, the file contains the following parts. |
678 | | * Constants are defined as enum values of the Normalizer2Impl class. |
679 | | * |
680 | | * Many details of the data structures are described in the design doc |
681 | | * which is at http://site.icu-project.org/design/normalization/custom |
682 | | * |
683 | | * int32_t indexes[indexesLength]; -- indexesLength=indexes[IX_NORM_TRIE_OFFSET]/4; |
684 | | * |
685 | | * The first eight indexes are byte offsets in ascending order. |
686 | | * Each byte offset marks the start of the next part in the data file, |
687 | | * and the end of the previous one. |
688 | | * When two consecutive byte offsets are the same, then the corresponding part is empty. |
689 | | * Byte offsets are offsets from after the header, |
690 | | * that is, from the beginning of the indexes[]. |
691 | | * Each part starts at an offset with proper alignment for its data. |
692 | | * If necessary, the previous part may include padding bytes to achieve this alignment. |
693 | | * |
694 | | * minDecompNoCP=indexes[IX_MIN_DECOMP_NO_CP] is the lowest code point |
695 | | * with a decomposition mapping, that is, with NF*D_QC=No. |
696 | | * minCompNoMaybeCP=indexes[IX_MIN_COMP_NO_MAYBE_CP] is the lowest code point |
697 | | * with NF*C_QC=No (has a one-way mapping) or Maybe (combines backward). |
698 | | * |
699 | | * The next five indexes are thresholds of 16-bit trie values for ranges of |
700 | | * values indicating multiple normalization properties. |
701 | | * minYesNo=indexes[IX_MIN_YES_NO]; |
702 | | * minNoNo=indexes[IX_MIN_NO_NO]; |
703 | | * limitNoNo=indexes[IX_LIMIT_NO_NO]; |
704 | | * minMaybeYes=indexes[IX_MIN_MAYBE_YES]; |
705 | | * minYesNoMappingsOnly=indexes[IX_MIN_YES_NO_MAPPINGS_ONLY]; |
706 | | * See the normTrie description below and the design doc for details. |
707 | | * |
708 | | * UTrie2 normTrie; -- see utrie2_impl.h and utrie2.h |
709 | | * |
710 | | * The trie holds the main normalization data. Each code point is mapped to a 16-bit value. |
711 | | * Rather than using independent bits in the value (which would require more than 16 bits), |
712 | | * information is extracted primarily via range checks. |
713 | | * For example, a 16-bit value norm16 in the range minYesNo<=norm16<minNoNo |
714 | | * means that the character has NF*C_QC=Yes and NF*D_QC=No properties, |
715 | | * which means it has a two-way (round-trip) decomposition mapping. |
716 | | * Values in the range 2<=norm16<limitNoNo are also directly indexes into the extraData |
717 | | * pointing to mappings, compositions lists, or both. |
718 | | * Value norm16==0 means that the character is normalization-inert, that is, |
719 | | * it does not have a mapping, does not participate in composition, has a zero |
720 | | * canonical combining class, and forms a boundary where text before it and after it |
721 | | * can be normalized independently. |
722 | | * For details about how multiple properties are encoded in 16-bit values |
723 | | * see the design doc. |
724 | | * Note that the encoding cannot express all combinations of the properties involved; |
725 | | * it only supports those combinations that are allowed by |
726 | | * the Unicode Normalization algorithms. Details are in the design doc as well. |
727 | | * The gennorm2 tool only builds .nrm files for data that conforms to the limitations. |
728 | | * |
729 | | * The trie has a value for each lead surrogate code unit representing the "worst case" |
730 | | * properties of the 1024 supplementary characters whose UTF-16 form starts with |
731 | | * the lead surrogate. If all of the 1024 supplementary characters are normalization-inert, |
732 | | * then their lead surrogate code unit has the trie value 0. |
733 | | * When the lead surrogate unit's value exceeds the quick check minimum during processing, |
734 | | * the properties for the full supplementary code point need to be looked up. |
735 | | * |
736 | | * uint16_t maybeYesCompositions[MIN_NORMAL_MAYBE_YES-minMaybeYes]; |
737 | | * uint16_t extraData[]; |
738 | | * |
739 | | * There is only one byte offset for the end of these two arrays. |
740 | | * The split between them is given by the constant and variable mentioned above. |
741 | | * |
742 | | * The maybeYesCompositions array contains compositions lists for characters that |
743 | | * combine both forward (as starters in composition pairs) |
744 | | * and backward (as trailing characters in composition pairs). |
745 | | * Such characters do not occur in Unicode 5.2 but are allowed by |
746 | | * the Unicode Normalization algorithms. |
747 | | * If there are no such characters, then minMaybeYes==MIN_NORMAL_MAYBE_YES |
748 | | * and the maybeYesCompositions array is empty. |
749 | | * If there are such characters, then minMaybeYes is subtracted from their norm16 values |
750 | | * to get the index into this array. |
751 | | * |
752 | | * The extraData array contains compositions lists for "YesYes" characters, |
753 | | * followed by mappings and optional compositions lists for "YesNo" characters, |
754 | | * followed by only mappings for "NoNo" characters. |
755 | | * (Referring to pairs of NFC/NFD quick check values.) |
756 | | * The norm16 values of those characters are directly indexes into the extraData array. |
757 | | * |
758 | | * The data structures for compositions lists and mappings are described in the design doc. |
759 | | * |
760 | | * uint8_t smallFCD[0x100]; -- new in format version 2 |
761 | | * |
762 | | * This is a bit set to help speed up FCD value lookups in the absence of a full |
763 | | * UTrie2 or other large data structure with the full FCD value mapping. |
764 | | * |
765 | | * Each smallFCD bit is set if any of the corresponding 32 BMP code points |
766 | | * has a non-zero FCD value (lccc!=0 or tccc!=0). |
767 | | * Bit 0 of smallFCD[0] is for U+0000..U+001F. Bit 7 of smallFCD[0xff] is for U+FFE0..U+FFFF. |
768 | | * A bit for 32 lead surrogates is set if any of the 32k corresponding |
769 | | * _supplementary_ code points has a non-zero FCD value. |
770 | | * |
771 | | * This bit set is most useful for the large blocks of CJK characters with FCD=0. |
772 | | * |
773 | | * Changes from format version 1 to format version 2 --------------------------- |
774 | | * |
775 | | * - Addition of data for raw (not recursively decomposed) mappings. |
776 | | * + The MAPPING_NO_COMP_BOUNDARY_AFTER bit in the extraData is now also set when |
777 | | * the mapping is to an empty string or when the character combines-forward. |
778 | | * This subsumes the one actual use of the MAPPING_PLUS_COMPOSITION_LIST bit which |
779 | | * is then repurposed for the MAPPING_HAS_RAW_MAPPING bit. |
780 | | * + For details see the design doc. |
781 | | * - Addition of indexes[IX_MIN_YES_NO_MAPPINGS_ONLY] and separation of the yesNo extraData into |
782 | | * distinct ranges (combines-forward vs. not) |
783 | | * so that a range check can be used to find out if there is a compositions list. |
784 | | * This is fully equivalent with formatVersion 1's MAPPING_PLUS_COMPOSITION_LIST flag. |
785 | | * It is needed for the new (in ICU 49) composePair(), not for other normalization. |
786 | | * - Addition of the smallFCD[] bit set. |
787 | | */ |
788 | | |
789 | | #endif /* !UCONFIG_NO_NORMALIZATION */ |
790 | | #endif /* __NORMALIZER2IMPL_H__ */ |