jdk/src/java.base/share/classes/java/time/zone/ZoneOffsetTransition.java
author plevart
Thu, 04 Jun 2015 10:58:17 +0200
changeset 30960 016d47557b45
parent 30321 ec4de14b3161
child 41482 05e75e5f3afb
permissions -rw-r--r--
8079063: ZoneOffsetTransitionRule.of should throw IAE for non-zero nanoseconds Reviewed-by: rriggs, scolebourne
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     1
/*
30960
016d47557b45 8079063: ZoneOffsetTransitionRule.of should throw IAE for non-zero nanoseconds
plevart
parents: 30321
diff changeset
     2
 * Copyright (c) 2012, 2015, 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) 2009-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 java.time.zone;
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.DataInput;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    65
import java.io.DataOutput;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    66
import java.io.IOException;
19841
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
    67
import java.io.InvalidObjectException;
22081
86eb26ff8f2b 8030002: Enhance deserialization using readObject
rriggs
parents: 21331
diff changeset
    68
import java.io.ObjectInputStream;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    69
import java.io.Serializable;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    70
import java.time.Duration;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    71
import java.time.Instant;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    72
import java.time.LocalDateTime;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    73
import java.time.ZoneOffset;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    74
import java.util.Arrays;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    75
import java.util.Collections;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    76
import java.util.List;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    77
import java.util.Objects;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    78
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    79
/**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    80
 * A transition between two offsets caused by a discontinuity in the local time-line.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    81
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    82
 * A transition between two offsets is normally the result of a daylight savings cutover.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    83
 * The discontinuity is normally a gap in spring and an overlap in autumn.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    84
 * {@code ZoneOffsetTransition} models the transition between the two offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    85
 * <p>
24256
da9a41004459 8034906: Fix typos, errors and Javadoc differences in java.time
scolebourne
parents: 22566
diff changeset
    86
 * Gaps occur where there are local date-times that simply do not exist.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    87
 * An example would be when the offset changes from {@code +03:00} to {@code +04:00}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    88
 * This might be described as 'the clocks will move forward one hour tonight at 1am'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    89
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    90
 * Overlaps occur where there are local date-times that exist twice.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    91
 * An example would be when the offset changes from {@code +04:00} to {@code +03:00}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    92
 * This might be described as 'the clocks will move back one hour tonight at 2am'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    93
 *
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
    94
 * @implSpec
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    95
 * This class is immutable and thread-safe.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    96
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    97
 * @since 1.8
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    98
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    99
public final class ZoneOffsetTransition
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   100
        implements Comparable<ZoneOffsetTransition>, Serializable {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   101
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   102
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   103
     * Serialization version.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   104
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   105
    private static final long serialVersionUID = -6946044323557704546L;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   106
    /**
30321
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   107
     * The transition epoch-second.
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   108
     */
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   109
    private final long epochSecond;
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   110
    /**
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   111
     * The local transition date-time at the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   112
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   113
    private final LocalDateTime transition;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   114
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   115
     * The offset before transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   116
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   117
    private final ZoneOffset offsetBefore;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   118
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   119
     * The offset after transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   120
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   121
    private final ZoneOffset offsetAfter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   122
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   123
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   124
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   125
     * Obtains an instance defining a transition between two offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   126
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   127
     * Applications should normally obtain an instance from {@link ZoneRules}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   128
     * This factory is only intended for use when creating {@link ZoneRules}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   129
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   130
     * @param transition  the transition date-time at the transition, which never
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   131
     *  actually occurs, expressed local to the before offset, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   132
     * @param offsetBefore  the offset before the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   133
     * @param offsetAfter  the offset at and after the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   134
     * @return the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   135
     * @throws IllegalArgumentException if {@code offsetBefore} and {@code offsetAfter}
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   136
     *         are equal, or {@code transition.getNano()} returns non-zero value
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   137
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   138
    public static ZoneOffsetTransition of(LocalDateTime transition, ZoneOffset offsetBefore, ZoneOffset offsetAfter) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   139
        Objects.requireNonNull(transition, "transition");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   140
        Objects.requireNonNull(offsetBefore, "offsetBefore");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   141
        Objects.requireNonNull(offsetAfter, "offsetAfter");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   142
        if (offsetBefore.equals(offsetAfter)) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   143
            throw new IllegalArgumentException("Offsets must not be equal");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   144
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   145
        if (transition.getNano() != 0) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   146
            throw new IllegalArgumentException("Nano-of-second must be zero");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   147
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   148
        return new ZoneOffsetTransition(transition, offsetBefore, offsetAfter);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   149
    }
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
     * Creates an instance defining a transition between two offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   153
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   154
     * @param transition  the transition date-time with the offset before the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   155
     * @param offsetBefore  the offset before the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   156
     * @param offsetAfter  the offset at and after the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   157
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   158
    ZoneOffsetTransition(LocalDateTime transition, ZoneOffset offsetBefore, ZoneOffset offsetAfter) {
30960
016d47557b45 8079063: ZoneOffsetTransitionRule.of should throw IAE for non-zero nanoseconds
plevart
parents: 30321
diff changeset
   159
        assert transition.getNano() == 0;
30321
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   160
        this.epochSecond = transition.toEpochSecond(offsetBefore);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   161
        this.transition = transition;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   162
        this.offsetBefore = offsetBefore;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   163
        this.offsetAfter = offsetAfter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   164
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   165
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   166
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   167
     * Creates an instance from epoch-second and offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   168
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   169
     * @param epochSecond  the transition epoch-second
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   170
     * @param offsetBefore  the offset before the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   171
     * @param offsetAfter  the offset at and after the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   172
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   173
    ZoneOffsetTransition(long epochSecond, ZoneOffset offsetBefore, ZoneOffset offsetAfter) {
30321
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   174
        this.epochSecond = epochSecond;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   175
        this.transition = LocalDateTime.ofEpochSecond(epochSecond, 0, offsetBefore);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   176
        this.offsetBefore = offsetBefore;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   177
        this.offsetAfter = offsetAfter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   178
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   179
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   180
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   181
    /**
19841
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   182
     * Defend against malicious streams.
22566
4ebe53dd7814 8032502: java.time add @param tags to readObject
rriggs
parents: 22081
diff changeset
   183
     *
4ebe53dd7814 8032502: java.time add @param tags to readObject
rriggs
parents: 22081
diff changeset
   184
     * @param s the stream to read
19841
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   185
     * @throws InvalidObjectException always
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   186
     */
