jdk/src/share/classes/java/time/format/DateTimeParseContext.java
author sherman
Tue, 12 Feb 2013 09:25:43 -0800
changeset 15658 55b829ca2334
parent 15289 3ac550392e43
child 16852 60207b2b4b42
permissions -rw-r--r--
8007392: JSR 310: DateTime API Updates 8007520: Update date/time classes in j.util and j.sql packages 8007572: Replace existing jdk timezone data at <java.home>/lib/zi with JSR310's tzdb Summary: Integration of JSR310 Date/Time API for M7 Reviewed-by: darcy, alanb, 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
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    64
import java.time.DateTimeException;
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;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    68
import java.time.temporal.ChronoField;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    69
import java.time.temporal.Queries;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    70
import java.time.temporal.TemporalAccessor;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    71
import java.time.temporal.TemporalField;
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    72
import java.time.temporal.TemporalQuery;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    73
import java.util.ArrayList;
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    74
import java.util.HashMap;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    75
import java.util.Locale;
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    76
import java.util.Map;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    77
import java.util.Objects;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    78
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    79
/**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    80
 * Context object used during date and time parsing.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    81
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    82
 * This class represents the current state of the parse.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    83
 * 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
    84
 * It also provides key information to the parsing methods.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    85
 * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    86
 * Once parsing is complete, the {@link #toBuilder()} is typically used
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    87
 * to obtain a builder that can combine the separate parsed fields into meaningful values.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    88
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    89
 * <h3>Specification for implementors</h3>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    90
 * This class is a mutable context intended for use from a single thread.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    91
 * 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
    92
 * is automatically created for each parse and parsing is single-threaded
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    93
 *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    94
 * @since 1.8
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    95
 */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
    96
