blob: 6835c03a698b96ae730e22d9323226c23fe3eb58 [file] [log] [blame]
Jungshik Shin87232d82017-05-13 21:10:13 -07001// © 2016 and later: Unicode, Inc. and others.
Jungshik Shin5feb9ad2016-10-21 12:52:48 -07002// License & terms of use: http://www.unicode.org/copyright.html
jshin@chromium.org6f31ac32014-03-26 22:15:14 +00003/*
4 **********************************************************************
5 * Copyright (C) 1999-2011, International Business Machines
6 * Corporation and others. All Rights Reserved.
7 **********************************************************************
8 * Date Name Description
9 * 11/17/99 aliu Creation.
10 **********************************************************************
11 */
12
13#include "unicode/utypes.h"
14
15#if !UCONFIG_NO_TRANSLITERATION
16
17#include "unicode/unistr.h"
18#include "unicode/uniset.h"
19#include "unicode/utf16.h"
20#include "rbt_set.h"
21#include "rbt_rule.h"
22#include "cmemory.h"
23#include "putilimp.h"
24
25U_CDECL_BEGIN
26static void U_CALLCONV _deleteRule(void *rule) {
27 delete (icu::TransliterationRule *)rule;
28}
29U_CDECL_END
30
31//----------------------------------------------------------------------
32// BEGIN Debugging support
33//----------------------------------------------------------------------
34
35// #define DEBUG_RBT
36
37#ifdef DEBUG_RBT
38#include <stdio.h>
39#include "charstr.h"
40
41/**
42 * @param appendTo result is appended to this param.
43 * @param input the string being transliterated
44 * @param pos the index struct
45 */
46static UnicodeString& _formatInput(UnicodeString &appendTo,
47 const UnicodeString& input,
48 const UTransPosition& pos) {
49 // Output a string of the form aaa{bbb|ccc|ddd}eee, where
50 // the {} indicate the context start and limit, and the ||
51 // indicate the start and limit.
52 if (0 <= pos.contextStart &&
53 pos.contextStart <= pos.start &&
54 pos.start <= pos.limit &&
55 pos.limit <= pos.contextLimit &&
56 pos.contextLimit <= input.length()) {
57
58 UnicodeString a, b, c, d, e;
59 input.extractBetween(0, pos.contextStart, a);
60 input.extractBetween(pos.contextStart, pos.start, b);
61 input.extractBetween(pos.start, pos.limit, c);
62 input.extractBetween(pos.limit, pos.contextLimit, d);
63 input.extractBetween(pos.contextLimit, input.length(), e);
64 appendTo.append(a).append((UChar)123/*{*/).append(b).
65 append((UChar)124/*|*/).append(c).append((UChar)124/*|*/).append(d).
66 append((UChar)125/*}*/).append(e);
67 } else {
68 appendTo.append("INVALID UTransPosition");
69 //appendTo.append((UnicodeString)"INVALID UTransPosition {cs=" +
70 // pos.contextStart + ", s=" + pos.start + ", l=" +
71 // pos.limit + ", cl=" + pos.contextLimit + "} on " +
72 // input);
73 }
74 return appendTo;
75}
76
77// Append a hex string to the target
78UnicodeString& _appendHex(uint32_t number,
79 int32_t digits,
80 UnicodeString& target) {
81 static const UChar digitString[] = {
82 0x30, 0x31, 0x32, 0x33, 0x34, 0x35, 0x36, 0x37, 0x38, 0x39,
83 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0
84 };
85 while (digits--) {
86 target += digitString[(number >> (digits*4)) & 0xF];
87 }
88 return target;
89}
90
91// Replace nonprintable characters with unicode escapes
92UnicodeString& _escape(const UnicodeString &source,
93 UnicodeString &target) {
94 for (int32_t i = 0; i < source.length(); ) {
95 UChar32 ch = source.char32At(i);
96 i += U16_LENGTH(ch);
97 if (ch < 0x09 || (ch > 0x0A && ch < 0x20)|| ch > 0x7E) {
98 if (ch <= 0xFFFF) {
99 target += "\\u";
100 _appendHex(ch, 4, target);
101 } else {
102 target += "\\U";
103 _appendHex(ch, 8, target);
104 }
105 } else {
106 target += ch;
107 }
108 }
109 return target;
110}
111
112inline void _debugOut(const char* msg, TransliterationRule* rule,
113 const Replaceable& theText, UTransPosition& pos) {
114 UnicodeString buf(msg, "");
115 if (rule) {
116 UnicodeString r;
117 rule->toRule(r, TRUE);
118 buf.append((UChar)32).append(r);
119 }
120 buf.append(UnicodeString(" => ", ""));
121 UnicodeString* text = (UnicodeString*)&theText;
122 _formatInput(buf, *text, pos);
123 UnicodeString esc;
124 _escape(buf, esc);
125 CharString cbuf(esc);
126 printf("%s\n", (const char*) cbuf);
127}
128
129#else
130#define _debugOut(msg, rule, theText, pos)
131#endif
132
133//----------------------------------------------------------------------
134// END Debugging support
135//----------------------------------------------------------------------
136
137// Fill the precontext and postcontext with the patterns of the rules
138// that are masking one another.
139static void maskingError(const icu::TransliterationRule& rule1,
140 const icu::TransliterationRule& rule2,
141 UParseError& parseError) {
142 icu::UnicodeString r;
143 int32_t len;
144
145 parseError.line = parseError.offset = -1;
146
147 // for pre-context
148 rule1.toRule(r, FALSE);
149 len = uprv_min(r.length(), U_PARSE_CONTEXT_LEN-1);
150 r.extract(0, len, parseError.preContext);
151 parseError.preContext[len] = 0;
152
153 //for post-context
154 r.truncate(0);
155 rule2.toRule(r, FALSE);
156 len = uprv_min(r.length(), U_PARSE_CONTEXT_LEN-1);
157 r.extract(0, len, parseError.postContext);
158 parseError.postContext[len] = 0;
159}
160
161U_NAMESPACE_BEGIN
162
163/**
164 * Construct a new empty rule set.
165 */
Frank Tangd2858cb2022-04-08 20:34:12 -0700166TransliterationRuleSet::TransliterationRuleSet(UErrorCode& status) :
167 UMemory(), ruleVector(nullptr), rules(nullptr), index {}, maxContextLength(0) {
168 LocalPointer<UVector> lpRuleVector(new UVector(_deleteRule, nullptr, status), status);
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000169 if (U_FAILURE(status)) {
170 return;
171 }
Frank Tangd2858cb2022-04-08 20:34:12 -0700172 ruleVector = lpRuleVector.orphan();
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000173}
174
175/**
176 * Copy constructor.
177 */
178TransliterationRuleSet::TransliterationRuleSet(const TransliterationRuleSet& other) :
179 UMemory(other),
Frank Tangd2858cb2022-04-08 20:34:12 -0700180 ruleVector(nullptr),
181 rules(nullptr),
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000182 maxContextLength(other.maxContextLength) {
183
184 int32_t i, len;
185 uprv_memcpy(index, other.index, sizeof(index));
186 UErrorCode status = U_ZERO_ERROR;
Frank Tangd2858cb2022-04-08 20:34:12 -0700187 LocalPointer<UVector> lpRuleVector(new UVector(_deleteRule, nullptr, status), status);
188 if (U_FAILURE(status)) {
189 return;
190 }
191 ruleVector = lpRuleVector.orphan();
192 if (other.ruleVector != nullptr && U_SUCCESS(status)) {
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000193 len = other.ruleVector->size();
194 for (i=0; i<len && U_SUCCESS(status); ++i) {
Frank Tangd2858cb2022-04-08 20:34:12 -0700195 LocalPointer<TransliterationRule> tempTranslitRule(
196 new TransliterationRule(*(TransliterationRule*)other.ruleVector->elementAt(i)), status);
197 ruleVector->adoptElement(tempTranslitRule.orphan(), status);
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000198 }
199 }
200 if (other.rules != 0 && U_SUCCESS(status)) {
201 UParseError p;
202 freeze(p, status);
203 }
204}
205
206/**
207 * Destructor.
208 */
209TransliterationRuleSet::~TransliterationRuleSet() {
210 delete ruleVector; // This deletes the contained rules
211 uprv_free(rules);
212}
213
214void TransliterationRuleSet::setData(const TransliterationRuleData* d) {
215 /**
216 * We assume that the ruleset has already been frozen.
217 */
218 int32_t len = index[256]; // see freeze()
219 for (int32_t i=0; i<len; ++i) {
220 rules[i]->setData(d);
221 }
222}
223
224/**
225 * Return the maximum context length.
226 * @return the length of the longest preceding context.
227 */
228int32_t TransliterationRuleSet::getMaximumContextLength(void) const {
229 return maxContextLength;
230}
231
232/**
233 * Add a rule to this set. Rules are added in order, and order is
234 * significant. The last call to this method must be followed by
235 * a call to <code>freeze()</code> before the rule set is used.
236 *
237 * <p>If freeze() has already been called, calling addRule()
238 * unfreezes the rules, and freeze() must be called again.
239 *
240 * @param adoptedRule the rule to add
241 */
242void TransliterationRuleSet::addRule(TransliterationRule* adoptedRule,
243 UErrorCode& status) {
Frank Tangd2858cb2022-04-08 20:34:12 -0700244 LocalPointer<TransliterationRule> lpAdoptedRule(adoptedRule);
245 ruleVector->adoptElement(lpAdoptedRule.orphan(), status);
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000246 if (U_FAILURE(status)) {
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000247 return;
248 }
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000249
250 int32_t len;
251 if ((len = adoptedRule->getContextLength()) > maxContextLength) {
252 maxContextLength = len;
253 }
254
255 uprv_free(rules);
256 rules = 0;
257}
258
259/**
260 * Check this for masked rules and index it to optimize performance.
261 * The sequence of operations is: (1) add rules to a set using
262 * <code>addRule()</code>; (2) freeze the set using
263 * <code>freeze()</code>; (3) use the rule set. If
264 * <code>addRule()</code> is called after calling this method, it
265 * invalidates this object, and this method must be called again.
266 * That is, <code>freeze()</code> may be called multiple times,
267 * although for optimal performance it shouldn't be.
268 */
269void TransliterationRuleSet::freeze(UParseError& parseError,UErrorCode& status) {
270 /* Construct the rule array and index table. We reorder the
271 * rules by sorting them into 256 bins. Each bin contains all
272 * rules matching the index value for that bin. A rule
273 * matches an index value if string whose first key character
274 * has a low byte equal to the index value can match the rule.
275 *
276 * Each bin contains zero or more rules, in the same order
277 * they were found originally. However, the total rules in
278 * the bins may exceed the number in the original vector,
279 * since rules that have a variable as their first key
280 * character will generally fall into more than one bin.
281 *
282 * That is, each bin contains all rules that either have that
283 * first index value as their first key character, or have
284 * a set containing the index value as their first character.
285 */
286 int32_t n = ruleVector->size();
287 int32_t j;
288 int16_t x;
289 UVector v(2*n, status); // heuristic; adjust as needed
290
291 if (U_FAILURE(status)) {
292 return;
293 }
294
295 /* Precompute the index values. This saves a LOT of time.
296 * Be careful not to call malloc(0).
297 */
298 int16_t* indexValue = (int16_t*) uprv_malloc( sizeof(int16_t) * (n > 0 ? n : 1) );
299 /* test for NULL */
300 if (indexValue == 0) {
301 status = U_MEMORY_ALLOCATION_ERROR;
302 return;
303 }
304 for (j=0; j<n; ++j) {
305 TransliterationRule* r = (TransliterationRule*) ruleVector->elementAt(j);
306 indexValue[j] = r->getIndexValue();
307 }
308 for (x=0; x<256; ++x) {
309 index[x] = v.size();
310 for (j=0; j<n; ++j) {
311 if (indexValue[j] >= 0) {
312 if (indexValue[j] == x) {
Frank Tangd2858cb2022-04-08 20:34:12 -0700313 v.addElement(ruleVector->elementAt(j), status);
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000314 }
315 } else {
316 // If the indexValue is < 0, then the first key character is
317 // a set, and we must use the more time-consuming
318 // matchesIndexValue check. In practice this happens
Frank Tang3e05d9d2021-11-08 14:04:04 -0800319 // rarely, so we seldom treat this code path.
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000320 TransliterationRule* r = (TransliterationRule*) ruleVector->elementAt(j);
321 if (r->matchesIndexValue((uint8_t)x)) {
Frank Tangd2858cb2022-04-08 20:34:12 -0700322 v.addElement(r, status);
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000323 }
324 }
325 }
326 }
327 uprv_free(indexValue);
328 index[256] = v.size();
Frank Tangd2858cb2022-04-08 20:34:12 -0700329 if (U_FAILURE(status)) {
330 return;
331 }
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000332
333 /* Freeze things into an array.
334 */
335 uprv_free(rules); // Contains alias pointers
336
337 /* You can't do malloc(0)! */
338 if (v.size() == 0) {
339 rules = NULL;
340 return;
341 }
342 rules = (TransliterationRule **)uprv_malloc(v.size() * sizeof(TransliterationRule *));
343 /* test for NULL */
344 if (rules == 0) {
345 status = U_MEMORY_ALLOCATION_ERROR;
346 return;
347 }
348 for (j=0; j<v.size(); ++j) {
349 rules[j] = (TransliterationRule*) v.elementAt(j);
350 }
351
352 // TODO Add error reporting that indicates the rules that
353 // are being masked.
354 //UnicodeString errors;
355
356 /* Check for masking. This is MUCH faster than our old check,
357 * which was each rule against each following rule, since we
358 * only have to check for masking within each bin now. It's
359 * 256*O(n2^2) instead of O(n1^2), where n1 is the total rule
360 * count, and n2 is the per-bin rule count. But n2<<n1, so
361 * it's a big win.
362 */
363 for (x=0; x<256; ++x) {
364 for (j=index[x]; j<index[x+1]-1; ++j) {
365 TransliterationRule* r1 = rules[j];
366 for (int32_t k=j+1; k<index[x+1]; ++k) {
367 TransliterationRule* r2 = rules[k];
368 if (r1->masks(*r2)) {
369//| if (errors == null) {
370//| errors = new StringBuffer();
371//| } else {
372//| errors.append("\n");
373//| }
374//| errors.append("Rule " + r1 + " masks " + r2);
375 status = U_RULE_MASK_ERROR;
376 maskingError(*r1, *r2, parseError);
377 return;
378 }
379 }
380 }
381 }
382
383 //if (errors != null) {
384 // throw new IllegalArgumentException(errors.toString());
385 //}
386}
387
388/**
389 * Transliterate the given text with the given UTransPosition
390 * indices. Return TRUE if the transliteration should continue
391 * or FALSE if it should halt (because of a U_PARTIAL_MATCH match).
392 * Note that FALSE is only ever returned if isIncremental is TRUE.
393 * @param text the text to be transliterated
394 * @param pos the position indices, which will be updated
395 * @param incremental if TRUE, assume new text may be inserted
Frank Tang3e05d9d2021-11-08 14:04:04 -0800396 * at index.limit, and return FALSE if there is a partial match.
jshin@chromium.org6f31ac32014-03-26 22:15:14 +0000397 * @return TRUE unless a U_PARTIAL_MATCH has been obtained,
398 * indicating that transliteration should stop until more text
399 * arrives.
400 */
401UBool TransliterationRuleSet::transliterate(Replaceable& text,
402 UTransPosition& pos,
403 UBool incremental) {
404 int16_t indexByte = (int16_t) (text.char32At(pos.start) & 0xFF);
405 for (int32_t i=index[indexByte]; i<index[indexByte+1]; ++i) {
406 UMatchDegree m = rules[i]->matchAndReplace(text, pos, incremental);
407 switch (m) {
408 case U_MATCH:
409 _debugOut("match", rules[i], text, pos);
410 return TRUE;
411 case U_PARTIAL_MATCH:
412 _debugOut("partial match", rules[i], text, pos);
413 return FALSE;
414 default: /* Ram: added default to make GCC happy */
415 break;
416 }
417 }
418 // No match or partial match from any rule
419 pos.start += U16_LENGTH(text.char32At(pos.start));
420 _debugOut("no match", NULL, text, pos);
421 return TRUE;
422}
423
424/**
425 * Create rule strings that represents this rule set.
426 */
427UnicodeString& TransliterationRuleSet::toRules(UnicodeString& ruleSource,
428 UBool escapeUnprintable) const {
429 int32_t i;
430 int32_t count = ruleVector->size();
431 ruleSource.truncate(0);
432 for (i=0; i<count; ++i) {
433 if (i != 0) {
434 ruleSource.append((UChar) 0x000A /*\n*/);
435 }
436 TransliterationRule *r =
437 (TransliterationRule*) ruleVector->elementAt(i);
438 r->toRule(ruleSource, escapeUnprintable);
439 }
440 return ruleSource;
441}
442
443/**
444 * Return the set of all characters that may be modified
445 * (getTarget=false) or emitted (getTarget=true) by this set.
446 */
447UnicodeSet& TransliterationRuleSet::getSourceTargetSet(UnicodeSet& result,
448 UBool getTarget) const
449{
450 result.clear();
451 int32_t count = ruleVector->size();
452 for (int32_t i=0; i<count; ++i) {
453 TransliterationRule* r =
454 (TransliterationRule*) ruleVector->elementAt(i);
455 if (getTarget) {
456 r->addTargetSetTo(result);
457 } else {
458 r->addSourceSetTo(result);
459 }
460 }
461 return result;
462}
463
464U_NAMESPACE_END
465
466#endif /* #if !UCONFIG_NO_TRANSLITERATION */