22081
86eb26ff8f2b 8030002: Enhance deserialization using readObject
rriggs
parents: 21331
diff changeset
   187
    private void readObject(ObjectInputStream s) throws InvalidObjectException {
19841
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   188
        throw new InvalidObjectException("Deserialization via serialization delegate");
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   189
    }
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   190
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   191
    /**
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   192
     * Writes the object using a
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   193
     * <a href="../../../serialized-form.html#java.time.zone.Ser">dedicated serialized form</a>.
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   194
     * @serialData
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   195
     * Refer to the serialized form of
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   196
     * <a href="../../../serialized-form.html#java.time.zone.ZoneRules">ZoneRules.writeReplace</a>
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   197
     * for the encoding of epoch seconds and offsets.
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   198
     * <pre style="font-size:1.0em">{@code
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   199
     *
19841
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   200
     *   out.writeByte(2);                // identifies a ZoneOffsetTransition
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   201
     *   out.writeEpochSec(toEpochSecond);
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   202
     *   out.writeOffset(offsetBefore);
21331
8ee181e7e48b 8024686: Cleanup of java.time serialization source
rriggs
parents: 19841
diff changeset
   203
     *   out.writeOffset(offsetAfter);
19841
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   204
     * }
15c8e97d6a14 8024164: JSR310 serialization should be described in details
rriggs
parents: 17474
diff changeset
   205
     * </pre>
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   206
     * @return the replacing object, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   207
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   208
    private Object writeReplace() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   209
        return new Ser(Ser.ZOT, this);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   210
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   211
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   212
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   213
     * Writes the state to the stream.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   214
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   215
     * @param out  the output stream, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   216
     * @throws IOException if an error occurs
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   217
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   218
    void writeExternal(DataOutput out) throws IOException {
30321
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   219
        Ser.writeEpochSec(epochSecond, out);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   220
        Ser.writeOffset(offsetBefore, out);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   221
        Ser.writeOffset(offsetAfter, out);
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
     * Reads the state from the stream.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   226
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   227
     * @param in  the input stream, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   228
     * @return the created object, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   229
     * @throws IOException if an error occurs
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   230
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   231
    static ZoneOffsetTransition readExternal(DataInput in) throws IOException {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   232
        long epochSecond = Ser.readEpochSec(in);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   233
        ZoneOffset before = Ser.readOffset(in);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   234
        ZoneOffset after = Ser.readOffset(in);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   235
        if (before.equals(after)) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   236
            throw new IllegalArgumentException("Offsets must not be equal");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   237
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   238
        return new ZoneOffsetTransition(epochSecond, before, after);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   239
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   240
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   241
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   242
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   243
     * Gets the transition instant.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   244
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   245
     * This is the instant of the discontinuity, which is defined as the first
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   246
     * instant that the 'after' offset applies.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   247
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   248
     * The methods {@link #getInstant()}, {@link #getDateTimeBefore()} and {@link #getDateTimeAfter()}
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   249
     * all represent the same instant.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   250
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   251
     * @return the transition instant, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   252
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   253
    public Instant getInstant() {
30960
016d47557b45 8079063: ZoneOffsetTransitionRule.of should throw IAE for non-zero nanoseconds
plevart
parents: 30321
diff changeset
   254
        return Instant.ofEpochSecond(epochSecond);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   255
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   256
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   257
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   258
     * Gets the transition instant as an epoch second.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   259
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   260
     * @return the transition epoch second
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   261
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   262
    public long toEpochSecond() {
30321
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   263
        return epochSecond;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   264
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   265
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   266
    //-------------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   267
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   268
     * Gets the local transition date-time, as would be expressed with the 'before' offset.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   269
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   270
     * This is the date-time where the discontinuity begins expressed with the 'before' offset.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   271
     * At this instant, the 'after' offset is actually used, therefore the combination of this
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   272
     * date-time and the 'before' offset will never occur.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   273
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   274
     * The combination of the 'before' date-time and offset represents the same instant
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   275
     * as the 'after' date-time and offset.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   276
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   277
     * @return the transition date-time expressed with the before offset, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   278
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   279
    public LocalDateTime getDateTimeBefore() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   280
        return transition;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   281
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   282
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   283
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   284
     * Gets the local transition date-time, as would be expressed with the 'after' offset.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   285
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   286
     * This is the first date-time after the discontinuity, when the new offset applies.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   287
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   288
     * The combination of the 'before' date-time and offset represents the same instant
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   289
     * as the 'after' date-time and offset.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   290
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   291
     * @return the transition date-time expressed with the after offset, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   292
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   293
    public LocalDateTime getDateTimeAfter() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   294
        return transition.plusSeconds(getDurationSeconds());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   295
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   296
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   297
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   298
     * Gets the offset before the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   299
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   300
     * This is the offset in use before the instant of the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   301
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   302
     * @return the offset before the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   303
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   304
    public ZoneOffset getOffsetBefore() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   305
        return offsetBefore;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   306
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   307
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   308
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   309
     * Gets the offset after the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   310
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   311
     * This is the offset in use on and after the instant of the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   312
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   313
     * @return the offset after the transition, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   314
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   315
    public ZoneOffset getOffsetAfter() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   316
        return offsetAfter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   317
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   318
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   319
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   320
     * Gets the duration of the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   321
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   322
     * In most cases, the transition duration is one hour, however this is not always the case.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   323
     * The duration will be positive for a gap and negative for an overlap.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   324
     * Time-zones are second-based, so the nanosecond part of the duration will be zero.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   325
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   326
     * @return the duration of the transition, positive for gaps, negative for overlaps
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   327
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   328
    public Duration getDuration() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   329
        return Duration.ofSeconds(getDurationSeconds());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   330
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   331
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   332
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   333
     * Gets the duration of the transition in seconds.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   334
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   335
     * @return the duration in seconds
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   336
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   337
    private int getDurationSeconds() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   338
        return getOffsetAfter().getTotalSeconds() - getOffsetBefore().getTotalSeconds();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   339
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   340
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   341
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   342
     * Does this transition represent a gap in the local time-line.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   343
     * <p>
24256
da9a41004459 8034906: Fix typos, errors and Javadoc differences in java.time
scolebourne
parents: 22566
diff changeset
   344
     * Gaps occur where there are local date-times that simply do not exist.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   345
     * An example would be when the offset changes from {@code +01:00} to {@code +02:00}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   346
     * This might be described as 'the clocks will move forward one hour tonight at 1am'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   347
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   348
     * @return true if this transition is a gap, false if it is an overlap
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   349
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   350
    public boolean isGap() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   351
        return getOffsetAfter().getTotalSeconds() > getOffsetBefore().getTotalSeconds();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   352
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   353
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   354
    /**
16852
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15289
diff changeset
   355
     * Does this transition represent an overlap in the local time-line.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   356
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   357
     * Overlaps occur where there are local date-times that exist twice.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   358
     * An example would be when the offset changes from {@code +02:00} to {@code +01:00}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   359
     * This might be described as 'the clocks will move back one hour tonight at 2am'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   360
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   361
     * @return true if this transition is an overlap, false if it is a gap
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   362
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   363
    public boolean isOverlap() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   364
        return getOffsetAfter().getTotalSeconds() < getOffsetBefore().getTotalSeconds();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   365
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   366
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   367
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   368
     * Checks if the specified offset is valid during this transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   369
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   370
     * This checks to see if the given offset will be valid at some point in the transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   371
     * A gap will always return false.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   372
     * An overlap will return true if the offset is either the before or after offset.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   373
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   374
     * @param offset  the offset to check, null returns false
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   375
     * @return true if the offset is valid during the transition
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   376
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   377
    public boolean isValidOffset(ZoneOffset offset) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   378
        return isGap() ? false : (getOffsetBefore().equals(offset) || getOffsetAfter().equals(offset));
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   379
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   380
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   381
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   382
     * Gets the valid offsets during this transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   383
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   384
     * A gap will return an empty list, while an overlap will return both offsets.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   385
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   386
     * @return the list of valid offsets
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   387
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   388
    List<ZoneOffset> getValidOffsets() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   389
        if (isGap()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   390
            return Collections.emptyList();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   391
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   392
        return Arrays.asList(getOffsetBefore(), getOffsetAfter());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   393
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   394
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   395
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   396
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   397
     * Compares this transition to another based on the transition instant.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   398
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   399
     * This compares the instants of each transition.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   400
     * The offsets are ignored, making this order inconsistent with equals.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   401
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   402
     * @param transition  the transition to compare to, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   403
     * @return the comparator value, negative if less, positive if greater
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   404
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   405
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   406
    public int compareTo(ZoneOffsetTransition transition) {
30960
016d47557b45 8079063: ZoneOffsetTransitionRule.of should throw IAE for non-zero nanoseconds
plevart
parents: 30321
diff changeset
   407
        return Long.compare(epochSecond, transition.epochSecond);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   408
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   409
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   410
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   411
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   412
     * Checks if this object equals another.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   413
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   414
     * The entire state of the object is compared.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   415
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   416
     * @param other  the other object to compare to, null returns false
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   417
     * @return true if equal
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   418
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   419
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   420
    public boolean equals(Object other) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   421
        if (other == this) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   422
            return true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   423
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   424
        if (other instanceof ZoneOffsetTransition) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   425
            ZoneOffsetTransition d = (ZoneOffsetTransition) other;
30321
ec4de14b3161 8074003: java.time.zone.ZoneRules.getOffset(java.time.Instant) can be optimized
plevart
parents: 25859
diff changeset
   426
            return epochSecond == d.epochSecond &&
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   427
                offsetBefore.equals(d.offsetBefore) && offsetAfter.equals(d.offsetAfter);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   428
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   429
        return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   430
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   431
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   432
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   433
     * Returns a suitable hash code.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   434
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   435
     * @return the hash code
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   436
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   437
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   438
    public int hashCode() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   439
        return transition.hashCode() ^ offsetBefore.hashCode() ^ Integer.rotateLeft(offsetAfter.hashCode(), 16);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   440
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   441
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   442
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   443
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   444
     * Returns a string describing this object.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   445
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   446
     * @return a string for debugging, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   447
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   448
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   449
    public String toString() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   450
        StringBuilder buf = new StringBuilder();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   451
        buf.append("Transition[")
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   452
            .append(isGap() ? "Gap" : "Overlap")
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   453
            .append(" at ")
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   454
            .append(transition)
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   455
            .append(offsetBefore)
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   456
            .append(" to ")
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   457
            .append(offsetAfter)
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   458
            .append(']');
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   459
        return buf.toString();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   460
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   461
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   462
}