jdk/src/share/classes/java/time/format/DecimalStyle.java
author scolebourne
Thu, 06 Mar 2014 16:51:30 +0000
changeset 24256 da9a41004459
parent 17474 8c100beabcc0
permissions -rw-r--r--
8034906: Fix typos, errors and Javadoc differences in java.time Reviewed-by: psandoz
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     1
/*
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     2
 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     4
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    10
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    15
 * accompanied this code).
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    16
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    20
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    23
 * questions.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    24
 */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    25
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    26
/*
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    27
 * This file is available under and governed by the GNU General Public
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    28
 * License version 2 only, as published by the Free Software Foundation.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    29
 * However, the following notice accompanied the original version of this
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    30
 * file:
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    31
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    32
 * Copyright (c) 2008-2012, Stephen Colebourne & Michael Nascimento Santos
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    33
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    34
 * All rights reserved.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    35
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    36
 * Redistribution and use in source and binary forms, with or without
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    37
 * modification, are permitted provided that the following conditions are met:
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    38
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    39
 *  * Redistributions of source code must retain the above copyright notice,
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    40
 *    this list of conditions and the following disclaimer.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    41
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    42
 *  * Redistributions in binary form must reproduce the above copyright notice,
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    43
 *    this list of conditions and the following disclaimer in the documentation
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    44
 *    and/or other materials provided with the distribution.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    45
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    46
 *  * Neither the name of JSR-310 nor the names of its contributors
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    47
 *    may be used to endorse or promote products derived from this software
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    48
 *    without specific prior written permission.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    49
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    50
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    51
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    52
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    53
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    54
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    55
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    56
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    57
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    58
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    59
 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    60
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    61
 */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    62
package java.time.format;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    63
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    64
import java.text.DecimalFormatSymbols;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    65
import java.util.Collections;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    66
import java.util.HashSet;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    67
import java.util.Locale;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    68
import java.util.Objects;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    69
import java.util.Set;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    70
import java.util.concurrent.ConcurrentHashMap;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    71
import java.util.concurrent.ConcurrentMap;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    72
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    73
/**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    74
 * Localized decimal style used in date and time formatting.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    75
 * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    76
 * A significant part of dealing with dates and times is the localization.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    77
 * This class acts as a central point for accessing the information.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    78
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    79
 * @implSpec
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    80
 * This class is immutable and thread-safe.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    81
 *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    82
 * @since 1.8
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    83
 */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    84
