/** * Traditionally, Unix systems have one file per time zone. We have one big data file, which * is just a concatenation of regular time zone files. To allow random access into this big * data file, we also have an index. We read the index at startup, and keep it in memory so * we can binary search by id when we need time zone data. * * The format of this file is, I believe, Android's own, and undocumented. * * All this code assumes strings are US-ASCII. */ private static void readIndex() { try { readIndexMulti(); } catch (Exception ex) { throw new AssertionError(ex); } zoneInfos = new ZoneInfo[ids.length]; }
/** * Traditionally, Unix systems have one file per time zone. We have one big data file, which * is just a concatenation of regular time zone files. To allow random access into this big * data file, we also have an index. We read the index at startup, and keep it in memory so * we can binary search by id when we need time zone data. * * The format of this file is, I believe, Android's own, and undocumented. * * All this code assumes strings are US-ASCII. */ private static void readIndex() { try { readIndexMulti(); } catch (Exception ex) { throw new AssertionError(ex); } zoneInfos = new ZoneInfo[ids.length]; }
/** * Traditionally, Unix systems have one file per time zone. We have one big data file, which * is just a concatenation of regular time zone files. To allow random access into this big * data file, we also have an index. We read the index at startup, and keep it in memory so * we can binary search by id when we need time zone data. * * The format of this file is, I believe, Android's own, and undocumented. * * All this code assumes strings are US-ASCII. */ private static void readIndex() { try { readIndexMulti(); } catch (Exception ex) { throw new AssertionError(ex); } zoneInfos = new ZoneInfo[ids.length]; }
/** * Traditionally, Unix systems have one file per time zone. We have one big data file, which * is just a concatenation of regular time zone files. To allow random access into this big * data file, we also have an index. We read the index at startup, and keep it in memory so * we can binary search by id when we need time zone data. * * The format of this file is, I believe, Android's own, and undocumented. * * All this code assumes strings are US-ASCII. */ private static void readIndex() { try { readIndexMulti(); } catch (Exception ex) { throw new AssertionError(ex); } zoneInfos = new ZoneInfo[ids.length]; }
/** * Traditionally, Unix systems have one file per time zone. We have one big data file, which * is just a concatenation of regular time zone files. To allow random access into this big * data file, we also have an index. We read the index at startup, and keep it in memory so * we can binary search by id when we need time zone data. * * The format of this file is, I believe, Android's own, and undocumented. * * All this code assumes strings are US-ASCII. */ private static void readIndex() { try { readIndexMulti(); } catch (Exception ex) { throw new AssertionError(ex); } zoneInfos = new ZoneInfo[ids.length]; }