jdk/src/share/classes/java/time/format/DateTimeParseContext.java
author sherman
Wed, 15 May 2013 07:48:57 -0700
changeset 17474 8c100beabcc0
parent 16852 60207b2b4b42
child 21296 de1c1faa6f77
permissions -rw-r--r--
8013730: JSR 310 DateTime API Updates III Summary: Integration of JSR310 Date/Time API update III Reviewed-by: naoto Contributed-by: scolebourne@joda.org, roger.riggs@oracle.com, masayoshi.okutsu@oracle.com, patrick.zhang@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
/*
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
     2
 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
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) 2008-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.format;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    63
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
    64
import java.time.Duration;
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    65
import java.time.ZoneId;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    66
import java.time.chrono.Chronology;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    67
import java.time.chrono.IsoChronology;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    68
import java.time.temporal.TemporalField;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    69
import java.util.ArrayList;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    70
import java.util.Locale;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    71
import java.util.Objects;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    72
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    73
/**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    74
 * Context object used during date and time parsing.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    75
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    76
 * This class represents the current state of the parse.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    77
 * It has the ability to store and retrieve the parsed values and manage optional segments.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    78
 * It also provides key information to the parsing methods.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    79
 * <p>
16852
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
    80
 * Once parsing is complete, the {@link #toParsed()} is used to obtain the data.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
    81
 * It contains a method to resolve  the separate parsed fields into meaningful values.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    82
 *
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
    83
 * @implSpec
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    84
 * This class is a mutable context intended for use from a single thread.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    85
 * Usage of the class is thread-safe within standard parsing as a new instance of this class
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    86
 * is automatically created for each parse and parsing is single-threaded
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    87
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    88
 * @since 1.8
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    89
 */
16852
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
    90
