src/java.base/share/classes/sun/util/resources/ParallelListResourceBundle.java
author michaelm
Thu, 14 Nov 2019 15:01:49 +0000
branchunixdomainchannels
changeset 59082 5e250ee9259e
parent 47216 71c04702a3d5
permissions -rw-r--r--
unixdomainchannels: fix some sockaddr_un address handling
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16852
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     1
/*
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     2
 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     4
 *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    10
 *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    15
 * accompanied this code).
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    16
 *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    20
 *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    23
 * questions.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    24
 */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    25
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    26
package sun.util.resources;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    27
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    28
import java.util.AbstractSet;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    29
import java.util.Collections;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    30
import java.util.Enumeration;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    31
import java.util.HashSet;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    32
import java.util.Iterator;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    33
import java.util.NoSuchElementException;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    34
import java.util.ResourceBundle;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    35
import java.util.Set;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    36
import java.util.concurrent.ConcurrentHashMap;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    37
import java.util.concurrent.ConcurrentMap;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    38
import java.util.concurrent.atomic.AtomicMarkableReference;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    39
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    40
/**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    41
 * ParallelListResourceBundle is another variant of ListResourceBundle
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    42
 * supporting "parallel" contents provided by another resource bundle
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    43
 * (OpenListResourceBundle). Parallel contents, if any, are added into this
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    44
 * bundle on demand.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    45
 *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    46
 * @author Masayoshi Okutsu
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    47
 */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    48
