src/java.base/share/classes/java/time/zone/ZoneRulesProvider.java
author rpatil
Wed, 26 Dec 2018 17:09:19 +0530
changeset 53120 de9fd809bb47
parent 50473 bef0ed237504
permissions -rw-r--r--
8214567: Use {@systemProperty} for definitions of system properties 8214569: Use {@systemProperty} for definitions of system properties Reviewed-by: lancea, mchung, alanb, naoto Contributed-by: Deepak kejriwal <deepak.kejriwal@oracle.com>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     1
/*
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
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) 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
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    64
import java.security.AccessController;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    65
import java.security.PrivilegedAction;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    66
import java.time.ZoneId;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    67
import java.time.ZonedDateTime;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    68
import java.util.ArrayList;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    69
import java.util.HashSet;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    70
import java.util.Iterator;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    71
import java.util.List;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    72
import java.util.NavigableMap;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    73
import java.util.Objects;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    74
import java.util.ServiceConfigurationError;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    75
import java.util.ServiceLoader;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    76
import java.util.Set;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    77
import java.util.concurrent.ConcurrentHashMap;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    78
import java.util.concurrent.ConcurrentMap;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    79
import java.util.concurrent.CopyOnWriteArrayList;
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
    80
import java.util.Collections;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    81
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    82
/**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    83
 * Provider of time-zone rules to the system.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    84
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    85
 * This class manages the configuration of time-zone rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    86
 * The static methods provide the public API that can be used to manage the providers.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    87
 * The abstract methods provide the SPI that allows rules to be provided.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    88
 * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    89
 * ZoneRulesProvider may be installed in an instance of the Java Platform as
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    90
 * extension classes, that is, jar files placed into any of the usual extension
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    91
 * directories. Installed providers are loaded using the service-provider loading
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    92
 * facility defined by the {@link ServiceLoader} class. A ZoneRulesProvider
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    93
 * identifies itself with a provider configuration file named
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    94
 * {@code java.time.zone.ZoneRulesProvider} in the resource directory
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    95
 * {@code META-INF/services}. The file should contain a line that specifies the
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    96
 * fully qualified concrete zonerules-provider class name.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    97
 * Providers may also be made available by adding them to the class path or by
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    98
 * registering themselves via {@link #registerProvider} method.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    99
 * <p>
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   100
 * The Java virtual machine has a default provider that provides zone rules
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   101
 * for the time-zones defined by IANA Time Zone Database (TZDB). If the system
53120
de9fd809bb47 8214567: Use {@systemProperty} for definitions of system properties
rpatil
parents: 50473
diff changeset
   102
 * property {@systemProperty java.time.zone.DefaultZoneRulesProvider} is defined then
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   103
 * it is taken to be the fully-qualified name of a concrete ZoneRulesProvider
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   104
 * class to be loaded as the default provider, using the system class loader.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   105
 * If this system property is not defined, a system-default provider will be
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   106
 * loaded to serve as the default provider.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   107
 * <p>
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   108
 * Rules are looked up primarily by zone ID, as used by {@link ZoneId}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   109
 * Only zone region IDs may be used, zone offset IDs are not used here.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   110
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   111
 * Time-zone rules are political, thus the data can change at any time.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   112
 * Each provider will provide the latest rules for each zone ID, but they
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   113
 * may also provide the history of how the rules changed.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   114
 *
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   115
 * @implSpec
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   116
 * This interface is a service provider that can be called by multiple threads.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   117
 * Implementations must be immutable and thread-safe.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   118
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   119
 * Providers must ensure that once a rule has been seen by the application, the
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   120
 * rule must continue to be available.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   121
 * <p>
50473
bef0ed237504 8204444: java.time cleanup
martin
parents: 47216
diff changeset
   122
 * Providers are encouraged to implement a meaningful {@code toString} method.
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   123
 * <p>
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   124
 * Many systems would like to update time-zone rules dynamically without stopping the JVM.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   125
 * When examined in detail, this is a complex problem.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   126
 * Providers may choose to handle dynamic updates, however the default provider does not.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   127
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   128
 * @since 1.8
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   129
 */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   130
