1 // © 2016 and later: Unicode, Inc. and others.
2 // License & terms of use: http://www.unicode.org/copyright.html
3 /*
4 **********************************************************************
5 *   Copyright (c) 2002-2014, International Business Machines Corporation
6 *   and others.  All Rights Reserved.
7 **********************************************************************
8 *   Date        Name        Description
9 *   01/14/2002  aliu        Creation.
10 **********************************************************************
11 */
12 
13 #include "unicode/utypes.h"
14 
15 #if !UCONFIG_NO_TRANSLITERATION
16 
17 #include "tridpars.h"
18 #include "hash.h"
19 #include "mutex.h"
20 #include "transreg.h"
21 #include "uassert.h"
22 #include "ucln_in.h"
23 #include "unicode/parsepos.h"
24 #include "unicode/translit.h"
25 #include "unicode/uchar.h"
26 #include "unicode/uniset.h"
27 #include "unicode/unistr.h"
28 #include "unicode/utrans.h"
29 #include "util.h"
30 #include "uvector.h"
31 
32 U_NAMESPACE_BEGIN
33 
34 static const UChar ID_DELIM    = 0x003B; // ;
35 static const UChar TARGET_SEP  = 0x002D; // -
36 static const UChar VARIANT_SEP = 0x002F; // /
37 static const UChar OPEN_REV    = 0x0028; // (
38 static const UChar CLOSE_REV   = 0x0029; // )
39 
40 //static const UChar EMPTY[]     = {0}; // ""
41 static const UChar ANY[]       = {65,110,121,0}; // "Any"
42 static const UChar ANY_NULL[]  = {65,110,121,45,78,117,108,108,0}; // "Any-Null"
43 
44 static const int32_t FORWARD = UTRANS_FORWARD;
45 static const int32_t REVERSE = UTRANS_REVERSE;
46 
47 static Hashtable* SPECIAL_INVERSES = NULL;
48 static UInitOnce gSpecialInversesInitOnce = U_INITONCE_INITIALIZER;
49 
50 /**
51  * The mutex controlling access to SPECIAL_INVERSES
52  */
53 static UMutex LOCK;
54 
Specs(const UnicodeString & s,const UnicodeString & t,const UnicodeString & v,UBool sawS,const UnicodeString & f)55 TransliteratorIDParser::Specs::Specs(const UnicodeString& s, const UnicodeString& t,
56                                      const UnicodeString& v, UBool sawS,
57                                      const UnicodeString& f) {
58     source = s;
59     target = t;
60     variant = v;
61     sawSource = sawS;
62     filter = f;
63 }
64 
SingleID(const UnicodeString & c,const UnicodeString & b,const UnicodeString & f)65 TransliteratorIDParser::SingleID::SingleID(const UnicodeString& c, const UnicodeString& b,
66                                            const UnicodeString& f) {
67     canonID = c;
68     basicID = b;
69     filter = f;
70 }
71 
SingleID(const UnicodeString & c,const UnicodeString & b)72 TransliteratorIDParser::SingleID::SingleID(const UnicodeString& c, const UnicodeString& b) {
73     canonID = c;
74     basicID = b;
75 }
76 
createInstance()77 Transliterator* TransliteratorIDParser::SingleID::createInstance() {
78     Transliterator* t;
79     if (basicID.length() == 0) {
80         t = createBasicInstance(UnicodeString(TRUE, ANY_NULL, 8), &canonID);
81     } else {
82         t = createBasicInstance(basicID, &canonID);
83     }
84     if (t != NULL) {
85         if (filter.length() != 0) {
86             UErrorCode ec = U_ZERO_ERROR;
87             UnicodeSet *set = new UnicodeSet(filter, ec);
88             if (U_FAILURE(ec)) {
89                 delete set;
90             } else {
91                 t->adoptFilter(set);
92             }
93         }
94     }
95     return t;
96 }
97 
98 
99 /**
100  * Parse a single ID, that is, an ID of the general form
101  * "[f1] s1-t1/v1 ([f2] s2-t3/v2)", with the parenthesized element
102  * optional, the filters optional, and the variants optional.
103  * @param id the id to be parsed
104  * @param pos INPUT-OUTPUT parameter.  On input, the position of
105  * the first character to parse.  On output, the position after
106  * the last character parsed.
107  * @param dir the direction.  If the direction is REVERSE then the
108  * SingleID is constructed for the reverse direction.
109  * @return a SingleID object or NULL
110  */
111 TransliteratorIDParser::SingleID*
parseSingleID(const UnicodeString & id,int32_t & pos,int32_t dir,UErrorCode & status)112 TransliteratorIDParser::parseSingleID(const UnicodeString& id, int32_t& pos,
113                                       int32_t dir, UErrorCode& status) {
114 
115     int32_t start = pos;
116 
117     // The ID will be of the form A, A(), A(B), or (B), where
118     // A and B are filter IDs.
119     Specs* specsA = NULL;
120     Specs* specsB = NULL;
121     UBool sawParen = FALSE;
122 
123     // On the first pass, look for (B) or ().  If this fails, then
124     // on the second pass, look for A, A(B), or A().
125     for (int32_t pass=1; pass<=2; ++pass) {
126         if (pass == 2) {
127             specsA = parseFilterID(id, pos, TRUE);
128             if (specsA == NULL) {
129                 pos = start;
130                 return NULL;
131             }
132         }
133         if (ICU_Utility::parseChar(id, pos, OPEN_REV)) {
134             sawParen = TRUE;
135             if (!ICU_Utility::parseChar(id, pos, CLOSE_REV)) {
136                 specsB = parseFilterID(id, pos, TRUE);
137                 // Must close with a ')'
138                 if (specsB == NULL || !ICU_Utility::parseChar(id, pos, CLOSE_REV)) {
139                     delete specsA;
140                     pos = start;
141                     return NULL;
142                 }
143             }
144             break;
145         }
146     }
147 
148     // Assemble return results
149     SingleID* single;
150     if (sawParen) {
151         if (dir == FORWARD) {
152             SingleID* b = specsToID(specsB, FORWARD);
153             single = specsToID(specsA, FORWARD);
154             // Null pointers check
155             if (b == NULL || single == NULL) {
156             	delete b;
157             	delete single;
158             	status = U_MEMORY_ALLOCATION_ERROR;
159             	return NULL;
160             }
161             single->canonID.append(OPEN_REV)
162                 .append(b->canonID).append(CLOSE_REV);
163             if (specsA != NULL) {
164                 single->filter = specsA->filter;
165             }
166             delete b;
167         } else {
168             SingleID* a = specsToID(specsA, FORWARD);
169             single = specsToID(specsB, FORWARD);
170             // Check for null pointer.
171             if (a == NULL || single == NULL) {
172             	delete a;
173             	delete single;
174             	status = U_MEMORY_ALLOCATION_ERROR;
175             	return NULL;
176             }
177             single->canonID.append(OPEN_REV)
178                 .append(a->canonID).append(CLOSE_REV);
179             if (specsB != NULL) {
180                 single->filter = specsB->filter;
181             }
182             delete a;
183         }
184     } else {
185         // assert(specsA != NULL);
186         if (dir == FORWARD) {
187             single = specsToID(specsA, FORWARD);
188         } else {
189             single = specsToSpecialInverse(*specsA, status);
190             if (single == NULL) {
191                 single = specsToID(specsA, REVERSE);
192             }
193         }
194         // Check for NULL pointer
195         if (single == NULL) {
196         	status = U_MEMORY_ALLOCATION_ERROR;
197         	return NULL;
198         }
199         single->filter = specsA->filter;
200     }
201 
202     delete specsA;
203     delete specsB;
204 
205     return single;
206 }
207 
208 /**
209  * Parse a filter ID, that is, an ID of the general form
210  * "[f1] s1-t1/v1", with the filters optional, and the variants optional.
211  * @param id the id to be parsed
212  * @param pos INPUT-OUTPUT parameter.  On input, the position of
213  * the first character to parse.  On output, the position after
214  * the last character parsed.
215  * @return a SingleID object or null if the parse fails
216  */
217 TransliteratorIDParser::SingleID*
parseFilterID(const UnicodeString & id,int32_t & pos)218 TransliteratorIDParser::parseFilterID(const UnicodeString& id, int32_t& pos) {
219 
220     int32_t start = pos;
221 
222     Specs* specs = parseFilterID(id, pos, TRUE);
223     if (specs == NULL) {
224         pos = start;
225         return NULL;
226     }
227 
228     // Assemble return results
229     SingleID* single = specsToID(specs, FORWARD);
230     if (single != NULL) {
231         single->filter = specs->filter;
232     }
233     delete specs;
234     return single;
235 }
236 
237 /**
238  * Parse a global filter of the form "[f]" or "([f])", depending
239  * on 'withParens'.
240  * @param id the pattern the parse
241  * @param pos INPUT-OUTPUT parameter.  On input, the position of
242  * the first character to parse.  On output, the position after
243  * the last character parsed.
244  * @param dir the direction.
245  * @param withParens INPUT-OUTPUT parameter.  On entry, if
246  * withParens is 0, then parens are disallowed.  If it is 1,
247  * then parens are requires.  If it is -1, then parens are
248  * optional, and the return result will be set to 0 or 1.
249  * @param canonID OUTPUT parameter.  The pattern for the filter
250  * added to the canonID, either at the end, if dir is FORWARD, or
251  * at the start, if dir is REVERSE.  The pattern will be enclosed
252  * in parentheses if appropriate, and will be suffixed with an
253  * ID_DELIM character.  May be NULL.
254  * @return a UnicodeSet object or NULL.  A non-NULL results
255  * indicates a successful parse, regardless of whether the filter
256  * applies to the given direction.  The caller should discard it
257  * if withParens != (dir == REVERSE).
258  */
parseGlobalFilter(const UnicodeString & id,int32_t & pos,int32_t dir,int32_t & withParens,UnicodeString * canonID)259 UnicodeSet* TransliteratorIDParser::parseGlobalFilter(const UnicodeString& id, int32_t& pos,
260                                                       int32_t dir,
261                                                       int32_t& withParens,
262                                                       UnicodeString* canonID) {
263     UnicodeSet* filter = NULL;
264     int32_t start = pos;
265 
266     if (withParens == -1) {
267         withParens = ICU_Utility::parseChar(id, pos, OPEN_REV) ? 1 : 0;
268     } else if (withParens == 1) {
269         if (!ICU_Utility::parseChar(id, pos, OPEN_REV)) {
270             pos = start;
271             return NULL;
272         }
273     }
274 
275     ICU_Utility::skipWhitespace(id, pos, TRUE);
276 
277     if (UnicodeSet::resemblesPattern(id, pos)) {
278         ParsePosition ppos(pos);
279         UErrorCode ec = U_ZERO_ERROR;
280         filter = new UnicodeSet(id, ppos, USET_IGNORE_SPACE, NULL, ec);
281         /* test for NULL */
282         if (filter == 0) {
283             pos = start;
284             return 0;
285         }
286         if (U_FAILURE(ec)) {
287             delete filter;
288             pos = start;
289             return NULL;
290         }
291 
292         UnicodeString pattern;
293         id.extractBetween(pos, ppos.getIndex(), pattern);
294         pos = ppos.getIndex();
295 
296         if (withParens == 1 && !ICU_Utility::parseChar(id, pos, CLOSE_REV)) {
297             delete filter;
298             pos = start;
299             return NULL;
300         }
301 
302         // In the forward direction, append the pattern to the
303         // canonID.  In the reverse, insert it at zero, and invert
304         // the presence of parens ("A" <-> "(A)").
305         if (canonID != NULL) {
306             if (dir == FORWARD) {
307                 if (withParens == 1) {
308                     pattern.insert(0, OPEN_REV);
309                     pattern.append(CLOSE_REV);
310                 }
311                 canonID->append(pattern).append(ID_DELIM);
312             } else {
313                 if (withParens == 0) {
314                     pattern.insert(0, OPEN_REV);
315                     pattern.append(CLOSE_REV);
316                 }
317                 canonID->insert(0, pattern);
318                 canonID->insert(pattern.length(), ID_DELIM);
319             }
320         }
321     }
322 
323     return filter;
324 }
325 
326 U_CDECL_BEGIN
_deleteSingleID(void * obj)327 static void U_CALLCONV _deleteSingleID(void* obj) {
328     delete (TransliteratorIDParser::SingleID*) obj;
329 }
330 
_deleteTransliteratorTrIDPars(void * obj)331 static void U_CALLCONV _deleteTransliteratorTrIDPars(void* obj) {
332     delete (Transliterator*) obj;
333 }
334 U_CDECL_END
335 
336 /**
337  * Parse a compound ID, consisting of an optional forward global
338  * filter, a separator, one or more single IDs delimited by
339  * separators, an an optional reverse global filter.  The
340  * separator is a semicolon.  The global filters are UnicodeSet
341  * patterns.  The reverse global filter must be enclosed in
342  * parentheses.
343  * @param id the pattern the parse
344  * @param dir the direction.
345  * @param canonID OUTPUT parameter that receives the canonical ID,
346  * consisting of canonical IDs for all elements, as returned by
347  * parseSingleID(), separated by semicolons.  Previous contents
348  * are discarded.
349  * @param list OUTPUT parameter that receives a list of SingleID
350  * objects representing the parsed IDs.  Previous contents are
351  * discarded.
352  * @param globalFilter OUTPUT parameter that receives a pointer to
353  * a newly created global filter for this ID in this direction, or
354  * NULL if there is none.
355  * @return TRUE if the parse succeeds, that is, if the entire
356  * id is consumed without syntax error.
357  */
parseCompoundID(const UnicodeString & id,int32_t dir,UnicodeString & canonID,UVector & list,UnicodeSet * & globalFilter)358 UBool TransliteratorIDParser::parseCompoundID(const UnicodeString& id, int32_t dir,
359                                               UnicodeString& canonID,
360                                               UVector& list,
361                                               UnicodeSet*& globalFilter) {
362     UErrorCode ec = U_ZERO_ERROR;
363     int32_t i;
364     int32_t pos = 0;
365     int32_t withParens = 1;
366     list.removeAllElements();
367     UnicodeSet* filter;
368     globalFilter = NULL;
369     canonID.truncate(0);
370 
371     // Parse leading global filter, if any
372     withParens = 0; // parens disallowed
373     filter = parseGlobalFilter(id, pos, dir, withParens, &canonID);
374     if (filter != NULL) {
375         if (!ICU_Utility::parseChar(id, pos, ID_DELIM)) {
376             // Not a global filter; backup and resume
377             canonID.truncate(0);
378             pos = 0;
379         }
380         if (dir == FORWARD) {
381             globalFilter = filter;
382         } else {
383             delete filter;
384         }
385         filter = NULL;
386     }
387 
388     UBool sawDelimiter = TRUE;
389     for (;;) {
390         SingleID* single = parseSingleID(id, pos, dir, ec);
391         if (single == NULL) {
392             break;
393         }
394         if (dir == FORWARD) {
395             list.addElement(single, ec);
396         } else {
397             list.insertElementAt(single, 0, ec);
398         }
399         if (U_FAILURE(ec)) {
400             goto FAIL;
401         }
402         if (!ICU_Utility::parseChar(id, pos, ID_DELIM)) {
403             sawDelimiter = FALSE;
404             break;
405         }
406     }
407 
408     if (list.size() == 0) {
409         goto FAIL;
410     }
411 
412     // Construct canonical ID
413     for (i=0; i<list.size(); ++i) {
414         SingleID* single = (SingleID*) list.elementAt(i);
415         canonID.append(single->canonID);
416         if (i != (list.size()-1)) {
417             canonID.append(ID_DELIM);
418         }
419     }
420 
421     // Parse trailing global filter, if any, and only if we saw
422     // a trailing delimiter after the IDs.
423     if (sawDelimiter) {
424         withParens = 1; // parens required
425         filter = parseGlobalFilter(id, pos, dir, withParens, &canonID);
426         if (filter != NULL) {
427             // Don't require trailing ';', but parse it if present
428             ICU_Utility::parseChar(id, pos, ID_DELIM);
429 
430             if (dir == REVERSE) {
431                 globalFilter = filter;
432             } else {
433                 delete filter;
434             }
435             filter = NULL;
436         }
437     }
438 
439     // Trailing unparsed text is a syntax error
440     ICU_Utility::skipWhitespace(id, pos, TRUE);
441     if (pos != id.length()) {
442         goto FAIL;
443     }
444 
445     return TRUE;
446 
447  FAIL:
448     UObjectDeleter *save = list.setDeleter(_deleteSingleID);
449     list.removeAllElements();
450     list.setDeleter(save);
451     delete globalFilter;
452     globalFilter = NULL;
453     return FALSE;
454 }
455 
456 /**
457  * Convert the elements of the 'list' vector, which are SingleID
458  * objects, into actual Transliterator objects.  In the course of
459  * this, some (or all) entries may be removed.  If all entries
460  * are removed, the NULL transliterator will be added.
461  *
462  * Delete entries with empty basicIDs; these are generated by
463  * elements like "(A)" in the forward direction, or "A()" in
464  * the reverse.  THIS MAY RESULT IN AN EMPTY VECTOR.  Convert
465  * SingleID entries to actual transliterators.
466  *
467  * @param list vector of SingleID objects.  On exit, vector
468  * of one or more Transliterators.
469  * @return new value of insertIndex.  The index will shift if
470  * there are empty items, like "(Lower)", with indices less than
471  * insertIndex.
472  */
instantiateList(UVector & list,UErrorCode & ec)473 void TransliteratorIDParser::instantiateList(UVector& list,
474                                                 UErrorCode& ec) {
475     UVector tlist(ec);
476     if (U_FAILURE(ec)) {
477         goto RETURN;
478     }
479     tlist.setDeleter(_deleteTransliteratorTrIDPars);
480 
481     Transliterator* t;
482     int32_t i;
483     for (i=0; i<=list.size(); ++i) { // [sic]: i<=list.size()
484         // We run the loop too long by one, so we can
485         // do an insert after the last element
486         if (i==list.size()) {
487             break;
488         }
489 
490         SingleID* single = (SingleID*) list.elementAt(i);
491         if (single->basicID.length() != 0) {
492             t = single->createInstance();
493             if (t == NULL) {
494                 ec = U_INVALID_ID;
495                 goto RETURN;
496             }
497             tlist.addElement(t, ec);
498             if (U_FAILURE(ec)) {
499                 delete t;
500                 goto RETURN;
501             }
502         }
503     }
504 
505     // An empty list is equivalent to a NULL transliterator.
506     if (tlist.size() == 0) {
507         t = createBasicInstance(UnicodeString(TRUE, ANY_NULL, 8), NULL);
508         if (t == NULL) {
509             // Should never happen
510             ec = U_INTERNAL_TRANSLITERATOR_ERROR;
511         }
512         tlist.addElement(t, ec);
513         if (U_FAILURE(ec)) {
514             delete t;
515         }
516     }
517 
518  RETURN:
519 
520     UObjectDeleter *save = list.setDeleter(_deleteSingleID);
521     list.removeAllElements();
522 
523     if (U_SUCCESS(ec)) {
524         list.setDeleter(_deleteTransliteratorTrIDPars);
525 
526         while (tlist.size() > 0) {
527             t = (Transliterator*) tlist.orphanElementAt(0);
528             list.addElement(t, ec);
529             if (U_FAILURE(ec)) {
530                 delete t;
531                 list.removeAllElements();
532                 break;
533             }
534         }
535     }
536 
537     list.setDeleter(save);
538 }
539 
540 /**
541  * Parse an ID into pieces.  Take IDs of the form T, T/V, S-T,
542  * S-T/V, or S/V-T.  If the source is missing, return a source of
543  * ANY.
544  * @param id the id string, in any of several forms
545  * @return an array of 4 strings: source, target, variant, and
546  * isSourcePresent.  If the source is not present, ANY will be
547  * given as the source, and isSourcePresent will be NULL.  Otherwise
548  * isSourcePresent will be non-NULL.  The target may be empty if the
549  * id is not well-formed.  The variant may be empty.
550  */
IDtoSTV(const UnicodeString & id,UnicodeString & source,UnicodeString & target,UnicodeString & variant,UBool & isSourcePresent)551 void TransliteratorIDParser::IDtoSTV(const UnicodeString& id,
552                                      UnicodeString& source,
553                                      UnicodeString& target,
554                                      UnicodeString& variant,
555                                      UBool& isSourcePresent) {
556     source.setTo(ANY, 3);
557     target.truncate(0);
558     variant.truncate(0);
559 
560     int32_t sep = id.indexOf(TARGET_SEP);
561     int32_t var = id.indexOf(VARIANT_SEP);
562     if (var < 0) {
563         var = id.length();
564     }
565     isSourcePresent = FALSE;
566 
567     if (sep < 0) {
568         // Form: T/V or T (or /V)
569         id.extractBetween(0, var, target);
570         id.extractBetween(var, id.length(), variant);
571     } else if (sep < var) {
572         // Form: S-T/V or S-T (or -T/V or -T)
573         if (sep > 0) {
574             id.extractBetween(0, sep, source);
575             isSourcePresent = TRUE;
576         }
577         id.extractBetween(++sep, var, target);
578         id.extractBetween(var, id.length(), variant);
579     } else {
580         // Form: (S/V-T or /V-T)
581         if (var > 0) {
582             id.extractBetween(0, var, source);
583             isSourcePresent = TRUE;
584         }
585         id.extractBetween(var, sep++, variant);
586         id.extractBetween(sep, id.length(), target);
587     }
588 
589     if (variant.length() > 0) {
590         variant.remove(0, 1);
591     }
592 }
593 
594 /**
595  * Given source, target, and variant strings, concatenate them into a
596  * full ID.  If the source is empty, then "Any" will be used for the
597  * source, so the ID will always be of the form s-t/v or s-t.
598  */
STVtoID(const UnicodeString & source,const UnicodeString & target,const UnicodeString & variant,UnicodeString & id)599 void TransliteratorIDParser::STVtoID(const UnicodeString& source,
600                                      const UnicodeString& target,
601                                      const UnicodeString& variant,
602                                      UnicodeString& id) {
603     id = source;
604     if (id.length() == 0) {
605         id.setTo(ANY, 3);
606     }
607     id.append(TARGET_SEP).append(target);
608     if (variant.length() != 0) {
609         id.append(VARIANT_SEP).append(variant);
610     }
611     // NUL-terminate the ID string for getTerminatedBuffer.
612     // This prevents valgrind and Purify warnings.
613     id.append((UChar)0);
614     id.truncate(id.length()-1);
615 }
616 
617 /**
618  * Register two targets as being inverses of one another.  For
619  * example, calling registerSpecialInverse("NFC", "NFD", TRUE) causes
620  * Transliterator to form the following inverse relationships:
621  *
622  * <pre>NFC => NFD
623  * Any-NFC => Any-NFD
624  * NFD => NFC
625  * Any-NFD => Any-NFC</pre>
626  *
627  * (Without the special inverse registration, the inverse of NFC
628  * would be NFC-Any.)  Note that NFD is shorthand for Any-NFD, but
629  * that the presence or absence of "Any-" is preserved.
630  *
631  * <p>The relationship is symmetrical; registering (a, b) is
632  * equivalent to registering (b, a).
633  *
634  * <p>The relevant IDs must still be registered separately as
635  * factories or classes.
636  *
637  * <p>Only the targets are specified.  Special inverses always
638  * have the form Any-Target1 <=> Any-Target2.  The target should
639  * have canonical casing (the casing desired to be produced when
640  * an inverse is formed) and should contain no whitespace or other
641  * extraneous characters.
642  *
643  * @param target the target against which to register the inverse
644  * @param inverseTarget the inverse of target, that is
645  * Any-target.getInverse() => Any-inverseTarget
646  * @param bidirectional if TRUE, register the reverse relation
647  * as well, that is, Any-inverseTarget.getInverse() => Any-target
648  */
registerSpecialInverse(const UnicodeString & target,const UnicodeString & inverseTarget,UBool bidirectional,UErrorCode & status)649 void TransliteratorIDParser::registerSpecialInverse(const UnicodeString& target,
650                                                     const UnicodeString& inverseTarget,
651                                                     UBool bidirectional,
652                                                     UErrorCode &status) {
653     umtx_initOnce(gSpecialInversesInitOnce, init, status);
654     if (U_FAILURE(status)) {
655         return;
656     }
657 
658     // If target == inverseTarget then force bidirectional => FALSE
659     if (bidirectional && 0==target.caseCompare(inverseTarget, U_FOLD_CASE_DEFAULT)) {
660         bidirectional = FALSE;
661     }
662 
663     Mutex lock(&LOCK);
664 
665     UnicodeString *tempus = new UnicodeString(inverseTarget);  // Used for null pointer check before usage.
666     if (tempus == NULL) {
667     	status = U_MEMORY_ALLOCATION_ERROR;
668     	return;
669     }
670     SPECIAL_INVERSES->put(target, tempus, status);
671     if (bidirectional) {
672     	tempus = new UnicodeString(target);
673     	if (tempus == NULL) {
674     		status = U_MEMORY_ALLOCATION_ERROR;
675     		return;
676     	}
677         SPECIAL_INVERSES->put(inverseTarget, tempus, status);
678     }
679 }
680 
681 //----------------------------------------------------------------
682 // Private implementation
683 //----------------------------------------------------------------
684 
685 /**
686  * Parse an ID into component pieces.  Take IDs of the form T,
687  * T/V, S-T, S-T/V, or S/V-T.  If the source is missing, return a
688  * source of ANY.
689  * @param id the id string, in any of several forms
690  * @param pos INPUT-OUTPUT parameter.  On input, pos is the
691  * offset of the first character to parse in id.  On output,
692  * pos is the offset after the last parsed character.  If the
693  * parse failed, pos will be unchanged.
694  * @param allowFilter2 if TRUE, a UnicodeSet pattern is allowed
695  * at any location between specs or delimiters, and is returned
696  * as the fifth string in the array.
697  * @return a Specs object, or NULL if the parse failed.  If
698  * neither source nor target was seen in the parsed id, then the
699  * parse fails.  If allowFilter is TRUE, then the parsed filter
700  * pattern is returned in the Specs object, otherwise the returned
701  * filter reference is NULL.  If the parse fails for any reason
702  * NULL is returned.
703  */
704 TransliteratorIDParser::Specs*
parseFilterID(const UnicodeString & id,int32_t & pos,UBool allowFilter)705 TransliteratorIDParser::parseFilterID(const UnicodeString& id, int32_t& pos,
706                                       UBool allowFilter) {
707     UnicodeString first;
708     UnicodeString source;
709     UnicodeString target;
710     UnicodeString variant;
711     UnicodeString filter;
712     UChar delimiter = 0;
713     int32_t specCount = 0;
714     int32_t start = pos;
715 
716     // This loop parses one of the following things with each
717     // pass: a filter, a delimiter character (either '-' or '/'),
718     // or a spec (source, target, or variant).
719     for (;;) {
720         ICU_Utility::skipWhitespace(id, pos, TRUE);
721         if (pos == id.length()) {
722             break;
723         }
724 
725         // Parse filters
726         if (allowFilter && filter.length() == 0 &&
727             UnicodeSet::resemblesPattern(id, pos)) {
728 
729             ParsePosition ppos(pos);
730             UErrorCode ec = U_ZERO_ERROR;
731             UnicodeSet set(id, ppos, USET_IGNORE_SPACE, NULL, ec);
732             if (U_FAILURE(ec)) {
733                 pos = start;
734                 return NULL;
735             }
736             id.extractBetween(pos, ppos.getIndex(), filter);
737             pos = ppos.getIndex();
738             continue;
739         }
740 
741         if (delimiter == 0) {
742             UChar c = id.charAt(pos);
743             if ((c == TARGET_SEP && target.length() == 0) ||
744                 (c == VARIANT_SEP && variant.length() == 0)) {
745                 delimiter = c;
746                 ++pos;
747                 continue;
748             }
749         }
750 
751         // We are about to try to parse a spec with no delimiter
752         // when we can no longer do so (we can only do so at the
753         // start); break.
754         if (delimiter == 0 && specCount > 0) {
755             break;
756         }
757 
758         UnicodeString spec = ICU_Utility::parseUnicodeIdentifier(id, pos);
759         if (spec.length() == 0) {
760             // Note that if there was a trailing delimiter, we
761             // consume it.  So Foo-, Foo/, Foo-Bar/, and Foo/Bar-
762             // are legal.
763             break;
764         }
765 
766         switch (delimiter) {
767         case 0:
768             first = spec;
769             break;
770         case TARGET_SEP:
771             target = spec;
772             break;
773         case VARIANT_SEP:
774             variant = spec;
775             break;
776         }
777         ++specCount;
778         delimiter = 0;
779     }
780 
781     // A spec with no prior character is either source or target,
782     // depending on whether an explicit "-target" was seen.
783     if (first.length() != 0) {
784         if (target.length() == 0) {
785             target = first;
786         } else {
787             source = first;
788         }
789     }
790 
791     // Must have either source or target
792     if (source.length() == 0 && target.length() == 0) {
793         pos = start;
794         return NULL;
795     }
796 
797     // Empty source or target defaults to ANY
798     UBool sawSource = TRUE;
799     if (source.length() == 0) {
800         source.setTo(ANY, 3);
801         sawSource = FALSE;
802     }
803     if (target.length() == 0) {
804         target.setTo(ANY, 3);
805     }
806 
807     return new Specs(source, target, variant, sawSource, filter);
808 }
809 
810 /**
811  * Givens a Spec object, convert it to a SingleID object.  The
812  * Spec object is a more unprocessed parse result.  The SingleID
813  * object contains information about canonical and basic IDs.
814  * @return a SingleID; never returns NULL.  Returned object always
815  * has 'filter' field of NULL.
816  */
817 TransliteratorIDParser::SingleID*
specsToID(const Specs * specs,int32_t dir)818 TransliteratorIDParser::specsToID(const Specs* specs, int32_t dir) {
819     UnicodeString canonID;
820     UnicodeString basicID;
821     UnicodeString basicPrefix;
822     if (specs != NULL) {
823         UnicodeString buf;
824         if (dir == FORWARD) {
825             if (specs->sawSource) {
826                 buf.append(specs->source).append(TARGET_SEP);
827             } else {
828                 basicPrefix = specs->source;
829                 basicPrefix.append(TARGET_SEP);
830             }
831             buf.append(specs->target);
832         } else {
833             buf.append(specs->target).append(TARGET_SEP).append(specs->source);
834         }
835         if (specs->variant.length() != 0) {
836             buf.append(VARIANT_SEP).append(specs->variant);
837         }
838         basicID = basicPrefix;
839         basicID.append(buf);
840         if (specs->filter.length() != 0) {
841             buf.insert(0, specs->filter);
842         }
843         canonID = buf;
844     }
845     return new SingleID(canonID, basicID);
846 }
847 
848 /**
849  * Given a Specs object, return a SingleID representing the
850  * special inverse of that ID.  If there is no special inverse
851  * then return NULL.
852  * @return a SingleID or NULL.  Returned object always has
853  * 'filter' field of NULL.
854  */
855 TransliteratorIDParser::SingleID*
specsToSpecialInverse(const Specs & specs,UErrorCode & status)856 TransliteratorIDParser::specsToSpecialInverse(const Specs& specs, UErrorCode &status) {
857     if (0!=specs.source.caseCompare(ANY, 3, U_FOLD_CASE_DEFAULT)) {
858         return NULL;
859     }
860     umtx_initOnce(gSpecialInversesInitOnce, init, status);
861     if (U_FAILURE(status)) {
862         return NULL;
863     }
864 
865     UnicodeString* inverseTarget;
866 
867     umtx_lock(&LOCK);
868     inverseTarget = (UnicodeString*) SPECIAL_INVERSES->get(specs.target);
869     umtx_unlock(&LOCK);
870 
871     if (inverseTarget != NULL) {
872         // If the original ID contained "Any-" then make the
873         // special inverse "Any-Foo"; otherwise make it "Foo".
874         // So "Any-NFC" => "Any-NFD" but "NFC" => "NFD".
875         UnicodeString buf;
876         if (specs.filter.length() != 0) {
877             buf.append(specs.filter);
878         }
879         if (specs.sawSource) {
880             buf.append(ANY, 3).append(TARGET_SEP);
881         }
882         buf.append(*inverseTarget);
883 
884         UnicodeString basicID(TRUE, ANY, 3);
885         basicID.append(TARGET_SEP).append(*inverseTarget);
886 
887         if (specs.variant.length() != 0) {
888             buf.append(VARIANT_SEP).append(specs.variant);
889             basicID.append(VARIANT_SEP).append(specs.variant);
890         }
891         return new SingleID(buf, basicID);
892     }
893     return NULL;
894 }
895 
896 /**
897  * Glue method to get around access problems in C++.  This would
898  * ideally be inline but we want to avoid a circular header
899  * dependency.
900  */
createBasicInstance(const UnicodeString & id,const UnicodeString * canonID)901 Transliterator* TransliteratorIDParser::createBasicInstance(const UnicodeString& id, const UnicodeString* canonID) {
902     return Transliterator::createBasicInstance(id, canonID);
903 }
904 
905 /**
906  * Initialize static memory. Called through umtx_initOnce only.
907  */
init(UErrorCode & status)908 void U_CALLCONV TransliteratorIDParser::init(UErrorCode &status) {
909     U_ASSERT(SPECIAL_INVERSES == NULL);
910     ucln_i18n_registerCleanup(UCLN_I18N_TRANSLITERATOR, utrans_transliterator_cleanup);
911 
912     SPECIAL_INVERSES = new Hashtable(TRUE, status);
913     if (SPECIAL_INVERSES == NULL) {
914     	status = U_MEMORY_ALLOCATION_ERROR;
915     	return;
916     }
917     SPECIAL_INVERSES->setValueDeleter(uprv_deleteUObject);
918 }
919 
920 /**
921  * Free static memory.
922  */
cleanup()923 void TransliteratorIDParser::cleanup() {
924     if (SPECIAL_INVERSES) {
925         delete SPECIAL_INVERSES;
926         SPECIAL_INVERSES = NULL;
927     }
928     gSpecialInversesInitOnce.reset();
929 }
930 
931 U_NAMESPACE_END
932 
933 #endif /* #if !UCONFIG_NO_TRANSLITERATION */
934 
935 //eof
936