1 // © 2016 and later: Unicode, Inc. and others.
2 // License & terms of use: http://www.unicode.org/copyright.html
3 /*
4 *******************************************************************************
5 * Copyright (C) 2013-2015, International Business Machines
6 * Corporation and others. All Rights Reserved.
7 *******************************************************************************
8 * collationdatareader.cpp
9 *
10 * created on: 2013feb07
11 * created by: Markus W. Scherer
12 */
13
14 #include "unicode/utypes.h"
15
16 #if !UCONFIG_NO_COLLATION
17
18 #include "unicode/ucol.h"
19 #include "unicode/udata.h"
20 #include "unicode/uscript.h"
21 #include "cmemory.h"
22 #include "collation.h"
23 #include "collationdata.h"
24 #include "collationdatareader.h"
25 #include "collationfastlatin.h"
26 #include "collationkeys.h"
27 #include "collationrootelements.h"
28 #include "collationsettings.h"
29 #include "collationtailoring.h"
30 #include "collunsafe.h"
31 #include "normalizer2impl.h"
32 #include "uassert.h"
33 #include "ucmndata.h"
34 #include "utrie2.h"
35
36 U_NAMESPACE_BEGIN
37
38 namespace {
39
getIndex(const int32_t * indexes,int32_t length,int32_t i)40 int32_t getIndex(const int32_t *indexes, int32_t length, int32_t i) {
41 return (i < length) ? indexes[i] : -1;
42 }
43
44 } // namespace
45
46 void
read(const CollationTailoring * base,const uint8_t * inBytes,int32_t inLength,CollationTailoring & tailoring,UErrorCode & errorCode)47 CollationDataReader::read(const CollationTailoring *base, const uint8_t *inBytes, int32_t inLength,
48 CollationTailoring &tailoring, UErrorCode &errorCode) {
49 if(U_FAILURE(errorCode)) { return; }
50 if(base != NULL) {
51 if(inBytes == NULL || (0 <= inLength && inLength < 24)) {
52 errorCode = U_ILLEGAL_ARGUMENT_ERROR;
53 return;
54 }
55 const DataHeader *header = reinterpret_cast<const DataHeader *>(inBytes);
56 if(!(header->dataHeader.magic1 == 0xda && header->dataHeader.magic2 == 0x27 &&
57 isAcceptable(tailoring.version, NULL, NULL, &header->info))) {
58 errorCode = U_INVALID_FORMAT_ERROR;
59 return;
60 }
61 if(base->getUCAVersion() != tailoring.getUCAVersion()) {
62 errorCode = U_COLLATOR_VERSION_MISMATCH;
63 return;
64 }
65 int32_t headerLength = header->dataHeader.headerSize;
66 inBytes += headerLength;
67 if(inLength >= 0) {
68 inLength -= headerLength;
69 }
70 }
71
72 if(inBytes == NULL || (0 <= inLength && inLength < 8)) {
73 errorCode = U_ILLEGAL_ARGUMENT_ERROR;
74 return;
75 }
76 const int32_t *inIndexes = reinterpret_cast<const int32_t *>(inBytes);
77 int32_t indexesLength = inIndexes[IX_INDEXES_LENGTH];
78 if(indexesLength < 2 || (0 <= inLength && inLength < indexesLength * 4)) {
79 errorCode = U_INVALID_FORMAT_ERROR; // Not enough indexes.
80 return;
81 }
82
83 // Assume that the tailoring data is in initial state,
84 // with NULL pointers and 0 lengths.
85
86 // Set pointers to non-empty data parts.
87 // Do this in order of their byte offsets. (Should help porting to Java.)
88
89 int32_t index; // one of the indexes[] slots
90 int32_t offset; // byte offset for the index part
91 int32_t length; // number of bytes in the index part
92
93 if(indexesLength > IX_TOTAL_SIZE) {
94 length = inIndexes[IX_TOTAL_SIZE];
95 } else if(indexesLength > IX_REORDER_CODES_OFFSET) {
96 length = inIndexes[indexesLength - 1];
97 } else {
98 length = 0; // only indexes, and inLength was already checked for them
99 }
100 if(0 <= inLength && inLength < length) {
101 errorCode = U_INVALID_FORMAT_ERROR;
102 return;
103 }
104
105 const CollationData *baseData = base == NULL ? NULL : base->data;
106 const int32_t *reorderCodes = NULL;
107 int32_t reorderCodesLength = 0;
108 const uint32_t *reorderRanges = NULL;
109 int32_t reorderRangesLength = 0;
110 index = IX_REORDER_CODES_OFFSET;
111 offset = getIndex(inIndexes, indexesLength, index);
112 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
113 if(length >= 4) {
114 if(baseData == NULL) {
115 // We assume for collation settings that
116 // the base data does not have a reordering.
117 errorCode = U_INVALID_FORMAT_ERROR;
118 return;
119 }
120 reorderCodes = reinterpret_cast<const int32_t *>(inBytes + offset);
121 reorderCodesLength = length / 4;
122
123 // The reorderRanges (if any) are the trailing reorderCodes entries.
124 // Split the array at the boundary.
125 // Script or reorder codes do not exceed 16-bit values.
126 // Range limits are stored in the upper 16 bits, and are never 0.
127 while(reorderRangesLength < reorderCodesLength &&
128 (reorderCodes[reorderCodesLength - reorderRangesLength - 1] & 0xffff0000) != 0) {
129 ++reorderRangesLength;
130 }
131 U_ASSERT(reorderRangesLength < reorderCodesLength);
132 if(reorderRangesLength != 0) {
133 reorderCodesLength -= reorderRangesLength;
134 reorderRanges = reinterpret_cast<const uint32_t *>(reorderCodes + reorderCodesLength);
135 }
136 }
137
138 // There should be a reorder table only if there are reorder codes.
139 // However, when there are reorder codes the reorder table may be omitted to reduce
140 // the data size.
141 const uint8_t *reorderTable = NULL;
142 index = IX_REORDER_TABLE_OFFSET;
143 offset = getIndex(inIndexes, indexesLength, index);
144 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
145 if(length >= 256) {
146 if(reorderCodesLength == 0) {
147 errorCode = U_INVALID_FORMAT_ERROR; // Reordering table without reordering codes.
148 return;
149 }
150 reorderTable = inBytes + offset;
151 } else {
152 // If we have reorder codes, then build the reorderTable at the end,
153 // when the CollationData is otherwise complete.
154 }
155
156 if(baseData != NULL && baseData->numericPrimary != (inIndexes[IX_OPTIONS] & 0xff000000)) {
157 errorCode = U_INVALID_FORMAT_ERROR;
158 return;
159 }
160 CollationData *data = NULL; // Remains NULL if there are no mappings.
161
162 index = IX_TRIE_OFFSET;
163 offset = getIndex(inIndexes, indexesLength, index);
164 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
165 if(length >= 8) {
166 if(!tailoring.ensureOwnedData(errorCode)) { return; }
167 data = tailoring.ownedData;
168 data->base = baseData;
169 data->numericPrimary = inIndexes[IX_OPTIONS] & 0xff000000;
170 data->trie = tailoring.trie = utrie2_openFromSerialized(
171 UTRIE2_32_VALUE_BITS, inBytes + offset, length, NULL,
172 &errorCode);
173 if(U_FAILURE(errorCode)) { return; }
174 } else if(baseData != NULL) {
175 // Use the base data. Only the settings are tailored.
176 tailoring.data = baseData;
177 } else {
178 errorCode = U_INVALID_FORMAT_ERROR; // No mappings.
179 return;
180 }
181
182 index = IX_CES_OFFSET;
183 offset = getIndex(inIndexes, indexesLength, index);
184 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
185 if(length >= 8) {
186 if(data == NULL) {
187 errorCode = U_INVALID_FORMAT_ERROR; // Tailored ces without tailored trie.
188 return;
189 }
190 data->ces = reinterpret_cast<const int64_t *>(inBytes + offset);
191 data->cesLength = length / 8;
192 }
193
194 index = IX_CE32S_OFFSET;
195 offset = getIndex(inIndexes, indexesLength, index);
196 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
197 if(length >= 4) {
198 if(data == NULL) {
199 errorCode = U_INVALID_FORMAT_ERROR; // Tailored ce32s without tailored trie.
200 return;
201 }
202 data->ce32s = reinterpret_cast<const uint32_t *>(inBytes + offset);
203 data->ce32sLength = length / 4;
204 }
205
206 int32_t jamoCE32sStart = getIndex(inIndexes, indexesLength, IX_JAMO_CE32S_START);
207 if(jamoCE32sStart >= 0) {
208 if(data == NULL || data->ce32s == NULL) {
209 errorCode = U_INVALID_FORMAT_ERROR; // Index into non-existent ce32s[].
210 return;
211 }
212 data->jamoCE32s = data->ce32s + jamoCE32sStart;
213 } else if(data == NULL) {
214 // Nothing to do.
215 } else if(baseData != NULL) {
216 data->jamoCE32s = baseData->jamoCE32s;
217 } else {
218 errorCode = U_INVALID_FORMAT_ERROR; // No Jamo CE32s for Hangul processing.
219 return;
220 }
221
222 index = IX_ROOT_ELEMENTS_OFFSET;
223 offset = getIndex(inIndexes, indexesLength, index);
224 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
225 if(length >= 4) {
226 length /= 4;
227 if(data == NULL || length <= CollationRootElements::IX_SEC_TER_BOUNDARIES) {
228 errorCode = U_INVALID_FORMAT_ERROR;
229 return;
230 }
231 data->rootElements = reinterpret_cast<const uint32_t *>(inBytes + offset);
232 data->rootElementsLength = length;
233 uint32_t commonSecTer = data->rootElements[CollationRootElements::IX_COMMON_SEC_AND_TER_CE];
234 if(commonSecTer != Collation::COMMON_SEC_AND_TER_CE) {
235 errorCode = U_INVALID_FORMAT_ERROR;
236 return;
237 }
238 uint32_t secTerBoundaries = data->rootElements[CollationRootElements::IX_SEC_TER_BOUNDARIES];
239 if((secTerBoundaries >> 24) < CollationKeys::SEC_COMMON_HIGH) {
240 // [fixed last secondary common byte] is too low,
241 // and secondary weights would collide with compressed common secondaries.
242 errorCode = U_INVALID_FORMAT_ERROR;
243 return;
244 }
245 }
246
247 index = IX_CONTEXTS_OFFSET;
248 offset = getIndex(inIndexes, indexesLength, index);
249 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
250 if(length >= 2) {
251 if(data == NULL) {
252 errorCode = U_INVALID_FORMAT_ERROR; // Tailored contexts without tailored trie.
253 return;
254 }
255 data->contexts = reinterpret_cast<const UChar *>(inBytes + offset);
256 data->contextsLength = length / 2;
257 }
258
259 index = IX_UNSAFE_BWD_OFFSET;
260 offset = getIndex(inIndexes, indexesLength, index);
261 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
262 if(length >= 2) {
263 if(data == NULL) {
264 errorCode = U_INVALID_FORMAT_ERROR;
265 return;
266 }
267 if(baseData == NULL) {
268 #if defined(COLLUNSAFE_COLL_VERSION) && defined (COLLUNSAFE_SERIALIZE)
269 tailoring.unsafeBackwardSet = new UnicodeSet(unsafe_serializedData, unsafe_serializedCount, UnicodeSet::kSerialized, errorCode);
270 if(tailoring.unsafeBackwardSet == NULL) {
271 errorCode = U_MEMORY_ALLOCATION_ERROR;
272 return;
273 } else if (U_FAILURE(errorCode)) {
274 return;
275 }
276 #else
277 // Create the unsafe-backward set for the root collator.
278 // Include all non-zero combining marks and trail surrogates.
279 // We do this at load time, rather than at build time,
280 // to simplify Unicode version bootstrapping:
281 // The root data builder only needs the new FractionalUCA.txt data,
282 // but it need not be built with a version of ICU already updated to
283 // the corresponding new Unicode Character Database.
284 //
285 // The following is an optimized version of
286 // new UnicodeSet("[[:^lccc=0:][\\udc00-\\udfff]]").
287 // It is faster and requires fewer code dependencies.
288 tailoring.unsafeBackwardSet = new UnicodeSet(0xdc00, 0xdfff); // trail surrogates
289 if(tailoring.unsafeBackwardSet == NULL) {
290 errorCode = U_MEMORY_ALLOCATION_ERROR;
291 return;
292 }
293 data->nfcImpl.addLcccChars(*tailoring.unsafeBackwardSet);
294 #endif // !COLLUNSAFE_SERIALIZE || !COLLUNSAFE_COLL_VERSION
295 } else {
296 // Clone the root collator's set contents.
297 tailoring.unsafeBackwardSet = static_cast<UnicodeSet *>(
298 baseData->unsafeBackwardSet->cloneAsThawed());
299 if(tailoring.unsafeBackwardSet == NULL) {
300 errorCode = U_MEMORY_ALLOCATION_ERROR;
301 return;
302 }
303 }
304 // Add the ranges from the data file to the unsafe-backward set.
305 USerializedSet sset;
306 const uint16_t *unsafeData = reinterpret_cast<const uint16_t *>(inBytes + offset);
307 if(!uset_getSerializedSet(&sset, unsafeData, length / 2)) {
308 errorCode = U_INVALID_FORMAT_ERROR;
309 return;
310 }
311 int32_t count = uset_getSerializedRangeCount(&sset);
312 for(int32_t i = 0; i < count; ++i) {
313 UChar32 start, end;
314 uset_getSerializedRange(&sset, i, &start, &end);
315 tailoring.unsafeBackwardSet->add(start, end);
316 }
317 // Mark each lead surrogate as "unsafe"
318 // if any of its 1024 associated supplementary code points is "unsafe".
319 UChar32 c = 0x10000;
320 for(UChar lead = 0xd800; lead < 0xdc00; ++lead, c += 0x400) {
321 if(!tailoring.unsafeBackwardSet->containsNone(c, c + 0x3ff)) {
322 tailoring.unsafeBackwardSet->add(lead);
323 }
324 }
325 tailoring.unsafeBackwardSet->freeze();
326 data->unsafeBackwardSet = tailoring.unsafeBackwardSet;
327 } else if(data == NULL) {
328 // Nothing to do.
329 } else if(baseData != NULL) {
330 // No tailoring-specific data: Alias the root collator's set.
331 data->unsafeBackwardSet = baseData->unsafeBackwardSet;
332 } else {
333 errorCode = U_INVALID_FORMAT_ERROR; // No unsafeBackwardSet.
334 return;
335 }
336
337 // If the fast Latin format version is different,
338 // or the version is set to 0 for "no fast Latin table",
339 // then just always use the normal string comparison path.
340 if(data != NULL) {
341 data->fastLatinTable = NULL;
342 data->fastLatinTableLength = 0;
343 if(((inIndexes[IX_OPTIONS] >> 16) & 0xff) == CollationFastLatin::VERSION) {
344 index = IX_FAST_LATIN_TABLE_OFFSET;
345 offset = getIndex(inIndexes, indexesLength, index);
346 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
347 if(length >= 2) {
348 data->fastLatinTable = reinterpret_cast<const uint16_t *>(inBytes + offset);
349 data->fastLatinTableLength = length / 2;
350 if((*data->fastLatinTable >> 8) != CollationFastLatin::VERSION) {
351 errorCode = U_INVALID_FORMAT_ERROR; // header vs. table version mismatch
352 return;
353 }
354 } else if(baseData != NULL) {
355 data->fastLatinTable = baseData->fastLatinTable;
356 data->fastLatinTableLength = baseData->fastLatinTableLength;
357 }
358 }
359 }
360
361 index = IX_SCRIPTS_OFFSET;
362 offset = getIndex(inIndexes, indexesLength, index);
363 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
364 if(length >= 2) {
365 if(data == NULL) {
366 errorCode = U_INVALID_FORMAT_ERROR;
367 return;
368 }
369 const uint16_t *scripts = reinterpret_cast<const uint16_t *>(inBytes + offset);
370 int32_t scriptsLength = length / 2;
371 data->numScripts = scripts[0];
372 // There must be enough entries for both arrays, including more than two range starts.
373 data->scriptStartsLength = scriptsLength - (1 + data->numScripts + 16);
374 if(data->scriptStartsLength <= 2 ||
375 CollationData::MAX_NUM_SCRIPT_RANGES < data->scriptStartsLength) {
376 errorCode = U_INVALID_FORMAT_ERROR;
377 return;
378 }
379 data->scriptsIndex = scripts + 1;
380 data->scriptStarts = scripts + 1 + data->numScripts + 16;
381 if(!(data->scriptStarts[0] == 0 &&
382 data->scriptStarts[1] == ((Collation::MERGE_SEPARATOR_BYTE + 1) << 8) &&
383 data->scriptStarts[data->scriptStartsLength - 1] ==
384 (Collation::TRAIL_WEIGHT_BYTE << 8))) {
385 errorCode = U_INVALID_FORMAT_ERROR;
386 return;
387 }
388 } else if(data == NULL) {
389 // Nothing to do.
390 } else if(baseData != NULL) {
391 data->numScripts = baseData->numScripts;
392 data->scriptsIndex = baseData->scriptsIndex;
393 data->scriptStarts = baseData->scriptStarts;
394 data->scriptStartsLength = baseData->scriptStartsLength;
395 }
396
397 index = IX_COMPRESSIBLE_BYTES_OFFSET;
398 offset = getIndex(inIndexes, indexesLength, index);
399 length = getIndex(inIndexes, indexesLength, index + 1) - offset;
400 if(length >= 256) {
401 if(data == NULL) {
402 errorCode = U_INVALID_FORMAT_ERROR;
403 return;
404 }
405 data->compressibleBytes = reinterpret_cast<const UBool *>(inBytes + offset);
406 } else if(data == NULL) {
407 // Nothing to do.
408 } else if(baseData != NULL) {
409 data->compressibleBytes = baseData->compressibleBytes;
410 } else {
411 errorCode = U_INVALID_FORMAT_ERROR; // No compressibleBytes[].
412 return;
413 }
414
415 const CollationSettings &ts = *tailoring.settings;
416 int32_t options = inIndexes[IX_OPTIONS] & 0xffff;
417 uint16_t fastLatinPrimaries[CollationFastLatin::LATIN_LIMIT];
418 int32_t fastLatinOptions = CollationFastLatin::getOptions(
419 tailoring.data, ts, fastLatinPrimaries, UPRV_LENGTHOF(fastLatinPrimaries));
420 if(options == ts.options && ts.variableTop != 0 &&
421 reorderCodesLength == ts.reorderCodesLength &&
422 (reorderCodesLength == 0 ||
423 uprv_memcmp(reorderCodes, ts.reorderCodes, reorderCodesLength * 4) == 0) &&
424 fastLatinOptions == ts.fastLatinOptions &&
425 (fastLatinOptions < 0 ||
426 uprv_memcmp(fastLatinPrimaries, ts.fastLatinPrimaries,
427 sizeof(fastLatinPrimaries)) == 0)) {
428 return;
429 }
430
431 CollationSettings *settings = SharedObject::copyOnWrite(tailoring.settings);
432 if(settings == NULL) {
433 errorCode = U_MEMORY_ALLOCATION_ERROR;
434 return;
435 }
436 settings->options = options;
437 // Set variableTop from options and scripts data.
438 settings->variableTop = tailoring.data->getLastPrimaryForGroup(
439 UCOL_REORDER_CODE_FIRST + settings->getMaxVariable());
440 if(settings->variableTop == 0) {
441 errorCode = U_INVALID_FORMAT_ERROR;
442 return;
443 }
444
445 if(reorderCodesLength != 0) {
446 settings->aliasReordering(*baseData, reorderCodes, reorderCodesLength,
447 reorderRanges, reorderRangesLength,
448 reorderTable, errorCode);
449 }
450
451 settings->fastLatinOptions = CollationFastLatin::getOptions(
452 tailoring.data, *settings,
453 settings->fastLatinPrimaries, UPRV_LENGTHOF(settings->fastLatinPrimaries));
454 }
455
456 UBool U_CALLCONV
isAcceptable(void * context,const char *,const char *,const UDataInfo * pInfo)457 CollationDataReader::isAcceptable(void *context,
458 const char * /* type */, const char * /*name*/,
459 const UDataInfo *pInfo) {
460 if(
461 pInfo->size >= 20 &&
462 pInfo->isBigEndian == U_IS_BIG_ENDIAN &&
463 pInfo->charsetFamily == U_CHARSET_FAMILY &&
464 pInfo->dataFormat[0] == 0x55 && // dataFormat="UCol"
465 pInfo->dataFormat[1] == 0x43 &&
466 pInfo->dataFormat[2] == 0x6f &&
467 pInfo->dataFormat[3] == 0x6c &&
468 pInfo->formatVersion[0] == 5
469 ) {
470 UVersionInfo *version = static_cast<UVersionInfo *>(context);
471 if(version != NULL) {
472 uprv_memcpy(version, pInfo->dataVersion, 4);
473 }
474 return TRUE;
475 } else {
476 return FALSE;
477 }
478 }
479
480 U_NAMESPACE_END
481
482 #endif // !UCONFIG_NO_COLLATION
483