public abstract class ZoneRulesProvider {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   131
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   132
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   133
     * The set of loaded providers.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   134
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   135
    private static final CopyOnWriteArrayList<ZoneRulesProvider> PROVIDERS = new CopyOnWriteArrayList<>();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   136
    /**
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   137
     * The lookup from zone ID to provider.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   138
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   139
    private static final ConcurrentMap<String, ZoneRulesProvider> ZONES = new ConcurrentHashMap<>(512, 0.75f, 2);
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   140
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   141
    /**
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   142
     * The zone ID data
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   143
     */
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   144
    private static volatile Set<String> ZONE_IDS;
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   145
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   146
    static {
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   147
        // if the property java.time.zone.DefaultZoneRulesProvider is
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   148
        // set then its value is the class name of the default provider
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   149
        final List<ZoneRulesProvider> loaded = new ArrayList<>();
29986
97167d851fc4 8078467: Update core libraries to use diamond with anonymous classes
darcy
parents: 25859
diff changeset
   150
        AccessController.doPrivileged(new PrivilegedAction<>() {
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   151
            public Object run() {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   152
                String prop = System.getProperty("java.time.zone.DefaultZoneRulesProvider");
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   153
                if (prop != null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   154
                    try {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   155
                        Class<?> c = Class.forName(prop, true, ClassLoader.getSystemClassLoader());
37782
ad8fe7507ecc 6850612: Deprecate Class.newInstance since it violates the checked exception language contract
darcy
parents: 29986
diff changeset
   156
                        @SuppressWarnings("deprecation")
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   157
                        ZoneRulesProvider provider = ZoneRulesProvider.class.cast(c.newInstance());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   158
                        registerProvider(provider);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   159
                        loaded.add(provider);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   160
                    } catch (Exception x) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   161
                        throw new Error(x);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   162
                    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   163
                } else {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   164
                    registerProvider(new TzdbZoneRulesProvider());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   165
                }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   166
                return null;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   167
            }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   168
        });
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   169
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   170
        ServiceLoader<ZoneRulesProvider> sl = ServiceLoader.load(ZoneRulesProvider.class, ClassLoader.getSystemClassLoader());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   171
        Iterator<ZoneRulesProvider> it = sl.iterator();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   172
        while (it.hasNext()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   173
            ZoneRulesProvider provider;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   174
            try {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   175
                provider = it.next();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   176
            } catch (ServiceConfigurationError ex) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   177
                if (ex.getCause() instanceof SecurityException) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   178
                    continue;  // ignore the security exception, try the next provider
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   179
                }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   180
                throw ex;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   181
            }
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   182
            boolean found = false;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   183
            for (ZoneRulesProvider p : loaded) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   184
                if (p.getClass() == provider.getClass()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   185
                    found = true;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   186
                }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   187
            }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   188
            if (!found) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   189
                registerProvider0(provider);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   190
                loaded.add(provider);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   191
            }
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   192
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   193
        // CopyOnWriteList could be slow if lots of providers and each added individually
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   194
        PROVIDERS.addAll(loaded);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   195
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   196
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   197
    //-------------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   198
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   199
     * Gets the set of available zone IDs.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   200
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   201
     * These IDs are the string form of a {@link ZoneId}.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   202
     *
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   203
     * @return the unmodifiable set of zone IDs, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   204
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   205
    public static Set<String> getAvailableZoneIds() {
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   206
        return ZONE_IDS;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   207
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   208
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   209
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   210
     * Gets the rules for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   211
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   212
     * This returns the latest available rules for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   213
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   214
     * This method relies on time-zone data provider files that are configured.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   215
     * These are loaded using a {@code ServiceLoader}.
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   216
     * <p>
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   217
     * The caching flag is designed to allow provider implementations to
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   218
     * prevent the rules being cached in {@code ZoneId}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   219
     * Under normal circumstances, the caching of zone rules is highly desirable
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   220
     * as it will provide greater performance. However, there is a use case where
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   221
     * the caching would not be desirable, see {@link #provideRules}.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   222
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   223
     * @param zoneId the zone ID as defined by {@code ZoneId}, not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   224
     * @param forCaching whether the rules are being queried for caching,
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   225
     * true if the returned rules will be cached by {@code ZoneId},
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   226
     * false if they will be returned to the user without being cached in {@code ZoneId}
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   227
     * @return the rules, null if {@code forCaching} is true and this
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   228
     * is a dynamic provider that wants to prevent caching in {@code ZoneId},
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   229
     * otherwise not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   230
     * @throws ZoneRulesException if rules cannot be obtained for the zone ID
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   231
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   232
    public static ZoneRules getRules(String zoneId, boolean forCaching) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   233
        Objects.requireNonNull(zoneId, "zoneId");
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   234
        return getProvider(zoneId).provideRules(zoneId, forCaching);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   235
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   236
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   237
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   238
     * Gets the history of rules for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   239
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   240
     * Time-zones are defined by governments and change frequently.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   241
     * This method allows applications to find the history of changes to the
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   242
     * rules for a single zone ID. The map is keyed by a string, which is the
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   243
     * version string associated with the rules.
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
     * The exact meaning and format of the version is provider specific.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   246
     * The version must follow lexicographical order, thus the returned map will
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   247
     * be order from the oldest known rules to the newest available rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   248
     * The default 'TZDB' group uses version numbering consisting of the year
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   249
     * followed by a letter, such as '2009e' or '2012f'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   250
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   251
     * Implementations must provide a result for each valid zone ID, however
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   252
     * they do not have to provide a history of rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   253
     * Thus the map will always contain one element, and will only contain more
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   254
     * than one element if historical rule information is available.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   255
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   256
     * @param zoneId  the zone ID as defined by {@code ZoneId}, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   257
     * @return a modifiable copy of the history of the rules for the ID, sorted
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   258
     *  from oldest to newest, not null
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   259
     * @throws ZoneRulesException if history cannot be obtained for the zone ID
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   260
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   261
    public static NavigableMap<String, ZoneRules> getVersions(String zoneId) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   262
        Objects.requireNonNull(zoneId, "zoneId");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   263
        return getProvider(zoneId).provideVersions(zoneId);
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
     * Gets the provider for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   268
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   269
     * @param zoneId  the zone ID as defined by {@code ZoneId}, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   270
     * @return the provider, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   271
     * @throws ZoneRulesException if the zone ID is unknown
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   272
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   273
    private static ZoneRulesProvider getProvider(String zoneId) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   274
        ZoneRulesProvider provider = ZONES.get(zoneId);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   275
        if (provider == null) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   276
            if (ZONES.isEmpty()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   277
                throw new ZoneRulesException("No time-zone data files registered");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   278
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   279
            throw new ZoneRulesException("Unknown time-zone ID: " + zoneId);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   280
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   281
        return provider;
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
    //-------------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   285
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   286
     * Registers a zone rules provider.
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
     * This adds a new provider to those currently available.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   289
     * A provider supplies rules for one or more zone IDs.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   290
     * A provider cannot be registered if it supplies a zone ID that has already been
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   291
     * registered. See the notes on time-zone IDs in {@link ZoneId}, especially
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   292
     * the section on using the concept of a "group" to make IDs unique.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   293
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   294
     * To ensure the integrity of time-zones already created, there is no way
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   295
     * to deregister providers.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   296
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   297
     * @param provider  the provider to register, not null
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   298
     * @throws ZoneRulesException if a zone ID is already registered
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   299
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   300
    public static void registerProvider(ZoneRulesProvider provider) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   301
        Objects.requireNonNull(provider, "provider");
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   302
        registerProvider0(provider);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   303
        PROVIDERS.add(provider);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   304
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   305
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   306
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   307
     * Registers the provider.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   308
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   309
     * @param provider  the provider to register, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   310
     * @throws ZoneRulesException if unable to complete the registration
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   311
     */
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   312
    private static synchronized void registerProvider0(ZoneRulesProvider provider) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   313
        for (String zoneId : provider.provideZoneIds()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   314
            Objects.requireNonNull(zoneId, "zoneId");
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   315
            ZoneRulesProvider old = ZONES.putIfAbsent(zoneId, provider);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   316
            if (old != null) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   317
                throw new ZoneRulesException(
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   318
                    "Unable to register zone as one already registered with that ID: " + zoneId +
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   319
                    ", currently loading from provider: " + provider);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   320
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   321
        }
42172
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   322
        Set<String> combinedSet = new HashSet<String>(ZONES.keySet());
979e37105f59 8066291: Return unmodifiable set of zone IDs to optimize ZoneIdPrinterParser
bgopularam
parents: 37782
diff changeset
   323
        ZONE_IDS = Collections.unmodifiableSet(combinedSet);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   324
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   325
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   326
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   327
     * Refreshes the rules from the underlying data provider.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   328
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   329
     * This method allows an application to request that the providers check
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   330
     * for any updates to the provided rules.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   331
     * After calling this method, the offset stored in any {@link ZonedDateTime}
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   332
     * may be invalid for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   333
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   334
     * Dynamic update of rules is a complex problem and most applications
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   335
     * should not use this method or dynamic rules.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   336
     * To achieve dynamic rules, a provider implementation will have to be written
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   337
     * as per the specification of this class.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   338
     * In addition, instances of {@code ZoneRules} must not be cached in the
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   339
     * application as they will become stale. However, the boolean flag on
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   340
     * {@link #provideRules(String, boolean)} allows provider implementations
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   341
     * to control the caching of {@code ZoneId}, potentially ensuring that
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   342
     * all objects in the system see the new rules.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   343
     * Note that there is likely to be a cost in performance of a dynamic rules
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   344
     * provider. Note also that no dynamic rules provider is in this specification.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   345
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   346
     * @return true if the rules were updated
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   347
     * @throws ZoneRulesException if an error occurs during the refresh
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   348
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   349
    public static boolean refresh() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   350
        boolean changed = false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   351
        for (ZoneRulesProvider provider : PROVIDERS) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   352
            changed |= provider.provideRefresh();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   353
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   354
        return changed;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   355
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   356
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   357
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   358
     * Constructor.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   359
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   360
    protected ZoneRulesProvider() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   361
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   362
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   363
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   364
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   365
     * SPI method to get the available zone IDs.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   366
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   367
     * This obtains the IDs that this {@code ZoneRulesProvider} provides.
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   368
     * A provider should provide data for at least one zone ID.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   369
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   370
     * The returned zone IDs remain available and valid for the lifetime of the application.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   371
     * A dynamic provider may increase the set of IDs as more data becomes available.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   372
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   373
     * @return the set of zone IDs being provided, not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   374
     * @throws ZoneRulesException if a problem occurs while providing the IDs
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   375
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   376
    protected abstract Set<String> provideZoneIds();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   377
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   378
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   379
     * SPI method to get the rules for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   380
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   381
     * This loads the rules for the specified zone ID.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   382
     * The provider implementation must validate that the zone ID is valid and
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   383
     * available, throwing a {@code ZoneRulesException} if it is not.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   384
     * The result of the method in the valid case depends on the caching flag.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   385
     * <p>
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   386
     * If the provider implementation is not dynamic, then the result of the
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   387
     * method must be the non-null set of rules selected by the ID.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   388
     * <p>
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   389
     * If the provider implementation is dynamic, then the flag gives the option
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   390
     * of preventing the returned rules from being cached in {@link ZoneId}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   391
     * When the flag is true, the provider is permitted to return null, where
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   392
     * null will prevent the rules from being cached in {@code ZoneId}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   393
     * When the flag is false, the provider must return non-null rules.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   394
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   395
     * @param zoneId the zone ID as defined by {@code ZoneId}, not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   396
     * @param forCaching whether the rules are being queried for caching,
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   397
     * true if the returned rules will be cached by {@code ZoneId},
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   398
     * false if they will be returned to the user without being cached in {@code ZoneId}
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   399
     * @return the rules, null if {@code forCaching} is true and this
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   400
     * is a dynamic provider that wants to prevent caching in {@code ZoneId},
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   401
     * otherwise not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   402
     * @throws ZoneRulesException if rules cannot be obtained for the zone ID
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   403
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   404
    protected abstract ZoneRules provideRules(String zoneId, boolean forCaching);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   405
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   406
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   407
     * SPI method to get the history of rules for the zone ID.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   408
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   409
     * This returns a map of historical rules keyed by a version string.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   410
     * The exact meaning and format of the version is provider specific.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   411
     * The version must follow lexicographical order, thus the returned map will
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   412
     * be order from the oldest known rules to the newest available rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   413
     * The default 'TZDB' group uses version numbering consisting of the year
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   414
     * followed by a letter, such as '2009e' or '2012f'.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   415
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   416
     * Implementations must provide a result for each valid zone ID, however
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   417
     * they do not have to provide a history of rules.
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   418
     * Thus the map will contain at least one element, and will only contain
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   419
     * more than one element if historical rule information is available.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   420
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   421
     * The returned versions remain available and valid for the lifetime of the application.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   422
     * A dynamic provider may increase the set of versions as more data becomes available.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   423
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   424
     * @param zoneId  the zone ID as defined by {@code ZoneId}, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   425
     * @return a modifiable copy of the history of the rules for the ID, sorted
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   426
     *  from oldest to newest, not null
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   427
     * @throws ZoneRulesException if history cannot be obtained for the zone ID
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   428
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   429
    protected abstract NavigableMap<String, ZoneRules> provideVersions(String zoneId);
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
     * SPI method to refresh the rules from the underlying data provider.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   433
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   434
     * This method provides the opportunity for a provider to dynamically
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   435
     * recheck the underlying data provider to find the latest rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   436
     * This could be used to load new rules without stopping the JVM.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   437
     * Dynamic behavior is entirely optional and most providers do not support it.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   438
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   439
     * This implementation returns false.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   440
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   441
     * @return true if the rules were updated
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   442
     * @throws ZoneRulesException if an error occurs during the refresh
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   443
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   444
    protected boolean provideRefresh() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   445
        return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   446
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   447
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   448
}