Coverage Report

Created: 2025-06-24 06:43

/src/icu/source/i18n/collationiterator.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) 2010-2014, International Business Machines
6
* Corporation and others.  All Rights Reserved.
7
*******************************************************************************
8
* collationiterator.h
9
*
10
* created on: 2010oct27
11
* created by: Markus W. Scherer
12
*/
13
14
#ifndef __COLLATIONITERATOR_H__
15
#define __COLLATIONITERATOR_H__
16
17
#include "unicode/utypes.h"
18
19
#if !UCONFIG_NO_COLLATION
20
21
#include "cmemory.h"
22
#include "collation.h"
23
#include "collationdata.h"
24
25
U_NAMESPACE_BEGIN
26
27
class SkippedState;
28
class UCharsTrie;
29
class UVector32;
30
31
/* Large enough for CEs of most short strings. */
32
#define CEBUFFER_INITIAL_CAPACITY 40
33
34
// Export an explicit template instantiation of the MaybeStackArray that
35
//    is used as a data member of CEBuffer.
36
//
37
//    When building DLLs for Windows this is required even though
38
//    no direct access to the MaybeStackArray leaks out of the i18n library.
39
//
40
// See digitlst.h, pluralaffix.h, datefmt.h, and others for similar examples.
41
//
42
#if U_PF_WINDOWS <= U_PLATFORM && U_PLATFORM <= U_PF_CYGWIN
43
template class U_I18N_API MaybeStackArray<int64_t, CEBUFFER_INITIAL_CAPACITY>;
44
#endif
45
46
/**
47
 * Collation element iterator and abstract character iterator.
48
 *
49
 * When a method returns a code point value, it must be in 0..10FFFF,
50
 * except it can be negative as a sentinel value.
51
 */