final class DateTimeParseContext {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    91
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    92
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    93
     * The formatter, not null.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    94
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    95
    private DateTimeFormatter formatter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    96
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    97
     * Whether to parse using case sensitively.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    98
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    99
    private boolean caseSensitive = true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   100
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   101
     * Whether to parse using strict rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   102
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   103
    private boolean strict = true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   104
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   105
     * The list of parsed data.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   106
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   107
    private final ArrayList<Parsed> parsed = new ArrayList<>();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   108
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   109
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   110
     * Creates a new instance of the context.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   111
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   112
     * @param formatter  the formatter controlling the parse, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   113
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   114
    DateTimeParseContext(DateTimeFormatter formatter) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   115
        super();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   116
        this.formatter = formatter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   117
        parsed.add(new Parsed());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   118
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   119
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   120
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   121
     * Creates a copy of this context.
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   122
     * This retains the case sensitive and strict flags.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   123
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   124
    DateTimeParseContext copy() {
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   125
        DateTimeParseContext newContext = new DateTimeParseContext(formatter);
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   126
        newContext.caseSensitive = caseSensitive;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   127
        newContext.strict = strict;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   128
        return newContext;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   129
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   130
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
     * Gets the locale.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   134
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   135
     * This locale is used to control localization in the parse except
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   136
     * where localization is controlled by the DecimalStyle.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   137
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   138
     * @return the locale, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   139
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   140
    Locale getLocale() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   141
        return formatter.getLocale();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   142
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   143
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   144
    /**
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   145
     * Gets the DecimalStyle.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   146
     * <p>
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   147
     * The DecimalStyle controls the numeric parsing.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   148
     *
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   149
     * @return the DecimalStyle, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   150
     */
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   151
    DecimalStyle getDecimalStyle() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   152
        return formatter.getDecimalStyle();
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   153
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   154
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   155
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   156
     * Gets the effective chronology during parsing.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   157
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   158
     * @return the effective parsing chronology, not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   159
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   160
    Chronology getEffectiveChronology() {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   161
        Chronology chrono = currentParsed().chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   162
        if (chrono == null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   163
            chrono = formatter.getChronology();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   164
            if (chrono == null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   165
                chrono = IsoChronology.INSTANCE;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   166
            }
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
        return chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   169
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   170
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   171
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   172
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   173
     * Checks if parsing is case sensitive.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   174
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   175
     * @return true if parsing is case sensitive, false if case insensitive
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   176
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   177
    boolean isCaseSensitive() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   178
        return caseSensitive;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   179
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   180
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   181
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   182
     * Sets whether the parsing is case sensitive or not.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   183
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   184
     * @param caseSensitive  changes the parsing to be case sensitive or not from now on
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   185
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   186
    void setCaseSensitive(boolean caseSensitive) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   187
        this.caseSensitive = caseSensitive;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   188
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   189
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   190
    //-----------------------------------------------------------------------
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   191
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   192
     * Helper to compare two {@code CharSequence} instances.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   193
     * This uses {@link #isCaseSensitive()}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   194
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   195
     * @param cs1  the first character sequence, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   196
     * @param offset1  the offset into the first sequence, valid
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   197
     * @param cs2  the second character sequence, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   198
     * @param offset2  the offset into the second sequence, valid
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   199
     * @param length  the length to check, valid
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   200
     * @return true if equal
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   201
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   202
    boolean subSequenceEquals(CharSequence cs1, int offset1, CharSequence cs2, int offset2, int length) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   203
        if (offset1 + length > cs1.length() || offset2 + length > cs2.length()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   204
            return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   205
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   206
        if (isCaseSensitive()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   207
            for (int i = 0; i < length; i++) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   208
                char ch1 = cs1.charAt(offset1 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   209
                char ch2 = cs2.charAt(offset2 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   210
                if (ch1 != ch2) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   211
                    return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   212
                }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   213
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   214
        } else {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   215
            for (int i = 0; i < length; i++) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   216
                char ch1 = cs1.charAt(offset1 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   217
                char ch2 = cs2.charAt(offset2 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   218
                if (ch1 != ch2 && Character.toUpperCase(ch1) != Character.toUpperCase(ch2) &&
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   219
                        Character.toLowerCase(ch1) != Character.toLowerCase(ch2)) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   220
                    return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   221
                }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   222
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   223
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   224
        return true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   225
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   226
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   227
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   228
     * Helper to compare two {@code char}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   229
     * This uses {@link #isCaseSensitive()}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   230
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   231
     * @param ch1  the first character
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   232
     * @param ch2  the second character
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   233
     * @return true if equal
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   234
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   235
    boolean charEquals(char ch1, char ch2) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   236
        if (isCaseSensitive()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   237
            return ch1 == ch2;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   238
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   239
        return charEqualsIgnoreCase(ch1, ch2);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   240
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   241
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   242
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   243
     * Compares two characters ignoring case.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   244
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   245
     * @param c1  the first
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   246
     * @param c2  the second
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   247
     * @return true if equal
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   248
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   249
    static boolean charEqualsIgnoreCase(char c1, char c2) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   250
        return c1 == c2 ||
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   251
                Character.toUpperCase(c1) == Character.toUpperCase(c2) ||
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   252
                Character.toLowerCase(c1) == Character.toLowerCase(c2);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   253
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   254
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   255
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   256
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   257
     * Checks if parsing is strict.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   258
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   259
     * Strict parsing requires exact matching of the text and sign styles.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   260
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   261
     * @return true if parsing is strict, false if lenient
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   262
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   263
    boolean isStrict() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   264
        return strict;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   265
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   266
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   267
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   268
     * Sets whether parsing is strict or lenient.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   269
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   270
     * @param strict  changes the parsing to be strict or lenient from now on
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   271
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   272
    void setStrict(boolean strict) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   273
        this.strict = strict;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   274
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   275
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   276
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   277
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   278
     * Starts the parsing of an optional segment of the input.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   279
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   280
    void startOptional() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   281
        parsed.add(currentParsed().copy());
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
     * Ends the parsing of an optional segment of the input.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   286
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   287
     * @param successful  whether the optional segment was successfully parsed
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   288
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   289
    void endOptional(boolean successful) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   290
        if (successful) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   291
            parsed.remove(parsed.size() - 2);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   292
        } else {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   293
            parsed.remove(parsed.size() - 1);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   294
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   295
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   296
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   297
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   298
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   299
     * Gets the currently active temporal objects.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   300
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   301
     * @return the current temporal objects, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   302
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   303
    private Parsed currentParsed() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   304
        return parsed.get(parsed.size() - 1);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   305
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   306
16852
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   307
    /**
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   308
     * Gets the result of the parse.
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   309
     *
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   310
     * @return the result of the parse, not null
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   311
     */
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   312
    Parsed toParsed() {
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   313
        Parsed parsed = currentParsed();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   314
        parsed.effectiveChrono = getEffectiveChronology();
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   315
        return parsed;
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   316
    }
60207b2b4b42 8011172: JSR 310 DateTime API Updates II
sherman
parents: 15658
diff changeset
   317
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   318
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   319
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   320
     * Gets the first value that was parsed for the specified field.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   321
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   322
     * This searches the results of the parse, returning the first value found
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   323
     * for the specified field. No attempt is made to derive a value.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   324
     * The field may have an out of range value.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   325
     * For example, the day-of-month might be set to 50, or the hour to 1000.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   326
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   327
     * @param field  the field to query from the map, null returns null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   328
     * @return the value mapped to the specified field, null if field was not parsed
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   329
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   330
    Long getParsed(TemporalField field) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   331
        return currentParsed().fieldValues.get(field);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   332
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   333
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   334
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   335
     * Stores the parsed field.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   336
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   337
     * This stores a field-value pair that has been parsed.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   338
     * The value stored may be out of range for the field - no checks are performed.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   339
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   340
     * @param field  the field to set in the field-value map, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   341
     * @param value  the value to set in the field-value map
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   342
     * @param errorPos  the position of the field being parsed
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   343
     * @param successPos  the position after the field being parsed
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   344
     * @return the new position
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   345
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   346
    int setParsedField(TemporalField field, long value, int errorPos, int successPos) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   347
        Objects.requireNonNull(field, "field");
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   348
        Long old = currentParsed().fieldValues.put(field, value);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   349
        return (old != null && old.longValue() != value) ? ~errorPos : successPos;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   350
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   351
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   352
    /**
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   353
     * Stores the parsed chronology.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   354
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   355
     * This stores the chronology that has been parsed.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   356
     * No validation is performed other than ensuring it is not null.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   357
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   358
     * @param chrono  the parsed chronology, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   359
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   360
    void setParsed(Chronology chrono) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   361
        Objects.requireNonNull(chrono, "chrono");
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   362
        currentParsed().chrono = chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   363
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   364
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   365
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   366
     * Stores the parsed zone.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   367
     * <p>
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   368
     * This stores the zone that has been parsed.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   369
     * No validation is performed other than ensuring it is not null.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   370
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   371
     * @param zone  the parsed zone, not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   372
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   373
    void setParsed(ZoneId zone) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   374
        Objects.requireNonNull(zone, "zone");
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   375
        currentParsed().zone = zone;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   376
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   377
17474
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   378
    /**
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   379
     * Stores the parsed leap second.
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   380
     */
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   381
    void setParsedLeapSecond() {
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   382
        currentParsed().leapSecond = true;
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   383
    }
8c100beabcc0 8013730: JSR 310 DateTime API Updates III
sherman
parents: 16852
diff changeset
   384
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   385
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   386
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   387
     * Returns a string version of the context for debugging.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   388
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   389
     * @return a string representation of the context data, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   390
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   391
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   392
    public String toString() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   393
        return currentParsed().toString();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   394
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   395
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   396
}