public final class DecimalStyle {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    85
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    86
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    87
     * The standard set of non-localized decimal style symbols.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    88
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    89
     * This uses standard ASCII characters for zero, positive, negative and a dot for the decimal point.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    90
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    91
    public static final DecimalStyle STANDARD = new DecimalStyle('0', '+', '-', '.');
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    92
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    93
     * The cache of DecimalStyle instances.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    94
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    95
    private static final ConcurrentMap<Locale, DecimalStyle> CACHE = new ConcurrentHashMap<>(16, 0.75f, 2);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    96
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    97
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    98
     * The zero digit.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
    99
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   100
    private final char zeroDigit;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   101
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   102
     * The positive sign.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   103
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   104
    private final char positiveSign;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   105
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   106
     * The negative sign.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   107
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   108
    private final char negativeSign;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   109
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   110
     * The decimal separator.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   111
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   112
    private final char decimalSeparator;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   113
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   114
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   115
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   116
     * Lists all the locales that are supported.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   117
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   118
     * The locale 'en_US' will always be present.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   119
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   120
     * @return a Set of Locales for which localization is supported
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   121
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   122
    public static Set<Locale> getAvailableLocales() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   123
        Locale[] l = DecimalFormatSymbols.getAvailableLocales();
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   124
        Set<Locale> locales = new HashSet<>(l.length);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   125
        Collections.addAll(locales, l);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   126
        return locales;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   127
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   128
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   129
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   130
     * Obtains the DecimalStyle for the default
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   131
     * {@link java.util.Locale.Category#FORMAT FORMAT} locale.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   132
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   133
     * This method provides access to locale sensitive decimal style symbols.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   134
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   135
     * This is equivalent to calling
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   136
     * {@link #of(Locale)
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   137
     *     of(Locale.getDefault(Locale.Category.FORMAT))}.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   138
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   139
     * @see java.util.Locale.Category#FORMAT
24256
da9a41004459 8034906: Fix typos, errors and Javadoc differences in java.time
scolebourne
parents: 17474
diff changeset
   140
     * @return the decimal style, not null
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   141
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   142
    public static DecimalStyle ofDefaultLocale() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   143
        return of(Locale.getDefault(Locale.Category.FORMAT));
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   144
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   145
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   146
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   147
     * Obtains the DecimalStyle for the specified locale.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   148
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   149
     * This method provides access to locale sensitive decimal style symbols.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   150
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   151
     * @param locale  the locale, not null
24256
da9a41004459 8034906: Fix typos, errors and Javadoc differences in java.time
scolebourne
parents: 17474
diff changeset
   152
     * @return the decimal style, not null
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   153
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   154
    public static DecimalStyle of(Locale locale) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   155
        Objects.requireNonNull(locale, "locale");
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   156
        DecimalStyle info = CACHE.get(locale);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   157
        if (info == null) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   158
            info = create(locale);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   159
            CACHE.putIfAbsent(locale, info);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   160
            info = CACHE.get(locale);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   161
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   162
        return info;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   163
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   164
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   165
    private static DecimalStyle create(Locale locale) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   166
        DecimalFormatSymbols oldSymbols = DecimalFormatSymbols.getInstance(locale);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   167
        char zeroDigit = oldSymbols.getZeroDigit();
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   168
        char positiveSign = '+';
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   169
        char negativeSign = oldSymbols.getMinusSign();
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   170
        char decimalSeparator = oldSymbols.getDecimalSeparator();
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   171
        if (zeroDigit == '0' && negativeSign == '-' && decimalSeparator == '.') {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   172
            return STANDARD;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   173
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   174
        return new DecimalStyle(zeroDigit, positiveSign, negativeSign, decimalSeparator);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   175
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   176
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   177
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   178
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   179
     * Restricted constructor.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   180
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   181
     * @param zeroChar  the character to use for the digit of zero
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   182
     * @param positiveSignChar  the character to use for the positive sign
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   183
     * @param negativeSignChar  the character to use for the negative sign
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   184
     * @param decimalPointChar  the character to use for the decimal point
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   185
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   186
    private DecimalStyle(char zeroChar, char positiveSignChar, char negativeSignChar, char decimalPointChar) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   187
        this.zeroDigit = zeroChar;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   188
        this.positiveSign = positiveSignChar;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   189
        this.negativeSign = negativeSignChar;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   190
        this.decimalSeparator = decimalPointChar;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   191
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   192
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   193
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   194
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   195
     * Gets the character that represents zero.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   196
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   197
     * The character used to represent digits may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   198
     * This method specifies the zero character to use, which implies the characters for one to nine.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   199
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   200
     * @return the character for zero
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   201
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   202
    public char getZeroDigit() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   203
        return zeroDigit;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   204
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   205
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   206
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   207
     * Returns a copy of the info with a new character that represents zero.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   208
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   209
     * The character used to represent digits may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   210
     * This method specifies the zero character to use, which implies the characters for one to nine.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   211
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   212
     * @param zeroDigit  the character for zero
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   213
     * @return  a copy with a new character that represents zero, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   214
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   215
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   216
    public DecimalStyle withZeroDigit(char zeroDigit) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   217
        if (zeroDigit == this.zeroDigit) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   218
            return this;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   219
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   220
        return new DecimalStyle(zeroDigit, positiveSign, negativeSign, decimalSeparator);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   221
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   222
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   223
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   224
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   225
     * Gets the character that represents the positive sign.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   226
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   227
     * The character used to represent a positive number may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   228
     * This method specifies the character to use.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   229
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   230
     * @return the character for the positive sign
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   231
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   232
    public char getPositiveSign() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   233
        return positiveSign;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   234
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   235
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   236
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   237
     * Returns a copy of the info with a new character that represents the positive sign.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   238
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   239
     * The character used to represent a positive number may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   240
     * This method specifies the character to use.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   241
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   242
     * @param positiveSign  the character for the positive sign
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   243
     * @return  a copy with a new character that represents the positive sign, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   244
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   245
    public DecimalStyle withPositiveSign(char positiveSign) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   246
        if (positiveSign == this.positiveSign) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   247
            return this;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   248
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   249
        return new DecimalStyle(zeroDigit, positiveSign, negativeSign, decimalSeparator);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   250
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   251
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   252
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   253
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   254
     * Gets the character that represents the negative sign.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   255
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   256
     * The character used to represent a negative number may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   257
     * This method specifies the character to use.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   258
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   259
     * @return the character for the negative sign
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   260
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   261
    public char getNegativeSign() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   262
        return negativeSign;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   263
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   264
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   265
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   266
     * Returns a copy of the info with a new character that represents the negative sign.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   267
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   268
     * The character used to represent a negative number may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   269
     * This method specifies the character to use.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   270
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   271
     * @param negativeSign  the character for the negative sign
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   272
     * @return  a copy with a new character that represents the negative sign, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   273
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   274
    public DecimalStyle withNegativeSign(char negativeSign) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   275
        if (negativeSign == this.negativeSign) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   276
            return this;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   277
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   278
        return new DecimalStyle(zeroDigit, positiveSign, negativeSign, decimalSeparator);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   279
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   280
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   281
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   282
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   283
     * Gets the character that represents the decimal point.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   284
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   285
     * The character used to represent a decimal point may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   286
     * This method specifies the character to use.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   287
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   288
     * @return the character for the decimal point
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   289
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   290
    public char getDecimalSeparator() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   291
        return decimalSeparator;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   292
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   293
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   294
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   295
     * Returns a copy of the info with a new character that represents the decimal point.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   296
     * <p>
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   297
     * The character used to represent a decimal point may vary by culture.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   298
     * This method specifies the character to use.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   299
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   300
     * @param decimalSeparator  the character for the decimal point
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   301
     * @return  a copy with a new character that represents the decimal point, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   302
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   303
    public DecimalStyle withDecimalSeparator(char decimalSeparator) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   304
        if (decimalSeparator == this.decimalSeparator) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   305
            return this;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   306
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   307
        return new DecimalStyle(zeroDigit, positiveSign, negativeSign, decimalSeparator);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   308
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   309
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   310
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   311
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   312
     * Checks whether the character is a digit, based on the currently set zero character.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   313
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   314
     * @param ch  the character to check
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   315
     * @return the value, 0 to 9, of the character, or -1 if not a digit
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   316
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   317
    int convertToDigit(char ch) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   318
        int val = ch - zeroDigit;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   319
        return (val >= 0 && val <= 9) ? val : -1;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   320
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   321
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   322
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   323
     * Converts the input numeric text to the internationalized form using the zero character.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   324
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   325
     * @param numericText  the text, consisting of digits 0 to 9, to convert, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   326
     * @return the internationalized text, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   327
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   328
    String convertNumberToI18N(String numericText) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   329
        if (zeroDigit == '0') {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   330
            return numericText;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   331
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   332
        int diff = zeroDigit - '0';
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   333
        char[] array = numericText.toCharArray();
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   334
        for (int i = 0; i < array.length; i++) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   335
            array[i] = (char) (array[i] + diff);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   336
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   337
        return new String(array);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   338
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   339
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   340
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   341
    /**
24256
da9a41004459 8034906: Fix typos, errors and Javadoc differences in java.time
scolebourne
parents: 17474
diff changeset
   342
     * Checks if this DecimalStyle is equal to another DecimalStyle.
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   343
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   344
     * @param obj  the object to check, null returns false
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   345
     * @return true if this is equal to the other date
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   346
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   347
    @Override
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   348
    public boolean equals(Object obj) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   349
        if (this == obj) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   350
            return true;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   351
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   352
        if (obj instanceof DecimalStyle) {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   353
            DecimalStyle other = (DecimalStyle) obj;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   354
            return (zeroDigit == other.zeroDigit && positiveSign == other.positiveSign &&
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   355
                    negativeSign == other.negativeSign && decimalSeparator == other.decimalSeparator);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   356
        }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   357
        return false;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   358
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   359
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   360
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   361
     * A hash code for this DecimalStyle.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   362
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   363
     * @return a suitable hash code
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   364
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   365
    @Override
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   366
    public int hashCode() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   367
        return zeroDigit + positiveSign + negativeSign + decimalSeparator;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   368
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   369
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   370
    //-----------------------------------------------------------------------
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   371
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   372
     * Returns a string describing this DecimalStyle.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   373
     *
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   374
     * @return a string description, not null
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   375
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   376
    @Override
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   377
    public String toString() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   378
        return "DecimalStyle[" + zeroDigit + positiveSign + negativeSign + decimalSeparator + "]";
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   379
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   380
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents:
diff changeset
   381
}