1 /* 2 ******************************************************************************* 3 * 4 * Copyright (C) 2009-2014, International Business Machines 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" 25 #include "unicode/unistr.h" 26 #include "unicode/unorm.h" 27 #include "unicode/utf16.h" 28 #include "mutex.h" 29 #include "uset_imp.h" 30 #include "utrie2.h" 31 32 U_NAMESPACE_BEGIN 33 34 struct CanonIterData; 35 36 class U_COMMON_API Hangul { 37 public: 38 /* Korean Hangul and Jamo constants */ 39 enum { 40 JAMO_L_BASE=0x1100, /* "lead" jamo */ 41 JAMO_L_END=0x1112, 42 JAMO_V_BASE=0x1161, /* "vowel" jamo */ 43 JAMO_V_END=0x1175, 44 JAMO_T_BASE=0x11a7, /* "trail" jamo */ 45 JAMO_T_END=0x11c2, 46 47 HANGUL_BASE=0xac00, 48 HANGUL_END=0xd7a3, 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 isHangul(UChar32 c)60 static inline UBool isHangul(UChar32 c) { 61 return HANGUL_BASE<=c && c<HANGUL_LIMIT; 62 } 63 static inline UBool isHangulWithoutJamoT(UChar c)64 isHangulWithoutJamoT(UChar c) { 65 c-=HANGUL_BASE; 66 return c<HANGUL_COUNT && c%JAMO_T_COUNT==0; 67 } isJamoL(UChar32 c)68 static inline UBool isJamoL(UChar32 c) { 69 return (uint32_t)(c-JAMO_L_BASE)<JAMO_L_COUNT; 70 } isJamoV(UChar32 c)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 */ decompose(UChar32 c,UChar buffer[3])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 } 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 */ getRawDecomposition(UChar32 c,UChar buffer[2])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 } 110 private: 111 Hangul(); // no instantiation 112 }; 113 114 class Normalizer2Impl; 115 116 class U_COMMON_API ReorderingBuffer : public UMemory { 117 public: ReorderingBuffer(const Normalizer2Impl & ni,UnicodeString & dest)118 ReorderingBuffer(const Normalizer2Impl &ni, UnicodeString &dest) : 119 impl(ni), str(dest), 120 start(NULL), reorderStart(NULL), limit(NULL), 121 remainingCapacity(0), lastCC(0) {} ~ReorderingBuffer()122 ~ReorderingBuffer() { 123 if(start!=NULL) { 124 str.releaseBuffer((int32_t)(limit-start)); 125 } 126 } 127 UBool init(int32_t destCapacity, UErrorCode &errorCode); 128 isEmpty()129 UBool isEmpty() const { return start==limit; } length()130 int32_t length() const { return (int32_t)(limit-start); } getStart()131 UChar *getStart() { return start; } getLimit()132 UChar *getLimit() { return limit; } getLastCC()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. setLastChar(UChar c)138 void setLastChar(UChar c) { 139 *(limit-1)=c; 140 } 141 append(UChar32 c,uint8_t cc,UErrorCode & errorCode)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); appendBMP(UChar c,uint8_t cc,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); setReorderingLimit(UChar * newLimit)171 void setReorderingLimit(UChar *newLimit) { 172 remainingCapacity+=(int32_t)(limit-newLimit); 173 reorderStart=limit=newLimit; 174 lastCC=0; 175 } copyReorderableSuffixTo(UnicodeString & s)176 void copyReorderableSuffixTo(UnicodeString &s) const { 177 s.setTo(reorderStart, (int32_t)(limit-reorderStart)); 178 } 179 private: 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); writeCodePoint(UChar * p,UChar32 c)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 setIterator()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 219 class U_COMMON_API Normalizer2Impl : public UObject { 220 public: Normalizer2Impl()221 Normalizer2Impl() : normTrie(NULL), fCanonIterData(NULL) { 222 fCanonIterDataInitOnce.reset(); 223 } 224 virtual ~Normalizer2Impl(); 225 226 void init(const int32_t *inIndexes, const UTrie2 *inTrie, 227 const uint16_t *inExtraData, const uint8_t *inSmallFCD); 228 229 void addLcccChars(UnicodeSet &set) const; 230 void addPropertyStarts(const USetAdder *sa, UErrorCode &errorCode) const; 231 void addCanonIterPropertyStarts(const USetAdder *sa, UErrorCode &errorCode) const; 232 233 // low-level properties ------------------------------------------------ *** 234 getNormTrie()235 const UTrie2 *getNormTrie() const { return normTrie; } 236 237 UBool ensureCanonIterData(UErrorCode &errorCode) const; 238 getNorm16(UChar32 c)239 uint16_t getNorm16(UChar32 c) const { return UTRIE2_GET16(normTrie, c); } 240 getCompQuickCheck(uint16_t norm16)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 } isAlgorithmicNoNo(uint16_t norm16)250 UBool isAlgorithmicNoNo(uint16_t norm16) const { return limitNoNo<=norm16 && norm16<minMaybeYes; } isCompNo(uint16_t norm16)251 UBool isCompNo(uint16_t norm16) const { return minNoNo<=norm16 && norm16<minMaybeYes; } isDecompYes(uint16_t norm16)252 UBool isDecompYes(uint16_t norm16) const { return norm16<minYesNo || minMaybeYes<=norm16; } 253 getCC(uint16_t norm16)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 } getCCFromYesOrMaybe(uint16_t norm16)263 static uint8_t getCCFromYesOrMaybe(uint16_t norm16) { 264 return norm16>=MIN_NORMAL_MAYBE_YES ? (uint8_t)norm16 : 0; 265 } 266 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 */ getFCD16(UChar32 c)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); 281 } 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 */ nextFCD16(const UChar * & s,const UChar * limit)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); 303 } 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 */ previousFCD16(const UChar * start,const UChar * & s)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); 327 } 328 329 /** Returns the FCD data for U+0000<=c<U+0180. */ getFCD16FromBelow180(UChar32 c)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. */ singleLeadMightHaveNonZeroFCD16(UChar32 lead)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; 340 341 void makeCanonIterDataFromNorm16(UChar32 start, UChar32 end, uint16_t norm16, 342 CanonIterData &newData, UErrorCode &errorCode) const; 343 344 /** 345 * Gets the decomposition for one code point. 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 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 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, 383 IX_SMALL_FCD_OFFSET, 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. 395 IX_MIN_YES_NO, // Mappings & compositions in [minYesNo..minYesNoMappingsOnly[. 396 IX_MIN_NO_NO, 397 IX_LIMIT_NO_NO, 398 IX_MIN_MAYBE_YES, 399 400 IX_MIN_YES_NO_MAPPINGS_ONLY, // Mappings only in [minYesNoMappingsOnly..minNoNo[. 401 402 IX_RESERVED15, 403 IX_COUNT 404 }; 405 406 enum { 407 MAPPING_HAS_CCC_LCCC_WORD=0x80, 408 MAPPING_HAS_RAW_MAPPING=0x40, 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 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 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, 441 UnicodeString &safeMiddle, 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, 455 UnicodeString &safeMiddle, 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, 462 UnicodeString &safeMiddle, 463 ReorderingBuffer &buffer, 464 UErrorCode &errorCode) const; 465 466 UBool hasDecompBoundary(UChar32 c, UBool before) const; isDecompInert(UChar32 c)467 UBool isDecompInert(UChar32 c) const { return isDecompYesAndZeroCC(getNorm16(c)); } 468 hasCompBoundaryBefore(UChar32 c)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 hasFCDBoundaryBefore(UChar32 c)474 UBool hasFCDBoundaryBefore(UChar32 c) const { return c<MIN_CCC_LCCC_CP || getFCD16(c)<=0xff; } hasFCDBoundaryAfter(UChar32 c)475 UBool hasFCDBoundaryAfter(UChar32 c) const { 476 uint16_t fcd16=getFCD16(c); 477 return fcd16<=1 || (fcd16&0xff)==0; 478 } isFCDInert(UChar32 c)479 UBool isFCDInert(UChar32 c) const { return getFCD16(c)<=1; } 480 private: isMaybe(uint16_t norm16)481 UBool isMaybe(uint16_t norm16) const { return minMaybeYes<=norm16 && norm16<=JAMO_VT; } isMaybeOrNonZeroCC(uint16_t norm16)482 UBool isMaybeOrNonZeroCC(uint16_t norm16) const { return norm16>=minMaybeYes; } isInert(uint16_t norm16)483 static UBool isInert(uint16_t norm16) { return norm16==0; } isJamoL(uint16_t norm16)484 static UBool isJamoL(uint16_t norm16) { return norm16==1; } isJamoVT(uint16_t norm16)485 static UBool isJamoVT(uint16_t norm16) { return norm16==JAMO_VT; } isHangul(uint16_t norm16)486 UBool isHangul(uint16_t norm16) const { return norm16==minYesNo; } isCompYesAndZeroCC(uint16_t norm16)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 // } isDecompYesAndZeroCC(uint16_t norm16)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 */ isMostDecompYesAndZeroCC(uint16_t norm16)507 UBool isMostDecompYesAndZeroCC(uint16_t norm16) const { 508 return norm16<minYesNo || norm16==MIN_NORMAL_MAYBE_YES || norm16==JAMO_VT; 509 } isDecompNoAlgorithmic(uint16_t norm16)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 // } getCCFromNoNo(uint16_t norm16)517 uint8_t getCCFromNoNo(uint16_t norm16) const { 518 const uint16_t *mapping=getMapping(norm16); 519 if(*mapping&MAPPING_HAS_CCC_LCCC_WORD) { 520 return (uint8_t)*(mapping-1); 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. mapAlgorithmic(UChar32 c,uint16_t norm16)529 UChar32 mapAlgorithmic(UChar32 c, uint16_t norm16) const { 530 return c+norm16-(minMaybeYes-MAX_DELTA-1); 531 } 532 533 // Requires minYesNo<norm16<limitNoNo. getMapping(uint16_t norm16)534 const uint16_t *getMapping(uint16_t norm16) const { return extraData+norm16; } getCompositionsListForDecompYes(uint16_t 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 } getCompositionsListForComposite(uint16_t norm16)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 548 (*list&MAPPING_LENGTH_MASK); // + mapping length 549 } 550 /** 551 * @param c code point must have compositions 552 * @return compositions list pointer 553 */ getCompositionsList(uint16_t norm16)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 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 584 // UVersionInfo dataVersion; 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; 592 uint16_t minYesNoMappingsOnly; 593 uint16_t minNoNo; 594 uint16_t limitNoNo; 595 uint16_t minMaybeYes; 596 597 const UTrie2 *normTrie; 598 const uint16_t *maybeYesCompositions; 599 const uint16_t *extraData; // mappings and/or compositions for yesYes, yesNo & noNo characters 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 602 603 public: // CanonIterData is public to allow access from C callback functions. 604 UInitOnce fCanonIterDataInitOnce; 605 CanonIterData *fCanonIterData; 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 */ 617 class U_COMMON_API Normalizer2Factory { 618 public: 619 static const Normalizer2 *getFCDInstance(UErrorCode &errorCode); 620 static const Normalizer2 *getFCCInstance(UErrorCode &errorCode); 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); 632 private: 633 Normalizer2Factory(); // No instantiation. 634 }; 635 636 U_NAMESPACE_END 637 638 U_CAPI int32_t U_EXPORT2 639 unorm2_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 */ 647 U_CFUNC UNormalizationCheckResult 648 unorm_getQuickCheck(UChar32 c, UNormalizationMode mode); 649 650 /** 651 * Gets the 16-bit FCD value (lead & trail CCs) for a code point, for u_getIntPropertyValue(). 652 * @internal 653 */ 654 U_CFUNC uint16_t 655 unorm_getFCD16(UChar32 c); 656 657 /** 658 * Format of Normalizer2 .nrm data files. 659 * Format version 2.0. 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 * 697 * The next five indexes are thresholds of 16-bit trie values for ranges of 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]; 703 * minYesNoMappingsOnly=indexes[IX_MIN_YES_NO_MAPPINGS_ONLY]; 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 715 * pointing to mappings, compositions lists, or both. 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 * 740 * The maybeYesCompositions array contains compositions lists for characters that 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 * 750 * The extraData array contains compositions lists for "YesYes" characters, 751 * followed by mappings and optional compositions lists for "YesNo" characters, 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 * 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. 785 */ 786 787 #endif /* !UCONFIG_NO_NORMALIZATION */ 788 #endif /* __NORMALIZER2IMPL_H__ */ 789