make/jdk/src/classes/build/tools/tzdb/ZoneRules.java
author lana
Mon, 19 Mar 2018 21:52:50 +0000
changeset 49266 778e4516409c
parent 47216 71c04702a3d5
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     1
/*
35769
3715cd3e9095 8148570: TzdbZoneRulesCompiler.java throws Null Pointer Exception While Compiling and building TZDB data file
rpatil
parents: 25158
diff changeset
     2
 * Copyright (c) 2012, 2016, Oracle and/or its affiliates. All rights reserved.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     4
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    10
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    15
 * accompanied this code).
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    16
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    20
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    23
 * questions.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    24
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    25
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    26
/*
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    27
 * This file is available under and governed by the GNU General Public
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    28
 * License version 2 only, as published by the Free Software Foundation.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    29
 * However, the following notice accompanied the original version of this
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    30
 * file:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    31
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    32
 * Copyright (c) 2011-2012, Stephen Colebourne & Michael Nascimento Santos
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    33
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    34
 * All rights reserved.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    35
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    36
 * Redistribution and use in source and binary forms, with or without
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    37
 * modification, are permitted provided that the following conditions are met:
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    38
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    39
 *  * Redistributions of source code must retain the above copyright notice,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    40
 *    this list of conditions and the following disclaimer.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    41
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    42
 *  * Redistributions in binary form must reproduce the above copyright notice,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    43
 *    this list of conditions and the following disclaimer in the documentation
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    44
 *    and/or other materials provided with the distribution.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    45
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    46
 *  * Neither the name of JSR-310 nor the names of its contributors
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    47
 *    may be used to endorse or promote products derived from this software
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    48
 *    without specific prior written permission.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    49
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    50
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    51
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    52
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    53
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    54
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    55
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    56
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    57
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    58
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    59
 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    60
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    61
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    62
package build.tools.tzdb;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    63
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    64
import java.io.DataOutput;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    65
import java.io.IOException;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    66
import java.io.ObjectOutput;
25158
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
    67
import java.time.LocalDateTime;
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
    68
import java.time.LocalTime;
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
    69
import java.time.ZoneOffset;
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
    70
import java.time.zone.ZoneOffsetTransition;
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
    71
import java.time.zone.ZoneOffsetTransitionRule;
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
    72
import java.time.zone.ZoneOffsetTransitionRule.TimeDefinition;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    73
import java.util.Arrays;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    74
import java.util.ArrayList;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    75
import java.util.List;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    76
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    77
/**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    78
 * Duplicated code of javax.time.zone.ZoneRules, ZoneOffsetTransitionRule
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    79
 * and Ser to generate the serialization form output of ZoneRules for
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    80
 * tzdb.jar.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    81
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    82
 * Implementation here is the copy/paste of ZoneRules, ZoneOffsetTransitionRule
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    83
 * and Ser in javax.time.zone package. Make sure the code here is synchrionozed
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    84
 * with the serialization implementation there.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    85
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    86
 * @since 1.8
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    87
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    88
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    89
final class ZoneRules {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    90
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    91
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    92
     * The transitions between standard offsets (epoch seconds), sorted.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    93
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    94
    private final long[] standardTransitions;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    95
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    96
     * The standard offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    97
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    98
    private final ZoneOffset[] standardOffsets;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    99
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   100
     * The transitions between instants (epoch seconds), sorted.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   101
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   102
    private final long[] savingsInstantTransitions;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   103
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   104
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   105
     * The wall offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   106
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   107
    private final ZoneOffset[] wallOffsets;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   108
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   109
     * The last rule.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   110
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   111
    private final ZoneOffsetTransitionRule[] lastRules;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   112
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   113
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   114
     * Creates an instance.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   115
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   116
     * @param baseStandardOffset  the standard offset to use before legal rules were set, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   117
     * @param baseWallOffset  the wall offset to use before legal rules were set, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   118
     * @param standardOffsetTransitionList  the list of changes to the standard offset, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   119
     * @param transitionList  the list of transitions, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   120
     * @param lastRules  the recurring last rules, size 16 or less, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   121
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   122
    ZoneRules(ZoneOffset baseStandardOffset,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   123
              ZoneOffset baseWallOffset,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   124
              List<ZoneOffsetTransition> standardOffsetTransitionList,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   125
              List<ZoneOffsetTransition> transitionList,
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   126
              List<ZoneOffsetTransitionRule> lastRules) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   127
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   128
        this.standardTransitions = new long[standardOffsetTransitionList.size()];
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   129
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   130
        this.standardOffsets = new ZoneOffset[standardOffsetTransitionList.size() + 1];
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   131
        this.standardOffsets[0] = baseStandardOffset;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   132
        for (int i = 0; i < standardOffsetTransitionList.size(); i++) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   133
            this.standardTransitions[i] = standardOffsetTransitionList.get(i).toEpochSecond();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   134
            this.standardOffsets[i + 1] = standardOffsetTransitionList.get(i).getOffsetAfter();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   135
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   136
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   137
        // convert savings transitions to locals
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   138
        List<ZoneOffset> localTransitionOffsetList = new ArrayList<>();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   139
        localTransitionOffsetList.add(baseWallOffset);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   140
        for (ZoneOffsetTransition trans : transitionList) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   141
            localTransitionOffsetList.add(trans.getOffsetAfter());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   142
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   143
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   144
        this.wallOffsets = localTransitionOffsetList.toArray(new ZoneOffset[localTransitionOffsetList.size()]);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   145
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   146
        // convert savings transitions to instants
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   147
        this.savingsInstantTransitions = new long[transitionList.size()];
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   148
        for (int i = 0; i < transitionList.size(); i++) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   149
            this.savingsInstantTransitions[i] = transitionList.get(i).toEpochSecond();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   150
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   151
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   152
        // last rules
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   153
        if (lastRules.size() > 16) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   154
            throw new IllegalArgumentException("Too many transition rules");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   155
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   156
        this.lastRules = lastRules.toArray(new ZoneOffsetTransitionRule[lastRules.size()]);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   157
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   158
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   159
    /** Type for ZoneRules. */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   160
    static final byte ZRULES = 1;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   161
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   162
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   163
     * Writes the state to the stream.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   164
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   165
     * @param out  the output stream, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   166
     * @throws IOException if an error occurs
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   167
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   168
    void writeExternal(DataOutput out) throws IOException {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   169
        out.writeByte(ZRULES);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   170
        out.writeInt(standardTransitions.length);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   171
        for (long trans : standardTransitions) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   172
            writeEpochSec(trans, out);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   173
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   174
        for (ZoneOffset offset : standardOffsets) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   175
            writeOffset(offset, out);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   176
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   177
        out.writeInt(savingsInstantTransitions.length);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   178
        for (long trans : savingsInstantTransitions) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   179
            writeEpochSec(trans, out);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   180
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   181
        for (ZoneOffset offset : wallOffsets) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   182
            writeOffset(offset, out);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   183
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   184
        out.writeByte(lastRules.length);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   185
        for (ZoneOffsetTransitionRule rule : lastRules) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   186
            writeRule(rule, out);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   187
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   188
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   189
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   190
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   191
     * Writes the state the ZoneOffset to the stream.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   192
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   193
     * @param offset  the offset, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   194
     * @param out  the output stream, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   195
     * @throws IOException if an error occurs
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   196
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   197
    static void writeOffset(ZoneOffset offset, DataOutput out) throws IOException {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   198
        final int offsetSecs = offset.getTotalSeconds();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   199
        int offsetByte = offsetSecs % 900 == 0 ? offsetSecs / 900 : 127;  // compress to -72 to +72
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   200
        out.writeByte(offsetByte);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   201
        if (offsetByte == 127) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   202
            out.writeInt(offsetSecs);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   203
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   204
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   205
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   206
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   207
     * Writes the epoch seconds to the stream.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   208
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   209
     * @param epochSec  the epoch seconds, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   210
     * @param out  the output stream, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   211
     * @throws IOException if an error occurs
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   212
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   213
    static void writeEpochSec(long epochSec, DataOutput out) throws IOException {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   214
        if (epochSec >= -4575744000L && epochSec < 10413792000L && epochSec % 900 == 0) {  // quarter hours between 1825 and 2300
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   215
            int store = (int) ((epochSec + 4575744000L) / 900);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   216
            out.writeByte((store >>> 16) & 255);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   217
            out.writeByte((store >>> 8) & 255);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   218
            out.writeByte(store & 255);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   219
        } else {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   220
            out.writeByte(255);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   221
            out.writeLong(epochSec);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   222
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   223
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   224
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   225
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   226
     * Writes the state of the transition rule to the stream.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   227
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   228
     * @param rule  the transition rule, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   229
     * @param out  the output stream, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   230
     * @throws IOException if an error occurs
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   231
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   232
    static void writeRule(ZoneOffsetTransitionRule rule, DataOutput out) throws IOException {
25158
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   233
        int month = rule.getMonth().getValue();
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   234
        byte dom = (byte)rule.getDayOfMonthIndicator();
35769
3715cd3e9095 8148570: TzdbZoneRulesCompiler.java throws Null Pointer Exception While Compiling and building TZDB data file
rpatil
parents: 25158
diff changeset
   235
        int dow = (rule.getDayOfWeek() == null ? -1 : rule.getDayOfWeek().getValue());
25158
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   236
        LocalTime time = rule.getLocalTime();
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   237
        boolean timeEndOfDay = rule.isMidnightEndOfDay();
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   238
        TimeDefinition timeDefinition = rule.getTimeDefinition();
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   239
        ZoneOffset standardOffset = rule.getStandardOffset();
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   240
        ZoneOffset offsetBefore = rule.getOffsetBefore();
e76154c2c239 8042369: Remove duplicated java.time classes in build.tools.tzdb
sherman
parents: 21805
diff changeset
   241
        ZoneOffset offsetAfter = rule.getOffsetAfter();
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   242
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   243
        int timeSecs = (timeEndOfDay ? 86400 : time.toSecondOfDay());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   244
        int stdOffset = standardOffset.getTotalSeconds();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   245
        int beforeDiff = offsetBefore.getTotalSeconds() - stdOffset;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   246
        int afterDiff = offsetAfter.getTotalSeconds() - stdOffset;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   247
        int timeByte = (timeSecs % 3600 == 0 ? (timeEndOfDay ? 24 : time.getHour()) : 31);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   248
        int stdOffsetByte = (stdOffset % 900 == 0 ? stdOffset / 900 + 128 : 255);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   249
        int beforeByte = (beforeDiff == 0 || beforeDiff == 1800 || beforeDiff == 3600 ? beforeDiff / 1800 : 3);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   250
        int afterByte = (afterDiff == 0 || afterDiff == 1800 || afterDiff == 3600 ? afterDiff / 1800 : 3);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   251
        int dowByte = (dow == -1 ? 0 : dow);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   252
        int b = (month << 28) +                     // 4 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   253
                ((dom + 32) << 22) +                // 6 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   254
                (dowByte << 19) +                   // 3 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   255
                (timeByte << 14) +                  // 5 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   256
                (timeDefinition.ordinal() << 12) +  // 2 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   257
                (stdOffsetByte << 4) +              // 8 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   258
                (beforeByte << 2) +                 // 2 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   259
                afterByte;                          // 2 bytes
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   260
        out.writeInt(b);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   261
        if (timeByte == 31) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   262
            out.writeInt(timeSecs);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   263
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   264
        if (stdOffsetByte == 255) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   265
            out.writeInt(stdOffset);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   266
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   267
        if (beforeByte == 3) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   268
            out.writeInt(offsetBefore.getTotalSeconds());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   269
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   270
        if (afterByte == 3) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   271
            out.writeInt(offsetAfter.getTotalSeconds());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   272
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   273
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   274
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   275
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   276
     * Checks if this set of rules equals another.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   277
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   278
     * Two rule sets are equal if they will always result in the same output
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   279
     * for any given input instant or local date-time.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   280
     * Rules from two different groups may return false even if they are in fact the same.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   281
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   282
     * This definition should result in implementations comparing their entire state.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   283
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   284
     * @param otherRules  the other rules, null returns false
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   285
     * @return true if this rules is the same as that specified
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   286
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   287
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   288
    public boolean equals(Object otherRules) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   289
        if (this == otherRules) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   290
           return true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   291
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   292
        if (otherRules instanceof ZoneRules) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   293
            ZoneRules other = (ZoneRules) otherRules;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   294
            return Arrays.equals(standardTransitions, other.standardTransitions) &&
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   295
                    Arrays.equals(standardOffsets, other.standardOffsets) &&
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   296
                    Arrays.equals(savingsInstantTransitions, other.savingsInstantTransitions) &&
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   297
                    Arrays.equals(wallOffsets, other.wallOffsets) &&
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   298
                    Arrays.equals(lastRules, other.lastRules);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   299
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   300
        return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   301
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   302
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   303
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   304
     * Returns a suitable hash code given the definition of {@code #equals}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   305
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   306
     * @return the hash code
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   307
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   308
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   309
    public int hashCode() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   310
        return Arrays.hashCode(standardTransitions) ^
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   311
                Arrays.hashCode(standardOffsets) ^
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   312
                Arrays.hashCode(savingsInstantTransitions) ^
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   313
                Arrays.hashCode(wallOffsets) ^
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   314
                Arrays.hashCode(lastRules);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   315
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   316
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   317
}