public abstract class ParallelListResourceBundle extends ResourceBundle {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    49
    private volatile ConcurrentMap<String, Object> lookup;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    50
    private volatile Set<String> keyset;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    51
    private final AtomicMarkableReference<Object[][]> parallelContents
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    52
            = new AtomicMarkableReference<>(null, false);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    53
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    54
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    55
     * Sole constructor.  (For invocation by subclass constructors, typically
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    56
     * implicit.)
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    57
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    58
    protected ParallelListResourceBundle() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    59
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    60
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    61
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    62
     * Returns an array in which each item is a pair of objects in an
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    63
     * Object array. The first element of each pair is the key, which
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    64
     * must be a String, and the second element is the value
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    65
     * associated with that key. See the class description for
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    66
     * details.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    67
     *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    68
     * @return an array of an Object array representing a key-value pair.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    69
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    70
    protected abstract Object[][] getContents();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    71
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    72
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    73
     * Returns the parent of this resource bundle or null if there's no parent.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    74
     *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    75
     * @return the parent or null if no parent
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    76
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    77
    ResourceBundle getParent() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    78
        return parent;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    79
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    80
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    81
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    82
     * Sets the parallel contents to the data given by rb. If rb is null, this
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    83
     * bundle will be marked as `complete'.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    84
     *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    85
     * @param rb an OpenResourceBundle for parallel contents, or null indicating
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    86
     * there are no parallel contents for this bundle
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    87
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    88
    public void setParallelContents(OpenListResourceBundle rb) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    89
        if (rb == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    90
            parallelContents.compareAndSet(null, null, false, true);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    91
        } else {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    92
            parallelContents.compareAndSet(null, rb.getContents(), false, false);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    93
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    94
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    95
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    96
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    97
     * Returns true if any parallel contents have been set or if this bundle is
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    98
     * marked as complete.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
    99
     *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   100
     * @return true if any parallel contents have been processed
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   101
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   102
    boolean areParallelContentsComplete() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   103
        // Quick check for `complete'
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   104
        if (parallelContents.isMarked()) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   105
            return true;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   106
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   107
        boolean[] done = new boolean[1];
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   108
        Object[][] data = parallelContents.get(done);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   109
        return data != null || done[0];
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   110
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   111
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   112
    @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   113
    protected Object handleGetObject(String key) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   114
        if (key == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   115
            throw new NullPointerException();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   116
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   117
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   118
        loadLookupTablesIfNecessary();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   119
        return lookup.get(key);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   120
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   121
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   122
    @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   123
    public Enumeration<String> getKeys() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   124
        return Collections.enumeration(keySet());
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   125
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   126
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   127
    @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   128
    public boolean containsKey(String key) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   129
        return keySet().contains(key);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   130
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   131
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   132
    @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   133
    protected Set<String> handleKeySet() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   134
        loadLookupTablesIfNecessary();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   135
        return lookup.keySet();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   136
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   137
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   138
    @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   139
    @SuppressWarnings("UnusedAssignment")
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   140
    public Set<String> keySet() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   141
        Set<String> ks;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   142
        while ((ks = keyset) == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   143
            ks = new KeySet(handleKeySet(), parent);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   144
            synchronized (this) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   145
                if (keyset == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   146
                    keyset = ks;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   147
                }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   148
            }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   149
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   150
        return ks;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   151
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   152
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   153
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   154
     * Discards any cached keyset value. This method is called from
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   155
     * LocaleData for re-creating a KeySet.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   156
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   157
    synchronized void resetKeySet() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   158
        keyset = null;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   159
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   160
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   161
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   162
     * Loads the lookup table if they haven't been loaded already.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   163
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   164
    void loadLookupTablesIfNecessary() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   165
        ConcurrentMap<String, Object> map = lookup;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   166
        if (map == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   167
            map = new ConcurrentHashMap<>();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   168
            for (Object[] item : getContents()) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   169
                map.put((String) item[0], item[1]);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   170
            }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   171
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   172
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   173
        // If there's any parallel contents data, merge the data into map.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   174
        Object[][] data = parallelContents.getReference();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   175
        if (data != null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   176
            for (Object[] item : data) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   177
                map.putIfAbsent((String) item[0], item[1]);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   178
            }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   179
            parallelContents.set(null, true);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   180
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   181
        if (lookup == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   182
            synchronized (this) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   183
                if (lookup == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   184
                    lookup = map;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   185
                }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   186
            }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   187
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   188
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   189
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   190
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   191
     * This class implements the Set interface for
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   192
     * ParallelListResourceBundle methods.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   193
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   194
    private static class KeySet extends AbstractSet<String> {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   195
        private final Set<String> set;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   196
        private final ResourceBundle parent;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   197
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   198
        private KeySet(Set<String> set, ResourceBundle parent) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   199
            this.set = set;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   200
            this.parent = parent;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   201
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   202
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   203
        @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   204
        public boolean contains(Object o) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   205
            if (set.contains(o)) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   206
                return true;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   207
            }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   208
            return (parent != null) ? parent.containsKey((String) o) : false;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   209
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   210
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   211
        @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   212
        public Iterator<String> iterator() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   213
            if (parent == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   214
                return set.iterator();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   215
            }
29986
97167d851fc4 8078467: Update core libraries to use diamond with anonymous classes
darcy
parents: 25859
diff changeset
   216
            return new Iterator<>() {
16852
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   217
                private Iterator<String> itr = set.iterator();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   218
                private boolean usingParent;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   219
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   220
                @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   221
                public boolean hasNext() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   222
                    if (itr.hasNext()) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   223
                        return true;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   224
                    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   225
                    if (!usingParent) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   226
                        Set<String> nextset = new HashSet<>(parent.keySet());
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   227
                        nextset.removeAll(set);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   228
                        itr = nextset.iterator();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   229
                        usingParent = true;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   230
                    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   231
                    return itr.hasNext();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   232
                }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   233
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   234
                @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   235
                public String next() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   236
                    if (hasNext()) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   237
                        return itr.next();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   238
                    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   239
                    throw new NoSuchElementException();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   240
                }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   241
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   242
                @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   243
                public void remove() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   244
                    throw new UnsupportedOperationException();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   245
                }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   246
            };
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   247
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   248
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   249
        @Override
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   250
        public int size() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   251
            if (parent == null) {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   252
                return set.size();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   253
            }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   254
            Set<String> allset = new HashSet<>(set);
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   255
            allset.addAll(parent.keySet());
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   256
            return allset.size();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   257
        }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   258
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents:
diff changeset
   259
}