/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__ |