final class DateTimeParseContext implements TemporalAccessor {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    97
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    98
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
    99
     * The formatter, not null.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   100
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   101
    private DateTimeFormatter formatter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   102
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   103
     * Whether to parse using case sensitively.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   104
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   105
    private boolean caseSensitive = true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   106
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   107
     * Whether to parse using strict rules.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   108
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   109
    private boolean strict = true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   110
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   111
     * The list of parsed data.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   112
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   113
    private final ArrayList<Parsed> parsed = new ArrayList<>();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   114
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   115
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   116
     * Creates a new instance of the context.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   117
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   118
     * @param formatter  the formatter controlling the parse, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   119
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   120
    DateTimeParseContext(DateTimeFormatter formatter) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   121
        super();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   122
        this.formatter = formatter;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   123
        parsed.add(new Parsed());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   124
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   125
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   126
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   127
     * Creates a copy of this context.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   128
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   129
    DateTimeParseContext copy() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   130
        return new DateTimeParseContext(formatter);
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
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   134
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   135
     * Gets the locale.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   136
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   137
     * This locale is used to control localization in the parse except
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   138
     * where localization is controlled by the symbols.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   139
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   140
     * @return the locale, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   141
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   142
    Locale getLocale() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   143
        return formatter.getLocale();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   144
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   145
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   146
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   147
     * Gets the formatting symbols.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   148
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   149
     * The symbols control the localization of numeric parsing.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   150
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   151
     * @return the formatting symbols, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   152
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   153
    DateTimeFormatSymbols getSymbols() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   154
        return formatter.getSymbols();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   155
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   156
15658
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
     * Gets the effective chronology during parsing.
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
     * @return the effective parsing chronology, not null
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   161
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   162
    Chronology getEffectiveChronology() {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   163
        Chronology chrono = currentParsed().chrono;
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 = formatter.getChronology();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   166
            if (chrono == null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   167
                chrono = IsoChronology.INSTANCE;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   168
            }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   169
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   170
        return chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   171
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   172
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   173
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   174
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   175
     * Checks if parsing is case sensitive.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   176
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   177
     * @return true if parsing is case sensitive, false if case insensitive
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   178
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   179
    boolean isCaseSensitive() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   180
        return caseSensitive;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   181
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   182
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   183
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   184
     * Sets whether the parsing is case sensitive or not.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   185
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   186
     * @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
   187
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   188
    void setCaseSensitive(boolean caseSensitive) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   189
        this.caseSensitive = caseSensitive;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   190
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   191
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   192
    //-----------------------------------------------------------------------
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   193
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   194
     * Helper to compare two {@code CharSequence} instances.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   195
     * This uses {@link #isCaseSensitive()}.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   196
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   197
     * @param cs1  the first character sequence, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   198
     * @param offset1  the offset into the first sequence, valid
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   199
     * @param cs2  the second character sequence, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   200
     * @param offset2  the offset into the second sequence, valid
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   201
     * @param length  the length to check, valid
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   202
     * @return true if equal
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   203
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   204
    boolean subSequenceEquals(CharSequence cs1, int offset1, CharSequence cs2, int offset2, int length) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   205
        if (offset1 + length > cs1.length() || offset2 + length > cs2.length()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   206
            return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   207
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   208
        if (isCaseSensitive()) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   209
            for (int i = 0; i < length; i++) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   210
                char ch1 = cs1.charAt(offset1 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   211
                char ch2 = cs2.charAt(offset2 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   212
                if (ch1 != ch2) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   213
                    return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   214
                }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   215
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   216
        } else {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   217
            for (int i = 0; i < length; i++) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   218
                char ch1 = cs1.charAt(offset1 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   219
                char ch2 = cs2.charAt(offset2 + i);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   220
                if (ch1 != ch2 && Character.toUpperCase(ch1) != Character.toUpperCase(ch2) &&
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   221
                        Character.toLowerCase(ch1) != Character.toLowerCase(ch2)) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   222
                    return false;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   223
                }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   224
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   225
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   226
        return true;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   227
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   228
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   229
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   230
     * Helper to compare two {@code char}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   231
     * This uses {@link #isCaseSensitive()}.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   232
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   233
     * @param ch1  the first character
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   234
     * @param ch2  the second character
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   235
     * @return true if equal
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   236
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   237
    boolean charEquals(char ch1, char ch2) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   238
        if (isCaseSensitive()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   239
            return 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
        return charEqualsIgnoreCase(ch1, ch2);
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
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
     * Compares two characters ignoring case.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   246
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   247
     * @param c1  the first
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   248
     * @param c2  the second
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   249
     * @return true if equal
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   250
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   251
    static boolean charEqualsIgnoreCase(char c1, char c2) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   252
        return c1 == c2 ||
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   253
                Character.toUpperCase(c1) == Character.toUpperCase(c2) ||
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   254
                Character.toLowerCase(c1) == Character.toLowerCase(c2);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   255
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   256
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   257
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   258
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   259
     * Checks if parsing is strict.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   260
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   261
     * Strict parsing requires exact matching of the text and sign styles.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   262
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   263
     * @return true if parsing is strict, false if lenient
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   264
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   265
    boolean isStrict() {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   266
        return strict;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   267
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   268
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   269
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   270
     * Sets whether parsing is strict or lenient.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   271
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   272
     * @param strict  changes the parsing to be strict or lenient from now on
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   273
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   274
    void setStrict(boolean strict) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   275
        this.strict = strict;
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
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   279
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   280
     * Starts the parsing of an optional segment of the input.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   281
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   282
    void startOptional() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   283
        parsed.add(currentParsed().copy());
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   284
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   285
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   286
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   287
     * Ends the parsing of an optional segment of the input.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   288
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   289
     * @param successful  whether the optional segment was successfully parsed
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   290
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   291
    void endOptional(boolean successful) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   292
        if (successful) {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   293
            parsed.remove(parsed.size() - 2);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   294
        } else {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   295
            parsed.remove(parsed.size() - 1);
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
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   300
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   301
     * Gets the currently active temporal objects.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   302
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   303
     * @return the current temporal objects, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   304
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   305
    private Parsed currentParsed() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   306
        return parsed.get(parsed.size() - 1);
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   307
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   308
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   309
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   310
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   311
     * Gets the first value that was parsed for the specified field.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   312
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   313
     * This searches the results of the parse, returning the first value found
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   314
     * for the specified field. No attempt is made to derive a value.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   315
     * The field may have an out of range value.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   316
     * 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
   317
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   318
     * @param field  the field to query from the map, null returns null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   319
     * @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
   320
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   321
    Long getParsed(TemporalField field) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   322
        return currentParsed().fieldValues.get(field);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   323
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   324
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   325
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   326
     * Stores the parsed field.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   327
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   328
     * This stores a field-value pair that has been parsed.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   329
     * 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
   330
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   331
     * @param field  the field to set in the field-value map, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   332
     * @param value  the value to set in the field-value map
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   333
     * @param errorPos  the position of the field being parsed
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   334
     * @param successPos  the position after the field being parsed
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   335
     * @return the new position
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   336
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   337
    int setParsedField(TemporalField field, long value, int errorPos, int successPos) {
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   338
        Objects.requireNonNull(field, "field");
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   339
        Long old = currentParsed().fieldValues.put(field, value);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   340
        return (old != null && old.longValue() != value) ? ~errorPos : successPos;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   341
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   342
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   343
    /**
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   344
     * Stores the parsed chronology.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   345
     * <p>
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   346
     * This stores the chronology that has been parsed.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   347
     * No validation is performed other than ensuring it is not null.
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   348
     *
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   349
     * @param chrono  the parsed chronology, not null
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   350
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   351
    void setParsed(Chronology chrono) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   352
        Objects.requireNonNull(chrono, "chrono");
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   353
        currentParsed().chrono = chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   354
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   355
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   356
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   357
     * Stores the parsed zone.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   358
     * <p>
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   359
     * This stores the zone that has been parsed.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   360
     * No validation is performed other than ensuring it is not null.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   361
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   362
     * @param zone  the parsed zone, not null
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
    void setParsed(ZoneId zone) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   365
        Objects.requireNonNull(zone, "zone");
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   366
        currentParsed().zone = zone;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   367
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   368
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   369
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   370
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   371
     * Returns a {@code DateTimeBuilder} that can be used to interpret
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   372
     * the results of the parse.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   373
     * <p>
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   374
     * This method is typically used once parsing is complete to obtain the parsed data.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   375
     * Parsing will typically result in separate fields, such as year, month and day.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   376
     * The returned builder can be used to combine the parsed data into meaningful
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   377
     * objects such as {@code LocalDate}, potentially applying complex processing
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   378
     * to handle invalid parsed data.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   379
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   380
     * @return a new builder with the results of the parse, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   381
     */
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   382
    DateTimeBuilder toBuilder() {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   383
        Parsed parsed = currentParsed();
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   384
        DateTimeBuilder builder = new DateTimeBuilder();
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   385
        for (Map.Entry<TemporalField, Long> fv : parsed.fieldValues.entrySet()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   386
            builder.addFieldValue(fv.getKey(), fv.getValue());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   387
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   388
        builder.addObject(getEffectiveChronology());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   389
        if (parsed.zone != null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   390
            builder.addObject(parsed.zone);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   391
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   392
        return builder;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   393
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   394
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   395
    /**
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   396
     * Resolves the fields in this context.
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   397
     *
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   398
     * @return this, for method chaining
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   399
     * @throws DateTimeException if resolving one field results in a value for
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   400
     *  another field that is in conflict
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   401
     */
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   402
    DateTimeParseContext resolveFields() {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   403
        Parsed data = currentParsed();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   404
        outer:
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   405
        while (true) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   406
            for (Map.Entry<TemporalField, Long> entry : data.fieldValues.entrySet()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   407
                TemporalField targetField = entry.getKey();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   408
                Map<TemporalField, Long> changes = targetField.resolve(this, entry.getValue());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   409
                if (changes != null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   410
                    resolveMakeChanges(data, targetField, changes);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   411
                    data.fieldValues.remove(targetField);  // helps avoid infinite loops
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   412
                    continue outer;  // have to restart to avoid concurrent modification
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   413
                }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   414
            }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   415
            break;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   416
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   417
        return this;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   418
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   419
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   420
    private void resolveMakeChanges(Parsed data, TemporalField targetField, Map<TemporalField, Long> changes) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   421
        for (Map.Entry<TemporalField, Long> change : changes.entrySet()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   422
            TemporalField changeField = change.getKey();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   423
            Long changeValue = change.getValue();
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   424
            Objects.requireNonNull(changeField, "changeField");
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   425
            if (changeValue != null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   426
                Long old = currentParsed().fieldValues.put(changeField, changeValue);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   427
                if (old != null && old.longValue() != changeValue.longValue()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   428
                    throw new DateTimeException("Conflict found: " + changeField + " " + old +
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   429
                            " differs from " + changeField + " " + changeValue +
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   430
                            " while resolving  " + targetField);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   431
                }
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   432
            } else {
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   433
                data.fieldValues.remove(changeField);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   434
            }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   435
        }
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   436
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   437
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   438
    //-----------------------------------------------------------------------
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   439
    // TemporalAccessor methods
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   440
    // should only to be used once parsing is complete
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   441
    @Override
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   442
    public boolean isSupported(TemporalField field) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   443
        if (currentParsed().fieldValues.containsKey(field)) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   444
            return true;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   445
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   446
        return (field instanceof ChronoField == false) && field.isSupportedBy(this);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   447
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   448
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   449
    @Override
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   450
    public long getLong(TemporalField field) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   451
        Long value = currentParsed().fieldValues.get(field);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   452
        if (value != null) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   453
            return value;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   454
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   455
        if (field instanceof ChronoField) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   456
            throw new DateTimeException("Unsupported field: " + field.getName());
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   457
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   458
        return field.getFrom(this);
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   459
    }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   460
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   461
    @SuppressWarnings("unchecked")
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   462
    @Override
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   463
    public <R> R query(TemporalQuery<R> query) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   464
        if (query == Queries.chronology()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   465
            return (R) currentParsed().chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   466
        } else if (query == Queries.zoneId()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   467
            return (R) currentParsed().zone;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   468
        } else if (query == Queries.precision()) {
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   469
            return null;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   470
        }
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   471
        return query.queryFrom(this);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   472
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   473
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   474
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   475
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   476
     * Returns a string version of the context for debugging.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   477
     *
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   478
     * @return a string representation of the context data, not null
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   479
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   480
    @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   481
    public String toString() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   482
        return currentParsed().toString();
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   483
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   484
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   485
    //-----------------------------------------------------------------------
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   486
    /**
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   487
     * Temporary store of parsed data.
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   488
     */
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   489
    private static final class Parsed {
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   490
        Chronology chrono = null;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   491
        ZoneId zone = null;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   492
        final Map<TemporalField, Long> fieldValues = new HashMap<>();
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   493
        private Parsed() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   494
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   495
        protected Parsed copy() {
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   496
            Parsed cloned = new Parsed();
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   497
            cloned.chrono = this.chrono;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   498
            cloned.zone = this.zone;
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   499
            cloned.fieldValues.putAll(this.fieldValues);
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   500
            return cloned;
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   501
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   502
        @Override
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   503
        public String toString() {
15658
55b829ca2334 8007392: JSR 310: DateTime API Updates
sherman
parents: 15289
diff changeset
   504
            return fieldValues.toString() + "," + chrono + "," + zone;
15289
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   505
        }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   506
    }
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   507
3ac550392e43 8003680: JSR 310 Date/Time API
sherman
parents:
diff changeset
   508
}