Coverage Report

Created: 2025-06-24 06:43

/src/icu/source/i18n/collationbuilder.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
* Copyright (C) 2013-2014, International Business Machines
6
* Corporation and others.  All Rights Reserved.
7
*******************************************************************************
8
* collationbuilder.h
9
*
10
* created on: 2013may06
11
* created by: Markus W. Scherer
12
*/
13
14
#ifndef __COLLATIONBUILDER_H__
15
#define __COLLATIONBUILDER_H__
16
17
#include "unicode/utypes.h"
18
19
#if !UCONFIG_NO_COLLATION
20
21
#include "unicode/uniset.h"
22
#include "unicode/unistr.h"
23
#include "collationrootelements.h"
24
#include "collationruleparser.h"
25
#include "uvectr32.h"
26
#include "uvectr64.h"
27
28
struct UParseError;
29
30
U_NAMESPACE_BEGIN
31
32
struct CollationData;
33
struct CollationTailoring;
34
35
class CEFinalizer;
36
class CollationDataBuilder;
37
class Normalizer2;
38
class Normalizer2Impl;
39
40
class U_I18N_API CollationBuilder : public CollationRuleParser::Sink {
41
public:
42
    CollationBuilder(const CollationTailoring *base, UErrorCode &errorCode);
43
    virtual ~CollationBuilder();
44
45
0
    void disableFastLatin() { fastLatinEnabled = false; }
46
47
    CollationTailoring *parseAndBuild(const UnicodeString &ruleString,
48
                                      const UVersionInfo rulesVersion,
49
                                      CollationRuleParser::Importer *importer,
50
                                      UParseError *outParseError,
51
                                      UErrorCode &errorCode);
52
53
0
    const char *getErrorReason() const { return errorReason; }
54
55
private:
56
    friend class CEFinalizer;
57
58
    /** Implements CollationRuleParser::Sink. */
59
    virtual void addReset(int32_t strength, const UnicodeString &str,
60
                          const char *&errorReason, UErrorCode &errorCode);
61
    /**
62
     * Returns the secondary or tertiary weight preceding the current node's weight.
63
     * node=nodes[index].
64
     */
65
    uint32_t getWeight16Before(int32_t index, int64_t node, int32_t level);
66
67
    int64_t getSpecialResetPosition(const UnicodeString &str,
68
                                    const char *&parserErrorReason, UErrorCode &errorCode);
69
70
    /** Implements CollationRuleParser::Sink. */
71
    virtual void addRelation(int32_t strength, const UnicodeString &prefix,
72
                             const UnicodeString &str, const UnicodeString &extension,
73
                             const char *&errorReason, UErrorCode &errorCode);
74
75
    /**
76
     * Picks one of the current CEs and finds or inserts a node in the graph
77
     * for the CE + strength.
78
     */
79
    int32_t findOrInsertNodeForCEs(int32_t strength, const char *&parserErrorReason,
80
                                   UErrorCode &errorCode);
81
    int32_t findOrInsertNodeForRootCE(int64_t ce, int32_t strength, UErrorCode &errorCode);
82
    /** Finds or inserts the node for a root CE's primary weight. */
83
    int32_t findOrInsertNodeForPrimary(uint32_t p, UErrorCode &errorCode);
84
    /** Finds or inserts the node for a secondary or tertiary weight. */
85
    int32_t findOrInsertWeakNode(int32_t index, uint32_t weight16, int32_t level,
86
                                 UErrorCode &errorCode);
87
88
    /**
89
     * Makes and inserts a new tailored node into the list, after the one at index.
90
     * Skips over nodes of weaker strength to maintain collation order
91
     * ("postpone insertion").
92
     * @return the new node's index
93
     */
94
    int32_t insertTailoredNodeAfter(int32_t index, int32_t strength, UErrorCode &errorCode);
95
96
    /**
97
     * Inserts a new node into the list, between list-adjacent items.
98
     * The node's previous and next indexes must not be set yet.
99
     * @return the new node's index
100
     */
101
    int32_t insertNodeBetween(int32_t index, int32_t nextIndex, int64_t node,
102
                              UErrorCode &errorCode);
103
104
    /**
105
     * Finds the node which implies or contains a common=05 weight of the given strength
106
     * (secondary or tertiary), if the current node is stronger.
107
     * Skips weaker nodes and tailored nodes if the current node is stronger
108
     * and is followed by an explicit-common-weight node.
109
     * Always returns the input index if that node is no stronger than the given strength.
110
     */
111
    int32_t findCommonNode(int32_t index, int32_t strength) const;
112
113
    void setCaseBits(const UnicodeString &nfdString,
114
                     const char *&parserErrorReason, UErrorCode &errorCode);
115
116
    /** Implements CollationRuleParser::Sink. */
117
    virtual void suppressContractions(const UnicodeSet &set, const char *&parserErrorReason,
118
                                      UErrorCode &errorCode);
119
120
    /** Implements CollationRuleParser::Sink. */
121
    virtual void optimize(const UnicodeSet &set, const char *&parserErrorReason,
122
                          UErrorCode &errorCode);
123
124
    /**
125
     * Adds the mapping and its canonical closure.
126
     * Takes ce32=dataBuilder->encodeCEs(...) so that the data builder
127
     * need not re-encode the CEs multiple times.
128
     */
129
    uint32_t addWithClosure(const UnicodeString &nfdPrefix, const UnicodeString &nfdString,
130
                            const int64_t newCEs[], int32_t newCEsLength, uint32_t ce32,
131
                            UErrorCode &errorCode);
132
    uint32_t addOnlyClosure(const UnicodeString &nfdPrefix, const UnicodeString &nfdString,
133
                            const int64_t newCEs[], int32_t newCEsLength, uint32_t ce32,
134
                            UErrorCode &errorCode);
135
    void addTailComposites(const UnicodeString &nfdPrefix, const UnicodeString &nfdString,
136
                           UErrorCode &errorCode);
137
    UBool mergeCompositeIntoString(const UnicodeString &nfdString, int32_t indexAfterLastStarter,
138
                                   UChar32 composite, const UnicodeString &decomp,
139
                                   UnicodeString &newNFDString, UnicodeString &newString,
140
                                   UErrorCode &errorCode) const;
141
142
    UBool ignorePrefix(const UnicodeString &s, UErrorCode &errorCode) const;
143
    UBool ignoreString(const UnicodeString &s, UErrorCode &errorCode) const;
144
    UBool isFCD(const UnicodeString &s, UErrorCode &errorCode) const;
145
146
    void closeOverComposites(UErrorCode &errorCode);
147
148
    uint32_t addIfDifferent(const UnicodeString &prefix, const UnicodeString &str,
149
                            const int64_t newCEs[], int32_t newCEsLength, uint32_t ce32,
150
                            UErrorCode &errorCode);
151
    static UBool sameCEs(const int64_t ces1[], int32_t ces1Length,
152
                         const int64_t ces2[], int32_t ces2Length);
153
154
    /**
155
     * Walks the tailoring graph and overwrites tailored nodes with new CEs.
156
     * After this, the graph is destroyed.
157
     * The nodes array can then be used only as a source of tailored CEs.
158
     */
159
    void makeTailoredCEs(UErrorCode &errorCode);
160
    /**
161
     * Counts the tailored nodes of the given strength up to the next node
162
     * which is either stronger or has an explicit weight of this strength.
163
     */
164
    static int32_t countTailoredNodes(const int64_t *nodesArray, int32_t i, int32_t strength);
165
166
    /** Replaces temporary CEs with the final CEs they point to. */
167
    void finalizeCEs(UErrorCode &errorCode);
168
169
    /**
170
     * Encodes "temporary CE" data into a CE that fits into the CE32 data structure,
171
     * with 2-byte primary, 1-byte secondary and 6-bit tertiary,
172
     * with valid CE byte values.
173
     *
174
     * The index must not exceed 20 bits (0xfffff).
175
     * The strength must fit into 2 bits (UCOL_PRIMARY..UCOL_QUATERNARY).
176
     *
177
     * Temporary CEs are distinguished from real CEs by their use of
178
     * secondary weights 06..45 which are otherwise reserved for compressed sort keys.
179
     *
180
     * The case bits are unused and available.
181
     */
182
0
    static inline int64_t tempCEFromIndexAndStrength(int32_t index, int32_t strength) {
183
0
        return
184
            // CE byte offsets, to ensure valid CE bytes, and case bits 11
185
0
            INT64_C(0x4040000006002000) +
186
            // index bits 19..13 -> primary byte 1 = CE bits 63..56 (byte values 40..BF)
187
0
            ((int64_t)(index & 0xfe000) << 43) +
188
            // index bits 12..6 -> primary byte 2 = CE bits 55..48 (byte values 40..BF)
189
0
            ((int64_t)(index & 0x1fc0) << 42) +
190
            // index bits 5..0 -> secondary byte 1 = CE bits 31..24 (byte values 06..45)
191
0
            ((index & 0x3f) << 24) +
192
            // strength bits 1..0 -> tertiary byte 1 = CE bits 13..8 (byte values 20..23)
193
0
            (strength << 8);
194
0
    }
195
0
    static inline int32_t indexFromTempCE(int64_t tempCE) {
196
0
        tempCE -= INT64_C(0x4040000006002000);
197
0
        return
198
0
            ((int32_t)(tempCE >> 43) & 0xfe000) |
199
0
            ((int32_t)(tempCE >> 42) & 0x1fc0) |
200
0
            ((int32_t)(tempCE >> 24) & 0x3f);
201
0
    }
202
0
    static inline int32_t strengthFromTempCE(int64_t tempCE) {
203
0
        return ((int32_t)tempCE >> 8) & 3;
204
0
    }
205
0
    static inline UBool isTempCE(int64_t ce) {
206
0
        uint32_t sec = (uint32_t)ce >> 24;
207
0
        return 6 <= sec && sec <= 0x45;
208
0
    }
209
210
0
    static inline int32_t indexFromTempCE32(uint32_t tempCE32) {
211
0
        tempCE32 -= 0x40400620;
212
0
        return
213
0
            ((int32_t)(tempCE32 >> 11) & 0xfe000) |
214
0
            ((int32_t)(tempCE32 >> 10) & 0x1fc0) |
215
0
            ((int32_t)(tempCE32 >> 8) & 0x3f);
216
0
    }
217
0
    static inline UBool isTempCE32(uint32_t ce32) {
218
0
        return
219
0
            (ce32 & 0xff) >= 2 &&  // not a long-primary/long-secondary CE32
220
0
            6 <= ((ce32 >> 8) & 0xff) && ((ce32 >> 8) & 0xff) <= 0x45;
221
0
    }
222
223
    static int32_t ceStrength(int64_t ce);
224
225
    /** At most 1M nodes, limited by the 20 bits in node bit fields. */
226
    static const int32_t MAX_INDEX = 0xfffff;
227
    /**
228
     * Node bit 6 is set on a primary node if there are nodes
229
     * with secondary values below the common secondary weight (05).
230
     */
231
    static const int32_t HAS_BEFORE2 = 0x40;
232
    /**
233
     * Node bit 5 is set on a primary or secondary node if there are nodes
234
     * with tertiary values below the common tertiary weight (05).
235
     */
236
    static const int32_t HAS_BEFORE3 = 0x20;
237
    /**
238
     * Node bit 3 distinguishes a tailored node, which has no weight value,
239
     * from a node with an explicit (root or default) weight.
240
     */
241
    static const int32_t IS_TAILORED = 8;
242
243
0
    static inline int64_t nodeFromWeight32(uint32_t weight32) {
244
0
        return (int64_t)weight32 << 32;
245
0
    }
246
0
    static inline int64_t nodeFromWeight16(uint32_t weight16) {
247
0
        return (int64_t)weight16 << 48;
248
0
    }
249
0
    static inline int64_t nodeFromPreviousIndex(int32_t previous) {
250
0
        return (int64_t)previous << 28;
251
0
    }
252
0
    static inline int64_t nodeFromNextIndex(int32_t next) {
253
0
        return next << 8;
254
0
    }
255
0
    static inline int64_t nodeFromStrength(int32_t strength) {
256
0
        return strength;
257
0
    }
258
259
0
    static inline uint32_t weight32FromNode(int64_t node) {
260
0
        return (uint32_t)(node >> 32);
261
0
    }
262
0
    static inline uint32_t weight16FromNode(int64_t node) {
263
0
        return (uint32_t)(node >> 48) & 0xffff;
264
0
    }
265
0
    static inline int32_t previousIndexFromNode(int64_t node) {
266
0
        return (int32_t)(node >> 28) & MAX_INDEX;
267
0
    }
268
0
    static inline int32_t nextIndexFromNode(int64_t node) {
269
0
        return ((int32_t)node >> 8) & MAX_INDEX;
270
0
    }
271
0
    static inline int32_t strengthFromNode(int64_t node) {
272
0
        return (int32_t)node & 3;
273
0
    }
274
275
0
    static inline UBool nodeHasBefore2(int64_t node) {
276
0
        return (node & HAS_BEFORE2) != 0;
277
0
    }
278
0
    static inline UBool nodeHasBefore3(int64_t node) {
279
0
        return (node & HAS_BEFORE3) != 0;
280
0
    }
281
0
    static inline UBool nodeHasAnyBefore(int64_t node) {
282
0
        return (node & (HAS_BEFORE2 | HAS_BEFORE3)) != 0;
283
0
    }
284
0
    static inline UBool isTailoredNode(int64_t node) {
285
0
        return (node & IS_TAILORED) != 0;
286
0
    }
287
288
0
    static inline int64_t changeNodePreviousIndex(int64_t node, int32_t previous) {
289
0
        return (node & INT64_C(0xffff00000fffffff)) | nodeFromPreviousIndex(previous);
290
0
    }
291
0
    static inline int64_t changeNodeNextIndex(int64_t node, int32_t next) {
292
0
        return (node & INT64_C(0xfffffffff00000ff)) | nodeFromNextIndex(next);
293
0
    }
294
295
    const Normalizer2 &nfd, &fcd;
296
    const Normalizer2Impl &nfcImpl;
297
298
    const CollationTailoring *base;
299
    const CollationData *baseData;
300
    const CollationRootElements rootElements;
301
    uint32_t variableTop;
302
303
    CollationDataBuilder *dataBuilder;
304
    UBool fastLatinEnabled;
305
    UnicodeSet optimizeSet;
306
    const char *errorReason;
307
308
    int64_t ces[Collation::MAX_EXPANSION_LENGTH];
309
    int32_t cesLength;
310
311
    /**
312
     * Indexes of nodes with root primary weights, sorted by primary.
313
     * Compact form of a TreeMap from root primary to node index.
314
     *
315
     * This is a performance optimization for finding reset positions.
316
     * Without this, we would have to search through the entire nodes list.
317
     * It also allows storing root primary weights in list head nodes,
318
     * without previous index, leaving room in root primary nodes for 32-bit primary weights.
319
     */
320
    UVector32 rootPrimaryIndexes;
321
    /**
322
     * Data structure for assigning tailored weights and CEs.
323
     * Doubly-linked lists of nodes in mostly collation order.
324
     * Each list starts with a root primary node and ends with a nextIndex of 0.
325
     *
326
     * When there are any nodes in the list, then there is always a root primary node at index 0.
327
     * This allows some code not to have to check explicitly for nextIndex==0.
328
     *
329
     * Root primary nodes have 32-bit weights but do not have previous indexes.
330
     * All other nodes have at most 16-bit weights and do have previous indexes.
331
     *
332
     * Nodes with explicit weights store root collator weights,
333
     * or default weak weights (e.g., secondary 05) for stronger nodes.
334
     * "Tailored" nodes, with the IS_TAILORED bit set,
335
     * do not store explicit weights but rather
336
     * create a difference of a certain strength from the preceding node.
337
     *
338
     * A root node is followed by either
339
     * - a root/default node of the same strength, or
340
     * - a root/default node of the next-weaker strength, or
341
     * - a tailored node of the same strength.
342
     *
343
     * A node of a given strength normally implies "common" weights on weaker levels.
344
     *
345
     * A node with HAS_BEFORE2 must be immediately followed by
346
     * a secondary node with an explicit below-common weight, then a secondary tailored node,
347
     * and later an explicit common-secondary node.
348
     * The below-common weight can be a root weight,
349
     * or it can be BEFORE_WEIGHT16 for tailoring before an implied common weight
350
     * or before the lowest root weight.
351
     * (&[before 2] resets to an explicit secondary node so that
352
     * the following addRelation(secondary) tailors right after that.
353
     * If we did not have this node and instead were to reset on the primary node,
354
     * then addRelation(secondary) would skip forward to the the COMMON_WEIGHT16 node.)
355
     *
356
     * If the flag is not set, then there are no explicit secondary nodes
357
     * with the common or lower weights.
358
     *
359
     * Same for HAS_BEFORE3 for tertiary nodes and weights.
360
     * A node must not have both flags set.
361
     *
362
     * Tailored CEs are initially represented in a CollationDataBuilder as temporary CEs
363
     * which point to stable indexes in this list,
364
     * and temporary CEs stored in a CollationDataBuilder only point to tailored nodes.
365
     *
366
     * A temporary CE in the ces[] array may point to a non-tailored reset-before-position node,
367
     * until the next relation is added.
368
     *
369
     * At the end, the tailored weights are allocated as necessary,
370
     * then the tailored nodes are replaced with final CEs,
371
     * and the CollationData is rewritten by replacing temporary CEs with final ones.
372
     *
373
     * We cannot simply insert new nodes in the middle of the array
374
     * because that would invalidate the indexes stored in existing temporary CEs.
375
     * We need to use a linked graph with stable indexes to existing nodes.
376
     * A doubly-linked list seems easiest to maintain.
377
     *
378
     * Each node is stored as an int64_t, with its fields stored as bit fields.
379
     *
380
     * Root primary node:
381
     * - primary weight: 32 bits 63..32
382
     * - reserved/unused/zero: 4 bits 31..28
383
     *
384
     * Weaker root nodes & tailored nodes:
385
     * - a weight: 16 bits 63..48
386
     *   + a root or default weight for a non-tailored node
387
     *   + unused/zero for a tailored node
388
     * - index to the previous node: 20 bits 47..28
389
     *
390
     * All types of nodes:
391
     * - index to the next node: 20 bits 27..8
392
     *   + nextIndex=0 in last node per root-primary list
393
     * - reserved/unused/zero bits: bits 7, 4, 2
394
     * - HAS_BEFORE2: bit 6
395
     * - HAS_BEFORE3: bit 5
396
     * - IS_TAILORED: bit 3
397
     * - the difference strength (primary/secondary/tertiary/quaternary): 2 bits 1..0
398
     *
399
     * We could allocate structs with pointers, but we would have to store them
400
     * in a pointer list so that they can be indexed from temporary CEs,
401
     * and they would require more memory allocations.
402
     */
403
    UVector64 nodes;
404
};
405
406
U_NAMESPACE_END
407
408
#endif  // !UCONFIG_NO_COLLATION
409
#endif  // __COLLATIONBUILDER_H__