jdk/src/share/classes/java/util/Scanner.java
author alanb
Fri, 02 Nov 2012 15:50:11 +0000
changeset 14342 8435a30053c1
parent 14014 da3648e13e67
child 16010 2727163b5df5
permissions -rw-r--r--
7197491: update copyright year to match last edit in jdk8 jdk repository Reviewed-by: chegar, ksrini
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
14342
8435a30053c1 7197491: update copyright year to match last edit in jdk8 jdk repository
alanb
parents: 14014
diff changeset
     2
 * Copyright (c) 2003, 2012, Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3631
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3631
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3631
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3631
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 3631
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package java.util;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
    28
import java.nio.file.Path;
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
    29
import java.nio.file.Files;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
import java.util.regex.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
import java.io.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
import java.math.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    33
import java.nio.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
import java.nio.channels.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
import java.nio.charset.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
import java.text.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
import java.util.Locale;
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
    38
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
import sun.misc.LRUCache;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
 * A simple text scanner which can parse primitive types and strings using
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
 * regular expressions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
 * <p>A <code>Scanner</code> breaks its input into tokens using a
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
 * delimiter pattern, which by default matches whitespace. The resulting
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * tokens may then be converted into values of different types using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 * various <tt>next</tt> methods.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
 * <p>For example, this code allows a user to read a number from
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
 * <tt>System.in</tt>:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
 * <blockquote><pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
 *     Scanner sc = new Scanner(System.in);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
 *     int i = sc.nextInt();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
 * </pre></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
 * <p>As another example, this code allows <code>long</code> types to be
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
 * assigned from entries in a file <code>myNumbers</code>:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
 * <blockquote><pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
 *      Scanner sc = new Scanner(new File("myNumbers"));
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
 *      while (sc.hasNextLong()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
 *          long aLong = sc.nextLong();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
 *      }</pre></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
 * <p>The scanner can also use delimiters other than whitespace. This
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
 * example reads several items in from a string:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
 *<blockquote><pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
 *     String input = "1 fish 2 fish red fish blue fish";
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
 *     Scanner s = new Scanner(input).useDelimiter("\\s*fish\\s*");
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
 *     System.out.println(s.nextInt());
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
 *     System.out.println(s.nextInt());
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
 *     System.out.println(s.next());
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
 *     System.out.println(s.next());
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
 *     s.close(); </pre></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
 * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
 * prints the following output:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
 * <blockquote><pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
 *     1
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
 *     2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
 *     red
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
 *     blue </pre></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
 * <p>The same output can be generated with this code, which uses a regular
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
 * expression to parse all four tokens at once:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
 *<blockquote><pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
 *     String input = "1 fish 2 fish red fish blue fish";
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
 *     Scanner s = new Scanner(input);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
 *     s.findInLine("(\\d+) fish (\\d+) fish (\\w+) fish (\\w+)");
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
 *     MatchResult result = s.match();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
 *     for (int i=1; i<=result.groupCount(); i++)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
 *         System.out.println(result.group(i));
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
 *     s.close(); </pre></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
 * <p>The <a name="default-delimiter">default whitespace delimiter</a> used
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
 * by a scanner is as recognized by {@link java.lang.Character}.{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
 * java.lang.Character#isWhitespace(char) isWhitespace}. The {@link #reset}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
 * method will reset the value of the scanner's delimiter to the default
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
 * whitespace delimiter regardless of whether it was previously changed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
 * <p>A scanning operation may block waiting for input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
 * <p>The {@link #next} and {@link #hasNext} methods and their
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
 * primitive-type companion methods (such as {@link #nextInt} and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
 * {@link #hasNextInt}) first skip any input that matches the delimiter
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
 * pattern, and then attempt to return the next token. Both <tt>hasNext</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
 * and <tt>next</tt> methods may block waiting for further input.  Whether a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
 * <tt>hasNext</tt> method blocks has no connection to whether or not its
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
 * associated <tt>next</tt> method will block.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
 * <p> The {@link #findInLine}, {@link #findWithinHorizon}, and {@link #skip}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
 * methods operate independently of the delimiter pattern. These methods will
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
 * attempt to match the specified pattern with no regard to delimiters in the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
 * input and thus can be used in special circumstances where delimiters are
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
 * not relevant. These methods may block waiting for more input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
 * <p>When a scanner throws an {@link InputMismatchException}, the scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
 * will not pass the token that caused the exception, so that it may be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
 * retrieved or skipped via some other method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
 * <p>Depending upon the type of delimiting pattern, empty tokens may be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
 * returned. For example, the pattern <tt>"\\s+"</tt> will return no empty
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
 * tokens since it matches multiple instances of the delimiter. The delimiting
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
 * pattern <tt>"\\s"</tt> could return empty tokens since it only passes one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
 * space at a time.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
 * <p> A scanner can read text from any object which implements the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
 * java.lang.Readable} interface.  If an invocation of the underlying
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
 * readable's {@link java.lang.Readable#read} method throws an {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
 * java.io.IOException} then the scanner assumes that the end of the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
 * has been reached.  The most recent <tt>IOException</tt> thrown by the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
 * underlying readable can be retrieved via the {@link #ioException} method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
 * <p>When a <code>Scanner</code> is closed, it will close its input source
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
 * if the source implements the {@link java.io.Closeable} interface.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
 * <p>A <code>Scanner</code> is not safe for multithreaded use without
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
 * external synchronization.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
 * <p>Unless otherwise mentioned, passing a <code>null</code> parameter into
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
 * any method of a <code>Scanner</code> will cause a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
 * <code>NullPointerException</code> to be thrown.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
 * <p>A scanner will default to interpreting numbers as decimal unless a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
 * different radix has been set by using the {@link #useRadix} method. The
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
 * {@link #reset} method will reset the value of the scanner's radix to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
 * <code>10</code> regardless of whether it was previously changed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
 * <a name="localized-numbers">
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
 * <h4> Localized numbers </h4>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
 * <p> An instance of this class is capable of scanning numbers in the standard
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
 * formats as well as in the formats of the scanner's locale. A scanner's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
 * <a name="initial-locale">initial locale </a>is the value returned by the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
 * java.util.Locale#getDefault} method; it may be changed via the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
 * #useLocale} method. The {@link #reset} method will reset the value of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
 * scanner's locale to the initial locale regardless of whether it was
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
 * previously changed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
 * <p>The localized formats are defined in terms of the following parameters,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
 * which for a particular locale are taken from that locale's {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
 * java.text.DecimalFormat DecimalFormat} object, <tt>df</tt>, and its and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
 * {@link java.text.DecimalFormatSymbols DecimalFormatSymbols} object,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
 * <tt>dfs</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
 * <blockquote><table>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
 * <tr><td valign="top"><i>LocalGroupSeparator&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
 *     <td valign="top">The character used to separate thousands groups,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
 *                      <i>i.e.,</i>&nbsp;<tt>dfs.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
 *                      java.text.DecimalFormatSymbols#getGroupingSeparator
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
 *                      getGroupingSeparator()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
 * <tr><td valign="top"><i>LocalDecimalSeparator&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
 *     <td valign="top">The character used for the decimal point,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
 *                      <i>i.e.,</i>&nbsp;<tt>dfs.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
 *                      java.text.DecimalFormatSymbols#getDecimalSeparator
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
 *                      getDecimalSeparator()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
 * <tr><td valign="top"><i>LocalPositivePrefix&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
 *     <td valign="top">The string that appears before a positive number (may
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
 *                      be empty), <i>i.e.,</i>&nbsp;<tt>df.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
 *                      java.text.DecimalFormat#getPositivePrefix
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
 *                      getPositivePrefix()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
 * <tr><td valign="top"><i>LocalPositiveSuffix&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
 *     <td valign="top">The string that appears after a positive number (may be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
 *                      empty), <i>i.e.,</i>&nbsp;<tt>df.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
 *                      java.text.DecimalFormat#getPositiveSuffix
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
 *                      getPositiveSuffix()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
 * <tr><td valign="top"><i>LocalNegativePrefix&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
 *     <td valign="top">The string that appears before a negative number (may
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
 *                      be empty), <i>i.e.,</i>&nbsp;<tt>df.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
 *                      java.text.DecimalFormat#getNegativePrefix
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
 *                      getNegativePrefix()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
 * <tr><td valign="top"><i>LocalNegativeSuffix&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
 *     <td valign="top">The string that appears after a negative number (may be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
 *                      empty), <i>i.e.,</i>&nbsp;<tt>df.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
 *                      java.text.DecimalFormat#getNegativeSuffix
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
 *                      getNegativeSuffix()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
 * <tr><td valign="top"><i>LocalNaN&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
 *     <td valign="top">The string that represents not-a-number for
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
 *                      floating-point values,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
 *                      <i>i.e.,</i>&nbsp;<tt>dfs.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
 *                      java.text.DecimalFormatSymbols#getNaN
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
 *                      getNaN()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
 * <tr><td valign="top"><i>LocalInfinity&nbsp;&nbsp;</i></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
 *     <td valign="top">The string that represents infinity for floating-point
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
 *                      values, <i>i.e.,</i>&nbsp;<tt>dfs.</tt>{@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
 *                      java.text.DecimalFormatSymbols#getInfinity
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
 *                      getInfinity()}</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
 * </table></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
 * <a name="number-syntax">
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
 * <h4> Number syntax </h4>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
 * <p> The strings that can be parsed as numbers by an instance of this class
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
 * are specified in terms of the following regular-expression grammar, where
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
 * Rmax is the highest digit in the radix being used (for example, Rmax is 9
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
 * in base 10).
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
 * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
 * <table cellspacing=0 cellpadding=0 align=center>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
 *   <tr><td valign=top align=right><i>NonASCIIDigit</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
 *       <td valign=top>= A non-ASCII character c for which
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
 *            {@link java.lang.Character#isDigit Character.isDigit}<tt>(c)</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
 *                        returns&nbsp;true</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
 *   <tr><td align=right><i>Non0Digit</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
 *   <td><tt>= [1-</tt><i>Rmax</i><tt>] | </tt><i>NonASCIIDigit</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
 *   <tr><td align=right><i>Digit</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
 *   <td><tt>= [0-</tt><i>Rmax</i><tt>] | </tt><i>NonASCIIDigit</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
 *   <tr><td valign=top align=right><i>GroupedNumeral</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
 *       <td valign=top>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
 *         <table cellpadding=0 cellspacing=0>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
 *           <tr><td><tt>= (&nbsp;</tt></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
 *               <td><i>Non0Digit</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
 *                   </tt><i>Digit</i><tt>?
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
 *                   </tt><i>Digit</i><tt>?</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
 *           <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
 *               <td><tt>(&nbsp;</tt><i>LocalGroupSeparator</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
 *                         </tt><i>Digit</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
 *                         </tt><i>Digit</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
 *                         </tt><i>Digit</i><tt> )+ )</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
 *         </table></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   250
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   251
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   252
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   253
 *   <tr><td align=right><i>Numeral</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   254
 *       <td><tt>= ( ( </tt><i>Digit</i><tt>+ )
90ce3da70b43 Initial load
duke
parents:
diff changeset
   255
 *               | </tt><i>GroupedNumeral</i><tt> )</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   256
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   257
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   258
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   259
 *   <tr><td valign=top align=right>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   260
 *         <a name="Integer-regex"><i>Integer</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   261
 *       <td valign=top><tt>= ( [-+]? ( </tt><i>Numeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   262
 *                               ) )</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   263
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   264
 *       <td><tt>| </tt><i>LocalPositivePrefix</i><tt> </tt><i>Numeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   265
 *                      </tt><i>LocalPositiveSuffix</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   266
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   267
 *       <td><tt>| </tt><i>LocalNegativePrefix</i><tt> </tt><i>Numeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   268
 *                 </tt><i>LocalNegativeSuffix</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   269
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   270
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   271
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   272
 *   <tr><td align=right><i>DecimalNumeral</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   273
 *       <td><tt>= </tt><i>Numeral</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   274
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   275
 *       <td><tt>| </tt><i>Numeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   276
 *                 </tt><i>LocalDecimalSeparator</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   277
 *                 </tt><i>Digit</i><tt>*</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   278
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   279
 *       <td><tt>| </tt><i>LocalDecimalSeparator</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   280
 *                 </tt><i>Digit</i><tt>+</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   281
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   282
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   283
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   284
 *   <tr><td align=right><i>Exponent</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   285
 *       <td><tt>= ( [eE] [+-]? </tt><i>Digit</i><tt>+ )</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   286
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   287
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   288
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   289
 *   <tr><td align=right>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   290
 *         <a name="Decimal-regex"><i>Decimal</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   291
 *       <td><tt>= ( [-+]? </tt><i>DecimalNumeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   292
 *                         </tt><i>Exponent</i><tt>? )</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   293
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   294
 *       <td><tt>| </tt><i>LocalPositivePrefix</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   295
 *                 </tt><i>DecimalNumeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   296
 *                 </tt><i>LocalPositiveSuffix</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   297
 *                 </tt><i>Exponent</i><tt>?</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   298
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   299
 *       <td><tt>| </tt><i>LocalNegativePrefix</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   300
 *                 </tt><i>DecimalNumeral</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   301
 *                 </tt><i>LocalNegativeSuffix</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   302
 *                 </tt><i>Exponent</i><tt>?</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   303
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   304
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   305
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   306
 *   <tr><td align=right><i>HexFloat</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   307
 *       <td><tt>= [-+]? 0[xX][0-9a-fA-F]*\.[0-9a-fA-F]+
90ce3da70b43 Initial load
duke
parents:
diff changeset
   308
 *                 ([pP][-+]?[0-9]+)?</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   309
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   310
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   311
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   312
 *   <tr><td align=right><i>NonNumber</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   313
 *       <td valign=top><tt>= NaN
90ce3da70b43 Initial load
duke
parents:
diff changeset
   314
 *                          | </tt><i>LocalNan</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   315
 *                          | Infinity
90ce3da70b43 Initial load
duke
parents:
diff changeset
   316
 *                          | </tt><i>LocalInfinity</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   317
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   318
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   319
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   320
 *   <tr><td align=right><i>SignedNonNumber</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   321
 *       <td><tt>= ( [-+]? </tt><i>NonNumber</i><tt> )</tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   322
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   323
 *       <td><tt>| </tt><i>LocalPositivePrefix</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   324
 *                 </tt><i>NonNumber</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   325
 *                 </tt><i>LocalPositiveSuffix</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   326
 *   <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   327
 *       <td><tt>| </tt><i>LocalNegativePrefix</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   328
 *                 </tt><i>NonNumber</i><tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   329
 *                 </tt><i>LocalNegativeSuffix</i></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   330
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   331
 *   <tr><td>&nbsp;</td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   332
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   333
 *   <tr><td valign=top align=right>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   334
 *         <a name="Float-regex"><i>Float</i>&nbsp;&nbsp;::</td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   335
 *       <td valign=top><tt>= </tt><i>Decimal</i><tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   336
 *       <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   337
 *           <td><tt>| </tt><i>HexFloat</i><tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   338
 *       <tr><td></td>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   339
 *           <td><tt>| </tt><i>SignedNonNumber</i><tt></td></tr>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   340
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   341
 * </table>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   342
 * </center>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   343
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   344
 * <p> Whitespace is not significant in the above regular expressions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   345
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   346
 * @since   1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
   347
 */
5998
586c1b1dbb10 6963723: Project Coin: Retrofit more JDK classes for ARM
darcy
parents: 5506
diff changeset
   348
public final class Scanner implements Iterator<String>, Closeable {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   349
90ce3da70b43 Initial load
duke
parents:
diff changeset
   350
    // Internal buffer used to hold input
90ce3da70b43 Initial load
duke
parents:
diff changeset
   351
    private CharBuffer buf;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   352
90ce3da70b43 Initial load
duke
parents:
diff changeset
   353
    // Size of internal character buffer
90ce3da70b43 Initial load
duke
parents:
diff changeset
   354
    private static final int BUFFER_SIZE = 1024; // change to 1024;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   355
90ce3da70b43 Initial load
duke
parents:
diff changeset
   356
    // The index into the buffer currently held by the Scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
   357
    private int position;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   358
90ce3da70b43 Initial load
duke
parents:
diff changeset
   359
    // Internal matcher used for finding delimiters
90ce3da70b43 Initial load
duke
parents:
diff changeset
   360
    private Matcher matcher;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   361
90ce3da70b43 Initial load
duke
parents:
diff changeset
   362
    // Pattern used to delimit tokens
90ce3da70b43 Initial load
duke
parents:
diff changeset
   363
    private Pattern delimPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   364
90ce3da70b43 Initial load
duke
parents:
diff changeset
   365
    // Pattern found in last hasNext operation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   366
    private Pattern hasNextPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   367
90ce3da70b43 Initial load
duke
parents:
diff changeset
   368
    // Position after last hasNext operation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   369
    private int hasNextPosition;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   370
90ce3da70b43 Initial load
duke
parents:
diff changeset
   371
    // Result after last hasNext operation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   372
    private String hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   373
90ce3da70b43 Initial load
duke
parents:
diff changeset
   374
    // The input source
90ce3da70b43 Initial load
duke
parents:
diff changeset
   375
    private Readable source;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   376
90ce3da70b43 Initial load
duke
parents:
diff changeset
   377
    // Boolean is true if source is done
90ce3da70b43 Initial load
duke
parents:
diff changeset
   378
    private boolean sourceClosed = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   379
90ce3da70b43 Initial load
duke
parents:
diff changeset
   380
    // Boolean indicating more input is required
90ce3da70b43 Initial load
duke
parents:
diff changeset
   381
    private boolean needInput = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   382
90ce3da70b43 Initial load
duke
parents:
diff changeset
   383
    // Boolean indicating if a delim has been skipped this operation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   384
    private boolean skipped = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   385
90ce3da70b43 Initial load
duke
parents:
diff changeset
   386
    // A store of a position that the scanner may fall back to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   387
    private int savedScannerPosition = -1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   388
90ce3da70b43 Initial load
duke
parents:
diff changeset
   389
    // A cache of the last primitive type scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   390
    private Object typeCache = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   391
90ce3da70b43 Initial load
duke
parents:
diff changeset
   392
    // Boolean indicating if a match result is available
90ce3da70b43 Initial load
duke
parents:
diff changeset
   393
    private boolean matchValid = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   394
90ce3da70b43 Initial load
duke
parents:
diff changeset
   395
    // Boolean indicating if this scanner has been closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   396
    private boolean closed = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   397
90ce3da70b43 Initial load
duke
parents:
diff changeset
   398
    // The current radix used by this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
   399
    private int radix = 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   400
90ce3da70b43 Initial load
duke
parents:
diff changeset
   401
    // The default radix for this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
   402
    private int defaultRadix = 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   403
90ce3da70b43 Initial load
duke
parents:
diff changeset
   404
    // The locale used by this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
   405
    private Locale locale = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   406
90ce3da70b43 Initial load
duke
parents:
diff changeset
   407
    // A cache of the last few recently used Patterns
90ce3da70b43 Initial load
duke
parents:
diff changeset
   408
    private LRUCache<String,Pattern> patternCache =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   409
    new LRUCache<String,Pattern>(7) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   410
        protected Pattern create(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   411
            return Pattern.compile(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   412
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   413
        protected boolean hasName(Pattern p, String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   414
            return p.pattern().equals(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   415
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   416
    };
90ce3da70b43 Initial load
duke
parents:
diff changeset
   417
90ce3da70b43 Initial load
duke
parents:
diff changeset
   418
    // A holder of the last IOException encountered
90ce3da70b43 Initial load
duke
parents:
diff changeset
   419
    private IOException lastException;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   420
90ce3da70b43 Initial load
duke
parents:
diff changeset
   421
    // A pattern for java whitespace
90ce3da70b43 Initial load
duke
parents:
diff changeset
   422
    private static Pattern WHITESPACE_PATTERN = Pattern.compile(
90ce3da70b43 Initial load
duke
parents:
diff changeset
   423
                                                "\\p{javaWhitespace}+");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   424
90ce3da70b43 Initial load
duke
parents:
diff changeset
   425
    // A pattern for any token
90ce3da70b43 Initial load
duke
parents:
diff changeset
   426
    private static Pattern FIND_ANY_PATTERN = Pattern.compile("(?s).*");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   427
90ce3da70b43 Initial load
duke
parents:
diff changeset
   428
    // A pattern for non-ASCII digits
90ce3da70b43 Initial load
duke
parents:
diff changeset
   429
    private static Pattern NON_ASCII_DIGIT = Pattern.compile(
90ce3da70b43 Initial load
duke
parents:
diff changeset
   430
        "[\\p{javaDigit}&&[^0-9]]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   431
90ce3da70b43 Initial load
duke
parents:
diff changeset
   432
    // Fields and methods to support scanning primitive types
90ce3da70b43 Initial load
duke
parents:
diff changeset
   433
90ce3da70b43 Initial load
duke
parents:
diff changeset
   434
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   435
     * Locale dependent values used to scan numbers
90ce3da70b43 Initial load
duke
parents:
diff changeset
   436
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   437
    private String groupSeparator = "\\,";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   438
    private String decimalSeparator = "\\.";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   439
    private String nanString = "NaN";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   440
    private String infinityString = "Infinity";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   441
    private String positivePrefix = "";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   442
    private String negativePrefix = "\\-";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   443
    private String positiveSuffix = "";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   444
    private String negativeSuffix = "";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   445
90ce3da70b43 Initial load
duke
parents:
diff changeset
   446
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   447
     * Fields and an accessor method to match booleans
90ce3da70b43 Initial load
duke
parents:
diff changeset
   448
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   449
    private static volatile Pattern boolPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   450
    private static final String BOOLEAN_PATTERN = "true|false";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   451
    private static Pattern boolPattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   452
        Pattern bp = boolPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   453
        if (bp == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   454
            boolPattern = bp = Pattern.compile(BOOLEAN_PATTERN,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   455
                                          Pattern.CASE_INSENSITIVE);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   456
        return bp;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   457
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   458
90ce3da70b43 Initial load
duke
parents:
diff changeset
   459
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   460
     * Fields and methods to match bytes, shorts, ints, and longs
90ce3da70b43 Initial load
duke
parents:
diff changeset
   461
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   462
    private Pattern integerPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   463
    private String digits = "0123456789abcdefghijklmnopqrstuvwxyz";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   464
    private String non0Digit = "[\\p{javaDigit}&&[^0]]";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   465
    private int SIMPLE_GROUP_INDEX = 5;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   466
    private String buildIntegerPatternString() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   467
        String radixDigits = digits.substring(0, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   468
        // \\p{javaDigit} is not guaranteed to be appropriate
90ce3da70b43 Initial load
duke
parents:
diff changeset
   469
        // here but what can we do? The final authority will be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   470
        // whatever parse method is invoked, so ultimately the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   471
        // Scanner will do the right thing
90ce3da70b43 Initial load
duke
parents:
diff changeset
   472
        String digit = "((?i)["+radixDigits+"]|\\p{javaDigit})";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   473
        String groupedNumeral = "("+non0Digit+digit+"?"+digit+"?("+
90ce3da70b43 Initial load
duke
parents:
diff changeset
   474
                                groupSeparator+digit+digit+digit+")+)";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   475
        // digit++ is the possessive form which is necessary for reducing
90ce3da70b43 Initial load
duke
parents:
diff changeset
   476
        // backtracking that would otherwise cause unacceptable performance
90ce3da70b43 Initial load
duke
parents:
diff changeset
   477
        String numeral = "(("+ digit+"++)|"+groupedNumeral+")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   478
        String javaStyleInteger = "([-+]?(" + numeral + "))";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   479
        String negativeInteger = negativePrefix + numeral + negativeSuffix;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   480
        String positiveInteger = positivePrefix + numeral + positiveSuffix;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   481
        return "("+ javaStyleInteger + ")|(" +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   482
            positiveInteger + ")|(" +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   483
            negativeInteger + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   484
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   485
    private Pattern integerPattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   486
        if (integerPattern == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   487
            integerPattern = patternCache.forName(buildIntegerPatternString());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   488
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   489
        return integerPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   490
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   491
90ce3da70b43 Initial load
duke
parents:
diff changeset
   492
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   493
     * Fields and an accessor method to match line separators
90ce3da70b43 Initial load
duke
parents:
diff changeset
   494
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   495
    private static volatile Pattern separatorPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   496
    private static volatile Pattern linePattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   497
    private static final String LINE_SEPARATOR_PATTERN =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   498
                                           "\r\n|[\n\r\u2028\u2029\u0085]";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   499
    private static final String LINE_PATTERN = ".*("+LINE_SEPARATOR_PATTERN+")|.+$";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   500
90ce3da70b43 Initial load
duke
parents:
diff changeset
   501
    private static Pattern separatorPattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   502
        Pattern sp = separatorPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   503
        if (sp == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   504
            separatorPattern = sp = Pattern.compile(LINE_SEPARATOR_PATTERN);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   505
        return sp;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   506
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   507
90ce3da70b43 Initial load
duke
parents:
diff changeset
   508
    private static Pattern linePattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   509
        Pattern lp = linePattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   510
        if (lp == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   511
            linePattern = lp = Pattern.compile(LINE_PATTERN);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   512
        return lp;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   513
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   514
90ce3da70b43 Initial load
duke
parents:
diff changeset
   515
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   516
     * Fields and methods to match floats and doubles
90ce3da70b43 Initial load
duke
parents:
diff changeset
   517
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   518
    private Pattern floatPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   519
    private Pattern decimalPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   520
    private void buildFloatAndDecimalPattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   521
        // \\p{javaDigit} may not be perfect, see above
90ce3da70b43 Initial load
duke
parents:
diff changeset
   522
        String digit = "([0-9]|(\\p{javaDigit}))";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   523
        String exponent = "([eE][+-]?"+digit+"+)?";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   524
        String groupedNumeral = "("+non0Digit+digit+"?"+digit+"?("+
90ce3da70b43 Initial load
duke
parents:
diff changeset
   525
                                groupSeparator+digit+digit+digit+")+)";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   526
        // Once again digit++ is used for performance, as above
90ce3da70b43 Initial load
duke
parents:
diff changeset
   527
        String numeral = "(("+digit+"++)|"+groupedNumeral+")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   528
        String decimalNumeral = "("+numeral+"|"+numeral +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   529
            decimalSeparator + digit + "*+|"+ decimalSeparator +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   530
            digit + "++)";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   531
        String nonNumber = "(NaN|"+nanString+"|Infinity|"+
90ce3da70b43 Initial load
duke
parents:
diff changeset
   532
                               infinityString+")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   533
        String positiveFloat = "(" + positivePrefix + decimalNumeral +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   534
                            positiveSuffix + exponent + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   535
        String negativeFloat = "(" + negativePrefix + decimalNumeral +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   536
                            negativeSuffix + exponent + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   537
        String decimal = "(([-+]?" + decimalNumeral + exponent + ")|"+
90ce3da70b43 Initial load
duke
parents:
diff changeset
   538
            positiveFloat + "|" + negativeFloat + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   539
        String hexFloat =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   540
            "[-+]?0[xX][0-9a-fA-F]*\\.[0-9a-fA-F]+([pP][-+]?[0-9]+)?";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   541
        String positiveNonNumber = "(" + positivePrefix + nonNumber +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   542
                            positiveSuffix + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   543
        String negativeNonNumber = "(" + negativePrefix + nonNumber +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   544
                            negativeSuffix + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   545
        String signedNonNumber = "(([-+]?"+nonNumber+")|" +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   546
                                 positiveNonNumber + "|" +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   547
                                 negativeNonNumber + ")";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   548
        floatPattern = Pattern.compile(decimal + "|" + hexFloat + "|" +
90ce3da70b43 Initial load
duke
parents:
diff changeset
   549
                                       signedNonNumber);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   550
        decimalPattern = Pattern.compile(decimal);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   551
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   552
    private Pattern floatPattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   553
        if (floatPattern == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   554
            buildFloatAndDecimalPattern();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   555
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   556
        return floatPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   557
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   558
    private Pattern decimalPattern() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   559
        if (decimalPattern == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   560
            buildFloatAndDecimalPattern();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   561
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   562
        return decimalPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   563
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   564
90ce3da70b43 Initial load
duke
parents:
diff changeset
   565
    // Constructors
90ce3da70b43 Initial load
duke
parents:
diff changeset
   566
90ce3da70b43 Initial load
duke
parents:
diff changeset
   567
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   568
     * Constructs a <code>Scanner</code> that returns values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   569
     * from the specified source delimited by the specified pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   570
     *
14014
da3648e13e67 8000269: Cleanup javadoc warnings
alanb
parents: 8166
diff changeset
   571
     * @param source A character source implementing the Readable interface
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   572
     * @param pattern A delimiting pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
   573
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   574
    private Scanner(Readable source, Pattern pattern) {
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   575
        assert source != null : "source should not be null";
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   576
        assert pattern != null : "pattern should not be null";
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   577
        this.source = source;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   578
        delimPattern = pattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   579
        buf = CharBuffer.allocate(BUFFER_SIZE);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   580
        buf.limit(0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   581
        matcher = delimPattern.matcher(buf);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   582
        matcher.useTransparentBounds(true);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   583
        matcher.useAnchoringBounds(false);
6489
9e7015635425 4700857: RFE: separating user locale and user interface locale
naoto
parents: 5998
diff changeset
   584
        useLocale(Locale.getDefault(Locale.Category.FORMAT));
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   585
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   586
90ce3da70b43 Initial load
duke
parents:
diff changeset
   587
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   588
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   589
     * from the specified source.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   590
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   591
     * @param  source A character source implementing the {@link Readable}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   592
     *         interface
90ce3da70b43 Initial load
duke
parents:
diff changeset
   593
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   594
    public Scanner(Readable source) {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   595
        this(Objects.requireNonNull(source, "source"), WHITESPACE_PATTERN);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   596
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   597
90ce3da70b43 Initial load
duke
parents:
diff changeset
   598
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   599
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   600
     * from the specified input stream. Bytes from the stream are converted
90ce3da70b43 Initial load
duke
parents:
diff changeset
   601
     * into characters using the underlying platform's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   602
     * {@linkplain java.nio.charset.Charset#defaultCharset() default charset}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   603
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   604
     * @param  source An input stream to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   605
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   606
    public Scanner(InputStream source) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   607
        this(new InputStreamReader(source), WHITESPACE_PATTERN);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   608
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   609
90ce3da70b43 Initial load
duke
parents:
diff changeset
   610
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   611
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   612
     * from the specified input stream. Bytes from the stream are converted
90ce3da70b43 Initial load
duke
parents:
diff changeset
   613
     * into characters using the specified charset.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   614
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   615
     * @param  source An input stream to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   616
     * @param charsetName The encoding type used to convert bytes from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   617
     *        stream into characters to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   618
     * @throws IllegalArgumentException if the specified character set
90ce3da70b43 Initial load
duke
parents:
diff changeset
   619
     *         does not exist
90ce3da70b43 Initial load
duke
parents:
diff changeset
   620
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   621
    public Scanner(InputStream source, String charsetName) {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   622
        this(makeReadable(Objects.requireNonNull(source, "source"), toCharset(charsetName)),
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   623
             WHITESPACE_PATTERN);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   624
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   625
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   626
    /**
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   627
     * Returns a charset object for the given charset name.
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   628
     * @throws NullPointerException          is csn is null
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   629
     * @throws IllegalArgumentException      if the charset is not supported
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   630
     */
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   631
    private static Charset toCharset(String csn) {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   632
        Objects.requireNonNull(csn, "charsetName");
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   633
        try {
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   634
            return Charset.forName(csn);
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   635
        } catch (IllegalCharsetNameException|UnsupportedCharsetException e) {
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   636
            // IllegalArgumentException should be thrown
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   637
            throw new IllegalArgumentException(e);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   638
        }
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   639
    }
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   640
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   641
    private static Readable makeReadable(InputStream source, Charset charset) {
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   642
        return new InputStreamReader(source, charset);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   643
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   644
90ce3da70b43 Initial load
duke
parents:
diff changeset
   645
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   646
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   647
     * from the specified file. Bytes from the file are converted into
90ce3da70b43 Initial load
duke
parents:
diff changeset
   648
     * characters using the underlying platform's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   649
     * {@linkplain java.nio.charset.Charset#defaultCharset() default charset}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   650
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   651
     * @param  source A file to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   652
     * @throws FileNotFoundException if source is not found
90ce3da70b43 Initial load
duke
parents:
diff changeset
   653
     */
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   654
    public Scanner(File source) throws FileNotFoundException {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   655
        this((ReadableByteChannel)(new FileInputStream(source).getChannel()));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   656
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   657
90ce3da70b43 Initial load
duke
parents:
diff changeset
   658
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   659
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   660
     * from the specified file. Bytes from the file are converted into
90ce3da70b43 Initial load
duke
parents:
diff changeset
   661
     * characters using the specified charset.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   662
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   663
     * @param  source A file to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   664
     * @param charsetName The encoding type used to convert bytes from the file
90ce3da70b43 Initial load
duke
parents:
diff changeset
   665
     *        into characters to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   666
     * @throws FileNotFoundException if source is not found
90ce3da70b43 Initial load
duke
parents:
diff changeset
   667
     * @throws IllegalArgumentException if the specified encoding is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   668
     *         not found
90ce3da70b43 Initial load
duke
parents:
diff changeset
   669
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   670
    public Scanner(File source, String charsetName)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   671
        throws FileNotFoundException
90ce3da70b43 Initial load
duke
parents:
diff changeset
   672
    {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   673
        this(Objects.requireNonNull(source), toDecoder(charsetName));
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   674
    }
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   675
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   676
    private Scanner(File source, CharsetDecoder dec)
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   677
        throws FileNotFoundException
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   678
    {
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   679
        this(makeReadable((ReadableByteChannel)(new FileInputStream(source).getChannel()), dec));
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   680
    }
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   681
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   682
    private static CharsetDecoder toDecoder(String charsetName) {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   683
        Objects.requireNonNull(charsetName, "charsetName");
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   684
        try {
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   685
            return Charset.forName(charsetName).newDecoder();
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   686
        } catch (IllegalCharsetNameException|UnsupportedCharsetException unused) {
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   687
            throw new IllegalArgumentException(charsetName);
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   688
        }
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   689
    }
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   690
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   691
    private static Readable makeReadable(ReadableByteChannel source,
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   692
                                         CharsetDecoder dec) {
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   693
        return Channels.newReader(source, dec, -1);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   694
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   695
90ce3da70b43 Initial load
duke
parents:
diff changeset
   696
    /**
2057
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   697
     * Constructs a new <code>Scanner</code> that produces values scanned
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   698
     * from the specified file. Bytes from the file are converted into
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   699
     * characters using the underlying platform's
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   700
     * {@linkplain java.nio.charset.Charset#defaultCharset() default charset}.
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   701
     *
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   702
     * @param   source
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   703
     *          the path to the file to be scanned
2057
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   704
     * @throws  IOException
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   705
     *          if an I/O error occurs opening source
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   706
     *
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   707
     * @since   1.7
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   708
     */
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   709
    public Scanner(Path source)
2057
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   710
        throws IOException
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   711
    {
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   712
        this(Files.newInputStream(source));
2057
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   713
    }
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   714
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   715
    /**
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   716
     * Constructs a new <code>Scanner</code> that produces values scanned
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   717
     * from the specified file. Bytes from the file are converted into
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   718
     * characters using the specified charset.
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   719
     *
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   720
     * @param   source
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   721
     *          the path to the file to be scanned
2057
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   722
     * @param   charsetName
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   723
     *          The encoding type used to convert bytes from the file
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   724
     *          into characters to be scanned
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   725
     * @throws  IOException
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   726
     *          if an I/O error occurs opening source
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   727
     * @throws  IllegalArgumentException
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   728
     *          if the specified encoding is not found
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   729
     * @since   1.7
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   730
     */
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   731
    public Scanner(Path source, String charsetName) throws IOException {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   732
        this(Objects.requireNonNull(source), toCharset(charsetName));
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   733
    }
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   734
8158
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   735
    private Scanner(Path source, Charset charset)  throws IOException {
77d9c0f1c19f 7006126: (fs) Updates to file system API (1/2011)
alanb
parents: 7966
diff changeset
   736
        this(makeReadable(Files.newInputStream(source), charset));
2057
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   737
    }
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   738
3acf8e5e2ca0 6781363: New I/O: Update socket-channel API to jsr203/nio2-b99
alanb
parents: 2
diff changeset
   739
    /**
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   740
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   741
     * from the specified string.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   742
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   743
     * @param  source A string to scan
90ce3da70b43 Initial load
duke
parents:
diff changeset
   744
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   745
    public Scanner(String source) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   746
        this(new StringReader(source), WHITESPACE_PATTERN);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   747
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   748
90ce3da70b43 Initial load
duke
parents:
diff changeset
   749
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   750
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   751
     * from the specified channel. Bytes from the source are converted into
90ce3da70b43 Initial load
duke
parents:
diff changeset
   752
     * characters using the underlying platform's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   753
     * {@linkplain java.nio.charset.Charset#defaultCharset() default charset}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   754
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   755
     * @param  source A channel to scan
90ce3da70b43 Initial load
duke
parents:
diff changeset
   756
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   757
    public Scanner(ReadableByteChannel source) {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   758
        this(makeReadable(Objects.requireNonNull(source, "source")),
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   759
             WHITESPACE_PATTERN);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   760
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   761
90ce3da70b43 Initial load
duke
parents:
diff changeset
   762
    private static Readable makeReadable(ReadableByteChannel source) {
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   763
        return makeReadable(source, Charset.defaultCharset().newDecoder());
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   764
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   765
90ce3da70b43 Initial load
duke
parents:
diff changeset
   766
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   767
     * Constructs a new <code>Scanner</code> that produces values scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   768
     * from the specified channel. Bytes from the source are converted into
90ce3da70b43 Initial load
duke
parents:
diff changeset
   769
     * characters using the specified charset.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   770
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   771
     * @param  source A channel to scan
90ce3da70b43 Initial load
duke
parents:
diff changeset
   772
     * @param charsetName The encoding type used to convert bytes from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   773
     *        channel into characters to be scanned
90ce3da70b43 Initial load
duke
parents:
diff changeset
   774
     * @throws IllegalArgumentException if the specified character set
90ce3da70b43 Initial load
duke
parents:
diff changeset
   775
     *         does not exist
90ce3da70b43 Initial load
duke
parents:
diff changeset
   776
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   777
    public Scanner(ReadableByteChannel source, String charsetName) {
8166
13423c0952ad 7012540: java.util.Objects.nonNull() incorrectly named
briangoetz
parents: 8158
diff changeset
   778
        this(makeReadable(Objects.requireNonNull(source, "source"), toDecoder(charsetName)),
7966
a23e3f47c5a8 7000511: PrintStream, PrintWriter, Formatter, Scanner leave files open when exception thrown
chegar
parents: 7668
diff changeset
   779
             WHITESPACE_PATTERN);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   780
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   781
90ce3da70b43 Initial load
duke
parents:
diff changeset
   782
    // Private primitives used to support scanning
90ce3da70b43 Initial load
duke
parents:
diff changeset
   783
90ce3da70b43 Initial load
duke
parents:
diff changeset
   784
    private void saveState() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   785
        savedScannerPosition = position;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   786
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   787
90ce3da70b43 Initial load
duke
parents:
diff changeset
   788
    private void revertState() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   789
        this.position = savedScannerPosition;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   790
        savedScannerPosition = -1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   791
        skipped = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   792
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   793
90ce3da70b43 Initial load
duke
parents:
diff changeset
   794
    private boolean revertState(boolean b) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   795
        this.position = savedScannerPosition;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   796
        savedScannerPosition = -1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   797
        skipped = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   798
        return b;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   799
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   800
90ce3da70b43 Initial load
duke
parents:
diff changeset
   801
    private void cacheResult() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   802
        hasNextResult = matcher.group();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   803
        hasNextPosition = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   804
        hasNextPattern = matcher.pattern();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   805
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   806
90ce3da70b43 Initial load
duke
parents:
diff changeset
   807
    private void cacheResult(String result) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   808
        hasNextResult = result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   809
        hasNextPosition = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   810
        hasNextPattern = matcher.pattern();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   811
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   812
90ce3da70b43 Initial load
duke
parents:
diff changeset
   813
    // Clears both regular cache and type cache
90ce3da70b43 Initial load
duke
parents:
diff changeset
   814
    private void clearCaches() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   815
        hasNextPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   816
        typeCache = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   817
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   818
90ce3da70b43 Initial load
duke
parents:
diff changeset
   819
    // Also clears both the regular cache and the type cache
90ce3da70b43 Initial load
duke
parents:
diff changeset
   820
    private String getCachedResult() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   821
        position = hasNextPosition;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   822
        hasNextPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   823
        typeCache = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   824
        return hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   825
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   826
90ce3da70b43 Initial load
duke
parents:
diff changeset
   827
    // Also clears both the regular cache and the type cache
90ce3da70b43 Initial load
duke
parents:
diff changeset
   828
    private void useTypeCache() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   829
        if (closed)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   830
            throw new IllegalStateException("Scanner closed");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   831
        position = hasNextPosition;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   832
        hasNextPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   833
        typeCache = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   834
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   835
90ce3da70b43 Initial load
duke
parents:
diff changeset
   836
    // Tries to read more input. May block.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   837
    private void readInput() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   838
        if (buf.limit() == buf.capacity())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   839
            makeSpace();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   840
90ce3da70b43 Initial load
duke
parents:
diff changeset
   841
        // Prepare to receive data
90ce3da70b43 Initial load
duke
parents:
diff changeset
   842
        int p = buf.position();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   843
        buf.position(buf.limit());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   844
        buf.limit(buf.capacity());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   845
90ce3da70b43 Initial load
duke
parents:
diff changeset
   846
        int n = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   847
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   848
            n = source.read(buf);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   849
        } catch (IOException ioe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   850
            lastException = ioe;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   851
            n = -1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   852
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   853
90ce3da70b43 Initial load
duke
parents:
diff changeset
   854
        if (n == -1) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   855
            sourceClosed = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   856
            needInput = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   857
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   858
90ce3da70b43 Initial load
duke
parents:
diff changeset
   859
        if (n > 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   860
            needInput = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   861
90ce3da70b43 Initial load
duke
parents:
diff changeset
   862
        // Restore current position and limit for reading
90ce3da70b43 Initial load
duke
parents:
diff changeset
   863
        buf.limit(buf.position());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   864
        buf.position(p);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   865
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   866
90ce3da70b43 Initial load
duke
parents:
diff changeset
   867
    // After this method is called there will either be an exception
90ce3da70b43 Initial load
duke
parents:
diff changeset
   868
    // or else there will be space in the buffer
90ce3da70b43 Initial load
duke
parents:
diff changeset
   869
    private boolean makeSpace() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   870
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   871
        int offset = savedScannerPosition == -1 ?
90ce3da70b43 Initial load
duke
parents:
diff changeset
   872
            position : savedScannerPosition;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   873
        buf.position(offset);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   874
        // Gain space by compacting buffer
90ce3da70b43 Initial load
duke
parents:
diff changeset
   875
        if (offset > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   876
            buf.compact();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   877
            translateSavedIndexes(offset);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   878
            position -= offset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   879
            buf.flip();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   880
            return true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   881
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   882
        // Gain space by growing buffer
90ce3da70b43 Initial load
duke
parents:
diff changeset
   883
        int newSize = buf.capacity() * 2;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   884
        CharBuffer newBuf = CharBuffer.allocate(newSize);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   885
        newBuf.put(buf);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   886
        newBuf.flip();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   887
        translateSavedIndexes(offset);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   888
        position -= offset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   889
        buf = newBuf;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   890
        matcher.reset(buf);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   891
        return true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   892
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   893
90ce3da70b43 Initial load
duke
parents:
diff changeset
   894
    // When a buffer compaction/reallocation occurs the saved indexes must
90ce3da70b43 Initial load
duke
parents:
diff changeset
   895
    // be modified appropriately
90ce3da70b43 Initial load
duke
parents:
diff changeset
   896
    private void translateSavedIndexes(int offset) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   897
        if (savedScannerPosition != -1)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   898
            savedScannerPosition -= offset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   899
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   900
90ce3da70b43 Initial load
duke
parents:
diff changeset
   901
    // If we are at the end of input then NoSuchElement;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   902
    // If there is still input left then InputMismatch
90ce3da70b43 Initial load
duke
parents:
diff changeset
   903
    private void throwFor() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   904
        skipped = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   905
        if ((sourceClosed) && (position == buf.limit()))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   906
            throw new NoSuchElementException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   907
        else
90ce3da70b43 Initial load
duke
parents:
diff changeset
   908
            throw new InputMismatchException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   909
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   910
90ce3da70b43 Initial load
duke
parents:
diff changeset
   911
    // Returns true if a complete token or partial token is in the buffer.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   912
    // It is not necessary to find a complete token since a partial token
90ce3da70b43 Initial load
duke
parents:
diff changeset
   913
    // means that there will be another token with or without more input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   914
    private boolean hasTokenInBuffer() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   915
        matchValid = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   916
        matcher.usePattern(delimPattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   917
        matcher.region(position, buf.limit());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   918
90ce3da70b43 Initial load
duke
parents:
diff changeset
   919
        // Skip delims first
90ce3da70b43 Initial load
duke
parents:
diff changeset
   920
        if (matcher.lookingAt())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   921
            position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   922
90ce3da70b43 Initial load
duke
parents:
diff changeset
   923
        // If we are sitting at the end, no more tokens in buffer
90ce3da70b43 Initial load
duke
parents:
diff changeset
   924
        if (position == buf.limit())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   925
            return false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   926
90ce3da70b43 Initial load
duke
parents:
diff changeset
   927
        return true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   928
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   929
90ce3da70b43 Initial load
duke
parents:
diff changeset
   930
    /*
90ce3da70b43 Initial load
duke
parents:
diff changeset
   931
     * Returns a "complete token" that matches the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
   932
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   933
     * A token is complete if surrounded by delims; a partial token
90ce3da70b43 Initial load
duke
parents:
diff changeset
   934
     * is prefixed by delims but not postfixed by them
90ce3da70b43 Initial load
duke
parents:
diff changeset
   935
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   936
     * The position is advanced to the end of that complete token
90ce3da70b43 Initial load
duke
parents:
diff changeset
   937
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   938
     * Pattern == null means accept any token at all
90ce3da70b43 Initial load
duke
parents:
diff changeset
   939
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   940
     * Triple return:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   941
     * 1. valid string means it was found
90ce3da70b43 Initial load
duke
parents:
diff changeset
   942
     * 2. null with needInput=false means we won't ever find it
90ce3da70b43 Initial load
duke
parents:
diff changeset
   943
     * 3. null with needInput=true means try again after readInput
90ce3da70b43 Initial load
duke
parents:
diff changeset
   944
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   945
    private String getCompleteTokenInBuffer(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   946
        matchValid = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   947
90ce3da70b43 Initial load
duke
parents:
diff changeset
   948
        // Skip delims first
90ce3da70b43 Initial load
duke
parents:
diff changeset
   949
        matcher.usePattern(delimPattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   950
        if (!skipped) { // Enforcing only one skip of leading delims
90ce3da70b43 Initial load
duke
parents:
diff changeset
   951
            matcher.region(position, buf.limit());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   952
            if (matcher.lookingAt()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   953
                // If more input could extend the delimiters then we must wait
90ce3da70b43 Initial load
duke
parents:
diff changeset
   954
                // for more input
90ce3da70b43 Initial load
duke
parents:
diff changeset
   955
                if (matcher.hitEnd() && !sourceClosed) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   956
                    needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   957
                    return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   958
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   959
                // The delims were whole and the matcher should skip them
90ce3da70b43 Initial load
duke
parents:
diff changeset
   960
                skipped = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   961
                position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   962
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   963
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   964
90ce3da70b43 Initial load
duke
parents:
diff changeset
   965
        // If we are sitting at the end, no more tokens in buffer
90ce3da70b43 Initial load
duke
parents:
diff changeset
   966
        if (position == buf.limit()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   967
            if (sourceClosed)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   968
                return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   969
            needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   970
            return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   971
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   972
90ce3da70b43 Initial load
duke
parents:
diff changeset
   973
        // Must look for next delims. Simply attempting to match the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   974
        // pattern at this point may find a match but it might not be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   975
        // the first longest match because of missing input, or it might
90ce3da70b43 Initial load
duke
parents:
diff changeset
   976
        // match a partial token instead of the whole thing.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   977
90ce3da70b43 Initial load
duke
parents:
diff changeset
   978
        // Then look for next delims
90ce3da70b43 Initial load
duke
parents:
diff changeset
   979
        matcher.region(position, buf.limit());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   980
        boolean foundNextDelim = matcher.find();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   981
        if (foundNextDelim && (matcher.end() == position)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   982
            // Zero length delimiter match; we should find the next one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   983
            // using the automatic advance past a zero length match;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   984
            // Otherwise we have just found the same one we just skipped
90ce3da70b43 Initial load
duke
parents:
diff changeset
   985
            foundNextDelim = matcher.find();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   986
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   987
        if (foundNextDelim) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   988
            // In the rare case that more input could cause the match
90ce3da70b43 Initial load
duke
parents:
diff changeset
   989
            // to be lost and there is more input coming we must wait
90ce3da70b43 Initial load
duke
parents:
diff changeset
   990
            // for more input. Note that hitting the end is okay as long
90ce3da70b43 Initial load
duke
parents:
diff changeset
   991
            // as the match cannot go away. It is the beginning of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   992
            // next delims we want to be sure about, we don't care if
90ce3da70b43 Initial load
duke
parents:
diff changeset
   993
            // they potentially extend further.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   994
            if (matcher.requireEnd() && !sourceClosed) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   995
                needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   996
                return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   997
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   998
            int tokenEnd = matcher.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   999
            // There is a complete token.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1000
            if (pattern == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1001
                // Must continue with match to provide valid MatchResult
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1002
                pattern = FIND_ANY_PATTERN;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1003
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1004
            //  Attempt to match against the desired pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1005
            matcher.usePattern(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1006
            matcher.region(position, tokenEnd);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1007
            if (matcher.matches()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1008
                String s = matcher.group();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1009
                position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1010
                return s;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1011
            } else { // Complete token but it does not match
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1012
                return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1013
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1014
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1015
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1016
        // If we can't find the next delims but no more input is coming,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1017
        // then we can treat the remainder as a whole token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1018
        if (sourceClosed) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1019
            if (pattern == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1020
                // Must continue with match to provide valid MatchResult
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1021
                pattern = FIND_ANY_PATTERN;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1022
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1023
            // Last token; Match the pattern here or throw
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1024
            matcher.usePattern(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1025
            matcher.region(position, buf.limit());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1026
            if (matcher.matches()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1027
                String s = matcher.group();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1028
                position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1029
                return s;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1030
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1031
            // Last piece does not match
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1032
            return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1033
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1034
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1035
        // There is a partial token in the buffer; must read more
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1036
        // to complete it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1037
        needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1038
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1039
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1040
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1041
    // Finds the specified pattern in the buffer up to horizon.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1042
    // Returns a match for the specified input pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1043
    private String findPatternInBuffer(Pattern pattern, int horizon) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1044
        matchValid = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1045
        matcher.usePattern(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1046
        int bufferLimit = buf.limit();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1047
        int horizonLimit = -1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1048
        int searchLimit = bufferLimit;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1049
        if (horizon > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1050
            horizonLimit = position + horizon;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1051
            if (horizonLimit < bufferLimit)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1052
                searchLimit = horizonLimit;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1053
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1054
        matcher.region(position, searchLimit);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1055
        if (matcher.find()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1056
            if (matcher.hitEnd() && (!sourceClosed)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1057
                // The match may be longer if didn't hit horizon or real end
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1058
                if (searchLimit != horizonLimit) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1059
                     // Hit an artificial end; try to extend the match
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1060
                    needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1061
                    return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1062
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1063
                // The match could go away depending on what is next
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1064
                if ((searchLimit == horizonLimit) && matcher.requireEnd()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1065
                    // Rare case: we hit the end of input and it happens
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1066
                    // that it is at the horizon and the end of input is
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1067
                    // required for the match.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1068
                    needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1069
                    return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1070
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1071
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1072
            // Did not hit end, or hit real end, or hit horizon
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1073
            position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1074
            return matcher.group();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1075
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1076
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1077
        if (sourceClosed)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1078
            return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1079
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1080
        // If there is no specified horizon, or if we have not searched
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1081
        // to the specified horizon yet, get more input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1082
        if ((horizon == 0) || (searchLimit != horizonLimit))
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1083
            needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1084
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1085
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1086
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1087
    // Returns a match for the specified input pattern anchored at
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1088
    // the current position
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1089
    private String matchPatternInBuffer(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1090
        matchValid = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1091
        matcher.usePattern(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1092
        matcher.region(position, buf.limit());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1093
        if (matcher.lookingAt()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1094
            if (matcher.hitEnd() && (!sourceClosed)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1095
                // Get more input and try again
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1096
                needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1097
                return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1098
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1099
            position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1100
            return matcher.group();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1101
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1102
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1103
        if (sourceClosed)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1104
            return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1105
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1106
        // Read more to find pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1107
        needInput = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1108
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1109
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1110
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1111
    // Throws if the scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1112
    private void ensureOpen() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1113
        if (closed)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1114
            throw new IllegalStateException("Scanner closed");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1115
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1116
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1117
    // Public methods
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1118
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1119
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1120
     * Closes this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1121
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1122
     * <p> If this scanner has not yet been closed then if its underlying
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1123
     * {@linkplain java.lang.Readable readable} also implements the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1124
     * java.io.Closeable} interface then the readable's <tt>close</tt> method
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1125
     * will be invoked.  If this scanner is already closed then invoking this
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1126
     * method will have no effect.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1127
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1128
     * <p>Attempting to perform search operations after a scanner has
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1129
     * been closed will result in an {@link IllegalStateException}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1130
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1131
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1132
    public void close() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1133
        if (closed)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1134
            return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1135
        if (source instanceof Closeable) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1136
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1137
                ((Closeable)source).close();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1138
            } catch (IOException ioe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1139
                lastException = ioe;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1140
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1141
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1142
        sourceClosed = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1143
        source = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1144
        closed = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1145
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1146
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1147
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1148
     * Returns the <code>IOException</code> last thrown by this
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1149
     * <code>Scanner</code>'s underlying <code>Readable</code>. This method
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1150
     * returns <code>null</code> if no such exception exists.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1151
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1152
     * @return the last exception thrown by this scanner's readable
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1153
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1154
    public IOException ioException() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1155
        return lastException;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1156
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1157
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1158
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1159
     * Returns the <code>Pattern</code> this <code>Scanner</code> is currently
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1160
     * using to match delimiters.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1161
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1162
     * @return this scanner's delimiting pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1163
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1164
    public Pattern delimiter() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1165
        return delimPattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1166
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1167
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1168
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1169
     * Sets this scanner's delimiting pattern to the specified pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1170
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1171
     * @param pattern A delimiting pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1172
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1173
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1174
    public Scanner useDelimiter(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1175
        delimPattern = pattern;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1176
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1177
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1178
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1179
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1180
     * Sets this scanner's delimiting pattern to a pattern constructed from
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1181
     * the specified <code>String</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1182
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1183
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1184
     * <tt>useDelimiter(pattern)</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1185
     * invocation <tt>useDelimiter(Pattern.compile(pattern))</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1186
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1187
     * <p> Invoking the {@link #reset} method will set the scanner's delimiter
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1188
     * to the <a href= "#default-delimiter">default</a>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1189
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1190
     * @param pattern A string specifying a delimiting pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1191
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1192
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1193
    public Scanner useDelimiter(String pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1194
        delimPattern = patternCache.forName(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1195
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1196
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1197
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1198
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1199
     * Returns this scanner's locale.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1200
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1201
     * <p>A scanner's locale affects many elements of its default
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1202
     * primitive matching regular expressions; see
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1203
     * <a href= "#localized-numbers">localized numbers</a> above.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1204
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1205
     * @return this scanner's locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1206
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1207
    public Locale locale() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1208
        return this.locale;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1209
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1210
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1211
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1212
     * Sets this scanner's locale to the specified locale.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1213
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1214
     * <p>A scanner's locale affects many elements of its default
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1215
     * primitive matching regular expressions; see
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1216
     * <a href= "#localized-numbers">localized numbers</a> above.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1217
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1218
     * <p>Invoking the {@link #reset} method will set the scanner's locale to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1219
     * the <a href= "#initial-locale">initial locale</a>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1220
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1221
     * @param locale A string specifying the locale to use
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1222
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1223
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1224
    public Scanner useLocale(Locale locale) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1225
        if (locale.equals(this.locale))
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1226
            return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1227
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1228
        this.locale = locale;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1229
        DecimalFormat df =
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1230
            (DecimalFormat)NumberFormat.getNumberInstance(locale);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1231
        DecimalFormatSymbols dfs = DecimalFormatSymbols.getInstance(locale);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1232
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1233
        // These must be literalized to avoid collision with regex
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1234
        // metacharacters such as dot or parenthesis
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1235
        groupSeparator =   "\\" + dfs.getGroupingSeparator();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1236
        decimalSeparator = "\\" + dfs.getDecimalSeparator();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1237
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1238
        // Quoting the nonzero length locale-specific things
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1239
        // to avoid potential conflict with metacharacters
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1240
        nanString = "\\Q" + dfs.getNaN() + "\\E";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1241
        infinityString = "\\Q" + dfs.getInfinity() + "\\E";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1242
        positivePrefix = df.getPositivePrefix();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1243
        if (positivePrefix.length() > 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1244
            positivePrefix = "\\Q" + positivePrefix + "\\E";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1245
        negativePrefix = df.getNegativePrefix();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1246
        if (negativePrefix.length() > 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1247
            negativePrefix = "\\Q" + negativePrefix + "\\E";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1248
        positiveSuffix = df.getPositiveSuffix();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1249
        if (positiveSuffix.length() > 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1250
            positiveSuffix = "\\Q" + positiveSuffix + "\\E";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1251
        negativeSuffix = df.getNegativeSuffix();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1252
        if (negativeSuffix.length() > 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1253
            negativeSuffix = "\\Q" + negativeSuffix + "\\E";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1254
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1255
        // Force rebuilding and recompilation of locale dependent
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1256
        // primitive patterns
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1257
        integerPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1258
        floatPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1259
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1260
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1261
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1262
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1263
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1264
     * Returns this scanner's default radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1265
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1266
     * <p>A scanner's radix affects elements of its default
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1267
     * number matching regular expressions; see
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1268
     * <a href= "#localized-numbers">localized numbers</a> above.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1269
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1270
     * @return the default radix of this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1271
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1272
    public int radix() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1273
        return this.defaultRadix;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1274
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1275
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1276
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1277
     * Sets this scanner's default radix to the specified radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1278
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1279
     * <p>A scanner's radix affects elements of its default
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1280
     * number matching regular expressions; see
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1281
     * <a href= "#localized-numbers">localized numbers</a> above.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1282
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1283
     * <p>If the radix is less than <code>Character.MIN_RADIX</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1284
     * or greater than <code>Character.MAX_RADIX</code>, then an
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1285
     * <code>IllegalArgumentException</code> is thrown.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1286
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1287
     * <p>Invoking the {@link #reset} method will set the scanner's radix to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1288
     * <code>10</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1289
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1290
     * @param radix The radix to use when scanning numbers
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1291
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1292
     * @throws IllegalArgumentException if radix is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1293
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1294
    public Scanner useRadix(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1295
        if ((radix < Character.MIN_RADIX) || (radix > Character.MAX_RADIX))
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1296
            throw new IllegalArgumentException("radix:"+radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1297
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1298
        if (this.defaultRadix == radix)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1299
            return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1300
        this.defaultRadix = radix;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1301
        // Force rebuilding and recompilation of radix dependent patterns
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1302
        integerPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1303
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1304
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1305
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1306
    // The next operation should occur in the specified radix but
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1307
    // the default is left untouched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1308
    private void setRadix(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1309
        if (this.radix != radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1310
            // Force rebuilding and recompilation of radix dependent patterns
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1311
            integerPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1312
            this.radix = radix;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1313
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1314
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1315
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1316
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1317
     * Returns the match result of the last scanning operation performed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1318
     * by this scanner. This method throws <code>IllegalStateException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1319
     * if no match has been performed, or if the last match was
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1320
     * not successful.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1321
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1322
     * <p>The various <code>next</code>methods of <code>Scanner</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1323
     * make a match result available if they complete without throwing an
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1324
     * exception. For instance, after an invocation of the {@link #nextInt}
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1325
     * method that returned an int, this method returns a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1326
     * <code>MatchResult</code> for the search of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1327
     * <a href="#Integer-regex"><i>Integer</i></a> regular expression
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1328
     * defined above. Similarly the {@link #findInLine},
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1329
     * {@link #findWithinHorizon}, and {@link #skip} methods will make a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1330
     * match available if they succeed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1331
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1332
     * @return a match result for the last match operation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1333
     * @throws IllegalStateException  If no match result is available
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1334
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1335
    public MatchResult match() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1336
        if (!matchValid)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1337
            throw new IllegalStateException("No match result available");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1338
        return matcher.toMatchResult();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1339
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1340
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1341
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1342
     * <p>Returns the string representation of this <code>Scanner</code>. The
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1343
     * string representation of a <code>Scanner</code> contains information
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1344
     * that may be useful for debugging. The exact format is unspecified.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1345
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1346
     * @return  The string representation of this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1347
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1348
    public String toString() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1349
        StringBuilder sb = new StringBuilder();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1350
        sb.append("java.util.Scanner");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1351
        sb.append("[delimiters=" + delimPattern + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1352
        sb.append("[position=" + position + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1353
        sb.append("[match valid=" + matchValid + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1354
        sb.append("[need input=" + needInput + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1355
        sb.append("[source closed=" + sourceClosed + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1356
        sb.append("[skipped=" + skipped + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1357
        sb.append("[group separator=" + groupSeparator + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1358
        sb.append("[decimal separator=" + decimalSeparator + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1359
        sb.append("[positive prefix=" + positivePrefix + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1360
        sb.append("[negative prefix=" + negativePrefix + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1361
        sb.append("[positive suffix=" + positiveSuffix + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1362
        sb.append("[negative suffix=" + negativeSuffix + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1363
        sb.append("[NaN string=" + nanString + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1364
        sb.append("[infinity string=" + infinityString + "]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1365
        return sb.toString();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1366
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1367
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1368
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1369
     * Returns true if this scanner has another token in its input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1370
     * This method may block while waiting for input to scan.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1371
     * The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1372
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1373
     * @return true if and only if this scanner has another token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1374
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1375
     * @see java.util.Iterator
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1376
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1377
    public boolean hasNext() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1378
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1379
        saveState();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1380
        while (!sourceClosed) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1381
            if (hasTokenInBuffer())
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1382
                return revertState(true);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1383
            readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1384
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1385
        boolean result = hasTokenInBuffer();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1386
        return revertState(result);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1387
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1388
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1389
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1390
     * Finds and returns the next complete token from this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1391
     * A complete token is preceded and followed by input that matches
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1392
     * the delimiter pattern. This method may block while waiting for input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1393
     * to scan, even if a previous invocation of {@link #hasNext} returned
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1394
     * <code>true</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1395
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1396
     * @return the next token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1397
     * @throws NoSuchElementException if no more tokens are available
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1398
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1399
     * @see java.util.Iterator
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1400
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1401
    public String next() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1402
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1403
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1404
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1405
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1406
            String token = getCompleteTokenInBuffer(null);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1407
            if (token != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1408
                matchValid = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1409
                skipped = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1410
                return token;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1411
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1412
            if (needInput)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1413
                readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1414
            else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1415
                throwFor();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1416
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1417
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1418
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1419
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1420
     * The remove operation is not supported by this implementation of
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1421
     * <code>Iterator</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1422
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1423
     * @throws UnsupportedOperationException if this method is invoked.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1424
     * @see java.util.Iterator
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1425
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1426
    public void remove() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1427
        throw new UnsupportedOperationException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1428
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1429
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1430
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1431
     * Returns true if the next token matches the pattern constructed from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1432
     * specified string. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1433
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1434
     * <p> An invocation of this method of the form <tt>hasNext(pattern)</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1435
     * behaves in exactly the same way as the invocation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1436
     * <tt>hasNext(Pattern.compile(pattern))</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1437
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1438
     * @param pattern a string specifying the pattern to scan
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1439
     * @return true if and only if this scanner has another token matching
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1440
     *         the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1441
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1442
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1443
    public boolean hasNext(String pattern)  {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1444
        return hasNext(patternCache.forName(pattern));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1445
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1446
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1447
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1448
     * Returns the next token if it matches the pattern constructed from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1449
     * specified string.  If the match is successful, the scanner advances
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1450
     * past the input that matched the pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1451
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1452
     * <p> An invocation of this method of the form <tt>next(pattern)</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1453
     * behaves in exactly the same way as the invocation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1454
     * <tt>next(Pattern.compile(pattern))</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1455
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1456
     * @param pattern a string specifying the pattern to scan
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1457
     * @return the next token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1458
     * @throws NoSuchElementException if no such tokens are available
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1459
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1460
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1461
    public String next(String pattern)  {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1462
        return next(patternCache.forName(pattern));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1463
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1464
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1465
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1466
     * Returns true if the next complete token matches the specified pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1467
     * A complete token is prefixed and postfixed by input that matches
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1468
     * the delimiter pattern. This method may block while waiting for input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1469
     * The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1470
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1471
     * @param pattern the pattern to scan for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1472
     * @return true if and only if this scanner has another token matching
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1473
     *         the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1474
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1475
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1476
    public boolean hasNext(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1477
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1478
        if (pattern == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1479
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1480
        hasNextPattern = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1481
        saveState();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1482
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1483
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1484
            if (getCompleteTokenInBuffer(pattern) != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1485
                matchValid = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1486
                cacheResult();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1487
                return revertState(true);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1488
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1489
            if (needInput)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1490
                readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1491
            else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1492
                return revertState(false);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1493
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1494
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1495
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1496
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1497
     * Returns the next token if it matches the specified pattern. This
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1498
     * method may block while waiting for input to scan, even if a previous
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1499
     * invocation of {@link #hasNext(Pattern)} returned <code>true</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1500
     * If the match is successful, the scanner advances past the input that
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1501
     * matched the pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1502
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1503
     * @param pattern the pattern to scan for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1504
     * @return the next token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1505
     * @throws NoSuchElementException if no more tokens are available
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1506
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1507
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1508
    public String next(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1509
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1510
        if (pattern == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1511
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1512
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1513
        // Did we already find this pattern?
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1514
        if (hasNextPattern == pattern)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1515
            return getCachedResult();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1516
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1517
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1518
        // Search for the pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1519
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1520
            String token = getCompleteTokenInBuffer(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1521
            if (token != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1522
                matchValid = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1523
                skipped = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1524
                return token;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1525
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1526
            if (needInput)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1527
                readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1528
            else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1529
                throwFor();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1530
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1531
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1532
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1533
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1534
     * Returns true if there is another line in the input of this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1535
     * This method may block while waiting for input. The scanner does not
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1536
     * advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1537
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1538
     * @return true if and only if this scanner has another line of input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1539
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1540
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1541
    public boolean hasNextLine() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1542
        saveState();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1543
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1544
        String result = findWithinHorizon(linePattern(), 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1545
        if (result != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1546
            MatchResult mr = this.match();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1547
            String lineSep = mr.group(1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1548
            if (lineSep != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1549
                result = result.substring(0, result.length() -
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1550
                                          lineSep.length());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1551
                cacheResult(result);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1552
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1553
            } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1554
                cacheResult();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1555
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1556
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1557
        revertState();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1558
        return (result != null);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1559
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1560
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1561
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1562
     * Advances this scanner past the current line and returns the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1563
     * that was skipped.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1564
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1565
     * This method returns the rest of the current line, excluding any line
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1566
     * separator at the end. The position is set to the beginning of the next
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1567
     * line.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1568
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1569
     * <p>Since this method continues to search through the input looking
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1570
     * for a line separator, it may buffer all of the input searching for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1571
     * the line to skip if no line separators are present.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1572
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1573
     * @return the line that was skipped
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1574
     * @throws NoSuchElementException if no line was found
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1575
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1576
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1577
    public String nextLine() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1578
        if (hasNextPattern == linePattern())
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1579
            return getCachedResult();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1580
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1581
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1582
        String result = findWithinHorizon(linePattern, 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1583
        if (result == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1584
            throw new NoSuchElementException("No line found");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1585
        MatchResult mr = this.match();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1586
        String lineSep = mr.group(1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1587
        if (lineSep != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1588
            result = result.substring(0, result.length() - lineSep.length());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1589
        if (result == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1590
            throw new NoSuchElementException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1591
        else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1592
            return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1593
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1594
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1595
    // Public methods that ignore delimiters
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1596
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1597
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1598
     * Attempts to find the next occurrence of a pattern constructed from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1599
     * specified string, ignoring delimiters.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1600
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1601
     * <p>An invocation of this method of the form <tt>findInLine(pattern)</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1602
     * behaves in exactly the same way as the invocation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1603
     * <tt>findInLine(Pattern.compile(pattern))</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1604
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1605
     * @param pattern a string specifying the pattern to search for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1606
     * @return the text that matched the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1607
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1608
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1609
    public String findInLine(String pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1610
        return findInLine(patternCache.forName(pattern));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1611
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1612
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1613
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1614
     * Attempts to find the next occurrence of the specified pattern ignoring
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1615
     * delimiters. If the pattern is found before the next line separator, the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1616
     * scanner advances past the input that matched and returns the string that
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1617
     * matched the pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1618
     * If no such pattern is detected in the input up to the next line
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1619
     * separator, then <code>null</code> is returned and the scanner's
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1620
     * position is unchanged. This method may block waiting for input that
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1621
     * matches the pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1622
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1623
     * <p>Since this method continues to search through the input looking
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1624
     * for the specified pattern, it may buffer all of the input searching for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1625
     * the desired token if no line separators are present.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1626
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1627
     * @param pattern the pattern to scan for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1628
     * @return the text that matched the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1629
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1630
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1631
    public String findInLine(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1632
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1633
        if (pattern == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1634
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1635
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1636
        // Expand buffer to include the next newline or end of input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1637
        int endPosition = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1638
        saveState();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1639
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1640
            String token = findPatternInBuffer(separatorPattern(), 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1641
            if (token != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1642
                endPosition = matcher.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1643
                break; // up to next newline
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1644
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1645
            if (needInput) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1646
                readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1647
            } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1648
                endPosition = buf.limit();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1649
                break; // up to end of input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1650
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1651
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1652
        revertState();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1653
        int horizonForLine = endPosition - position;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1654
        // If there is nothing between the current pos and the next
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1655
        // newline simply return null, invoking findWithinHorizon
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1656
        // with "horizon=0" will scan beyond the line bound.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1657
        if (horizonForLine == 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1658
            return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1659
        // Search for the pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1660
        return findWithinHorizon(pattern, horizonForLine);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1661
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1662
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1663
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1664
     * Attempts to find the next occurrence of a pattern constructed from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1665
     * specified string, ignoring delimiters.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1666
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1667
     * <p>An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1668
     * <tt>findWithinHorizon(pattern)</tt> behaves in exactly the same way as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1669
     * the invocation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1670
     * <tt>findWithinHorizon(Pattern.compile(pattern, horizon))</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1671
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1672
     * @param pattern a string specifying the pattern to search for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1673
     * @return the text that matched the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1674
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1675
     * @throws IllegalArgumentException if horizon is negative
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1676
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1677
    public String findWithinHorizon(String pattern, int horizon) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1678
        return findWithinHorizon(patternCache.forName(pattern), horizon);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1679
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1680
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1681
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1682
     * Attempts to find the next occurrence of the specified pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1683
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1684
     * <p>This method searches through the input up to the specified
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1685
     * search horizon, ignoring delimiters. If the pattern is found the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1686
     * scanner advances past the input that matched and returns the string
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1687
     * that matched the pattern. If no such pattern is detected then the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1688
     * null is returned and the scanner's position remains unchanged. This
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1689
     * method may block waiting for input that matches the pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1690
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1691
     * <p>A scanner will never search more than <code>horizon</code> code
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1692
     * points beyond its current position. Note that a match may be clipped
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1693
     * by the horizon; that is, an arbitrary match result may have been
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1694
     * different if the horizon had been larger. The scanner treats the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1695
     * horizon as a transparent, non-anchoring bound (see {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1696
     * Matcher#useTransparentBounds} and {@link Matcher#useAnchoringBounds}).
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1697
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1698
     * <p>If horizon is <code>0</code>, then the horizon is ignored and
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1699
     * this method continues to search through the input looking for the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1700
     * specified pattern without bound. In this case it may buffer all of
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1701
     * the input searching for the pattern.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1702
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1703
     * <p>If horizon is negative, then an IllegalArgumentException is
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1704
     * thrown.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1705
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1706
     * @param pattern the pattern to scan for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1707
     * @return the text that matched the specified pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1708
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1709
     * @throws IllegalArgumentException if horizon is negative
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1710
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1711
    public String findWithinHorizon(Pattern pattern, int horizon) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1712
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1713
        if (pattern == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1714
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1715
        if (horizon < 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1716
            throw new IllegalArgumentException("horizon < 0");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1717
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1718
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1719
        // Search for the pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1720
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1721
            String token = findPatternInBuffer(pattern, horizon);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1722
            if (token != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1723
                matchValid = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1724
                return token;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1725
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1726
            if (needInput)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1727
                readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1728
            else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1729
                break; // up to end of input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1730
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1731
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1732
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1733
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1734
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1735
     * Skips input that matches the specified pattern, ignoring delimiters.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1736
     * This method will skip input if an anchored match of the specified
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1737
     * pattern succeeds.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1738
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1739
     * <p>If a match to the specified pattern is not found at the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1740
     * current position, then no input is skipped and a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1741
     * <tt>NoSuchElementException</tt> is thrown.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1742
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1743
     * <p>Since this method seeks to match the specified pattern starting at
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1744
     * the scanner's current position, patterns that can match a lot of
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1745
     * input (".*", for example) may cause the scanner to buffer a large
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1746
     * amount of input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1747
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1748
     * <p>Note that it is possible to skip something without risking a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1749
     * <code>NoSuchElementException</code> by using a pattern that can
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1750
     * match nothing, e.g., <code>sc.skip("[ \t]*")</code>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1751
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1752
     * @param pattern a string specifying the pattern to skip over
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1753
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1754
     * @throws NoSuchElementException if the specified pattern is not found
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1755
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1756
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1757
    public Scanner skip(Pattern pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1758
        ensureOpen();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1759
        if (pattern == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1760
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1761
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1762
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1763
        // Search for the pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1764
        while (true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1765
            String token = matchPatternInBuffer(pattern);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1766
            if (token != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1767
                matchValid = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1768
                position = matcher.end();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1769
                return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1770
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1771
            if (needInput)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1772
                readInput();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1773
            else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1774
                throw new NoSuchElementException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1775
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1776
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1777
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1778
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1779
     * Skips input that matches a pattern constructed from the specified
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1780
     * string.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1781
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1782
     * <p> An invocation of this method of the form <tt>skip(pattern)</tt>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1783
     * behaves in exactly the same way as the invocation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1784
     * <tt>skip(Pattern.compile(pattern))</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1785
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1786
     * @param pattern a string specifying the pattern to skip over
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1787
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1788
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1789
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1790
    public Scanner skip(String pattern) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1791
        return skip(patternCache.forName(pattern));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1792
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1793
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1794
    // Convenience methods for scanning primitives
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1795
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1796
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1797
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1798
     * interpreted as a boolean value using a case insensitive pattern
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1799
     * created from the string "true|false".  The scanner does not
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1800
     * advance past the input that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1801
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1802
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1803
     *         boolean value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1804
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1805
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1806
    public boolean hasNextBoolean()  {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1807
        return hasNext(boolPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1808
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1809
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1810
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1811
     * Scans the next token of the input into a boolean value and returns
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1812
     * that value. This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1813
     * if the next token cannot be translated into a valid boolean value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1814
     * If the match is successful, the scanner advances past the input that
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1815
     * matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1816
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1817
     * @return the boolean scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1818
     * @throws InputMismatchException if the next token is not a valid boolean
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1819
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1820
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1821
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1822
    public boolean nextBoolean()  {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1823
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1824
        return Boolean.parseBoolean(next(boolPattern()));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1825
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1826
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1827
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1828
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1829
     * interpreted as a byte value in the default radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1830
     * {@link #nextByte} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1831
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1832
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1833
     *         byte value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1834
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1835
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1836
    public boolean hasNextByte() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1837
        return hasNextByte(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1838
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1839
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1840
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1841
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1842
     * interpreted as a byte value in the specified radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1843
     * {@link #nextByte} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1844
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1845
     * @param radix the radix used to interpret the token as a byte value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1846
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1847
     *         byte value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1848
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1849
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1850
    public boolean hasNextByte(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1851
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1852
        boolean result = hasNext(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1853
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1854
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1855
                String s = (matcher.group(SIMPLE_GROUP_INDEX) == null) ?
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1856
                    processIntegerToken(hasNextResult) :
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1857
                    hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1858
                typeCache = Byte.parseByte(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1859
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1860
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1861
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1862
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1863
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1864
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1865
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1866
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1867
     * Scans the next token of the input as a <tt>byte</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1868
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1869
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1870
     * <tt>nextByte()</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1871
     * invocation <tt>nextByte(radix)</tt>, where <code>radix</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1872
     * is the default radix of this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1873
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1874
     * @return the <tt>byte</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1875
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1876
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1877
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1878
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1879
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1880
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1881
    public byte nextByte() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1882
         return nextByte(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1883
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1884
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1885
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1886
     * Scans the next token of the input as a <tt>byte</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1887
     * This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1888
     * if the next token cannot be translated into a valid byte value as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1889
     * described below. If the translation is successful, the scanner advances
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1890
     * past the input that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1891
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1892
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1893
     * href="#Integer-regex"><i>Integer</i></a> regular expression defined
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1894
     * above then the token is converted into a <tt>byte</tt> value as if by
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1895
     * removing all locale specific prefixes, group separators, and locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1896
     * specific suffixes, then mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1897
     * digits via {@link Character#digit Character.digit}, prepending a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1898
     * negative sign (-) if the locale specific negative prefixes and suffixes
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1899
     * were present, and passing the resulting string to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1900
     * {@link Byte#parseByte(String, int) Byte.parseByte} with the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1901
     * specified radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1902
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1903
     * @param radix the radix used to interpret the token as a byte value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1904
     * @return the <tt>byte</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1905
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1906
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1907
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1908
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1909
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1910
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1911
    public byte nextByte(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1912
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1913
        if ((typeCache != null) && (typeCache instanceof Byte)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1914
            && this.radix == radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1915
            byte val = ((Byte)typeCache).byteValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1916
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1917
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1918
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1919
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1920
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1921
        // Search for next byte
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1922
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1923
            String s = next(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1924
            if (matcher.group(SIMPLE_GROUP_INDEX) == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1925
                s = processIntegerToken(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1926
            return Byte.parseByte(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1927
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1928
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1929
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1930
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1931
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1932
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1933
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1934
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1935
     * interpreted as a short value in the default radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1936
     * {@link #nextShort} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1937
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1938
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1939
     *         short value in the default radix
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1940
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1941
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1942
    public boolean hasNextShort() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1943
        return hasNextShort(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1944
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1945
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1946
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1947
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1948
     * interpreted as a short value in the specified radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1949
     * {@link #nextShort} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1950
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1951
     * @param radix the radix used to interpret the token as a short value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1952
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1953
     *         short value in the specified radix
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1954
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1955
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1956
    public boolean hasNextShort(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1957
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1958
        boolean result = hasNext(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1959
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1960
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1961
                String s = (matcher.group(SIMPLE_GROUP_INDEX) == null) ?
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1962
                    processIntegerToken(hasNextResult) :
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1963
                    hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1964
                typeCache = Short.parseShort(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1965
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1966
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1967
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1968
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1969
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1970
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1971
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1972
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1973
     * Scans the next token of the input as a <tt>short</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1974
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1975
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1976
     * <tt>nextShort()</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1977
     * invocation <tt>nextShort(radix)</tt>, where <code>radix</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1978
     * is the default radix of this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1979
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1980
     * @return the <tt>short</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1981
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1982
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1983
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1984
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1985
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1986
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1987
    public short nextShort() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1988
        return nextShort(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1989
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1990
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1991
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1992
     * Scans the next token of the input as a <tt>short</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1993
     * This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1994
     * if the next token cannot be translated into a valid short value as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1995
     * described below. If the translation is successful, the scanner advances
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1996
     * past the input that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1997
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1998
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1999
     * href="#Integer-regex"><i>Integer</i></a> regular expression defined
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2000
     * above then the token is converted into a <tt>short</tt> value as if by
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2001
     * removing all locale specific prefixes, group separators, and locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2002
     * specific suffixes, then mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2003
     * digits via {@link Character#digit Character.digit}, prepending a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2004
     * negative sign (-) if the locale specific negative prefixes and suffixes
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2005
     * were present, and passing the resulting string to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2006
     * {@link Short#parseShort(String, int) Short.parseShort} with the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2007
     * specified radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2008
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2009
     * @param radix the radix used to interpret the token as a short value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2010
     * @return the <tt>short</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2011
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2012
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2013
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2014
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2015
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2016
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2017
    public short nextShort(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2018
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2019
        if ((typeCache != null) && (typeCache instanceof Short)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2020
            && this.radix == radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2021
            short val = ((Short)typeCache).shortValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2022
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2023
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2024
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2025
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2026
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2027
        // Search for next short
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2028
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2029
            String s = next(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2030
            if (matcher.group(SIMPLE_GROUP_INDEX) == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2031
                s = processIntegerToken(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2032
            return Short.parseShort(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2033
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2034
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2035
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2036
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2037
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2038
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2039
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2040
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2041
     * interpreted as an int value in the default radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2042
     * {@link #nextInt} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2043
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2044
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2045
     *         int value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2046
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2047
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2048
    public boolean hasNextInt() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2049
        return hasNextInt(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2050
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2051
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2052
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2053
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2054
     * interpreted as an int value in the specified radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2055
     * {@link #nextInt} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2056
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2057
     * @param radix the radix used to interpret the token as an int value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2058
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2059
     *         int value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2060
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2061
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2062
    public boolean hasNextInt(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2063
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2064
        boolean result = hasNext(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2065
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2066
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2067
                String s = (matcher.group(SIMPLE_GROUP_INDEX) == null) ?
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2068
                    processIntegerToken(hasNextResult) :
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2069
                    hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2070
                typeCache = Integer.parseInt(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2071
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2072
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2073
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2074
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2075
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2076
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2077
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2078
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2079
     * The integer token must be stripped of prefixes, group separators,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2080
     * and suffixes, non ascii digits must be converted into ascii digits
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2081
     * before parse will accept it.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2082
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2083
    private String processIntegerToken(String token) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2084
        String result = token.replaceAll(""+groupSeparator, "");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2085
        boolean isNegative = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2086
        int preLen = negativePrefix.length();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2087
        if ((preLen > 0) && result.startsWith(negativePrefix)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2088
            isNegative = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2089
            result = result.substring(preLen);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2090
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2091
        int sufLen = negativeSuffix.length();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2092
        if ((sufLen > 0) && result.endsWith(negativeSuffix)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2093
            isNegative = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2094
            result = result.substring(result.length() - sufLen,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2095
                                      result.length());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2096
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2097
        if (isNegative)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2098
            result = "-" + result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2099
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2100
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2101
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2102
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2103
     * Scans the next token of the input as an <tt>int</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2104
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2105
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2106
     * <tt>nextInt()</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2107
     * invocation <tt>nextInt(radix)</tt>, where <code>radix</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2108
     * is the default radix of this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2109
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2110
     * @return the <tt>int</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2111
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2112
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2113
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2114
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2115
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2116
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2117
    public int nextInt() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2118
        return nextInt(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2119
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2120
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2121
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2122
     * Scans the next token of the input as an <tt>int</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2123
     * This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2124
     * if the next token cannot be translated into a valid int value as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2125
     * described below. If the translation is successful, the scanner advances
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2126
     * past the input that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2127
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2128
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2129
     * href="#Integer-regex"><i>Integer</i></a> regular expression defined
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2130
     * above then the token is converted into an <tt>int</tt> value as if by
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2131
     * removing all locale specific prefixes, group separators, and locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2132
     * specific suffixes, then mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2133
     * digits via {@link Character#digit Character.digit}, prepending a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2134
     * negative sign (-) if the locale specific negative prefixes and suffixes
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2135
     * were present, and passing the resulting string to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2136
     * {@link Integer#parseInt(String, int) Integer.parseInt} with the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2137
     * specified radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2138
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2139
     * @param radix the radix used to interpret the token as an int value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2140
     * @return the <tt>int</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2141
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2142
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2143
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2144
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2145
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2146
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2147
    public int nextInt(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2148
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2149
        if ((typeCache != null) && (typeCache instanceof Integer)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2150
            && this.radix == radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2151
            int val = ((Integer)typeCache).intValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2152
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2153
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2154
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2155
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2156
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2157
        // Search for next int
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2158
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2159
            String s = next(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2160
            if (matcher.group(SIMPLE_GROUP_INDEX) == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2161
                s = processIntegerToken(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2162
            return Integer.parseInt(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2163
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2164
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2165
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2166
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2167
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2168
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2169
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2170
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2171
     * interpreted as a long value in the default radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2172
     * {@link #nextLong} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2173
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2174
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2175
     *         long value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2176
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2177
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2178
    public boolean hasNextLong() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2179
        return hasNextLong(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2180
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2181
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2182
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2183
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2184
     * interpreted as a long value in the specified radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2185
     * {@link #nextLong} method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2186
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2187
     * @param radix the radix used to interpret the token as a long value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2188
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2189
     *         long value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2190
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2191
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2192
    public boolean hasNextLong(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2193
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2194
        boolean result = hasNext(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2195
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2196
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2197
                String s = (matcher.group(SIMPLE_GROUP_INDEX) == null) ?
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2198
                    processIntegerToken(hasNextResult) :
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2199
                    hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2200
                typeCache = Long.parseLong(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2201
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2202
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2203
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2204
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2205
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2206
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2207
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2208
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2209
     * Scans the next token of the input as a <tt>long</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2210
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2211
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2212
     * <tt>nextLong()</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2213
     * invocation <tt>nextLong(radix)</tt>, where <code>radix</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2214
     * is the default radix of this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2215
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2216
     * @return the <tt>long</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2217
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2218
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2219
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2220
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2221
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2222
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2223
    public long nextLong() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2224
        return nextLong(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2225
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2226
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2227
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2228
     * Scans the next token of the input as a <tt>long</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2229
     * This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2230
     * if the next token cannot be translated into a valid long value as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2231
     * described below. If the translation is successful, the scanner advances
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2232
     * past the input that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2233
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2234
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2235
     * href="#Integer-regex"><i>Integer</i></a> regular expression defined
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2236
     * above then the token is converted into a <tt>long</tt> value as if by
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2237
     * removing all locale specific prefixes, group separators, and locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2238
     * specific suffixes, then mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2239
     * digits via {@link Character#digit Character.digit}, prepending a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2240
     * negative sign (-) if the locale specific negative prefixes and suffixes
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2241
     * were present, and passing the resulting string to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2242
     * {@link Long#parseLong(String, int) Long.parseLong} with the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2243
     * specified radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2244
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2245
     * @param radix the radix used to interpret the token as an int value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2246
     * @return the <tt>long</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2247
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2248
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2249
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2250
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2251
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2252
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2253
    public long nextLong(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2254
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2255
        if ((typeCache != null) && (typeCache instanceof Long)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2256
            && this.radix == radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2257
            long val = ((Long)typeCache).longValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2258
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2259
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2260
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2261
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2262
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2263
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2264
            String s = next(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2265
            if (matcher.group(SIMPLE_GROUP_INDEX) == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2266
                s = processIntegerToken(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2267
            return Long.parseLong(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2268
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2269
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2270
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2271
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2272
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2273
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2274
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2275
     * The float token must be stripped of prefixes, group separators,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2276
     * and suffixes, non ascii digits must be converted into ascii digits
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2277
     * before parseFloat will accept it.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2278
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2279
     * If there are non-ascii digits in the token these digits must
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2280
     * be processed before the token is passed to parseFloat.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2281
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2282
    private String processFloatToken(String token) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2283
        String result = token.replaceAll(groupSeparator, "");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2284
        if (!decimalSeparator.equals("\\."))
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2285
            result = result.replaceAll(decimalSeparator, ".");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2286
        boolean isNegative = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2287
        int preLen = negativePrefix.length();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2288
        if ((preLen > 0) && result.startsWith(negativePrefix)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2289
            isNegative = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2290
            result = result.substring(preLen);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2291
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2292
        int sufLen = negativeSuffix.length();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2293
        if ((sufLen > 0) && result.endsWith(negativeSuffix)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2294
            isNegative = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2295
            result = result.substring(result.length() - sufLen,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2296
                                      result.length());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2297
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2298
        if (result.equals(nanString))
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2299
            result = "NaN";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2300
        if (result.equals(infinityString))
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2301
            result = "Infinity";
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2302
        if (isNegative)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2303
            result = "-" + result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2304
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2305
        // Translate non-ASCII digits
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2306
        Matcher m = NON_ASCII_DIGIT.matcher(result);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2307
        if (m.find()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2308
            StringBuilder inASCII = new StringBuilder();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2309
            for (int i=0; i<result.length(); i++) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2310
                char nextChar = result.charAt(i);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2311
                if (Character.isDigit(nextChar)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2312
                    int d = Character.digit(nextChar, 10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2313
                    if (d != -1)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2314
                        inASCII.append(d);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2315
                    else
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2316
                        inASCII.append(nextChar);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2317
                } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2318
                    inASCII.append(nextChar);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2319
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2320
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2321
            result = inASCII.toString();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2322
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2323
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2324
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2325
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2326
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2327
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2328
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2329
     * interpreted as a float value using the {@link #nextFloat}
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2330
     * method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2331
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2332
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2333
     *         float value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2334
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2335
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2336
    public boolean hasNextFloat() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2337
        setRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2338
        boolean result = hasNext(floatPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2339
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2340
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2341
                String s = processFloatToken(hasNextResult);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2342
                typeCache = Float.valueOf(Float.parseFloat(s));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2343
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2344
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2345
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2346
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2347
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2348
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2349
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2350
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2351
     * Scans the next token of the input as a <tt>float</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2352
     * This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2353
     * if the next token cannot be translated into a valid float value as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2354
     * described below. If the translation is successful, the scanner advances
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2355
     * past the input that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2356
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2357
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2358
     * href="#Float-regex"><i>Float</i></a> regular expression defined above
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2359
     * then the token is converted into a <tt>float</tt> value as if by
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2360
     * removing all locale specific prefixes, group separators, and locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2361
     * specific suffixes, then mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2362
     * digits via {@link Character#digit Character.digit}, prepending a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2363
     * negative sign (-) if the locale specific negative prefixes and suffixes
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2364
     * were present, and passing the resulting string to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2365
     * {@link Float#parseFloat Float.parseFloat}. If the token matches
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2366
     * the localized NaN or infinity strings, then either "Nan" or "Infinity"
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2367
     * is passed to {@link Float#parseFloat(String) Float.parseFloat} as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2368
     * appropriate.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2369
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2370
     * @return the <tt>float</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2371
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2372
     *         if the next token does not match the <i>Float</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2373
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2374
     * @throws NoSuchElementException if input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2375
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2376
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2377
    public float nextFloat() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2378
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2379
        if ((typeCache != null) && (typeCache instanceof Float)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2380
            float val = ((Float)typeCache).floatValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2381
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2382
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2383
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2384
        setRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2385
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2386
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2387
            return Float.parseFloat(processFloatToken(next(floatPattern())));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2388
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2389
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2390
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2391
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2392
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2393
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2394
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2395
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2396
     * interpreted as a double value using the {@link #nextDouble}
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2397
     * method. The scanner does not advance past any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2398
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2399
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2400
     *         double value
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2401
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2402
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2403
    public boolean hasNextDouble() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2404
        setRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2405
        boolean result = hasNext(floatPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2406
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2407
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2408
                String s = processFloatToken(hasNextResult);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2409
                typeCache = Double.valueOf(Double.parseDouble(s));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2410
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2411
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2412
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2413
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2414
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2415
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2416
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2417
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2418
     * Scans the next token of the input as a <tt>double</tt>.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2419
     * This method will throw <code>InputMismatchException</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2420
     * if the next token cannot be translated into a valid double value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2421
     * If the translation is successful, the scanner advances past the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2422
     * that matched.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2423
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2424
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2425
     * href="#Float-regex"><i>Float</i></a> regular expression defined above
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2426
     * then the token is converted into a <tt>double</tt> value as if by
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2427
     * removing all locale specific prefixes, group separators, and locale
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2428
     * specific suffixes, then mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2429
     * digits via {@link Character#digit Character.digit}, prepending a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2430
     * negative sign (-) if the locale specific negative prefixes and suffixes
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2431
     * were present, and passing the resulting string to
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2432
     * {@link Double#parseDouble Double.parseDouble}. If the token matches
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2433
     * the localized NaN or infinity strings, then either "Nan" or "Infinity"
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2434
     * is passed to {@link Double#parseDouble(String) Double.parseDouble} as
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2435
     * appropriate.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2436
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2437
     * @return the <tt>double</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2438
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2439
     *         if the next token does not match the <i>Float</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2440
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2441
     * @throws NoSuchElementException if the input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2442
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2443
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2444
    public double nextDouble() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2445
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2446
        if ((typeCache != null) && (typeCache instanceof Double)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2447
            double val = ((Double)typeCache).doubleValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2448
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2449
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2450
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2451
        setRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2452
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2453
        // Search for next float
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2454
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2455
            return Double.parseDouble(processFloatToken(next(floatPattern())));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2456
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2457
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2458
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2459
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2460
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2461
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2462
    // Convenience methods for scanning multi precision numbers
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2463
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2464
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2465
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2466
     * interpreted as a <code>BigInteger</code> in the default radix using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2467
     * {@link #nextBigInteger} method. The scanner does not advance past any
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2468
     * input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2469
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2470
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2471
     *         <code>BigInteger</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2472
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2473
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2474
    public boolean hasNextBigInteger() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2475
        return hasNextBigInteger(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2476
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2477
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2478
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2479
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2480
     * interpreted as a <code>BigInteger</code> in the specified radix using
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2481
     * the {@link #nextBigInteger} method. The scanner does not advance past
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2482
     * any input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2483
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2484
     * @param radix the radix used to interpret the token as an integer
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2485
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2486
     *         <code>BigInteger</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2487
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2488
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2489
    public boolean hasNextBigInteger(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2490
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2491
        boolean result = hasNext(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2492
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2493
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2494
                String s = (matcher.group(SIMPLE_GROUP_INDEX) == null) ?
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2495
                    processIntegerToken(hasNextResult) :
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2496
                    hasNextResult;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2497
                typeCache = new BigInteger(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2498
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2499
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2500
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2501
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2502
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2503
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2504
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2505
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2506
     * Scans the next token of the input as a {@link java.math.BigInteger
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2507
     * BigInteger}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2508
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2509
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2510
     * <tt>nextBigInteger()</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2511
     * invocation <tt>nextBigInteger(radix)</tt>, where <code>radix</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2512
     * is the default radix of this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2513
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2514
     * @return the <tt>BigInteger</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2515
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2516
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2517
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2518
     * @throws NoSuchElementException if the input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2519
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2520
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2521
    public BigInteger nextBigInteger() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2522
        return nextBigInteger(defaultRadix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2523
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2524
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2525
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2526
     * Scans the next token of the input as a {@link java.math.BigInteger
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2527
     * BigInteger}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2528
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2529
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2530
     * href="#Integer-regex"><i>Integer</i></a> regular expression defined
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2531
     * above then the token is converted into a <tt>BigInteger</tt> value as if
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2532
     * by removing all group separators, mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2533
     * digits via the {@link Character#digit Character.digit}, and passing the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2534
     * resulting string to the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2535
     * java.math.BigInteger#BigInteger(java.lang.String)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2536
     * BigInteger(String, int)} constructor with the specified radix.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2537
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2538
     * @param radix the radix used to interpret the token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2539
     * @return the <tt>BigInteger</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2540
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2541
     *         if the next token does not match the <i>Integer</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2542
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2543
     * @throws NoSuchElementException if the input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2544
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2545
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2546
    public BigInteger nextBigInteger(int radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2547
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2548
        if ((typeCache != null) && (typeCache instanceof BigInteger)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2549
            && this.radix == radix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2550
            BigInteger val = (BigInteger)typeCache;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2551
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2552
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2553
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2554
        setRadix(radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2555
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2556
        // Search for next int
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2557
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2558
            String s = next(integerPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2559
            if (matcher.group(SIMPLE_GROUP_INDEX) == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2560
                s = processIntegerToken(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2561
            return new BigInteger(s, radix);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2562
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2563
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2564
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2565
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2566
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2567
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2568
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2569
     * Returns true if the next token in this scanner's input can be
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2570
     * interpreted as a <code>BigDecimal</code> using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2571
     * {@link #nextBigDecimal} method. The scanner does not advance past any
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2572
     * input.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2573
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2574
     * @return true if and only if this scanner's next token is a valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2575
     *         <code>BigDecimal</code>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2576
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2577
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2578
    public boolean hasNextBigDecimal() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2579
        setRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2580
        boolean result = hasNext(decimalPattern());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2581
        if (result) { // Cache it
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2582
            try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2583
                String s = processFloatToken(hasNextResult);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2584
                typeCache = new BigDecimal(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2585
            } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2586
                result = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2587
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2588
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2589
        return result;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2590
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2591
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2592
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2593
     * Scans the next token of the input as a {@link java.math.BigDecimal
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2594
     * BigDecimal}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2595
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2596
     * <p> If the next token matches the <a
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2597
     * href="#Decimal-regex"><i>Decimal</i></a> regular expression defined
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2598
     * above then the token is converted into a <tt>BigDecimal</tt> value as if
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2599
     * by removing all group separators, mapping non-ASCII digits into ASCII
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2600
     * digits via the {@link Character#digit Character.digit}, and passing the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2601
     * resulting string to the {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2602
     * java.math.BigDecimal#BigDecimal(java.lang.String) BigDecimal(String)}
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2603
     * constructor.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2604
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2605
     * @return the <tt>BigDecimal</tt> scanned from the input
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2606
     * @throws InputMismatchException
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2607
     *         if the next token does not match the <i>Decimal</i>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2608
     *         regular expression, or is out of range
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2609
     * @throws NoSuchElementException if the input is exhausted
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2610
     * @throws IllegalStateException if this scanner is closed
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2611
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2612
    public BigDecimal nextBigDecimal() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2613
        // Check cached result
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2614
        if ((typeCache != null) && (typeCache instanceof BigDecimal)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2615
            BigDecimal val = (BigDecimal)typeCache;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2616
            useTypeCache();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2617
            return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2618
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2619
        setRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2620
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2621
        // Search for next float
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2622
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2623
            String s = processFloatToken(next(decimalPattern()));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2624
            return new BigDecimal(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2625
        } catch (NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2626
            position = matcher.start(); // don't skip bad token
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2627
            throw new InputMismatchException(nfe.getMessage());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2628
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2629
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2630
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2631
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2632
     * Resets this scanner.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2633
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2634
     * <p> Resetting a scanner discards all of its explicit state
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2635
     * information which may have been changed by invocations of {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2636
     * #useDelimiter}, {@link #useLocale}, or {@link #useRadix}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2637
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2638
     * <p> An invocation of this method of the form
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2639
     * <tt>scanner.reset()</tt> behaves in exactly the same way as the
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2640
     * invocation
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2641
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2642
     * <blockquote><pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2643
     *   scanner.useDelimiter("\\p{javaWhitespace}+")
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2644
     *          .useLocale(Locale.getDefault())
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2645
     *          .useRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2646
     * </pre></blockquote>
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2647
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2648
     * @return this scanner
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2649
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2650
     * @since 1.6
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2651
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2652
    public Scanner reset() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2653
        delimPattern = WHITESPACE_PATTERN;
6489
9e7015635425 4700857: RFE: separating user locale and user interface locale
naoto
parents: 5998
diff changeset
  2654
        useLocale(Locale.getDefault(Locale.Category.FORMAT));
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2655
        useRadix(10);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2656
        clearCaches();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2657
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2658
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  2659
}