]> git.saurik.com Git - apple/icu.git/blame - icuSources/i18n/usearch.cpp
ICU-511.35.tar.gz
[apple/icu.git] / icuSources / i18n / usearch.cpp
CommitLineData
b75a7d8f
A
1/*
2**********************************************************************
4388f060 3* Copyright (C) 2001-2011 IBM and others. All rights reserved.
b75a7d8f
A
4**********************************************************************
5* Date Name Description
6* 07/02/2001 synwee Creation.
7**********************************************************************
8*/
9
10#include "unicode/utypes.h"
11
46f4442e 12#if !UCONFIG_NO_COLLATION && !UCONFIG_NO_BREAK_ITERATION
b75a7d8f
A
13
14#include "unicode/usearch.h"
15#include "unicode/ustring.h"
16#include "unicode/uchar.h"
4388f060 17#include "unicode/utf16.h"
729e4ab9 18#include "normalizer2impl.h"
b75a7d8f
A
19#include "ucol_imp.h"
20#include "usrchimp.h"
21#include "cmemory.h"
374ca955 22#include "ucln_in.h"
46f4442e 23#include "uassert.h"
729e4ab9 24#include "ustr_imp.h"
46f4442e
A
25
26U_NAMESPACE_USE
27
28// don't use Boyer-Moore
729e4ab9 29// (and if we decide to turn this on again there are several new TODOs that will need to be addressed)
46f4442e 30#define BOYER_MOORE 0
b75a7d8f 31
73c04bcf
A
32#define LENGTHOF(array) (int32_t)(sizeof(array)/sizeof((array)[0]))
33
b75a7d8f
A
34// internal definition ---------------------------------------------------
35
36#define LAST_BYTE_MASK_ 0xFF
37#define SECOND_LAST_BYTE_SHIFT_ 8
38#define SUPPLEMENTARY_MIN_VALUE_ 0x10000
39
4388f060 40static const Normalizer2Impl *g_nfcImpl = NULL;
b75a7d8f
A
41
42// internal methods -------------------------------------------------
43
44/**
45* Fast collation element iterator setOffset.
46* This function does not check for bounds.
47* @param coleiter collation element iterator
48* @param offset to set
49*/
729e4ab9 50static
b75a7d8f
A
51inline void setColEIterOffset(UCollationElements *elems,
52 int32_t offset)
53{
374ca955
A
54 collIterate *ci = &(elems->iteratordata_);
55 ci->pos = ci->string + offset;
46f4442e 56 ci->CEpos = ci->toReturn = ci->extendCEs ? ci->extendCEs : ci->CEs;
374ca955
A
57 if (ci->flags & UCOL_ITER_INNORMBUF) {
58 ci->flags = ci->origFlags;
59 }
60 ci->fcdPosition = NULL;
46f4442e 61
4388f060 62 ci->offsetReturn = NULL;
46f4442e 63 ci->offsetStore = ci->offsetBuffer;
4388f060 64 ci->offsetRepeatCount = ci->offsetRepeatValue = 0;
b75a7d8f
A
65}
66
67/**
68* Getting the mask for collation strength
69* @param strength collation strength
70* @return collation element mask
71*/
72static
729e4ab9 73inline uint32_t getMask(UCollationStrength strength)
b75a7d8f 74{
729e4ab9 75 switch (strength)
b75a7d8f
A
76 {
77 case UCOL_PRIMARY:
78 return UCOL_PRIMARYORDERMASK;
79 case UCOL_SECONDARY:
80 return UCOL_SECONDARYORDERMASK | UCOL_PRIMARYORDERMASK;
81 default:
729e4ab9 82 return UCOL_TERTIARYORDERMASK | UCOL_SECONDARYORDERMASK |
b75a7d8f
A
83 UCOL_PRIMARYORDERMASK;
84 }
85}
86
87/**
88* This is to squeeze the 21bit ces into a 256 table
89* @param ce collation element
90* @return collapsed version of the collation element
91*/
92static
729e4ab9 93inline int hash(uint32_t ce)
b75a7d8f
A
94{
95 // the old value UCOL_PRIMARYORDER(ce) % MAX_TABLE_SIZE_ does not work
96 // well with the new collation where most of the latin 1 characters
97 // are of the value xx000xxx. their hashes will most of the time be 0
98 // to be discussed on the hash algo.
99 return UCOL_PRIMARYORDER(ce) % MAX_TABLE_SIZE_;
100}
101
374ca955
A
102U_CDECL_BEGIN
103static UBool U_CALLCONV
104usearch_cleanup(void) {
4388f060 105 g_nfcImpl = NULL;
374ca955
A
106 return TRUE;
107}
108U_CDECL_END
109
b75a7d8f
A
110/**
111* Initializing the fcd tables.
112* Internal method, status assumed to be a success.
729e4ab9 113* @param status output error if any, caller to check status before calling
b75a7d8f
A
114* method, status assumed to be success when passed in.
115*/
116static
729e4ab9 117inline void initializeFCD(UErrorCode *status)
b75a7d8f 118{
4388f060
A
119 if (g_nfcImpl == NULL) {
120 g_nfcImpl = Normalizer2Factory::getNFCImpl(*status);
374ca955 121 ucln_i18n_registerCleanup(UCLN_I18N_USEARCH, usearch_cleanup);
b75a7d8f
A
122 }
123}
124
125/**
126* Gets the fcd value for a character at the argument index.
127* This method takes into accounts of the supplementary characters.
128* @param str UTF16 string where character for fcd retrieval resides
729e4ab9
A
129* @param offset position of the character whose fcd is to be retrieved, to be
130* overwritten with the next character position, taking
b75a7d8f
A
131* surrogate characters into consideration.
132* @param strlength length of the argument string
133* @return fcd value
134*/
135static
729e4ab9 136uint16_t getFCD(const UChar *str, int32_t *offset,
b75a7d8f
A
137 int32_t strlength)
138{
729e4ab9 139 const UChar *temp = str + *offset;
4388f060 140 uint16_t result = g_nfcImpl->nextFCD16(temp, str + strlength);
729e4ab9 141 *offset = (int32_t)(temp - str);
b75a7d8f
A
142 return result;
143}
144
145/**
729e4ab9 146* Getting the modified collation elements taking into account the collation
b75a7d8f
A
147* attributes
148* @param strsrch string search data
729e4ab9 149* @param sourcece
b75a7d8f
A
150* @return the modified collation element
151*/
152static
374ca955 153inline int32_t getCE(const UStringSearch *strsrch, uint32_t sourcece)
b75a7d8f
A
154{
155 // note for tertiary we can't use the collator->tertiaryMask, that
156 // is a preprocessed mask that takes into account case options. since
157 // we are only concerned with exact matches, we don't need that.
158 sourcece &= strsrch->ceMask;
729e4ab9 159
b75a7d8f
A
160 if (strsrch->toShift) {
161 // alternate handling here, since only the 16 most significant digits
162 // is only used, we can safely do a compare without masking
163 // if the ce is a variable, we mask and get only the primary values
164 // no shifting to quartenary is required since all primary values
165 // less than variabletop will need to be masked off anyway.
166 if (strsrch->variableTop > sourcece) {
729e4ab9 167 if (strsrch->strength >= UCOL_QUATERNARY) {
b75a7d8f
A
168 sourcece &= UCOL_PRIMARYORDERMASK;
169 }
729e4ab9 170 else {
b75a7d8f
A
171 sourcece = UCOL_IGNORABLE;
172 }
173 }
729e4ab9
A
174 } else if (strsrch->strength >= UCOL_QUATERNARY && sourcece == UCOL_IGNORABLE) {
175 sourcece = 0xFFFF;
b75a7d8f
A
176 }
177
178 return sourcece;
179}
180
729e4ab9 181/**
b75a7d8f
A
182* Allocate a memory and returns NULL if it failed.
183* Internal method, status assumed to be a success.
184* @param size to allocate
729e4ab9 185* @param status output error if any, caller to check status before calling
b75a7d8f
A
186* method, status assumed to be success when passed in.
187* @return newly allocated array, NULL otherwise
188*/
189static
729e4ab9 190inline void * allocateMemory(uint32_t size, UErrorCode *status)
b75a7d8f
A
191{
192 uint32_t *result = (uint32_t *)uprv_malloc(size);
193 if (result == NULL) {
194 *status = U_MEMORY_ALLOCATION_ERROR;
195 }
196 return result;
197}
198
199/**
200* Adds a uint32_t value to a destination array.
729e4ab9 201* Creates a new array if we run out of space. The caller will have to
b75a7d8f 202* manually deallocate the newly allocated array.
729e4ab9
A
203* Internal method, status assumed to be success, caller has to check status
204* before calling this method. destination not to be NULL and has at least
b75a7d8f
A
205* size destinationlength.
206* @param destination target array
207* @param offset destination offset to add value
208* @param destinationlength target array size, return value for the new size
209* @param value to be added
210* @param increments incremental size expected
729e4ab9 211* @param status output error if any, caller to check status before calling
b75a7d8f
A
212* method, status assumed to be success when passed in.
213* @return new destination array, destination if there was no new allocation
214*/
215static
729e4ab9
A
216inline int32_t * addTouint32_tArray(int32_t *destination,
217 uint32_t offset,
218 uint32_t *destinationlength,
374ca955 219 uint32_t value,
729e4ab9
A
220 uint32_t increments,
221 UErrorCode *status)
b75a7d8f
A
222{
223 uint32_t newlength = *destinationlength;
224 if (offset + 1 == newlength) {
225 newlength += increments;
374ca955
A
226 int32_t *temp = (int32_t *)allocateMemory(
227 sizeof(int32_t) * newlength, status);
b75a7d8f
A
228 if (U_FAILURE(*status)) {
229 return NULL;
230 }
374ca955 231 uprv_memcpy(temp, destination, sizeof(int32_t) * offset);
b75a7d8f
A
232 *destinationlength = newlength;
233 destination = temp;
234 }
235 destination[offset] = value;
236 return destination;
237}
238
46f4442e
A
239/**
240* Adds a uint64_t value to a destination array.
729e4ab9 241* Creates a new array if we run out of space. The caller will have to
46f4442e 242* manually deallocate the newly allocated array.
729e4ab9
A
243* Internal method, status assumed to be success, caller has to check status
244* before calling this method. destination not to be NULL and has at least
46f4442e
A
245* size destinationlength.
246* @param destination target array
247* @param offset destination offset to add value
248* @param destinationlength target array size, return value for the new size
249* @param value to be added
250* @param increments incremental size expected
729e4ab9 251* @param status output error if any, caller to check status before calling
46f4442e
A
252* method, status assumed to be success when passed in.
253* @return new destination array, destination if there was no new allocation
254*/
255static
729e4ab9
A
256inline int64_t * addTouint64_tArray(int64_t *destination,
257 uint32_t offset,
258 uint32_t *destinationlength,
46f4442e 259 uint64_t value,
729e4ab9
A
260 uint32_t increments,
261 UErrorCode *status)
46f4442e
A
262{
263 uint32_t newlength = *destinationlength;
264 if (offset + 1 == newlength) {
265 newlength += increments;
266 int64_t *temp = (int64_t *)allocateMemory(
267 sizeof(int64_t) * newlength, status);
729e4ab9 268
46f4442e
A
269 if (U_FAILURE(*status)) {
270 return NULL;
271 }
272
273 uprv_memcpy(temp, destination, sizeof(int64_t) * offset);
274 *destinationlength = newlength;
275 destination = temp;
276 }
277
278 destination[offset] = value;
279
280 return destination;
281}
282
b75a7d8f
A
283/**
284* Initializing the ce table for a pattern.
285* Stores non-ignorable collation keys.
729e4ab9
A
286* Table size will be estimated by the size of the pattern text. Table
287* expansion will be perform as we go along. Adding 1 to ensure that the table
b75a7d8f
A
288* size definitely increases.
289* Internal method, status assumed to be a success.
290* @param strsrch string search data
729e4ab9 291* @param status output error if any, caller to check status before calling
b75a7d8f 292* method, status assumed to be success when passed in.
729e4ab9 293* @return total number of expansions
b75a7d8f
A
294*/
295static
729e4ab9 296inline uint16_t initializePatternCETable(UStringSearch *strsrch,
b75a7d8f
A
297 UErrorCode *status)
298{
299 UPattern *pattern = &(strsrch->pattern);
300 uint32_t cetablesize = INITIAL_ARRAY_SIZE_;
374ca955 301 int32_t *cetable = pattern->CEBuffer;
b75a7d8f
A
302 uint32_t patternlength = pattern->textLength;
303 UCollationElements *coleiter = strsrch->utilIter;
729e4ab9 304
b75a7d8f 305 if (coleiter == NULL) {
729e4ab9 306 coleiter = ucol_openElements(strsrch->collator, pattern->text,
b75a7d8f 307 patternlength, status);
729e4ab9
A
308 // status will be checked in ucol_next(..) later and if it is an
309 // error UCOL_NULLORDER the result of ucol_next(..) and 0 will be
b75a7d8f
A
310 // returned.
311 strsrch->utilIter = coleiter;
312 }
313 else {
314 uprv_init_collIterate(strsrch->collator, pattern->text,
315 pattern->textLength,
729e4ab9
A
316 &coleiter->iteratordata_,
317 status);
318 }
319 if(U_FAILURE(*status)) {
320 return 0;
b75a7d8f 321 }
729e4ab9 322
b75a7d8f
A
323 if (pattern->CE != cetable && pattern->CE) {
324 uprv_free(pattern->CE);
325 }
729e4ab9 326
b75a7d8f
A
327 uint16_t offset = 0;
328 uint16_t result = 0;
374ca955 329 int32_t ce;
b75a7d8f
A
330
331 while ((ce = ucol_next(coleiter, status)) != UCOL_NULLORDER &&
332 U_SUCCESS(*status)) {
333 uint32_t newce = getCE(strsrch, ce);
334 if (newce) {
729e4ab9 335 int32_t *temp = addTouint32_tArray(cetable, offset, &cetablesize,
b75a7d8f 336 newce,
729e4ab9 337 patternlength - ucol_getOffset(coleiter) + 1,
b75a7d8f
A
338 status);
339 if (U_FAILURE(*status)) {
340 return 0;
341 }
342 offset ++;
343 if (cetable != temp && cetable != pattern->CEBuffer) {
344 uprv_free(cetable);
345 }
346 cetable = temp;
347 }
348 result += (uint16_t)(ucol_getMaxExpansion(coleiter, ce) - 1);
349 }
350
351 cetable[offset] = 0;
352 pattern->CE = cetable;
353 pattern->CELength = offset;
354
355 return result;
356}
357
46f4442e
A
358/**
359* Initializing the pce table for a pattern.
360* Stores non-ignorable collation keys.
729e4ab9
A
361* Table size will be estimated by the size of the pattern text. Table
362* expansion will be perform as we go along. Adding 1 to ensure that the table
46f4442e
A
363* size definitely increases.
364* Internal method, status assumed to be a success.
365* @param strsrch string search data
729e4ab9 366* @param status output error if any, caller to check status before calling
46f4442e 367* method, status assumed to be success when passed in.
729e4ab9 368* @return total number of expansions
46f4442e
A
369*/
370static
729e4ab9 371inline uint16_t initializePatternPCETable(UStringSearch *strsrch,
46f4442e
A
372 UErrorCode *status)
373{
374 UPattern *pattern = &(strsrch->pattern);
375 uint32_t pcetablesize = INITIAL_ARRAY_SIZE_;
376 int64_t *pcetable = pattern->PCEBuffer;
377 uint32_t patternlength = pattern->textLength;
378 UCollationElements *coleiter = strsrch->utilIter;
729e4ab9 379
46f4442e 380 if (coleiter == NULL) {
729e4ab9 381 coleiter = ucol_openElements(strsrch->collator, pattern->text,
46f4442e 382 patternlength, status);
729e4ab9
A
383 // status will be checked in ucol_next(..) later and if it is an
384 // error UCOL_NULLORDER the result of ucol_next(..) and 0 will be
46f4442e
A
385 // returned.
386 strsrch->utilIter = coleiter;
387 } else {
388 uprv_init_collIterate(strsrch->collator, pattern->text,
389 pattern->textLength,
729e4ab9
A
390 &coleiter->iteratordata_,
391 status);
392 }
393 if(U_FAILURE(*status)) {
394 return 0;
46f4442e 395 }
729e4ab9 396
46f4442e
A
397 if (pattern->PCE != pcetable && pattern->PCE != NULL) {
398 uprv_free(pattern->PCE);
399 }
729e4ab9 400
46f4442e
A
401 uint16_t offset = 0;
402 uint16_t result = 0;
403 int64_t pce;
404
405 uprv_init_pce(coleiter);
406
407 // ** Should processed CEs be signed or unsigned?
729e4ab9 408 // ** (the rest of the code in this file seems to play fast-and-loose with
46f4442e
A
409 // ** whether a CE is signed or unsigned. For example, look at routine above this one.)
410 while ((pce = ucol_nextProcessed(coleiter, NULL, NULL, status)) != UCOL_PROCESSED_NULLORDER &&
411 U_SUCCESS(*status)) {
729e4ab9 412 int64_t *temp = addTouint64_tArray(pcetable, offset, &pcetablesize,
46f4442e 413 pce,
729e4ab9 414 patternlength - ucol_getOffset(coleiter) + 1,
46f4442e
A
415 status);
416
417 if (U_FAILURE(*status)) {
418 return 0;
419 }
420
421 offset += 1;
422
423 if (pcetable != temp && pcetable != pattern->PCEBuffer) {
424 uprv_free(pcetable);
425 }
426
427 pcetable = temp;
428 //result += (uint16_t)(ucol_getMaxExpansion(coleiter, ce) - 1);
429 }
430
431 pcetable[offset] = 0;
432 pattern->PCE = pcetable;
433 pattern->PCELength = offset;
434
435 return result;
436}
437
b75a7d8f
A
438/**
439* Initializes the pattern struct.
440* Internal method, status assumed to be success.
441* @param strsrch UStringSearch data storage
729e4ab9 442* @param status output error if any, caller to check status before calling
b75a7d8f
A
443* method, status assumed to be success when passed in.
444* @return expansionsize the total expansion size of the pattern
729e4ab9 445*/
b75a7d8f 446static
729e4ab9 447inline int16_t initializePattern(UStringSearch *strsrch, UErrorCode *status)
b75a7d8f
A
448{
449 UPattern *pattern = &(strsrch->pattern);
450 const UChar *patterntext = pattern->text;
451 int32_t length = pattern->textLength;
452 int32_t index = 0;
729e4ab9 453
46f4442e
A
454 // Since the strength is primary, accents are ignored in the pattern.
455 if (strsrch->strength == UCOL_PRIMARY) {
4388f060
A
456 pattern->hasPrefixAccents = 0;
457 pattern->hasSuffixAccents = 0;
46f4442e 458 } else {
4388f060
A
459 pattern->hasPrefixAccents = getFCD(patterntext, &index, length) >>
460 SECOND_LAST_BYTE_SHIFT_;
461 index = length;
462 U16_BACK_1(patterntext, 0, index);
463 pattern->hasSuffixAccents = getFCD(patterntext, &index, length) &
464 LAST_BYTE_MASK_;
46f4442e
A
465 }
466
467 // ** HACK **
468 if (strsrch->pattern.PCE != NULL) {
469 if (strsrch->pattern.PCE != strsrch->pattern.PCEBuffer) {
470 uprv_free(strsrch->pattern.PCE);
471 }
472
473 strsrch->pattern.PCE = NULL;
474 }
b75a7d8f 475
b75a7d8f 476 // since intializePattern is an internal method status is a success.
729e4ab9 477 return initializePatternCETable(strsrch, status);
b75a7d8f
A
478}
479
480/**
481* Initializing shift tables, with the default values.
482* If a corresponding default value is 0, the shift table is not set.
729e4ab9 483* @param shift table for forwards shift
b75a7d8f
A
484* @param backshift table for backwards shift
485* @param cetable table containing pattern ce
486* @param cesize size of the pattern ces
487* @param expansionsize total size of the expansions
488* @param defaultforward the default forward value
489* @param defaultbackward the default backward value
490*/
491static
729e4ab9
A
492inline void setShiftTable(int16_t shift[], int16_t backshift[],
493 int32_t *cetable, int32_t cesize,
b75a7d8f
A
494 int16_t expansionsize,
495 int16_t defaultforward,
496 int16_t defaultbackward)
497{
729e4ab9 498 // estimate the value to shift. to do that we estimate the smallest
b75a7d8f 499 // number of characters to give the relevant ces, ie approximately
729e4ab9 500 // the number of ces minus their expansion, since expansions can come
b75a7d8f
A
501 // from a character.
502 int32_t count;
503 for (count = 0; count < MAX_TABLE_SIZE_; count ++) {
504 shift[count] = defaultforward;
505 }
506 cesize --; // down to the last index
507 for (count = 0; count < cesize; count ++) {
508 // number of ces from right of array to the count
509 int temp = defaultforward - count - 1;
510 shift[hash(cetable[count])] = temp > 1 ? temp : 1;
511 }
512 shift[hash(cetable[cesize])] = 1;
513 // for ignorables we just shift by one. see test examples.
514 shift[hash(0)] = 1;
729e4ab9 515
b75a7d8f
A
516 for (count = 0; count < MAX_TABLE_SIZE_; count ++) {
517 backshift[count] = defaultbackward;
518 }
519 for (count = cesize; count > 0; count --) {
520 // the original value count does not seem to work
729e4ab9 521 backshift[hash(cetable[count])] = count > expansionsize ?
b75a7d8f
A
522 (int16_t)(count - expansionsize) : 1;
523 }
524 backshift[hash(cetable[0])] = 1;
525 backshift[hash(0)] = 1;
526}
527
528/**
529* Building of the pattern collation element list and the boyer moore strsrch
530* table.
531* The canonical match will only be performed after the default match fails.
532* For both cases we need to remember the size of the composed and decomposed
533* versions of the string. Since the Boyer-Moore shift calculations shifts by
729e4ab9
A
534* a number of characters in the text and tries to match the pattern from that
535* offset, the shift value can not be too large in case we miss some
536* characters. To choose a right shift size, we estimate the NFC form of the
537* and use its size as a shift guide. The NFC form should be the small
b75a7d8f
A
538* possible representation of the pattern. Anyways, we'll err on the smaller
539* shift size. Hence the calculation for minlength.
729e4ab9
A
540* Canonical match will be performed slightly differently. We'll split the
541* pattern into 3 parts, the prefix accents (PA), the middle string bounded by
542* the first and last base character (MS), the ending accents (EA). Matches
b75a7d8f
A
543* will be done on MS first, and only when we match MS then some processing
544* will be required for the prefix and end accents in order to determine if
729e4ab9
A
545* they match PA and EA. Hence the default shift values
546* for the canonical match will take the size of either end's accent into
b75a7d8f
A
547* consideration. Forwards search will take the end accents into consideration
548* for the default shift values and the backwards search will take the prefix
549* accents into consideration.
550* If pattern has no non-ignorable ce, we return a illegal argument error.
551* Internal method, status assumed to be success.
552* @param strsrch UStringSearch data storage
553* @param status for output errors if it occurs, status is assumed to be a
554* success when it is passed in.
729e4ab9 555*/
b75a7d8f 556static
729e4ab9 557inline void initialize(UStringSearch *strsrch, UErrorCode *status)
b75a7d8f 558{
729e4ab9 559 int16_t expandlength = initializePattern(strsrch, status);
b75a7d8f
A
560 if (U_SUCCESS(*status) && strsrch->pattern.CELength > 0) {
561 UPattern *pattern = &strsrch->pattern;
562 int32_t cesize = pattern->CELength;
563
729e4ab9 564 int16_t minlength = cesize > expandlength
374ca955 565 ? (int16_t)cesize - expandlength : 1;
b75a7d8f
A
566 pattern->defaultShiftSize = minlength;
567 setShiftTable(pattern->shift, pattern->backShift, pattern->CE,
568 cesize, expandlength, minlength, minlength);
569 return;
570 }
571 strsrch->pattern.defaultShiftSize = 0;
572}
573
46f4442e
A
574#if BOYER_MOORE
575/**
729e4ab9 576* Check to make sure that the match length is at the end of the character by
46f4442e 577* using the breakiterator.
729e4ab9 578* @param strsrch string search data
46f4442e
A
579* @param start target text start offset
580* @param end target text end offset
581*/
582static
729e4ab9 583void checkBreakBoundary(const UStringSearch *strsrch, int32_t * /*start*/,
46f4442e
A
584 int32_t *end)
585{
586#if !UCONFIG_NO_BREAK_ITERATION
587 UBreakIterator *breakiterator = strsrch->search->internalBreakIter;
588 if (breakiterator) {
4388f060
A
589 int32_t matchend = *end;
590 //int32_t matchstart = *start;
729e4ab9 591
4388f060
A
592 if (!ubrk_isBoundary(breakiterator, matchend)) {
593 *end = ubrk_following(breakiterator, matchend);
46f4442e 594 }
729e4ab9 595
4388f060
A
596 /* Check the start of the matched text to make sure it doesn't have any accents
597 * before it. This code may not be necessary and so it is commented out */
598 /*if (!ubrk_isBoundary(breakiterator, matchstart) && !ubrk_isBoundary(breakiterator, matchstart-1)) {
599 *start = ubrk_preceding(breakiterator, matchstart);
600 }*/
46f4442e
A
601 }
602#endif
603}
604
b75a7d8f 605/**
729e4ab9
A
606* Determine whether the target text in UStringSearch bounded by the offset
607* start and end is one or more whole units of text as
b75a7d8f 608* determined by the breakiterator in UStringSearch.
729e4ab9 609* @param strsrch string search data
b75a7d8f
A
610* @param start target text start offset
611* @param end target text end offset
612*/
613static
729e4ab9 614UBool isBreakUnit(const UStringSearch *strsrch, int32_t start,
b75a7d8f
A
615 int32_t end)
616{
617#if !UCONFIG_NO_BREAK_ITERATION
618 UBreakIterator *breakiterator = strsrch->search->breakIter;
46f4442e 619 //TODO: Add here.
b75a7d8f
A
620 if (breakiterator) {
621 int32_t startindex = ubrk_first(breakiterator);
622 int32_t endindex = ubrk_last(breakiterator);
729e4ab9 623
b75a7d8f
A
624 // out-of-range indexes are never boundary positions
625 if (start < startindex || start > endindex ||
626 end < startindex || end > endindex) {
627 return FALSE;
628 }
729e4ab9
A
629 // otherwise, we can use following() on the position before the
630 // specified one and return true of the position we get back is the
b75a7d8f 631 // one the user specified
729e4ab9
A
632 UBool result = (start == startindex ||
633 ubrk_following(breakiterator, start - 1) == start) &&
634 (end == endindex ||
b75a7d8f
A
635 ubrk_following(breakiterator, end - 1) == end);
636 if (result) {
637 // iterates the individual ces
638 UCollationElements *coleiter = strsrch->utilIter;
729e4ab9 639 const UChar *text = strsrch->search->text +
b75a7d8f
A
640 start;
641 UErrorCode status = U_ZERO_ERROR;
642 ucol_setText(coleiter, text, end - start, &status);
643 for (int32_t count = 0; count < strsrch->pattern.CELength;
644 count ++) {
374ca955 645 int32_t ce = getCE(strsrch, ucol_next(coleiter, &status));
b75a7d8f
A
646 if (ce == UCOL_IGNORABLE) {
647 count --;
648 continue;
649 }
650 if (U_FAILURE(status) || ce != strsrch->pattern.CE[count]) {
651 return FALSE;
652 }
653 }
374ca955 654 int32_t nextce = ucol_next(coleiter, &status);
b75a7d8f
A
655 while (ucol_getOffset(coleiter) == (end - start)
656 && getCE(strsrch, nextce) == UCOL_IGNORABLE) {
657 nextce = ucol_next(coleiter, &status);
658 }
659 if (ucol_getOffset(coleiter) == (end - start)
660 && nextce != UCOL_NULLORDER) {
661 // extra collation elements at the end of the match
662 return FALSE;
663 }
664 }
665 return result;
666 }
667#endif
668 return TRUE;
669}
670
671/**
729e4ab9
A
672* Getting the next base character offset if current offset is an accent,
673* or the current offset if the current character contains a base character.
b75a7d8f
A
674* accents the following base character will be returned
675* @param text string
676* @param textoffset current offset
677* @param textlength length of text string
678* @return the next base character or the current offset
679* if the current character is contains a base character.
680*/
681static
729e4ab9 682inline int32_t getNextBaseOffset(const UChar *text,
b75a7d8f
A
683 int32_t textoffset,
684 int32_t textlength)
685{
686 if (textoffset < textlength) {
687 int32_t temp = textoffset;
688 if (getFCD(text, &temp, textlength) >> SECOND_LAST_BYTE_SHIFT_) {
729e4ab9 689 while (temp < textlength) {
b75a7d8f 690 int32_t result = temp;
729e4ab9 691 if ((getFCD(text, &temp, textlength) >>
b75a7d8f
A
692 SECOND_LAST_BYTE_SHIFT_) == 0) {
693 return result;
694 }
695 }
696 return textlength;
697 }
698 }
699 return textoffset;
700}
701
702/**
703* Gets the next base character offset depending on the string search pattern
704* data
705* @param strsrch string search data
706* @param textoffset current offset, one offset away from the last character
707* to search for.
708* @return start index of the next base character or the current offset
709* if the current character is contains a base character.
710*/
711static
729e4ab9 712inline int32_t getNextUStringSearchBaseOffset(UStringSearch *strsrch,
b75a7d8f
A
713 int32_t textoffset)
714{
374ca955 715 int32_t textlength = strsrch->search->textLength;
729e4ab9 716 if (strsrch->pattern.hasSuffixAccents &&
b75a7d8f
A
717 textoffset < textlength) {
718 int32_t temp = textoffset;
719 const UChar *text = strsrch->search->text;
4388f060 720 U16_BACK_1(text, 0, temp);
b75a7d8f
A
721 if (getFCD(text, &temp, textlength) & LAST_BYTE_MASK_) {
722 return getNextBaseOffset(text, textoffset, textlength);
723 }
724 }
725 return textoffset;
726}
727
728/**
729* Shifting the collation element iterator position forward to prepare for
730* a following match. If the last character is a unsafe character, we'll only
731* shift by 1 to capture contractions, normalization etc.
732* Internal method, status assumed to be success.
733* @param text strsrch string search data
734* @param textoffset start text position to do search
735* @param ce the text ce which failed the match.
736* @param patternceindex index of the ce within the pattern ce buffer which
737* failed the match
738* @return final offset
739*/
740static
741inline int32_t shiftForward(UStringSearch *strsrch,
742 int32_t textoffset,
374ca955 743 int32_t ce,
b75a7d8f
A
744 int32_t patternceindex)
745{
374ca955 746 UPattern *pattern = &(strsrch->pattern);
b75a7d8f
A
747 if (ce != UCOL_NULLORDER) {
748 int32_t shift = pattern->shift[hash(ce)];
729e4ab9 749 // this is to adjust for characters in the middle of the
b75a7d8f
A
750 // substring for matching that failed.
751 int32_t adjust = pattern->CELength - patternceindex;
752 if (adjust > 1 && shift >= adjust) {
753 shift -= adjust - 1;
754 }
755 textoffset += shift;
756 }
757 else {
758 textoffset += pattern->defaultShiftSize;
759 }
729e4ab9 760
b75a7d8f
A
761 textoffset = getNextUStringSearchBaseOffset(strsrch, textoffset);
762 // check for unsafe characters
729e4ab9 763 // * if it is the start or middle of a contraction: to be done after
b75a7d8f
A
764 // a initial match is found
765 // * thai or lao base consonant character: similar to contraction
766 // * high surrogate character: similar to contraction
767 // * next character is a accent: shift to the next base character
768 return textoffset;
769}
46f4442e 770#endif // #if BOYER_MOORE
b75a7d8f
A
771
772/**
729e4ab9 773* sets match not found
b75a7d8f
A
774* @param strsrch string search data
775*/
776static
729e4ab9 777inline void setMatchNotFound(UStringSearch *strsrch)
b75a7d8f
A
778{
779 // this method resets the match result regardless of the error status.
780 strsrch->search->matchedIndex = USEARCH_DONE;
781 strsrch->search->matchedLength = 0;
782 if (strsrch->search->isForwardSearching) {
783 setColEIterOffset(strsrch->textIter, strsrch->search->textLength);
784 }
785 else {
786 setColEIterOffset(strsrch->textIter, 0);
787 }
788}
789
46f4442e 790#if BOYER_MOORE
b75a7d8f
A
791/**
792* Gets the offset to the next safe point in text.
793* ie. not the middle of a contraction, swappable characters or supplementary
794* characters.
795* @param collator collation sata
796* @param text string to work with
797* @param textoffset offset in string
798* @param textlength length of text string
799* @return offset to the next safe character
800*/
801static
729e4ab9 802inline int32_t getNextSafeOffset(const UCollator *collator,
b75a7d8f
A
803 const UChar *text,
804 int32_t textoffset,
805 int32_t textlength)
806{
807 int32_t result = textoffset; // first contraction character
808 while (result != textlength && ucol_unsafeCP(text[result], collator)) {
809 result ++;
810 }
729e4ab9 811 return result;
b75a7d8f
A
812}
813
729e4ab9 814/**
b75a7d8f
A
815* This checks for accents in the potential match started with a .
816* composite character.
729e4ab9
A
817* This is really painful... we have to check that composite character do not
818* have any extra accents. We have to normalize the potential match and find
b75a7d8f 819* the immediate decomposed character before the match.
729e4ab9 820* The first composite character would have been taken care of by the fcd
b75a7d8f 821* checks in checkForwardExactMatch.
729e4ab9
A
822* This is the slow path after the fcd of the first character and
823* the last character has been checked by checkForwardExactMatch and we
b75a7d8f
A
824* determine that the potential match has extra non-ignorable preceding
825* ces.
729e4ab9 826* E.g. looking for \u0301 acute in \u01FA A ring above and acute,
b75a7d8f
A
827* checkExtraMatchAccent should fail since there is a middle ring in \u01FA
828* Note here that accents checking are slow and cautioned in the API docs.
829* Internal method, status assumed to be a success, caller should check status
830* before calling this method
831* @param strsrch string search data
832* @param start index of the potential unfriendly composite character
833* @param end index of the potential unfriendly composite character
834* @param status output error status if any.
835* @return TRUE if there is non-ignorable accents before at the beginning
836* of the match, FALSE otherwise.
837*/
838
839static
840UBool checkExtraMatchAccents(const UStringSearch *strsrch, int32_t start,
729e4ab9 841 int32_t end,
b75a7d8f
A
842 UErrorCode *status)
843{
844 UBool result = FALSE;
845 if (strsrch->pattern.hasPrefixAccents) {
846 int32_t length = end - start;
847 int32_t offset = 0;
848 const UChar *text = strsrch->search->text + start;
729e4ab9 849
4388f060 850 U16_FWD_1(text, offset, length);
b75a7d8f
A
851 // we are only concerned with the first composite character
852 if (unorm_quickCheck(text, offset, UNORM_NFD, status) == UNORM_NO) {
729e4ab9 853 int32_t safeoffset = getNextSafeOffset(strsrch->collator,
b75a7d8f
A
854 text, 0, length);
855 if (safeoffset != length) {
856 safeoffset ++;
857 }
858 UChar *norm = NULL;
859 UChar buffer[INITIAL_ARRAY_SIZE_];
729e4ab9
A
860 int32_t size = unorm_normalize(text, safeoffset, UNORM_NFD, 0,
861 buffer, INITIAL_ARRAY_SIZE_,
862 status);
b75a7d8f
A
863 if (U_FAILURE(*status)) {
864 return FALSE;
865 }
866 if (size >= INITIAL_ARRAY_SIZE_) {
867 norm = (UChar *)allocateMemory((size + 1) * sizeof(UChar),
868 status);
729e4ab9 869 // if allocation failed, status will be set to
b75a7d8f
A
870 // U_MEMORY_ALLOCATION_ERROR and unorm_normalize internally
871 // checks for it.
729e4ab9 872 size = unorm_normalize(text, safeoffset, UNORM_NFD, 0, norm,
b75a7d8f
A
873 size, status);
874 if (U_FAILURE(*status) && norm != NULL) {
875 uprv_free(norm);
876 return FALSE;
877 }
878 }
879 else {
880 norm = buffer;
881 }
882
883 UCollationElements *coleiter = strsrch->utilIter;
884 ucol_setText(coleiter, norm, size, status);
885 uint32_t firstce = strsrch->pattern.CE[0];
886 UBool ignorable = TRUE;
887 uint32_t ce = UCOL_IGNORABLE;
46f4442e 888 while (U_SUCCESS(*status) && ce != firstce && ce != (uint32_t)UCOL_NULLORDER) {
b75a7d8f
A
889 offset = ucol_getOffset(coleiter);
890 if (ce != firstce && ce != UCOL_IGNORABLE) {
891 ignorable = FALSE;
892 }
893 ce = ucol_next(coleiter, status);
894 }
895 UChar32 codepoint;
4388f060 896 U16_PREV(norm, 0, offset, codepoint);
b75a7d8f
A
897 result = !ignorable && (u_getCombiningClass(codepoint) != 0);
898
899 if (norm != buffer) {
900 uprv_free(norm);
901 }
902 }
903 }
904
905 return result;
906}
907
908/**
729e4ab9 909* Used by exact matches, checks if there are accents before the match.
b75a7d8f 910* This is really painful... we have to check that composite characters at
729e4ab9
A
911* the start of the matches have to not have any extra accents.
912* We check the FCD of the character first, if it starts with an accent and
b75a7d8f 913* the first pattern ce does not match the first ce of the character, we bail.
729e4ab9
A
914* Otherwise we try normalizing the first composite
915* character and find the immediate decomposed character before the match to
b75a7d8f 916* see if it is an non-ignorable accent.
729e4ab9
A
917* Now normalizing the first composite character is enough because we ensure
918* that when the match is passed in here with extra beginning ces, the
b75a7d8f 919* first or last ce that match has to occur within the first character.
729e4ab9 920* E.g. looking for \u0301 acute in \u01FA A ring above and acute,
b75a7d8f
A
921* checkExtraMatchAccent should fail since there is a middle ring in \u01FA
922* Note here that accents checking are slow and cautioned in the API docs.
923* @param strsrch string search data
729e4ab9 924* @param start offset
b75a7d8f 925* @param end offset
729e4ab9 926* @return TRUE if there are accents on either side of the match,
b75a7d8f
A
927* FALSE otherwise
928*/
929static
930UBool hasAccentsBeforeMatch(const UStringSearch *strsrch, int32_t start,
729e4ab9 931 int32_t end)
b75a7d8f
A
932{
933 if (strsrch->pattern.hasPrefixAccents) {
934 UCollationElements *coleiter = strsrch->textIter;
935 UErrorCode status = U_ZERO_ERROR;
936 // we have been iterating forwards previously
937 uint32_t ignorable = TRUE;
374ca955 938 int32_t firstce = strsrch->pattern.CE[0];
b75a7d8f 939
374ca955
A
940 setColEIterOffset(coleiter, start);
941 int32_t ce = getCE(strsrch, ucol_next(coleiter, &status));
942 if (U_FAILURE(status)) {
b75a7d8f
A
943 return TRUE;
944 }
945 while (ce != firstce) {
946 if (ce != UCOL_IGNORABLE) {
947 ignorable = FALSE;
948 }
949 ce = getCE(strsrch, ucol_next(coleiter, &status));
46f4442e 950 if (U_FAILURE(status) || ce == UCOL_NULLORDER) {
b75a7d8f
A
951 return TRUE;
952 }
953 }
374ca955 954 if (!ignorable && inNormBuf(coleiter)) {
b75a7d8f 955 // within normalization buffer, discontiguous handled here
374ca955 956 return TRUE;
b75a7d8f
A
957 }
958
374ca955 959 // within text
b75a7d8f 960 int32_t temp = start;
374ca955 961 // original code
729e4ab9
A
962 // accent = (getFCD(strsrch->search->text, &temp,
963 // strsrch->search->textLength)
964 // >> SECOND_LAST_BYTE_SHIFT_);
374ca955 965 // however this code does not work well with VC7 .net in release mode.
729e4ab9 966 // maybe the inlines for getFCD combined with shifting has bugs in
374ca955 967 // VC7. anyways this is a work around.
729e4ab9 968 UBool accent = getFCD(strsrch->search->text, &temp,
b75a7d8f
A
969 strsrch->search->textLength) > 0xFF;
970 if (!accent) {
374ca955 971 return checkExtraMatchAccents(strsrch, start, end, &status);
b75a7d8f 972 }
374ca955 973 if (!ignorable) {
b75a7d8f
A
974 return TRUE;
975 }
976 if (start > 0) {
977 temp = start;
4388f060 978 U16_BACK_1(strsrch->search->text, 0, temp);
729e4ab9 979 if (getFCD(strsrch->search->text, &temp,
b75a7d8f
A
980 strsrch->search->textLength) & LAST_BYTE_MASK_) {
981 setColEIterOffset(coleiter, start);
982 ce = ucol_previous(coleiter, &status);
729e4ab9 983 if (U_FAILURE(status) ||
b75a7d8f
A
984 (ce != UCOL_NULLORDER && ce != UCOL_IGNORABLE)) {
985 return TRUE;
986 }
987 }
988 }
989 }
729e4ab9 990
b75a7d8f
A
991 return FALSE;
992}
993
994/**
995* Used by exact matches, checks if there are accents bounding the match.
996* Note this is the initial boundary check. If the potential match
997* starts or ends with composite characters, the accents in those
998* characters will be determined later.
729e4ab9 999* Not doing backwards iteration here, since discontiguos contraction for
b75a7d8f 1000* backwards collation element iterator, use up too many characters.
729e4ab9 1001* E.g. looking for \u030A ring in \u01FA A ring above and acute,
b75a7d8f
A
1002* should fail since there is a acute at the end of \u01FA
1003* Note here that accents checking are slow and cautioned in the API docs.
1004* @param strsrch string search data
1005* @param start offset of match
1006* @param end end offset of the match
729e4ab9 1007* @return TRUE if there are accents on either side of the match,
b75a7d8f
A
1008* FALSE otherwise
1009*/
1010static
729e4ab9
A
1011UBool hasAccentsAfterMatch(const UStringSearch *strsrch, int32_t start,
1012 int32_t end)
b75a7d8f
A
1013{
1014 if (strsrch->pattern.hasSuffixAccents) {
1015 const UChar *text = strsrch->search->text;
1016 int32_t temp = end;
1017 int32_t textlength = strsrch->search->textLength;
4388f060 1018 U16_BACK_1(text, 0, temp);
b75a7d8f 1019 if (getFCD(text, &temp, textlength) & LAST_BYTE_MASK_) {
374ca955 1020 int32_t firstce = strsrch->pattern.CE[0];
b75a7d8f
A
1021 UCollationElements *coleiter = strsrch->textIter;
1022 UErrorCode status = U_ZERO_ERROR;
4388f060 1023 int32_t ce;
b75a7d8f 1024 setColEIterOffset(coleiter, start);
46f4442e
A
1025 while ((ce = getCE(strsrch, ucol_next(coleiter, &status))) != firstce) {
1026 if (U_FAILURE(status) || ce == UCOL_NULLORDER) {
b75a7d8f
A
1027 return TRUE;
1028 }
1029 }
1030 int32_t count = 1;
1031 while (count < strsrch->pattern.CELength) {
729e4ab9 1032 if (getCE(strsrch, ucol_next(coleiter, &status))
b75a7d8f
A
1033 == UCOL_IGNORABLE) {
1034 // Thai can give an ignorable here.
1035 count --;
1036 }
1037 if (U_FAILURE(status)) {
1038 return TRUE;
1039 }
1040 count ++;
1041 }
729e4ab9 1042
4388f060 1043 ce = ucol_next(coleiter, &status);
b75a7d8f
A
1044 if (U_FAILURE(status)) {
1045 return TRUE;
1046 }
46f4442e 1047 if (ce != UCOL_NULLORDER && ce != UCOL_IGNORABLE) {
4388f060 1048 ce = getCE(strsrch, ce);
46f4442e 1049 }
b75a7d8f
A
1050 if (ce != UCOL_NULLORDER && ce != UCOL_IGNORABLE) {
1051 if (ucol_getOffset(coleiter) <= end) {
1052 return TRUE;
1053 }
1054 if (getFCD(text, &end, textlength) >> SECOND_LAST_BYTE_SHIFT_) {
1055 return TRUE;
1056 }
1057 }
1058 }
1059 }
1060 return FALSE;
1061}
46f4442e 1062#endif // #if BOYER_MOORE
b75a7d8f
A
1063
1064/**
1065* Checks if the offset runs out of the text string
729e4ab9 1066* @param offset
b75a7d8f
A
1067* @param textlength of the text string
1068* @return TRUE if offset is out of bounds, FALSE otherwise
1069*/
1070static
1071inline UBool isOutOfBounds(int32_t textlength, int32_t offset)
1072{
1073 return offset < 0 || offset > textlength;
1074}
1075
1076/**
1077* Checks for identical match
1078* @param strsrch string search data
1079* @param start offset of possible match
1080* @param end offset of possible match
1081* @return TRUE if identical match is found
1082*/
1083static
729e4ab9
A
1084inline UBool checkIdentical(const UStringSearch *strsrch, int32_t start,
1085 int32_t end)
b75a7d8f 1086{
b75a7d8f
A
1087 if (strsrch->strength != UCOL_IDENTICAL) {
1088 return TRUE;
1089 }
1090
729e4ab9
A
1091 // Note: We could use Normalizer::compare() or similar, but for short strings
1092 // which may not be in FCD it might be faster to just NFD them.
1093 UErrorCode status = U_ZERO_ERROR;
1094 UnicodeString t2, p2;
1095 strsrch->nfd->normalize(
1096 UnicodeString(FALSE, strsrch->search->text + start, end - start), t2, status);
1097 strsrch->nfd->normalize(
1098 UnicodeString(FALSE, strsrch->pattern.text, strsrch->pattern.textLength), p2, status);
73c04bcf 1099 // return FALSE if NFD failed
729e4ab9 1100 return U_SUCCESS(status) && t2 == p2;
b75a7d8f
A
1101}
1102
729e4ab9 1103#if BOYER_MOORE
b75a7d8f
A
1104/**
1105* Checks to see if the match is repeated
1106* @param strsrch string search data
1107* @param start new match start index
1108* @param end new match end index
1109* @return TRUE if the the match is repeated, FALSE otherwise
1110*/
1111static
1112inline UBool checkRepeatedMatch(UStringSearch *strsrch,
1113 int32_t start,
1114 int32_t end)
1115{
1116 int32_t lastmatchindex = strsrch->search->matchedIndex;
1117 UBool result;
1118 if (lastmatchindex == USEARCH_DONE) {
1119 return FALSE;
1120 }
1121 if (strsrch->search->isForwardSearching) {
1122 result = start <= lastmatchindex;
1123 }
1124 else {
1125 result = start >= lastmatchindex;
1126 }
374ca955 1127 if (!result && !strsrch->search->isOverlap) {
b75a7d8f
A
1128 if (strsrch->search->isForwardSearching) {
1129 result = start < lastmatchindex + strsrch->search->matchedLength;
1130 }
1131 else {
1132 result = end > lastmatchindex;
1133 }
1134 }
1135 return result;
1136}
1137
1138/**
1139* Gets the collation element iterator's current offset.
1140* @param coleiter collation element iterator
1141* @param forwards flag TRUE if we are moving in th forwards direction
729e4ab9 1142* @return current offset
b75a7d8f
A
1143*/
1144static
1145inline int32_t getColElemIterOffset(const UCollationElements *coleiter,
1146 UBool forwards)
1147{
1148 int32_t result = ucol_getOffset(coleiter);
1149 // intricacies of the the backwards collation element iterator
46f4442e 1150 if (FALSE && !forwards && inNormBuf(coleiter) && !isFCDPointerNull(coleiter)) {
b75a7d8f
A
1151 result ++;
1152 }
1153 return result;
1154}
1155
1156/**
729e4ab9 1157* Checks match for contraction.
b75a7d8f
A
1158* If the match ends with a partial contraction we fail.
1159* If the match starts too far off (because of backwards iteration) we try to
1160* chip off the extra characters depending on whether a breakiterator has
1161* been used.
729e4ab9 1162* Internal method, error assumed to be success, caller has to check status
b75a7d8f
A
1163* before calling this method.
1164* @param strsrch string search data
1165* @param start offset of potential match, to be modified if necessary
1166* @param end offset of potential match, to be modified if necessary
1167* @param status output error status if any
1168* @return TRUE if match passes the contraction test, FALSE otherwise
1169*/
1170
1171static
729e4ab9
A
1172UBool checkNextExactContractionMatch(UStringSearch *strsrch,
1173 int32_t *start,
1174 int32_t *end, UErrorCode *status)
b75a7d8f
A
1175{
1176 UCollationElements *coleiter = strsrch->textIter;
1177 int32_t textlength = strsrch->search->textLength;
46f4442e 1178 int32_t temp = *start;
b75a7d8f
A
1179 const UCollator *collator = strsrch->collator;
1180 const UChar *text = strsrch->search->text;
729e4ab9 1181 // This part checks if either ends of the match contains potential
b75a7d8f 1182 // contraction. If so we'll have to iterate through them
374ca955
A
1183 // The start contraction needs to be checked since ucol_previous dumps
1184 // all characters till the first safe character into the buffer.
729e4ab9
A
1185 // *start + 1 is used to test for the unsafe characters instead of *start
1186 // because ucol_prev takes all unsafe characters till the first safe
1187 // character ie *start. so by testing *start + 1, we can estimate if
1188 // excess prefix characters has been included in the potential search
374ca955 1189 // results.
729e4ab9
A
1190 if ((*end < textlength && ucol_unsafeCP(text[*end], collator)) ||
1191 (*start + 1 < textlength
b75a7d8f
A
1192 && ucol_unsafeCP(text[*start + 1], collator))) {
1193 int32_t expansion = getExpansionPrefix(coleiter);
1194 UBool expandflag = expansion > 0;
1195 setColEIterOffset(coleiter, *start);
1196 while (expansion > 0) {
1197 // getting rid of the redundant ce, caused by setOffset.
729e4ab9
A
1198 // since backward contraction/expansion may have extra ces if we
1199 // are in the normalization buffer, hasAccentsBeforeMatch would
b75a7d8f
A
1200 // have taken care of it.
1201 // E.g. the character \u01FA will have an expansion of 3, but if
1202 // we are only looking for acute and ring \u030A and \u0301, we'll
1203 // have to skip the first ce in the expansion buffer.
1204 ucol_next(coleiter, status);
374ca955
A
1205 if (U_FAILURE(*status)) {
1206 return FALSE;
1207 }
b75a7d8f
A
1208 if (ucol_getOffset(coleiter) != temp) {
1209 *start = temp;
1210 temp = ucol_getOffset(coleiter);
1211 }
1212 expansion --;
1213 }
1214
374ca955 1215 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f
A
1216 int32_t patterncelength = strsrch->pattern.CELength;
1217 int32_t count = 0;
1218 while (count < patterncelength) {
374ca955 1219 int32_t ce = getCE(strsrch, ucol_next(coleiter, status));
b75a7d8f
A
1220 if (ce == UCOL_IGNORABLE) {
1221 continue;
1222 }
1223 if (expandflag && count == 0 && ucol_getOffset(coleiter) != temp) {
1224 *start = temp;
1225 temp = ucol_getOffset(coleiter);
1226 }
1227 if (U_FAILURE(*status) || ce != patternce[count]) {
1228 (*end) ++;
729e4ab9 1229 *end = getNextUStringSearchBaseOffset(strsrch, *end);
b75a7d8f
A
1230 return FALSE;
1231 }
1232 count ++;
1233 }
729e4ab9 1234 }
b75a7d8f
A
1235 return TRUE;
1236}
1237
1238/**
1239* Checks and sets the match information if found.
729e4ab9 1240* Checks
b75a7d8f
A
1241* <ul>
1242* <li> the potential match does not repeat the previous match
1243* <li> boundaries are correct
1244* <li> exact matches has no extra accents
1245* <li> identical matchesb
1246* <li> potential match does not end in the middle of a contraction
1247* <\ul>
1248* Otherwise the offset will be shifted to the next character.
729e4ab9 1249* Internal method, status assumed to be success, caller has to check status
b75a7d8f
A
1250* before calling this method.
1251* @param strsrch string search data
1252* @param textoffset offset in the collation element text. the returned value
729e4ab9 1253* will be the truncated end offset of the match or the new start
b75a7d8f
A
1254* search offset.
1255* @param status output error status if any
1256* @return TRUE if the match is valid, FALSE otherwise
1257*/
1258static
729e4ab9 1259inline UBool checkNextExactMatch(UStringSearch *strsrch,
b75a7d8f
A
1260 int32_t *textoffset, UErrorCode *status)
1261{
1262 UCollationElements *coleiter = strsrch->textIter;
729e4ab9
A
1263 int32_t start = getColElemIterOffset(coleiter, FALSE);
1264
374ca955
A
1265 if (!checkNextExactContractionMatch(strsrch, &start, textoffset, status)) {
1266 return FALSE;
b75a7d8f
A
1267 }
1268
1269 // this totally matches, however we need to check if it is repeating
1270 if (!isBreakUnit(strsrch, start, *textoffset) ||
729e4ab9
A
1271 checkRepeatedMatch(strsrch, start, *textoffset) ||
1272 hasAccentsBeforeMatch(strsrch, start, *textoffset) ||
b75a7d8f
A
1273 !checkIdentical(strsrch, start, *textoffset) ||
1274 hasAccentsAfterMatch(strsrch, start, *textoffset)) {
374ca955
A
1275
1276 (*textoffset) ++;
729e4ab9 1277 *textoffset = getNextUStringSearchBaseOffset(strsrch, *textoffset);
374ca955 1278 return FALSE;
b75a7d8f 1279 }
46f4442e
A
1280
1281 //Add breakiterator boundary check for primary strength search.
1282 if (!strsrch->search->breakIter && strsrch->strength == UCOL_PRIMARY) {
4388f060 1283 checkBreakBoundary(strsrch, &start, textoffset);
46f4442e 1284 }
729e4ab9 1285
b75a7d8f
A
1286 // totally match, we will get rid of the ending ignorables.
1287 strsrch->search->matchedIndex = start;
1288 strsrch->search->matchedLength = *textoffset - start;
374ca955 1289 return TRUE;
b75a7d8f
A
1290}
1291
1292/**
729e4ab9 1293* Getting the previous base character offset, or the current offset if the
b75a7d8f
A
1294* current character is a base character
1295* @param text string
1296* @param textoffset one offset after the current character
729e4ab9 1297* @return the offset of the next character after the base character or the first
b75a7d8f
A
1298* composed character with accents
1299*/
1300static
729e4ab9 1301inline int32_t getPreviousBaseOffset(const UChar *text,
b75a7d8f
A
1302 int32_t textoffset)
1303{
1304 if (textoffset > 0) {
46f4442e 1305 for (;;) {
b75a7d8f 1306 int32_t result = textoffset;
4388f060 1307 U16_BACK_1(text, 0, textoffset);
b75a7d8f
A
1308 int32_t temp = textoffset;
1309 uint16_t fcd = getFCD(text, &temp, result);
1310 if ((fcd >> SECOND_LAST_BYTE_SHIFT_) == 0) {
1311 if (fcd & LAST_BYTE_MASK_) {
1312 return textoffset;
1313 }
1314 return result;
1315 }
1316 if (textoffset == 0) {
1317 return 0;
1318 }
1319 }
1320 }
1321 return textoffset;
1322}
1323
1324/**
1325* Getting the indexes of the accents that are not blocked in the argument
1326* accent array
1327* @param accents array of accents in nfd terminated by a 0.
1328* @param accentsindex array of indexes of the accents that are not blocked
1329*/
1330static
1331inline int getUnblockedAccentIndex(UChar *accents, int32_t *accentsindex)
1332{
1333 int32_t index = 0;
1334 int32_t length = u_strlen(accents);
1335 UChar32 codepoint = 0;
1336 int cclass = 0;
1337 int result = 0;
1338 int32_t temp;
1339 while (index < length) {
1340 temp = index;
4388f060 1341 U16_NEXT(accents, index, length, codepoint);
b75a7d8f
A
1342 if (u_getCombiningClass(codepoint) != cclass) {
1343 cclass = u_getCombiningClass(codepoint);
1344 accentsindex[result] = temp;
1345 result ++;
1346 }
1347 }
1348 accentsindex[result] = length;
1349 return result;
1350}
1351
1352/**
1353* Appends 3 UChar arrays to a destination array.
729e4ab9 1354* Creates a new array if we run out of space. The caller will have to
b75a7d8f 1355* manually deallocate the newly allocated array.
729e4ab9
A
1356* Internal method, status assumed to be success, caller has to check status
1357* before calling this method. destination not to be NULL and has at least
b75a7d8f
A
1358* size destinationlength.
1359* @param destination target array
1360* @param destinationlength target array size, returning the appended length
1361* @param source1 null-terminated first array
1362* @param source2 second array
1363* @param source2length length of seond array
1364* @param source3 null-terminated third array
1365* @param status error status if any
1366* @return new destination array, destination if there was no new allocation
1367*/
1368static
729e4ab9
A
1369inline UChar * addToUCharArray( UChar *destination,
1370 int32_t *destinationlength,
1371 const UChar *source1,
b75a7d8f 1372 const UChar *source2,
729e4ab9
A
1373 int32_t source2length,
1374 const UChar *source3,
1375 UErrorCode *status)
b75a7d8f
A
1376{
1377 int32_t source1length = source1 ? u_strlen(source1) : 0;
729e4ab9
A
1378 int32_t source3length = source3 ? u_strlen(source3) : 0;
1379 if (*destinationlength < source1length + source2length + source3length +
1380 1)
b75a7d8f
A
1381 {
1382 destination = (UChar *)allocateMemory(
1383 (source1length + source2length + source3length + 1) * sizeof(UChar),
1384 status);
729e4ab9 1385 // if error allocating memory, status will be
b75a7d8f
A
1386 // U_MEMORY_ALLOCATION_ERROR
1387 if (U_FAILURE(*status)) {
1388 *destinationlength = 0;
1389 return NULL;
1390 }
1391 }
1392 if (source1length != 0) {
1393 uprv_memcpy(destination, source1, sizeof(UChar) * source1length);
1394 }
1395 if (source2length != 0) {
729e4ab9 1396 uprv_memcpy(destination + source1length, source2,
b75a7d8f
A
1397 sizeof(UChar) * source2length);
1398 }
1399 if (source3length != 0) {
729e4ab9 1400 uprv_memcpy(destination + source1length + source2length, source3,
b75a7d8f
A
1401 sizeof(UChar) * source3length);
1402 }
1403 *destinationlength = source1length + source2length + source3length;
1404 return destination;
1405}
1406
1407/**
1408* Running through a collation element iterator to see if the contents matches
1409* pattern in string search data
1410* @param strsrch string search data
1411* @param coleiter collation element iterator
1412* @return TRUE if a match if found, FALSE otherwise
1413*/
1414static
729e4ab9 1415inline UBool checkCollationMatch(const UStringSearch *strsrch,
b75a7d8f
A
1416 UCollationElements *coleiter)
1417{
1418 int patternceindex = strsrch->pattern.CELength;
374ca955 1419 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f
A
1420 UErrorCode status = U_ZERO_ERROR;
1421 while (patternceindex > 0) {
374ca955 1422 int32_t ce = getCE(strsrch, ucol_next(coleiter, &status));
b75a7d8f
A
1423 if (ce == UCOL_IGNORABLE) {
1424 continue;
1425 }
1426 if (U_FAILURE(status) || ce != *patternce) {
1427 return FALSE;
1428 }
1429 patternce ++;
1430 patternceindex --;
1431 }
1432 return TRUE;
1433}
1434
1435/**
1436* Rearranges the front accents to try matching.
729e4ab9
A
1437* Prefix accents in the text will be grouped according to their combining
1438* class and the groups will be mixed and matched to try find the perfect
b75a7d8f
A
1439* match with the pattern.
1440* So for instance looking for "\u0301" in "\u030A\u0301\u0325"
1441* step 1: split "\u030A\u0301" into 6 other type of potential accent substrings
729e4ab9 1442* "\u030A", "\u0301", "\u0325", "\u030A\u0301", "\u030A\u0325",
b75a7d8f
A
1443* "\u0301\u0325".
1444* step 2: check if any of the generated substrings matches the pattern.
1445* Internal method, status is assumed to be success, caller has to check status
1446* before calling this method.
1447* @param strsrch string search match
1448* @param start first offset of the accents to start searching
1449* @param end start of the last accent set
1450* @param status output error status if any
1451* @return USEARCH_DONE if a match is not found, otherwise return the starting
1452* offset of the match. Note this start includes all preceding accents.
1453*/
1454static
729e4ab9 1455int32_t doNextCanonicalPrefixMatch(UStringSearch *strsrch,
b75a7d8f 1456 int32_t start,
729e4ab9 1457 int32_t end,
b75a7d8f
A
1458 UErrorCode *status)
1459{
1460 const UChar *text = strsrch->search->text;
1461 int32_t textlength = strsrch->search->textLength;
1462 int32_t tempstart = start;
1463
1464 if ((getFCD(text, &tempstart, textlength) & LAST_BYTE_MASK_) == 0) {
1465 // die... failed at a base character
1466 return USEARCH_DONE;
1467 }
1468
1469 int32_t offset = getNextBaseOffset(text, tempstart, textlength);
1470 start = getPreviousBaseOffset(text, tempstart);
1471
1472 UChar accents[INITIAL_ARRAY_SIZE_];
1473 // normalizing the offensive string
729e4ab9
A
1474 unorm_normalize(text + start, offset - start, UNORM_NFD, 0, accents,
1475 INITIAL_ARRAY_SIZE_, status);
b75a7d8f
A
1476 if (U_FAILURE(*status)) {
1477 return USEARCH_DONE;
1478 }
729e4ab9
A
1479
1480 int32_t accentsindex[INITIAL_ARRAY_SIZE_];
1481 int32_t accentsize = getUnblockedAccentIndex(accents,
b75a7d8f 1482 accentsindex);
729e4ab9 1483 int32_t count = (2 << (accentsize - 1)) - 1;
b75a7d8f
A
1484 UChar buffer[INITIAL_ARRAY_SIZE_];
1485 UCollationElements *coleiter = strsrch->utilIter;
1486 while (U_SUCCESS(*status) && count > 0) {
1487 UChar *rearrange = strsrch->canonicalPrefixAccents;
1488 // copy the base characters
1489 for (int k = 0; k < accentsindex[0]; k ++) {
1490 *rearrange ++ = accents[k];
1491 }
1492 // forming all possible canonical rearrangement by dropping
1493 // sets of accents
1494 for (int i = 0; i <= accentsize - 1; i ++) {
1495 int32_t mask = 1 << (accentsize - i - 1);
1496 if (count & mask) {
1497 for (int j = accentsindex[i]; j < accentsindex[i + 1]; j ++) {
1498 *rearrange ++ = accents[j];
1499 }
1500 }
1501 }
1502 *rearrange = 0;
1503 int32_t matchsize = INITIAL_ARRAY_SIZE_;
1504 UChar *match = addToUCharArray(buffer, &matchsize,
1505 strsrch->canonicalPrefixAccents,
1506 strsrch->search->text + offset,
1507 end - offset,
1508 strsrch->canonicalSuffixAccents,
1509 status);
729e4ab9 1510
b75a7d8f
A
1511 // if status is a failure, ucol_setText does nothing.
1512 // run the collator iterator through this match
1513 ucol_setText(coleiter, match, matchsize, status);
1514 if (U_SUCCESS(*status)) {
1515 if (checkCollationMatch(strsrch, coleiter)) {
1516 if (match != buffer) {
1517 uprv_free(match);
1518 }
1519 return start;
1520 }
1521 }
1522 count --;
1523 }
1524 return USEARCH_DONE;
1525}
1526
1527/**
1528* Gets the offset to the safe point in text before textoffset.
1529* ie. not the middle of a contraction, swappable characters or supplementary
1530* characters.
1531* @param collator collation sata
1532* @param text string to work with
1533* @param textoffset offset in string
1534* @param textlength length of text string
1535* @return offset to the previous safe character
1536*/
1537static
729e4ab9 1538inline uint32_t getPreviousSafeOffset(const UCollator *collator,
b75a7d8f
A
1539 const UChar *text,
1540 int32_t textoffset)
1541{
1542 int32_t result = textoffset; // first contraction character
1543 while (result != 0 && ucol_unsafeCP(text[result - 1], collator)) {
1544 result --;
1545 }
1546 if (result != 0) {
1547 // the first contraction character is consider unsafe here
1548 result --;
1549 }
729e4ab9 1550 return result;
b75a7d8f
A
1551}
1552
1553/**
1554* Cleaning up after we passed the safe zone
1555* @param strsrch string search data
1556* @param safetext safe text array
1557* @param safebuffer safe text buffer
1558* @param coleiter collation element iterator for safe text
1559*/
1560static
1561inline void cleanUpSafeText(const UStringSearch *strsrch, UChar *safetext,
1562 UChar *safebuffer)
1563{
729e4ab9 1564 if (safetext != safebuffer && safetext != strsrch->canonicalSuffixAccents)
b75a7d8f
A
1565 {
1566 uprv_free(safetext);
1567 }
1568}
1569
1570/**
1571* Take the rearranged end accents and tries matching. If match failed at
1572* a seperate preceding set of accents (seperated from the rearranged on by
729e4ab9 1573* at least a base character) then we rearrange the preceding accents and
b75a7d8f 1574* tries matching again.
729e4ab9 1575* We allow skipping of the ends of the accent set if the ces do not match.
b75a7d8f
A
1576* However if the failure is found before the accent set, it fails.
1577* Internal method, status assumed to be success, caller has to check status
1578* before calling this method.
1579* @param strsrch string search data
1580* @param textoffset of the start of the rearranged accent
1581* @param status output error status if any
1582* @return USEARCH_DONE if a match is not found, otherwise return the starting
1583* offset of the match. Note this start includes all preceding accents.
1584*/
1585static
729e4ab9 1586int32_t doNextCanonicalSuffixMatch(UStringSearch *strsrch,
b75a7d8f
A
1587 int32_t textoffset,
1588 UErrorCode *status)
1589{
1590 const UChar *text = strsrch->search->text;
1591 const UCollator *collator = strsrch->collator;
1592 int32_t safelength = 0;
1593 UChar *safetext;
1594 int32_t safetextlength;
1595 UChar safebuffer[INITIAL_ARRAY_SIZE_];
1596 UCollationElements *coleiter = strsrch->utilIter;
1597 int32_t safeoffset = textoffset;
1598
729e4ab9 1599 if (textoffset != 0 && ucol_unsafeCP(strsrch->canonicalSuffixAccents[0],
b75a7d8f
A
1600 collator)) {
1601 safeoffset = getPreviousSafeOffset(collator, text, textoffset);
1602 safelength = textoffset - safeoffset;
1603 safetextlength = INITIAL_ARRAY_SIZE_;
729e4ab9
A
1604 safetext = addToUCharArray(safebuffer, &safetextlength, NULL,
1605 text + safeoffset, safelength,
1606 strsrch->canonicalSuffixAccents,
b75a7d8f
A
1607 status);
1608 }
1609 else {
1610 safetextlength = u_strlen(strsrch->canonicalSuffixAccents);
1611 safetext = strsrch->canonicalSuffixAccents;
1612 }
1613
1614 // if status is a failure, ucol_setText does nothing
1615 ucol_setText(coleiter, safetext, safetextlength, status);
1616 // status checked in loop below
1617
374ca955
A
1618 int32_t *ce = strsrch->pattern.CE;
1619 int32_t celength = strsrch->pattern.CELength;
b75a7d8f
A
1620 int ceindex = celength - 1;
1621 UBool isSafe = TRUE; // indication flag for position in safe zone
729e4ab9 1622
b75a7d8f 1623 while (ceindex >= 0) {
374ca955 1624 int32_t textce = ucol_previous(coleiter, status);
b75a7d8f
A
1625 if (U_FAILURE(*status)) {
1626 if (isSafe) {
1627 cleanUpSafeText(strsrch, safetext, safebuffer);
1628 }
1629 return USEARCH_DONE;
1630 }
1631 if (textce == UCOL_NULLORDER) {
1632 // check if we have passed the safe buffer
1633 if (coleiter == strsrch->textIter) {
1634 cleanUpSafeText(strsrch, safetext, safebuffer);
1635 return USEARCH_DONE;
1636 }
1637 cleanUpSafeText(strsrch, safetext, safebuffer);
1638 safetext = safebuffer;
1639 coleiter = strsrch->textIter;
1640 setColEIterOffset(coleiter, safeoffset);
1641 // status checked at the start of the loop
1642 isSafe = FALSE;
1643 continue;
1644 }
1645 textce = getCE(strsrch, textce);
1646 if (textce != UCOL_IGNORABLE && textce != ce[ceindex]) {
1647 // do the beginning stuff
1648 int32_t failedoffset = getColElemIterOffset(coleiter, FALSE);
1649 if (isSafe && failedoffset >= safelength) {
1650 // alas... no hope. failed at rearranged accent set
1651 cleanUpSafeText(strsrch, safetext, safebuffer);
1652 return USEARCH_DONE;
1653 }
1654 else {
1655 if (isSafe) {
1656 failedoffset += safeoffset;
1657 cleanUpSafeText(strsrch, safetext, safebuffer);
1658 }
729e4ab9 1659
b75a7d8f 1660 // try rearranging the front accents
729e4ab9 1661 int32_t result = doNextCanonicalPrefixMatch(strsrch,
b75a7d8f
A
1662 failedoffset, textoffset, status);
1663 if (result != USEARCH_DONE) {
1664 // if status is a failure, ucol_setOffset does nothing
1665 setColEIterOffset(strsrch->textIter, result);
1666 }
1667 if (U_FAILURE(*status)) {
1668 return USEARCH_DONE;
1669 }
1670 return result;
1671 }
1672 }
1673 if (textce == ce[ceindex]) {
1674 ceindex --;
1675 }
1676 }
1677 // set offset here
1678 if (isSafe) {
1679 int32_t result = getColElemIterOffset(coleiter, FALSE);
1680 // sets the text iterator here with the correct expansion and offset
1681 int32_t leftoverces = getExpansionPrefix(coleiter);
1682 cleanUpSafeText(strsrch, safetext, safebuffer);
729e4ab9 1683 if (result >= safelength) {
b75a7d8f
A
1684 result = textoffset;
1685 }
1686 else {
1687 result += safeoffset;
1688 }
1689 setColEIterOffset(strsrch->textIter, result);
729e4ab9 1690 strsrch->textIter->iteratordata_.toReturn =
b75a7d8f
A
1691 setExpansionPrefix(strsrch->textIter, leftoverces);
1692 return result;
1693 }
729e4ab9
A
1694
1695 return ucol_getOffset(coleiter);
b75a7d8f
A
1696}
1697
1698/**
1699* Trying out the substring and sees if it can be a canonical match.
1700* This will try normalizing the end accents and arranging them into canonical
1701* equivalents and check their corresponding ces with the pattern ce.
729e4ab9
A
1702* Suffix accents in the text will be grouped according to their combining
1703* class and the groups will be mixed and matched to try find the perfect
b75a7d8f
A
1704* match with the pattern.
1705* So for instance looking for "\u0301" in "\u030A\u0301\u0325"
1706* step 1: split "\u030A\u0301" into 6 other type of potential accent substrings
729e4ab9 1707* "\u030A", "\u0301", "\u0325", "\u030A\u0301", "\u030A\u0325",
b75a7d8f
A
1708* "\u0301\u0325".
1709* step 2: check if any of the generated substrings matches the pattern.
729e4ab9 1710* Internal method, status assumed to be success, caller has to check status
b75a7d8f
A
1711* before calling this method.
1712* @param strsrch string search data
729e4ab9 1713* @param textoffset end offset in the collation element text that ends with
b75a7d8f
A
1714* the accents to be rearranged
1715* @param status error status if any
1716* @return TRUE if the match is valid, FALSE otherwise
1717*/
1718static
729e4ab9
A
1719UBool doNextCanonicalMatch(UStringSearch *strsrch,
1720 int32_t textoffset,
b75a7d8f
A
1721 UErrorCode *status)
1722{
1723 const UChar *text = strsrch->search->text;
1724 int32_t temp = textoffset;
4388f060 1725 U16_BACK_1(text, 0, temp);
b75a7d8f
A
1726 if ((getFCD(text, &temp, textoffset) & LAST_BYTE_MASK_) == 0) {
1727 UCollationElements *coleiter = strsrch->textIter;
1728 int32_t offset = getColElemIterOffset(coleiter, FALSE);
1729 if (strsrch->pattern.hasPrefixAccents) {
729e4ab9 1730 offset = doNextCanonicalPrefixMatch(strsrch, offset, textoffset,
b75a7d8f
A
1731 status);
1732 if (U_SUCCESS(*status) && offset != USEARCH_DONE) {
1733 setColEIterOffset(coleiter, offset);
1734 return TRUE;
1735 }
1736 }
1737 return FALSE;
1738 }
1739
1740 if (!strsrch->pattern.hasSuffixAccents) {
1741 return FALSE;
1742 }
1743
1744 UChar accents[INITIAL_ARRAY_SIZE_];
1745 // offset to the last base character in substring to search
1746 int32_t baseoffset = getPreviousBaseOffset(text, textoffset);
1747 // normalizing the offensive string
729e4ab9
A
1748 unorm_normalize(text + baseoffset, textoffset - baseoffset, UNORM_NFD,
1749 0, accents, INITIAL_ARRAY_SIZE_, status);
b75a7d8f 1750 // status checked in loop below
729e4ab9 1751
b75a7d8f
A
1752 int32_t accentsindex[INITIAL_ARRAY_SIZE_];
1753 int32_t size = getUnblockedAccentIndex(accents, accentsindex);
1754
374ca955
A
1755 // 2 power n - 1 plus the full set of accents
1756 int32_t count = (2 << (size - 1)) - 1;
b75a7d8f
A
1757 while (U_SUCCESS(*status) && count > 0) {
1758 UChar *rearrange = strsrch->canonicalSuffixAccents;
1759 // copy the base characters
1760 for (int k = 0; k < accentsindex[0]; k ++) {
1761 *rearrange ++ = accents[k];
1762 }
1763 // forming all possible canonical rearrangement by dropping
1764 // sets of accents
1765 for (int i = 0; i <= size - 1; i ++) {
1766 int32_t mask = 1 << (size - i - 1);
1767 if (count & mask) {
1768 for (int j = accentsindex[i]; j < accentsindex[i + 1]; j ++) {
1769 *rearrange ++ = accents[j];
1770 }
1771 }
1772 }
1773 *rearrange = 0;
729e4ab9 1774 int32_t offset = doNextCanonicalSuffixMatch(strsrch, baseoffset,
b75a7d8f
A
1775 status);
1776 if (offset != USEARCH_DONE) {
1777 return TRUE; // match found
1778 }
1779 count --;
1780 }
1781 return FALSE;
1782}
1783
1784/**
729e4ab9 1785* Gets the previous base character offset depending on the string search
b75a7d8f
A
1786* pattern data
1787* @param strsrch string search data
1788* @param textoffset current offset, current character
1789* @return the offset of the next character after this base character or itself
1790* if it is a composed character with accents
1791*/
1792static
729e4ab9 1793inline int32_t getPreviousUStringSearchBaseOffset(UStringSearch *strsrch,
b75a7d8f
A
1794 int32_t textoffset)
1795{
1796 if (strsrch->pattern.hasPrefixAccents && textoffset > 0) {
1797 const UChar *text = strsrch->search->text;
1798 int32_t offset = textoffset;
729e4ab9 1799 if (getFCD(text, &offset, strsrch->search->textLength) >>
b75a7d8f
A
1800 SECOND_LAST_BYTE_SHIFT_) {
1801 return getPreviousBaseOffset(text, textoffset);
1802 }
1803 }
1804 return textoffset;
1805}
1806
1807/**
729e4ab9 1808* Checks match for contraction.
b75a7d8f
A
1809* If the match ends with a partial contraction we fail.
1810* If the match starts too far off (because of backwards iteration) we try to
1811* chip off the extra characters
729e4ab9 1812* Internal method, status assumed to be success, caller has to check status
b75a7d8f
A
1813* before calling this method.
1814* @param strsrch string search data
1815* @param start offset of potential match, to be modified if necessary
1816* @param end offset of potential match, to be modified if necessary
1817* @param status output error status if any
1818* @return TRUE if match passes the contraction test, FALSE otherwise
1819*/
1820static
729e4ab9
A
1821UBool checkNextCanonicalContractionMatch(UStringSearch *strsrch,
1822 int32_t *start,
1823 int32_t *end,
1824 UErrorCode *status)
b75a7d8f
A
1825{
1826 UCollationElements *coleiter = strsrch->textIter;
1827 int32_t textlength = strsrch->search->textLength;
1828 int32_t temp = *start;
1829 const UCollator *collator = strsrch->collator;
1830 const UChar *text = strsrch->search->text;
729e4ab9 1831 // This part checks if either ends of the match contains potential
b75a7d8f 1832 // contraction. If so we'll have to iterate through them
729e4ab9
A
1833 if ((*end < textlength && ucol_unsafeCP(text[*end], collator)) ||
1834 (*start + 1 < textlength
b75a7d8f
A
1835 && ucol_unsafeCP(text[*start + 1], collator))) {
1836 int32_t expansion = getExpansionPrefix(coleiter);
1837 UBool expandflag = expansion > 0;
1838 setColEIterOffset(coleiter, *start);
1839 while (expansion > 0) {
1840 // getting rid of the redundant ce, caused by setOffset.
729e4ab9
A
1841 // since backward contraction/expansion may have extra ces if we
1842 // are in the normalization buffer, hasAccentsBeforeMatch would
b75a7d8f
A
1843 // have taken care of it.
1844 // E.g. the character \u01FA will have an expansion of 3, but if
1845 // we are only looking for acute and ring \u030A and \u0301, we'll
1846 // have to skip the first ce in the expansion buffer.
1847 ucol_next(coleiter, status);
374ca955
A
1848 if (U_FAILURE(*status)) {
1849 return FALSE;
1850 }
b75a7d8f
A
1851 if (ucol_getOffset(coleiter) != temp) {
1852 *start = temp;
1853 temp = ucol_getOffset(coleiter);
1854 }
1855 expansion --;
1856 }
1857
374ca955 1858 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f
A
1859 int32_t patterncelength = strsrch->pattern.CELength;
1860 int32_t count = 0;
1861 int32_t textlength = strsrch->search->textLength;
1862 while (count < patterncelength) {
374ca955 1863 int32_t ce = getCE(strsrch, ucol_next(coleiter, status));
b75a7d8f
A
1864 // status checked below, note that if status is a failure
1865 // ucol_next returns UCOL_NULLORDER
1866 if (ce == UCOL_IGNORABLE) {
1867 continue;
1868 }
1869 if (expandflag && count == 0 && ucol_getOffset(coleiter) != temp) {
1870 *start = temp;
1871 temp = ucol_getOffset(coleiter);
1872 }
1873
1874 if (count == 0 && ce != patternce[0]) {
729e4ab9 1875 // accents may have extra starting ces, this occurs when a
b75a7d8f
A
1876 // pure accent pattern is matched without rearrangement
1877 // text \u0325\u0300 and looking for \u0300
729e4ab9 1878 int32_t expected = patternce[0];
b75a7d8f
A
1879 if (getFCD(text, start, textlength) & LAST_BYTE_MASK_) {
1880 ce = getCE(strsrch, ucol_next(coleiter, status));
729e4ab9 1881 while (U_SUCCESS(*status) && ce != expected &&
b75a7d8f
A
1882 ce != UCOL_NULLORDER &&
1883 ucol_getOffset(coleiter) <= *end) {
1884 ce = getCE(strsrch, ucol_next(coleiter, status));
1885 }
1886 }
1887 }
1888 if (U_FAILURE(*status) || ce != patternce[count]) {
1889 (*end) ++;
729e4ab9 1890 *end = getNextUStringSearchBaseOffset(strsrch, *end);
b75a7d8f
A
1891 return FALSE;
1892 }
1893 count ++;
1894 }
729e4ab9 1895 }
b75a7d8f
A
1896 return TRUE;
1897}
1898
1899/**
1900* Checks and sets the match information if found.
729e4ab9 1901* Checks
b75a7d8f
A
1902* <ul>
1903* <li> the potential match does not repeat the previous match
1904* <li> boundaries are correct
1905* <li> potential match does not end in the middle of a contraction
1906* <li> identical matches
1907* <\ul>
1908* Otherwise the offset will be shifted to the next character.
729e4ab9 1909* Internal method, status assumed to be success, caller has to check the
b75a7d8f
A
1910* status before calling this method.
1911* @param strsrch string search data
1912* @param textoffset offset in the collation element text. the returned value
729e4ab9 1913* will be the truncated end offset of the match or the new start
b75a7d8f
A
1914* search offset.
1915* @param status output error status if any
1916* @return TRUE if the match is valid, FALSE otherwise
1917*/
1918static
729e4ab9
A
1919inline UBool checkNextCanonicalMatch(UStringSearch *strsrch,
1920 int32_t *textoffset,
b75a7d8f
A
1921 UErrorCode *status)
1922{
1923 // to ensure that the start and ends are not composite characters
1924 UCollationElements *coleiter = strsrch->textIter;
1925 // if we have a canonical accent match
729e4ab9
A
1926 if ((strsrch->pattern.hasSuffixAccents &&
1927 strsrch->canonicalSuffixAccents[0]) ||
1928 (strsrch->pattern.hasPrefixAccents &&
b75a7d8f
A
1929 strsrch->canonicalPrefixAccents[0])) {
1930 strsrch->search->matchedIndex = getPreviousUStringSearchBaseOffset(
1931 strsrch,
1932 ucol_getOffset(coleiter));
729e4ab9 1933 strsrch->search->matchedLength = *textoffset -
b75a7d8f
A
1934 strsrch->search->matchedIndex;
1935 return TRUE;
1936 }
1937
1938 int32_t start = getColElemIterOffset(coleiter, FALSE);
729e4ab9 1939 if (!checkNextCanonicalContractionMatch(strsrch, &start, textoffset,
b75a7d8f
A
1940 status) || U_FAILURE(*status)) {
1941 return FALSE;
1942 }
729e4ab9 1943
b75a7d8f
A
1944 start = getPreviousUStringSearchBaseOffset(strsrch, start);
1945 // this totally matches, however we need to check if it is repeating
729e4ab9
A
1946 if (checkRepeatedMatch(strsrch, start, *textoffset) ||
1947 !isBreakUnit(strsrch, start, *textoffset) ||
b75a7d8f
A
1948 !checkIdentical(strsrch, start, *textoffset)) {
1949 (*textoffset) ++;
729e4ab9 1950 *textoffset = getNextBaseOffset(strsrch->search->text, *textoffset,
b75a7d8f
A
1951 strsrch->search->textLength);
1952 return FALSE;
1953 }
729e4ab9 1954
b75a7d8f
A
1955 strsrch->search->matchedIndex = start;
1956 strsrch->search->matchedLength = *textoffset - start;
1957 return TRUE;
1958}
1959
1960/**
1961* Shifting the collation element iterator position forward to prepare for
1962* a preceding match. If the first character is a unsafe character, we'll only
1963* shift by 1 to capture contractions, normalization etc.
729e4ab9 1964* Internal method, status assumed to be success, caller has to check status
b75a7d8f
A
1965* before calling this method.
1966* @param text strsrch string search data
1967* @param textoffset start text position to do search
1968* @param ce the text ce which failed the match.
1969* @param patternceindex index of the ce within the pattern ce buffer which
1970* failed the match
1971* @return final offset
1972*/
1973static
1974inline int32_t reverseShift(UStringSearch *strsrch,
1975 int32_t textoffset,
374ca955 1976 int32_t ce,
b75a7d8f 1977 int32_t patternceindex)
729e4ab9 1978{
b75a7d8f
A
1979 if (strsrch->search->isOverlap) {
1980 if (textoffset != strsrch->search->textLength) {
1981 textoffset --;
1982 }
1983 else {
1984 textoffset -= strsrch->pattern.defaultShiftSize;
1985 }
1986 }
1987 else {
1988 if (ce != UCOL_NULLORDER) {
1989 int32_t shift = strsrch->pattern.backShift[hash(ce)];
729e4ab9
A
1990
1991 // this is to adjust for characters in the middle of the substring
b75a7d8f
A
1992 // for matching that failed.
1993 int32_t adjust = patternceindex;
1994 if (adjust > 1 && shift > adjust) {
1995 shift -= adjust - 1;
1996 }
1997 textoffset -= shift;
1998 }
1999 else {
2000 textoffset -= strsrch->pattern.defaultShiftSize;
2001 }
729e4ab9 2002 }
b75a7d8f
A
2003 textoffset = getPreviousUStringSearchBaseOffset(strsrch, textoffset);
2004 return textoffset;
2005}
2006
2007/**
729e4ab9 2008* Checks match for contraction.
b75a7d8f 2009* If the match starts with a partial contraction we fail.
729e4ab9 2010* Internal method, status assumed to be success, caller has to check status
b75a7d8f
A
2011* before calling this method.
2012* @param strsrch string search data
2013* @param start offset of potential match, to be modified if necessary
2014* @param end offset of potential match, to be modified if necessary
2015* @param status output error status if any
2016* @return TRUE if match passes the contraction test, FALSE otherwise
2017*/
2018static
729e4ab9
A
2019UBool checkPreviousExactContractionMatch(UStringSearch *strsrch,
2020 int32_t *start,
2021 int32_t *end, UErrorCode *status)
b75a7d8f
A
2022{
2023 UCollationElements *coleiter = strsrch->textIter;
2024 int32_t textlength = strsrch->search->textLength;
2025 int32_t temp = *end;
2026 const UCollator *collator = strsrch->collator;
2027 const UChar *text = strsrch->search->text;
729e4ab9 2028 // This part checks if either if the start of the match contains potential
b75a7d8f 2029 // contraction. If so we'll have to iterate through them
729e4ab9 2030 // Since we used ucol_next while previously looking for the potential
374ca955
A
2031 // match, this guarantees that our end will not be a partial contraction,
2032 // or a partial supplementary character.
b75a7d8f
A
2033 if (*start < textlength && ucol_unsafeCP(text[*start], collator)) {
2034 int32_t expansion = getExpansionSuffix(coleiter);
2035 UBool expandflag = expansion > 0;
2036 setColEIterOffset(coleiter, *end);
2037 while (U_SUCCESS(*status) && expansion > 0) {
2038 // getting rid of the redundant ce
2039 // since forward contraction/expansion may have extra ces
2040 // if we are in the normalization buffer, hasAccentsBeforeMatch
2041 // would have taken care of it.
2042 // E.g. the character \u01FA will have an expansion of 3, but if
729e4ab9 2043 // we are only looking for A ring A\u030A, we'll have to skip the
b75a7d8f
A
2044 // last ce in the expansion buffer
2045 ucol_previous(coleiter, status);
374ca955
A
2046 if (U_FAILURE(*status)) {
2047 return FALSE;
2048 }
b75a7d8f
A
2049 if (ucol_getOffset(coleiter) != temp) {
2050 *end = temp;
2051 temp = ucol_getOffset(coleiter);
2052 }
2053 expansion --;
2054 }
2055
374ca955 2056 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f
A
2057 int32_t patterncelength = strsrch->pattern.CELength;
2058 int32_t count = patterncelength;
2059 while (count > 0) {
374ca955 2060 int32_t ce = getCE(strsrch, ucol_previous(coleiter, status));
b75a7d8f
A
2061 // status checked below, note that if status is a failure
2062 // ucol_previous returns UCOL_NULLORDER
2063 if (ce == UCOL_IGNORABLE) {
2064 continue;
2065 }
729e4ab9 2066 if (expandflag && count == 0 &&
b75a7d8f
A
2067 getColElemIterOffset(coleiter, FALSE) != temp) {
2068 *end = temp;
2069 temp = ucol_getOffset(coleiter);
2070 }
2071 if (U_FAILURE(*status) || ce != patternce[count - 1]) {
2072 (*start) --;
2073 *start = getPreviousBaseOffset(text, *start);
2074 return FALSE;
2075 }
2076 count --;
2077 }
729e4ab9 2078 }
b75a7d8f
A
2079 return TRUE;
2080}
2081
2082/**
2083* Checks and sets the match information if found.
729e4ab9 2084* Checks
b75a7d8f
A
2085* <ul>
2086* <li> the current match does not repeat the last match
2087* <li> boundaries are correct
2088* <li> exact matches has no extra accents
2089* <li> identical matches
2090* <\ul>
2091* Otherwise the offset will be shifted to the preceding character.
2092* Internal method, status assumed to be success, caller has to check status
2093* before calling this method.
2094* @param strsrch string search data
729e4ab9 2095* @param collator
b75a7d8f
A
2096* @param coleiter collation element iterator
2097* @param text string
2098* @param textoffset offset in the collation element text. the returned value
729e4ab9 2099* will be the truncated start offset of the match or the new start
b75a7d8f
A
2100* search offset.
2101* @param status output error status if any
2102* @return TRUE if the match is valid, FALSE otherwise
2103*/
2104static
729e4ab9
A
2105inline UBool checkPreviousExactMatch(UStringSearch *strsrch,
2106 int32_t *textoffset,
b75a7d8f
A
2107 UErrorCode *status)
2108{
2109 // to ensure that the start and ends are not composite characters
729e4ab9 2110 int32_t end = ucol_getOffset(strsrch->textIter);
b75a7d8f
A
2111 if (!checkPreviousExactContractionMatch(strsrch, textoffset, &end, status)
2112 || U_FAILURE(*status)) {
2113 return FALSE;
2114 }
729e4ab9 2115
b75a7d8f
A
2116 // this totally matches, however we need to check if it is repeating
2117 // the old match
729e4ab9 2118 if (checkRepeatedMatch(strsrch, *textoffset, end) ||
b75a7d8f
A
2119 !isBreakUnit(strsrch, *textoffset, end) ||
2120 hasAccentsBeforeMatch(strsrch, *textoffset, end) ||
729e4ab9 2121 !checkIdentical(strsrch, *textoffset, end) ||
b75a7d8f
A
2122 hasAccentsAfterMatch(strsrch, *textoffset, end)) {
2123 (*textoffset) --;
729e4ab9 2124 *textoffset = getPreviousBaseOffset(strsrch->search->text,
b75a7d8f
A
2125 *textoffset);
2126 return FALSE;
2127 }
729e4ab9 2128
46f4442e
A
2129 //Add breakiterator boundary check for primary strength search.
2130 if (!strsrch->search->breakIter && strsrch->strength == UCOL_PRIMARY) {
4388f060 2131 checkBreakBoundary(strsrch, textoffset, &end);
46f4442e 2132 }
729e4ab9 2133
b75a7d8f
A
2134 strsrch->search->matchedIndex = *textoffset;
2135 strsrch->search->matchedLength = end - *textoffset;
2136 return TRUE;
2137}
2138
2139/**
2140* Rearranges the end accents to try matching.
729e4ab9
A
2141* Suffix accents in the text will be grouped according to their combining
2142* class and the groups will be mixed and matched to try find the perfect
b75a7d8f
A
2143* match with the pattern.
2144* So for instance looking for "\u0301" in "\u030A\u0301\u0325"
2145* step 1: split "\u030A\u0301" into 6 other type of potential accent substrings
729e4ab9 2146* "\u030A", "\u0301", "\u0325", "\u030A\u0301", "\u030A\u0325",
b75a7d8f
A
2147* "\u0301\u0325".
2148* step 2: check if any of the generated substrings matches the pattern.
729e4ab9 2149* Internal method, status assumed to be success, user has to check status
b75a7d8f
A
2150* before calling this method.
2151* @param strsrch string search match
2152* @param start offset of the first base character
2153* @param end start of the last accent set
2154* @param status only error status if any
2155* @return USEARCH_DONE if a match is not found, otherwise return the ending
2156* offset of the match. Note this start includes all following accents.
2157*/
2158static
729e4ab9 2159int32_t doPreviousCanonicalSuffixMatch(UStringSearch *strsrch,
b75a7d8f 2160 int32_t start,
729e4ab9 2161 int32_t end,
b75a7d8f
A
2162 UErrorCode *status)
2163{
2164 const UChar *text = strsrch->search->text;
2165 int32_t tempend = end;
2166
4388f060 2167 U16_BACK_1(text, 0, tempend);
729e4ab9 2168 if (!(getFCD(text, &tempend, strsrch->search->textLength) &
b75a7d8f
A
2169 LAST_BYTE_MASK_)) {
2170 // die... failed at a base character
2171 return USEARCH_DONE;
2172 }
2173 end = getNextBaseOffset(text, end, strsrch->search->textLength);
2174
2175 if (U_SUCCESS(*status)) {
2176 UChar accents[INITIAL_ARRAY_SIZE_];
2177 int32_t offset = getPreviousBaseOffset(text, end);
2178 // normalizing the offensive string
729e4ab9
A
2179 unorm_normalize(text + offset, end - offset, UNORM_NFD, 0, accents,
2180 INITIAL_ARRAY_SIZE_, status);
2181
2182 int32_t accentsindex[INITIAL_ARRAY_SIZE_];
2183 int32_t accentsize = getUnblockedAccentIndex(accents,
b75a7d8f 2184 accentsindex);
729e4ab9 2185 int32_t count = (2 << (accentsize - 1)) - 1;
b75a7d8f
A
2186 UChar buffer[INITIAL_ARRAY_SIZE_];
2187 UCollationElements *coleiter = strsrch->utilIter;
2188 while (U_SUCCESS(*status) && count > 0) {
2189 UChar *rearrange = strsrch->canonicalSuffixAccents;
2190 // copy the base characters
2191 for (int k = 0; k < accentsindex[0]; k ++) {
2192 *rearrange ++ = accents[k];
2193 }
2194 // forming all possible canonical rearrangement by dropping
2195 // sets of accents
2196 for (int i = 0; i <= accentsize - 1; i ++) {
2197 int32_t mask = 1 << (accentsize - i - 1);
2198 if (count & mask) {
2199 for (int j = accentsindex[i]; j < accentsindex[i + 1]; j ++) {
2200 *rearrange ++ = accents[j];
2201 }
2202 }
2203 }
2204 *rearrange = 0;
2205 int32_t matchsize = INITIAL_ARRAY_SIZE_;
2206 UChar *match = addToUCharArray(buffer, &matchsize,
2207 strsrch->canonicalPrefixAccents,
2208 strsrch->search->text + start,
2209 offset - start,
2210 strsrch->canonicalSuffixAccents,
2211 status);
729e4ab9 2212
b75a7d8f
A
2213 // run the collator iterator through this match
2214 // if status is a failure ucol_setText does nothing
2215 ucol_setText(coleiter, match, matchsize, status);
2216 if (U_SUCCESS(*status)) {
2217 if (checkCollationMatch(strsrch, coleiter)) {
2218 if (match != buffer) {
2219 uprv_free(match);
2220 }
2221 return end;
2222 }
2223 }
2224 count --;
2225 }
2226 }
2227 return USEARCH_DONE;
2228}
2229
2230/**
2231* Take the rearranged start accents and tries matching. If match failed at
2232* a seperate following set of accents (seperated from the rearranged on by
729e4ab9 2233* at least a base character) then we rearrange the preceding accents and
b75a7d8f 2234* tries matching again.
729e4ab9 2235* We allow skipping of the ends of the accent set if the ces do not match.
b75a7d8f 2236* However if the failure is found before the accent set, it fails.
729e4ab9 2237* Internal method, status assumed to be success, caller has to check status
b75a7d8f
A
2238* before calling this method.
2239* @param strsrch string search data
2240* @param textoffset of the ends of the rearranged accent
2241* @param status output error status if any
2242* @return USEARCH_DONE if a match is not found, otherwise return the ending
2243* offset of the match. Note this start includes all following accents.
2244*/
2245static
729e4ab9 2246int32_t doPreviousCanonicalPrefixMatch(UStringSearch *strsrch,
b75a7d8f
A
2247 int32_t textoffset,
2248 UErrorCode *status)
2249{
2250 const UChar *text = strsrch->search->text;
2251 const UCollator *collator = strsrch->collator;
2252 int32_t safelength = 0;
2253 UChar *safetext;
2254 int32_t safetextlength;
2255 UChar safebuffer[INITIAL_ARRAY_SIZE_];
2256 int32_t safeoffset = textoffset;
2257
729e4ab9 2258 if (textoffset &&
b75a7d8f
A
2259 ucol_unsafeCP(strsrch->canonicalPrefixAccents[
2260 u_strlen(strsrch->canonicalPrefixAccents) - 1
2261 ], collator)) {
729e4ab9 2262 safeoffset = getNextSafeOffset(collator, text, textoffset,
b75a7d8f
A
2263 strsrch->search->textLength);
2264 safelength = safeoffset - textoffset;
2265 safetextlength = INITIAL_ARRAY_SIZE_;
729e4ab9
A
2266 safetext = addToUCharArray(safebuffer, &safetextlength,
2267 strsrch->canonicalPrefixAccents,
2268 text + textoffset, safelength,
b75a7d8f
A
2269 NULL, status);
2270 }
2271 else {
2272 safetextlength = u_strlen(strsrch->canonicalPrefixAccents);
2273 safetext = strsrch->canonicalPrefixAccents;
2274 }
2275
2276 UCollationElements *coleiter = strsrch->utilIter;
2277 // if status is a failure, ucol_setText does nothing
2278 ucol_setText(coleiter, safetext, safetextlength, status);
2279 // status checked in loop below
729e4ab9 2280
374ca955 2281 int32_t *ce = strsrch->pattern.CE;
b75a7d8f
A
2282 int32_t celength = strsrch->pattern.CELength;
2283 int ceindex = 0;
2284 UBool isSafe = TRUE; // safe zone indication flag for position
2285 int32_t prefixlength = u_strlen(strsrch->canonicalPrefixAccents);
729e4ab9 2286
b75a7d8f 2287 while (ceindex < celength) {
374ca955 2288 int32_t textce = ucol_next(coleiter, status);
b75a7d8f
A
2289 if (U_FAILURE(*status)) {
2290 if (isSafe) {
2291 cleanUpSafeText(strsrch, safetext, safebuffer);
2292 }
2293 return USEARCH_DONE;
2294 }
2295 if (textce == UCOL_NULLORDER) {
2296 // check if we have passed the safe buffer
2297 if (coleiter == strsrch->textIter) {
2298 cleanUpSafeText(strsrch, safetext, safebuffer);
2299 return USEARCH_DONE;
2300 }
2301 cleanUpSafeText(strsrch, safetext, safebuffer);
2302 safetext = safebuffer;
2303 coleiter = strsrch->textIter;
2304 setColEIterOffset(coleiter, safeoffset);
2305 // status checked at the start of the loop
2306 isSafe = FALSE;
2307 continue;
2308 }
2309 textce = getCE(strsrch, textce);
2310 if (textce != UCOL_IGNORABLE && textce != ce[ceindex]) {
2311 // do the beginning stuff
2312 int32_t failedoffset = ucol_getOffset(coleiter);
2313 if (isSafe && failedoffset <= prefixlength) {
2314 // alas... no hope. failed at rearranged accent set
2315 cleanUpSafeText(strsrch, safetext, safebuffer);
2316 return USEARCH_DONE;
2317 }
2318 else {
2319 if (isSafe) {
2320 failedoffset = safeoffset - failedoffset;
2321 cleanUpSafeText(strsrch, safetext, safebuffer);
2322 }
729e4ab9 2323
b75a7d8f 2324 // try rearranging the end accents
729e4ab9 2325 int32_t result = doPreviousCanonicalSuffixMatch(strsrch,
b75a7d8f
A
2326 textoffset, failedoffset, status);
2327 if (result != USEARCH_DONE) {
2328 // if status is a failure, ucol_setOffset does nothing
2329 setColEIterOffset(strsrch->textIter, result);
2330 }
2331 if (U_FAILURE(*status)) {
2332 return USEARCH_DONE;
2333 }
2334 return result;
2335 }
2336 }
2337 if (textce == ce[ceindex]) {
2338 ceindex ++;
2339 }
2340 }
2341 // set offset here
2342 if (isSafe) {
2343 int32_t result = ucol_getOffset(coleiter);
2344 // sets the text iterator here with the correct expansion and offset
2345 int32_t leftoverces = getExpansionSuffix(coleiter);
2346 cleanUpSafeText(strsrch, safetext, safebuffer);
729e4ab9 2347 if (result <= prefixlength) {
b75a7d8f
A
2348 result = textoffset;
2349 }
2350 else {
2351 result = textoffset + (safeoffset - result);
2352 }
2353 setColEIterOffset(strsrch->textIter, result);
2354 setExpansionSuffix(strsrch->textIter, leftoverces);
2355 return result;
2356 }
729e4ab9
A
2357
2358 return ucol_getOffset(coleiter);
b75a7d8f
A
2359}
2360
2361/**
2362* Trying out the substring and sees if it can be a canonical match.
729e4ab9 2363* This will try normalizing the starting accents and arranging them into
b75a7d8f 2364* canonical equivalents and check their corresponding ces with the pattern ce.
729e4ab9
A
2365* Prefix accents in the text will be grouped according to their combining
2366* class and the groups will be mixed and matched to try find the perfect
b75a7d8f
A
2367* match with the pattern.
2368* So for instance looking for "\u0301" in "\u030A\u0301\u0325"
2369* step 1: split "\u030A\u0301" into 6 other type of potential accent substrings
729e4ab9 2370* "\u030A", "\u0301", "\u0325", "\u030A\u0301", "\u030A\u0325",
b75a7d8f
A
2371* "\u0301\u0325".
2372* step 2: check if any of the generated substrings matches the pattern.
2373* Internal method, status assumed to be success, caller has to check status
2374* before calling this method.
2375* @param strsrch string search data
729e4ab9 2376* @param textoffset start offset in the collation element text that starts
b75a7d8f
A
2377* with the accents to be rearranged
2378* @param status output error status if any
2379* @return TRUE if the match is valid, FALSE otherwise
2380*/
2381static
729e4ab9
A
2382UBool doPreviousCanonicalMatch(UStringSearch *strsrch,
2383 int32_t textoffset,
b75a7d8f
A
2384 UErrorCode *status)
2385{
2386 const UChar *text = strsrch->search->text;
2387 int32_t temp = textoffset;
2388 int32_t textlength = strsrch->search->textLength;
2389 if ((getFCD(text, &temp, textlength) >> SECOND_LAST_BYTE_SHIFT_) == 0) {
2390 UCollationElements *coleiter = strsrch->textIter;
2391 int32_t offset = ucol_getOffset(coleiter);
2392 if (strsrch->pattern.hasSuffixAccents) {
729e4ab9 2393 offset = doPreviousCanonicalSuffixMatch(strsrch, textoffset,
b75a7d8f
A
2394 offset, status);
2395 if (U_SUCCESS(*status) && offset != USEARCH_DONE) {
2396 setColEIterOffset(coleiter, offset);
2397 return TRUE;
2398 }
2399 }
2400 return FALSE;
2401 }
2402
2403 if (!strsrch->pattern.hasPrefixAccents) {
2404 return FALSE;
2405 }
2406
2407 UChar accents[INITIAL_ARRAY_SIZE_];
2408 // offset to the last base character in substring to search
2409 int32_t baseoffset = getNextBaseOffset(text, textoffset, textlength);
2410 // normalizing the offensive string
729e4ab9
A
2411 unorm_normalize(text + textoffset, baseoffset - textoffset, UNORM_NFD,
2412 0, accents, INITIAL_ARRAY_SIZE_, status);
b75a7d8f 2413 // status checked in loop
729e4ab9 2414
b75a7d8f
A
2415 int32_t accentsindex[INITIAL_ARRAY_SIZE_];
2416 int32_t size = getUnblockedAccentIndex(accents, accentsindex);
2417
374ca955 2418 // 2 power n - 1 plus the full set of accents
729e4ab9 2419 int32_t count = (2 << (size - 1)) - 1;
b75a7d8f
A
2420 while (U_SUCCESS(*status) && count > 0) {
2421 UChar *rearrange = strsrch->canonicalPrefixAccents;
2422 // copy the base characters
2423 for (int k = 0; k < accentsindex[0]; k ++) {
2424 *rearrange ++ = accents[k];
2425 }
2426 // forming all possible canonical rearrangement by dropping
2427 // sets of accents
2428 for (int i = 0; i <= size - 1; i ++) {
2429 int32_t mask = 1 << (size - i - 1);
2430 if (count & mask) {
2431 for (int j = accentsindex[i]; j < accentsindex[i + 1]; j ++) {
2432 *rearrange ++ = accents[j];
2433 }
2434 }
2435 }
2436 *rearrange = 0;
729e4ab9 2437 int32_t offset = doPreviousCanonicalPrefixMatch(strsrch,
b75a7d8f
A
2438 baseoffset, status);
2439 if (offset != USEARCH_DONE) {
2440 return TRUE; // match found
2441 }
2442 count --;
2443 }
2444 return FALSE;
2445}
2446
2447/**
729e4ab9 2448* Checks match for contraction.
b75a7d8f
A
2449* If the match starts with a partial contraction we fail.
2450* Internal method, status assumed to be success, caller has to check status
2451* before calling this method.
2452* @param strsrch string search data
2453* @param start offset of potential match, to be modified if necessary
2454* @param end offset of potential match, to be modified if necessary
2455* @param status only error status if any
2456* @return TRUE if match passes the contraction test, FALSE otherwise
2457*/
2458static
729e4ab9
A
2459UBool checkPreviousCanonicalContractionMatch(UStringSearch *strsrch,
2460 int32_t *start,
2461 int32_t *end, UErrorCode *status)
b75a7d8f
A
2462{
2463 UCollationElements *coleiter = strsrch->textIter;
2464 int32_t textlength = strsrch->search->textLength;
2465 int32_t temp = *end;
2466 const UCollator *collator = strsrch->collator;
2467 const UChar *text = strsrch->search->text;
729e4ab9 2468 // This part checks if either if the start of the match contains potential
b75a7d8f 2469 // contraction. If so we'll have to iterate through them
729e4ab9 2470 // Since we used ucol_next while previously looking for the potential
374ca955
A
2471 // match, this guarantees that our end will not be a partial contraction,
2472 // or a partial supplementary character.
b75a7d8f
A
2473 if (*start < textlength && ucol_unsafeCP(text[*start], collator)) {
2474 int32_t expansion = getExpansionSuffix(coleiter);
2475 UBool expandflag = expansion > 0;
2476 setColEIterOffset(coleiter, *end);
2477 while (expansion > 0) {
2478 // getting rid of the redundant ce
2479 // since forward contraction/expansion may have extra ces
2480 // if we are in the normalization buffer, hasAccentsBeforeMatch
2481 // would have taken care of it.
2482 // E.g. the character \u01FA will have an expansion of 3, but if
729e4ab9 2483 // we are only looking for A ring A\u030A, we'll have to skip the
b75a7d8f
A
2484 // last ce in the expansion buffer
2485 ucol_previous(coleiter, status);
374ca955
A
2486 if (U_FAILURE(*status)) {
2487 return FALSE;
2488 }
b75a7d8f
A
2489 if (ucol_getOffset(coleiter) != temp) {
2490 *end = temp;
2491 temp = ucol_getOffset(coleiter);
2492 }
2493 expansion --;
2494 }
2495
374ca955 2496 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f
A
2497 int32_t patterncelength = strsrch->pattern.CELength;
2498 int32_t count = patterncelength;
2499 while (count > 0) {
374ca955 2500 int32_t ce = getCE(strsrch, ucol_previous(coleiter, status));
b75a7d8f
A
2501 // status checked below, note that if status is a failure
2502 // ucol_previous returns UCOL_NULLORDER
2503 if (ce == UCOL_IGNORABLE) {
2504 continue;
2505 }
729e4ab9 2506 if (expandflag && count == 0 &&
b75a7d8f
A
2507 getColElemIterOffset(coleiter, FALSE) != temp) {
2508 *end = temp;
2509 temp = ucol_getOffset(coleiter);
2510 }
729e4ab9 2511 if (count == patterncelength &&
b75a7d8f 2512 ce != patternce[patterncelength - 1]) {
729e4ab9 2513 // accents may have extra starting ces, this occurs when a
b75a7d8f 2514 // pure accent pattern is matched without rearrangement
374ca955 2515 int32_t expected = patternce[patterncelength - 1];
4388f060 2516 U16_BACK_1(text, 0, *end);
b75a7d8f
A
2517 if (getFCD(text, end, textlength) & LAST_BYTE_MASK_) {
2518 ce = getCE(strsrch, ucol_previous(coleiter, status));
729e4ab9 2519 while (U_SUCCESS(*status) && ce != expected &&
b75a7d8f
A
2520 ce != UCOL_NULLORDER &&
2521 ucol_getOffset(coleiter) <= *start) {
2522 ce = getCE(strsrch, ucol_previous(coleiter, status));
2523 }
2524 }
2525 }
2526 if (U_FAILURE(*status) || ce != patternce[count - 1]) {
2527 (*start) --;
2528 *start = getPreviousBaseOffset(text, *start);
2529 return FALSE;
2530 }
2531 count --;
2532 }
729e4ab9 2533 }
b75a7d8f
A
2534 return TRUE;
2535}
2536
2537/**
2538* Checks and sets the match information if found.
729e4ab9 2539* Checks
b75a7d8f
A
2540* <ul>
2541* <li> the potential match does not repeat the previous match
2542* <li> boundaries are correct
2543* <li> potential match does not end in the middle of a contraction
2544* <li> identical matches
2545* <\ul>
2546* Otherwise the offset will be shifted to the next character.
2547* Internal method, status assumed to be success, caller has to check status
2548* before calling this method.
2549* @param strsrch string search data
2550* @param textoffset offset in the collation element text. the returned value
729e4ab9 2551* will be the truncated start offset of the match or the new start
b75a7d8f
A
2552* search offset.
2553* @param status only error status if any
2554* @return TRUE if the match is valid, FALSE otherwise
2555*/
2556static
729e4ab9
A
2557inline UBool checkPreviousCanonicalMatch(UStringSearch *strsrch,
2558 int32_t *textoffset,
b75a7d8f
A
2559 UErrorCode *status)
2560{
2561 // to ensure that the start and ends are not composite characters
2562 UCollationElements *coleiter = strsrch->textIter;
2563 // if we have a canonical accent match
729e4ab9
A
2564 if ((strsrch->pattern.hasSuffixAccents &&
2565 strsrch->canonicalSuffixAccents[0]) ||
2566 (strsrch->pattern.hasPrefixAccents &&
b75a7d8f
A
2567 strsrch->canonicalPrefixAccents[0])) {
2568 strsrch->search->matchedIndex = *textoffset;
729e4ab9
A
2569 strsrch->search->matchedLength =
2570 getNextUStringSearchBaseOffset(strsrch,
b75a7d8f
A
2571 getColElemIterOffset(coleiter, FALSE))
2572 - *textoffset;
2573 return TRUE;
2574 }
2575
2576 int32_t end = ucol_getOffset(coleiter);
2577 if (!checkPreviousCanonicalContractionMatch(strsrch, textoffset, &end,
729e4ab9 2578 status) ||
b75a7d8f
A
2579 U_FAILURE(*status)) {
2580 return FALSE;
2581 }
2582
2583 end = getNextUStringSearchBaseOffset(strsrch, end);
2584 // this totally matches, however we need to check if it is repeating
729e4ab9
A
2585 if (checkRepeatedMatch(strsrch, *textoffset, end) ||
2586 !isBreakUnit(strsrch, *textoffset, end) ||
b75a7d8f
A
2587 !checkIdentical(strsrch, *textoffset, end)) {
2588 (*textoffset) --;
729e4ab9 2589 *textoffset = getPreviousBaseOffset(strsrch->search->text,
b75a7d8f
A
2590 *textoffset);
2591 return FALSE;
2592 }
729e4ab9 2593
b75a7d8f
A
2594 strsrch->search->matchedIndex = *textoffset;
2595 strsrch->search->matchedLength = end - *textoffset;
2596 return TRUE;
2597}
46f4442e 2598#endif // #if BOYER_MOORE
b75a7d8f
A
2599
2600// constructors and destructor -------------------------------------------
2601
729e4ab9
A
2602U_CAPI UStringSearch * U_EXPORT2 usearch_open(const UChar *pattern,
2603 int32_t patternlength,
2604 const UChar *text,
b75a7d8f
A
2605 int32_t textlength,
2606 const char *locale,
2607 UBreakIterator *breakiter,
729e4ab9 2608 UErrorCode *status)
b75a7d8f
A
2609{
2610 if (U_FAILURE(*status)) {
2611 return NULL;
2612 }
2613#if UCONFIG_NO_BREAK_ITERATION
2614 if (breakiter != NULL) {
2615 *status = U_UNSUPPORTED_ERROR;
2616 return NULL;
2617 }
2618#endif
2619 if (locale) {
2620 // ucol_open internally checks for status
2621 UCollator *collator = ucol_open(locale, status);
2622 // pattern, text checks are done in usearch_openFromCollator
729e4ab9
A
2623 UStringSearch *result = usearch_openFromCollator(pattern,
2624 patternlength, text, textlength,
b75a7d8f
A
2625 collator, breakiter, status);
2626
2627 if (result == NULL || U_FAILURE(*status)) {
2628 if (collator) {
2629 ucol_close(collator);
2630 }
2631 return NULL;
2632 }
2633 else {
2634 result->ownCollator = TRUE;
2635 }
2636 return result;
2637 }
2638 *status = U_ILLEGAL_ARGUMENT_ERROR;
2639 return NULL;
2640}
2641
2642U_CAPI UStringSearch * U_EXPORT2 usearch_openFromCollator(
729e4ab9 2643 const UChar *pattern,
b75a7d8f 2644 int32_t patternlength,
729e4ab9 2645 const UChar *text,
b75a7d8f
A
2646 int32_t textlength,
2647 const UCollator *collator,
2648 UBreakIterator *breakiter,
729e4ab9 2649 UErrorCode *status)
b75a7d8f
A
2650{
2651 if (U_FAILURE(*status)) {
2652 return NULL;
2653 }
2654#if UCONFIG_NO_BREAK_ITERATION
2655 if (breakiter != NULL) {
2656 *status = U_UNSUPPORTED_ERROR;
2657 return NULL;
2658 }
2659#endif
2660 if (pattern == NULL || text == NULL || collator == NULL) {
2661 *status = U_ILLEGAL_ARGUMENT_ERROR;
73c04bcf 2662 return NULL;
b75a7d8f
A
2663 }
2664
374ca955
A
2665 // string search does not really work when numeric collation is turned on
2666 if(ucol_getAttribute(collator, UCOL_NUMERIC_COLLATION, status) == UCOL_ON) {
2667 *status = U_UNSUPPORTED_ERROR;
73c04bcf 2668 return NULL;
374ca955
A
2669 }
2670
b75a7d8f
A
2671 if (U_SUCCESS(*status)) {
2672 initializeFCD(status);
2673 if (U_FAILURE(*status)) {
2674 return NULL;
2675 }
2676
2677 UStringSearch *result;
2678 if (textlength == -1) {
2679 textlength = u_strlen(text);
2680 }
2681 if (patternlength == -1) {
2682 patternlength = u_strlen(pattern);
2683 }
2684 if (textlength <= 0 || patternlength <= 0) {
2685 *status = U_ILLEGAL_ARGUMENT_ERROR;
2686 return NULL;
2687 }
729e4ab9 2688
b75a7d8f
A
2689 result = (UStringSearch *)uprv_malloc(sizeof(UStringSearch));
2690 if (result == NULL) {
2691 *status = U_MEMORY_ALLOCATION_ERROR;
2692 return NULL;
2693 }
2694
2695 result->collator = collator;
2696 result->strength = ucol_getStrength(collator);
2697 result->ceMask = getMask(result->strength);
729e4ab9
A
2698 result->toShift =
2699 ucol_getAttribute(collator, UCOL_ALTERNATE_HANDLING, status) ==
b75a7d8f
A
2700 UCOL_SHIFTED;
2701 result->variableTop = ucol_getVariableTop(collator, status);
2702
729e4ab9
A
2703 result->nfd = Normalizer2Factory::getNFDInstance(*status);
2704
b75a7d8f
A
2705 if (U_FAILURE(*status)) {
2706 uprv_free(result);
2707 return NULL;
2708 }
2709
2710 result->search = (USearch *)uprv_malloc(sizeof(USearch));
2711 if (result->search == NULL) {
2712 *status = U_MEMORY_ALLOCATION_ERROR;
2713 uprv_free(result);
2714 return NULL;
2715 }
2716
2717 result->search->text = text;
2718 result->search->textLength = textlength;
2719
2720 result->pattern.text = pattern;
2721 result->pattern.textLength = patternlength;
2722 result->pattern.CE = NULL;
46f4442e 2723 result->pattern.PCE = NULL;
729e4ab9 2724
b75a7d8f
A
2725 result->search->breakIter = breakiter;
2726#if !UCONFIG_NO_BREAK_ITERATION
729e4ab9 2727 result->search->internalBreakIter = ubrk_open(UBRK_CHARACTER, ucol_getLocaleByType(result->collator, ULOC_VALID_LOCALE, status), text, textlength, status);
b75a7d8f 2728 if (breakiter) {
4388f060 2729 ubrk_setText(breakiter, text, textlength, status);
b75a7d8f
A
2730 }
2731#endif
2732
2733 result->ownCollator = FALSE;
2734 result->search->matchedLength = 0;
2735 result->search->matchedIndex = USEARCH_DONE;
46f4442e 2736 result->utilIter = NULL;
729e4ab9 2737 result->textIter = ucol_openElements(collator, text,
b75a7d8f
A
2738 textlength, status);
2739 if (U_FAILURE(*status)) {
2740 usearch_close(result);
2741 return NULL;
2742 }
2743
b75a7d8f
A
2744 result->search->isOverlap = FALSE;
2745 result->search->isCanonicalMatch = FALSE;
729e4ab9 2746 result->search->elementComparisonType = 0;
b75a7d8f
A
2747 result->search->isForwardSearching = TRUE;
2748 result->search->reset = TRUE;
729e4ab9 2749
b75a7d8f
A
2750 initialize(result, status);
2751
2752 if (U_FAILURE(*status)) {
2753 usearch_close(result);
2754 return NULL;
2755 }
2756
2757 return result;
2758 }
2759 return NULL;
2760}
2761
2762U_CAPI void U_EXPORT2 usearch_close(UStringSearch *strsrch)
2763{
2764 if (strsrch) {
2765 if (strsrch->pattern.CE != strsrch->pattern.CEBuffer &&
2766 strsrch->pattern.CE) {
2767 uprv_free(strsrch->pattern.CE);
2768 }
46f4442e
A
2769
2770 if (strsrch->pattern.PCE != NULL &&
2771 strsrch->pattern.PCE != strsrch->pattern.PCEBuffer) {
2772 uprv_free(strsrch->pattern.PCE);
2773 }
2774
b75a7d8f
A
2775 ucol_closeElements(strsrch->textIter);
2776 ucol_closeElements(strsrch->utilIter);
46f4442e 2777
b75a7d8f
A
2778 if (strsrch->ownCollator && strsrch->collator) {
2779 ucol_close((UCollator *)strsrch->collator);
2780 }
46f4442e
A
2781
2782#if !UCONFIG_NO_BREAK_ITERATION
2783 if (strsrch->search->internalBreakIter) {
4388f060 2784 ubrk_close(strsrch->search->internalBreakIter);
46f4442e
A
2785 }
2786#endif
2787
b75a7d8f
A
2788 uprv_free(strsrch->search);
2789 uprv_free(strsrch);
2790 }
2791}
2792
2793// set and get methods --------------------------------------------------
2794
729e4ab9 2795U_CAPI void U_EXPORT2 usearch_setOffset(UStringSearch *strsrch,
b75a7d8f
A
2796 int32_t position,
2797 UErrorCode *status)
2798{
2799 if (U_SUCCESS(*status) && strsrch) {
2800 if (isOutOfBounds(strsrch->search->textLength, position)) {
2801 *status = U_INDEX_OUTOFBOUNDS_ERROR;
2802 }
2803 else {
2804 setColEIterOffset(strsrch->textIter, position);
2805 }
2806 strsrch->search->matchedIndex = USEARCH_DONE;
2807 strsrch->search->matchedLength = 0;
729e4ab9 2808 strsrch->search->reset = FALSE;
b75a7d8f
A
2809 }
2810}
2811
2812U_CAPI int32_t U_EXPORT2 usearch_getOffset(const UStringSearch *strsrch)
2813{
2814 if (strsrch) {
2815 int32_t result = ucol_getOffset(strsrch->textIter);
2816 if (isOutOfBounds(strsrch->search->textLength, result)) {
2817 return USEARCH_DONE;
2818 }
2819 return result;
2820 }
2821 return USEARCH_DONE;
2822}
729e4ab9
A
2823
2824U_CAPI void U_EXPORT2 usearch_setAttribute(UStringSearch *strsrch,
b75a7d8f
A
2825 USearchAttribute attribute,
2826 USearchAttributeValue value,
2827 UErrorCode *status)
2828{
2829 if (U_SUCCESS(*status) && strsrch) {
2830 switch (attribute)
2831 {
2832 case USEARCH_OVERLAP :
2833 strsrch->search->isOverlap = (value == USEARCH_ON ? TRUE : FALSE);
2834 break;
2835 case USEARCH_CANONICAL_MATCH :
729e4ab9 2836 strsrch->search->isCanonicalMatch = (value == USEARCH_ON ? TRUE :
b75a7d8f
A
2837 FALSE);
2838 break;
729e4ab9
A
2839 case USEARCH_ELEMENT_COMPARISON :
2840 if (value == USEARCH_PATTERN_BASE_WEIGHT_IS_WILDCARD || value == USEARCH_ANY_BASE_WEIGHT_IS_WILDCARD) {
2841 strsrch->search->elementComparisonType = (int16_t)value;
2842 } else {
2843 strsrch->search->elementComparisonType = 0;
2844 }
2845 break;
b75a7d8f
A
2846 case USEARCH_ATTRIBUTE_COUNT :
2847 default:
2848 *status = U_ILLEGAL_ARGUMENT_ERROR;
2849 }
2850 }
2851 if (value == USEARCH_ATTRIBUTE_VALUE_COUNT) {
2852 *status = U_ILLEGAL_ARGUMENT_ERROR;
2853 }
2854}
729e4ab9 2855
b75a7d8f
A
2856U_CAPI USearchAttributeValue U_EXPORT2 usearch_getAttribute(
2857 const UStringSearch *strsrch,
2858 USearchAttribute attribute)
2859{
2860 if (strsrch) {
2861 switch (attribute) {
2862 case USEARCH_OVERLAP :
729e4ab9 2863 return (strsrch->search->isOverlap == TRUE ? USEARCH_ON :
b75a7d8f
A
2864 USEARCH_OFF);
2865 case USEARCH_CANONICAL_MATCH :
729e4ab9 2866 return (strsrch->search->isCanonicalMatch == TRUE ? USEARCH_ON :
b75a7d8f 2867 USEARCH_OFF);
729e4ab9
A
2868 case USEARCH_ELEMENT_COMPARISON :
2869 {
2870 int16_t value = strsrch->search->elementComparisonType;
2871 if (value == USEARCH_PATTERN_BASE_WEIGHT_IS_WILDCARD || value == USEARCH_ANY_BASE_WEIGHT_IS_WILDCARD) {
2872 return (USearchAttributeValue)value;
2873 } else {
2874 return USEARCH_STANDARD_ELEMENT_COMPARISON;
2875 }
2876 }
b75a7d8f
A
2877 case USEARCH_ATTRIBUTE_COUNT :
2878 return USEARCH_DEFAULT;
2879 }
2880 }
2881 return USEARCH_DEFAULT;
2882}
2883
2884U_CAPI int32_t U_EXPORT2 usearch_getMatchedStart(
2885 const UStringSearch *strsrch)
2886{
2887 if (strsrch == NULL) {
2888 return USEARCH_DONE;
2889 }
2890 return strsrch->search->matchedIndex;
2891}
2892
2893
729e4ab9
A
2894U_CAPI int32_t U_EXPORT2 usearch_getMatchedText(const UStringSearch *strsrch,
2895 UChar *result,
2896 int32_t resultCapacity,
b75a7d8f
A
2897 UErrorCode *status)
2898{
2899 if (U_FAILURE(*status)) {
2900 return USEARCH_DONE;
2901 }
729e4ab9 2902 if (strsrch == NULL || resultCapacity < 0 || (resultCapacity > 0 &&
b75a7d8f
A
2903 result == NULL)) {
2904 *status = U_ILLEGAL_ARGUMENT_ERROR;
2905 return USEARCH_DONE;
2906 }
2907
2908 int32_t copylength = strsrch->search->matchedLength;
2909 int32_t copyindex = strsrch->search->matchedIndex;
2910 if (copyindex == USEARCH_DONE) {
2911 u_terminateUChars(result, resultCapacity, 0, status);
2912 return USEARCH_DONE;
2913 }
2914
2915 if (resultCapacity < copylength) {
2916 copylength = resultCapacity;
2917 }
2918 if (copylength > 0) {
729e4ab9 2919 uprv_memcpy(result, strsrch->search->text + copyindex,
b75a7d8f
A
2920 copylength * sizeof(UChar));
2921 }
729e4ab9 2922 return u_terminateUChars(result, resultCapacity,
b75a7d8f
A
2923 strsrch->search->matchedLength, status);
2924}
729e4ab9 2925
b75a7d8f
A
2926U_CAPI int32_t U_EXPORT2 usearch_getMatchedLength(
2927 const UStringSearch *strsrch)
2928{
2929 if (strsrch) {
2930 return strsrch->search->matchedLength;
2931 }
2932 return USEARCH_DONE;
2933}
2934
2935#if !UCONFIG_NO_BREAK_ITERATION
2936
729e4ab9 2937U_CAPI void U_EXPORT2 usearch_setBreakIterator(UStringSearch *strsrch,
b75a7d8f
A
2938 UBreakIterator *breakiter,
2939 UErrorCode *status)
2940{
2941 if (U_SUCCESS(*status) && strsrch) {
4388f060 2942 strsrch->search->breakIter = breakiter;
b75a7d8f 2943 if (breakiter) {
729e4ab9 2944 ubrk_setText(breakiter, strsrch->search->text,
b75a7d8f
A
2945 strsrch->search->textLength, status);
2946 }
2947 }
2948}
2949
729e4ab9 2950U_CAPI const UBreakIterator* U_EXPORT2
b75a7d8f
A
2951usearch_getBreakIterator(const UStringSearch *strsrch)
2952{
2953 if (strsrch) {
2954 return strsrch->search->breakIter;
2955 }
2956 return NULL;
2957}
729e4ab9 2958
b75a7d8f 2959#endif
729e4ab9
A
2960
2961U_CAPI void U_EXPORT2 usearch_setText( UStringSearch *strsrch,
b75a7d8f
A
2962 const UChar *text,
2963 int32_t textlength,
2964 UErrorCode *status)
2965{
2966 if (U_SUCCESS(*status)) {
729e4ab9 2967 if (strsrch == NULL || text == NULL || textlength < -1 ||
b75a7d8f
A
2968 textlength == 0) {
2969 *status = U_ILLEGAL_ARGUMENT_ERROR;
2970 }
2971 else {
2972 if (textlength == -1) {
2973 textlength = u_strlen(text);
2974 }
2975 strsrch->search->text = text;
2976 strsrch->search->textLength = textlength;
2977 ucol_setText(strsrch->textIter, text, textlength, status);
2978 strsrch->search->matchedIndex = USEARCH_DONE;
2979 strsrch->search->matchedLength = 0;
2980 strsrch->search->reset = TRUE;
2981#if !UCONFIG_NO_BREAK_ITERATION
374ca955 2982 if (strsrch->search->breakIter != NULL) {
729e4ab9 2983 ubrk_setText(strsrch->search->breakIter, text,
374ca955
A
2984 textlength, status);
2985 }
46f4442e 2986 ubrk_setText(strsrch->search->internalBreakIter, text, textlength, status);
b75a7d8f
A
2987#endif
2988 }
2989 }
2990}
2991
729e4ab9 2992U_CAPI const UChar * U_EXPORT2 usearch_getText(const UStringSearch *strsrch,
b75a7d8f
A
2993 int32_t *length)
2994{
2995 if (strsrch) {
2996 *length = strsrch->search->textLength;
2997 return strsrch->search->text;
2998 }
2999 return NULL;
3000}
3001
729e4ab9 3002U_CAPI void U_EXPORT2 usearch_setCollator( UStringSearch *strsrch,
b75a7d8f
A
3003 const UCollator *collator,
3004 UErrorCode *status)
3005{
3006 if (U_SUCCESS(*status)) {
3007 if (collator == NULL) {
3008 *status = U_ILLEGAL_ARGUMENT_ERROR;
3009 return;
3010 }
46f4442e 3011
b75a7d8f
A
3012 if (strsrch) {
3013 if (strsrch->ownCollator && (strsrch->collator != collator)) {
3014 ucol_close((UCollator *)strsrch->collator);
3015 strsrch->ownCollator = FALSE;
3016 }
3017 strsrch->collator = collator;
3018 strsrch->strength = ucol_getStrength(collator);
3019 strsrch->ceMask = getMask(strsrch->strength);
46f4442e 3020#if !UCONFIG_NO_BREAK_ITERATION
4388f060
A
3021 ubrk_close(strsrch->search->internalBreakIter);
3022 strsrch->search->internalBreakIter = ubrk_open(UBRK_CHARACTER, ucol_getLocaleByType(collator, ULOC_VALID_LOCALE, status),
3023 strsrch->search->text, strsrch->search->textLength, status);
46f4442e 3024#endif
b75a7d8f 3025 // if status is a failure, ucol_getAttribute returns UCOL_DEFAULT
729e4ab9
A
3026 strsrch->toShift =
3027 ucol_getAttribute(collator, UCOL_ALTERNATE_HANDLING, status) ==
b75a7d8f
A
3028 UCOL_SHIFTED;
3029 // if status is a failure, ucol_getVariableTop returns 0
3030 strsrch->variableTop = ucol_getVariableTop(collator, status);
3031 if (U_SUCCESS(*status)) {
3032 initialize(strsrch, status);
3033 if (U_SUCCESS(*status)) {
46f4442e 3034 /* free offset buffer to avoid memory leak before initializing. */
729e4ab9
A
3035 ucol_freeOffsetBuffer(&(strsrch->textIter->iteratordata_));
3036 uprv_init_collIterate(collator, strsrch->search->text,
3037 strsrch->search->textLength,
3038 &(strsrch->textIter->iteratordata_),
3039 status);
374ca955 3040 strsrch->utilIter->iteratordata_.coll = collator;
b75a7d8f
A
3041 }
3042 }
3043 }
46f4442e
A
3044
3045 // **** are these calls needed?
3046 // **** we call uprv_init_pce in initializePatternPCETable
3047 // **** and the CEBuffer constructor...
3048#if 0
3049 uprv_init_pce(strsrch->textIter);
3050 uprv_init_pce(strsrch->utilIter);
3051#endif
b75a7d8f
A
3052 }
3053}
3054
3055U_CAPI UCollator * U_EXPORT2 usearch_getCollator(const UStringSearch *strsrch)
3056{
3057 if (strsrch) {
3058 return (UCollator *)strsrch->collator;
3059 }
3060 return NULL;
3061}
3062
729e4ab9 3063U_CAPI void U_EXPORT2 usearch_setPattern( UStringSearch *strsrch,
b75a7d8f
A
3064 const UChar *pattern,
3065 int32_t patternlength,
3066 UErrorCode *status)
3067{
3068 if (U_SUCCESS(*status)) {
3069 if (strsrch == NULL || pattern == NULL) {
3070 *status = U_ILLEGAL_ARGUMENT_ERROR;
3071 }
3072 else {
3073 if (patternlength == -1) {
3074 patternlength = u_strlen(pattern);
3075 }
3076 if (patternlength == 0) {
3077 *status = U_ILLEGAL_ARGUMENT_ERROR;
3078 return;
3079 }
3080 strsrch->pattern.text = pattern;
3081 strsrch->pattern.textLength = patternlength;
3082 initialize(strsrch, status);
3083 }
3084 }
3085}
3086
729e4ab9
A
3087U_CAPI const UChar* U_EXPORT2
3088usearch_getPattern(const UStringSearch *strsrch,
b75a7d8f
A
3089 int32_t *length)
3090{
3091 if (strsrch) {
3092 *length = strsrch->pattern.textLength;
3093 return strsrch->pattern.text;
3094 }
3095 return NULL;
3096}
3097
3098// miscellanous methods --------------------------------------------------
3099
729e4ab9
A
3100U_CAPI int32_t U_EXPORT2 usearch_first(UStringSearch *strsrch,
3101 UErrorCode *status)
b75a7d8f
A
3102{
3103 if (strsrch && U_SUCCESS(*status)) {
3104 strsrch->search->isForwardSearching = TRUE;
3105 usearch_setOffset(strsrch, 0, status);
3106 if (U_SUCCESS(*status)) {
3107 return usearch_next(strsrch, status);
3108 }
3109 }
3110 return USEARCH_DONE;
3111}
3112
729e4ab9 3113U_CAPI int32_t U_EXPORT2 usearch_following(UStringSearch *strsrch,
b75a7d8f
A
3114 int32_t position,
3115 UErrorCode *status)
3116{
3117 if (strsrch && U_SUCCESS(*status)) {
3118 strsrch->search->isForwardSearching = TRUE;
3119 // position checked in usearch_setOffset
3120 usearch_setOffset(strsrch, position, status);
3121 if (U_SUCCESS(*status)) {
729e4ab9 3122 return usearch_next(strsrch, status);
b75a7d8f
A
3123 }
3124 }
3125 return USEARCH_DONE;
3126}
729e4ab9
A
3127
3128U_CAPI int32_t U_EXPORT2 usearch_last(UStringSearch *strsrch,
b75a7d8f
A
3129 UErrorCode *status)
3130{
3131 if (strsrch && U_SUCCESS(*status)) {
3132 strsrch->search->isForwardSearching = FALSE;
3133 usearch_setOffset(strsrch, strsrch->search->textLength, status);
3134 if (U_SUCCESS(*status)) {
3135 return usearch_previous(strsrch, status);
3136 }
3137 }
3138 return USEARCH_DONE;
3139}
3140
729e4ab9 3141U_CAPI int32_t U_EXPORT2 usearch_preceding(UStringSearch *strsrch,
b75a7d8f
A
3142 int32_t position,
3143 UErrorCode *status)
3144{
3145 if (strsrch && U_SUCCESS(*status)) {
3146 strsrch->search->isForwardSearching = FALSE;
3147 // position checked in usearch_setOffset
3148 usearch_setOffset(strsrch, position, status);
3149 if (U_SUCCESS(*status)) {
729e4ab9 3150 return usearch_previous(strsrch, status);
b75a7d8f
A
3151 }
3152 }
3153 return USEARCH_DONE;
3154}
729e4ab9 3155
b75a7d8f 3156/**
729e4ab9
A
3157* If a direction switch is required, we'll count the number of ces till the
3158* beginning of the collation element iterator and iterate forwards that
3159* number of times. This is so that we get to the correct point within the
b75a7d8f
A
3160* string to continue the search in. Imagine when we are in the middle of the
3161* normalization buffer when the change in direction is request. arrrgghh....
3162* After searching the offset within the collation element iterator will be
3163* shifted to the start of the match. If a match is not found, the offset would
729e4ab9 3164* have been set to the end of the text string in the collation element
b75a7d8f
A
3165* iterator.
3166* Okay, here's my take on normalization buffer. The only time when there can
3167* be 2 matches within the same normalization is when the pattern is consists
3168* of all accents. But since the offset returned is from the text string, we
729e4ab9 3169* should not confuse the caller by returning the second match within the
b75a7d8f
A
3170* same normalization buffer. If we do, the 2 results will have the same match
3171* offsets, and that'll be confusing. I'll return the next match that doesn't
729e4ab9 3172* fall within the same normalization buffer. Note this does not affect the
b75a7d8f
A
3173* results of matches spanning the text and the normalization buffer.
3174* The position to start searching is taken from the collation element
3175* iterator. Callers of this API would have to set the offset in the collation
3176* element iterator before using this method.
3177*/
3178U_CAPI int32_t U_EXPORT2 usearch_next(UStringSearch *strsrch,
3179 UErrorCode *status)
729e4ab9 3180{
b75a7d8f 3181 if (U_SUCCESS(*status) && strsrch) {
374ca955
A
3182 // note offset is either equivalent to the start of the previous match
3183 // or is set by the user
3184 int32_t offset = usearch_getOffset(strsrch);
3185 USearch *search = strsrch->search;
3186 search->reset = FALSE;
3187 int32_t textlength = search->textLength;
b75a7d8f 3188 if (search->isForwardSearching) {
46f4442e 3189#if BOYER_MOORE
374ca955 3190 if (offset == textlength
729e4ab9 3191 || (!search->isOverlap &&
b75a7d8f 3192 (offset + strsrch->pattern.defaultShiftSize > textlength ||
729e4ab9 3193 (search->matchedIndex != USEARCH_DONE &&
374ca955 3194 offset + search->matchedLength >= textlength)))) {
b75a7d8f
A
3195 // not enough characters to match
3196 setMatchNotFound(strsrch);
729e4ab9 3197 return USEARCH_DONE;
b75a7d8f 3198 }
46f4442e
A
3199#else
3200 if (offset == textlength ||
3201 (! search->isOverlap &&
3202 (search->matchedIndex != USEARCH_DONE &&
3203 offset + search->matchedLength > textlength))) {
3204 // not enough characters to match
3205 setMatchNotFound(strsrch);
3206 return USEARCH_DONE;
3207 }
3208#endif
b75a7d8f
A
3209 }
3210 else {
729e4ab9
A
3211 // switching direction.
3212 // if matchedIndex == USEARCH_DONE, it means that either a
b75a7d8f 3213 // setOffset has been called or that previous ran off the text
729e4ab9 3214 // string. the iterator would have been set to offset 0 if a
b75a7d8f
A
3215 // match is not found.
3216 search->isForwardSearching = TRUE;
374ca955 3217 if (search->matchedIndex != USEARCH_DONE) {
b75a7d8f
A
3218 // there's no need to set the collation element iterator
3219 // the next call to next will set the offset.
374ca955 3220 return search->matchedIndex;
b75a7d8f
A
3221 }
3222 }
3223
3224 if (U_SUCCESS(*status)) {
3225 if (strsrch->pattern.CELength == 0) {
374ca955 3226 if (search->matchedIndex == USEARCH_DONE) {
b75a7d8f
A
3227 search->matchedIndex = offset;
3228 }
3229 else { // moves by codepoints
4388f060 3230 U16_FWD_1(search->text, search->matchedIndex, textlength);
b75a7d8f 3231 }
729e4ab9 3232
b75a7d8f
A
3233 search->matchedLength = 0;
3234 setColEIterOffset(strsrch->textIter, search->matchedIndex);
3235 // status checked below
3236 if (search->matchedIndex == textlength) {
3237 search->matchedIndex = USEARCH_DONE;
3238 }
3239 }
3240 else {
374ca955
A
3241 if (search->matchedLength > 0) {
3242 // if matchlength is 0 we are at the start of the iteration
3243 if (search->isOverlap) {
3244 ucol_setOffset(strsrch->textIter, offset + 1, status);
3245 }
3246 else {
729e4ab9 3247 ucol_setOffset(strsrch->textIter,
374ca955
A
3248 offset + search->matchedLength, status);
3249 }
3250 }
3251 else {
3252 // for boundary check purposes. this will ensure that the
3253 // next match will not preceed the current offset
3254 // note search->matchedIndex will always be set to something
3255 // in the code
3256 search->matchedIndex = offset - 1;
3257 }
3258
3259 if (search->isCanonicalMatch) {
3260 // can't use exact here since extra accents are allowed.
3261 usearch_handleNextCanonical(strsrch, status);
3262 }
3263 else {
3264 usearch_handleNextExact(strsrch, status);
3265 }
3266 }
3267
b75a7d8f
A
3268 if (U_FAILURE(*status)) {
3269 return USEARCH_DONE;
3270 }
374ca955 3271
46f4442e
A
3272#if !BOYER_MOORE
3273 if (search->matchedIndex == USEARCH_DONE) {
3274 ucol_setOffset(strsrch->textIter, search->textLength, status);
3275 } else {
3276 ucol_setOffset(strsrch->textIter, search->matchedIndex, status);
3277 }
3278#endif
3279
b75a7d8f
A
3280 return search->matchedIndex;
3281 }
3282 }
3283 return USEARCH_DONE;
3284}
3285
3286U_CAPI int32_t U_EXPORT2 usearch_previous(UStringSearch *strsrch,
3287 UErrorCode *status)
3288{
3289 if (U_SUCCESS(*status) && strsrch) {
3290 int32_t offset;
3291 USearch *search = strsrch->search;
3292 if (search->reset) {
3293 offset = search->textLength;
3294 search->isForwardSearching = FALSE;
3295 search->reset = FALSE;
3296 setColEIterOffset(strsrch->textIter, offset);
3297 }
3298 else {
3299 offset = usearch_getOffset(strsrch);
3300 }
729e4ab9 3301
b75a7d8f
A
3302 int32_t matchedindex = search->matchedIndex;
3303 if (search->isForwardSearching == TRUE) {
729e4ab9
A
3304 // switching direction.
3305 // if matchedIndex == USEARCH_DONE, it means that either a
b75a7d8f 3306 // setOffset has been called or that next ran off the text
729e4ab9 3307 // string. the iterator would have been set to offset textLength if
b75a7d8f
A
3308 // a match is not found.
3309 search->isForwardSearching = FALSE;
3310 if (matchedindex != USEARCH_DONE) {
3311 return matchedindex;
3312 }
3313 }
3314 else {
46f4442e 3315#if BOYER_MOORE
b75a7d8f 3316 if (offset == 0 || matchedindex == 0 ||
729e4ab9 3317 (!search->isOverlap &&
b75a7d8f 3318 (offset < strsrch->pattern.defaultShiftSize ||
729e4ab9 3319 (matchedindex != USEARCH_DONE &&
b75a7d8f
A
3320 matchedindex < strsrch->pattern.defaultShiftSize)))) {
3321 // not enough characters to match
3322 setMatchNotFound(strsrch);
729e4ab9 3323 return USEARCH_DONE;
b75a7d8f 3324 }
46f4442e
A
3325#else
3326 // Could check pattern length, but the
3327 // linear search will do the right thing
3328 if (offset == 0 || matchedindex == 0) {
3329 setMatchNotFound(strsrch);
3330 return USEARCH_DONE;
3331 }
3332#endif
b75a7d8f
A
3333 }
3334
3335 if (U_SUCCESS(*status)) {
3336 if (strsrch->pattern.CELength == 0) {
729e4ab9 3337 search->matchedIndex =
b75a7d8f
A
3338 (matchedindex == USEARCH_DONE ? offset : matchedindex);
3339 if (search->matchedIndex == 0) {
3340 setMatchNotFound(strsrch);
3341 // status checked below
3342 }
3343 else { // move by codepoints
4388f060 3344 U16_BACK_1(search->text, 0, search->matchedIndex);
b75a7d8f
A
3345 setColEIterOffset(strsrch->textIter, search->matchedIndex);
3346 // status checked below
3347 search->matchedLength = 0;
3348 }
3349 }
3350 else {
3351 if (strsrch->search->isCanonicalMatch) {
3352 // can't use exact here since extra accents are allowed.
3353 usearch_handlePreviousCanonical(strsrch, status);
3354 // status checked below
3355 }
3356 else {
3357 usearch_handlePreviousExact(strsrch, status);
3358 // status checked below
3359 }
3360 }
3361
3362 if (U_FAILURE(*status)) {
3363 return USEARCH_DONE;
3364 }
729e4ab9 3365
b75a7d8f
A
3366 return search->matchedIndex;
3367 }
3368 }
3369 return USEARCH_DONE;
3370}
3371
3372
729e4ab9 3373
b75a7d8f
A
3374U_CAPI void U_EXPORT2 usearch_reset(UStringSearch *strsrch)
3375{
729e4ab9
A
3376 /*
3377 reset is setting the attributes that are already in
b75a7d8f
A
3378 string search, hence all attributes in the collator should
3379 be retrieved without any problems
3380 */
3381 if (strsrch) {
3382 UErrorCode status = U_ZERO_ERROR;
3383 UBool sameCollAttribute = TRUE;
3384 uint32_t ceMask;
3385 UBool shift;
3386 uint32_t varTop;
3387
729e4ab9
A
3388 // **** hack to deal w/ how processed CEs encode quaternary ****
3389 UCollationStrength newStrength = ucol_getStrength(strsrch->collator);
3390 if ((strsrch->strength < UCOL_QUATERNARY && newStrength >= UCOL_QUATERNARY) ||
3391 (strsrch->strength >= UCOL_QUATERNARY && newStrength < UCOL_QUATERNARY)) {
3392 sameCollAttribute = FALSE;
3393 }
3394
b75a7d8f
A
3395 strsrch->strength = ucol_getStrength(strsrch->collator);
3396 ceMask = getMask(strsrch->strength);
3397 if (strsrch->ceMask != ceMask) {
3398 strsrch->ceMask = ceMask;
3399 sameCollAttribute = FALSE;
3400 }
729e4ab9 3401
b75a7d8f 3402 // if status is a failure, ucol_getAttribute returns UCOL_DEFAULT
729e4ab9 3403 shift = ucol_getAttribute(strsrch->collator, UCOL_ALTERNATE_HANDLING,
b75a7d8f
A
3404 &status) == UCOL_SHIFTED;
3405 if (strsrch->toShift != shift) {
3406 strsrch->toShift = shift;
3407 sameCollAttribute = FALSE;
3408 }
3409
3410 // if status is a failure, ucol_getVariableTop returns 0
3411 varTop = ucol_getVariableTop(strsrch->collator, &status);
3412 if (strsrch->variableTop != varTop) {
3413 strsrch->variableTop = varTop;
3414 sameCollAttribute = FALSE;
3415 }
3416 if (!sameCollAttribute) {
3417 initialize(strsrch, &status);
3418 }
46f4442e 3419 /* free offset buffer to avoid memory leak before initializing. */
729e4ab9
A
3420 ucol_freeOffsetBuffer(&(strsrch->textIter->iteratordata_));
3421 uprv_init_collIterate(strsrch->collator, strsrch->search->text,
3422 strsrch->search->textLength,
3423 &(strsrch->textIter->iteratordata_),
3424 &status);
b75a7d8f
A
3425 strsrch->search->matchedLength = 0;
3426 strsrch->search->matchedIndex = USEARCH_DONE;
3427 strsrch->search->isOverlap = FALSE;
3428 strsrch->search->isCanonicalMatch = FALSE;
729e4ab9 3429 strsrch->search->elementComparisonType = 0;
b75a7d8f
A
3430 strsrch->search->isForwardSearching = TRUE;
3431 strsrch->search->reset = TRUE;
3432 }
3433}
3434
46f4442e
A
3435//
3436// CEI Collation Element + source text index.
3437// These structs are kept in the circular buffer.
3438//
3439struct CEI {
3440 int64_t ce;
3441 int32_t lowIndex;
3442 int32_t highIndex;
3443};
3444
3445U_NAMESPACE_BEGIN
3446
3447
3448//
3449// CEBuffer A circular buffer of CEs from the text being searched.
3450//
4388f060
A
3451#define DEFAULT_CEBUFFER_SIZE 96
3452#define CEBUFFER_EXTRA 32
3453// Some typical max values to make buffer size more reasonable for asymmetric search.
3454// #8694 is for a better long-term solution to allocation of this buffer.
3455#define MAX_TARGET_IGNORABLES_PER_PAT_JAMO_L 8
3456#define MAX_TARGET_IGNORABLES_PER_PAT_OTHER 3
3457#define MIGHT_BE_JAMO_L(c) ((c >= 0x1100 && c <= 0x115E) || (c >= 0x3131 && c <= 0x314E) || (c >= 0x3165 && c <= 0x3186))
46f4442e
A
3458struct CEBuffer {
3459 CEI defBuf[DEFAULT_CEBUFFER_SIZE];
3460 CEI *buf;
3461 int32_t bufSize;
3462 int32_t firstIx;
3463 int32_t limitIx;
3464 UCollationElements *ceIter;
3465 UStringSearch *strSearch;
3466
3467
3468
3469 CEBuffer(UStringSearch *ss, UErrorCode *status);
3470 ~CEBuffer();
3471 const CEI *get(int32_t index);
3472 const CEI *getPrevious(int32_t index);
3473};
3474
3475
3476CEBuffer::CEBuffer(UStringSearch *ss, UErrorCode *status) {
3477 buf = defBuf;
3478 strSearch = ss;
4388f060
A
3479 bufSize = ss->pattern.PCELength + CEBUFFER_EXTRA;
3480 if (ss->search->elementComparisonType != 0) {
3481 const UChar * patText = ss->pattern.text;
3482 if (patText) {
3483 const UChar * patTextLimit = patText + ss->pattern.textLength;
3484 while ( patText < patTextLimit ) {
3485 UChar c = *patText++;
3486 if (MIGHT_BE_JAMO_L(c)) {
3487 bufSize += MAX_TARGET_IGNORABLES_PER_PAT_JAMO_L;
3488 } else {
3489 // No check for surrogates, we might allocate slightly more buffer than necessary.
3490 bufSize += MAX_TARGET_IGNORABLES_PER_PAT_OTHER;
3491 }
3492 }
3493 }
3494 }
46f4442e
A
3495 ceIter = ss->textIter;
3496 firstIx = 0;
3497 limitIx = 0;
3498
3499 uprv_init_pce(ceIter);
3500
3501 if (bufSize>DEFAULT_CEBUFFER_SIZE) {
3502 buf = (CEI *)uprv_malloc(bufSize * sizeof(CEI));
3503 if (buf == NULL) {
3504 *status = U_MEMORY_ALLOCATION_ERROR;
3505 }
3506 }
3507}
3508
3509// TODO: add a reset or init function so that allocated
3510// buffers can be retained & reused.
3511
3512CEBuffer::~CEBuffer() {
3513 if (buf != defBuf) {
3514 uprv_free(buf);
3515 }
3516}
3517
3518
3519// Get the CE with the specified index.
3520// Index must be in the range
3521// n-history_size < index < n+1
3522// where n is the largest index to have been fetched by some previous call to this function.
3523// The CE value will be UCOL__PROCESSED_NULLORDER at end of input.
3524//
3525const CEI *CEBuffer::get(int32_t index) {
3526 int i = index % bufSize;
3527
3528 if (index>=firstIx && index<limitIx) {
3529 // The request was for an entry already in our buffer.
3530 // Just return it.
3531 return &buf[i];
3532 }
3533
3534 // Caller is requesting a new, never accessed before, CE.
3535 // Verify that it is the next one in sequence, which is all
3536 // that is allowed.
3537 if (index != limitIx) {
3538 U_ASSERT(FALSE);
3539
3540 return NULL;
3541 }
3542
3543 // Manage the circular CE buffer indexing
3544 limitIx++;
3545
3546 if (limitIx - firstIx >= bufSize) {
3547 // The buffer is full, knock out the lowest-indexed entry.
3548 firstIx++;
3549 }
3550
3551 UErrorCode status = U_ZERO_ERROR;
3552
3553 buf[i].ce = ucol_nextProcessed(ceIter, &buf[i].lowIndex, &buf[i].highIndex, &status);
3554
3555 return &buf[i];
3556}
3557
3558// Get the CE with the specified index.
3559// Index must be in the range
3560// n-history_size < index < n+1
3561// where n is the largest index to have been fetched by some previous call to this function.
3562// The CE value will be UCOL__PROCESSED_NULLORDER at end of input.
3563//
3564const CEI *CEBuffer::getPrevious(int32_t index) {
3565 int i = index % bufSize;
3566
3567 if (index>=firstIx && index<limitIx) {
3568 // The request was for an entry already in our buffer.
3569 // Just return it.
3570 return &buf[i];
3571 }
3572
3573 // Caller is requesting a new, never accessed before, CE.
3574 // Verify that it is the next one in sequence, which is all
3575 // that is allowed.
3576 if (index != limitIx) {
3577 U_ASSERT(FALSE);
3578
3579 return NULL;
3580 }
3581
3582 // Manage the circular CE buffer indexing
3583 limitIx++;
3584
3585 if (limitIx - firstIx >= bufSize) {
3586 // The buffer is full, knock out the lowest-indexed entry.
3587 firstIx++;
3588 }
3589
3590 UErrorCode status = U_ZERO_ERROR;
3591
3592 buf[i].ce = ucol_previousProcessed(ceIter, &buf[i].lowIndex, &buf[i].highIndex, &status);
3593
3594 return &buf[i];
3595}
3596
3597U_NAMESPACE_END
3598
3599
3600// #define USEARCH_DEBUG
3601
3602#ifdef USEARCH_DEBUG
3603#include <stdio.h>
3604#include <stdlib.h>
3605#endif
3606
3607/*
3608 * Find the next break boundary after startIndex. If the UStringSearch object
3609 * has an external break iterator, use that. Otherwise use the internal character
3610 * break iterator.
3611 */
3612static int32_t nextBoundaryAfter(UStringSearch *strsrch, int32_t startIndex) {
3613#if 0
3614 const UChar *text = strsrch->search->text;
3615 int32_t textLen = strsrch->search->textLength;
729e4ab9 3616
46f4442e
A
3617 U_ASSERT(startIndex>=0);
3618 U_ASSERT(startIndex<=textLen);
729e4ab9 3619
46f4442e
A
3620 if (startIndex >= textLen) {
3621 return startIndex;
3622 }
3623
3624 UChar32 c;
3625 int32_t i = startIndex;
3626 U16_NEXT(text, i, textLen, c);
729e4ab9 3627
46f4442e
A
3628 // If we are on a control character, stop without looking for combining marks.
3629 // Control characters do not combine.
3630 int32_t gcProperty = u_getIntPropertyValue(c, UCHAR_GRAPHEME_CLUSTER_BREAK);
3631 if (gcProperty==U_GCB_CONTROL || gcProperty==U_GCB_LF || gcProperty==U_GCB_CR) {
3632 return i;
3633 }
729e4ab9 3634
46f4442e
A
3635 // The initial character was not a control, and can thus accept trailing
3636 // combining characters. Advance over however many of them there are.
3637 int32_t indexOfLastCharChecked;
3638 for (;;) {
3639 indexOfLastCharChecked = i;
3640 if (i>=textLen) {
3641 break;
3642 }
3643 U16_NEXT(text, i, textLen, c);
3644 gcProperty = u_getIntPropertyValue(c, UCHAR_GRAPHEME_CLUSTER_BREAK);
3645 if (gcProperty != U_GCB_EXTEND && gcProperty != U_GCB_SPACING_MARK) {
3646 break;
3647 }
3648 }
3649 return indexOfLastCharChecked;
3650#elif !UCONFIG_NO_BREAK_ITERATION
3651 UBreakIterator *breakiterator = strsrch->search->breakIter;
3652
3653 if (breakiterator == NULL) {
3654 breakiterator = strsrch->search->internalBreakIter;
3655 }
3656
3657 if (breakiterator != NULL) {
4388f060 3658 return ubrk_following(breakiterator, startIndex);
46f4442e
A
3659 }
3660
3661 return startIndex;
3662#else
3663 // **** or should we use the original code? ****
3664 return startIndex;
3665#endif
3666
3667}
3668
3669/*
3670 * Returns TRUE if index is on a break boundary. If the UStringSearch
3671 * has an external break iterator, test using that, otherwise test
3672 * using the internal character break iterator.
3673 */
3674static UBool isBreakBoundary(UStringSearch *strsrch, int32_t index) {
3675#if 0
3676 const UChar *text = strsrch->search->text;
3677 int32_t textLen = strsrch->search->textLength;
729e4ab9 3678
46f4442e
A
3679 U_ASSERT(index>=0);
3680 U_ASSERT(index<=textLen);
729e4ab9 3681
46f4442e 3682 if (index>=textLen || index<=0) {
4388f060 3683 return TRUE;
46f4442e 3684 }
729e4ab9 3685
46f4442e
A
3686 // If the character at the current index is not a GRAPHEME_EXTEND
3687 // then we can not be within a combining sequence.
3688 UChar32 c;
3689 U16_GET(text, 0, index, textLen, c);
3690 int32_t gcProperty = u_getIntPropertyValue(c, UCHAR_GRAPHEME_CLUSTER_BREAK);
3691 if (gcProperty != U_GCB_EXTEND && gcProperty != U_GCB_SPACING_MARK) {
4388f060 3692 return TRUE;
46f4442e 3693 }
729e4ab9 3694
46f4442e
A
3695 // We are at a combining mark. If the preceding character is anything
3696 // except a CONTROL, CR or LF, we are in a combining sequence.
729e4ab9 3697 U16_PREV(text, 0, index, c);
46f4442e 3698 gcProperty = u_getIntPropertyValue(c, UCHAR_GRAPHEME_CLUSTER_BREAK);
729e4ab9 3699 UBool combining = !(gcProperty==U_GCB_CONTROL || gcProperty==U_GCB_LF || gcProperty==U_GCB_CR);
4388f060 3700 return !combining;
46f4442e
A
3701#elif !UCONFIG_NO_BREAK_ITERATION
3702 UBreakIterator *breakiterator = strsrch->search->breakIter;
3703
3704 if (breakiterator == NULL) {
3705 breakiterator = strsrch->search->internalBreakIter;
3706 }
3707
4388f060 3708 return (breakiterator != NULL && ubrk_isBoundary(breakiterator, index));
46f4442e
A
3709#else
3710 // **** or use the original code? ****
4388f060 3711 return TRUE;
46f4442e 3712#endif
729e4ab9 3713}
46f4442e
A
3714
3715#if 0
3716static UBool onBreakBoundaries(const UStringSearch *strsrch, int32_t start, int32_t end)
3717{
3718#if !UCONFIG_NO_BREAK_ITERATION
3719 UBreakIterator *breakiterator = strsrch->search->breakIter;
3720
3721 if (breakiterator != NULL) {
3722 int32_t startindex = ubrk_first(breakiterator);
3723 int32_t endindex = ubrk_last(breakiterator);
729e4ab9 3724
46f4442e
A
3725 // out-of-range indexes are never boundary positions
3726 if (start < startindex || start > endindex ||
3727 end < startindex || end > endindex) {
3728 return FALSE;
3729 }
3730
729e4ab9 3731 return ubrk_isBoundary(breakiterator, start) &&
46f4442e
A
3732 ubrk_isBoundary(breakiterator, end);
3733 }
3734#endif
3735
3736 return TRUE;
3737}
3738#endif
3739
729e4ab9
A
3740typedef enum {
3741 U_CE_MATCH = -1,
3742 U_CE_NO_MATCH = 0,
3743 U_CE_SKIP_TARG,
3744 U_CE_SKIP_PATN
3745} UCompareCEsResult;
3746#define U_CE_LEVEL2_BASE 0x00000005
3747#define U_CE_LEVEL3_BASE 0x00050000
3748
3749static UCompareCEsResult compareCE64s(int64_t targCE, int64_t patCE, int16_t compareType) {
3750 if (targCE == patCE) {
3751 return U_CE_MATCH;
3752 }
3753 if (compareType == 0) {
3754 return U_CE_NO_MATCH;
3755 }
46f4442e 3756
729e4ab9
A
3757 int64_t targCEshifted = targCE >> 32;
3758 int64_t patCEshifted = patCE >> 32;
3759 int64_t mask;
3760
3761 mask = 0xFFFF0000;
3762 int32_t targLev1 = (int32_t)(targCEshifted & mask);
3763 int32_t patLev1 = (int32_t)(patCEshifted & mask);
3764 if ( targLev1 != patLev1 ) {
3765 if ( targLev1 == 0 ) {
3766 return U_CE_SKIP_TARG;
3767 }
3768 if ( patLev1 == 0 && compareType == USEARCH_ANY_BASE_WEIGHT_IS_WILDCARD ) {
3769 return U_CE_SKIP_PATN;
3770 }
3771 return U_CE_NO_MATCH;
3772 }
3773
3774 mask = 0x0000FFFF;
3775 int32_t targLev2 = (int32_t)(targCEshifted & mask);
3776 int32_t patLev2 = (int32_t)(patCEshifted & mask);
3777 if ( targLev2 != patLev2 ) {
3778 if ( targLev2 == 0 ) {
3779 return U_CE_SKIP_TARG;
3780 }
3781 if ( patLev2 == 0 && compareType == USEARCH_ANY_BASE_WEIGHT_IS_WILDCARD ) {
3782 return U_CE_SKIP_PATN;
3783 }
3784 return (patLev2 == U_CE_LEVEL2_BASE || (compareType == USEARCH_ANY_BASE_WEIGHT_IS_WILDCARD && targLev2 == U_CE_LEVEL2_BASE) )?
3785 U_CE_MATCH: U_CE_NO_MATCH;
3786 }
3787
3788 mask = 0xFFFF0000;
3789 int32_t targLev3 = (int32_t)(targCE & mask);
3790 int32_t patLev3 = (int32_t)(patCE & mask);
3791 if ( targLev3 != patLev3 ) {
3792 return (patLev3 == U_CE_LEVEL3_BASE || (compareType == USEARCH_ANY_BASE_WEIGHT_IS_WILDCARD && targLev3 == U_CE_LEVEL3_BASE) )?
3793 U_CE_MATCH: U_CE_NO_MATCH;
3794 }
3795
3796 return U_CE_MATCH;
3797}
3798
3799#if BOYER_MOORE
3800// TODO: #if BOYER_MOORE, need 32-bit version of compareCE64s
3801#endif
3802
46f4442e
A
3803U_CAPI UBool U_EXPORT2 usearch_search(UStringSearch *strsrch,
3804 int32_t startIdx,
3805 int32_t *matchStart,
3806 int32_t *matchLimit,
729e4ab9 3807 UErrorCode *status)
46f4442e
A
3808{
3809 if (U_FAILURE(*status)) {
3810 return FALSE;
3811 }
3812
3813 // TODO: reject search patterns beginning with a combining char.
3814
3815#ifdef USEARCH_DEBUG
3816 if (getenv("USEARCH_DEBUG") != NULL) {
3817 printf("Pattern CEs\n");
3818 for (int ii=0; ii<strsrch->pattern.CELength; ii++) {
3819 printf(" %8x", strsrch->pattern.CE[ii]);
3820 }
3821 printf("\n");
3822 }
729e4ab9 3823
46f4442e
A
3824#endif
3825 // Input parameter sanity check.
3826 // TODO: should input indicies clip to the text length
3827 // in the same way that UText does.
729e4ab9 3828 if(strsrch->pattern.CELength == 0 ||
46f4442e
A
3829 startIdx < 0 ||
3830 startIdx > strsrch->search->textLength ||
3831 strsrch->pattern.CE == NULL) {
3832 *status = U_ILLEGAL_ARGUMENT_ERROR;
3833 return FALSE;
3834 }
3835
3836 if (strsrch->pattern.PCE == NULL) {
3837 initializePatternPCETable(strsrch, status);
3838 }
3839
3840 ucol_setOffset(strsrch->textIter, startIdx, status);
3841 CEBuffer ceb(strsrch, status);
46f4442e 3842
729e4ab9
A
3843
3844 int32_t targetIx = 0;
3845 const CEI *targetCEI = NULL;
46f4442e
A
3846 int32_t patIx;
3847 UBool found;
3848
3849 int32_t mStart = -1;
3850 int32_t mLimit = -1;
3851 int32_t minLimit;
3852 int32_t maxLimit;
729e4ab9
A
3853
3854
3855
46f4442e
A
3856 // Outer loop moves over match starting positions in the
3857 // target CE space.
729e4ab9
A
3858 // Here we see the target as a sequence of collation elements, resulting from the following:
3859 // 1. Target characters were decomposed, and (if appropriate) other compressions and expansions are applied
3860 // (for example, digraphs such as IJ may be broken into two characters).
3861 // 2. An int64_t CE weight is determined for each resulting unit (high 16 bits are primary strength, next
3862 // 16 bits are secondary, next 16 (the high 16 bits of the low 32-bit half) are tertiary. Any of these
3863 // fields that are for strengths below that of the collator are set to 0. If this makes the int64_t
3864 // CE weight 0 (as for a combining diacritic with secondary weight when the collator strentgh is primary),
3865 // then the CE is deleted, so the following code sees only CEs that are relevant.
3866 // For each CE, the lowIndex and highIndex correspond to where this CE begins and ends in the original text.
3867 // If lowIndex==highIndex, either the CE resulted from an expansion/decomposition of one of the original text
3868 // characters, or the CE marks the limit of the target text (in which case the CE weight is UCOL_PROCESSED_NULLORDER).
3869 //
46f4442e
A
3870 for(targetIx=0; ; targetIx++)
3871 {
3872 found = TRUE;
3873 // Inner loop checks for a match beginning at each
3874 // position from the outer loop.
729e4ab9
A
3875 int32_t targetIxOffset = 0;
3876 int64_t patCE = 0;
4388f060
A
3877 // For targetIx > 0, this ceb.get gets a CE that is as far back in the ring buffer
3878 // (compared to the last CE fetched for the previous targetIx value) as we need to go
3879 // for this targetIx value, so if it is non-NULL then other ceb.get calls should be OK.
3880 const CEI *firstCEI = ceb.get(targetIx);
3881 if (firstCEI == NULL) {
3882 *status = U_INTERNAL_PROGRAM_ERROR;
3883 found = FALSE;
3884 break;
3885 }
3886
729e4ab9
A
3887 for (patIx=0; patIx<strsrch->pattern.PCELength; patIx++) {
3888 patCE = strsrch->pattern.PCE[patIx];
3889 targetCEI = ceb.get(targetIx+patIx+targetIxOffset);
46f4442e 3890 // Compare CE from target string with CE from the pattern.
729e4ab9 3891 // Note that the target CE will be UCOL_PROCESSED_NULLORDER if we reach the end of input,
46f4442e 3892 // which will fail the compare, below.
729e4ab9
A
3893 UCompareCEsResult ceMatch = compareCE64s(targetCEI->ce, patCE, strsrch->search->elementComparisonType);
3894 if ( ceMatch == U_CE_NO_MATCH ) {
46f4442e
A
3895 found = FALSE;
3896 break;
729e4ab9
A
3897 } else if ( ceMatch > U_CE_NO_MATCH ) {
3898 if ( ceMatch == U_CE_SKIP_TARG ) {
3899 // redo with same patCE, next targCE
3900 patIx--;
3901 targetIxOffset++;
3902 } else { // ceMatch == U_CE_SKIP_PATN
3903 // redo with same targCE, next patCE
3904 targetIxOffset--;
3905 }
46f4442e
A
3906 }
3907 }
729e4ab9 3908 targetIxOffset += strsrch->pattern.PCELength; // this is now the offset in target CE space to end of the match so far
46f4442e 3909
729e4ab9 3910 if (!found && ((targetCEI == NULL) || (targetCEI->ce != UCOL_PROCESSED_NULLORDER))) {
46f4442e
A
3911 // No match at this targetIx. Try again at the next.
3912 continue;
3913 }
3914
3915 if (!found) {
3916 // No match at all, we have run off the end of the target text.
3917 break;
3918 }
3919
3920
3921 // We have found a match in CE space.
3922 // Now determine the bounds in string index space.
3923 // There still is a chance of match failure if the CE range not correspond to
3924 // an acceptable character range.
3925 //
729e4ab9 3926 const CEI *lastCEI = ceb.get(targetIx + targetIxOffset - 1);
46f4442e 3927
46f4442e
A
3928 mStart = firstCEI->lowIndex;
3929 minLimit = lastCEI->lowIndex;
46f4442e
A
3930
3931 // Look at the CE following the match. If it is UCOL_NULLORDER the match
3932 // extended to the end of input, and the match is good.
3933
3934 // Look at the high and low indices of the CE following the match. If
3935 // they are the same it means one of two things:
3936 // 1. The match extended to the last CE from the target text, which is OK, or
3937 // 2. The last CE that was part of the match is in an expansion that extends
3938 // to the first CE after the match. In this case, we reject the match.
4388f060 3939 const CEI *nextCEI = 0;
729e4ab9 3940 if (strsrch->search->elementComparisonType == 0) {
4388f060 3941 nextCEI = ceb.get(targetIx + targetIxOffset);
729e4ab9
A
3942 maxLimit = nextCEI->lowIndex;
3943 if (nextCEI->lowIndex == nextCEI->highIndex && nextCEI->ce != UCOL_PROCESSED_NULLORDER) {
3944 found = FALSE;
3945 }
3946 } else {
729e4ab9
A
3947 for ( ; ; ++targetIxOffset ) {
3948 nextCEI = ceb.get(targetIx + targetIxOffset);
3949 maxLimit = nextCEI->lowIndex;
4388f060 3950 // If we are at the end of the target too, match succeeds
729e4ab9
A
3951 if ( nextCEI->ce == UCOL_PROCESSED_NULLORDER ) {
3952 break;
3953 }
3954 // As long as the next CE has primary weight of 0,
3955 // it is part of the last target element matched by the pattern;
3956 // make sure it can be part of a match with the last patCE
3957 if ( (((nextCEI->ce) >> 32) & 0xFFFF0000UL) == 0 ) {
4388f060
A
3958 UCompareCEsResult ceMatch = compareCE64s(nextCEI->ce, patCE, strsrch->search->elementComparisonType);
3959 if ( ceMatch == U_CE_NO_MATCH || ceMatch == U_CE_SKIP_PATN ) {
3960 found = FALSE;
3961 break;
3962 }
729e4ab9
A
3963 // If lowIndex == highIndex, this target CE is part of an expansion of the last matched
3964 // target element, but it has non-zero primary weight => match fails
3965 } else if ( nextCEI->lowIndex == nextCEI->highIndex ) {
4388f060
A
3966 found = false;
3967 break;
729e4ab9
A
3968 // Else the target CE is not part of an expansion of the last matched element, match succeeds
3969 } else {
4388f060 3970 break;
729e4ab9
A
3971 }
3972 }
46f4442e 3973 }
729e4ab9 3974
46f4442e
A
3975
3976 // Check for the start of the match being within a combining sequence.
3977 // This can happen if the pattern itself begins with a combining char, and
3978 // the match found combining marks in the target text that were attached
3979 // to something else.
3980 // This type of match should be rejected for not completely consuming a
3981 // combining sequence.
4388f060 3982 if (!isBreakBoundary(strsrch, mStart)) {
46f4442e
A
3983 found = FALSE;
3984 }
3985
3986 // Check for the start of the match being within an Collation Element Expansion,
3987 // meaning that the first char of the match is only partially matched.
729e4ab9 3988 // With exapnsions, the first CE will report the index of the source
46f4442e 3989 // character, and all subsequent (expansions) CEs will report the source index of the
729e4ab9 3990 // _following_ character.
46f4442e
A
3991 int32_t secondIx = firstCEI->highIndex;
3992 if (mStart == secondIx) {
3993 found = FALSE;
3994 }
729e4ab9 3995
46f4442e
A
3996 // Advance the match end position to the first acceptable match boundary.
3997 // This advances the index over any combining charcters.
3998 mLimit = maxLimit;
3999 if (minLimit < maxLimit) {
4388f060
A
4000 // When the last CE's low index is same with its high index, the CE is likely
4001 // a part of expansion. In this case, the index is located just after the
4002 // character corresponding to the CEs compared above. If the index is right
4003 // at the break boundary, move the position to the next boundary will result
4004 // incorrect match length when there are ignorable characters exist between
4005 // the position and the next character produces CE(s). See ticket#8482.
4006 if (minLimit == lastCEI->highIndex && isBreakBoundary(strsrch, minLimit)) {
4007 mLimit = minLimit;
4008 } else {
4009 int32_t nba = nextBoundaryAfter(strsrch, minLimit);
4010 if (nba >= lastCEI->highIndex) {
4011 mLimit = nba;
4012 }
46f4442e
A
4013 }
4014 }
729e4ab9 4015
46f4442e
A
4016 #ifdef USEARCH_DEBUG
4017 if (getenv("USEARCH_DEBUG") != NULL) {
4018 printf("minLimit, maxLimit, mLimit = %d, %d, %d\n", minLimit, maxLimit, mLimit);
4019 }
4020 #endif
729e4ab9 4021
46f4442e 4022 // If advancing to the end of a combining sequence in character indexing space
729e4ab9 4023 // advanced us beyond the end of the match in CE space, reject this match.
46f4442e
A
4024 if (mLimit > maxLimit) {
4025 found = FALSE;
4026 }
4027
4388f060 4028 if (!isBreakBoundary(strsrch, mLimit)) {
46f4442e
A
4029 found = FALSE;
4030 }
4031
729e4ab9
A
4032 if (! checkIdentical(strsrch, mStart, mLimit)) {
4033 found = FALSE;
4034 }
4035
46f4442e
A
4036 if (found) {
4037 break;
4038 }
4039 }
4040
4041 #ifdef USEARCH_DEBUG
4042 if (getenv("USEARCH_DEBUG") != NULL) {
4043 printf("Target CEs [%d .. %d]\n", ceb.firstIx, ceb.limitIx);
4044 int32_t lastToPrint = ceb.limitIx+2;
4045 for (int ii=ceb.firstIx; ii<lastToPrint; ii++) {
4046 printf("%8x@%d ", ceb.get(ii)->ce, ceb.get(ii)->srcIndex);
4047 }
4048 printf("\n%s\n", found? "match found" : "no match");
4049 }
4050 #endif
4051
4052 // All Done. Store back the match bounds to the caller.
4053 //
4054 if (found==FALSE) {
4055 mLimit = -1;
4056 mStart = -1;
4057 }
4058
4059 if (matchStart != NULL) {
4060 *matchStart= mStart;
4061 }
4062
4063 if (matchLimit != NULL) {
4064 *matchLimit = mLimit;
4065 }
4066
4067 return found;
4068}
4069
46f4442e
A
4070U_CAPI UBool U_EXPORT2 usearch_searchBackwards(UStringSearch *strsrch,
4071 int32_t startIdx,
4072 int32_t *matchStart,
4073 int32_t *matchLimit,
729e4ab9 4074 UErrorCode *status)
46f4442e
A
4075{
4076 if (U_FAILURE(*status)) {
4077 return FALSE;
4078 }
4079
4080 // TODO: reject search patterns beginning with a combining char.
4081
4082#ifdef USEARCH_DEBUG
4083 if (getenv("USEARCH_DEBUG") != NULL) {
4084 printf("Pattern CEs\n");
4085 for (int ii=0; ii<strsrch->pattern.CELength; ii++) {
4086 printf(" %8x", strsrch->pattern.CE[ii]);
4087 }
4088 printf("\n");
4089 }
729e4ab9 4090
46f4442e
A
4091#endif
4092 // Input parameter sanity check.
4093 // TODO: should input indicies clip to the text length
4094 // in the same way that UText does.
729e4ab9 4095 if(strsrch->pattern.CELength == 0 ||
46f4442e
A
4096 startIdx < 0 ||
4097 startIdx > strsrch->search->textLength ||
4098 strsrch->pattern.CE == NULL) {
4099 *status = U_ILLEGAL_ARGUMENT_ERROR;
4100 return FALSE;
4101 }
4102
4103 if (strsrch->pattern.PCE == NULL) {
4104 initializePatternPCETable(strsrch, status);
4105 }
4106
4107 CEBuffer ceb(strsrch, status);
729e4ab9 4108 int32_t targetIx = 0;
46f4442e
A
4109
4110 /*
4111 * Pre-load the buffer with the CE's for the grapheme
4112 * after our starting position so that we're sure that
4113 * we can look at the CE following the match when we
4114 * check the match boundaries.
4115 *
4116 * This will also pre-fetch the first CE that we'll
4117 * consider for the match.
4118 */
4119 if (startIdx < strsrch->search->textLength) {
4120 UBreakIterator *bi = strsrch->search->internalBreakIter;
4121 int32_t next = ubrk_following(bi, startIdx);
4122
4123 ucol_setOffset(strsrch->textIter, next, status);
4124
4125 for (targetIx = 0; ; targetIx += 1) {
4126 if (ceb.getPrevious(targetIx)->lowIndex < startIdx) {
4127 break;
4128 }
4129 }
4130 } else {
4131 ucol_setOffset(strsrch->textIter, startIdx, status);
4132 }
46f4442e 4133
729e4ab9
A
4134
4135 const CEI *targetCEI = NULL;
46f4442e
A
4136 int32_t patIx;
4137 UBool found;
4138
4139 int32_t limitIx = targetIx;
4140 int32_t mStart = -1;
4141 int32_t mLimit = -1;
4142 int32_t minLimit;
4143 int32_t maxLimit;
729e4ab9
A
4144
4145
4146
46f4442e
A
4147 // Outer loop moves over match starting positions in the
4148 // target CE space.
729e4ab9
A
4149 // Here, targetIx values increase toward the beginning of the base text (i.e. we get the text CEs in reverse order).
4150 // But patIx is 0 at the beginning of the pattern and increases toward the end.
4151 // So this loop performs a comparison starting with the end of pattern, and prcessd toward the beginning of the pattern
4152 // and the beginning of the base text.
46f4442e
A
4153 for(targetIx = limitIx; ; targetIx += 1)
4154 {
4155 found = TRUE;
4388f060
A
4156 // For targetIx > limitIx, this ceb.getPrevious gets a CE that is as far back in the ring buffer
4157 // (compared to the last CE fetched for the previous targetIx value) as we need to go
4158 // for this targetIx value, so if it is non-NULL then other ceb.getPrevious calls should be OK.
4159 const CEI *lastCEI = ceb.getPrevious(targetIx);
4160 if (lastCEI == NULL) {
4161 *status = U_INTERNAL_PROGRAM_ERROR;
4162 found = FALSE;
4163 break;
4164 }
46f4442e
A
4165 // Inner loop checks for a match beginning at each
4166 // position from the outer loop.
729e4ab9
A
4167 int32_t targetIxOffset = 0;
4168 for (patIx = strsrch->pattern.PCELength - 1; patIx >= 0; patIx -= 1) {
46f4442e
A
4169 int64_t patCE = strsrch->pattern.PCE[patIx];
4170
729e4ab9 4171 targetCEI = ceb.getPrevious(targetIx + strsrch->pattern.PCELength - 1 - patIx + targetIxOffset);
46f4442e
A
4172 // Compare CE from target string with CE from the pattern.
4173 // Note that the target CE will be UCOL_NULLORDER if we reach the end of input,
4174 // which will fail the compare, below.
729e4ab9
A
4175 UCompareCEsResult ceMatch = compareCE64s(targetCEI->ce, patCE, strsrch->search->elementComparisonType);
4176 if ( ceMatch == U_CE_NO_MATCH ) {
46f4442e
A
4177 found = FALSE;
4178 break;
729e4ab9
A
4179 } else if ( ceMatch > U_CE_NO_MATCH ) {
4180 if ( ceMatch == U_CE_SKIP_TARG ) {
4181 // redo with same patCE, next targCE
4182 patIx++;
4183 targetIxOffset++;
4184 } else { // ceMatch == U_CE_SKIP_PATN
4185 // redo with same targCE, next patCE
4186 targetIxOffset--;
4187 }
46f4442e
A
4188 }
4189 }
4190
729e4ab9 4191 if (!found && ((targetCEI == NULL) || (targetCEI->ce != UCOL_PROCESSED_NULLORDER))) {
46f4442e
A
4192 // No match at this targetIx. Try again at the next.
4193 continue;
4194 }
4195
4196 if (!found) {
4197 // No match at all, we have run off the end of the target text.
4198 break;
4199 }
4200
4201
4202 // We have found a match in CE space.
4203 // Now determine the bounds in string index space.
4204 // There still is a chance of match failure if the CE range not correspond to
4205 // an acceptable character range.
4206 //
729e4ab9 4207 const CEI *firstCEI = ceb.getPrevious(targetIx + strsrch->pattern.PCELength - 1 + targetIxOffset);
46f4442e 4208 mStart = firstCEI->lowIndex;
46f4442e
A
4209
4210 // Check for the start of the match being within a combining sequence.
4211 // This can happen if the pattern itself begins with a combining char, and
4212 // the match found combining marks in the target text that were attached
4213 // to something else.
4214 // This type of match should be rejected for not completely consuming a
4215 // combining sequence.
4388f060 4216 if (!isBreakBoundary(strsrch, mStart)) {
46f4442e
A
4217 found = FALSE;
4218 }
4219
4220 // Look at the high index of the first CE in the match. If it's the same as the
4221 // low index, the first CE in the match is in the middle of an expansion.
4222 if (mStart == firstCEI->highIndex) {
4223 found = FALSE;
4224 }
729e4ab9 4225
46f4442e 4226
4388f060
A
4227 minLimit = lastCEI->lowIndex;
4228
4229 if (targetIx > 0) {
4230 // Look at the CE following the match. If it is UCOL_NULLORDER the match
4231 // extended to the end of input, and the match is good.
4232
4233 // Look at the high and low indices of the CE following the match. If
4234 // they are the same it means one of two things:
4235 // 1. The match extended to the last CE from the target text, which is OK, or
4236 // 2. The last CE that was part of the match is in an expansion that extends
4237 // to the first CE after the match. In this case, we reject the match.
4238 const CEI *nextCEI = ceb.getPrevious(targetIx - 1);
4239
4240 if (nextCEI->lowIndex == nextCEI->highIndex && nextCEI->ce != UCOL_PROCESSED_NULLORDER) {
4241 found = FALSE;
4242 }
4243
4244 mLimit = maxLimit = nextCEI->lowIndex;
4245
4246 // Advance the match end position to the first acceptable match boundary.
4247 // This advances the index over any combining charcters.
4248 if (minLimit < maxLimit) {
4249 int32_t nba = nextBoundaryAfter(strsrch, minLimit);
4250
4251 if (nba >= lastCEI->highIndex) {
4252 mLimit = nba;
4253 }
46f4442e 4254 }
4388f060
A
4255
4256 // If advancing to the end of a combining sequence in character indexing space
4257 // advanced us beyond the end of the match in CE space, reject this match.
4258 if (mLimit > maxLimit) {
4259 found = FALSE;
4260 }
4261
4262 // Make sure the end of the match is on a break boundary
4263 if (!isBreakBoundary(strsrch, mLimit)) {
4264 found = FALSE;
4265 }
4266
4267 } else {
4268 // No non-ignorable CEs after this point.
4269 // The maximum position is detected by boundary after
4270 // the last non-ignorable CE. Combining sequence
4271 // across the start index will be truncated.
4272 int32_t nba = nextBoundaryAfter(strsrch, minLimit);
4273 mLimit = maxLimit = (nba > 0) && (startIdx > nba) ? nba : startIdx;
46f4442e 4274 }
729e4ab9 4275
46f4442e
A
4276 #ifdef USEARCH_DEBUG
4277 if (getenv("USEARCH_DEBUG") != NULL) {
4278 printf("minLimit, maxLimit, mLimit = %d, %d, %d\n", minLimit, maxLimit, mLimit);
4279 }
4280 #endif
729e4ab9 4281
46f4442e 4282
729e4ab9
A
4283 if (! checkIdentical(strsrch, mStart, mLimit)) {
4284 found = FALSE;
4285 }
4286
46f4442e
A
4287 if (found) {
4288 break;
4289 }
4290 }
4291
4292 #ifdef USEARCH_DEBUG
4293 if (getenv("USEARCH_DEBUG") != NULL) {
4294 printf("Target CEs [%d .. %d]\n", ceb.firstIx, ceb.limitIx);
4295 int32_t lastToPrint = ceb.limitIx+2;
4296 for (int ii=ceb.firstIx; ii<lastToPrint; ii++) {
4297 printf("%8x@%d ", ceb.get(ii)->ce, ceb.get(ii)->srcIndex);
4298 }
4299 printf("\n%s\n", found? "match found" : "no match");
4300 }
4301 #endif
4302
4303 // All Done. Store back the match bounds to the caller.
4304 //
4305 if (found==FALSE) {
4306 mLimit = -1;
4307 mStart = -1;
4308 }
4309
4310 if (matchStart != NULL) {
4311 *matchStart= mStart;
4312 }
4313
4314 if (matchLimit != NULL) {
4315 *matchLimit = mLimit;
4316 }
4317
4318 return found;
4319}
4320
b75a7d8f
A
4321// internal use methods declared in usrchimp.h -----------------------------
4322
4323UBool usearch_handleNextExact(UStringSearch *strsrch, UErrorCode *status)
4324{
4325 if (U_FAILURE(*status)) {
4326 setMatchNotFound(strsrch);
4327 return FALSE;
4328 }
4329
46f4442e 4330#if BOYER_MOORE
374ca955 4331 UCollationElements *coleiter = strsrch->textIter;
b75a7d8f 4332 int32_t textlength = strsrch->search->textLength;
374ca955 4333 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f
A
4334 int32_t patterncelength = strsrch->pattern.CELength;
4335 int32_t textoffset = ucol_getOffset(coleiter);
4336
374ca955 4337 // status used in setting coleiter offset, since offset is checked in
729e4ab9 4338 // shiftForward before setting the coleiter offset, status never
374ca955 4339 // a failure
729e4ab9 4340 textoffset = shiftForward(strsrch, textoffset, UCOL_NULLORDER,
b75a7d8f
A
4341 patterncelength);
4342 while (textoffset <= textlength)
4343 {
4344 uint32_t patternceindex = patterncelength - 1;
374ca955 4345 int32_t targetce;
b75a7d8f 4346 UBool found = FALSE;
374ca955
A
4347 int32_t lastce = UCOL_NULLORDER;
4348
4349 setColEIterOffset(coleiter, textoffset);
4350
46f4442e 4351 for (;;) {
b75a7d8f
A
4352 // finding the last pattern ce match, imagine composite characters
4353 // for example: search for pattern A in text \u00C0
4354 // we'll have to skip \u0300 the grave first before we get to A
4355 targetce = ucol_previous(coleiter, status);
4356 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4357 found = FALSE;
4358 break;
4359 }
4360 targetce = getCE(strsrch, targetce);
729e4ab9
A
4361 if (targetce == UCOL_IGNORABLE && inNormBuf(coleiter)) {
4362 // this is for the text \u0315\u0300 that requires
b75a7d8f
A
4363 // normalization and pattern \u0300, where \u0315 is ignorable
4364 continue;
4365 }
4366 if (lastce == UCOL_NULLORDER || lastce == UCOL_IGNORABLE) {
4367 lastce = targetce;
4368 }
729e4ab9 4369 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
b75a7d8f
A
4370 if (targetce == patternce[patternceindex]) {
4371 // the first ce can be a contraction
4372 found = TRUE;
4373 break;
4374 }
4375 if (!hasExpansion(coleiter)) {
4376 found = FALSE;
4377 break;
4378 }
4379 }
4380
46f4442e 4381 //targetce = lastce;
729e4ab9 4382
b75a7d8f 4383 while (found && patternceindex > 0) {
4388f060 4384 lastce = targetce;
b75a7d8f
A
4385 targetce = ucol_previous(coleiter, status);
4386 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4387 found = FALSE;
4388 break;
4389 }
4390 targetce = getCE(strsrch, targetce);
4391 if (targetce == UCOL_IGNORABLE) {
4392 continue;
4393 }
4394
4395 patternceindex --;
729e4ab9
A
4396 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
4397 found = found && targetce == patternce[patternceindex];
b75a7d8f 4398 }
729e4ab9 4399
46f4442e 4400 targetce = lastce;
b75a7d8f
A
4401
4402 if (!found) {
374ca955
A
4403 if (U_FAILURE(*status)) {
4404 break;
4405 }
729e4ab9 4406 textoffset = shiftForward(strsrch, textoffset, lastce,
b75a7d8f
A
4407 patternceindex);
4408 // status checked at loop.
4409 patternceindex = patterncelength;
4410 continue;
4411 }
374ca955
A
4412
4413 if (checkNextExactMatch(strsrch, &textoffset, status)) {
b75a7d8f 4414 // status checked in ucol_setOffset
374ca955
A
4415 setColEIterOffset(coleiter, strsrch->search->matchedIndex);
4416 return TRUE;
b75a7d8f
A
4417 }
4418 }
4419 setMatchNotFound(strsrch);
374ca955 4420 return FALSE;
46f4442e
A
4421#else
4422 int32_t textOffset = ucol_getOffset(strsrch->textIter);
4423 int32_t start = -1;
4424 int32_t end = -1;
4425
4426 if (usearch_search(strsrch, textOffset, &start, &end, status)) {
4427 strsrch->search->matchedIndex = start;
4428 strsrch->search->matchedLength = end - start;
4429 return TRUE;
4430 } else {
4431 setMatchNotFound(strsrch);
4432 return FALSE;
4433 }
4434#endif
b75a7d8f
A
4435}
4436
4437UBool usearch_handleNextCanonical(UStringSearch *strsrch, UErrorCode *status)
4438{
4439 if (U_FAILURE(*status)) {
4440 setMatchNotFound(strsrch);
4441 return FALSE;
4442 }
4443
46f4442e 4444#if BOYER_MOORE
b75a7d8f
A
4445 UCollationElements *coleiter = strsrch->textIter;
4446 int32_t textlength = strsrch->search->textLength;
374ca955 4447 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f 4448 int32_t patterncelength = strsrch->pattern.CELength;
374ca955 4449 int32_t textoffset = ucol_getOffset(coleiter);
729e4ab9 4450 UBool hasPatternAccents =
b75a7d8f 4451 strsrch->pattern.hasSuffixAccents || strsrch->pattern.hasPrefixAccents;
729e4ab9
A
4452
4453 textoffset = shiftForward(strsrch, textoffset, UCOL_NULLORDER,
b75a7d8f
A
4454 patterncelength);
4455 strsrch->canonicalPrefixAccents[0] = 0;
4456 strsrch->canonicalSuffixAccents[0] = 0;
729e4ab9 4457
b75a7d8f
A
4458 while (textoffset <= textlength)
4459 {
4460 int32_t patternceindex = patterncelength - 1;
374ca955 4461 int32_t targetce;
b75a7d8f 4462 UBool found = FALSE;
374ca955
A
4463 int32_t lastce = UCOL_NULLORDER;
4464
4465 setColEIterOffset(coleiter, textoffset);
4466
4467 for (;;) {
b75a7d8f
A
4468 // finding the last pattern ce match, imagine composite characters
4469 // for example: search for pattern A in text \u00C0
4470 // we'll have to skip \u0300 the grave first before we get to A
4471 targetce = ucol_previous(coleiter, status);
4472 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4473 found = FALSE;
4474 break;
4475 }
4476 targetce = getCE(strsrch, targetce);
4477 if (lastce == UCOL_NULLORDER || lastce == UCOL_IGNORABLE) {
4478 lastce = targetce;
4479 }
729e4ab9 4480 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
b75a7d8f
A
4481 if (targetce == patternce[patternceindex]) {
4482 // the first ce can be a contraction
4483 found = TRUE;
4484 break;
4485 }
4486 if (!hasExpansion(coleiter)) {
4487 found = FALSE;
4488 break;
4489 }
4490 }
729e4ab9 4491
b75a7d8f
A
4492 while (found && patternceindex > 0) {
4493 targetce = ucol_previous(coleiter, status);
4494 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4495 found = FALSE;
4496 break;
4497 }
4498 targetce = getCE(strsrch, targetce);
4499 if (targetce == UCOL_IGNORABLE) {
4500 continue;
4501 }
4502
4503 patternceindex --;
729e4ab9
A
4504 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
4505 found = found && targetce == patternce[patternceindex];
b75a7d8f
A
4506 }
4507
4508 // initializing the rearranged accent array
4509 if (hasPatternAccents && !found) {
4510 strsrch->canonicalPrefixAccents[0] = 0;
4511 strsrch->canonicalSuffixAccents[0] = 0;
374ca955
A
4512 if (U_FAILURE(*status)) {
4513 break;
4514 }
b75a7d8f
A
4515 found = doNextCanonicalMatch(strsrch, textoffset, status);
4516 }
4517
4518 if (!found) {
374ca955
A
4519 if (U_FAILURE(*status)) {
4520 break;
4521 }
729e4ab9 4522 textoffset = shiftForward(strsrch, textoffset, lastce,
b75a7d8f
A
4523 patternceindex);
4524 // status checked at loop
4525 patternceindex = patterncelength;
4526 continue;
4527 }
729e4ab9 4528
b75a7d8f
A
4529 if (checkNextCanonicalMatch(strsrch, &textoffset, status)) {
4530 setColEIterOffset(coleiter, strsrch->search->matchedIndex);
4531 return TRUE;
4532 }
4533 }
4534 setMatchNotFound(strsrch);
4535 return FALSE;
46f4442e
A
4536#else
4537 int32_t textOffset = ucol_getOffset(strsrch->textIter);
4538 int32_t start = -1;
4539 int32_t end = -1;
4540
4541 if (usearch_search(strsrch, textOffset, &start, &end, status)) {
4542 strsrch->search->matchedIndex = start;
4543 strsrch->search->matchedLength = end - start;
4544 return TRUE;
4545 } else {
4546 setMatchNotFound(strsrch);
4547 return FALSE;
4548 }
4549#endif
b75a7d8f
A
4550}
4551
4552UBool usearch_handlePreviousExact(UStringSearch *strsrch, UErrorCode *status)
4553{
4554 if (U_FAILURE(*status)) {
4555 setMatchNotFound(strsrch);
4556 return FALSE;
4557 }
4558
46f4442e 4559#if BOYER_MOORE
b75a7d8f 4560 UCollationElements *coleiter = strsrch->textIter;
374ca955 4561 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f 4562 int32_t patterncelength = strsrch->pattern.CELength;
374ca955 4563 int32_t textoffset = ucol_getOffset(coleiter);
b75a7d8f
A
4564
4565 // shifting it check for setting offset
4566 // if setOffset is called previously or there was no previous match, we
4567 // leave the offset as it is.
4568 if (strsrch->search->matchedIndex != USEARCH_DONE) {
4569 textoffset = strsrch->search->matchedIndex;
4570 }
729e4ab9
A
4571
4572 textoffset = reverseShift(strsrch, textoffset, UCOL_NULLORDER,
b75a7d8f 4573 patterncelength);
729e4ab9 4574
b75a7d8f
A
4575 while (textoffset >= 0)
4576 {
4577 int32_t patternceindex = 1;
374ca955 4578 int32_t targetce;
b75a7d8f 4579 UBool found = FALSE;
374ca955 4580 int32_t firstce = UCOL_NULLORDER;
b75a7d8f 4581
374ca955 4582 // if status is a failure, ucol_setOffset does nothing
b75a7d8f 4583 setColEIterOffset(coleiter, textoffset);
374ca955
A
4584
4585 for (;;) {
729e4ab9
A
4586 // finding the first pattern ce match, imagine composite
4587 // characters. for example: search for pattern \u0300 in text
4588 // \u00C0, we'll have to skip A first before we get to
b75a7d8f
A
4589 // \u0300 the grave accent
4590 targetce = ucol_next(coleiter, status);
4591 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4592 found = FALSE;
4593 break;
4594 }
4595 targetce = getCE(strsrch, targetce);
4596 if (firstce == UCOL_NULLORDER || firstce == UCOL_IGNORABLE) {
4597 firstce = targetce;
4598 }
46f4442e 4599 if (targetce == UCOL_IGNORABLE && strsrch->strength != UCOL_PRIMARY) {
b75a7d8f 4600 continue;
729e4ab9
A
4601 }
4602 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
b75a7d8f
A
4603 if (targetce == patternce[0]) {
4604 found = TRUE;
4605 break;
4606 }
4607 if (!hasExpansion(coleiter)) {
4608 // checking for accents in composite character
4609 found = FALSE;
4610 break;
4611 }
4612 }
4613
46f4442e 4614 //targetce = firstce;
729e4ab9 4615
b75a7d8f 4616 while (found && (patternceindex < patterncelength)) {
4388f060 4617 firstce = targetce;
b75a7d8f
A
4618 targetce = ucol_next(coleiter, status);
4619 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4620 found = FALSE;
4621 break;
4622 }
4623 targetce = getCE(strsrch, targetce);
4624 if (targetce == UCOL_IGNORABLE) {
4625 continue;
4626 }
4627
729e4ab9
A
4628 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
4629 found = found && targetce == patternce[patternceindex];
b75a7d8f
A
4630 patternceindex ++;
4631 }
729e4ab9 4632
46f4442e 4633 targetce = firstce;
b75a7d8f
A
4634
4635 if (!found) {
374ca955
A
4636 if (U_FAILURE(*status)) {
4637 break;
4638 }
729e4ab9
A
4639
4640 textoffset = reverseShift(strsrch, textoffset, targetce,
b75a7d8f
A
4641 patternceindex);
4642 patternceindex = 0;
4643 continue;
4644 }
729e4ab9 4645
b75a7d8f
A
4646 if (checkPreviousExactMatch(strsrch, &textoffset, status)) {
4647 setColEIterOffset(coleiter, textoffset);
4648 return TRUE;
4649 }
4650 }
4651 setMatchNotFound(strsrch);
4652 return FALSE;
46f4442e 4653#else
4388f060
A
4654 int32_t textOffset;
4655
4656 if (strsrch->search->isOverlap) {
4657 if (strsrch->search->matchedIndex != USEARCH_DONE) {
4658 textOffset = strsrch->search->matchedIndex + strsrch->search->matchedLength - 1;
4659 } else {
4660 // move the start position at the end of possible match
4661 initializePatternPCETable(strsrch, status);
4662 for (int32_t nPCEs = 0; nPCEs < strsrch->pattern.PCELength - 1; nPCEs++) {
4663 int64_t pce = ucol_nextProcessed(strsrch->textIter, NULL, NULL, status);
4664 if (pce == UCOL_PROCESSED_NULLORDER) {
4665 // at the end of the text
4666 break;
4667 }
4668 }
4669 if (U_FAILURE(*status)) {
4670 setMatchNotFound(strsrch);
4671 return FALSE;
4672 }
4673 textOffset = ucol_getOffset(strsrch->textIter);
4674 }
4675 } else {
4676 textOffset = ucol_getOffset(strsrch->textIter);
4677 }
4678
46f4442e
A
4679 int32_t start = -1;
4680 int32_t end = -1;
4681
4682 if (usearch_searchBackwards(strsrch, textOffset, &start, &end, status)) {
4683 strsrch->search->matchedIndex = start;
4684 strsrch->search->matchedLength = end - start;
4685 return TRUE;
4686 } else {
4687 setMatchNotFound(strsrch);
4688 return FALSE;
4689 }
4690#endif
b75a7d8f
A
4691}
4692
729e4ab9 4693UBool usearch_handlePreviousCanonical(UStringSearch *strsrch,
b75a7d8f
A
4694 UErrorCode *status)
4695{
4696 if (U_FAILURE(*status)) {
4697 setMatchNotFound(strsrch);
4698 return FALSE;
4699 }
4700
46f4442e 4701#if BOYER_MOORE
b75a7d8f 4702 UCollationElements *coleiter = strsrch->textIter;
374ca955 4703 int32_t *patternce = strsrch->pattern.CE;
b75a7d8f 4704 int32_t patterncelength = strsrch->pattern.CELength;
374ca955 4705 int32_t textoffset = ucol_getOffset(coleiter);
729e4ab9 4706 UBool hasPatternAccents =
b75a7d8f 4707 strsrch->pattern.hasSuffixAccents || strsrch->pattern.hasPrefixAccents;
729e4ab9 4708
b75a7d8f
A
4709 // shifting it check for setting offset
4710 // if setOffset is called previously or there was no previous match, we
4711 // leave the offset as it is.
4712 if (strsrch->search->matchedIndex != USEARCH_DONE) {
4713 textoffset = strsrch->search->matchedIndex;
4714 }
729e4ab9
A
4715
4716 textoffset = reverseShift(strsrch, textoffset, UCOL_NULLORDER,
b75a7d8f
A
4717 patterncelength);
4718 strsrch->canonicalPrefixAccents[0] = 0;
4719 strsrch->canonicalSuffixAccents[0] = 0;
729e4ab9 4720
b75a7d8f
A
4721 while (textoffset >= 0)
4722 {
4723 int32_t patternceindex = 1;
374ca955 4724 int32_t targetce;
b75a7d8f 4725 UBool found = FALSE;
374ca955 4726 int32_t firstce = UCOL_NULLORDER;
b75a7d8f
A
4727
4728 setColEIterOffset(coleiter, textoffset);
46f4442e 4729 for (;;) {
729e4ab9
A
4730 // finding the first pattern ce match, imagine composite
4731 // characters. for example: search for pattern \u0300 in text
4732 // \u00C0, we'll have to skip A first before we get to
b75a7d8f
A
4733 // \u0300 the grave accent
4734 targetce = ucol_next(coleiter, status);
4735 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4736 found = FALSE;
4737 break;
4738 }
4739 targetce = getCE(strsrch, targetce);
4740 if (firstce == UCOL_NULLORDER || firstce == UCOL_IGNORABLE) {
4741 firstce = targetce;
4742 }
729e4ab9
A
4743
4744 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
b75a7d8f
A
4745 if (targetce == patternce[0]) {
4746 // the first ce can be a contraction
4747 found = TRUE;
4748 break;
4749 }
4750 if (!hasExpansion(coleiter)) {
4751 // checking for accents in composite character
4752 found = FALSE;
4753 break;
4754 }
4755 }
4756
4757 targetce = firstce;
729e4ab9 4758
b75a7d8f
A
4759 while (found && patternceindex < patterncelength) {
4760 targetce = ucol_next(coleiter, status);
4761 if (U_FAILURE(*status) || targetce == UCOL_NULLORDER) {
4762 found = FALSE;
4763 break;
4764 }
4765 targetce = getCE(strsrch, targetce);
4766 if (targetce == UCOL_IGNORABLE) {
4767 continue;
4768 }
4769
729e4ab9
A
4770 // TODO: #if BOYER_MOORE, replace with code using 32-bit version of compareCE64s
4771 found = found && targetce == patternce[patternceindex];
b75a7d8f
A
4772 patternceindex ++;
4773 }
4774
4775 // initializing the rearranged accent array
4776 if (hasPatternAccents && !found) {
4777 strsrch->canonicalPrefixAccents[0] = 0;
4778 strsrch->canonicalSuffixAccents[0] = 0;
374ca955 4779 if (U_FAILURE(*status)) {
b75a7d8f
A
4780 break;
4781 }
4782 found = doPreviousCanonicalMatch(strsrch, textoffset, status);
4783 }
4784
4785 if (!found) {
374ca955 4786 if (U_FAILURE(*status)) {
b75a7d8f
A
4787 break;
4788 }
729e4ab9 4789 textoffset = reverseShift(strsrch, textoffset, targetce,
b75a7d8f
A
4790 patternceindex);
4791 patternceindex = 0;
4792 continue;
4793 }
4794
4795 if (checkPreviousCanonicalMatch(strsrch, &textoffset, status)) {
4796 setColEIterOffset(coleiter, textoffset);
4797 return TRUE;
4798 }
4799 }
4800 setMatchNotFound(strsrch);
4801 return FALSE;
46f4442e 4802#else
4388f060
A
4803 int32_t textOffset;
4804
4805 if (strsrch->search->isOverlap) {
4806 if (strsrch->search->matchedIndex != USEARCH_DONE) {
4807 textOffset = strsrch->search->matchedIndex + strsrch->search->matchedLength - 1;
4808 } else {
4809 // move the start position at the end of possible match
4810 initializePatternPCETable(strsrch, status);
4811 for (int32_t nPCEs = 0; nPCEs < strsrch->pattern.PCELength - 1; nPCEs++) {
4812 int64_t pce = ucol_nextProcessed(strsrch->textIter, NULL, NULL, status);
4813 if (pce == UCOL_PROCESSED_NULLORDER) {
4814 // at the end of the text
4815 break;
4816 }
4817 }
4818 if (U_FAILURE(*status)) {
4819 setMatchNotFound(strsrch);
4820 return FALSE;
4821 }
4822 textOffset = ucol_getOffset(strsrch->textIter);
4823 }
4824 } else {
4825 textOffset = ucol_getOffset(strsrch->textIter);
4826 }
4827
46f4442e
A
4828 int32_t start = -1;
4829 int32_t end = -1;
4830
4831 if (usearch_searchBackwards(strsrch, textOffset, &start, &end, status)) {
4832 strsrch->search->matchedIndex = start;
4833 strsrch->search->matchedLength = end - start;
4834 return TRUE;
4835 } else {
4836 setMatchNotFound(strsrch);
4837 return FALSE;
4838 }
4839#endif
b75a7d8f
A
4840}
4841
4842#endif /* #if !UCONFIG_NO_COLLATION */