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