52
class U_I18N_API CollationIterator : public UObject {
53
private:
54
    class U_I18N_API CEBuffer {
55
    private:
56
        /** Large enough for CEs of most short strings. */
57
        static const int32_t INITIAL_CAPACITY = CEBUFFER_INITIAL_CAPACITY;
58
    public:
59
0
        CEBuffer() : length(0) {}
60
        ~CEBuffer();
61
62
0
        inline void append(int64_t ce, UErrorCode &errorCode) {
63
0
            if(length < INITIAL_CAPACITY || ensureAppendCapacity(1, errorCode)) {
64
0
                buffer[length++] = ce;
65
0
            }
66
0
        }
67
68
0
        inline void appendUnsafe(int64_t ce) {
69
0
            buffer[length++] = ce;
70
0
        }
71
72
        UBool ensureAppendCapacity(int32_t appCap, UErrorCode &errorCode);
73
74
0
        inline UBool incLength(UErrorCode &errorCode) {
75
            // Use INITIAL_CAPACITY for a very simple fastpath.
76
            // (Rather than buffer.getCapacity().)
77
0
            if(length < INITIAL_CAPACITY || ensureAppendCapacity(1, errorCode)) {
78
0
                ++length;
79
0
                return true;
80
0
            } else {
81
0
                return false;
82
0
            }
83
0
        }
84
85
0
        inline int64_t set(int32_t i, int64_t ce) {
86
0
            return buffer[i] = ce;
87
0
        }
88
0
        inline int64_t get(int32_t i) const { return buffer[i]; }
89
90
0
        const int64_t *getCEs() const { return buffer.getAlias(); }
91
92
        int32_t length;
93
94
    private:
95
        CEBuffer(const CEBuffer &);
96
        void operator=(const CEBuffer &);
97
98
        MaybeStackArray<int64_t, INITIAL_CAPACITY> buffer;
99
    };
100
101
public:
102
    CollationIterator(const CollationData *d, UBool numeric)
103
0
            : trie(d->trie),
104
0
              data(d),
105
0
              cesIndex(0),
106
              skipped(NULL),
107
0
              numCpFwd(-1),
108
0
              isNumeric(numeric) {}
109
110
    virtual ~CollationIterator();
111
112
    virtual bool operator==(const CollationIterator &other) const;
113
0
    inline bool operator!=(const CollationIterator &other) const {
114
0
        return !operator==(other);
115
0
    }
116
117
    /**
118
     * Resets the iterator state and sets the position to the specified offset.
119
     * Subclasses must implement, and must call the parent class method,
120
     * or CollationIterator::reset().
121
     */
122
    virtual void resetToOffset(int32_t newOffset) = 0;
123
124
    virtual int32_t getOffset() const = 0;
125
126
    /**
127
     * Returns the next collation element.
128
     */
129
0
    inline int64_t nextCE(UErrorCode &errorCode) {
130
0
        if(cesIndex < ceBuffer.length) {
131
            // Return the next buffered CE.
132
0
            return ceBuffer.get(cesIndex++);
133
0
        }
134
        // assert cesIndex == ceBuffer.length;
135
0
        if(!ceBuffer.incLength(errorCode)) {
136
0
            return Collation::NO_CE;
137
0
        }
138
0
        UChar32 c;
139
0
        uint32_t ce32 = handleNextCE32(c, errorCode);
140
0
        uint32_t t = ce32 & 0xff;
141
0
        if(t < Collation::SPECIAL_CE32_LOW_BYTE) {  // Forced-inline of isSpecialCE32(ce32).
142
            // Normal CE from the main data.
143
            // Forced-inline of ceFromSimpleCE32(ce32).
144
0
            return ceBuffer.set(cesIndex++,
145
0
                    ((int64_t)(ce32 & 0xffff0000) << 32) | ((ce32 & 0xff00) << 16) | (t << 8));
146
0
        }
147
0
        const CollationData *d;
148
        // The compiler should be able to optimize the previous and the following
149
        // comparisons of t with the same constant.
150
0
        if(t == Collation::SPECIAL_CE32_LOW_BYTE) {
151
0
            if(c < 0) {
152
0
                return ceBuffer.set(cesIndex++, Collation::NO_CE);
153
0
            }
154
0
            d = data->base;
155
0
            ce32 = d->getCE32(c);
156
0
            t = ce32 & 0xff;
157
0
            if(t < Collation::SPECIAL_CE32_LOW_BYTE) {
158
                // Normal CE from the base data.
159
0
                return ceBuffer.set(cesIndex++,
160
0
                        ((int64_t)(ce32 & 0xffff0000) << 32) | ((ce32 & 0xff00) << 16) | (t << 8));
161
0
            }
162
0
        } else {
163
0
            d = data;
164
0
        }
165
0
        if(t == Collation::LONG_PRIMARY_CE32_LOW_BYTE) {
166
            // Forced-inline of ceFromLongPrimaryCE32(ce32).
167
0
            return ceBuffer.set(cesIndex++,
168
0
                    ((int64_t)(ce32 - t) << 32) | Collation::COMMON_SEC_AND_TER_CE);
169
0
        }
170
0
        return nextCEFromCE32(d, c, ce32, errorCode);
171
0
    }
172
173
    /**
174
     * Fetches all CEs.
175
     * @return getCEsLength()
176
     */
177
    int32_t fetchCEs(UErrorCode &errorCode);
178
179
    /**
180
     * Overwrites the current CE (the last one returned by nextCE()).
181
     */
182
0
    void setCurrentCE(int64_t ce) {
183
        // assert cesIndex > 0;
184
0
        ceBuffer.set(cesIndex - 1, ce);
185
0
    }
186
187
    /**
188
     * Returns the previous collation element.
189
     */
190
    int64_t previousCE(UVector32 &offsets, UErrorCode &errorCode);
191
192
0
    inline int32_t getCEsLength() const {
193
0
        return ceBuffer.length;
194
0
    }
195
196
0
    inline int64_t getCE(int32_t i) const {
197
0
        return ceBuffer.get(i);
198
0
    }
199
200
0
    const int64_t *getCEs() const {
201
0
        return ceBuffer.getCEs();
202
0
    }
203
204
0
    void clearCEs() {
205
0
        cesIndex = ceBuffer.length = 0;
206
0
    }
207
208
0
    void clearCEsIfNoneRemaining() {
209
0
        if(cesIndex == ceBuffer.length) { clearCEs(); }
210
0
    }
211
212
    /**
213
     * Returns the next code point (with post-increment).
214
     * Public for identical-level comparison and for testing.
215
     */
216
    virtual UChar32 nextCodePoint(UErrorCode &errorCode) = 0;
217
218
    /**
219
     * Returns the previous code point (with pre-decrement).
220
     * Public for identical-level comparison and for testing.
221
     */
222
    virtual UChar32 previousCodePoint(UErrorCode &errorCode) = 0;
223
224
protected:
225
    CollationIterator(const CollationIterator &other);
226
227
    void reset();
228
229
    /**
230
     * Returns the next code point and its local CE32 value.
231
     * Returns Collation::FALLBACK_CE32 at the end of the text (c<0)
232
     * or when c's CE32 value is to be looked up in the base data (fallback).
233
     *
234
     * The code point is used for fallbacks, context and implicit weights.
235
     * It is ignored when the returned CE32 is not special (e.g., FFFD_CE32).
236
     */
237
    virtual uint32_t handleNextCE32(UChar32 &c, UErrorCode &errorCode);
238
239
    /**
240
     * Called when handleNextCE32() returns a LEAD_SURROGATE_TAG for a lead surrogate code unit.
241
     * Returns the trail surrogate in that case and advances past it,
242
     * if a trail surrogate follows the lead surrogate.
243
     * Otherwise returns any other code unit and does not advance.
244
     */
245
    virtual UChar handleGetTrailSurrogate();
246
247
    /**
248
     * Called when handleNextCE32() returns with c==0, to see whether it is a NUL terminator.
249
     * (Not needed in Java.)
250
     */
251
    virtual UBool foundNULTerminator();
252
253
    /**
254
     * @return false if surrogate code points U+D800..U+DFFF
255
     *         map to their own implicit primary weights (for UTF-16),
256
     *         or true if they map to CE(U+FFFD) (for UTF-8)
257
     */
258
    virtual UBool forbidSurrogateCodePoints() const;
259
260
    virtual void forwardNumCodePoints(int32_t num, UErrorCode &errorCode) = 0;
261
262
    virtual void backwardNumCodePoints(int32_t num, UErrorCode &errorCode) = 0;
263
264
    /**
265
     * Returns the CE32 from the data trie.
266
     * Normally the same as data->getCE32(), but overridden in the builder.
267
     * Call this only when the faster data->getCE32() cannot be used.
268
     */
269
    virtual uint32_t getDataCE32(UChar32 c) const;
270
271
    virtual uint32_t getCE32FromBuilderData(uint32_t ce32, UErrorCode &errorCode);
272
273
    void appendCEsFromCE32(const CollationData *d, UChar32 c, uint32_t ce32,
274
                           UBool forward, UErrorCode &errorCode);
275
276
    // Main lookup trie of the data object.
277
    const UTrie2 *trie;
278
    const CollationData *data;
279
280
private:
281
    int64_t nextCEFromCE32(const CollationData *d, UChar32 c, uint32_t ce32,
282
                           UErrorCode &errorCode);
283
284
    uint32_t getCE32FromPrefix(const CollationData *d, uint32_t ce32,
285
                               UErrorCode &errorCode);
286
287
    UChar32 nextSkippedCodePoint(UErrorCode &errorCode);
288
289
    void backwardNumSkipped(int32_t n, UErrorCode &errorCode);
290
291
    uint32_t nextCE32FromContraction(
292
            const CollationData *d, uint32_t contractionCE32,
293
            const UChar *p, uint32_t ce32, UChar32 c,
294
            UErrorCode &errorCode);
295
296
    uint32_t nextCE32FromDiscontiguousContraction(
297
            const CollationData *d, UCharsTrie &suffixes, uint32_t ce32,
298
            int32_t lookAhead, UChar32 c,
299
            UErrorCode &errorCode);
300
301
    /**
302
     * Returns the previous CE when data->isUnsafeBackward(c, isNumeric).
303
     */
304
    int64_t previousCEUnsafe(UChar32 c, UVector32 &offsets, UErrorCode &errorCode);
305
306
    /**
307
     * Turns a string of digits (bytes 0..9)
308
     * into a sequence of CEs that will sort in numeric order.
309
     *
310
     * Starts from this ce32's digit value and consumes the following/preceding digits.
311
     * The digits string must not be empty and must not have leading zeros.
312
     */
313
    void appendNumericCEs(uint32_t ce32, UBool forward, UErrorCode &errorCode);
314
315
    /**
316
     * Turns 1..254 digits into a sequence of CEs.
317
     * Called by appendNumericCEs() for each segment of at most 254 digits.
318
     */
319
    void appendNumericSegmentCEs(const char *digits, int32_t length, UErrorCode &errorCode);
320
321
    CEBuffer ceBuffer;
322
    int32_t cesIndex;
323
324
    SkippedState *skipped;
325
326
    // Number of code points to read forward, or -1.
327
    // Used as a forward iteration limit in previousCEUnsafe().
328
    int32_t numCpFwd;
329
    // Numeric collation (CollationSettings::NUMERIC).
330
    UBool isNumeric;
331
};
332
333
U_NAMESPACE_END
334
335
#endif  // !UCONFIG_NO_COLLATION
336
#endif  // __COLLATIONITERATOR_H__