1 // © 2016 and later: Unicode, Inc. and others.
2 // License & terms of use: http://www.unicode.org/copyright.html
3 /*
4 **********************************************************************
5 * Copyright (c) 2003-2014, International Business Machines
6 * Corporation and others. All Rights Reserved.
7 **********************************************************************
8 * Author: Alan Liu
9 * Created: July 10 2003
10 * Since: ICU 2.8
11 **********************************************************************
12 */
13 #include "tzfile.h" // from Olson tzcode archive, copied to this dir
14
15 #ifdef WIN32
16
17 #include <windows.h>
18 #undef min // windows.h/STL conflict
19 #undef max // windows.h/STL conflict
20 // "identifier was truncated to 'number' characters" warning
21 #pragma warning(disable: 4786)
22
23 #else
24
25 #include <unistd.h>
26 #include <stdio.h>
27 #include <dirent.h>
28 #include <string.h>
29 #include <sys/stat.h>
30
31 #endif
32
33 #include <algorithm>
34 #include <cassert>
35 #include <ctime>
36 #include <fstream>
37 #include <iomanip>
38 #include <iostream>
39 #include <iterator>
40 #include <limits>
41 #include <map>
42 #include <set>
43 #include <sstream>
44 #include <sstream>
45 #include <stdexcept>
46 #include <string>
47 #include <vector>
48
49 #include "tz2icu.h"
50 #include "unicode/uversion.h"
51
52 using namespace std;
53
54 bool ICU44PLUS = true;
55 string TZ_RESOURCE_NAME = ICU_TZ_RESOURCE;
56
57 //--------------------------------------------------------------------
58 // Time utilities
59 //--------------------------------------------------------------------
60
61 const int64_t SECS_PER_YEAR = 31536000; // 365 days
62 const int64_t SECS_PER_LEAP_YEAR = 31622400; // 366 days
63 const int64_t LOWEST_TIME32 = (int64_t)((int32_t)0x80000000);
64 const int64_t HIGHEST_TIME32 = (int64_t)((int32_t)0x7fffffff);
65
isLeap(int32_t y)66 bool isLeap(int32_t y) {
67 return (y%4 == 0) && ((y%100 != 0) || (y%400 == 0)); // Gregorian
68 }
69
secsPerYear(int32_t y)70 int64_t secsPerYear(int32_t y) {
71 return isLeap(y) ? SECS_PER_LEAP_YEAR : SECS_PER_YEAR;
72 }
73
74 /**
75 * Given a calendar year, return the GMT epoch seconds for midnight
76 * GMT of January 1 of that year. yearToSeconds(1970) == 0.
77 */
yearToSeconds(int32_t year)78 int64_t yearToSeconds(int32_t year) {
79 // inefficient but foolproof
80 int64_t s = 0;
81 int32_t y = 1970;
82 while (y < year) {
83 s += secsPerYear(y++);
84 }
85 while (y > year) {
86 s -= secsPerYear(--y);
87 }
88 return s;
89 }
90
91 /**
92 * Given 1970 GMT epoch seconds, return the calendar year containing
93 * that time. secondsToYear(0) == 1970.
94 */
secondsToYear(int64_t seconds)95 int32_t secondsToYear(int64_t seconds) {
96 // inefficient but foolproof
97 int32_t y = 1970;
98 int64_t s = 0;
99 if (seconds >= 0) {
100 for (;;) {
101 s += secsPerYear(y++);
102 if (s > seconds) break;
103 }
104 --y;
105 } else {
106 for (;;) {
107 s -= secsPerYear(--y);
108 if (s <= seconds) break;
109 }
110 }
111 return y;
112 }
113
114 //--------------------------------------------------------------------
115 // Types
116 //--------------------------------------------------------------------
117
118 struct FinalZone;
119 struct FinalRule;
120 struct SimplifiedZoneType;
121
122 // A transition from one ZoneType to another
123 // Minimal size = 5 bytes (4+1)
124 struct Transition {
125 int64_t time; // seconds, 1970 epoch
126 int32_t type; // index into 'ZoneInfo.types' 0..255
TransitionTransition127 Transition(int64_t _time, int32_t _type) {
128 time = _time;
129 type = _type;
130 }
131 };
132
133 // A behavior mode (what zic calls a 'type') of a time zone.
134 // Minimal size = 6 bytes (4+1+3bits)
135 // SEE: SimplifiedZoneType
136 struct ZoneType {
137 int64_t rawoffset; // raw seconds offset from GMT
138 int64_t dstoffset; // dst seconds offset from GMT
139
140 // We don't really need any of the following, but they are
141 // retained for possible future use. See SimplifiedZoneType.
142 int32_t abbr; // index into ZoneInfo.abbrs 0..n-1
143 bool isdst;
144 bool isstd;
145 bool isgmt;
146
147 ZoneType(const SimplifiedZoneType&); // used by optimizeTypeList
148
ZoneTypeZoneType149 ZoneType() : rawoffset(-1), dstoffset(-1), abbr(-1) {}
150
151 // A restricted equality, of just the raw and dst offset
matchesZoneType152 bool matches(const ZoneType& other) {
153 return rawoffset == other.rawoffset &&
154 dstoffset == other.dstoffset;
155 }
156 };
157
158 // A collection of transitions from one ZoneType to another, together
159 // with a list of the ZoneTypes. A ZoneInfo object may have a long
160 // list of transitions between a smaller list of ZoneTypes.
161 //
162 // This object represents the contents of a single zic-created
163 // zoneinfo file.
164 struct ZoneInfo {
165 vector<Transition> transitions;
166 vector<ZoneType> types;
167 vector<string> abbrs;
168
169 string finalRuleID;
170 int32_t finalOffset;
171 int32_t finalYear; // -1 if none
172
173 // If this is an alias, then all other fields are meaningless, and
174 // this field will point to the "real" zone 0..n-1.
175 int32_t aliasTo; // -1 if this is a "real" zone
176
177 // If there are aliases TO this zone, then the following set will
178 // contain their index numbers (each index >= 0).
179 set<int32_t> aliases;
180
ZoneInfoZoneInfo181 ZoneInfo() : finalYear(-1), aliasTo(-1) {}
182
183 void mergeFinalData(const FinalZone& fz);
184
185 void optimizeTypeList();
186
187 // Set this zone to be an alias TO another zone.
188 void setAliasTo(int32_t index);
189
190 // Clear the list of aliases OF this zone.
191 void clearAliases();
192
193 // Add an alias to the list of aliases OF this zone.
194 void addAlias(int32_t index);
195
196 // Is this an alias to another zone?
isAliasZoneInfo197 bool isAlias() const {
198 return aliasTo >= 0;
199 }
200
201 // Retrieve alias list
getAliasesZoneInfo202 const set<int32_t>& getAliases() const {
203 return aliases;
204 }
205
206 void print(ostream& os, const string& id) const;
207 };
208
clearAliases()209 void ZoneInfo::clearAliases() {
210 assert(aliasTo < 0);
211 aliases.clear();
212 }
213
addAlias(int32_t index)214 void ZoneInfo::addAlias(int32_t index) {
215 assert(aliasTo < 0 && index >= 0 && aliases.find(index) == aliases.end());
216 aliases.insert(index);
217 }
218
setAliasTo(int32_t index)219 void ZoneInfo::setAliasTo(int32_t index) {
220 assert(index >= 0);
221 assert(aliases.size() == 0);
222 aliasTo = index;
223 }
224
225 typedef map<string, ZoneInfo> ZoneMap;
226
227 typedef ZoneMap::const_iterator ZoneMapIter;
228
229 //--------------------------------------------------------------------
230 // ZONEINFO
231 //--------------------------------------------------------------------
232
233 // Global map holding all our ZoneInfo objects, indexed by id.
234 ZoneMap ZONEINFO;
235
236 //--------------------------------------------------------------------
237 // zoneinfo file parsing
238 //--------------------------------------------------------------------
239
240 // Read zic-coded 32-bit integer from file
readcoded(ifstream & file,int64_t minv=numeric_limits<int64_t>::min (),int64_t maxv=numeric_limits<int64_t>::max ())241 int64_t readcoded(ifstream& file, int64_t minv=numeric_limits<int64_t>::min(),
242 int64_t maxv=numeric_limits<int64_t>::max()) {
243 unsigned char buf[4]; // must be UNSIGNED
244 int64_t val=0;
245 file.read((char*)buf, 4);
246 for(int32_t i=0,shift=24;i<4;++i,shift-=8) {
247 val |= buf[i] << shift;
248 }
249 if (val < minv || val > maxv) {
250 ostringstream os;
251 os << "coded value out-of-range: " << val << ", expected ["
252 << minv << ", " << maxv << "]";
253 throw out_of_range(os.str());
254 }
255 return val;
256 }
257
258 // Read zic-coded 64-bit integer from file
readcoded64(ifstream & file,int64_t minv=numeric_limits<int64_t>::min (),int64_t maxv=numeric_limits<int64_t>::max ())259 int64_t readcoded64(ifstream& file, int64_t minv=numeric_limits<int64_t>::min(),
260 int64_t maxv=numeric_limits<int64_t>::max()) {
261 unsigned char buf[8]; // must be UNSIGNED
262 int64_t val=0;
263 file.read((char*)buf, 8);
264 for(int32_t i=0,shift=56;i<8;++i,shift-=8) {
265 val |= (int64_t)buf[i] << shift;
266 }
267 if (val < minv || val > maxv) {
268 ostringstream os;
269 os << "coded value out-of-range: " << val << ", expected ["
270 << minv << ", " << maxv << "]";
271 throw out_of_range(os.str());
272 }
273 return val;
274 }
275
276 // Read a boolean value
readbool(ifstream & file)277 bool readbool(ifstream& file) {
278 char c;
279 file.read(&c, 1);
280 if (c!=0 && c!=1) {
281 ostringstream os;
282 os << "boolean value out-of-range: " << (int32_t)c;
283 throw out_of_range(os.str());
284 }
285 return (c!=0);
286 }
287
288 /**
289 * Read the zoneinfo file structure (see tzfile.h) into a ZoneInfo
290 * @param file an already-open file stream
291 */
readzoneinfo(ifstream & file,ZoneInfo & info,bool is64bitData)292 void readzoneinfo(ifstream& file, ZoneInfo& info, bool is64bitData) {
293 int32_t i;
294
295 // Check for TZ_ICU_MAGIC signature at file start. If we get a
296 // signature mismatch, it means we're trying to read a file which
297 // isn't a ICU-modified-zic-created zoneinfo file. Typically this
298 // means the user is passing in a "normal" zoneinfo directory, or
299 // a zoneinfo directory that is polluted with other files, or that
300 // the user passed in the wrong directory.
301 char buf[32];
302 file.read(buf, 4);
303 if (strncmp(buf, TZ_ICU_MAGIC, 4) != 0) {
304 throw invalid_argument("TZ_ICU_MAGIC signature missing");
305 }
306 // skip additional Olson byte version
307 file.read(buf, 1);
308 // if '\0', we have just one copy of data, if '2' or '3', there is additional
309 // 64 bit version at the end.
310 if(buf[0]!=0 && buf[0]!='2' && buf[0]!='3') {
311 throw invalid_argument("Bad Olson version info");
312 }
313
314 // Read reserved bytes. The first of these will be a version byte.
315 file.read(buf, 15);
316 if (*(ICUZoneinfoVersion*)&buf != TZ_ICU_VERSION) {
317 throw invalid_argument("File version mismatch");
318 }
319
320 // Read array sizes
321 int64_t isgmtcnt = readcoded(file, 0);
322 int64_t isdstcnt = readcoded(file, 0);
323 int64_t leapcnt = readcoded(file, 0);
324 int64_t timecnt = readcoded(file, 0);
325 int64_t typecnt = readcoded(file, 0);
326 int64_t charcnt = readcoded(file, 0);
327
328 // Confirm sizes that we assume to be equal. These assumptions
329 // are drawn from a reading of the zic source (2003a), so they
330 // should hold unless the zic source changes.
331 if (isgmtcnt != typecnt || isdstcnt != typecnt) {
332 throw invalid_argument("count mismatch between tzh_ttisgmtcnt, tzh_ttisdstcnt, tth_typecnt");
333 }
334
335 // Used temporarily to store transition times and types. We need
336 // to do this because the times and types are stored in two
337 // separate arrays.
338 vector<int64_t> transitionTimes(timecnt, -1); // temporary
339 vector<int32_t> transitionTypes(timecnt, -1); // temporary
340
341 // Read transition times
342 for (i=0; i<timecnt; ++i) {
343 if (is64bitData) {
344 transitionTimes[i] = readcoded64(file);
345 } else {
346 transitionTimes[i] = readcoded(file);
347 }
348 }
349
350 // Read transition types
351 for (i=0; i<timecnt; ++i) {
352 unsigned char c;
353 file.read((char*) &c, 1);
354 int32_t t = (int32_t) c;
355 if (t < 0 || t >= typecnt) {
356 ostringstream os;
357 os << "illegal type: " << t << ", expected [0, " << (typecnt-1) << "]";
358 throw out_of_range(os.str());
359 }
360 transitionTypes[i] = t;
361 }
362
363 // Build transitions vector out of corresponding times and types.
364 bool insertInitial = false;
365 if (is64bitData && !ICU44PLUS) {
366 if (timecnt > 0) {
367 int32_t minidx = -1;
368 for (i=0; i<timecnt; ++i) {
369 if (transitionTimes[i] < LOWEST_TIME32) {
370 if (minidx == -1 || transitionTimes[i] > transitionTimes[minidx]) {
371 // Preserve the latest transition before the 32bit minimum time
372 minidx = i;
373 }
374 } else if (transitionTimes[i] > HIGHEST_TIME32) {
375 // Skipping the rest of the transition data. We cannot put such
376 // transitions into zoneinfo.res, because data is limited to singed
377 // 32bit int by the ICU resource bundle.
378 break;
379 } else {
380 info.transitions.push_back(Transition(transitionTimes[i], transitionTypes[i]));
381 }
382 }
383
384 if (minidx != -1) {
385 // If there are any transitions before the 32bit minimum time,
386 // put the type information with the 32bit minimum time
387 vector<Transition>::iterator itr = info.transitions.begin();
388 info.transitions.insert(itr, Transition(LOWEST_TIME32, transitionTypes[minidx]));
389 } else {
390 // Otherwise, we need insert the initial type later
391 insertInitial = true;
392 }
393 }
394 } else {
395 for (i=0; i<timecnt; ++i) {
396 info.transitions.push_back(Transition(transitionTimes[i], transitionTypes[i]));
397 }
398 }
399
400 // Read types (except for the isdst and isgmt flags, which come later (why??))
401 for (i=0; i<typecnt; ++i) {
402 ZoneType type;
403
404 type.rawoffset = readcoded(file);
405 type.dstoffset = readcoded(file);
406 type.isdst = readbool(file);
407
408 unsigned char c;
409 file.read((char*) &c, 1);
410 type.abbr = (int32_t) c;
411
412 if (type.isdst != (type.dstoffset != 0)) {
413 throw invalid_argument("isdst does not reflect dstoffset");
414 }
415
416 info.types.push_back(type);
417 }
418
419 assert(info.types.size() == (unsigned) typecnt);
420
421 if (insertInitial) {
422 assert(timecnt > 0);
423 assert(typecnt > 0);
424
425 int32_t initialTypeIdx = -1;
426
427 // Check if the first type is not dst
428 if (info.types.at(0).dstoffset != 0) {
429 // Initial type's rawoffset is same with the rawoffset after the
430 // first transition, but no DST is observed.
431 int64_t rawoffset0 = (info.types.at(info.transitions.at(0).type)).rawoffset;
432 // Look for matching type
433 for (i=0; i<(int32_t)info.types.size(); ++i) {
434 if (info.types.at(i).rawoffset == rawoffset0
435 && info.types.at(i).dstoffset == 0) {
436 initialTypeIdx = i;
437 break;
438 }
439 }
440 } else {
441 initialTypeIdx = 0;
442 }
443 assert(initialTypeIdx >= 0);
444 // Add the initial type associated with the lowest int32 time
445 vector<Transition>::iterator itr = info.transitions.begin();
446 info.transitions.insert(itr, Transition(LOWEST_TIME32, initialTypeIdx));
447 }
448
449
450 // Read the abbreviation string
451 if (charcnt) {
452 // All abbreviations are concatenated together, with a 0 at
453 // the end of each abbr.
454 char* str = new char[charcnt + 8];
455 file.read(str, charcnt);
456
457 // Split abbreviations apart into individual strings. Record
458 // offset of each abbr in a vector.
459 vector<int32_t> abbroffset;
460 char *limit=str+charcnt;
461 for (char* p=str; p<limit; ++p) {
462 char* start = p;
463 while (*p != 0) ++p;
464 info.abbrs.push_back(string(start, p-start));
465 abbroffset.push_back(start-str);
466 }
467
468 // Remap all the abbrs. Old value is offset into concatenated
469 // raw abbr strings. New value is index into vector of
470 // strings. E.g., 0,5,10,14 => 0,1,2,3.
471
472 // Keep track of which abbreviations get used.
473 vector<bool> abbrseen(abbroffset.size(), false);
474
475 for (vector<ZoneType>::iterator it=info.types.begin();
476 it!=info.types.end();
477 ++it) {
478 vector<int32_t>::const_iterator x=
479 find(abbroffset.begin(), abbroffset.end(), it->abbr);
480 if (x==abbroffset.end()) {
481 // TODO: Modify code to add a new string to the end of
482 // the abbr list when a middle offset is given, e.g.,
483 // "abc*def*" where * == '\0', take offset of 1 and
484 // make the array "abc", "def", "bc", and translate 1
485 // => 2. NOT CRITICAL since we don't even use the
486 // abbr at this time.
487 #if 0
488 // TODO: Re-enable this warning if we start using
489 // the Olson abbr data, or if the above TODO is completed.
490 ostringstream os;
491 os << "Warning: unusual abbr offset " << it->abbr
492 << ", expected one of";
493 for (vector<int32_t>::const_iterator y=abbroffset.begin();
494 y!=abbroffset.end(); ++y) {
495 os << ' ' << *y;
496 }
497 cerr << os.str() << "; using 0" << endl;
498 #endif
499 it->abbr = 0;
500 } else {
501 int32_t index = x - abbroffset.begin();
502 it->abbr = index;
503 abbrseen[index] = true;
504 }
505 }
506
507 for (int32_t ii=0;ii<(int32_t) abbrseen.size();++ii) {
508 if (!abbrseen[ii]) {
509 cerr << "Warning: unused abbreviation: " << ii << endl;
510 }
511 }
512 }
513
514 // Read leap second info, if any.
515 // *** We discard leap second data. ***
516 for (i=0; i<leapcnt; ++i) {
517 readcoded(file); // transition time
518 readcoded(file); // total correction after above
519 }
520
521 // Read isstd flags
522 for (i=0; i<typecnt; ++i) info.types[i].isstd = readbool(file);
523
524 // Read isgmt flags
525 for (i=0; i<typecnt; ++i) info.types[i].isgmt = readbool(file);
526 }
527
528 //--------------------------------------------------------------------
529 // Directory and file reading
530 //--------------------------------------------------------------------
531
532 /**
533 * Process a single zoneinfo file, adding the data to ZONEINFO
534 * @param path the full path to the file, e.g., ".\zoneinfo\America\Los_Angeles"
535 * @param id the zone ID, e.g., "America/Los_Angeles"
536 */
handleFile(string path,string id)537 void handleFile(string path, string id) {
538 // Check for duplicate id
539 if (ZONEINFO.find(id) != ZONEINFO.end()) {
540 ostringstream os;
541 os << "duplicate zone ID: " << id;
542 throw invalid_argument(os.str());
543 }
544
545 ifstream file(path.c_str(), ios::in | ios::binary);
546 if (!file) {
547 throw invalid_argument("can't open file");
548 }
549
550 // eat 32bit data part
551 ZoneInfo info;
552 readzoneinfo(file, info, false);
553
554 // Check for errors
555 if (!file) {
556 throw invalid_argument("read error");
557 }
558
559 // we only use 64bit part
560 ZoneInfo info64;
561 readzoneinfo(file, info64, true);
562
563 bool alldone = false;
564 int64_t eofPos = (int64_t) file.tellg();
565
566 // '\n' + <envvar string> + '\n' after the 64bit version data
567 char ch = file.get();
568 if (ch == 0x0a) {
569 bool invalidchar = false;
570 while (file.get(ch)) {
571 if (ch == 0x0a) {
572 break;
573 }
574 if (ch < 0x20) {
575 // must be printable ascii
576 invalidchar = true;
577 break;
578 }
579 }
580 if (!invalidchar) {
581 eofPos = (int64_t) file.tellg();
582 file.seekg(0, ios::end);
583 eofPos = eofPos - (int64_t) file.tellg();
584 if (eofPos == 0) {
585 alldone = true;
586 }
587 }
588 }
589 if (!alldone) {
590 ostringstream os;
591 os << (-eofPos) << " unprocessed bytes at end";
592 throw invalid_argument(os.str());
593 }
594
595 ZONEINFO[id] = info64;
596 }
597
598 /**
599 * Recursively scan the given directory, calling handleFile() for each
600 * file in the tree. The user should call with the root directory and
601 * a prefix of "". The function will call itself with non-empty
602 * prefix values.
603 */
604 #ifdef WIN32
605
scandir(string dirname,string prefix="")606 void scandir(string dirname, string prefix="") {
607 HANDLE hList;
608 WIN32_FIND_DATA FileData;
609
610 // Get the first file
611 hList = FindFirstFile((dirname + "\\*").c_str(), &FileData);
612 if (hList == INVALID_HANDLE_VALUE) {
613 cerr << "Error: Invalid directory: " << dirname << endl;
614 exit(1);
615 }
616 for (;;) {
617 string name(FileData.cFileName);
618 string path(dirname + "\\" + name);
619 if (FileData.dwFileAttributes & FILE_ATTRIBUTE_DIRECTORY) {
620 if (name != "." && name != "..") {
621 scandir(path, prefix + name + "/");
622 }
623 } else {
624 try {
625 string id = prefix + name;
626 handleFile(path, id);
627 } catch (const exception& e) {
628 cerr << "Error: While processing \"" << path << "\", "
629 << e.what() << endl;
630 exit(1);
631 }
632 }
633
634 if (!FindNextFile(hList, &FileData)) {
635 if (GetLastError() == ERROR_NO_MORE_FILES) {
636 break;
637 } // else...?
638 }
639 }
640 FindClose(hList);
641 }
642
643 #else
644
scandir(string dir,string prefix="")645 void scandir(string dir, string prefix="") {
646 DIR *dp;
647 struct dirent *dir_entry;
648 struct stat stat_info;
649 char pwd[512];
650 vector<string> subdirs;
651 vector<string> subfiles;
652
653 if ((dp = opendir(dir.c_str())) == NULL) {
654 cerr << "Error: Invalid directory: " << dir << endl;
655 exit(1);
656 }
657 if (!getcwd(pwd, sizeof(pwd))) {
658 cerr << "Error: Directory name too long" << endl;
659 exit(1);
660 }
661 chdir(dir.c_str());
662 while ((dir_entry = readdir(dp)) != NULL) {
663 string name = dir_entry->d_name;
664 string path = dir + "/" + name;
665 lstat(dir_entry->d_name,&stat_info);
666 if (S_ISDIR(stat_info.st_mode)) {
667 if (name != "." && name != "..") {
668 subdirs.push_back(path);
669 subdirs.push_back(prefix + name + "/");
670 // scandir(path, prefix + name + "/");
671 }
672 } else {
673 try {
674 string id = prefix + name;
675 subfiles.push_back(path);
676 subfiles.push_back(id);
677 // handleFile(path, id);
678 } catch (const exception& e) {
679 cerr << "Error: While processing \"" << path << "\", "
680 << e.what() << endl;
681 exit(1);
682 }
683 }
684 }
685 closedir(dp);
686 chdir(pwd);
687
688 for(int32_t i=0;i<(int32_t)subfiles.size();i+=2) {
689 try {
690 handleFile(subfiles[i], subfiles[i+1]);
691 } catch (const exception& e) {
692 cerr << "Error: While processing \"" << subfiles[i] << "\", "
693 << e.what() << endl;
694 exit(1);
695 }
696 }
697 for(int32_t i=0;i<(int32_t)subdirs.size();i+=2) {
698 scandir(subdirs[i], subdirs[i+1]);
699 }
700 }
701
702 #endif
703
704 //--------------------------------------------------------------------
705 // Final zone and rule info
706 //--------------------------------------------------------------------
707
708 /**
709 * Read and discard the current line.
710 */
consumeLine(istream & in)711 void consumeLine(istream& in) {
712 int32_t c;
713 do {
714 c = in.get();
715 } while (c != EOF && c != '\n');
716 }
717
718 enum {
719 DOM = 0,
720 DOWGEQ = 1,
721 DOWLEQ = 2
722 };
723
724 const char* TIME_MODE[] = {"w", "s", "u"};
725
726 // Allow 29 days in February because zic outputs February 29
727 // for rules like "last Sunday in February".
728 const int32_t MONTH_LEN[] = {31,29,31,30,31,30,31,31,30,31,30,31};
729
730 const int32_t HOUR = 3600;
731
732 struct FinalZone {
733 int32_t offset; // raw offset
734 int32_t year; // takes effect for y >= year
735 string ruleid;
736 set<string> aliases;
FinalZoneFinalZone737 FinalZone(int32_t _offset, int32_t _year, const string& _ruleid) :
738 offset(_offset), year(_year), ruleid(_ruleid) {
739 if (offset <= -16*HOUR || offset >= 16*HOUR) {
740 ostringstream os;
741 os << "Invalid input offset " << offset
742 << " for year " << year
743 << " and rule ID " << ruleid;
744 throw invalid_argument(os.str());
745 }
746 if (year < 1900) {
747 ostringstream os;
748 os << "Invalid input year " << year
749 << " with offset " << offset
750 << " and rule ID " << ruleid;
751 throw invalid_argument(os.str());
752 }
753 }
FinalZoneFinalZone754 FinalZone() : offset(-1), year(-1) {}
addLinkFinalZone755 void addLink(const string& alias) {
756 if (aliases.find(alias) != aliases.end()) {
757 ostringstream os;
758 os << "Duplicate alias " << alias;
759 throw invalid_argument(os.str());
760 }
761 aliases.insert(alias);
762 }
763 };
764
765 struct FinalRulePart {
766 int32_t mode;
767 int32_t month;
768 int32_t dom;
769 int32_t dow;
770 int32_t time;
771 int32_t offset; // dst offset, usually either 0 or 1:00
772
773 // Isstd and isgmt only have 3 valid states, corresponding to local
774 // wall time, local standard time, and GMT standard time.
775 // Here is how the isstd & isgmt flags are set by zic:
776 //| case 's': /* Standard */
777 //| rp->r_todisstd = TRUE;
778 //| rp->r_todisgmt = FALSE;
779 //| case 'w': /* Wall */
780 //| rp->r_todisstd = FALSE;
781 //| rp->r_todisgmt = FALSE;
782 //| case 'g': /* Greenwich */
783 //| case 'u': /* Universal */
784 //| case 'z': /* Zulu */
785 //| rp->r_todisstd = TRUE;
786 //| rp->r_todisgmt = TRUE;
787 bool isstd;
788 bool isgmt;
789
790 bool isset; // used during building; later ignored
791
FinalRulePartFinalRulePart792 FinalRulePart() : isset(false) {}
setFinalRulePart793 void set(const string& id,
794 const string& _mode,
795 int32_t _month,
796 int32_t _dom,
797 int32_t _dow,
798 int32_t _time,
799 bool _isstd,
800 bool _isgmt,
801 int32_t _offset) {
802 if (isset) {
803 throw invalid_argument("FinalRulePart set twice");
804 }
805 isset = true;
806 if (_mode == "DOWLEQ") {
807 mode = DOWLEQ;
808 } else if (_mode == "DOWGEQ") {
809 mode = DOWGEQ;
810 } else if (_mode == "DOM") {
811 mode = DOM;
812 } else {
813 throw invalid_argument("Unrecognized FinalRulePart mode");
814 }
815 month = _month;
816 dom = _dom;
817 dow = _dow;
818 time = _time;
819 isstd = _isstd;
820 isgmt = _isgmt;
821 offset = _offset;
822
823 ostringstream os;
824 if (month < 0 || month >= 12) {
825 os << "Invalid input month " << month;
826 }
827 if (dom < 1 || dom > MONTH_LEN[month]) {
828 os << "Invalid input day of month " << dom;
829 }
830 if (mode != DOM && (dow < 0 || dow >= 7)) {
831 os << "Invalid input day of week " << dow;
832 }
833 if (offset < (-1 * HOUR) || offset > (2 * HOUR)) {
834 os << "Invalid input offset " << offset;
835 }
836 if (isgmt && !isstd) {
837 os << "Invalid input isgmt && !isstd";
838 }
839 if (!os.str().empty()) {
840 os << " for rule "
841 << id
842 << _mode
843 << month << dom << dow << time
844 << isstd << isgmt
845 << offset;
846 throw invalid_argument(os.str());
847 }
848 }
849
850 /**
851 * Return the time mode as an ICU SimpleTimeZone int from 0..2;
852 * see simpletz.h.
853 */
timemodeFinalRulePart854 int32_t timemode() const {
855 if (isgmt) {
856 assert(isstd);
857 return 2; // gmt standard
858 }
859 if (isstd) {
860 return 1; // local standard
861 }
862 return 0; // local wall
863 }
864
865 // The SimpleTimeZone encoding method for rules is as follows:
866 // stz_dowim stz_dow
867 // DOM: dom 0
868 // DOWGEQ: dom -(dow+1)
869 // DOWLEQ: -dom -(dow+1)
870 // E.g., to encode Mon>=7, use stz_dowim=7, stz_dow=-2
871 // to encode Mon<=7, use stz_dowim=-7, stz_dow=-2
872 // to encode 7, use stz_dowim=7, stz_dow=0
873 // Note that for this program and for SimpleTimeZone, 0==Jan,
874 // but for this program 0==Sun while for SimpleTimeZone 1==Sun.
875
876 /**
877 * Return a "dowim" param suitable for SimpleTimeZone.
878 */
stz_dowimFinalRulePart879 int32_t stz_dowim() const {
880 return (mode == DOWLEQ) ? -dom : dom;
881 }
882
883 /**
884 * Return a "dow" param suitable for SimpleTimeZone.
885 */
stz_dowFinalRulePart886 int32_t stz_dow() const {
887 return (mode == DOM) ? 0 : -(dow+1);
888 }
889 };
890
891 struct FinalRule {
892 FinalRulePart part[2];
893
issetFinalRule894 bool isset() const {
895 return part[0].isset && part[1].isset;
896 }
897
898 void print(ostream& os) const;
899 };
900
901 map<string,FinalZone> finalZones;
902 map<string,FinalRule> finalRules;
903
904 map<string, set<string> > links;
905 map<string, string> reverseLinks;
906
907 /**
908 * Predicate used to find FinalRule objects that do not have both
909 * sub-parts set (indicating an error in the input file).
910 */
isNotSet(const pair<const string,FinalRule> & p)911 bool isNotSet(const pair<const string,FinalRule>& p) {
912 return !p.second.isset();
913 }
914
915 /**
916 * Predicate used to find FinalZone objects that do not map to a known
917 * rule (indicating an error in the input file).
918 */
mapsToUnknownRule(const pair<const string,FinalZone> & p)919 bool mapsToUnknownRule(const pair<const string,FinalZone>& p) {
920 return finalRules.find(p.second.ruleid) == finalRules.end();
921 }
922
923 /**
924 * This set is used to make sure each rule in finalRules is used at
925 * least once. First we populate it with all the rules from
926 * finalRules; then we remove all the rules referred to in
927 * finaleZones.
928 */
929 set<string> ruleIDset;
930
insertRuleID(const pair<string,FinalRule> & p)931 void insertRuleID(const pair<string,FinalRule>& p) {
932 ruleIDset.insert(p.first);
933 }
934
eraseRuleID(const pair<string,FinalZone> & p)935 void eraseRuleID(const pair<string,FinalZone>& p) {
936 ruleIDset.erase(p.second.ruleid);
937 }
938
939 /**
940 * Populate finalZones and finalRules from the given istream.
941 */
readFinalZonesAndRules(istream & in)942 void readFinalZonesAndRules(istream& in) {
943
944 for (;;) {
945 string token;
946 in >> token;
947 if (in.eof() || !in) {
948 break;
949 } else if (token == "zone") {
950 // zone Africa/Cairo 7200 1995 Egypt # zone Africa/Cairo, offset 7200, year >= 1995, rule Egypt (0)
951 string id, ruleid;
952 int32_t offset, year;
953 in >> id >> offset >> year >> ruleid;
954 consumeLine(in);
955 finalZones[id] = FinalZone(offset, year, ruleid);
956 } else if (token == "rule") {
957 // rule US DOWGEQ 3 1 0 7200 0 0 3600 # 52: US, file data/northamerica, line 119, mode DOWGEQ, April, dom 1, Sunday, time 7200, isstd 0, isgmt 0, offset 3600
958 // rule US DOWLEQ 9 31 0 7200 0 0 0 # 53: US, file data/northamerica, line 114, mode DOWLEQ, October, dom 31, Sunday, time 7200, isstd 0, isgmt 0, offset 0
959 string id, mode;
960 int32_t month, dom, dow, time, offset;
961 bool isstd, isgmt;
962 in >> id >> mode >> month >> dom >> dow >> time >> isstd >> isgmt >> offset;
963 consumeLine(in);
964 FinalRule& fr = finalRules[id];
965 int32_t p = fr.part[0].isset ? 1 : 0;
966 fr.part[p].set(id, mode, month, dom, dow, time, isstd, isgmt, offset);
967 } else if (token == "link") {
968 string fromid, toid; // fromid == "real" zone, toid == alias
969 in >> fromid >> toid;
970 // DO NOT consumeLine(in);
971 if (finalZones.find(toid) != finalZones.end()) {
972 throw invalid_argument("Bad link: `to' id is a \"real\" zone");
973 }
974
975 links[fromid].insert(toid);
976 reverseLinks[toid] = fromid;
977 } else if (token.length() > 0 && token[0] == '#') {
978 consumeLine(in);
979 } else {
980 throw invalid_argument("Unrecognized keyword");
981 }
982 }
983
984 if (!in.eof() && !in) {
985 throw invalid_argument("Parse failure");
986 }
987
988 // Perform validity check: Each rule should have data for 2 parts.
989 if (count_if(finalRules.begin(), finalRules.end(), isNotSet) != 0) {
990 throw invalid_argument("One or more incomplete rule pairs");
991 }
992
993 // Perform validity check: Each zone should map to a known rule.
994 if (count_if(finalZones.begin(), finalZones.end(), mapsToUnknownRule) != 0) {
995 throw invalid_argument("One or more zones refers to an unknown rule");
996 }
997
998 // Perform validity check: Each rule should be referred to by a zone.
999 ruleIDset.clear();
1000 for_each(finalRules.begin(), finalRules.end(), insertRuleID);
1001 for_each(finalZones.begin(), finalZones.end(), eraseRuleID);
1002 if (ruleIDset.size() != 0) {
1003 throw invalid_argument("Unused rules");
1004 }
1005 }
1006
1007 //--------------------------------------------------------------------
1008 // Resource bundle output
1009 //--------------------------------------------------------------------
1010
1011 // SEE olsontz.h FOR RESOURCE BUNDLE DATA LAYOUT
1012
print(ostream & os,const string & id) const1013 void ZoneInfo::print(ostream& os, const string& id) const {
1014 // Implement compressed format #2:
1015 os << " /* " << id << " */ ";
1016
1017 if (aliasTo >= 0) {
1018 assert(aliases.size() == 0);
1019 os << ":int { " << aliasTo << " } "; // No endl - save room for comment.
1020 return;
1021 }
1022
1023 if (ICU44PLUS) {
1024 os << ":table {" << endl;
1025 } else {
1026 os << ":array {" << endl;
1027 }
1028
1029 vector<Transition>::const_iterator trn;
1030 vector<ZoneType>::const_iterator typ;
1031
1032 bool first;
1033
1034 if (ICU44PLUS) {
1035 trn = transitions.begin();
1036
1037 // pre 32bit transitions
1038 if (trn != transitions.end() && trn->time < LOWEST_TIME32) {
1039 os << " transPre32:intvector { ";
1040 for (first = true; trn != transitions.end() && trn->time < LOWEST_TIME32; ++trn) {
1041 if (!first) {
1042 os<< ", ";
1043 }
1044 first = false;
1045 os << (int32_t)(trn->time >> 32) << ", " << (int32_t)(trn->time & 0x00000000ffffffff);
1046 }
1047 os << " }" << endl;
1048 }
1049
1050 // 32bit transtions
1051 if (trn != transitions.end() && trn->time < HIGHEST_TIME32) {
1052 os << " trans:intvector { ";
1053 for (first = true; trn != transitions.end() && trn->time < HIGHEST_TIME32; ++trn) {
1054 if (!first) {
1055 os << ", ";
1056 }
1057 first = false;
1058 os << trn->time;
1059 }
1060 os << " }" << endl;
1061 }
1062
1063 // post 32bit transitons
1064 if (trn != transitions.end()) {
1065 os << " transPost32:intvector { ";
1066 for (first = true; trn != transitions.end(); ++trn) {
1067 if (!first) {
1068 os<< ", ";
1069 }
1070 first = false;
1071 os << (int32_t)(trn->time >> 32) << ", " << (int32_t)(trn->time & 0x00000000ffffffff);
1072 }
1073 os << " }" << endl;
1074 }
1075 } else {
1076 os << " :intvector { ";
1077 for (trn = transitions.begin(), first = true; trn != transitions.end(); ++trn) {
1078 if (!first) os << ", ";
1079 first = false;
1080 os << trn->time;
1081 }
1082 os << " }" << endl;
1083 }
1084
1085
1086 first=true;
1087 if (ICU44PLUS) {
1088 os << " typeOffsets:intvector { ";
1089 } else {
1090 os << " :intvector { ";
1091 }
1092 for (typ = types.begin(); typ != types.end(); ++typ) {
1093 if (!first) os << ", ";
1094 first = false;
1095 os << typ->rawoffset << ", " << typ->dstoffset;
1096 }
1097 os << " }" << endl;
1098
1099 if (ICU44PLUS) {
1100 if (transitions.size() != 0) {
1101 os << " typeMap:bin { \"" << hex << setfill('0');
1102 for (trn = transitions.begin(); trn != transitions.end(); ++trn) {
1103 os << setw(2) << trn->type;
1104 }
1105 os << dec << "\" }" << endl;
1106 }
1107 } else {
1108 os << " :bin { \"" << hex << setfill('0');
1109 for (trn = transitions.begin(); trn != transitions.end(); ++trn) {
1110 os << setw(2) << trn->type;
1111 }
1112 os << dec << "\" }" << endl;
1113 }
1114
1115 // Final zone info, if any
1116 if (finalYear != -1) {
1117 if (ICU44PLUS) {
1118 os << " finalRule { \"" << finalRuleID << "\" }" << endl;
1119 os << " finalRaw:int { " << finalOffset << " }" << endl;
1120 os << " finalYear:int { " << finalYear << " }" << endl;
1121 } else {
1122 os << " \"" << finalRuleID << "\"" << endl;
1123 os << " :intvector { " << finalOffset << ", "
1124 << finalYear << " }" << endl;
1125 }
1126 }
1127
1128 // Alias list, if any
1129 if (aliases.size() != 0) {
1130 first = true;
1131 if (ICU44PLUS) {
1132 os << " links:intvector { ";
1133 } else {
1134 os << " :intvector { ";
1135 }
1136 for (set<int32_t>::const_iterator i=aliases.begin(); i!=aliases.end(); ++i) {
1137 if (!first) os << ", ";
1138 first = false;
1139 os << *i;
1140 }
1141 os << " }" << endl;
1142 }
1143
1144 os << " } "; // no trailing 'endl', so comments can be placed.
1145 }
1146
1147 inline ostream&
operator <<(ostream & os,const ZoneMap & zoneinfo)1148 operator<<(ostream& os, const ZoneMap& zoneinfo) {
1149 int32_t c = 0;
1150 for (ZoneMapIter it = zoneinfo.begin();
1151 it != zoneinfo.end();
1152 ++it) {
1153 if(c && !ICU44PLUS) os << ",";
1154 it->second.print(os, it->first);
1155 os << "//Z#" << c++ << endl;
1156 }
1157 return os;
1158 }
1159
1160 // print the string list
printStringList(ostream & os,const ZoneMap & zoneinfo)1161 ostream& printStringList( ostream& os, const ZoneMap& zoneinfo) {
1162 int32_t n = 0; // count
1163 int32_t col = 0; // column
1164 os << " Names {" << endl
1165 << " ";
1166 for (ZoneMapIter it = zoneinfo.begin();
1167 it != zoneinfo.end();
1168 ++it) {
1169 if(n) {
1170 os << ",";
1171 col ++;
1172 }
1173 const string& id = it->first;
1174 os << "\"" << id << "\"";
1175 col += id.length() + 2;
1176 if(col >= 50) {
1177 os << " // " << n << endl
1178 << " ";
1179 col = 0;
1180 }
1181 n++;
1182 }
1183 os << " // " << (n-1) << endl
1184 << " }" << endl;
1185
1186 return os;
1187 }
1188
1189 //--------------------------------------------------------------------
1190 // main
1191 //--------------------------------------------------------------------
1192
1193 // Unary predicate for finding transitions after a given time
isAfter(const Transition t,int64_t thresh)1194 bool isAfter(const Transition t, int64_t thresh) {
1195 return t.time >= thresh;
1196 }
1197
1198 /**
1199 * A zone type that contains only the raw and dst offset. Used by the
1200 * optimizeTypeList() method.
1201 */
1202 struct SimplifiedZoneType {
1203 int64_t rawoffset;
1204 int64_t dstoffset;
SimplifiedZoneTypeSimplifiedZoneType1205 SimplifiedZoneType() : rawoffset(-1), dstoffset(-1) {}
SimplifiedZoneTypeSimplifiedZoneType1206 SimplifiedZoneType(const ZoneType& t) : rawoffset(t.rawoffset),
1207 dstoffset(t.dstoffset) {}
operator <SimplifiedZoneType1208 bool operator<(const SimplifiedZoneType& t) const {
1209 return rawoffset < t.rawoffset ||
1210 (rawoffset == t.rawoffset &&
1211 dstoffset < t.dstoffset);
1212 }
1213 };
1214
1215 /**
1216 * Construct a ZoneType from a SimplifiedZoneType. Note that this
1217 * discards information; the new ZoneType will have meaningless
1218 * (empty) abbr, isdst, isstd, and isgmt flags; this is appropriate,
1219 * since ignoring these is how we do optimization (we have no use for
1220 * these in historical transitions).
1221 */
ZoneType(const SimplifiedZoneType & t)1222 ZoneType::ZoneType(const SimplifiedZoneType& t) :
1223 rawoffset(t.rawoffset), dstoffset(t.dstoffset),
1224 abbr(-1), isdst(false), isstd(false), isgmt(false) {}
1225
1226 /**
1227 * Optimize the type list to remove excess entries. The type list may
1228 * contain entries that are distinct only in terms of their dst, std,
1229 * or gmt flags. Since we don't care about those flags, we can reduce
1230 * the type list to a set of unique raw/dst offset pairs, and remap
1231 * the type indices in the transition list, which stores, for each
1232 * transition, a transition time and a type index.
1233 */
optimizeTypeList()1234 void ZoneInfo::optimizeTypeList() {
1235 // Assemble set of unique types; only those in the `transitions'
1236 // list, since there may be unused types in the `types' list
1237 // corresponding to transitions that have been trimmed (during
1238 // merging of final data).
1239
1240 if (aliasTo >= 0) return; // Nothing to do for aliases
1241
1242 if (!ICU44PLUS) {
1243 // This is the old logic which has a bug, which occasionally removes
1244 // the type before the first transition. The problem was fixed
1245 // by inserting the dummy transition indirectly.
1246
1247 // If there are zero transitions and one type, then leave that as-is.
1248 if (transitions.size() == 0) {
1249 if (types.size() != 1) {
1250 cerr << "Error: transition count = 0, type count = " << types.size() << endl;
1251 }
1252 return;
1253 }
1254
1255 set<SimplifiedZoneType> simpleset;
1256 for (vector<Transition>::const_iterator i=transitions.begin();
1257 i!=transitions.end(); ++i) {
1258 assert(i->type < (int32_t)types.size());
1259 simpleset.insert(types[i->type]);
1260 }
1261
1262 // Map types to integer indices
1263 map<SimplifiedZoneType,int32_t> simplemap;
1264 int32_t n=0;
1265 for (set<SimplifiedZoneType>::const_iterator i=simpleset.begin();
1266 i!=simpleset.end(); ++i) {
1267 simplemap[*i] = n++;
1268 }
1269
1270 // Remap transitions
1271 for (vector<Transition>::iterator i=transitions.begin();
1272 i!=transitions.end(); ++i) {
1273 assert(i->type < (int32_t)types.size());
1274 ZoneType oldtype = types[i->type];
1275 SimplifiedZoneType newtype(oldtype);
1276 assert(simplemap.find(newtype) != simplemap.end());
1277 i->type = simplemap[newtype];
1278 }
1279
1280 // Replace type list
1281 types.clear();
1282 copy(simpleset.begin(), simpleset.end(), back_inserter(types));
1283
1284 } else {
1285 if (types.size() > 1) {
1286 // Note: localtime uses the very first non-dst type as initial offsets.
1287 // If all types are DSTs, the very first type is treated as the initial offsets.
1288
1289 // Decide a type used as the initial offsets. ICU put the type at index 0.
1290 ZoneType initialType = types[0];
1291 for (vector<ZoneType>::const_iterator i=types.begin(); i!=types.end(); ++i) {
1292 if (i->dstoffset == 0) {
1293 initialType = *i;
1294 break;
1295 }
1296 }
1297
1298 SimplifiedZoneType initialSimplifiedType(initialType);
1299
1300 // create a set of unique types, but ignoring fields which we're not interested in
1301 set<SimplifiedZoneType> simpleset;
1302 simpleset.insert(initialSimplifiedType);
1303 for (vector<Transition>::const_iterator i=transitions.begin(); i!=transitions.end(); ++i) {
1304 assert(i->type < (int32_t)types.size());
1305 simpleset.insert(types[i->type]);
1306 }
1307
1308 // Map types to integer indices, however, keeping the first type at offset 0
1309 map<SimplifiedZoneType,int32_t> simplemap;
1310 simplemap[initialSimplifiedType] = 0;
1311 int32_t n = 1;
1312 for (set<SimplifiedZoneType>::const_iterator i=simpleset.begin(); i!=simpleset.end(); ++i) {
1313 if (*i < initialSimplifiedType || initialSimplifiedType < *i) {
1314 simplemap[*i] = n++;
1315 }
1316 }
1317
1318 // Remap transitions
1319 for (vector<Transition>::iterator i=transitions.begin();
1320 i!=transitions.end(); ++i) {
1321 assert(i->type < (int32_t)types.size());
1322 ZoneType oldtype = types[i->type];
1323 SimplifiedZoneType newtype(oldtype);
1324 assert(simplemap.find(newtype) != simplemap.end());
1325 i->type = simplemap[newtype];
1326 }
1327
1328 // Replace type list
1329 types.clear();
1330 types.push_back(initialSimplifiedType);
1331 for (set<SimplifiedZoneType>::const_iterator i=simpleset.begin(); i!=simpleset.end(); ++i) {
1332 if (*i < initialSimplifiedType || initialSimplifiedType < *i) {
1333 types.push_back(*i);
1334 }
1335 }
1336
1337 // Reiterating transitions to remove any transitions which
1338 // do not actually change the raw/dst offsets
1339 int32_t prevTypeIdx = 0;
1340 for (vector<Transition>::iterator i=transitions.begin(); i!=transitions.end();) {
1341 if (i->type == prevTypeIdx) {
1342 // this is not a time transition, probably just name change
1343 // e.g. America/Resolute after 2006 in 2010b
1344 transitions.erase(i);
1345 } else {
1346 prevTypeIdx = i->type;
1347 i++;
1348 }
1349 }
1350 }
1351 }
1352
1353 }
1354
1355 /**
1356 * Merge final zone data into this zone.
1357 */
mergeFinalData(const FinalZone & fz)1358 void ZoneInfo::mergeFinalData(const FinalZone& fz) {
1359 int32_t year = fz.year;
1360 int64_t seconds = yearToSeconds(year);
1361
1362 if (!ICU44PLUS) {
1363 if (seconds > HIGHEST_TIME32) {
1364 // Avoid transitions beyond signed 32bit max second.
1365 // This may result incorrect offset computation around
1366 // HIGHEST_TIME32. This is a limitation of ICU
1367 // before 4.4.
1368 seconds = HIGHEST_TIME32;
1369 }
1370 }
1371
1372 vector<Transition>::iterator it =
1373 find_if(transitions.begin(), transitions.end(),
1374 bind2nd(ptr_fun(isAfter), seconds));
1375 transitions.erase(it, transitions.end());
1376
1377 if (finalYear != -1) {
1378 throw invalid_argument("Final zone already merged in");
1379 }
1380 finalYear = fz.year;
1381 finalOffset = fz.offset;
1382 finalRuleID = fz.ruleid;
1383 }
1384
1385 /**
1386 * Merge the data from the given final zone into the core zone data by
1387 * calling the ZoneInfo member function mergeFinalData.
1388 */
mergeOne(const string & zoneid,const FinalZone & fz)1389 void mergeOne(const string& zoneid, const FinalZone& fz) {
1390 if (ZONEINFO.find(zoneid) == ZONEINFO.end()) {
1391 throw invalid_argument("Unrecognized final zone ID");
1392 }
1393 ZONEINFO[zoneid].mergeFinalData(fz);
1394 }
1395
1396 /**
1397 * Visitor function that merges the final zone data into the main zone
1398 * data structures. It calls mergeOne for each final zone and its
1399 * list of aliases.
1400 */
mergeFinalZone(const pair<string,FinalZone> & p)1401 void mergeFinalZone(const pair<string,FinalZone>& p) {
1402 const string& id = p.first;
1403 const FinalZone& fz = p.second;
1404
1405 mergeOne(id, fz);
1406 }
1407
1408 /**
1409 * Print this rule in resource bundle format to os. ID and enclosing
1410 * braces handled elsewhere.
1411 */
print(ostream & os) const1412 void FinalRule::print(ostream& os) const {
1413 // First print the rule part that enters DST; then the rule part
1414 // that exits it.
1415 int32_t whichpart = (part[0].offset != 0) ? 0 : 1;
1416 assert(part[whichpart].offset != 0);
1417 assert(part[1-whichpart].offset == 0);
1418
1419 os << " ";
1420 for (int32_t i=0; i<2; ++i) {
1421 const FinalRulePart& p = part[whichpart];
1422 whichpart = 1-whichpart;
1423 os << p.month << ", " << p.stz_dowim() << ", " << p.stz_dow() << ", "
1424 << p.time << ", " << p.timemode() << ", ";
1425 }
1426 os << part[whichpart].offset << endl;
1427 }
1428
1429 #define ICU_ZONE_OVERRIDE_SUFFIX "--ICU"
1430 #define ICU_ZONE_OVERRIDE_SUFFIX_LEN 5
1431
main(int argc,char * argv[])1432 int main(int argc, char *argv[]) {
1433 string rootpath, zonetab, version;
1434 bool validArgs = false;
1435
1436 if (argc == 4 || argc == 5) {
1437 validArgs = true;
1438 rootpath = argv[1];
1439 zonetab = argv[2];
1440 version = argv[3];
1441 if (argc == 5) {
1442 if (strcmp(argv[4], "--old") == 0) {
1443 ICU44PLUS = false;
1444 TZ_RESOURCE_NAME = ICU_TZ_RESOURCE_OLD;
1445 } else {
1446 validArgs = false;
1447 }
1448 }
1449 }
1450 if (!validArgs) {
1451 cout << "Usage: tz2icu <dir> <cmap> <tzver> [--old]" << endl
1452 << " <dir> path to zoneinfo file tree generated by" << endl
1453 << " ICU-patched version of zic" << endl
1454 << " <cmap> country map, from tzdata archive," << endl
1455 << " typically named \"zone.tab\"" << endl
1456 << " <tzver> version string, such as \"2003e\"" << endl
1457 << " --old generating resource format before ICU4.4" << endl;
1458 exit(1);
1459 }
1460
1461 cout << "Olson data version: " << version << endl;
1462 cout << "ICU 4.4+ format: " << (ICU44PLUS ? "Yes" : "No") << endl;
1463
1464 try {
1465 ifstream finals(ICU_ZONE_FILE);
1466 if (finals) {
1467 readFinalZonesAndRules(finals);
1468
1469 cout << "Finished reading " << finalZones.size()
1470 << " final zones and " << finalRules.size()
1471 << " final rules from " ICU_ZONE_FILE << endl;
1472 } else {
1473 cerr << "Error: Unable to open " ICU_ZONE_FILE << endl;
1474 return 1;
1475 }
1476 } catch (const exception& error) {
1477 cerr << "Error: While reading " ICU_ZONE_FILE ": " << error.what() << endl;
1478 return 1;
1479 }
1480
1481 try {
1482 // Recursively scan all files below the given path, accumulating
1483 // their data into ZONEINFO. All files must be TZif files. Any
1484 // failure along the way will result in a call to exit(1).
1485 scandir(rootpath);
1486 } catch (const exception& error) {
1487 cerr << "Error: While scanning " << rootpath << ": " << error.what() << endl;
1488 return 1;
1489 }
1490
1491 cout << "Finished reading " << ZONEINFO.size() << " zoneinfo files ["
1492 << (ZONEINFO.begin())->first << ".."
1493 << (--ZONEINFO.end())->first << "]" << endl;
1494
1495 // Overrides TZ database zones with ICU custom zone definition.
1496 // These ICU zone overrides are defined in icuzones, with suffix --ICU.
1497 // If there is a matching TZ database zone, the zoneinfo is replaced
1498 // with the ICU definition. Then, the zone ID with --ICU suffix
1499 // will be deleted from the final list.
1500 // For example, zoneinfo for Europe/Dublin imported from the TZ database
1501 // will be replaced with the zone definition for Europe/Dublin--ICU
1502 // in icuzones.
1503
1504 // Collect zone IDs to be modified with ICU definition.
1505 vector<string> customZones;
1506 for (ZoneMapIter i = ZONEINFO.begin(); i != ZONEINFO.end(); ++i) {
1507 const string& id = i->first;
1508 size_t idx = id.rfind(ICU_ZONE_OVERRIDE_SUFFIX);
1509 if (idx != string::npos && idx == id.length() - ICU_ZONE_OVERRIDE_SUFFIX_LEN) {
1510 cout << "ICU zone override: " << id << endl;
1511 customZones.push_back(id.substr(0, idx));
1512 }
1513 }
1514
1515 //
1516 // BEGIN ICU Custom ZoneInfo Override Handling
1517 //
1518
1519 // Replace zoneinfo with ICU definition, then remove ICU zone ID with
1520 // the special suffix.
1521 for (vector<string>::iterator i = customZones.begin(); i != customZones.end(); i++) {
1522 string& origId = *i;
1523 string custId = origId + ICU_ZONE_OVERRIDE_SUFFIX;
1524
1525 map<string,ZoneInfo>::iterator origZi = ZONEINFO.find(origId);
1526 map<string,ZoneInfo>::iterator custZi = ZONEINFO.find(custId);
1527 if (origZi != ZONEINFO.end() && custZi != ZONEINFO.end()) {
1528 // replace original zone info with custom override,
1529 // then delete one custom ID
1530 cout << "Replacing ZoneInfo " << origId << " with " << custId << endl;
1531 origZi->second = custZi->second;
1532 ZONEINFO.erase(custZi);
1533 }
1534
1535 // Also replace final rule
1536 map<string,FinalZone>::iterator origFz = finalZones.find(origId);
1537 map<string,FinalZone>::iterator custFz = finalZones.find(custId);
1538 if (origFz != finalZones.end() && custFz != finalZones.end()) {
1539 // replace original final zone with custom override,
1540 // then delete one for custom ID
1541 cout << "Replacing FinalZone for " << origId << " with " << custId << endl;
1542 origFz->second = custFz->second;
1543 finalZones.erase(custFz);
1544 }
1545 }
1546
1547 // Also remove aliases for ICU custom zoneinfo overrides.
1548 for (map<string,set<string>>::const_iterator i = links.begin(); i != links.end(); ) {
1549 const string& id = i->first;
1550 size_t idx = id.rfind(ICU_ZONE_OVERRIDE_SUFFIX);
1551 if (idx != string::npos && idx == id.length() - ICU_ZONE_OVERRIDE_SUFFIX_LEN) {
1552 const set<string>& aliases = i->second;
1553 // Also remove all revserse links
1554 for (set<string>::const_iterator j = aliases.begin(); j != aliases.end(); j++) {
1555 const string& alias = *j;
1556 cout << "Removing alias " << alias << endl;
1557 reverseLinks.erase(alias);
1558 }
1559
1560 links.erase(i++);
1561 } else {
1562 i++;
1563 }
1564 }
1565
1566
1567 //
1568 // END ICU Custom ZoneInfo Override Handling
1569 //
1570
1571 try {
1572 for_each(finalZones.begin(), finalZones.end(), mergeFinalZone);
1573 } catch (const exception& error) {
1574 cerr << "Error: While merging final zone data: " << error.what() << endl;
1575 return 1;
1576 }
1577
1578 // Process links (including ICU aliases). For each link set we have
1579 // a canonical ID (e.g., America/Los_Angeles) and a set of one or more
1580 // aliases (e.g., PST, PST8PDT, ...).
1581
1582 // 1. Add all aliases as zone objects in ZONEINFO
1583 for (map<string,set<string> >::const_iterator i = links.begin();
1584 i!=links.end(); ++i) {
1585 const string& olson = i->first;
1586 const set<string>& aliases = i->second;
1587 if (ZONEINFO.find(olson) == ZONEINFO.end()) {
1588 cerr << "Error: Invalid 'Link' to non-existent \""
1589 << olson << "\"" << endl;
1590 return 1;
1591 }
1592 for (set<string>::const_iterator j=aliases.begin();
1593 j!=aliases.end(); ++j) {
1594 ZONEINFO[*j] = ZoneInfo();
1595 }
1596 }
1597
1598 // 2. Create a mapping from zones to index numbers 0..n-1.
1599 map<string,int32_t> zoneIDs;
1600 vector<string> zoneIDlist;
1601 int32_t z=0;
1602 for (ZoneMap::iterator i=ZONEINFO.begin(); i!=ZONEINFO.end(); ++i) {
1603 zoneIDs[i->first] = z++;
1604 zoneIDlist.push_back(i->first);
1605 }
1606 assert(z == (int32_t) ZONEINFO.size());
1607
1608 // 3. Merge aliases. Sometimes aliases link to other aliases; we
1609 // resolve these into simplest possible sets.
1610 map<string,set<string> > links2;
1611 map<string,string> reverse2;
1612 for (map<string,set<string> >::const_iterator i = links.begin();
1613 i!=links.end(); ++i) {
1614 string olson = i->first;
1615 while (reverseLinks.find(olson) != reverseLinks.end()) {
1616 olson = reverseLinks[olson];
1617 }
1618 for (set<string>::const_iterator j=i->second.begin(); j!=i->second.end(); ++j) {
1619 links2[olson].insert(*j);
1620 reverse2[*j] = olson;
1621 }
1622 }
1623 links = links2;
1624 reverseLinks = reverse2;
1625
1626 if (false) { // Debugging: Emit link map
1627 for (map<string,set<string> >::const_iterator i = links.begin();
1628 i!=links.end(); ++i) {
1629 cout << i->first << ": ";
1630 for (set<string>::const_iterator j=i->second.begin(); j!=i->second.end(); ++j) {
1631 cout << *j << ", ";
1632 }
1633 cout << endl;
1634 }
1635 }
1636
1637 // 4. Update aliases
1638 for (map<string,set<string> >::const_iterator i = links.begin();
1639 i!=links.end(); ++i) {
1640 const string& olson = i->first;
1641 const set<string>& aliases = i->second;
1642 ZONEINFO[olson].clearAliases();
1643 ZONEINFO[olson].addAlias(zoneIDs[olson]);
1644 for (set<string>::const_iterator j=aliases.begin();
1645 j!=aliases.end(); ++j) {
1646 assert(zoneIDs.find(olson) != zoneIDs.end());
1647 assert(zoneIDs.find(*j) != zoneIDs.end());
1648 assert(ZONEINFO.find(*j) != ZONEINFO.end());
1649 ZONEINFO[*j].setAliasTo(zoneIDs[olson]);
1650 ZONEINFO[olson].addAlias(zoneIDs[*j]);
1651 }
1652 }
1653
1654 // Once merging of final data is complete, we can optimize the type list
1655 for (ZoneMap::iterator i=ZONEINFO.begin(); i!=ZONEINFO.end(); ++i) {
1656 i->second.optimizeTypeList();
1657 }
1658
1659 // Create the country map
1660 map<string, string> icuRegions; // ICU's custom zone -> country override
1661 map<string, set<string> > countryMap; // country -> set of zones
1662 map<string, string> reverseCountryMap; // zone -> country
1663
1664 try {
1665 // Read icuregions file to collect ICU's own zone-region mapping data.
1666 ifstream frg(ICU_REGIONS);
1667 if (frg) {
1668 string line;
1669 while (getline(frg, line)) {
1670 if (line[0] == '#') continue;
1671
1672 string zone, country;
1673 istringstream is(line);
1674 is >> zone >> country;
1675 if (zone.size() == 0) continue;
1676 if (country.size() < 2) {
1677 cerr << "Error: Can't parse " << line << " in " << ICU_REGIONS << endl;
1678 return 1;
1679 }
1680 icuRegions[zone] = country;
1681 }
1682 } else {
1683 cout << "No custom region map [icuregions]" << endl;
1684 }
1685 } catch (const exception& error) {
1686 cerr << "Error: While reading " << ICU_REGIONS << ": " << error.what() << endl;
1687 return 1;
1688 }
1689
1690 try {
1691 ifstream f(zonetab.c_str());
1692 if (!f) {
1693 cerr << "Error: Unable to open " << zonetab << endl;
1694 return 1;
1695 }
1696 int32_t n = 0;
1697 string line;
1698 while (getline(f, line)) {
1699 string::size_type lb = line.find('#');
1700 if (lb != string::npos) {
1701 line.resize(lb); // trim comments
1702 }
1703 string country, coord, zone;
1704 istringstream is(line);
1705 is >> country >> coord >> zone;
1706 if (country.size() == 0) continue;
1707 if (country.size() != 2 || zone.size() < 1) {
1708 cerr << "Error: Can't parse " << line << " in " << zonetab << endl;
1709 return 1;
1710 }
1711 if (ZONEINFO.find(zone) == ZONEINFO.end()) {
1712 cerr << "Error: Country maps to invalid zone " << zone
1713 << " in " << zonetab << endl;
1714 return 1;
1715 }
1716 if (icuRegions.find(zone) != icuRegions.end()) {
1717 // Custom override
1718 string customCountry = icuRegions[zone];
1719 cout << "Region Mapping: custom override for " << zone
1720 << " " << country << " -> " << customCountry << endl;
1721 country = customCountry;
1722 }
1723 countryMap[country].insert(zone);
1724 reverseCountryMap[zone] = country;
1725 //cerr << (n+1) << ": " << country << " <=> " << zone << endl;
1726 ++n;
1727 }
1728 cout << "Finished reading " << n
1729 << " country entries from " << zonetab << endl;
1730 } catch (const exception& error) {
1731 cerr << "Error: While reading " << zonetab << ": " << error.what() << endl;
1732 return 1;
1733 }
1734
1735 // Merge ICU's own zone-region mapping data
1736 for (map<string,string>::const_iterator i = icuRegions.begin();
1737 i != icuRegions.end(); ++i) {
1738 const string& zid(i->first);
1739 if (reverseCountryMap.find(zid) != reverseCountryMap.end()) {
1740 continue;
1741 }
1742 cout << "Region Mapping: custom data zone=" << zid
1743 << ", region=" << i->second << endl;
1744
1745 reverseCountryMap[zid] = i->second;
1746 countryMap[i->second].insert(zid);
1747 }
1748
1749 // Merge ICU aliases into country map. Don't merge any alias
1750 // that already has a country map, since that doesn't make sense.
1751 // E.g. "Link Europe/Oslo Arctic/Longyearbyen" doesn't mean we
1752 // should cross-map the countries between these two zones.
1753 for (map<string,set<string> >::const_iterator i = links.begin();
1754 i!=links.end(); ++i) {
1755 const string& olson(i->first);
1756 if (reverseCountryMap.find(olson) == reverseCountryMap.end()) {
1757 continue;
1758 }
1759 string c = reverseCountryMap[olson];
1760 const set<string>& aliases(i->second);
1761 for (set<string>::const_iterator j=aliases.begin();
1762 j != aliases.end(); ++j) {
1763 if (reverseCountryMap.find(*j) == reverseCountryMap.end()) {
1764 countryMap[c].insert(*j);
1765 reverseCountryMap[*j] = c;
1766 //cerr << "Aliased country: " << c << " <=> " << *j << endl;
1767 }
1768 }
1769 }
1770
1771 // Create a pseudo-country containing all zones belonging to no country
1772 set<string> nocountry;
1773 for (ZoneMap::iterator i=ZONEINFO.begin(); i!=ZONEINFO.end(); ++i) {
1774 if (reverseCountryMap.find(i->first) == reverseCountryMap.end()) {
1775 nocountry.insert(i->first);
1776 }
1777 }
1778 countryMap[""] = nocountry;
1779
1780 // Get local time & year for below
1781 time_t sec;
1782 time(&sec);
1783 struct tm* now = localtime(&sec);
1784
1785 string filename = TZ_RESOURCE_NAME + ".txt";
1786 // Write out a resource-bundle source file containing data for
1787 // all zones.
1788 ofstream file(filename.c_str());
1789 if (file) {
1790 file << "//---------------------------------------------------------" << endl
1791 << "// Copyright (C) 2016 and later: Unicode, Inc. and others." << endl
1792 << "// License & terms of use: http://www.unicode.org/copyright.html" << endl
1793 << "//---------------------------------------------------------" << endl
1794 << "// Build tool: tz2icu" << endl
1795 << "// Build date: " << asctime(now) /* << endl -- asctime emits CR */
1796 << "// tz database: ftp://ftp.iana.org/tz/" << endl
1797 << "// tz version: " << version << endl
1798 << "// ICU version: " << U_ICU_VERSION << endl
1799 << "//---------------------------------------------------------" << endl
1800 << "// >> !!! >> THIS IS A MACHINE-GENERATED FILE << !!! <<" << endl
1801 << "// >> !!! >>> DO NOT EDIT <<< !!! <<" << endl
1802 << "//---------------------------------------------------------" << endl
1803 << endl
1804 << TZ_RESOURCE_NAME << ":table(nofallback) {" << endl
1805 << " TZVersion { \"" << version << "\" }" << endl
1806 << " Zones:array { " << endl
1807 << ZONEINFO // Zones (the actual data)
1808 << " }" << endl;
1809
1810 // Names correspond to the Zones list, used for binary searching.
1811 printStringList ( file, ZONEINFO ); // print the Names list
1812
1813 // Final Rules are used if requested by the zone
1814 file << " Rules { " << endl;
1815 // Emit final rules
1816 int32_t frc = 0;
1817 for(map<string,FinalRule>::iterator i=finalRules.begin();
1818 i!=finalRules.end(); ++i) {
1819 const string& id = i->first;
1820 const FinalRule& r = i->second;
1821 file << " " << id << ":intvector {" << endl;
1822 r.print(file);
1823 file << " } //_#" << frc++ << endl;
1824 }
1825 file << " }" << endl;
1826
1827 // Emit country (region) map.
1828 if (ICU44PLUS) {
1829 file << " Regions:array {" << endl;
1830 int32_t zn = 0;
1831 for (ZoneMap::iterator i=ZONEINFO.begin(); i!=ZONEINFO.end(); ++i) {
1832 map<string, string>::iterator cit = reverseCountryMap.find(i->first);
1833 if (cit == reverseCountryMap.end()) {
1834 file << " \"001\",";
1835 } else {
1836 file << " \"" << cit->second << "\", ";
1837 }
1838 file << "//Z#" << zn++ << " " << i->first << endl;
1839 }
1840 file << " }" << endl;
1841 } else {
1842 file << " Regions { " << endl;
1843 int32_t rc = 0;
1844 for (map<string, set<string> >::const_iterator i=countryMap.begin();
1845 i != countryMap.end(); ++i) {
1846 string country = i->first;
1847 const set<string>& zones(i->second);
1848 file << " ";
1849 if(country[0]==0) {
1850 file << "Default";
1851 }
1852 file << country << ":intvector { ";
1853 bool first = true;
1854 for (set<string>::const_iterator j=zones.begin();
1855 j != zones.end(); ++j) {
1856 if (!first) file << ", ";
1857 first = false;
1858 if (zoneIDs.find(*j) == zoneIDs.end()) {
1859 cerr << "Error: Nonexistent zone in country map: " << *j << endl;
1860 return 1;
1861 }
1862 file << zoneIDs[*j]; // emit the zone's index number
1863 }
1864 file << " } //R#" << rc++ << endl;
1865 }
1866 file << " }" << endl;
1867 }
1868
1869 file << "}" << endl;
1870 }
1871
1872 file.close();
1873
1874 if (file) { // recheck error bit
1875 cout << "Finished writing " << TZ_RESOURCE_NAME << ".txt" << endl;
1876 } else {
1877 cerr << "Error: Unable to open/write to " << TZ_RESOURCE_NAME << ".txt" << endl;
1878 return 1;
1879 }
1880 }
1881 //eof
1882