private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }
private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }
private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }
private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }
private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }
private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }
private void readHeader() { // byte[12] tzdata_version -- "tzdata2012f\0" // int index_offset // int data_offset // int zonetab_offset BufferIterator it = mappedFile.bigEndianIterator(); byte[] tzdata_version = new byte[12]; it.readByteArray(tzdata_version, 0, tzdata_version.length); String magic = new String(tzdata_version, 0, 6, StandardCharsets.US_ASCII); if (!magic.equals("tzdata") || tzdata_version[11] != 0) { throw new RuntimeException("bad tzdata magic: " + Arrays.toString(tzdata_version)); } version = new String(tzdata_version, 6, 5, StandardCharsets.US_ASCII); int index_offset = it.readInt(); int data_offset = it.readInt(); int zonetab_offset = it.readInt(); readIndex(it, index_offset, data_offset); readZoneTab(it, zonetab_offset, (int) mappedFile.size() - zonetab_offset); }