emul/mini/src/main/java/java/lang/String.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sat, 26 Jan 2013 08:47:05 +0100
changeset 592 5e13b1ac2886
parent 573 d3a0383d01d3
child 595 784aaf9ee179
permissions -rw-r--r--
In order to support fields of the same name in subclasses we are now prefixing them with name of the class that defines them. To provide convenient way to access them from generated bytecode and also directly from JavaScript, there is a getter/setter function for each field. It starts with _ followed by the field name. If called with a parameter, it sets the field, with a parameter it just returns it.
jaroslav@49
     1
/*
jaroslav@49
     2
 * Copyright (c) 1994, 2010, Oracle and/or its affiliates. All rights reserved.
jaroslav@49
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jaroslav@49
     4
 *
jaroslav@49
     5
 * This code is free software; you can redistribute it and/or modify it
jaroslav@49
     6
 * under the terms of the GNU General Public License version 2 only, as
jaroslav@49
     7
 * published by the Free Software Foundation.  Oracle designates this
jaroslav@49
     8
 * particular file as subject to the "Classpath" exception as provided
jaroslav@49
     9
 * by Oracle in the LICENSE file that accompanied this code.
jaroslav@49
    10
 *
jaroslav@49
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
jaroslav@49
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jaroslav@49
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
jaroslav@49
    14
 * version 2 for more details (a copy is included in the LICENSE file that
jaroslav@49
    15
 * accompanied this code).
jaroslav@49
    16
 *
jaroslav@49
    17
 * You should have received a copy of the GNU General Public License version
jaroslav@49
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
jaroslav@49
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jaroslav@49
    20
 *
jaroslav@49
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
jaroslav@49
    22
 * or visit www.oracle.com if you need additional information or have any
jaroslav@49
    23
 * questions.
jaroslav@49
    24
 */
jaroslav@49
    25
jaroslav@49
    26
package java.lang;
jaroslav@49
    27
jaroslav@240
    28
import java.util.Comparator;
jaroslav@93
    29
import org.apidesign.bck2brwsr.core.ExtraJavaScript;
jaroslav@240
    30
import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@240
    31
import org.apidesign.bck2brwsr.core.JavaScriptOnly;
jaroslav@240
    32
import org.apidesign.bck2brwsr.core.JavaScriptPrototype;
jaroslav@560
    33
import org.apidesign.bck2brwsr.emul.lang.System;
jaroslav@49
    34
jaroslav@49
    35
/**
jaroslav@49
    36
 * The <code>String</code> class represents character strings. All
jaroslav@49
    37
 * string literals in Java programs, such as <code>"abc"</code>, are
jaroslav@49
    38
 * implemented as instances of this class.
jaroslav@49
    39
 * <p>
jaroslav@49
    40
 * Strings are constant; their values cannot be changed after they
jaroslav@49
    41
 * are created. String buffers support mutable strings.
jaroslav@49
    42
 * Because String objects are immutable they can be shared. For example:
jaroslav@49
    43
 * <p><blockquote><pre>
jaroslav@49
    44
 *     String str = "abc";
jaroslav@49
    45
 * </pre></blockquote><p>
jaroslav@49
    46
 * is equivalent to:
jaroslav@49
    47
 * <p><blockquote><pre>
jaroslav@49
    48
 *     char data[] = {'a', 'b', 'c'};
jaroslav@49
    49
 *     String str = new String(data);
jaroslav@49
    50
 * </pre></blockquote><p>
jaroslav@49
    51
 * Here are some more examples of how strings can be used:
jaroslav@49
    52
 * <p><blockquote><pre>
jaroslav@49
    53
 *     System.out.println("abc");
jaroslav@49
    54
 *     String cde = "cde";
jaroslav@49
    55
 *     System.out.println("abc" + cde);
jaroslav@49
    56
 *     String c = "abc".substring(2,3);
jaroslav@49
    57
 *     String d = cde.substring(1, 2);
jaroslav@49
    58
 * </pre></blockquote>
jaroslav@49
    59
 * <p>
jaroslav@49
    60
 * The class <code>String</code> includes methods for examining
jaroslav@49
    61
 * individual characters of the sequence, for comparing strings, for
jaroslav@49
    62
 * searching strings, for extracting substrings, and for creating a
jaroslav@49
    63
 * copy of a string with all characters translated to uppercase or to
jaroslav@49
    64
 * lowercase. Case mapping is based on the Unicode Standard version
jaroslav@49
    65
 * specified by the {@link java.lang.Character Character} class.
jaroslav@49
    66
 * <p>
jaroslav@49
    67
 * The Java language provides special support for the string
jaroslav@49
    68
 * concatenation operator (&nbsp;+&nbsp;), and for conversion of
jaroslav@49
    69
 * other objects to strings. String concatenation is implemented
jaroslav@49
    70
 * through the <code>StringBuilder</code>(or <code>StringBuffer</code>)
jaroslav@49
    71
 * class and its <code>append</code> method.
jaroslav@49
    72
 * String conversions are implemented through the method
jaroslav@49
    73
 * <code>toString</code>, defined by <code>Object</code> and
jaroslav@49
    74
 * inherited by all classes in Java. For additional information on
jaroslav@49
    75
 * string concatenation and conversion, see Gosling, Joy, and Steele,
jaroslav@49
    76
 * <i>The Java Language Specification</i>.
jaroslav@49
    77
 *
jaroslav@49
    78
 * <p> Unless otherwise noted, passing a <tt>null</tt> argument to a constructor
jaroslav@49
    79
 * or method in this class will cause a {@link NullPointerException} to be
jaroslav@49
    80
 * thrown.
jaroslav@49
    81
 *
jaroslav@49
    82
 * <p>A <code>String</code> represents a string in the UTF-16 format
jaroslav@49
    83
 * in which <em>supplementary characters</em> are represented by <em>surrogate
jaroslav@49
    84
 * pairs</em> (see the section <a href="Character.html#unicode">Unicode
jaroslav@49
    85
 * Character Representations</a> in the <code>Character</code> class for
jaroslav@49
    86
 * more information).
jaroslav@49
    87
 * Index values refer to <code>char</code> code units, so a supplementary
jaroslav@49
    88
 * character uses two positions in a <code>String</code>.
jaroslav@49
    89
 * <p>The <code>String</code> class provides methods for dealing with
jaroslav@49
    90
 * Unicode code points (i.e., characters), in addition to those for
jaroslav@49
    91
 * dealing with Unicode code units (i.e., <code>char</code> values).
jaroslav@49
    92
 *
jaroslav@49
    93
 * @author  Lee Boynton
jaroslav@49
    94
 * @author  Arthur van Hoff
jaroslav@49
    95
 * @author  Martin Buchholz
jaroslav@49
    96
 * @author  Ulf Zibis
jaroslav@49
    97
 * @see     java.lang.Object#toString()
jaroslav@49
    98
 * @see     java.lang.StringBuffer
jaroslav@49
    99
 * @see     java.lang.StringBuilder
jaroslav@49
   100
 * @see     java.nio.charset.Charset
jaroslav@49
   101
 * @since   JDK1.0
jaroslav@49
   102
 */
jaroslav@49
   103
jaroslav@93
   104
@ExtraJavaScript(
jaroslav@555
   105
    resource="/org/apidesign/vm4brwsr/emul/lang/java_lang_String.js",
jaroslav@240
   106
    processByteCode=true
jaroslav@93
   107
)
jaroslav@240
   108
@JavaScriptPrototype(container = "String.prototype", prototype = "new String")
jaroslav@49
   109
public final class String
jaroslav@49
   110
    implements java.io.Serializable, Comparable<String>, CharSequence
jaroslav@49
   111
{
jaroslav@240
   112
    /** real string to delegate to */
jaroslav@240
   113
    private Object r;
jaroslav@49
   114
jaroslav@49
   115
    /** use serialVersionUID from JDK 1.0.2 for interoperability */
jaroslav@49
   116
    private static final long serialVersionUID = -6849794470754667710L;
jaroslav@240
   117
    
jaroslav@592
   118
    @JavaScriptOnly(name="toString", value="String.prototype._r")
jaroslav@240
   119
    private static void jsToString() {
jaroslav@240
   120
    }
jaroslav@240
   121
    
jaroslav@240
   122
    @JavaScriptOnly(name="valueOf", value="function() { return this.toString().valueOf(); }")
jaroslav@240
   123
    private static void jsValudOf() {
jaroslav@240
   124
    }
jaroslav@49
   125
jaroslav@49
   126
    /**
jaroslav@49
   127
     * Class String is special cased within the Serialization Stream Protocol.
jaroslav@49
   128
     *
jaroslav@49
   129
     * A String instance is written initially into an ObjectOutputStream in the
jaroslav@49
   130
     * following format:
jaroslav@49
   131
     * <pre>
jaroslav@49
   132
     *      <code>TC_STRING</code> (utf String)
jaroslav@49
   133
     * </pre>
jaroslav@49
   134
     * The String is written by method <code>DataOutput.writeUTF</code>.
jaroslav@49
   135
     * A new handle is generated to  refer to all future references to the
jaroslav@49
   136
     * string instance within the stream.
jaroslav@49
   137
     */
jaroslav@65
   138
//    private static final ObjectStreamField[] serialPersistentFields =
jaroslav@65
   139
//        new ObjectStreamField[0];
jaroslav@49
   140
jaroslav@49
   141
    /**
jaroslav@49
   142
     * Initializes a newly created {@code String} object so that it represents
jaroslav@49
   143
     * an empty character sequence.  Note that use of this constructor is
jaroslav@49
   144
     * unnecessary since Strings are immutable.
jaroslav@49
   145
     */
jaroslav@49
   146
    public String() {
jaroslav@241
   147
        this.r = "";
jaroslav@49
   148
    }
jaroslav@49
   149
jaroslav@49
   150
    /**
jaroslav@49
   151
     * Initializes a newly created {@code String} object so that it represents
jaroslav@49
   152
     * the same sequence of characters as the argument; in other words, the
jaroslav@49
   153
     * newly created string is a copy of the argument string. Unless an
jaroslav@49
   154
     * explicit copy of {@code original} is needed, use of this constructor is
jaroslav@49
   155
     * unnecessary since Strings are immutable.
jaroslav@49
   156
     *
jaroslav@49
   157
     * @param  original
jaroslav@49
   158
     *         A {@code String}
jaroslav@49
   159
     */
jaroslav@49
   160
    public String(String original) {
jaroslav@241
   161
        this.r = original.toString();
jaroslav@49
   162
    }
jaroslav@49
   163
jaroslav@49
   164
    /**
jaroslav@49
   165
     * Allocates a new {@code String} so that it represents the sequence of
jaroslav@49
   166
     * characters currently contained in the character array argument. The
jaroslav@49
   167
     * contents of the character array are copied; subsequent modification of
jaroslav@49
   168
     * the character array does not affect the newly created string.
jaroslav@49
   169
     *
jaroslav@49
   170
     * @param  value
jaroslav@49
   171
     *         The initial value of the string
jaroslav@49
   172
     */
jaroslav@443
   173
    @JavaScriptBody(args = { "charArr" }, body=
jaroslav@240
   174
        "for (var i = 0; i < charArr.length; i++) {\n"
jaroslav@240
   175
      + "  if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);\n"
jaroslav@240
   176
      + "}\n"
jaroslav@592
   177
      + "this._r(charArr.join(''));\n"
jaroslav@240
   178
    )
jaroslav@49
   179
    public String(char value[]) {
jaroslav@49
   180
    }
jaroslav@49
   181
jaroslav@49
   182
    /**
jaroslav@49
   183
     * Allocates a new {@code String} that contains characters from a subarray
jaroslav@49
   184
     * of the character array argument. The {@code offset} argument is the
jaroslav@49
   185
     * index of the first character of the subarray and the {@code count}
jaroslav@49
   186
     * argument specifies the length of the subarray. The contents of the
jaroslav@49
   187
     * subarray are copied; subsequent modification of the character array does
jaroslav@49
   188
     * not affect the newly created string.
jaroslav@49
   189
     *
jaroslav@49
   190
     * @param  value
jaroslav@49
   191
     *         Array that is the source of characters
jaroslav@49
   192
     *
jaroslav@49
   193
     * @param  offset
jaroslav@49
   194
     *         The initial offset
jaroslav@49
   195
     *
jaroslav@49
   196
     * @param  count
jaroslav@49
   197
     *         The length
jaroslav@49
   198
     *
jaroslav@49
   199
     * @throws  IndexOutOfBoundsException
jaroslav@49
   200
     *          If the {@code offset} and {@code count} arguments index
jaroslav@49
   201
     *          characters outside the bounds of the {@code value} array
jaroslav@49
   202
     */
jaroslav@443
   203
    @JavaScriptBody(args = { "charArr", "off", "cnt" }, body =
jaroslav@240
   204
        "var up = off + cnt;\n" +
jaroslav@240
   205
        "for (var i = off; i < up; i++) {\n" +
jaroslav@240
   206
        "  if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);\n" +
jaroslav@240
   207
        "}\n" +
jaroslav@592
   208
        "this._r(charArr.slice(off, up).join(\"\"));\n"
jaroslav@240
   209
    )
jaroslav@49
   210
    public String(char value[], int offset, int count) {
jaroslav@49
   211
    }
jaroslav@49
   212
jaroslav@49
   213
    /**
jaroslav@49
   214
     * Allocates a new {@code String} that contains characters from a subarray
jaroslav@49
   215
     * of the <a href="Character.html#unicode">Unicode code point</a> array
jaroslav@49
   216
     * argument.  The {@code offset} argument is the index of the first code
jaroslav@49
   217
     * point of the subarray and the {@code count} argument specifies the
jaroslav@49
   218
     * length of the subarray.  The contents of the subarray are converted to
jaroslav@49
   219
     * {@code char}s; subsequent modification of the {@code int} array does not
jaroslav@49
   220
     * affect the newly created string.
jaroslav@49
   221
     *
jaroslav@49
   222
     * @param  codePoints
jaroslav@49
   223
     *         Array that is the source of Unicode code points
jaroslav@49
   224
     *
jaroslav@49
   225
     * @param  offset
jaroslav@49
   226
     *         The initial offset
jaroslav@49
   227
     *
jaroslav@49
   228
     * @param  count
jaroslav@49
   229
     *         The length
jaroslav@49
   230
     *
jaroslav@49
   231
     * @throws  IllegalArgumentException
jaroslav@49
   232
     *          If any invalid Unicode code point is found in {@code
jaroslav@49
   233
     *          codePoints}
jaroslav@49
   234
     *
jaroslav@49
   235
     * @throws  IndexOutOfBoundsException
jaroslav@49
   236
     *          If the {@code offset} and {@code count} arguments index
jaroslav@49
   237
     *          characters outside the bounds of the {@code codePoints} array
jaroslav@49
   238
     *
jaroslav@49
   239
     * @since  1.5
jaroslav@49
   240
     */
jaroslav@49
   241
    public String(int[] codePoints, int offset, int count) {
jaroslav@49
   242
        if (offset < 0) {
jaroslav@49
   243
            throw new StringIndexOutOfBoundsException(offset);
jaroslav@49
   244
        }
jaroslav@49
   245
        if (count < 0) {
jaroslav@49
   246
            throw new StringIndexOutOfBoundsException(count);
jaroslav@49
   247
        }
jaroslav@49
   248
        // Note: offset or count might be near -1>>>1.
jaroslav@49
   249
        if (offset > codePoints.length - count) {
jaroslav@49
   250
            throw new StringIndexOutOfBoundsException(offset + count);
jaroslav@49
   251
        }
jaroslav@49
   252
jaroslav@49
   253
        final int end = offset + count;
jaroslav@49
   254
jaroslav@49
   255
        // Pass 1: Compute precise size of char[]
jaroslav@49
   256
        int n = count;
jaroslav@49
   257
        for (int i = offset; i < end; i++) {
jaroslav@49
   258
            int c = codePoints[i];
jaroslav@49
   259
            if (Character.isBmpCodePoint(c))
jaroslav@49
   260
                continue;
jaroslav@49
   261
            else if (Character.isValidCodePoint(c))
jaroslav@49
   262
                n++;
jaroslav@49
   263
            else throw new IllegalArgumentException(Integer.toString(c));
jaroslav@49
   264
        }
jaroslav@49
   265
jaroslav@49
   266
        // Pass 2: Allocate and fill in char[]
jaroslav@49
   267
        final char[] v = new char[n];
jaroslav@49
   268
jaroslav@49
   269
        for (int i = offset, j = 0; i < end; i++, j++) {
jaroslav@49
   270
            int c = codePoints[i];
jaroslav@49
   271
            if (Character.isBmpCodePoint(c))
jaroslav@49
   272
                v[j] = (char) c;
jaroslav@49
   273
            else
jaroslav@49
   274
                Character.toSurrogates(c, v, j++);
jaroslav@49
   275
        }
jaroslav@49
   276
jaroslav@241
   277
        this.r = new String(v, 0, n);
jaroslav@49
   278
    }
jaroslav@49
   279
jaroslav@49
   280
    /**
jaroslav@49
   281
     * Allocates a new {@code String} constructed from a subarray of an array
jaroslav@49
   282
     * of 8-bit integer values.
jaroslav@49
   283
     *
jaroslav@49
   284
     * <p> The {@code offset} argument is the index of the first byte of the
jaroslav@49
   285
     * subarray, and the {@code count} argument specifies the length of the
jaroslav@49
   286
     * subarray.
jaroslav@49
   287
     *
jaroslav@49
   288
     * <p> Each {@code byte} in the subarray is converted to a {@code char} as
jaroslav@49
   289
     * specified in the method above.
jaroslav@49
   290
     *
jaroslav@49
   291
     * @deprecated This method does not properly convert bytes into characters.
jaroslav@49
   292
     * As of JDK&nbsp;1.1, the preferred way to do this is via the
jaroslav@49
   293
     * {@code String} constructors that take a {@link
jaroslav@49
   294
     * java.nio.charset.Charset}, charset name, or that use the platform's
jaroslav@49
   295
     * default charset.
jaroslav@49
   296
     *
jaroslav@49
   297
     * @param  ascii
jaroslav@49
   298
     *         The bytes to be converted to characters
jaroslav@49
   299
     *
jaroslav@49
   300
     * @param  hibyte
jaroslav@49
   301
     *         The top 8 bits of each 16-bit Unicode code unit
jaroslav@49
   302
     *
jaroslav@49
   303
     * @param  offset
jaroslav@49
   304
     *         The initial offset
jaroslav@49
   305
     * @param  count
jaroslav@49
   306
     *         The length
jaroslav@49
   307
     *
jaroslav@49
   308
     * @throws  IndexOutOfBoundsException
jaroslav@49
   309
     *          If the {@code offset} or {@code count} argument is invalid
jaroslav@49
   310
     *
jaroslav@49
   311
     * @see  #String(byte[], int)
jaroslav@49
   312
     * @see  #String(byte[], int, int, java.lang.String)
jaroslav@49
   313
     * @see  #String(byte[], int, int, java.nio.charset.Charset)
jaroslav@49
   314
     * @see  #String(byte[], int, int)
jaroslav@49
   315
     * @see  #String(byte[], java.lang.String)
jaroslav@49
   316
     * @see  #String(byte[], java.nio.charset.Charset)
jaroslav@49
   317
     * @see  #String(byte[])
jaroslav@49
   318
     */
jaroslav@49
   319
    @Deprecated
jaroslav@49
   320
    public String(byte ascii[], int hibyte, int offset, int count) {
jaroslav@49
   321
        checkBounds(ascii, offset, count);
jaroslav@49
   322
        char value[] = new char[count];
jaroslav@49
   323
jaroslav@49
   324
        if (hibyte == 0) {
jaroslav@49
   325
            for (int i = count ; i-- > 0 ;) {
jaroslav@49
   326
                value[i] = (char) (ascii[i + offset] & 0xff);
jaroslav@49
   327
            }
jaroslav@49
   328
        } else {
jaroslav@49
   329
            hibyte <<= 8;
jaroslav@49
   330
            for (int i = count ; i-- > 0 ;) {
jaroslav@49
   331
                value[i] = (char) (hibyte | (ascii[i + offset] & 0xff));
jaroslav@49
   332
            }
jaroslav@49
   333
        }
jaroslav@241
   334
        this.r = new String(value, 0, count);
jaroslav@49
   335
    }
jaroslav@49
   336
jaroslav@49
   337
    /**
jaroslav@49
   338
     * Allocates a new {@code String} containing characters constructed from
jaroslav@49
   339
     * an array of 8-bit integer values. Each character <i>c</i>in the
jaroslav@49
   340
     * resulting string is constructed from the corresponding component
jaroslav@49
   341
     * <i>b</i> in the byte array such that:
jaroslav@49
   342
     *
jaroslav@49
   343
     * <blockquote><pre>
jaroslav@49
   344
     *     <b><i>c</i></b> == (char)(((hibyte &amp; 0xff) &lt;&lt; 8)
jaroslav@49
   345
     *                         | (<b><i>b</i></b> &amp; 0xff))
jaroslav@49
   346
     * </pre></blockquote>
jaroslav@49
   347
     *
jaroslav@49
   348
     * @deprecated  This method does not properly convert bytes into
jaroslav@49
   349
     * characters.  As of JDK&nbsp;1.1, the preferred way to do this is via the
jaroslav@49
   350
     * {@code String} constructors that take a {@link
jaroslav@49
   351
     * java.nio.charset.Charset}, charset name, or that use the platform's
jaroslav@49
   352
     * default charset.
jaroslav@49
   353
     *
jaroslav@49
   354
     * @param  ascii
jaroslav@49
   355
     *         The bytes to be converted to characters
jaroslav@49
   356
     *
jaroslav@49
   357
     * @param  hibyte
jaroslav@49
   358
     *         The top 8 bits of each 16-bit Unicode code unit
jaroslav@49
   359
     *
jaroslav@49
   360
     * @see  #String(byte[], int, int, java.lang.String)
jaroslav@49
   361
     * @see  #String(byte[], int, int, java.nio.charset.Charset)
jaroslav@49
   362
     * @see  #String(byte[], int, int)
jaroslav@49
   363
     * @see  #String(byte[], java.lang.String)
jaroslav@49
   364
     * @see  #String(byte[], java.nio.charset.Charset)
jaroslav@49
   365
     * @see  #String(byte[])
jaroslav@49
   366
     */
jaroslav@49
   367
    @Deprecated
jaroslav@49
   368
    public String(byte ascii[], int hibyte) {
jaroslav@49
   369
        this(ascii, hibyte, 0, ascii.length);
jaroslav@49
   370
    }
jaroslav@49
   371
jaroslav@49
   372
    /* Common private utility method used to bounds check the byte array
jaroslav@49
   373
     * and requested offset & length values used by the String(byte[],..)
jaroslav@49
   374
     * constructors.
jaroslav@49
   375
     */
jaroslav@49
   376
    private static void checkBounds(byte[] bytes, int offset, int length) {
jaroslav@49
   377
        if (length < 0)
jaroslav@49
   378
            throw new StringIndexOutOfBoundsException(length);
jaroslav@49
   379
        if (offset < 0)
jaroslav@49
   380
            throw new StringIndexOutOfBoundsException(offset);
jaroslav@49
   381
        if (offset > bytes.length - length)
jaroslav@49
   382
            throw new StringIndexOutOfBoundsException(offset + length);
jaroslav@49
   383
    }
jaroslav@49
   384
jaroslav@49
   385
    /**
jaroslav@49
   386
     * Constructs a new {@code String} by decoding the specified subarray of
jaroslav@49
   387
     * bytes using the specified charset.  The length of the new {@code String}
jaroslav@49
   388
     * is a function of the charset, and hence may not be equal to the length
jaroslav@49
   389
     * of the subarray.
jaroslav@49
   390
     *
jaroslav@49
   391
     * <p> The behavior of this constructor when the given bytes are not valid
jaroslav@49
   392
     * in the given charset is unspecified.  The {@link
jaroslav@49
   393
     * java.nio.charset.CharsetDecoder} class should be used when more control
jaroslav@49
   394
     * over the decoding process is required.
jaroslav@49
   395
     *
jaroslav@49
   396
     * @param  bytes
jaroslav@49
   397
     *         The bytes to be decoded into characters
jaroslav@49
   398
     *
jaroslav@49
   399
     * @param  offset
jaroslav@49
   400
     *         The index of the first byte to decode
jaroslav@49
   401
     *
jaroslav@49
   402
     * @param  length
jaroslav@49
   403
     *         The number of bytes to decode
jaroslav@49
   404
jaroslav@49
   405
     * @param  charsetName
jaroslav@49
   406
     *         The name of a supported {@linkplain java.nio.charset.Charset
jaroslav@49
   407
     *         charset}
jaroslav@49
   408
     *
jaroslav@49
   409
     * @throws  UnsupportedEncodingException
jaroslav@49
   410
     *          If the named charset is not supported
jaroslav@49
   411
     *
jaroslav@49
   412
     * @throws  IndexOutOfBoundsException
jaroslav@49
   413
     *          If the {@code offset} and {@code length} arguments index
jaroslav@49
   414
     *          characters outside the bounds of the {@code bytes} array
jaroslav@49
   415
     *
jaroslav@49
   416
     * @since  JDK1.1
jaroslav@49
   417
     */
jaroslav@74
   418
//    public String(byte bytes[], int offset, int length, String charsetName)
jaroslav@74
   419
//        throws UnsupportedEncodingException
jaroslav@74
   420
//    {
jaroslav@74
   421
//        if (charsetName == null)
jaroslav@74
   422
//            throw new NullPointerException("charsetName");
jaroslav@74
   423
//        checkBounds(bytes, offset, length);
jaroslav@74
   424
//        char[] v = StringCoding.decode(charsetName, bytes, offset, length);
jaroslav@74
   425
//        this.offset = 0;
jaroslav@74
   426
//        this.count = v.length;
jaroslav@74
   427
//        this.value = v;
jaroslav@74
   428
//    }
jaroslav@49
   429
jaroslav@49
   430
    /**
jaroslav@49
   431
     * Constructs a new {@code String} by decoding the specified subarray of
jaroslav@49
   432
     * bytes using the specified {@linkplain java.nio.charset.Charset charset}.
jaroslav@49
   433
     * The length of the new {@code String} is a function of the charset, and
jaroslav@49
   434
     * hence may not be equal to the length of the subarray.
jaroslav@49
   435
     *
jaroslav@49
   436
     * <p> This method always replaces malformed-input and unmappable-character
jaroslav@49
   437
     * sequences with this charset's default replacement string.  The {@link
jaroslav@49
   438
     * java.nio.charset.CharsetDecoder} class should be used when more control
jaroslav@49
   439
     * over the decoding process is required.
jaroslav@49
   440
     *
jaroslav@49
   441
     * @param  bytes
jaroslav@49
   442
     *         The bytes to be decoded into characters
jaroslav@49
   443
     *
jaroslav@49
   444
     * @param  offset
jaroslav@49
   445
     *         The index of the first byte to decode
jaroslav@49
   446
     *
jaroslav@49
   447
     * @param  length
jaroslav@49
   448
     *         The number of bytes to decode
jaroslav@49
   449
     *
jaroslav@49
   450
     * @param  charset
jaroslav@49
   451
     *         The {@linkplain java.nio.charset.Charset charset} to be used to
jaroslav@49
   452
     *         decode the {@code bytes}
jaroslav@49
   453
     *
jaroslav@49
   454
     * @throws  IndexOutOfBoundsException
jaroslav@49
   455
     *          If the {@code offset} and {@code length} arguments index
jaroslav@49
   456
     *          characters outside the bounds of the {@code bytes} array
jaroslav@49
   457
     *
jaroslav@49
   458
     * @since  1.6
jaroslav@49
   459
     */
jaroslav@61
   460
    /* don't want dependnecy on Charset
jaroslav@49
   461
    public String(byte bytes[], int offset, int length, Charset charset) {
jaroslav@49
   462
        if (charset == null)
jaroslav@49
   463
            throw new NullPointerException("charset");
jaroslav@49
   464
        checkBounds(bytes, offset, length);
jaroslav@49
   465
        char[] v = StringCoding.decode(charset, bytes, offset, length);
jaroslav@49
   466
        this.offset = 0;
jaroslav@49
   467
        this.count = v.length;
jaroslav@49
   468
        this.value = v;
jaroslav@49
   469
    }
jaroslav@61
   470
    */
jaroslav@49
   471
jaroslav@49
   472
    /**
jaroslav@49
   473
     * Constructs a new {@code String} by decoding the specified array of bytes
jaroslav@49
   474
     * using the specified {@linkplain java.nio.charset.Charset charset}.  The
jaroslav@49
   475
     * length of the new {@code String} is a function of the charset, and hence
jaroslav@49
   476
     * may not be equal to the length of the byte array.
jaroslav@49
   477
     *
jaroslav@49
   478
     * <p> The behavior of this constructor when the given bytes are not valid
jaroslav@49
   479
     * in the given charset is unspecified.  The {@link
jaroslav@49
   480
     * java.nio.charset.CharsetDecoder} class should be used when more control
jaroslav@49
   481
     * over the decoding process is required.
jaroslav@49
   482
     *
jaroslav@49
   483
     * @param  bytes
jaroslav@49
   484
     *         The bytes to be decoded into characters
jaroslav@49
   485
     *
jaroslav@49
   486
     * @param  charsetName
jaroslav@49
   487
     *         The name of a supported {@linkplain java.nio.charset.Charset
jaroslav@49
   488
     *         charset}
jaroslav@49
   489
     *
jaroslav@49
   490
     * @throws  UnsupportedEncodingException
jaroslav@49
   491
     *          If the named charset is not supported
jaroslav@49
   492
     *
jaroslav@49
   493
     * @since  JDK1.1
jaroslav@49
   494
     */
jaroslav@74
   495
//    public String(byte bytes[], String charsetName)
jaroslav@74
   496
//        throws UnsupportedEncodingException
jaroslav@74
   497
//    {
jaroslav@74
   498
//        this(bytes, 0, bytes.length, charsetName);
jaroslav@74
   499
//    }
jaroslav@49
   500
jaroslav@49
   501
    /**
jaroslav@49
   502
     * Constructs a new {@code String} by decoding the specified array of
jaroslav@49
   503
     * bytes using the specified {@linkplain java.nio.charset.Charset charset}.
jaroslav@49
   504
     * The length of the new {@code String} is a function of the charset, and
jaroslav@49
   505
     * hence may not be equal to the length of the byte array.
jaroslav@49
   506
     *
jaroslav@49
   507
     * <p> This method always replaces malformed-input and unmappable-character
jaroslav@49
   508
     * sequences with this charset's default replacement string.  The {@link
jaroslav@49
   509
     * java.nio.charset.CharsetDecoder} class should be used when more control
jaroslav@49
   510
     * over the decoding process is required.
jaroslav@49
   511
     *
jaroslav@49
   512
     * @param  bytes
jaroslav@49
   513
     *         The bytes to be decoded into characters
jaroslav@49
   514
     *
jaroslav@49
   515
     * @param  charset
jaroslav@49
   516
     *         The {@linkplain java.nio.charset.Charset charset} to be used to
jaroslav@49
   517
     *         decode the {@code bytes}
jaroslav@49
   518
     *
jaroslav@49
   519
     * @since  1.6
jaroslav@49
   520
     */
jaroslav@61
   521
    /* don't want dep on Charset
jaroslav@49
   522
    public String(byte bytes[], Charset charset) {
jaroslav@49
   523
        this(bytes, 0, bytes.length, charset);
jaroslav@49
   524
    }
jaroslav@61
   525
    */
jaroslav@49
   526
jaroslav@49
   527
    /**
jaroslav@49
   528
     * Constructs a new {@code String} by decoding the specified subarray of
jaroslav@49
   529
     * bytes using the platform's default charset.  The length of the new
jaroslav@49
   530
     * {@code String} is a function of the charset, and hence may not be equal
jaroslav@49
   531
     * to the length of the subarray.
jaroslav@49
   532
     *
jaroslav@49
   533
     * <p> The behavior of this constructor when the given bytes are not valid
jaroslav@49
   534
     * in the default charset is unspecified.  The {@link
jaroslav@49
   535
     * java.nio.charset.CharsetDecoder} class should be used when more control
jaroslav@49
   536
     * over the decoding process is required.
jaroslav@49
   537
     *
jaroslav@49
   538
     * @param  bytes
jaroslav@49
   539
     *         The bytes to be decoded into characters
jaroslav@49
   540
     *
jaroslav@49
   541
     * @param  offset
jaroslav@49
   542
     *         The index of the first byte to decode
jaroslav@49
   543
     *
jaroslav@49
   544
     * @param  length
jaroslav@49
   545
     *         The number of bytes to decode
jaroslav@49
   546
     *
jaroslav@49
   547
     * @throws  IndexOutOfBoundsException
jaroslav@49
   548
     *          If the {@code offset} and the {@code length} arguments index
jaroslav@49
   549
     *          characters outside the bounds of the {@code bytes} array
jaroslav@49
   550
     *
jaroslav@49
   551
     * @since  JDK1.1
jaroslav@49
   552
     */
jaroslav@49
   553
    public String(byte bytes[], int offset, int length) {
jaroslav@49
   554
        checkBounds(bytes, offset, length);
jaroslav@75
   555
        char[] v  = new char[length];
jaroslav@75
   556
        for (int i = 0; i < length; i++) {
jaroslav@75
   557
            v[i] = (char)bytes[offset++];
jaroslav@75
   558
        }
jaroslav@241
   559
        this.r = new String(v, 0, v.length);
jaroslav@49
   560
    }
jaroslav@49
   561
jaroslav@49
   562
    /**
jaroslav@49
   563
     * Constructs a new {@code String} by decoding the specified array of bytes
jaroslav@49
   564
     * using the platform's default charset.  The length of the new {@code
jaroslav@49
   565
     * String} is a function of the charset, and hence may not be equal to the
jaroslav@49
   566
     * length of the byte array.
jaroslav@49
   567
     *
jaroslav@49
   568
     * <p> The behavior of this constructor when the given bytes are not valid
jaroslav@49
   569
     * in the default charset is unspecified.  The {@link
jaroslav@49
   570
     * java.nio.charset.CharsetDecoder} class should be used when more control
jaroslav@49
   571
     * over the decoding process is required.
jaroslav@49
   572
     *
jaroslav@49
   573
     * @param  bytes
jaroslav@49
   574
     *         The bytes to be decoded into characters
jaroslav@49
   575
     *
jaroslav@49
   576
     * @since  JDK1.1
jaroslav@49
   577
     */
jaroslav@49
   578
    public String(byte bytes[]) {
jaroslav@49
   579
        this(bytes, 0, bytes.length);
jaroslav@49
   580
    }
jaroslav@49
   581
jaroslav@49
   582
    /**
jaroslav@49
   583
     * Allocates a new string that contains the sequence of characters
jaroslav@49
   584
     * currently contained in the string buffer argument. The contents of the
jaroslav@49
   585
     * string buffer are copied; subsequent modification of the string buffer
jaroslav@49
   586
     * does not affect the newly created string.
jaroslav@49
   587
     *
jaroslav@49
   588
     * @param  buffer
jaroslav@49
   589
     *         A {@code StringBuffer}
jaroslav@49
   590
     */
jaroslav@49
   591
    public String(StringBuffer buffer) {
jaroslav@241
   592
        this.r = buffer.toString();
jaroslav@49
   593
    }
jaroslav@49
   594
jaroslav@49
   595
    /**
jaroslav@49
   596
     * Allocates a new string that contains the sequence of characters
jaroslav@49
   597
     * currently contained in the string builder argument. The contents of the
jaroslav@49
   598
     * string builder are copied; subsequent modification of the string builder
jaroslav@49
   599
     * does not affect the newly created string.
jaroslav@49
   600
     *
jaroslav@49
   601
     * <p> This constructor is provided to ease migration to {@code
jaroslav@49
   602
     * StringBuilder}. Obtaining a string from a string builder via the {@code
jaroslav@49
   603
     * toString} method is likely to run faster and is generally preferred.
jaroslav@49
   604
     *
jaroslav@49
   605
     * @param   builder
jaroslav@49
   606
     *          A {@code StringBuilder}
jaroslav@49
   607
     *
jaroslav@49
   608
     * @since  1.5
jaroslav@49
   609
     */
jaroslav@49
   610
    public String(StringBuilder builder) {
jaroslav@241
   611
        this.r = builder.toString();
jaroslav@49
   612
    }
jaroslav@49
   613
jaroslav@49
   614
    /**
jaroslav@49
   615
     * Returns the length of this string.
jaroslav@49
   616
     * The length is equal to the number of <a href="Character.html#unicode">Unicode
jaroslav@49
   617
     * code units</a> in the string.
jaroslav@49
   618
     *
jaroslav@49
   619
     * @return  the length of the sequence of characters represented by this
jaroslav@49
   620
     *          object.
jaroslav@49
   621
     */
jaroslav@443
   622
    @JavaScriptBody(args = {}, body = "return this.toString().length;")
jaroslav@49
   623
    public int length() {
jaroslav@241
   624
        throw new UnsupportedOperationException();
jaroslav@49
   625
    }
jaroslav@49
   626
jaroslav@49
   627
    /**
jaroslav@49
   628
     * Returns <tt>true</tt> if, and only if, {@link #length()} is <tt>0</tt>.
jaroslav@49
   629
     *
jaroslav@49
   630
     * @return <tt>true</tt> if {@link #length()} is <tt>0</tt>, otherwise
jaroslav@49
   631
     * <tt>false</tt>
jaroslav@49
   632
     *
jaroslav@49
   633
     * @since 1.6
jaroslav@49
   634
     */
jaroslav@443
   635
    @JavaScriptBody(args = {}, body="return this.toString().length === 0;")
jaroslav@49
   636
    public boolean isEmpty() {
jaroslav@241
   637
        return length() == 0;
jaroslav@49
   638
    }
jaroslav@49
   639
jaroslav@49
   640
    /**
jaroslav@49
   641
     * Returns the <code>char</code> value at the
jaroslav@49
   642
     * specified index. An index ranges from <code>0</code> to
jaroslav@49
   643
     * <code>length() - 1</code>. The first <code>char</code> value of the sequence
jaroslav@49
   644
     * is at index <code>0</code>, the next at index <code>1</code>,
jaroslav@49
   645
     * and so on, as for array indexing.
jaroslav@49
   646
     *
jaroslav@49
   647
     * <p>If the <code>char</code> value specified by the index is a
jaroslav@49
   648
     * <a href="Character.html#unicode">surrogate</a>, the surrogate
jaroslav@49
   649
     * value is returned.
jaroslav@49
   650
     *
jaroslav@49
   651
     * @param      index   the index of the <code>char</code> value.
jaroslav@49
   652
     * @return     the <code>char</code> value at the specified index of this string.
jaroslav@49
   653
     *             The first <code>char</code> value is at index <code>0</code>.
jaroslav@49
   654
     * @exception  IndexOutOfBoundsException  if the <code>index</code>
jaroslav@49
   655
     *             argument is negative or not less than the length of this
jaroslav@49
   656
     *             string.
jaroslav@49
   657
     */
jaroslav@443
   658
    @JavaScriptBody(args = { "index" }, 
jaroslav@443
   659
        body = "return this.toString().charCodeAt(index);"
jaroslav@240
   660
    )
jaroslav@49
   661
    public char charAt(int index) {
jaroslav@241
   662
        throw new UnsupportedOperationException();
jaroslav@49
   663
    }
jaroslav@49
   664
jaroslav@49
   665
    /**
jaroslav@49
   666
     * Returns the character (Unicode code point) at the specified
jaroslav@49
   667
     * index. The index refers to <code>char</code> values
jaroslav@49
   668
     * (Unicode code units) and ranges from <code>0</code> to
jaroslav@49
   669
     * {@link #length()}<code> - 1</code>.
jaroslav@49
   670
     *
jaroslav@49
   671
     * <p> If the <code>char</code> value specified at the given index
jaroslav@49
   672
     * is in the high-surrogate range, the following index is less
jaroslav@49
   673
     * than the length of this <code>String</code>, and the
jaroslav@49
   674
     * <code>char</code> value at the following index is in the
jaroslav@49
   675
     * low-surrogate range, then the supplementary code point
jaroslav@49
   676
     * corresponding to this surrogate pair is returned. Otherwise,
jaroslav@49
   677
     * the <code>char</code> value at the given index is returned.
jaroslav@49
   678
     *
jaroslav@49
   679
     * @param      index the index to the <code>char</code> values
jaroslav@49
   680
     * @return     the code point value of the character at the
jaroslav@49
   681
     *             <code>index</code>
jaroslav@49
   682
     * @exception  IndexOutOfBoundsException  if the <code>index</code>
jaroslav@49
   683
     *             argument is negative or not less than the length of this
jaroslav@49
   684
     *             string.
jaroslav@49
   685
     * @since      1.5
jaroslav@49
   686
     */
jaroslav@49
   687
    public int codePointAt(int index) {
jaroslav@241
   688
        if ((index < 0) || (index >= length())) {
jaroslav@49
   689
            throw new StringIndexOutOfBoundsException(index);
jaroslav@49
   690
        }
jaroslav@241
   691
        return Character.codePointAtImpl(toCharArray(), offset() + index, offset() + length());
jaroslav@49
   692
    }
jaroslav@49
   693
jaroslav@49
   694
    /**
jaroslav@49
   695
     * Returns the character (Unicode code point) before the specified
jaroslav@49
   696
     * index. The index refers to <code>char</code> values
jaroslav@49
   697
     * (Unicode code units) and ranges from <code>1</code> to {@link
jaroslav@49
   698
     * CharSequence#length() length}.
jaroslav@49
   699
     *
jaroslav@49
   700
     * <p> If the <code>char</code> value at <code>(index - 1)</code>
jaroslav@49
   701
     * is in the low-surrogate range, <code>(index - 2)</code> is not
jaroslav@49
   702
     * negative, and the <code>char</code> value at <code>(index -
jaroslav@49
   703
     * 2)</code> is in the high-surrogate range, then the
jaroslav@49
   704
     * supplementary code point value of the surrogate pair is
jaroslav@49
   705
     * returned. If the <code>char</code> value at <code>index -
jaroslav@49
   706
     * 1</code> is an unpaired low-surrogate or a high-surrogate, the
jaroslav@49
   707
     * surrogate value is returned.
jaroslav@49
   708
     *
jaroslav@49
   709
     * @param     index the index following the code point that should be returned
jaroslav@49
   710
     * @return    the Unicode code point value before the given index.
jaroslav@49
   711
     * @exception IndexOutOfBoundsException if the <code>index</code>
jaroslav@49
   712
     *            argument is less than 1 or greater than the length
jaroslav@49
   713
     *            of this string.
jaroslav@49
   714
     * @since     1.5
jaroslav@49
   715
     */
jaroslav@49
   716
    public int codePointBefore(int index) {
jaroslav@49
   717
        int i = index - 1;
jaroslav@241
   718
        if ((i < 0) || (i >= length())) {
jaroslav@49
   719
            throw new StringIndexOutOfBoundsException(index);
jaroslav@49
   720
        }
jaroslav@241
   721
        return Character.codePointBeforeImpl(toCharArray(), offset() + index, offset());
jaroslav@49
   722
    }
jaroslav@49
   723
jaroslav@49
   724
    /**
jaroslav@49
   725
     * Returns the number of Unicode code points in the specified text
jaroslav@49
   726
     * range of this <code>String</code>. The text range begins at the
jaroslav@49
   727
     * specified <code>beginIndex</code> and extends to the
jaroslav@49
   728
     * <code>char</code> at index <code>endIndex - 1</code>. Thus the
jaroslav@49
   729
     * length (in <code>char</code>s) of the text range is
jaroslav@49
   730
     * <code>endIndex-beginIndex</code>. Unpaired surrogates within
jaroslav@49
   731
     * the text range count as one code point each.
jaroslav@49
   732
     *
jaroslav@49
   733
     * @param beginIndex the index to the first <code>char</code> of
jaroslav@49
   734
     * the text range.
jaroslav@49
   735
     * @param endIndex the index after the last <code>char</code> of
jaroslav@49
   736
     * the text range.
jaroslav@49
   737
     * @return the number of Unicode code points in the specified text
jaroslav@49
   738
     * range
jaroslav@49
   739
     * @exception IndexOutOfBoundsException if the
jaroslav@49
   740
     * <code>beginIndex</code> is negative, or <code>endIndex</code>
jaroslav@49
   741
     * is larger than the length of this <code>String</code>, or
jaroslav@49
   742
     * <code>beginIndex</code> is larger than <code>endIndex</code>.
jaroslav@49
   743
     * @since  1.5
jaroslav@49
   744
     */
jaroslav@49
   745
    public int codePointCount(int beginIndex, int endIndex) {
jaroslav@241
   746
        if (beginIndex < 0 || endIndex > length() || beginIndex > endIndex) {
jaroslav@49
   747
            throw new IndexOutOfBoundsException();
jaroslav@49
   748
        }
jaroslav@241
   749
        return Character.codePointCountImpl(toCharArray(), offset()+beginIndex, endIndex-beginIndex);
jaroslav@49
   750
    }
jaroslav@49
   751
jaroslav@49
   752
    /**
jaroslav@49
   753
     * Returns the index within this <code>String</code> that is
jaroslav@49
   754
     * offset from the given <code>index</code> by
jaroslav@49
   755
     * <code>codePointOffset</code> code points. Unpaired surrogates
jaroslav@49
   756
     * within the text range given by <code>index</code> and
jaroslav@49
   757
     * <code>codePointOffset</code> count as one code point each.
jaroslav@49
   758
     *
jaroslav@49
   759
     * @param index the index to be offset
jaroslav@49
   760
     * @param codePointOffset the offset in code points
jaroslav@49
   761
     * @return the index within this <code>String</code>
jaroslav@49
   762
     * @exception IndexOutOfBoundsException if <code>index</code>
jaroslav@49
   763
     *   is negative or larger then the length of this
jaroslav@49
   764
     *   <code>String</code>, or if <code>codePointOffset</code> is positive
jaroslav@49
   765
     *   and the substring starting with <code>index</code> has fewer
jaroslav@49
   766
     *   than <code>codePointOffset</code> code points,
jaroslav@49
   767
     *   or if <code>codePointOffset</code> is negative and the substring
jaroslav@49
   768
     *   before <code>index</code> has fewer than the absolute value
jaroslav@49
   769
     *   of <code>codePointOffset</code> code points.
jaroslav@49
   770
     * @since 1.5
jaroslav@49
   771
     */
jaroslav@49
   772
    public int offsetByCodePoints(int index, int codePointOffset) {
jaroslav@241
   773
        if (index < 0 || index > length()) {
jaroslav@49
   774
            throw new IndexOutOfBoundsException();
jaroslav@49
   775
        }
jaroslav@241
   776
        return Character.offsetByCodePointsImpl(toCharArray(), offset(), length(),
jaroslav@241
   777
                                                offset()+index, codePointOffset) - offset();
jaroslav@49
   778
    }
jaroslav@49
   779
jaroslav@49
   780
    /**
jaroslav@49
   781
     * Copy characters from this string into dst starting at dstBegin.
jaroslav@49
   782
     * This method doesn't perform any range checking.
jaroslav@49
   783
     */
jaroslav@443
   784
    @JavaScriptBody(args = { "arr", "to" }, body = 
jaroslav@443
   785
        "var s = this.toString();\n" +
jaroslav@240
   786
        "for (var i = 0; i < s.length; i++) {\n" +
jaroslav@240
   787
        "   arr[to++] = s[i];\n" +
jaroslav@240
   788
        "}"
jaroslav@240
   789
    )
jaroslav@49
   790
    void getChars(char dst[], int dstBegin) {
jaroslav@560
   791
        System.arraycopy(toCharArray(), offset(), dst, dstBegin, length());
jaroslav@49
   792
    }
jaroslav@49
   793
jaroslav@49
   794
    /**
jaroslav@49
   795
     * Copies characters from this string into the destination character
jaroslav@49
   796
     * array.
jaroslav@49
   797
     * <p>
jaroslav@49
   798
     * The first character to be copied is at index <code>srcBegin</code>;
jaroslav@49
   799
     * the last character to be copied is at index <code>srcEnd-1</code>
jaroslav@49
   800
     * (thus the total number of characters to be copied is
jaroslav@49
   801
     * <code>srcEnd-srcBegin</code>). The characters are copied into the
jaroslav@49
   802
     * subarray of <code>dst</code> starting at index <code>dstBegin</code>
jaroslav@49
   803
     * and ending at index:
jaroslav@49
   804
     * <p><blockquote><pre>
jaroslav@49
   805
     *     dstbegin + (srcEnd-srcBegin) - 1
jaroslav@49
   806
     * </pre></blockquote>
jaroslav@49
   807
     *
jaroslav@49
   808
     * @param      srcBegin   index of the first character in the string
jaroslav@49
   809
     *                        to copy.
jaroslav@49
   810
     * @param      srcEnd     index after the last character in the string
jaroslav@49
   811
     *                        to copy.
jaroslav@49
   812
     * @param      dst        the destination array.
jaroslav@49
   813
     * @param      dstBegin   the start offset in the destination array.
jaroslav@49
   814
     * @exception IndexOutOfBoundsException If any of the following
jaroslav@49
   815
     *            is true:
jaroslav@49
   816
     *            <ul><li><code>srcBegin</code> is negative.
jaroslav@49
   817
     *            <li><code>srcBegin</code> is greater than <code>srcEnd</code>
jaroslav@49
   818
     *            <li><code>srcEnd</code> is greater than the length of this
jaroslav@49
   819
     *                string
jaroslav@49
   820
     *            <li><code>dstBegin</code> is negative
jaroslav@49
   821
     *            <li><code>dstBegin+(srcEnd-srcBegin)</code> is larger than
jaroslav@49
   822
     *                <code>dst.length</code></ul>
jaroslav@49
   823
     */
jaroslav@443
   824
    @JavaScriptBody(args = { "beg", "end", "arr", "dst" }, body=
jaroslav@443
   825
        "var s = this.toString();\n" +
jaroslav@240
   826
        "while (beg < end) {\n" +
jaroslav@572
   827
        "  arr[dst++] = s.charCodeAt(beg++);\n" +
jaroslav@240
   828
        "}\n"
jaroslav@240
   829
    )
jaroslav@49
   830
    public void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {
jaroslav@49
   831
        if (srcBegin < 0) {
jaroslav@49
   832
            throw new StringIndexOutOfBoundsException(srcBegin);
jaroslav@49
   833
        }
jaroslav@241
   834
        if (srcEnd > length()) {
jaroslav@49
   835
            throw new StringIndexOutOfBoundsException(srcEnd);
jaroslav@49
   836
        }
jaroslav@49
   837
        if (srcBegin > srcEnd) {
jaroslav@49
   838
            throw new StringIndexOutOfBoundsException(srcEnd - srcBegin);
jaroslav@49
   839
        }
jaroslav@560
   840
        System.arraycopy(toCharArray(), offset() + srcBegin, dst, dstBegin,
jaroslav@49
   841
             srcEnd - srcBegin);
jaroslav@49
   842
    }
jaroslav@49
   843
jaroslav@49
   844
    /**
jaroslav@49
   845
     * Copies characters from this string into the destination byte array. Each
jaroslav@49
   846
     * byte receives the 8 low-order bits of the corresponding character. The
jaroslav@49
   847
     * eight high-order bits of each character are not copied and do not
jaroslav@49
   848
     * participate in the transfer in any way.
jaroslav@49
   849
     *
jaroslav@49
   850
     * <p> The first character to be copied is at index {@code srcBegin}; the
jaroslav@49
   851
     * last character to be copied is at index {@code srcEnd-1}.  The total
jaroslav@49
   852
     * number of characters to be copied is {@code srcEnd-srcBegin}. The
jaroslav@49
   853
     * characters, converted to bytes, are copied into the subarray of {@code
jaroslav@49
   854
     * dst} starting at index {@code dstBegin} and ending at index:
jaroslav@49
   855
     *
jaroslav@49
   856
     * <blockquote><pre>
jaroslav@49
   857
     *     dstbegin + (srcEnd-srcBegin) - 1
jaroslav@49
   858
     * </pre></blockquote>
jaroslav@49
   859
     *
jaroslav@49
   860
     * @deprecated  This method does not properly convert characters into
jaroslav@49
   861
     * bytes.  As of JDK&nbsp;1.1, the preferred way to do this is via the
jaroslav@49
   862
     * {@link #getBytes()} method, which uses the platform's default charset.
jaroslav@49
   863
     *
jaroslav@49
   864
     * @param  srcBegin
jaroslav@49
   865
     *         Index of the first character in the string to copy
jaroslav@49
   866
     *
jaroslav@49
   867
     * @param  srcEnd
jaroslav@49
   868
     *         Index after the last character in the string to copy
jaroslav@49
   869
     *
jaroslav@49
   870
     * @param  dst
jaroslav@49
   871
     *         The destination array
jaroslav@49
   872
     *
jaroslav@49
   873
     * @param  dstBegin
jaroslav@49
   874
     *         The start offset in the destination array
jaroslav@49
   875
     *
jaroslav@49
   876
     * @throws  IndexOutOfBoundsException
jaroslav@49
   877
     *          If any of the following is true:
jaroslav@49
   878
     *          <ul>
jaroslav@49
   879
     *            <li> {@code srcBegin} is negative
jaroslav@49
   880
     *            <li> {@code srcBegin} is greater than {@code srcEnd}
jaroslav@49
   881
     *            <li> {@code srcEnd} is greater than the length of this String
jaroslav@49
   882
     *            <li> {@code dstBegin} is negative
jaroslav@49
   883
     *            <li> {@code dstBegin+(srcEnd-srcBegin)} is larger than {@code
jaroslav@49
   884
     *                 dst.length}
jaroslav@49
   885
     *          </ul>
jaroslav@49
   886
     */
jaroslav@49
   887
    @Deprecated
jaroslav@49
   888
    public void getBytes(int srcBegin, int srcEnd, byte dst[], int dstBegin) {
jaroslav@49
   889
        if (srcBegin < 0) {
jaroslav@49
   890
            throw new StringIndexOutOfBoundsException(srcBegin);
jaroslav@49
   891
        }
jaroslav@241
   892
        if (srcEnd > length()) {
jaroslav@49
   893
            throw new StringIndexOutOfBoundsException(srcEnd);
jaroslav@49
   894
        }
jaroslav@49
   895
        if (srcBegin > srcEnd) {
jaroslav@49
   896
            throw new StringIndexOutOfBoundsException(srcEnd - srcBegin);
jaroslav@49
   897
        }
jaroslav@49
   898
        int j = dstBegin;
jaroslav@241
   899
        int n = offset() + srcEnd;
jaroslav@241
   900
        int i = offset() + srcBegin;
jaroslav@241
   901
        char[] val = toCharArray();   /* avoid getfield opcode */
jaroslav@49
   902
jaroslav@49
   903
        while (i < n) {
jaroslav@49
   904
            dst[j++] = (byte)val[i++];
jaroslav@49
   905
        }
jaroslav@49
   906
    }
jaroslav@49
   907
jaroslav@49
   908
    /**
jaroslav@49
   909
     * Encodes this {@code String} into a sequence of bytes using the named
jaroslav@49
   910
     * charset, storing the result into a new byte array.
jaroslav@49
   911
     *
jaroslav@49
   912
     * <p> The behavior of this method when this string cannot be encoded in
jaroslav@49
   913
     * the given charset is unspecified.  The {@link
jaroslav@49
   914
     * java.nio.charset.CharsetEncoder} class should be used when more control
jaroslav@49
   915
     * over the encoding process is required.
jaroslav@49
   916
     *
jaroslav@49
   917
     * @param  charsetName
jaroslav@49
   918
     *         The name of a supported {@linkplain java.nio.charset.Charset
jaroslav@49
   919
     *         charset}
jaroslav@49
   920
     *
jaroslav@49
   921
     * @return  The resultant byte array
jaroslav@49
   922
     *
jaroslav@49
   923
     * @throws  UnsupportedEncodingException
jaroslav@49
   924
     *          If the named charset is not supported
jaroslav@49
   925
     *
jaroslav@49
   926
     * @since  JDK1.1
jaroslav@49
   927
     */
jaroslav@74
   928
//    public byte[] getBytes(String charsetName)
jaroslav@74
   929
//        throws UnsupportedEncodingException
jaroslav@74
   930
//    {
jaroslav@74
   931
//        if (charsetName == null) throw new NullPointerException();
jaroslav@74
   932
//        return StringCoding.encode(charsetName, value, offset, count);
jaroslav@74
   933
//    }
jaroslav@49
   934
jaroslav@49
   935
    /**
jaroslav@49
   936
     * Encodes this {@code String} into a sequence of bytes using the given
jaroslav@49
   937
     * {@linkplain java.nio.charset.Charset charset}, storing the result into a
jaroslav@49
   938
     * new byte array.
jaroslav@49
   939
     *
jaroslav@49
   940
     * <p> This method always replaces malformed-input and unmappable-character
jaroslav@49
   941
     * sequences with this charset's default replacement byte array.  The
jaroslav@49
   942
     * {@link java.nio.charset.CharsetEncoder} class should be used when more
jaroslav@49
   943
     * control over the encoding process is required.
jaroslav@49
   944
     *
jaroslav@49
   945
     * @param  charset
jaroslav@49
   946
     *         The {@linkplain java.nio.charset.Charset} to be used to encode
jaroslav@49
   947
     *         the {@code String}
jaroslav@49
   948
     *
jaroslav@49
   949
     * @return  The resultant byte array
jaroslav@49
   950
     *
jaroslav@49
   951
     * @since  1.6
jaroslav@49
   952
     */
jaroslav@61
   953
    /* don't want dep on Charset
jaroslav@49
   954
    public byte[] getBytes(Charset charset) {
jaroslav@49
   955
        if (charset == null) throw new NullPointerException();
jaroslav@49
   956
        return StringCoding.encode(charset, value, offset, count);
jaroslav@49
   957
    }
jaroslav@61
   958
    */
jaroslav@49
   959
jaroslav@49
   960
    /**
jaroslav@49
   961
     * Encodes this {@code String} into a sequence of bytes using the
jaroslav@49
   962
     * platform's default charset, storing the result into a new byte array.
jaroslav@49
   963
     *
jaroslav@49
   964
     * <p> The behavior of this method when this string cannot be encoded in
jaroslav@49
   965
     * the default charset is unspecified.  The {@link
jaroslav@49
   966
     * java.nio.charset.CharsetEncoder} class should be used when more control
jaroslav@49
   967
     * over the encoding process is required.
jaroslav@49
   968
     *
jaroslav@49
   969
     * @return  The resultant byte array
jaroslav@49
   970
     *
jaroslav@49
   971
     * @since      JDK1.1
jaroslav@49
   972
     */
jaroslav@49
   973
    public byte[] getBytes() {
jaroslav@75
   974
        byte[] arr = new byte[length()];
jaroslav@75
   975
        for (int i = 0; i < arr.length; i++) {
jaroslav@75
   976
            final char v = charAt(i);
jaroslav@75
   977
            arr[i] = (byte)v;
jaroslav@75
   978
        }
jaroslav@75
   979
        return arr;
jaroslav@49
   980
    }
jaroslav@49
   981
jaroslav@49
   982
    /**
jaroslav@49
   983
     * Compares this string to the specified object.  The result is {@code
jaroslav@49
   984
     * true} if and only if the argument is not {@code null} and is a {@code
jaroslav@49
   985
     * String} object that represents the same sequence of characters as this
jaroslav@49
   986
     * object.
jaroslav@49
   987
     *
jaroslav@49
   988
     * @param  anObject
jaroslav@49
   989
     *         The object to compare this {@code String} against
jaroslav@49
   990
     *
jaroslav@49
   991
     * @return  {@code true} if the given object represents a {@code String}
jaroslav@49
   992
     *          equivalent to this string, {@code false} otherwise
jaroslav@49
   993
     *
jaroslav@49
   994
     * @see  #compareTo(String)
jaroslav@49
   995
     * @see  #equalsIgnoreCase(String)
jaroslav@49
   996
     */
jaroslav@443
   997
    @JavaScriptBody(args = { "obj" }, body = 
jaroslav@501
   998
        "return obj != null && obj.$instOf_java_lang_String && "
jaroslav@443
   999
        + "this.toString() === obj.toString();"
jaroslav@240
  1000
    )
jaroslav@49
  1001
    public boolean equals(Object anObject) {
jaroslav@49
  1002
        if (this == anObject) {
jaroslav@49
  1003
            return true;
jaroslav@49
  1004
        }
jaroslav@49
  1005
        if (anObject instanceof String) {
jaroslav@49
  1006
            String anotherString = (String)anObject;
jaroslav@241
  1007
            int n = length();
jaroslav@241
  1008
            if (n == anotherString.length()) {
jaroslav@241
  1009
                char v1[] = toCharArray();
jaroslav@241
  1010
                char v2[] = anotherString.toCharArray();
jaroslav@241
  1011
                int i = offset();
jaroslav@241
  1012
                int j = anotherString.offset();
jaroslav@49
  1013
                while (n-- != 0) {
jaroslav@49
  1014
                    if (v1[i++] != v2[j++])
jaroslav@49
  1015
                        return false;
jaroslav@49
  1016
                }
jaroslav@49
  1017
                return true;
jaroslav@49
  1018
            }
jaroslav@49
  1019
        }
jaroslav@49
  1020
        return false;
jaroslav@49
  1021
    }
jaroslav@49
  1022
jaroslav@49
  1023
    /**
jaroslav@49
  1024
     * Compares this string to the specified {@code StringBuffer}.  The result
jaroslav@49
  1025
     * is {@code true} if and only if this {@code String} represents the same
jaroslav@49
  1026
     * sequence of characters as the specified {@code StringBuffer}.
jaroslav@49
  1027
     *
jaroslav@49
  1028
     * @param  sb
jaroslav@49
  1029
     *         The {@code StringBuffer} to compare this {@code String} against
jaroslav@49
  1030
     *
jaroslav@49
  1031
     * @return  {@code true} if this {@code String} represents the same
jaroslav@49
  1032
     *          sequence of characters as the specified {@code StringBuffer},
jaroslav@49
  1033
     *          {@code false} otherwise
jaroslav@49
  1034
     *
jaroslav@49
  1035
     * @since  1.4
jaroslav@49
  1036
     */
jaroslav@49
  1037
    public boolean contentEquals(StringBuffer sb) {
jaroslav@49
  1038
        synchronized(sb) {
jaroslav@49
  1039
            return contentEquals((CharSequence)sb);
jaroslav@49
  1040
        }
jaroslav@49
  1041
    }
jaroslav@49
  1042
jaroslav@49
  1043
    /**
jaroslav@49
  1044
     * Compares this string to the specified {@code CharSequence}.  The result
jaroslav@49
  1045
     * is {@code true} if and only if this {@code String} represents the same
jaroslav@49
  1046
     * sequence of char values as the specified sequence.
jaroslav@49
  1047
     *
jaroslav@49
  1048
     * @param  cs
jaroslav@49
  1049
     *         The sequence to compare this {@code String} against
jaroslav@49
  1050
     *
jaroslav@49
  1051
     * @return  {@code true} if this {@code String} represents the same
jaroslav@49
  1052
     *          sequence of char values as the specified sequence, {@code
jaroslav@49
  1053
     *          false} otherwise
jaroslav@49
  1054
     *
jaroslav@49
  1055
     * @since  1.5
jaroslav@49
  1056
     */
jaroslav@49
  1057
    public boolean contentEquals(CharSequence cs) {
jaroslav@241
  1058
        if (length() != cs.length())
jaroslav@49
  1059
            return false;
jaroslav@49
  1060
        // Argument is a StringBuffer, StringBuilder
jaroslav@49
  1061
        if (cs instanceof AbstractStringBuilder) {
jaroslav@241
  1062
            char v1[] = toCharArray();
jaroslav@49
  1063
            char v2[] = ((AbstractStringBuilder)cs).getValue();
jaroslav@241
  1064
            int i = offset();
jaroslav@49
  1065
            int j = 0;
jaroslav@241
  1066
            int n = length();
jaroslav@49
  1067
            while (n-- != 0) {
jaroslav@49
  1068
                if (v1[i++] != v2[j++])
jaroslav@49
  1069
                    return false;
jaroslav@49
  1070
            }
jaroslav@49
  1071
            return true;
jaroslav@49
  1072
        }
jaroslav@49
  1073
        // Argument is a String
jaroslav@49
  1074
        if (cs.equals(this))
jaroslav@49
  1075
            return true;
jaroslav@49
  1076
        // Argument is a generic CharSequence
jaroslav@241
  1077
        char v1[] = toCharArray();
jaroslav@241
  1078
        int i = offset();
jaroslav@49
  1079
        int j = 0;
jaroslav@241
  1080
        int n = length();
jaroslav@49
  1081
        while (n-- != 0) {
jaroslav@49
  1082
            if (v1[i++] != cs.charAt(j++))
jaroslav@49
  1083
                return false;
jaroslav@49
  1084
        }
jaroslav@49
  1085
        return true;
jaroslav@49
  1086
    }
jaroslav@49
  1087
jaroslav@49
  1088
    /**
jaroslav@49
  1089
     * Compares this {@code String} to another {@code String}, ignoring case
jaroslav@49
  1090
     * considerations.  Two strings are considered equal ignoring case if they
jaroslav@49
  1091
     * are of the same length and corresponding characters in the two strings
jaroslav@49
  1092
     * are equal ignoring case.
jaroslav@49
  1093
     *
jaroslav@49
  1094
     * <p> Two characters {@code c1} and {@code c2} are considered the same
jaroslav@49
  1095
     * ignoring case if at least one of the following is true:
jaroslav@49
  1096
     * <ul>
jaroslav@49
  1097
     *   <li> The two characters are the same (as compared by the
jaroslav@49
  1098
     *        {@code ==} operator)
jaroslav@49
  1099
     *   <li> Applying the method {@link
jaroslav@49
  1100
     *        java.lang.Character#toUpperCase(char)} to each character
jaroslav@49
  1101
     *        produces the same result
jaroslav@49
  1102
     *   <li> Applying the method {@link
jaroslav@49
  1103
     *        java.lang.Character#toLowerCase(char)} to each character
jaroslav@49
  1104
     *        produces the same result
jaroslav@49
  1105
     * </ul>
jaroslav@49
  1106
     *
jaroslav@49
  1107
     * @param  anotherString
jaroslav@49
  1108
     *         The {@code String} to compare this {@code String} against
jaroslav@49
  1109
     *
jaroslav@49
  1110
     * @return  {@code true} if the argument is not {@code null} and it
jaroslav@49
  1111
     *          represents an equivalent {@code String} ignoring case; {@code
jaroslav@49
  1112
     *          false} otherwise
jaroslav@49
  1113
     *
jaroslav@49
  1114
     * @see  #equals(Object)
jaroslav@49
  1115
     */
jaroslav@49
  1116
    public boolean equalsIgnoreCase(String anotherString) {
jaroslav@49
  1117
        return (this == anotherString) ? true :
jaroslav@241
  1118
               (anotherString != null) && (anotherString.length() == length()) &&
jaroslav@241
  1119
               regionMatches(true, 0, anotherString, 0, length());
jaroslav@49
  1120
    }
jaroslav@49
  1121
jaroslav@49
  1122
    /**
jaroslav@49
  1123
     * Compares two strings lexicographically.
jaroslav@49
  1124
     * The comparison is based on the Unicode value of each character in
jaroslav@49
  1125
     * the strings. The character sequence represented by this
jaroslav@49
  1126
     * <code>String</code> object is compared lexicographically to the
jaroslav@49
  1127
     * character sequence represented by the argument string. The result is
jaroslav@49
  1128
     * a negative integer if this <code>String</code> object
jaroslav@49
  1129
     * lexicographically precedes the argument string. The result is a
jaroslav@49
  1130
     * positive integer if this <code>String</code> object lexicographically
jaroslav@49
  1131
     * follows the argument string. The result is zero if the strings
jaroslav@49
  1132
     * are equal; <code>compareTo</code> returns <code>0</code> exactly when
jaroslav@49
  1133
     * the {@link #equals(Object)} method would return <code>true</code>.
jaroslav@49
  1134
     * <p>
jaroslav@49
  1135
     * This is the definition of lexicographic ordering. If two strings are
jaroslav@49
  1136
     * different, then either they have different characters at some index
jaroslav@49
  1137
     * that is a valid index for both strings, or their lengths are different,
jaroslav@49
  1138
     * or both. If they have different characters at one or more index
jaroslav@49
  1139
     * positions, let <i>k</i> be the smallest such index; then the string
jaroslav@49
  1140
     * whose character at position <i>k</i> has the smaller value, as
jaroslav@49
  1141
     * determined by using the &lt; operator, lexicographically precedes the
jaroslav@49
  1142
     * other string. In this case, <code>compareTo</code> returns the
jaroslav@49
  1143
     * difference of the two character values at position <code>k</code> in
jaroslav@49
  1144
     * the two string -- that is, the value:
jaroslav@49
  1145
     * <blockquote><pre>
jaroslav@49
  1146
     * this.charAt(k)-anotherString.charAt(k)
jaroslav@49
  1147
     * </pre></blockquote>
jaroslav@49
  1148
     * If there is no index position at which they differ, then the shorter
jaroslav@49
  1149
     * string lexicographically precedes the longer string. In this case,
jaroslav@49
  1150
     * <code>compareTo</code> returns the difference of the lengths of the
jaroslav@49
  1151
     * strings -- that is, the value:
jaroslav@49
  1152
     * <blockquote><pre>
jaroslav@49
  1153
     * this.length()-anotherString.length()
jaroslav@49
  1154
     * </pre></blockquote>
jaroslav@49
  1155
     *
jaroslav@49
  1156
     * @param   anotherString   the <code>String</code> to be compared.
jaroslav@49
  1157
     * @return  the value <code>0</code> if the argument string is equal to
jaroslav@49
  1158
     *          this string; a value less than <code>0</code> if this string
jaroslav@49
  1159
     *          is lexicographically less than the string argument; and a
jaroslav@49
  1160
     *          value greater than <code>0</code> if this string is
jaroslav@49
  1161
     *          lexicographically greater than the string argument.
jaroslav@49
  1162
     */
jaroslav@49
  1163
    public int compareTo(String anotherString) {
jaroslav@241
  1164
        int len1 = length();
jaroslav@241
  1165
        int len2 = anotherString.length();
jaroslav@49
  1166
        int n = Math.min(len1, len2);
jaroslav@241
  1167
        char v1[] = toCharArray();
jaroslav@241
  1168
        char v2[] = anotherString.toCharArray();
jaroslav@241
  1169
        int i = offset();
jaroslav@241
  1170
        int j = anotherString.offset();
jaroslav@49
  1171
jaroslav@49
  1172
        if (i == j) {
jaroslav@49
  1173
            int k = i;
jaroslav@49
  1174
            int lim = n + i;
jaroslav@49
  1175
            while (k < lim) {
jaroslav@49
  1176
                char c1 = v1[k];
jaroslav@49
  1177
                char c2 = v2[k];
jaroslav@49
  1178
                if (c1 != c2) {
jaroslav@49
  1179
                    return c1 - c2;
jaroslav@49
  1180
                }
jaroslav@49
  1181
                k++;
jaroslav@49
  1182
            }
jaroslav@49
  1183
        } else {
jaroslav@49
  1184
            while (n-- != 0) {
jaroslav@49
  1185
                char c1 = v1[i++];
jaroslav@49
  1186
                char c2 = v2[j++];
jaroslav@49
  1187
                if (c1 != c2) {
jaroslav@49
  1188
                    return c1 - c2;
jaroslav@49
  1189
                }
jaroslav@49
  1190
            }
jaroslav@49
  1191
        }
jaroslav@49
  1192
        return len1 - len2;
jaroslav@49
  1193
    }
jaroslav@49
  1194
jaroslav@49
  1195
    /**
jaroslav@49
  1196
     * A Comparator that orders <code>String</code> objects as by
jaroslav@49
  1197
     * <code>compareToIgnoreCase</code>. This comparator is serializable.
jaroslav@49
  1198
     * <p>
jaroslav@49
  1199
     * Note that this Comparator does <em>not</em> take locale into account,
jaroslav@49
  1200
     * and will result in an unsatisfactory ordering for certain locales.
jaroslav@49
  1201
     * The java.text package provides <em>Collators</em> to allow
jaroslav@49
  1202
     * locale-sensitive ordering.
jaroslav@49
  1203
     *
jaroslav@49
  1204
     * @see     java.text.Collator#compare(String, String)
jaroslav@49
  1205
     * @since   1.2
jaroslav@49
  1206
     */
jaroslav@49
  1207
    public static final Comparator<String> CASE_INSENSITIVE_ORDER
jaroslav@49
  1208
                                         = new CaseInsensitiveComparator();
jaroslav@241
  1209
jaroslav@241
  1210
    private static int offset() {
jaroslav@241
  1211
        return 0;
jaroslav@241
  1212
    }
jaroslav@241
  1213
    
jaroslav@49
  1214
    private static class CaseInsensitiveComparator
jaroslav@49
  1215
                         implements Comparator<String>, java.io.Serializable {
jaroslav@49
  1216
        // use serialVersionUID from JDK 1.2.2 for interoperability
jaroslav@49
  1217
        private static final long serialVersionUID = 8575799808933029326L;
jaroslav@49
  1218
jaroslav@49
  1219
        public int compare(String s1, String s2) {
jaroslav@49
  1220
            int n1 = s1.length();
jaroslav@49
  1221
            int n2 = s2.length();
jaroslav@49
  1222
            int min = Math.min(n1, n2);
jaroslav@49
  1223
            for (int i = 0; i < min; i++) {
jaroslav@49
  1224
                char c1 = s1.charAt(i);
jaroslav@49
  1225
                char c2 = s2.charAt(i);
jaroslav@49
  1226
                if (c1 != c2) {
jaroslav@49
  1227
                    c1 = Character.toUpperCase(c1);
jaroslav@49
  1228
                    c2 = Character.toUpperCase(c2);
jaroslav@49
  1229
                    if (c1 != c2) {
jaroslav@49
  1230
                        c1 = Character.toLowerCase(c1);
jaroslav@49
  1231
                        c2 = Character.toLowerCase(c2);
jaroslav@49
  1232
                        if (c1 != c2) {
jaroslav@49
  1233
                            // No overflow because of numeric promotion
jaroslav@49
  1234
                            return c1 - c2;
jaroslav@49
  1235
                        }
jaroslav@49
  1236
                    }
jaroslav@49
  1237
                }
jaroslav@49
  1238
            }
jaroslav@49
  1239
            return n1 - n2;
jaroslav@49
  1240
        }
jaroslav@49
  1241
    }
jaroslav@49
  1242
jaroslav@49
  1243
    /**
jaroslav@49
  1244
     * Compares two strings lexicographically, ignoring case
jaroslav@49
  1245
     * differences. This method returns an integer whose sign is that of
jaroslav@49
  1246
     * calling <code>compareTo</code> with normalized versions of the strings
jaroslav@49
  1247
     * where case differences have been eliminated by calling
jaroslav@49
  1248
     * <code>Character.toLowerCase(Character.toUpperCase(character))</code> on
jaroslav@49
  1249
     * each character.
jaroslav@49
  1250
     * <p>
jaroslav@49
  1251
     * Note that this method does <em>not</em> take locale into account,
jaroslav@49
  1252
     * and will result in an unsatisfactory ordering for certain locales.
jaroslav@49
  1253
     * The java.text package provides <em>collators</em> to allow
jaroslav@49
  1254
     * locale-sensitive ordering.
jaroslav@49
  1255
     *
jaroslav@49
  1256
     * @param   str   the <code>String</code> to be compared.
jaroslav@49
  1257
     * @return  a negative integer, zero, or a positive integer as the
jaroslav@49
  1258
     *          specified String is greater than, equal to, or less
jaroslav@49
  1259
     *          than this String, ignoring case considerations.
jaroslav@49
  1260
     * @see     java.text.Collator#compare(String, String)
jaroslav@49
  1261
     * @since   1.2
jaroslav@49
  1262
     */
jaroslav@49
  1263
    public int compareToIgnoreCase(String str) {
jaroslav@49
  1264
        return CASE_INSENSITIVE_ORDER.compare(this, str);
jaroslav@49
  1265
    }
jaroslav@49
  1266
jaroslav@49
  1267
    /**
jaroslav@49
  1268
     * Tests if two string regions are equal.
jaroslav@49
  1269
     * <p>
jaroslav@49
  1270
     * A substring of this <tt>String</tt> object is compared to a substring
jaroslav@49
  1271
     * of the argument other. The result is true if these substrings
jaroslav@49
  1272
     * represent identical character sequences. The substring of this
jaroslav@49
  1273
     * <tt>String</tt> object to be compared begins at index <tt>toffset</tt>
jaroslav@49
  1274
     * and has length <tt>len</tt>. The substring of other to be compared
jaroslav@49
  1275
     * begins at index <tt>ooffset</tt> and has length <tt>len</tt>. The
jaroslav@49
  1276
     * result is <tt>false</tt> if and only if at least one of the following
jaroslav@49
  1277
     * is true:
jaroslav@49
  1278
     * <ul><li><tt>toffset</tt> is negative.
jaroslav@49
  1279
     * <li><tt>ooffset</tt> is negative.
jaroslav@49
  1280
     * <li><tt>toffset+len</tt> is greater than the length of this
jaroslav@49
  1281
     * <tt>String</tt> object.
jaroslav@49
  1282
     * <li><tt>ooffset+len</tt> is greater than the length of the other
jaroslav@49
  1283
     * argument.
jaroslav@49
  1284
     * <li>There is some nonnegative integer <i>k</i> less than <tt>len</tt>
jaroslav@49
  1285
     * such that:
jaroslav@49
  1286
     * <tt>this.charAt(toffset+<i>k</i>)&nbsp;!=&nbsp;other.charAt(ooffset+<i>k</i>)</tt>
jaroslav@49
  1287
     * </ul>
jaroslav@49
  1288
     *
jaroslav@49
  1289
     * @param   toffset   the starting offset of the subregion in this string.
jaroslav@49
  1290
     * @param   other     the string argument.
jaroslav@49
  1291
     * @param   ooffset   the starting offset of the subregion in the string
jaroslav@49
  1292
     *                    argument.
jaroslav@49
  1293
     * @param   len       the number of characters to compare.
jaroslav@49
  1294
     * @return  <code>true</code> if the specified subregion of this string
jaroslav@49
  1295
     *          exactly matches the specified subregion of the string argument;
jaroslav@49
  1296
     *          <code>false</code> otherwise.
jaroslav@49
  1297
     */
jaroslav@49
  1298
    public boolean regionMatches(int toffset, String other, int ooffset,
jaroslav@49
  1299
                                 int len) {
jaroslav@241
  1300
        char ta[] = toCharArray();
jaroslav@241
  1301
        int to = offset() + toffset;
jaroslav@241
  1302
        char pa[] = other.toCharArray();
jaroslav@241
  1303
        int po = other.offset() + ooffset;
jaroslav@49
  1304
        // Note: toffset, ooffset, or len might be near -1>>>1.
jaroslav@241
  1305
        if ((ooffset < 0) || (toffset < 0) || (toffset > (long)length() - len)
jaroslav@241
  1306
            || (ooffset > (long)other.length() - len)) {
jaroslav@49
  1307
            return false;
jaroslav@49
  1308
        }
jaroslav@49
  1309
        while (len-- > 0) {
jaroslav@49
  1310
            if (ta[to++] != pa[po++]) {
jaroslav@49
  1311
                return false;
jaroslav@49
  1312
            }
jaroslav@49
  1313
        }
jaroslav@49
  1314
        return true;
jaroslav@49
  1315
    }
jaroslav@49
  1316
jaroslav@49
  1317
    /**
jaroslav@49
  1318
     * Tests if two string regions are equal.
jaroslav@49
  1319
     * <p>
jaroslav@49
  1320
     * A substring of this <tt>String</tt> object is compared to a substring
jaroslav@49
  1321
     * of the argument <tt>other</tt>. The result is <tt>true</tt> if these
jaroslav@49
  1322
     * substrings represent character sequences that are the same, ignoring
jaroslav@49
  1323
     * case if and only if <tt>ignoreCase</tt> is true. The substring of
jaroslav@49
  1324
     * this <tt>String</tt> object to be compared begins at index
jaroslav@49
  1325
     * <tt>toffset</tt> and has length <tt>len</tt>. The substring of
jaroslav@49
  1326
     * <tt>other</tt> to be compared begins at index <tt>ooffset</tt> and
jaroslav@49
  1327
     * has length <tt>len</tt>. The result is <tt>false</tt> if and only if
jaroslav@49
  1328
     * at least one of the following is true:
jaroslav@49
  1329
     * <ul><li><tt>toffset</tt> is negative.
jaroslav@49
  1330
     * <li><tt>ooffset</tt> is negative.
jaroslav@49
  1331
     * <li><tt>toffset+len</tt> is greater than the length of this
jaroslav@49
  1332
     * <tt>String</tt> object.
jaroslav@49
  1333
     * <li><tt>ooffset+len</tt> is greater than the length of the other
jaroslav@49
  1334
     * argument.
jaroslav@49
  1335
     * <li><tt>ignoreCase</tt> is <tt>false</tt> and there is some nonnegative
jaroslav@49
  1336
     * integer <i>k</i> less than <tt>len</tt> such that:
jaroslav@49
  1337
     * <blockquote><pre>
jaroslav@49
  1338
     * this.charAt(toffset+k) != other.charAt(ooffset+k)
jaroslav@49
  1339
     * </pre></blockquote>
jaroslav@49
  1340
     * <li><tt>ignoreCase</tt> is <tt>true</tt> and there is some nonnegative
jaroslav@49
  1341
     * integer <i>k</i> less than <tt>len</tt> such that:
jaroslav@49
  1342
     * <blockquote><pre>
jaroslav@49
  1343
     * Character.toLowerCase(this.charAt(toffset+k)) !=
jaroslav@49
  1344
               Character.toLowerCase(other.charAt(ooffset+k))
jaroslav@49
  1345
     * </pre></blockquote>
jaroslav@49
  1346
     * and:
jaroslav@49
  1347
     * <blockquote><pre>
jaroslav@49
  1348
     * Character.toUpperCase(this.charAt(toffset+k)) !=
jaroslav@49
  1349
     *         Character.toUpperCase(other.charAt(ooffset+k))
jaroslav@49
  1350
     * </pre></blockquote>
jaroslav@49
  1351
     * </ul>
jaroslav@49
  1352
     *
jaroslav@49
  1353
     * @param   ignoreCase   if <code>true</code>, ignore case when comparing
jaroslav@49
  1354
     *                       characters.
jaroslav@49
  1355
     * @param   toffset      the starting offset of the subregion in this
jaroslav@49
  1356
     *                       string.
jaroslav@49
  1357
     * @param   other        the string argument.
jaroslav@49
  1358
     * @param   ooffset      the starting offset of the subregion in the string
jaroslav@49
  1359
     *                       argument.
jaroslav@49
  1360
     * @param   len          the number of characters to compare.
jaroslav@49
  1361
     * @return  <code>true</code> if the specified subregion of this string
jaroslav@49
  1362
     *          matches the specified subregion of the string argument;
jaroslav@49
  1363
     *          <code>false</code> otherwise. Whether the matching is exact
jaroslav@49
  1364
     *          or case insensitive depends on the <code>ignoreCase</code>
jaroslav@49
  1365
     *          argument.
jaroslav@49
  1366
     */
jaroslav@49
  1367
    public boolean regionMatches(boolean ignoreCase, int toffset,
jaroslav@49
  1368
                           String other, int ooffset, int len) {
jaroslav@241
  1369
        char ta[] = toCharArray();
jaroslav@241
  1370
        int to = offset() + toffset;
jaroslav@241
  1371
        char pa[] = other.toCharArray();
jaroslav@241
  1372
        int po = other.offset() + ooffset;
jaroslav@49
  1373
        // Note: toffset, ooffset, or len might be near -1>>>1.
jaroslav@241
  1374
        if ((ooffset < 0) || (toffset < 0) || (toffset > (long)length() - len) ||
jaroslav@241
  1375
                (ooffset > (long)other.length() - len)) {
jaroslav@49
  1376
            return false;
jaroslav@49
  1377
        }
jaroslav@49
  1378
        while (len-- > 0) {
jaroslav@49
  1379
            char c1 = ta[to++];
jaroslav@49
  1380
            char c2 = pa[po++];
jaroslav@49
  1381
            if (c1 == c2) {
jaroslav@49
  1382
                continue;
jaroslav@49
  1383
            }
jaroslav@49
  1384
            if (ignoreCase) {
jaroslav@49
  1385
                // If characters don't match but case may be ignored,
jaroslav@49
  1386
                // try converting both characters to uppercase.
jaroslav@49
  1387
                // If the results match, then the comparison scan should
jaroslav@49
  1388
                // continue.
jaroslav@49
  1389
                char u1 = Character.toUpperCase(c1);
jaroslav@49
  1390
                char u2 = Character.toUpperCase(c2);
jaroslav@49
  1391
                if (u1 == u2) {
jaroslav@49
  1392
                    continue;
jaroslav@49
  1393
                }
jaroslav@49
  1394
                // Unfortunately, conversion to uppercase does not work properly
jaroslav@49
  1395
                // for the Georgian alphabet, which has strange rules about case
jaroslav@49
  1396
                // conversion.  So we need to make one last check before
jaroslav@49
  1397
                // exiting.
jaroslav@49
  1398
                if (Character.toLowerCase(u1) == Character.toLowerCase(u2)) {
jaroslav@49
  1399
                    continue;
jaroslav@49
  1400
                }
jaroslav@49
  1401
            }
jaroslav@49
  1402
            return false;
jaroslav@49
  1403
        }
jaroslav@49
  1404
        return true;
jaroslav@49
  1405
    }
jaroslav@49
  1406
jaroslav@49
  1407
    /**
jaroslav@49
  1408
     * Tests if the substring of this string beginning at the
jaroslav@49
  1409
     * specified index starts with the specified prefix.
jaroslav@49
  1410
     *
jaroslav@49
  1411
     * @param   prefix    the prefix.
jaroslav@49
  1412
     * @param   toffset   where to begin looking in this string.
jaroslav@49
  1413
     * @return  <code>true</code> if the character sequence represented by the
jaroslav@49
  1414
     *          argument is a prefix of the substring of this object starting
jaroslav@49
  1415
     *          at index <code>toffset</code>; <code>false</code> otherwise.
jaroslav@49
  1416
     *          The result is <code>false</code> if <code>toffset</code> is
jaroslav@49
  1417
     *          negative or greater than the length of this
jaroslav@49
  1418
     *          <code>String</code> object; otherwise the result is the same
jaroslav@49
  1419
     *          as the result of the expression
jaroslav@49
  1420
     *          <pre>
jaroslav@49
  1421
     *          this.substring(toffset).startsWith(prefix)
jaroslav@49
  1422
     *          </pre>
jaroslav@49
  1423
     */
jaroslav@443
  1424
    @JavaScriptBody(args = { "find", "from" }, body=
jaroslav@240
  1425
        "find = find.toString();\n" +
jaroslav@443
  1426
        "return this.toString().substring(from, from + find.length) === find;\n"
jaroslav@240
  1427
    )
jaroslav@49
  1428
    public boolean startsWith(String prefix, int toffset) {
jaroslav@241
  1429
        char ta[] = toCharArray();
jaroslav@241
  1430
        int to = offset() + toffset;
jaroslav@241
  1431
        char pa[] = prefix.toCharArray();
jaroslav@241
  1432
        int po = prefix.offset();
jaroslav@241
  1433
        int pc = prefix.length();
jaroslav@49
  1434
        // Note: toffset might be near -1>>>1.
jaroslav@241
  1435
        if ((toffset < 0) || (toffset > length() - pc)) {
jaroslav@49
  1436
            return false;
jaroslav@49
  1437
        }
jaroslav@49
  1438
        while (--pc >= 0) {
jaroslav@49
  1439
            if (ta[to++] != pa[po++]) {
jaroslav@49
  1440
                return false;
jaroslav@49
  1441
            }
jaroslav@49
  1442
        }
jaroslav@49
  1443
        return true;
jaroslav@49
  1444
    }
jaroslav@49
  1445
jaroslav@49
  1446
    /**
jaroslav@49
  1447
     * Tests if this string starts with the specified prefix.
jaroslav@49
  1448
     *
jaroslav@49
  1449
     * @param   prefix   the prefix.
jaroslav@49
  1450
     * @return  <code>true</code> if the character sequence represented by the
jaroslav@49
  1451
     *          argument is a prefix of the character sequence represented by
jaroslav@49
  1452
     *          this string; <code>false</code> otherwise.
jaroslav@49
  1453
     *          Note also that <code>true</code> will be returned if the
jaroslav@49
  1454
     *          argument is an empty string or is equal to this
jaroslav@49
  1455
     *          <code>String</code> object as determined by the
jaroslav@49
  1456
     *          {@link #equals(Object)} method.
jaroslav@49
  1457
     * @since   1. 0
jaroslav@49
  1458
     */
jaroslav@49
  1459
    public boolean startsWith(String prefix) {
jaroslav@49
  1460
        return startsWith(prefix, 0);
jaroslav@49
  1461
    }
jaroslav@49
  1462
jaroslav@49
  1463
    /**
jaroslav@49
  1464
     * Tests if this string ends with the specified suffix.
jaroslav@49
  1465
     *
jaroslav@49
  1466
     * @param   suffix   the suffix.
jaroslav@49
  1467
     * @return  <code>true</code> if the character sequence represented by the
jaroslav@49
  1468
     *          argument is a suffix of the character sequence represented by
jaroslav@49
  1469
     *          this object; <code>false</code> otherwise. Note that the
jaroslav@49
  1470
     *          result will be <code>true</code> if the argument is the
jaroslav@49
  1471
     *          empty string or is equal to this <code>String</code> object
jaroslav@49
  1472
     *          as determined by the {@link #equals(Object)} method.
jaroslav@49
  1473
     */
jaroslav@49
  1474
    public boolean endsWith(String suffix) {
jaroslav@241
  1475
        return startsWith(suffix, length() - suffix.length());
jaroslav@49
  1476
    }
jaroslav@49
  1477
jaroslav@49
  1478
    /**
jaroslav@49
  1479
     * Returns a hash code for this string. The hash code for a
jaroslav@49
  1480
     * <code>String</code> object is computed as
jaroslav@49
  1481
     * <blockquote><pre>
jaroslav@49
  1482
     * s[0]*31^(n-1) + s[1]*31^(n-2) + ... + s[n-1]
jaroslav@49
  1483
     * </pre></blockquote>
jaroslav@49
  1484
     * using <code>int</code> arithmetic, where <code>s[i]</code> is the
jaroslav@49
  1485
     * <i>i</i>th character of the string, <code>n</code> is the length of
jaroslav@49
  1486
     * the string, and <code>^</code> indicates exponentiation.
jaroslav@49
  1487
     * (The hash value of the empty string is zero.)
jaroslav@49
  1488
     *
jaroslav@49
  1489
     * @return  a hash code value for this object.
jaroslav@49
  1490
     */
jaroslav@49
  1491
    public int hashCode() {
jaroslav@429
  1492
        return super.hashCode();
jaroslav@429
  1493
    }
jaroslav@429
  1494
    int computeHashCode() {
jaroslav@429
  1495
        int h = 0;
jaroslav@241
  1496
        if (h == 0 && length() > 0) {
jaroslav@241
  1497
            int off = offset();
jaroslav@241
  1498
            int len = length();
jaroslav@49
  1499
jaroslav@49
  1500
            for (int i = 0; i < len; i++) {
jaroslav@429
  1501
                h = 31*h + charAt(off++);
jaroslav@49
  1502
            }
jaroslav@49
  1503
        }
jaroslav@49
  1504
        return h;
jaroslav@49
  1505
    }
jaroslav@49
  1506
jaroslav@49
  1507
    /**
jaroslav@49
  1508
     * Returns the index within this string of the first occurrence of
jaroslav@49
  1509
     * the specified character. If a character with value
jaroslav@49
  1510
     * <code>ch</code> occurs in the character sequence represented by
jaroslav@49
  1511
     * this <code>String</code> object, then the index (in Unicode
jaroslav@49
  1512
     * code units) of the first such occurrence is returned. For
jaroslav@49
  1513
     * values of <code>ch</code> in the range from 0 to 0xFFFF
jaroslav@49
  1514
     * (inclusive), this is the smallest value <i>k</i> such that:
jaroslav@49
  1515
     * <blockquote><pre>
jaroslav@49
  1516
     * this.charAt(<i>k</i>) == ch
jaroslav@49
  1517
     * </pre></blockquote>
jaroslav@49
  1518
     * is true. For other values of <code>ch</code>, it is the
jaroslav@49
  1519
     * smallest value <i>k</i> such that:
jaroslav@49
  1520
     * <blockquote><pre>
jaroslav@49
  1521
     * this.codePointAt(<i>k</i>) == ch
jaroslav@49
  1522
     * </pre></blockquote>
jaroslav@49
  1523
     * is true. In either case, if no such character occurs in this
jaroslav@49
  1524
     * string, then <code>-1</code> is returned.
jaroslav@49
  1525
     *
jaroslav@49
  1526
     * @param   ch   a character (Unicode code point).
jaroslav@49
  1527
     * @return  the index of the first occurrence of the character in the
jaroslav@49
  1528
     *          character sequence represented by this object, or
jaroslav@49
  1529
     *          <code>-1</code> if the character does not occur.
jaroslav@49
  1530
     */
jaroslav@49
  1531
    public int indexOf(int ch) {
jaroslav@49
  1532
        return indexOf(ch, 0);
jaroslav@49
  1533
    }
jaroslav@49
  1534
jaroslav@49
  1535
    /**
jaroslav@49
  1536
     * Returns the index within this string of the first occurrence of the
jaroslav@49
  1537
     * specified character, starting the search at the specified index.
jaroslav@49
  1538
     * <p>
jaroslav@49
  1539
     * If a character with value <code>ch</code> occurs in the
jaroslav@49
  1540
     * character sequence represented by this <code>String</code>
jaroslav@49
  1541
     * object at an index no smaller than <code>fromIndex</code>, then
jaroslav@49
  1542
     * the index of the first such occurrence is returned. For values
jaroslav@49
  1543
     * of <code>ch</code> in the range from 0 to 0xFFFF (inclusive),
jaroslav@49
  1544
     * this is the smallest value <i>k</i> such that:
jaroslav@49
  1545
     * <blockquote><pre>
jaroslav@49
  1546
     * (this.charAt(<i>k</i>) == ch) && (<i>k</i> &gt;= fromIndex)
jaroslav@49
  1547
     * </pre></blockquote>
jaroslav@49
  1548
     * is true. For other values of <code>ch</code>, it is the
jaroslav@49
  1549
     * smallest value <i>k</i> such that:
jaroslav@49
  1550
     * <blockquote><pre>
jaroslav@49
  1551
     * (this.codePointAt(<i>k</i>) == ch) && (<i>k</i> &gt;= fromIndex)
jaroslav@49
  1552
     * </pre></blockquote>
jaroslav@49
  1553
     * is true. In either case, if no such character occurs in this
jaroslav@49
  1554
     * string at or after position <code>fromIndex</code>, then
jaroslav@49
  1555
     * <code>-1</code> is returned.
jaroslav@49
  1556
     *
jaroslav@49
  1557
     * <p>
jaroslav@49
  1558
     * There is no restriction on the value of <code>fromIndex</code>. If it
jaroslav@49
  1559
     * is negative, it has the same effect as if it were zero: this entire
jaroslav@49
  1560
     * string may be searched. If it is greater than the length of this
jaroslav@49
  1561
     * string, it has the same effect as if it were equal to the length of
jaroslav@49
  1562
     * this string: <code>-1</code> is returned.
jaroslav@49
  1563
     *
jaroslav@49
  1564
     * <p>All indices are specified in <code>char</code> values
jaroslav@49
  1565
     * (Unicode code units).
jaroslav@49
  1566
     *
jaroslav@49
  1567
     * @param   ch          a character (Unicode code point).
jaroslav@49
  1568
     * @param   fromIndex   the index to start the search from.
jaroslav@49
  1569
     * @return  the index of the first occurrence of the character in the
jaroslav@49
  1570
     *          character sequence represented by this object that is greater
jaroslav@49
  1571
     *          than or equal to <code>fromIndex</code>, or <code>-1</code>
jaroslav@49
  1572
     *          if the character does not occur.
jaroslav@49
  1573
     */
jaroslav@443
  1574
    @JavaScriptBody(args = { "ch", "from" }, body = 
jaroslav@240
  1575
        "if (typeof ch === 'number') ch = String.fromCharCode(ch);\n" +
jaroslav@443
  1576
        "return this.toString().indexOf(ch, from);\n"
jaroslav@240
  1577
    )
jaroslav@49
  1578
    public int indexOf(int ch, int fromIndex) {
jaroslav@49
  1579
        if (fromIndex < 0) {
jaroslav@49
  1580
            fromIndex = 0;
jaroslav@241
  1581
        } else if (fromIndex >= length()) {
jaroslav@49
  1582
            // Note: fromIndex might be near -1>>>1.
jaroslav@49
  1583
            return -1;
jaroslav@49
  1584
        }
jaroslav@49
  1585
jaroslav@49
  1586
        if (ch < Character.MIN_SUPPLEMENTARY_CODE_POINT) {
jaroslav@49
  1587
            // handle most cases here (ch is a BMP code point or a
jaroslav@49
  1588
            // negative value (invalid code point))
jaroslav@241
  1589
            final char[] value = this.toCharArray();
jaroslav@241
  1590
            final int offset = this.offset();
jaroslav@241
  1591
            final int max = offset + length();
jaroslav@49
  1592
            for (int i = offset + fromIndex; i < max ; i++) {
jaroslav@49
  1593
                if (value[i] == ch) {
jaroslav@49
  1594
                    return i - offset;
jaroslav@49
  1595
                }
jaroslav@49
  1596
            }
jaroslav@49
  1597
            return -1;
jaroslav@49
  1598
        } else {
jaroslav@49
  1599
            return indexOfSupplementary(ch, fromIndex);
jaroslav@49
  1600
        }
jaroslav@49
  1601
    }
jaroslav@49
  1602
jaroslav@49
  1603
    /**
jaroslav@49
  1604
     * Handles (rare) calls of indexOf with a supplementary character.
jaroslav@49
  1605
     */
jaroslav@49
  1606
    private int indexOfSupplementary(int ch, int fromIndex) {
jaroslav@49
  1607
        if (Character.isValidCodePoint(ch)) {
jaroslav@241
  1608
            final char[] value = this.toCharArray();
jaroslav@241
  1609
            final int offset = this.offset();
jaroslav@49
  1610
            final char hi = Character.highSurrogate(ch);
jaroslav@49
  1611
            final char lo = Character.lowSurrogate(ch);
jaroslav@241
  1612
            final int max = offset + length() - 1;
jaroslav@49
  1613
            for (int i = offset + fromIndex; i < max; i++) {
jaroslav@49
  1614
                if (value[i] == hi && value[i+1] == lo) {
jaroslav@49
  1615
                    return i - offset;
jaroslav@49
  1616
                }
jaroslav@49
  1617
            }
jaroslav@49
  1618
        }
jaroslav@49
  1619
        return -1;
jaroslav@49
  1620
    }
jaroslav@49
  1621
jaroslav@49
  1622
    /**
jaroslav@49
  1623
     * Returns the index within this string of the last occurrence of
jaroslav@49
  1624
     * the specified character. For values of <code>ch</code> in the
jaroslav@49
  1625
     * range from 0 to 0xFFFF (inclusive), the index (in Unicode code
jaroslav@49
  1626
     * units) returned is the largest value <i>k</i> such that:
jaroslav@49
  1627
     * <blockquote><pre>
jaroslav@49
  1628
     * this.charAt(<i>k</i>) == ch
jaroslav@49
  1629
     * </pre></blockquote>
jaroslav@49
  1630
     * is true. For other values of <code>ch</code>, it is the
jaroslav@49
  1631
     * largest value <i>k</i> such that:
jaroslav@49
  1632
     * <blockquote><pre>
jaroslav@49
  1633
     * this.codePointAt(<i>k</i>) == ch
jaroslav@49
  1634
     * </pre></blockquote>
jaroslav@49
  1635
     * is true.  In either case, if no such character occurs in this
jaroslav@49
  1636
     * string, then <code>-1</code> is returned.  The
jaroslav@49
  1637
     * <code>String</code> is searched backwards starting at the last
jaroslav@49
  1638
     * character.
jaroslav@49
  1639
     *
jaroslav@49
  1640
     * @param   ch   a character (Unicode code point).
jaroslav@49
  1641
     * @return  the index of the last occurrence of the character in the
jaroslav@49
  1642
     *          character sequence represented by this object, or
jaroslav@49
  1643
     *          <code>-1</code> if the character does not occur.
jaroslav@49
  1644
     */
jaroslav@49
  1645
    public int lastIndexOf(int ch) {
jaroslav@241
  1646
        return lastIndexOf(ch, length() - 1);
jaroslav@49
  1647
    }
jaroslav@49
  1648
jaroslav@49
  1649
    /**
jaroslav@49
  1650
     * Returns the index within this string of the last occurrence of
jaroslav@49
  1651
     * the specified character, searching backward starting at the
jaroslav@49
  1652
     * specified index. For values of <code>ch</code> in the range
jaroslav@49
  1653
     * from 0 to 0xFFFF (inclusive), the index returned is the largest
jaroslav@49
  1654
     * value <i>k</i> such that:
jaroslav@49
  1655
     * <blockquote><pre>
jaroslav@49
  1656
     * (this.charAt(<i>k</i>) == ch) && (<i>k</i> &lt;= fromIndex)
jaroslav@49
  1657
     * </pre></blockquote>
jaroslav@49
  1658
     * is true. For other values of <code>ch</code>, it is the
jaroslav@49
  1659
     * largest value <i>k</i> such that:
jaroslav@49
  1660
     * <blockquote><pre>
jaroslav@49
  1661
     * (this.codePointAt(<i>k</i>) == ch) && (<i>k</i> &lt;= fromIndex)
jaroslav@49
  1662
     * </pre></blockquote>
jaroslav@49
  1663
     * is true. In either case, if no such character occurs in this
jaroslav@49
  1664
     * string at or before position <code>fromIndex</code>, then
jaroslav@49
  1665
     * <code>-1</code> is returned.
jaroslav@49
  1666
     *
jaroslav@49
  1667
     * <p>All indices are specified in <code>char</code> values
jaroslav@49
  1668
     * (Unicode code units).
jaroslav@49
  1669
     *
jaroslav@49
  1670
     * @param   ch          a character (Unicode code point).
jaroslav@49
  1671
     * @param   fromIndex   the index to start the search from. There is no
jaroslav@49
  1672
     *          restriction on the value of <code>fromIndex</code>. If it is
jaroslav@49
  1673
     *          greater than or equal to the length of this string, it has
jaroslav@49
  1674
     *          the same effect as if it were equal to one less than the
jaroslav@49
  1675
     *          length of this string: this entire string may be searched.
jaroslav@49
  1676
     *          If it is negative, it has the same effect as if it were -1:
jaroslav@49
  1677
     *          -1 is returned.
jaroslav@49
  1678
     * @return  the index of the last occurrence of the character in the
jaroslav@49
  1679
     *          character sequence represented by this object that is less
jaroslav@49
  1680
     *          than or equal to <code>fromIndex</code>, or <code>-1</code>
jaroslav@49
  1681
     *          if the character does not occur before that point.
jaroslav@49
  1682
     */
jaroslav@443
  1683
    @JavaScriptBody(args = { "ch", "from" }, body = 
jaroslav@249
  1684
        "if (typeof ch === 'number') ch = String.fromCharCode(ch);\n" +
jaroslav@443
  1685
        "return this.toString().lastIndexOf(ch, from);"
jaroslav@249
  1686
    )
jaroslav@49
  1687
    public int lastIndexOf(int ch, int fromIndex) {
jaroslav@49
  1688
        if (ch < Character.MIN_SUPPLEMENTARY_CODE_POINT) {
jaroslav@49
  1689
            // handle most cases here (ch is a BMP code point or a
jaroslav@49
  1690
            // negative value (invalid code point))
jaroslav@241
  1691
            final char[] value = this.toCharArray();
jaroslav@241
  1692
            final int offset = this.offset();
jaroslav@241
  1693
            int i = offset + Math.min(fromIndex, length() - 1);
jaroslav@49
  1694
            for (; i >= offset ; i--) {
jaroslav@49
  1695
                if (value[i] == ch) {
jaroslav@49
  1696
                    return i - offset;
jaroslav@49
  1697
                }
jaroslav@49
  1698
            }
jaroslav@49
  1699
            return -1;
jaroslav@49
  1700
        } else {
jaroslav@49
  1701
            return lastIndexOfSupplementary(ch, fromIndex);
jaroslav@49
  1702
        }
jaroslav@49
  1703
    }
jaroslav@49
  1704
jaroslav@49
  1705
    /**
jaroslav@49
  1706
     * Handles (rare) calls of lastIndexOf with a supplementary character.
jaroslav@49
  1707
     */
jaroslav@49
  1708
    private int lastIndexOfSupplementary(int ch, int fromIndex) {
jaroslav@49
  1709
        if (Character.isValidCodePoint(ch)) {
jaroslav@241
  1710
            final char[] value = this.toCharArray();
jaroslav@241
  1711
            final int offset = this.offset();
jaroslav@49
  1712
            char hi = Character.highSurrogate(ch);
jaroslav@49
  1713
            char lo = Character.lowSurrogate(ch);
jaroslav@241
  1714
            int i = offset + Math.min(fromIndex, length() - 2);
jaroslav@49
  1715
            for (; i >= offset; i--) {
jaroslav@49
  1716
                if (value[i] == hi && value[i+1] == lo) {
jaroslav@49
  1717
                    return i - offset;
jaroslav@49
  1718
                }
jaroslav@49
  1719
            }
jaroslav@49
  1720
        }
jaroslav@49
  1721
        return -1;
jaroslav@49
  1722
    }
jaroslav@49
  1723
jaroslav@49
  1724
    /**
jaroslav@49
  1725
     * Returns the index within this string of the first occurrence of the
jaroslav@49
  1726
     * specified substring.
jaroslav@49
  1727
     *
jaroslav@49
  1728
     * <p>The returned index is the smallest value <i>k</i> for which:
jaroslav@49
  1729
     * <blockquote><pre>
jaroslav@49
  1730
     * this.startsWith(str, <i>k</i>)
jaroslav@49
  1731
     * </pre></blockquote>
jaroslav@49
  1732
     * If no such value of <i>k</i> exists, then {@code -1} is returned.
jaroslav@49
  1733
     *
jaroslav@49
  1734
     * @param   str   the substring to search for.
jaroslav@49
  1735
     * @return  the index of the first occurrence of the specified substring,
jaroslav@49
  1736
     *          or {@code -1} if there is no such occurrence.
jaroslav@49
  1737
     */
jaroslav@49
  1738
    public int indexOf(String str) {
jaroslav@49
  1739
        return indexOf(str, 0);
jaroslav@49
  1740
    }
jaroslav@49
  1741
jaroslav@49
  1742
    /**
jaroslav@49
  1743
     * Returns the index within this string of the first occurrence of the
jaroslav@49
  1744
     * specified substring, starting at the specified index.
jaroslav@49
  1745
     *
jaroslav@49
  1746
     * <p>The returned index is the smallest value <i>k</i> for which:
jaroslav@49
  1747
     * <blockquote><pre>
jaroslav@49
  1748
     * <i>k</i> &gt;= fromIndex && this.startsWith(str, <i>k</i>)
jaroslav@49
  1749
     * </pre></blockquote>
jaroslav@49
  1750
     * If no such value of <i>k</i> exists, then {@code -1} is returned.
jaroslav@49
  1751
     *
jaroslav@49
  1752
     * @param   str         the substring to search for.
jaroslav@49
  1753
     * @param   fromIndex   the index from which to start the search.
jaroslav@49
  1754
     * @return  the index of the first occurrence of the specified substring,
jaroslav@49
  1755
     *          starting at the specified index,
jaroslav@49
  1756
     *          or {@code -1} if there is no such occurrence.
jaroslav@49
  1757
     */
jaroslav@443
  1758
    @JavaScriptBody(args = { "str", "fromIndex" }, body =
jaroslav@443
  1759
        "return this.toString().indexOf(str.toString(), fromIndex);"
jaroslav@240
  1760
    )
jaroslav@403
  1761
    public native int indexOf(String str, int fromIndex);
jaroslav@49
  1762
jaroslav@49
  1763
    /**
jaroslav@49
  1764
     * Returns the index within this string of the last occurrence of the
jaroslav@49
  1765
     * specified substring.  The last occurrence of the empty string ""
jaroslav@49
  1766
     * is considered to occur at the index value {@code this.length()}.
jaroslav@49
  1767
     *
jaroslav@49
  1768
     * <p>The returned index is the largest value <i>k</i> for which:
jaroslav@49
  1769
     * <blockquote><pre>
jaroslav@49
  1770
     * this.startsWith(str, <i>k</i>)
jaroslav@49
  1771
     * </pre></blockquote>
jaroslav@49
  1772
     * If no such value of <i>k</i> exists, then {@code -1} is returned.
jaroslav@49
  1773
     *
jaroslav@49
  1774
     * @param   str   the substring to search for.
jaroslav@49
  1775
     * @return  the index of the last occurrence of the specified substring,
jaroslav@49
  1776
     *          or {@code -1} if there is no such occurrence.
jaroslav@49
  1777
     */
jaroslav@49
  1778
    public int lastIndexOf(String str) {
jaroslav@241
  1779
        return lastIndexOf(str, length());
jaroslav@49
  1780
    }
jaroslav@49
  1781
jaroslav@49
  1782
    /**
jaroslav@49
  1783
     * Returns the index within this string of the last occurrence of the
jaroslav@49
  1784
     * specified substring, searching backward starting at the specified index.
jaroslav@49
  1785
     *
jaroslav@49
  1786
     * <p>The returned index is the largest value <i>k</i> for which:
jaroslav@49
  1787
     * <blockquote><pre>
jaroslav@49
  1788
     * <i>k</i> &lt;= fromIndex && this.startsWith(str, <i>k</i>)
jaroslav@49
  1789
     * </pre></blockquote>
jaroslav@49
  1790
     * If no such value of <i>k</i> exists, then {@code -1} is returned.
jaroslav@49
  1791
     *
jaroslav@49
  1792
     * @param   str         the substring to search for.
jaroslav@49
  1793
     * @param   fromIndex   the index to start the search from.
jaroslav@49
  1794
     * @return  the index of the last occurrence of the specified substring,
jaroslav@49
  1795
     *          searching backward from the specified index,
jaroslav@49
  1796
     *          or {@code -1} if there is no such occurrence.
jaroslav@49
  1797
     */
jaroslav@443
  1798
    @JavaScriptBody(args = { "s", "from" }, body = 
jaroslav@443
  1799
        "return this.toString().lastIndexOf(s.toString(), from);"
jaroslav@249
  1800
    )
jaroslav@49
  1801
    public int lastIndexOf(String str, int fromIndex) {
jaroslav@241
  1802
        return lastIndexOf(toCharArray(), offset(), length(), str.toCharArray(), str.offset(), str.length(), fromIndex);
jaroslav@49
  1803
    }
jaroslav@49
  1804
jaroslav@49
  1805
    /**
jaroslav@49
  1806
     * Code shared by String and StringBuffer to do searches. The
jaroslav@49
  1807
     * source is the character array being searched, and the target
jaroslav@49
  1808
     * is the string being searched for.
jaroslav@49
  1809
     *
jaroslav@49
  1810
     * @param   source       the characters being searched.
jaroslav@49
  1811
     * @param   sourceOffset offset of the source string.
jaroslav@49
  1812
     * @param   sourceCount  count of the source string.
jaroslav@49
  1813
     * @param   target       the characters being searched for.
jaroslav@49
  1814
     * @param   targetOffset offset of the target string.
jaroslav@49
  1815
     * @param   targetCount  count of the target string.
jaroslav@49
  1816
     * @param   fromIndex    the index to begin searching from.
jaroslav@49
  1817
     */
jaroslav@49
  1818
    static int lastIndexOf(char[] source, int sourceOffset, int sourceCount,
jaroslav@49
  1819
                           char[] target, int targetOffset, int targetCount,
jaroslav@49
  1820
                           int fromIndex) {
jaroslav@49
  1821
        /*
jaroslav@49
  1822
         * Check arguments; return immediately where possible. For
jaroslav@49
  1823
         * consistency, don't check for null str.
jaroslav@49
  1824
         */
jaroslav@49
  1825
        int rightIndex = sourceCount - targetCount;
jaroslav@49
  1826
        if (fromIndex < 0) {
jaroslav@49
  1827
            return -1;
jaroslav@49
  1828
        }
jaroslav@49
  1829
        if (fromIndex > rightIndex) {
jaroslav@49
  1830
            fromIndex = rightIndex;
jaroslav@49
  1831
        }
jaroslav@49
  1832
        /* Empty string always matches. */
jaroslav@49
  1833
        if (targetCount == 0) {
jaroslav@49
  1834
            return fromIndex;
jaroslav@49
  1835
        }
jaroslav@49
  1836
jaroslav@49
  1837
        int strLastIndex = targetOffset + targetCount - 1;
jaroslav@49
  1838
        char strLastChar = target[strLastIndex];
jaroslav@49
  1839
        int min = sourceOffset + targetCount - 1;
jaroslav@49
  1840
        int i = min + fromIndex;
jaroslav@49
  1841
jaroslav@49
  1842
    startSearchForLastChar:
jaroslav@49
  1843
        while (true) {
jaroslav@49
  1844
            while (i >= min && source[i] != strLastChar) {
jaroslav@49
  1845
                i--;
jaroslav@49
  1846
            }
jaroslav@49
  1847
            if (i < min) {
jaroslav@49
  1848
                return -1;
jaroslav@49
  1849
            }
jaroslav@49
  1850
            int j = i - 1;
jaroslav@49
  1851
            int start = j - (targetCount - 1);
jaroslav@49
  1852
            int k = strLastIndex - 1;
jaroslav@49
  1853
jaroslav@49
  1854
            while (j > start) {
jaroslav@49
  1855
                if (source[j--] != target[k--]) {
jaroslav@49
  1856
                    i--;
jaroslav@49
  1857
                    continue startSearchForLastChar;
jaroslav@49
  1858
                }
jaroslav@49
  1859
            }
jaroslav@49
  1860
            return start - sourceOffset + 1;
jaroslav@49
  1861
        }
jaroslav@49
  1862
    }
jaroslav@49
  1863
jaroslav@49
  1864
    /**
jaroslav@49
  1865
     * Returns a new string that is a substring of this string. The
jaroslav@49
  1866
     * substring begins with the character at the specified index and
jaroslav@49
  1867
     * extends to the end of this string. <p>
jaroslav@49
  1868
     * Examples:
jaroslav@49
  1869
     * <blockquote><pre>
jaroslav@49
  1870
     * "unhappy".substring(2) returns "happy"
jaroslav@49
  1871
     * "Harbison".substring(3) returns "bison"
jaroslav@49
  1872
     * "emptiness".substring(9) returns "" (an empty string)
jaroslav@49
  1873
     * </pre></blockquote>
jaroslav@49
  1874
     *
jaroslav@49
  1875
     * @param      beginIndex   the beginning index, inclusive.
jaroslav@49
  1876
     * @return     the specified substring.
jaroslav@49
  1877
     * @exception  IndexOutOfBoundsException  if
jaroslav@49
  1878
     *             <code>beginIndex</code> is negative or larger than the
jaroslav@49
  1879
     *             length of this <code>String</code> object.
jaroslav@49
  1880
     */
jaroslav@49
  1881
    public String substring(int beginIndex) {
jaroslav@241
  1882
        return substring(beginIndex, length());
jaroslav@49
  1883
    }
jaroslav@49
  1884
jaroslav@49
  1885
    /**
jaroslav@49
  1886
     * Returns a new string that is a substring of this string. The
jaroslav@49
  1887
     * substring begins at the specified <code>beginIndex</code> and
jaroslav@49
  1888
     * extends to the character at index <code>endIndex - 1</code>.
jaroslav@49
  1889
     * Thus the length of the substring is <code>endIndex-beginIndex</code>.
jaroslav@49
  1890
     * <p>
jaroslav@49
  1891
     * Examples:
jaroslav@49
  1892
     * <blockquote><pre>
jaroslav@49
  1893
     * "hamburger".substring(4, 8) returns "urge"
jaroslav@49
  1894
     * "smiles".substring(1, 5) returns "mile"
jaroslav@49
  1895
     * </pre></blockquote>
jaroslav@49
  1896
     *
jaroslav@49
  1897
     * @param      beginIndex   the beginning index, inclusive.
jaroslav@49
  1898
     * @param      endIndex     the ending index, exclusive.
jaroslav@49
  1899
     * @return     the specified substring.
jaroslav@49
  1900
     * @exception  IndexOutOfBoundsException  if the
jaroslav@49
  1901
     *             <code>beginIndex</code> is negative, or
jaroslav@49
  1902
     *             <code>endIndex</code> is larger than the length of
jaroslav@49
  1903
     *             this <code>String</code> object, or
jaroslav@49
  1904
     *             <code>beginIndex</code> is larger than
jaroslav@49
  1905
     *             <code>endIndex</code>.
jaroslav@49
  1906
     */
jaroslav@443
  1907
    @JavaScriptBody(args = { "beginIndex", "endIndex" }, body = 
jaroslav@443
  1908
        "return this.toString().substring(beginIndex, endIndex);"
jaroslav@240
  1909
    )
jaroslav@49
  1910
    public String substring(int beginIndex, int endIndex) {
jaroslav@49
  1911
        if (beginIndex < 0) {
jaroslav@49
  1912
            throw new StringIndexOutOfBoundsException(beginIndex);
jaroslav@49
  1913
        }
jaroslav@241
  1914
        if (endIndex > length()) {
jaroslav@49
  1915
            throw new StringIndexOutOfBoundsException(endIndex);
jaroslav@49
  1916
        }
jaroslav@49
  1917
        if (beginIndex > endIndex) {
jaroslav@49
  1918
            throw new StringIndexOutOfBoundsException(endIndex - beginIndex);
jaroslav@49
  1919
        }
jaroslav@241
  1920
        return ((beginIndex == 0) && (endIndex == length())) ? this :
jaroslav@241
  1921
            new String(toCharArray(), offset() + beginIndex, endIndex - beginIndex);
jaroslav@49
  1922
    }
jaroslav@49
  1923
jaroslav@49
  1924
    /**
jaroslav@49
  1925
     * Returns a new character sequence that is a subsequence of this sequence.
jaroslav@49
  1926
     *
jaroslav@49
  1927
     * <p> An invocation of this method of the form
jaroslav@49
  1928
     *
jaroslav@49
  1929
     * <blockquote><pre>
jaroslav@49
  1930
     * str.subSequence(begin,&nbsp;end)</pre></blockquote>
jaroslav@49
  1931
     *
jaroslav@49
  1932
     * behaves in exactly the same way as the invocation
jaroslav@49
  1933
     *
jaroslav@49
  1934
     * <blockquote><pre>
jaroslav@49
  1935
     * str.substring(begin,&nbsp;end)</pre></blockquote>
jaroslav@49
  1936
     *
jaroslav@49
  1937
     * This method is defined so that the <tt>String</tt> class can implement
jaroslav@49
  1938
     * the {@link CharSequence} interface. </p>
jaroslav@49
  1939
     *
jaroslav@49
  1940
     * @param      beginIndex   the begin index, inclusive.
jaroslav@49
  1941
     * @param      endIndex     the end index, exclusive.
jaroslav@49
  1942
     * @return     the specified subsequence.
jaroslav@49
  1943
     *
jaroslav@49
  1944
     * @throws  IndexOutOfBoundsException
jaroslav@49
  1945
     *          if <tt>beginIndex</tt> or <tt>endIndex</tt> are negative,
jaroslav@49
  1946
     *          if <tt>endIndex</tt> is greater than <tt>length()</tt>,
jaroslav@49
  1947
     *          or if <tt>beginIndex</tt> is greater than <tt>startIndex</tt>
jaroslav@49
  1948
     *
jaroslav@49
  1949
     * @since 1.4
jaroslav@49
  1950
     * @spec JSR-51
jaroslav@49
  1951
     */
jaroslav@49
  1952
    public CharSequence subSequence(int beginIndex, int endIndex) {
jaroslav@49
  1953
        return this.substring(beginIndex, endIndex);
jaroslav@49
  1954
    }
jaroslav@49
  1955
jaroslav@49
  1956
    /**
jaroslav@49
  1957
     * Concatenates the specified string to the end of this string.
jaroslav@49
  1958
     * <p>
jaroslav@49
  1959
     * If the length of the argument string is <code>0</code>, then this
jaroslav@49
  1960
     * <code>String</code> object is returned. Otherwise, a new
jaroslav@49
  1961
     * <code>String</code> object is created, representing a character
jaroslav@49
  1962
     * sequence that is the concatenation of the character sequence
jaroslav@49
  1963
     * represented by this <code>String</code> object and the character
jaroslav@49
  1964
     * sequence represented by the argument string.<p>
jaroslav@49
  1965
     * Examples:
jaroslav@49
  1966
     * <blockquote><pre>
jaroslav@49
  1967
     * "cares".concat("s") returns "caress"
jaroslav@49
  1968
     * "to".concat("get").concat("her") returns "together"
jaroslav@49
  1969
     * </pre></blockquote>
jaroslav@49
  1970
     *
jaroslav@49
  1971
     * @param   str   the <code>String</code> that is concatenated to the end
jaroslav@49
  1972
     *                of this <code>String</code>.
jaroslav@49
  1973
     * @return  a string that represents the concatenation of this object's
jaroslav@49
  1974
     *          characters followed by the string argument's characters.
jaroslav@49
  1975
     */
jaroslav@49
  1976
    public String concat(String str) {
jaroslav@49
  1977
        int otherLen = str.length();
jaroslav@49
  1978
        if (otherLen == 0) {
jaroslav@49
  1979
            return this;
jaroslav@49
  1980
        }
jaroslav@241
  1981
        char buf[] = new char[length() + otherLen];
jaroslav@241
  1982
        getChars(0, length(), buf, 0);
jaroslav@241
  1983
        str.getChars(0, otherLen, buf, length());
jaroslav@241
  1984
        return new String(buf, 0, length() + otherLen);
jaroslav@49
  1985
    }
jaroslav@49
  1986
jaroslav@49
  1987
    /**
jaroslav@49
  1988
     * Returns a new string resulting from replacing all occurrences of
jaroslav@49
  1989
     * <code>oldChar</code> in this string with <code>newChar</code>.
jaroslav@49
  1990
     * <p>
jaroslav@49
  1991
     * If the character <code>oldChar</code> does not occur in the
jaroslav@49
  1992
     * character sequence represented by this <code>String</code> object,
jaroslav@49
  1993
     * then a reference to this <code>String</code> object is returned.
jaroslav@49
  1994
     * Otherwise, a new <code>String</code> object is created that
jaroslav@49
  1995
     * represents a character sequence identical to the character sequence
jaroslav@49
  1996
     * represented by this <code>String</code> object, except that every
jaroslav@49
  1997
     * occurrence of <code>oldChar</code> is replaced by an occurrence
jaroslav@49
  1998
     * of <code>newChar</code>.
jaroslav@49
  1999
     * <p>
jaroslav@49
  2000
     * Examples:
jaroslav@49
  2001
     * <blockquote><pre>
jaroslav@49
  2002
     * "mesquite in your cellar".replace('e', 'o')
jaroslav@49
  2003
     *         returns "mosquito in your collar"
jaroslav@49
  2004
     * "the war of baronets".replace('r', 'y')
jaroslav@49
  2005
     *         returns "the way of bayonets"
jaroslav@49
  2006
     * "sparring with a purple porpoise".replace('p', 't')
jaroslav@49
  2007
     *         returns "starring with a turtle tortoise"
jaroslav@49
  2008
     * "JonL".replace('q', 'x') returns "JonL" (no change)
jaroslav@49
  2009
     * </pre></blockquote>
jaroslav@49
  2010
     *
jaroslav@49
  2011
     * @param   oldChar   the old character.
jaroslav@49
  2012
     * @param   newChar   the new character.
jaroslav@49
  2013
     * @return  a string derived from this string by replacing every
jaroslav@49
  2014
     *          occurrence of <code>oldChar</code> with <code>newChar</code>.
jaroslav@49
  2015
     */
jaroslav@443
  2016
    @JavaScriptBody(args = { "arg1", "arg2" }, body =
jaroslav@240
  2017
        "if (typeof arg1 === 'number') arg1 = String.fromCharCode(arg1);\n" +
jaroslav@240
  2018
        "if (typeof arg2 === 'number') arg2 = String.fromCharCode(arg2);\n" +
jaroslav@443
  2019
        "var s = this.toString();\n" +
jaroslav@240
  2020
        "for (;;) {\n" +
jaroslav@240
  2021
        "  var ret = s.replace(arg1, arg2);\n" +
jaroslav@240
  2022
        "  if (ret === s) {\n" +
jaroslav@240
  2023
        "    return ret;\n" +
jaroslav@240
  2024
        "  }\n" +
jaroslav@240
  2025
        "  s = ret;\n" +
jaroslav@240
  2026
        "}"
jaroslav@240
  2027
    )
jaroslav@49
  2028
    public String replace(char oldChar, char newChar) {
jaroslav@49
  2029
        if (oldChar != newChar) {
jaroslav@241
  2030
            int len = length();
jaroslav@49
  2031
            int i = -1;
jaroslav@241
  2032
            char[] val = toCharArray(); /* avoid getfield opcode */
jaroslav@241
  2033
            int off = offset();   /* avoid getfield opcode */
jaroslav@49
  2034
jaroslav@49
  2035
            while (++i < len) {
jaroslav@49
  2036
                if (val[off + i] == oldChar) {
jaroslav@49
  2037
                    break;
jaroslav@49
  2038
                }
jaroslav@49
  2039
            }
jaroslav@49
  2040
            if (i < len) {
jaroslav@49
  2041
                char buf[] = new char[len];
jaroslav@49
  2042
                for (int j = 0 ; j < i ; j++) {
jaroslav@49
  2043
                    buf[j] = val[off+j];
jaroslav@49
  2044
                }
jaroslav@49
  2045
                while (i < len) {
jaroslav@49
  2046
                    char c = val[off + i];
jaroslav@49
  2047
                    buf[i] = (c == oldChar) ? newChar : c;
jaroslav@49
  2048
                    i++;
jaroslav@49
  2049
                }
jaroslav@179
  2050
                return new String(buf, 0, len);
jaroslav@49
  2051
            }
jaroslav@49
  2052
        }
jaroslav@49
  2053
        return this;
jaroslav@49
  2054
    }
jaroslav@49
  2055
jaroslav@49
  2056
    /**
jaroslav@49
  2057
     * Tells whether or not this string matches the given <a
jaroslav@49
  2058
     * href="../util/regex/Pattern.html#sum">regular expression</a>.
jaroslav@49
  2059
     *
jaroslav@49
  2060
     * <p> An invocation of this method of the form
jaroslav@49
  2061
     * <i>str</i><tt>.matches(</tt><i>regex</i><tt>)</tt> yields exactly the
jaroslav@49
  2062
     * same result as the expression
jaroslav@49
  2063
     *
jaroslav@49
  2064
     * <blockquote><tt> {@link java.util.regex.Pattern}.{@link
jaroslav@49
  2065
     * java.util.regex.Pattern#matches(String,CharSequence)
jaroslav@49
  2066
     * matches}(</tt><i>regex</i><tt>,</tt> <i>str</i><tt>)</tt></blockquote>
jaroslav@49
  2067
     *
jaroslav@49
  2068
     * @param   regex
jaroslav@49
  2069
     *          the regular expression to which this string is to be matched
jaroslav@49
  2070
     *
jaroslav@49
  2071
     * @return  <tt>true</tt> if, and only if, this string matches the
jaroslav@49
  2072
     *          given regular expression
jaroslav@49
  2073
     *
jaroslav@49
  2074
     * @throws  PatternSyntaxException
jaroslav@49
  2075
     *          if the regular expression's syntax is invalid
jaroslav@49
  2076
     *
jaroslav@49
  2077
     * @see java.util.regex.Pattern
jaroslav@49
  2078
     *
jaroslav@49
  2079
     * @since 1.4
jaroslav@49
  2080
     * @spec JSR-51
jaroslav@49
  2081
     */
jaroslav@443
  2082
    @JavaScriptBody(args = { "regex" }, body = 
jaroslav@443
  2083
          "var self = this.toString();\n"
jaroslav@326
  2084
        + "var re = new RegExp(regex.toString());\n"
jaroslav@326
  2085
        + "var r = re.exec(self);\n"
jaroslav@326
  2086
        + "return r != null && r.length > 0 && self.length == r[0].length;"
jaroslav@326
  2087
    )
jaroslav@49
  2088
    public boolean matches(String regex) {
jaroslav@64
  2089
        throw new UnsupportedOperationException();
jaroslav@49
  2090
    }
jaroslav@49
  2091
jaroslav@49
  2092
    /**
jaroslav@49
  2093
     * Returns true if and only if this string contains the specified
jaroslav@49
  2094
     * sequence of char values.
jaroslav@49
  2095
     *
jaroslav@49
  2096
     * @param s the sequence to search for
jaroslav@49
  2097
     * @return true if this string contains <code>s</code>, false otherwise
jaroslav@49
  2098
     * @throws NullPointerException if <code>s</code> is <code>null</code>
jaroslav@49
  2099
     * @since 1.5
jaroslav@49
  2100
     */
jaroslav@49
  2101
    public boolean contains(CharSequence s) {
jaroslav@49
  2102
        return indexOf(s.toString()) > -1;
jaroslav@49
  2103
    }
jaroslav@49
  2104
jaroslav@49
  2105
    /**
jaroslav@49
  2106
     * Replaces the first substring of this string that matches the given <a
jaroslav@49
  2107
     * href="../util/regex/Pattern.html#sum">regular expression</a> with the
jaroslav@49
  2108
     * given replacement.
jaroslav@49
  2109
     *
jaroslav@49
  2110
     * <p> An invocation of this method of the form
jaroslav@49
  2111
     * <i>str</i><tt>.replaceFirst(</tt><i>regex</i><tt>,</tt> <i>repl</i><tt>)</tt>
jaroslav@49
  2112
     * yields exactly the same result as the expression
jaroslav@49
  2113
     *
jaroslav@49
  2114
     * <blockquote><tt>
jaroslav@49
  2115
     * {@link java.util.regex.Pattern}.{@link java.util.regex.Pattern#compile
jaroslav@49
  2116
     * compile}(</tt><i>regex</i><tt>).{@link
jaroslav@49
  2117
     * java.util.regex.Pattern#matcher(java.lang.CharSequence)
jaroslav@49
  2118
     * matcher}(</tt><i>str</i><tt>).{@link java.util.regex.Matcher#replaceFirst
jaroslav@49
  2119
     * replaceFirst}(</tt><i>repl</i><tt>)</tt></blockquote>
jaroslav@49
  2120
     *
jaroslav@49
  2121
     *<p>
jaroslav@49
  2122
     * Note that backslashes (<tt>\</tt>) and dollar signs (<tt>$</tt>) in the
jaroslav@49
  2123
     * replacement string may cause the results to be different than if it were
jaroslav@49
  2124
     * being treated as a literal replacement string; see
jaroslav@49
  2125
     * {@link java.util.regex.Matcher#replaceFirst}.
jaroslav@49
  2126
     * Use {@link java.util.regex.Matcher#quoteReplacement} to suppress the special
jaroslav@49
  2127
     * meaning of these characters, if desired.
jaroslav@49
  2128
     *
jaroslav@49
  2129
     * @param   regex
jaroslav@49
  2130
     *          the regular expression to which this string is to be matched
jaroslav@49
  2131
     * @param   replacement
jaroslav@49
  2132
     *          the string to be substituted for the first match
jaroslav@49
  2133
     *
jaroslav@49
  2134
     * @return  The resulting <tt>String</tt>
jaroslav@49
  2135
     *
jaroslav@49
  2136
     * @throws  PatternSyntaxException
jaroslav@49
  2137
     *          if the regular expression's syntax is invalid
jaroslav@49
  2138
     *
jaroslav@49
  2139
     * @see java.util.regex.Pattern
jaroslav@49
  2140
     *
jaroslav@49
  2141
     * @since 1.4
jaroslav@49
  2142
     * @spec JSR-51
jaroslav@49
  2143
     */
jaroslav@49
  2144
    public String replaceFirst(String regex, String replacement) {
jaroslav@64
  2145
        throw new UnsupportedOperationException();
jaroslav@49
  2146
    }
jaroslav@49
  2147
jaroslav@49
  2148
    /**
jaroslav@49
  2149
     * Replaces each substring of this string that matches the given <a
jaroslav@49
  2150
     * href="../util/regex/Pattern.html#sum">regular expression</a> with the
jaroslav@49
  2151
     * given replacement.
jaroslav@49
  2152
     *
jaroslav@49
  2153
     * <p> An invocation of this method of the form
jaroslav@49
  2154
     * <i>str</i><tt>.replaceAll(</tt><i>regex</i><tt>,</tt> <i>repl</i><tt>)</tt>
jaroslav@49
  2155
     * yields exactly the same result as the expression
jaroslav@49
  2156
     *
jaroslav@49
  2157
     * <blockquote><tt>
jaroslav@49
  2158
     * {@link java.util.regex.Pattern}.{@link java.util.regex.Pattern#compile
jaroslav@49
  2159
     * compile}(</tt><i>regex</i><tt>).{@link
jaroslav@49
  2160
     * java.util.regex.Pattern#matcher(java.lang.CharSequence)
jaroslav@49
  2161
     * matcher}(</tt><i>str</i><tt>).{@link java.util.regex.Matcher#replaceAll
jaroslav@49
  2162
     * replaceAll}(</tt><i>repl</i><tt>)</tt></blockquote>
jaroslav@49
  2163
     *
jaroslav@49
  2164
     *<p>
jaroslav@49
  2165
     * Note that backslashes (<tt>\</tt>) and dollar signs (<tt>$</tt>) in the
jaroslav@49
  2166
     * replacement string may cause the results to be different than if it were
jaroslav@49
  2167
     * being treated as a literal replacement string; see
jaroslav@49
  2168
     * {@link java.util.regex.Matcher#replaceAll Matcher.replaceAll}.
jaroslav@49
  2169
     * Use {@link java.util.regex.Matcher#quoteReplacement} to suppress the special
jaroslav@49
  2170
     * meaning of these characters, if desired.
jaroslav@49
  2171
     *
jaroslav@49
  2172
     * @param   regex
jaroslav@49
  2173
     *          the regular expression to which this string is to be matched
jaroslav@49
  2174
     * @param   replacement
jaroslav@49
  2175
     *          the string to be substituted for each match
jaroslav@49
  2176
     *
jaroslav@49
  2177
     * @return  The resulting <tt>String</tt>
jaroslav@49
  2178
     *
jaroslav@49
  2179
     * @throws  PatternSyntaxException
jaroslav@49
  2180
     *          if the regular expression's syntax is invalid
jaroslav@49
  2181
     *
jaroslav@49
  2182
     * @see java.util.regex.Pattern
jaroslav@49
  2183
     *
jaroslav@49
  2184
     * @since 1.4
jaroslav@49
  2185
     * @spec JSR-51
jaroslav@49
  2186
     */
jaroslav@49
  2187
    public String replaceAll(String regex, String replacement) {
jaroslav@64
  2188
        throw new UnsupportedOperationException();
jaroslav@49
  2189
    }
jaroslav@49
  2190
jaroslav@49
  2191
    /**
jaroslav@49
  2192
     * Replaces each substring of this string that matches the literal target
jaroslav@49
  2193
     * sequence with the specified literal replacement sequence. The
jaroslav@49
  2194
     * replacement proceeds from the beginning of the string to the end, for
jaroslav@49
  2195
     * example, replacing "aa" with "b" in the string "aaa" will result in
jaroslav@49
  2196
     * "ba" rather than "ab".
jaroslav@49
  2197
     *
jaroslav@49
  2198
     * @param  target The sequence of char values to be replaced
jaroslav@49
  2199
     * @param  replacement The replacement sequence of char values
jaroslav@49
  2200
     * @return  The resulting string
jaroslav@49
  2201
     * @throws NullPointerException if <code>target</code> or
jaroslav@49
  2202
     *         <code>replacement</code> is <code>null</code>.
jaroslav@49
  2203
     * @since 1.5
jaroslav@49
  2204
     */
jaroslav@49
  2205
    public String replace(CharSequence target, CharSequence replacement) {
jaroslav@64
  2206
        throw new UnsupportedOperationException("This one should be supported, but without dep on rest of regexp");
jaroslav@49
  2207
    }
jaroslav@49
  2208
jaroslav@49
  2209
    /**
jaroslav@49
  2210
     * Splits this string around matches of the given
jaroslav@49
  2211
     * <a href="../util/regex/Pattern.html#sum">regular expression</a>.
jaroslav@49
  2212
     *
jaroslav@49
  2213
     * <p> The array returned by this method contains each substring of this
jaroslav@49
  2214
     * string that is terminated by another substring that matches the given
jaroslav@49
  2215
     * expression or is terminated by the end of the string.  The substrings in
jaroslav@49
  2216
     * the array are in the order in which they occur in this string.  If the
jaroslav@49
  2217
     * expression does not match any part of the input then the resulting array
jaroslav@49
  2218
     * has just one element, namely this string.
jaroslav@49
  2219
     *
jaroslav@49
  2220
     * <p> The <tt>limit</tt> parameter controls the number of times the
jaroslav@49
  2221
     * pattern is applied and therefore affects the length of the resulting
jaroslav@49
  2222
     * array.  If the limit <i>n</i> is greater than zero then the pattern
jaroslav@49
  2223
     * will be applied at most <i>n</i>&nbsp;-&nbsp;1 times, the array's
jaroslav@49
  2224
     * length will be no greater than <i>n</i>, and the array's last entry
jaroslav@49
  2225
     * will contain all input beyond the last matched delimiter.  If <i>n</i>
jaroslav@49
  2226
     * is non-positive then the pattern will be applied as many times as
jaroslav@49
  2227
     * possible and the array can have any length.  If <i>n</i> is zero then
jaroslav@49
  2228
     * the pattern will be applied as many times as possible, the array can
jaroslav@49
  2229
     * have any length, and trailing empty strings will be discarded.
jaroslav@49
  2230
     *
jaroslav@49
  2231
     * <p> The string <tt>"boo:and:foo"</tt>, for example, yields the
jaroslav@49
  2232
     * following results with these parameters:
jaroslav@49
  2233
     *
jaroslav@49
  2234
     * <blockquote><table cellpadding=1 cellspacing=0 summary="Split example showing regex, limit, and result">
jaroslav@49
  2235
     * <tr>
jaroslav@49
  2236
     *     <th>Regex</th>
jaroslav@49
  2237
     *     <th>Limit</th>
jaroslav@49
  2238
     *     <th>Result</th>
jaroslav@49
  2239
     * </tr>
jaroslav@49
  2240
     * <tr><td align=center>:</td>
jaroslav@49
  2241
     *     <td align=center>2</td>
jaroslav@49
  2242
     *     <td><tt>{ "boo", "and:foo" }</tt></td></tr>
jaroslav@49
  2243
     * <tr><td align=center>:</td>
jaroslav@49
  2244
     *     <td align=center>5</td>
jaroslav@49
  2245
     *     <td><tt>{ "boo", "and", "foo" }</tt></td></tr>
jaroslav@49
  2246
     * <tr><td align=center>:</td>
jaroslav@49
  2247
     *     <td align=center>-2</td>
jaroslav@49
  2248
     *     <td><tt>{ "boo", "and", "foo" }</tt></td></tr>
jaroslav@49
  2249
     * <tr><td align=center>o</td>
jaroslav@49
  2250
     *     <td align=center>5</td>
jaroslav@49
  2251
     *     <td><tt>{ "b", "", ":and:f", "", "" }</tt></td></tr>
jaroslav@49
  2252
     * <tr><td align=center>o</td>
jaroslav@49
  2253
     *     <td align=center>-2</td>
jaroslav@49
  2254
     *     <td><tt>{ "b", "", ":and:f", "", "" }</tt></td></tr>
jaroslav@49
  2255
     * <tr><td align=center>o</td>
jaroslav@49
  2256
     *     <td align=center>0</td>
jaroslav@49
  2257
     *     <td><tt>{ "b", "", ":and:f" }</tt></td></tr>
jaroslav@49
  2258
     * </table></blockquote>
jaroslav@49
  2259
     *
jaroslav@49
  2260
     * <p> An invocation of this method of the form
jaroslav@49
  2261
     * <i>str.</i><tt>split(</tt><i>regex</i><tt>,</tt>&nbsp;<i>n</i><tt>)</tt>
jaroslav@49
  2262
     * yields the same result as the expression
jaroslav@49
  2263
     *
jaroslav@49
  2264
     * <blockquote>
jaroslav@49
  2265
     * {@link java.util.regex.Pattern}.{@link java.util.regex.Pattern#compile
jaroslav@49
  2266
     * compile}<tt>(</tt><i>regex</i><tt>)</tt>.{@link
jaroslav@49
  2267
     * java.util.regex.Pattern#split(java.lang.CharSequence,int)
jaroslav@49
  2268
     * split}<tt>(</tt><i>str</i><tt>,</tt>&nbsp;<i>n</i><tt>)</tt>
jaroslav@49
  2269
     * </blockquote>
jaroslav@49
  2270
     *
jaroslav@49
  2271
     *
jaroslav@49
  2272
     * @param  regex
jaroslav@49
  2273
     *         the delimiting regular expression
jaroslav@49
  2274
     *
jaroslav@49
  2275
     * @param  limit
jaroslav@49
  2276
     *         the result threshold, as described above
jaroslav@49
  2277
     *
jaroslav@49
  2278
     * @return  the array of strings computed by splitting this string
jaroslav@49
  2279
     *          around matches of the given regular expression
jaroslav@49
  2280
     *
jaroslav@49
  2281
     * @throws  PatternSyntaxException
jaroslav@49
  2282
     *          if the regular expression's syntax is invalid
jaroslav@49
  2283
     *
jaroslav@49
  2284
     * @see java.util.regex.Pattern
jaroslav@49
  2285
     *
jaroslav@49
  2286
     * @since 1.4
jaroslav@49
  2287
     * @spec JSR-51
jaroslav@49
  2288
     */
jaroslav@49
  2289
    public String[] split(String regex, int limit) {
jaroslav@64
  2290
        throw new UnsupportedOperationException("Needs regexp");
jaroslav@49
  2291
    }
jaroslav@49
  2292
jaroslav@49
  2293
    /**
jaroslav@49
  2294
     * Splits this string around matches of the given <a
jaroslav@49
  2295
     * href="../util/regex/Pattern.html#sum">regular expression</a>.
jaroslav@49
  2296
     *
jaroslav@49
  2297
     * <p> This method works as if by invoking the two-argument {@link
jaroslav@49
  2298
     * #split(String, int) split} method with the given expression and a limit
jaroslav@49
  2299
     * argument of zero.  Trailing empty strings are therefore not included in
jaroslav@49
  2300
     * the resulting array.
jaroslav@49
  2301
     *
jaroslav@49
  2302
     * <p> The string <tt>"boo:and:foo"</tt>, for example, yields the following
jaroslav@49
  2303
     * results with these expressions:
jaroslav@49
  2304
     *
jaroslav@49
  2305
     * <blockquote><table cellpadding=1 cellspacing=0 summary="Split examples showing regex and result">
jaroslav@49
  2306
     * <tr>
jaroslav@49
  2307
     *  <th>Regex</th>
jaroslav@49
  2308
     *  <th>Result</th>
jaroslav@49
  2309
     * </tr>
jaroslav@49
  2310
     * <tr><td align=center>:</td>
jaroslav@49
  2311
     *     <td><tt>{ "boo", "and", "foo" }</tt></td></tr>
jaroslav@49
  2312
     * <tr><td align=center>o</td>
jaroslav@49
  2313
     *     <td><tt>{ "b", "", ":and:f" }</tt></td></tr>
jaroslav@49
  2314
     * </table></blockquote>
jaroslav@49
  2315
     *
jaroslav@49
  2316
     *
jaroslav@49
  2317
     * @param  regex
jaroslav@49
  2318
     *         the delimiting regular expression
jaroslav@49
  2319
     *
jaroslav@49
  2320
     * @return  the array of strings computed by splitting this string
jaroslav@49
  2321
     *          around matches of the given regular expression
jaroslav@49
  2322
     *
jaroslav@49
  2323
     * @throws  PatternSyntaxException
jaroslav@49
  2324
     *          if the regular expression's syntax is invalid
jaroslav@49
  2325
     *
jaroslav@49
  2326
     * @see java.util.regex.Pattern
jaroslav@49
  2327
     *
jaroslav@49
  2328
     * @since 1.4
jaroslav@49
  2329
     * @spec JSR-51
jaroslav@49
  2330
     */
jaroslav@49
  2331
    public String[] split(String regex) {
jaroslav@49
  2332
        return split(regex, 0);
jaroslav@49
  2333
    }
jaroslav@49
  2334
jaroslav@49
  2335
    /**
jaroslav@49
  2336
     * Converts all of the characters in this <code>String</code> to lower
jaroslav@49
  2337
     * case using the rules of the given <code>Locale</code>.  Case mapping is based
jaroslav@49
  2338
     * on the Unicode Standard version specified by the {@link java.lang.Character Character}
jaroslav@49
  2339
     * class. Since case mappings are not always 1:1 char mappings, the resulting
jaroslav@49
  2340
     * <code>String</code> may be a different length than the original <code>String</code>.
jaroslav@49
  2341
     * <p>
jaroslav@49
  2342
     * Examples of lowercase  mappings are in the following table:
jaroslav@49
  2343
     * <table border="1" summary="Lowercase mapping examples showing language code of locale, upper case, lower case, and description">
jaroslav@49
  2344
     * <tr>
jaroslav@49
  2345
     *   <th>Language Code of Locale</th>
jaroslav@49
  2346
     *   <th>Upper Case</th>
jaroslav@49
  2347
     *   <th>Lower Case</th>
jaroslav@49
  2348
     *   <th>Description</th>
jaroslav@49
  2349
     * </tr>
jaroslav@49
  2350
     * <tr>
jaroslav@49
  2351
     *   <td>tr (Turkish)</td>
jaroslav@49
  2352
     *   <td>&#92;u0130</td>
jaroslav@49
  2353
     *   <td>&#92;u0069</td>
jaroslav@49
  2354
     *   <td>capital letter I with dot above -&gt; small letter i</td>
jaroslav@49
  2355
     * </tr>
jaroslav@49
  2356
     * <tr>
jaroslav@49
  2357
     *   <td>tr (Turkish)</td>
jaroslav@49
  2358
     *   <td>&#92;u0049</td>
jaroslav@49
  2359
     *   <td>&#92;u0131</td>
jaroslav@49
  2360
     *   <td>capital letter I -&gt; small letter dotless i </td>
jaroslav@49
  2361
     * </tr>
jaroslav@49
  2362
     * <tr>
jaroslav@49
  2363
     *   <td>(all)</td>
jaroslav@49
  2364
     *   <td>French Fries</td>
jaroslav@49
  2365
     *   <td>french fries</td>
jaroslav@49
  2366
     *   <td>lowercased all chars in String</td>
jaroslav@49
  2367
     * </tr>
jaroslav@49
  2368
     * <tr>
jaroslav@49
  2369
     *   <td>(all)</td>
jaroslav@49
  2370
     *   <td><img src="doc-files/capiota.gif" alt="capiota"><img src="doc-files/capchi.gif" alt="capchi">
jaroslav@49
  2371
     *       <img src="doc-files/captheta.gif" alt="captheta"><img src="doc-files/capupsil.gif" alt="capupsil">
jaroslav@49
  2372
     *       <img src="doc-files/capsigma.gif" alt="capsigma"></td>
jaroslav@49
  2373
     *   <td><img src="doc-files/iota.gif" alt="iota"><img src="doc-files/chi.gif" alt="chi">
jaroslav@49
  2374
     *       <img src="doc-files/theta.gif" alt="theta"><img src="doc-files/upsilon.gif" alt="upsilon">
jaroslav@49
  2375
     *       <img src="doc-files/sigma1.gif" alt="sigma"></td>
jaroslav@49
  2376
     *   <td>lowercased all chars in String</td>
jaroslav@49
  2377
     * </tr>
jaroslav@49
  2378
     * </table>
jaroslav@49
  2379
     *
jaroslav@49
  2380
     * @param locale use the case transformation rules for this locale
jaroslav@49
  2381
     * @return the <code>String</code>, converted to lowercase.
jaroslav@49
  2382
     * @see     java.lang.String#toLowerCase()
jaroslav@49
  2383
     * @see     java.lang.String#toUpperCase()
jaroslav@49
  2384
     * @see     java.lang.String#toUpperCase(Locale)
jaroslav@49
  2385
     * @since   1.1
jaroslav@49
  2386
     */
jaroslav@61
  2387
//    public String toLowerCase(Locale locale) {
jaroslav@61
  2388
//        if (locale == null) {
jaroslav@61
  2389
//            throw new NullPointerException();
jaroslav@61
  2390
//        }
jaroslav@61
  2391
//
jaroslav@61
  2392
//        int     firstUpper;
jaroslav@61
  2393
//
jaroslav@61
  2394
//        /* Now check if there are any characters that need to be changed. */
jaroslav@61
  2395
//        scan: {
jaroslav@61
  2396
//            for (firstUpper = 0 ; firstUpper < count; ) {
jaroslav@61
  2397
//                char c = value[offset+firstUpper];
jaroslav@61
  2398
//                if ((c >= Character.MIN_HIGH_SURROGATE) &&
jaroslav@61
  2399
//                    (c <= Character.MAX_HIGH_SURROGATE)) {
jaroslav@61
  2400
//                    int supplChar = codePointAt(firstUpper);
jaroslav@61
  2401
//                    if (supplChar != Character.toLowerCase(supplChar)) {
jaroslav@61
  2402
//                        break scan;
jaroslav@61
  2403
//                    }
jaroslav@61
  2404
//                    firstUpper += Character.charCount(supplChar);
jaroslav@61
  2405
//                } else {
jaroslav@61
  2406
//                    if (c != Character.toLowerCase(c)) {
jaroslav@61
  2407
//                        break scan;
jaroslav@61
  2408
//                    }
jaroslav@61
  2409
//                    firstUpper++;
jaroslav@61
  2410
//                }
jaroslav@61
  2411
//            }
jaroslav@61
  2412
//            return this;
jaroslav@61
  2413
//        }
jaroslav@61
  2414
//
jaroslav@61
  2415
//        char[]  result = new char[count];
jaroslav@61
  2416
//        int     resultOffset = 0;  /* result may grow, so i+resultOffset
jaroslav@61
  2417
//                                    * is the write location in result */
jaroslav@61
  2418
//
jaroslav@61
  2419
//        /* Just copy the first few lowerCase characters. */
jaroslav@560
  2420
//        System.arraycopy(value, offset, result, 0, firstUpper);
jaroslav@61
  2421
//
jaroslav@61
  2422
//        String lang = locale.getLanguage();
jaroslav@61
  2423
//        boolean localeDependent =
jaroslav@61
  2424
//            (lang == "tr" || lang == "az" || lang == "lt");
jaroslav@61
  2425
//        char[] lowerCharArray;
jaroslav@61
  2426
//        int lowerChar;
jaroslav@61
  2427
//        int srcChar;
jaroslav@61
  2428
//        int srcCount;
jaroslav@61
  2429
//        for (int i = firstUpper; i < count; i += srcCount) {
jaroslav@61
  2430
//            srcChar = (int)value[offset+i];
jaroslav@61
  2431
//            if ((char)srcChar >= Character.MIN_HIGH_SURROGATE &&
jaroslav@61
  2432
//                (char)srcChar <= Character.MAX_HIGH_SURROGATE) {
jaroslav@61
  2433
//                srcChar = codePointAt(i);
jaroslav@61
  2434
//                srcCount = Character.charCount(srcChar);
jaroslav@61
  2435
//            } else {
jaroslav@61
  2436
//                srcCount = 1;
jaroslav@61
  2437
//            }
jaroslav@61
  2438
//            if (localeDependent || srcChar == '\u03A3') { // GREEK CAPITAL LETTER SIGMA
jaroslav@61
  2439
//                lowerChar = ConditionalSpecialCasing.toLowerCaseEx(this, i, locale);
jaroslav@61
  2440
//            } else if (srcChar == '\u0130') { // LATIN CAPITAL LETTER I DOT
jaroslav@61
  2441
//                lowerChar = Character.ERROR;
jaroslav@61
  2442
//            } else {
jaroslav@61
  2443
//                lowerChar = Character.toLowerCase(srcChar);
jaroslav@61
  2444
//            }
jaroslav@61
  2445
//            if ((lowerChar == Character.ERROR) ||
jaroslav@61
  2446
//                (lowerChar >= Character.MIN_SUPPLEMENTARY_CODE_POINT)) {
jaroslav@61
  2447
//                if (lowerChar == Character.ERROR) {
jaroslav@61
  2448
//                     if (!localeDependent && srcChar == '\u0130') {
jaroslav@61
  2449
//                         lowerCharArray =
jaroslav@61
  2450
//                             ConditionalSpecialCasing.toLowerCaseCharArray(this, i, Locale.ENGLISH);
jaroslav@61
  2451
//                     } else {
jaroslav@61
  2452
//                        lowerCharArray =
jaroslav@61
  2453
//                            ConditionalSpecialCasing.toLowerCaseCharArray(this, i, locale);
jaroslav@61
  2454
//                     }
jaroslav@61
  2455
//                } else if (srcCount == 2) {
jaroslav@61
  2456
//                    resultOffset += Character.toChars(lowerChar, result, i + resultOffset) - srcCount;
jaroslav@61
  2457
//                    continue;
jaroslav@61
  2458
//                } else {
jaroslav@61
  2459
//                    lowerCharArray = Character.toChars(lowerChar);
jaroslav@61
  2460
//                }
jaroslav@61
  2461
//
jaroslav@61
  2462
//                /* Grow result if needed */
jaroslav@61
  2463
//                int mapLen = lowerCharArray.length;
jaroslav@61
  2464
//                if (mapLen > srcCount) {
jaroslav@61
  2465
//                    char[] result2 = new char[result.length + mapLen - srcCount];
jaroslav@560
  2466
//                    System.arraycopy(result, 0, result2, 0,
jaroslav@61
  2467
//                        i + resultOffset);
jaroslav@61
  2468
//                    result = result2;
jaroslav@61
  2469
//                }
jaroslav@61
  2470
//                for (int x=0; x<mapLen; ++x) {
jaroslav@61
  2471
//                    result[i+resultOffset+x] = lowerCharArray[x];
jaroslav@61
  2472
//                }
jaroslav@61
  2473
//                resultOffset += (mapLen - srcCount);
jaroslav@61
  2474
//            } else {
jaroslav@61
  2475
//                result[i+resultOffset] = (char)lowerChar;
jaroslav@61
  2476
//            }
jaroslav@61
  2477
//        }
jaroslav@61
  2478
//        return new String(0, count+resultOffset, result);
jaroslav@61
  2479
//    }
jaroslav@49
  2480
jaroslav@49
  2481
    /**
jaroslav@49
  2482
     * Converts all of the characters in this <code>String</code> to lower
jaroslav@49
  2483
     * case using the rules of the default locale. This is equivalent to calling
jaroslav@49
  2484
     * <code>toLowerCase(Locale.getDefault())</code>.
jaroslav@49
  2485
     * <p>
jaroslav@49
  2486
     * <b>Note:</b> This method is locale sensitive, and may produce unexpected
jaroslav@49
  2487
     * results if used for strings that are intended to be interpreted locale
jaroslav@49
  2488
     * independently.
jaroslav@49
  2489
     * Examples are programming language identifiers, protocol keys, and HTML
jaroslav@49
  2490
     * tags.
jaroslav@49
  2491
     * For instance, <code>"TITLE".toLowerCase()</code> in a Turkish locale
jaroslav@49
  2492
     * returns <code>"t\u005Cu0131tle"</code>, where '\u005Cu0131' is the
jaroslav@49
  2493
     * LATIN SMALL LETTER DOTLESS I character.
jaroslav@49
  2494
     * To obtain correct results for locale insensitive strings, use
jaroslav@49
  2495
     * <code>toLowerCase(Locale.ENGLISH)</code>.
jaroslav@49
  2496
     * <p>
jaroslav@49
  2497
     * @return  the <code>String</code>, converted to lowercase.
jaroslav@49
  2498
     * @see     java.lang.String#toLowerCase(Locale)
jaroslav@49
  2499
     */
jaroslav@443
  2500
    @JavaScriptBody(args = {}, body = "return this.toLowerCase();")
jaroslav@49
  2501
    public String toLowerCase() {
jaroslav@64
  2502
        throw new UnsupportedOperationException("Should be supported but without connection to locale");
jaroslav@49
  2503
    }
jaroslav@49
  2504
jaroslav@49
  2505
    /**
jaroslav@49
  2506
     * Converts all of the characters in this <code>String</code> to upper
jaroslav@49
  2507
     * case using the rules of the given <code>Locale</code>. Case mapping is based
jaroslav@49
  2508
     * on the Unicode Standard version specified by the {@link java.lang.Character Character}
jaroslav@49
  2509
     * class. Since case mappings are not always 1:1 char mappings, the resulting
jaroslav@49
  2510
     * <code>String</code> may be a different length than the original <code>String</code>.
jaroslav@49
  2511
     * <p>
jaroslav@49
  2512
     * Examples of locale-sensitive and 1:M case mappings are in the following table.
jaroslav@49
  2513
     * <p>
jaroslav@49
  2514
     * <table border="1" summary="Examples of locale-sensitive and 1:M case mappings. Shows Language code of locale, lower case, upper case, and description.">
jaroslav@49
  2515
     * <tr>
jaroslav@49
  2516
     *   <th>Language Code of Locale</th>
jaroslav@49
  2517
     *   <th>Lower Case</th>
jaroslav@49
  2518
     *   <th>Upper Case</th>
jaroslav@49
  2519
     *   <th>Description</th>
jaroslav@49
  2520
     * </tr>
jaroslav@49
  2521
     * <tr>
jaroslav@49
  2522
     *   <td>tr (Turkish)</td>
jaroslav@49
  2523
     *   <td>&#92;u0069</td>
jaroslav@49
  2524
     *   <td>&#92;u0130</td>
jaroslav@49
  2525
     *   <td>small letter i -&gt; capital letter I with dot above</td>
jaroslav@49
  2526
     * </tr>
jaroslav@49
  2527
     * <tr>
jaroslav@49
  2528
     *   <td>tr (Turkish)</td>
jaroslav@49
  2529
     *   <td>&#92;u0131</td>
jaroslav@49
  2530
     *   <td>&#92;u0049</td>
jaroslav@49
  2531
     *   <td>small letter dotless i -&gt; capital letter I</td>
jaroslav@49
  2532
     * </tr>
jaroslav@49
  2533
     * <tr>
jaroslav@49
  2534
     *   <td>(all)</td>
jaroslav@49
  2535
     *   <td>&#92;u00df</td>
jaroslav@49
  2536
     *   <td>&#92;u0053 &#92;u0053</td>
jaroslav@49
  2537
     *   <td>small letter sharp s -&gt; two letters: SS</td>
jaroslav@49
  2538
     * </tr>
jaroslav@49
  2539
     * <tr>
jaroslav@49
  2540
     *   <td>(all)</td>
jaroslav@49
  2541
     *   <td>Fahrvergn&uuml;gen</td>
jaroslav@49
  2542
     *   <td>FAHRVERGN&Uuml;GEN</td>
jaroslav@49
  2543
     *   <td></td>
jaroslav@49
  2544
     * </tr>
jaroslav@49
  2545
     * </table>
jaroslav@49
  2546
     * @param locale use the case transformation rules for this locale
jaroslav@49
  2547
     * @return the <code>String</code>, converted to uppercase.
jaroslav@49
  2548
     * @see     java.lang.String#toUpperCase()
jaroslav@49
  2549
     * @see     java.lang.String#toLowerCase()
jaroslav@49
  2550
     * @see     java.lang.String#toLowerCase(Locale)
jaroslav@49
  2551
     * @since   1.1
jaroslav@49
  2552
     */
jaroslav@61
  2553
    /* not for javascript 
jaroslav@49
  2554
    public String toUpperCase(Locale locale) {
jaroslav@49
  2555
        if (locale == null) {
jaroslav@49
  2556
            throw new NullPointerException();
jaroslav@49
  2557
        }
jaroslav@49
  2558
jaroslav@49
  2559
        int     firstLower;
jaroslav@49
  2560
jaroslav@61
  2561
        // Now check if there are any characters that need to be changed. 
jaroslav@49
  2562
        scan: {
jaroslav@49
  2563
            for (firstLower = 0 ; firstLower < count; ) {
jaroslav@49
  2564
                int c = (int)value[offset+firstLower];
jaroslav@49
  2565
                int srcCount;
jaroslav@49
  2566
                if ((c >= Character.MIN_HIGH_SURROGATE) &&
jaroslav@49
  2567
                    (c <= Character.MAX_HIGH_SURROGATE)) {
jaroslav@49
  2568
                    c = codePointAt(firstLower);
jaroslav@49
  2569
                    srcCount = Character.charCount(c);
jaroslav@49
  2570
                } else {
jaroslav@49
  2571
                    srcCount = 1;
jaroslav@49
  2572
                }
jaroslav@49
  2573
                int upperCaseChar = Character.toUpperCaseEx(c);
jaroslav@49
  2574
                if ((upperCaseChar == Character.ERROR) ||
jaroslav@49
  2575
                    (c != upperCaseChar)) {
jaroslav@49
  2576
                    break scan;
jaroslav@49
  2577
                }
jaroslav@49
  2578
                firstLower += srcCount;
jaroslav@49
  2579
            }
jaroslav@49
  2580
            return this;
jaroslav@49
  2581
        }
jaroslav@49
  2582
jaroslav@61
  2583
        char[]  result       = new char[count]; /* may grow *
jaroslav@49
  2584
        int     resultOffset = 0;  /* result may grow, so i+resultOffset
jaroslav@61
  2585
                                    * is the write location in result *
jaroslav@49
  2586
jaroslav@61
  2587
        /* Just copy the first few upperCase characters. *
jaroslav@560
  2588
        System.arraycopy(value, offset, result, 0, firstLower);
jaroslav@49
  2589
jaroslav@49
  2590
        String lang = locale.getLanguage();
jaroslav@49
  2591
        boolean localeDependent =
jaroslav@49
  2592
            (lang == "tr" || lang == "az" || lang == "lt");
jaroslav@49
  2593
        char[] upperCharArray;
jaroslav@49
  2594
        int upperChar;
jaroslav@49
  2595
        int srcChar;
jaroslav@49
  2596
        int srcCount;
jaroslav@49
  2597
        for (int i = firstLower; i < count; i += srcCount) {
jaroslav@49
  2598
            srcChar = (int)value[offset+i];
jaroslav@49
  2599
            if ((char)srcChar >= Character.MIN_HIGH_SURROGATE &&
jaroslav@49
  2600
                (char)srcChar <= Character.MAX_HIGH_SURROGATE) {
jaroslav@49
  2601
                srcChar = codePointAt(i);
jaroslav@49
  2602
                srcCount = Character.charCount(srcChar);
jaroslav@49
  2603
            } else {
jaroslav@49
  2604
                srcCount = 1;
jaroslav@49
  2605
            }
jaroslav@49
  2606
            if (localeDependent) {
jaroslav@49
  2607
                upperChar = ConditionalSpecialCasing.toUpperCaseEx(this, i, locale);
jaroslav@49
  2608
            } else {
jaroslav@49
  2609
                upperChar = Character.toUpperCaseEx(srcChar);
jaroslav@49
  2610
            }
jaroslav@49
  2611
            if ((upperChar == Character.ERROR) ||
jaroslav@49
  2612
                (upperChar >= Character.MIN_SUPPLEMENTARY_CODE_POINT)) {
jaroslav@49
  2613
                if (upperChar == Character.ERROR) {
jaroslav@49
  2614
                    if (localeDependent) {
jaroslav@49
  2615
                        upperCharArray =
jaroslav@49
  2616
                            ConditionalSpecialCasing.toUpperCaseCharArray(this, i, locale);
jaroslav@49
  2617
                    } else {
jaroslav@49
  2618
                        upperCharArray = Character.toUpperCaseCharArray(srcChar);
jaroslav@49
  2619
                    }
jaroslav@49
  2620
                } else if (srcCount == 2) {
jaroslav@49
  2621
                    resultOffset += Character.toChars(upperChar, result, i + resultOffset) - srcCount;
jaroslav@49
  2622
                    continue;
jaroslav@49
  2623
                } else {
jaroslav@49
  2624
                    upperCharArray = Character.toChars(upperChar);
jaroslav@49
  2625
                }
jaroslav@49
  2626
jaroslav@61
  2627
                /* Grow result if needed *
jaroslav@49
  2628
                int mapLen = upperCharArray.length;
jaroslav@49
  2629
                if (mapLen > srcCount) {
jaroslav@49
  2630
                    char[] result2 = new char[result.length + mapLen - srcCount];
jaroslav@560
  2631
                    System.arraycopy(result, 0, result2, 0,
jaroslav@49
  2632
                        i + resultOffset);
jaroslav@49
  2633
                    result = result2;
jaroslav@49
  2634
                }
jaroslav@49
  2635
                for (int x=0; x<mapLen; ++x) {
jaroslav@49
  2636
                    result[i+resultOffset+x] = upperCharArray[x];
jaroslav@49
  2637
                }
jaroslav@49
  2638
                resultOffset += (mapLen - srcCount);
jaroslav@49
  2639
            } else {
jaroslav@49
  2640
                result[i+resultOffset] = (char)upperChar;
jaroslav@49
  2641
            }
jaroslav@49
  2642
        }
jaroslav@49
  2643
        return new String(0, count+resultOffset, result);
jaroslav@49
  2644
    }
jaroslav@61
  2645
    */
jaroslav@49
  2646
jaroslav@49
  2647
    /**
jaroslav@49
  2648
     * Converts all of the characters in this <code>String</code> to upper
jaroslav@49
  2649
     * case using the rules of the default locale. This method is equivalent to
jaroslav@49
  2650
     * <code>toUpperCase(Locale.getDefault())</code>.
jaroslav@49
  2651
     * <p>
jaroslav@49
  2652
     * <b>Note:</b> This method is locale sensitive, and may produce unexpected
jaroslav@49
  2653
     * results if used for strings that are intended to be interpreted locale
jaroslav@49
  2654
     * independently.
jaroslav@49
  2655
     * Examples are programming language identifiers, protocol keys, and HTML
jaroslav@49
  2656
     * tags.
jaroslav@49
  2657
     * For instance, <code>"title".toUpperCase()</code> in a Turkish locale
jaroslav@49
  2658
     * returns <code>"T\u005Cu0130TLE"</code>, where '\u005Cu0130' is the
jaroslav@49
  2659
     * LATIN CAPITAL LETTER I WITH DOT ABOVE character.
jaroslav@49
  2660
     * To obtain correct results for locale insensitive strings, use
jaroslav@49
  2661
     * <code>toUpperCase(Locale.ENGLISH)</code>.
jaroslav@49
  2662
     * <p>
jaroslav@49
  2663
     * @return  the <code>String</code>, converted to uppercase.
jaroslav@49
  2664
     * @see     java.lang.String#toUpperCase(Locale)
jaroslav@49
  2665
     */
jaroslav@443
  2666
    @JavaScriptBody(args = {}, body = "return this.toUpperCase();")
jaroslav@49
  2667
    public String toUpperCase() {
jaroslav@61
  2668
        throw new UnsupportedOperationException();
jaroslav@49
  2669
    }
jaroslav@49
  2670
jaroslav@49
  2671
    /**
jaroslav@49
  2672
     * Returns a copy of the string, with leading and trailing whitespace
jaroslav@49
  2673
     * omitted.
jaroslav@49
  2674
     * <p>
jaroslav@49
  2675
     * If this <code>String</code> object represents an empty character
jaroslav@49
  2676
     * sequence, or the first and last characters of character sequence
jaroslav@49
  2677
     * represented by this <code>String</code> object both have codes
jaroslav@49
  2678
     * greater than <code>'&#92;u0020'</code> (the space character), then a
jaroslav@49
  2679
     * reference to this <code>String</code> object is returned.
jaroslav@49
  2680
     * <p>
jaroslav@49
  2681
     * Otherwise, if there is no character with a code greater than
jaroslav@49
  2682
     * <code>'&#92;u0020'</code> in the string, then a new
jaroslav@49
  2683
     * <code>String</code> object representing an empty string is created
jaroslav@49
  2684
     * and returned.
jaroslav@49
  2685
     * <p>
jaroslav@49
  2686
     * Otherwise, let <i>k</i> be the index of the first character in the
jaroslav@49
  2687
     * string whose code is greater than <code>'&#92;u0020'</code>, and let
jaroslav@49
  2688
     * <i>m</i> be the index of the last character in the string whose code
jaroslav@49
  2689
     * is greater than <code>'&#92;u0020'</code>. A new <code>String</code>
jaroslav@49
  2690
     * object is created, representing the substring of this string that
jaroslav@49
  2691
     * begins with the character at index <i>k</i> and ends with the
jaroslav@49
  2692
     * character at index <i>m</i>-that is, the result of
jaroslav@49
  2693
     * <code>this.substring(<i>k</i>,&nbsp;<i>m</i>+1)</code>.
jaroslav@49
  2694
     * <p>
jaroslav@49
  2695
     * This method may be used to trim whitespace (as defined above) from
jaroslav@49
  2696
     * the beginning and end of a string.
jaroslav@49
  2697
     *
jaroslav@49
  2698
     * @return  A copy of this string with leading and trailing white
jaroslav@49
  2699
     *          space removed, or this string if it has no leading or
jaroslav@49
  2700
     *          trailing white space.
jaroslav@49
  2701
     */
jaroslav@49
  2702
    public String trim() {
jaroslav@241
  2703
        int len = length();
jaroslav@49
  2704
        int st = 0;
jaroslav@241
  2705
        int off = offset();      /* avoid getfield opcode */
jaroslav@241
  2706
        char[] val = toCharArray();    /* avoid getfield opcode */
jaroslav@49
  2707
jaroslav@49
  2708
        while ((st < len) && (val[off + st] <= ' ')) {
jaroslav@49
  2709
            st++;
jaroslav@49
  2710
        }
jaroslav@49
  2711
        while ((st < len) && (val[off + len - 1] <= ' ')) {
jaroslav@49
  2712
            len--;
jaroslav@49
  2713
        }
jaroslav@241
  2714
        return ((st > 0) || (len < length())) ? substring(st, len) : this;
jaroslav@49
  2715
    }
jaroslav@49
  2716
jaroslav@49
  2717
    /**
jaroslav@49
  2718
     * This object (which is already a string!) is itself returned.
jaroslav@49
  2719
     *
jaroslav@49
  2720
     * @return  the string itself.
jaroslav@49
  2721
     */
jaroslav@443
  2722
    @JavaScriptBody(args = {}, body = "return this.toString();")
jaroslav@49
  2723
    public String toString() {
jaroslav@49
  2724
        return this;
jaroslav@49
  2725
    }
jaroslav@49
  2726
jaroslav@49
  2727
    /**
jaroslav@49
  2728
     * Converts this string to a new character array.
jaroslav@49
  2729
     *
jaroslav@49
  2730
     * @return  a newly allocated character array whose length is the length
jaroslav@49
  2731
     *          of this string and whose contents are initialized to contain
jaroslav@49
  2732
     *          the character sequence represented by this string.
jaroslav@49
  2733
     */
jaroslav@49
  2734
    public char[] toCharArray() {
jaroslav@241
  2735
        char result[] = new char[length()];
jaroslav@241
  2736
        getChars(0, length(), result, 0);
jaroslav@49
  2737
        return result;
jaroslav@49
  2738
    }
jaroslav@49
  2739
jaroslav@49
  2740
    /**
jaroslav@49
  2741
     * Returns a formatted string using the specified format string and
jaroslav@49
  2742
     * arguments.
jaroslav@49
  2743
     *
jaroslav@49
  2744
     * <p> The locale always used is the one returned by {@link
jaroslav@49
  2745
     * java.util.Locale#getDefault() Locale.getDefault()}.
jaroslav@49
  2746
     *
jaroslav@49
  2747
     * @param  format
jaroslav@49
  2748
     *         A <a href="../util/Formatter.html#syntax">format string</a>
jaroslav@49
  2749
     *
jaroslav@49
  2750
     * @param  args
jaroslav@49
  2751
     *         Arguments referenced by the format specifiers in the format
jaroslav@49
  2752
     *         string.  If there are more arguments than format specifiers, the
jaroslav@49
  2753
     *         extra arguments are ignored.  The number of arguments is
jaroslav@49
  2754
     *         variable and may be zero.  The maximum number of arguments is
jaroslav@49
  2755
     *         limited by the maximum dimension of a Java array as defined by
jaroslav@49
  2756
     *         <cite>The Java&trade; Virtual Machine Specification</cite>.
jaroslav@49
  2757
     *         The behaviour on a
jaroslav@49
  2758
     *         <tt>null</tt> argument depends on the <a
jaroslav@49
  2759
     *         href="../util/Formatter.html#syntax">conversion</a>.
jaroslav@49
  2760
     *
jaroslav@49
  2761
     * @throws  IllegalFormatException
jaroslav@49
  2762
     *          If a format string contains an illegal syntax, a format
jaroslav@49
  2763
     *          specifier that is incompatible with the given arguments,
jaroslav@49
  2764
     *          insufficient arguments given the format string, or other
jaroslav@49
  2765
     *          illegal conditions.  For specification of all possible
jaroslav@49
  2766
     *          formatting errors, see the <a
jaroslav@49
  2767
     *          href="../util/Formatter.html#detail">Details</a> section of the
jaroslav@49
  2768
     *          formatter class specification.
jaroslav@49
  2769
     *
jaroslav@49
  2770
     * @throws  NullPointerException
jaroslav@49
  2771
     *          If the <tt>format</tt> is <tt>null</tt>
jaroslav@49
  2772
     *
jaroslav@49
  2773
     * @return  A formatted string
jaroslav@49
  2774
     *
jaroslav@49
  2775
     * @see  java.util.Formatter
jaroslav@49
  2776
     * @since  1.5
jaroslav@49
  2777
     */
jaroslav@49
  2778
    public static String format(String format, Object ... args) {
jaroslav@64
  2779
        throw new UnsupportedOperationException();
jaroslav@49
  2780
    }
jaroslav@49
  2781
jaroslav@49
  2782
    /**
jaroslav@49
  2783
     * Returns a formatted string using the specified locale, format string,
jaroslav@49
  2784
     * and arguments.
jaroslav@49
  2785
     *
jaroslav@49
  2786
     * @param  l
jaroslav@49
  2787
     *         The {@linkplain java.util.Locale locale} to apply during
jaroslav@49
  2788
     *         formatting.  If <tt>l</tt> is <tt>null</tt> then no localization
jaroslav@49
  2789
     *         is applied.
jaroslav@49
  2790
     *
jaroslav@49
  2791
     * @param  format
jaroslav@49
  2792
     *         A <a href="../util/Formatter.html#syntax">format string</a>
jaroslav@49
  2793
     *
jaroslav@49
  2794
     * @param  args
jaroslav@49
  2795
     *         Arguments referenced by the format specifiers in the format
jaroslav@49
  2796
     *         string.  If there are more arguments than format specifiers, the
jaroslav@49
  2797
     *         extra arguments are ignored.  The number of arguments is
jaroslav@49
  2798
     *         variable and may be zero.  The maximum number of arguments is
jaroslav@49
  2799
     *         limited by the maximum dimension of a Java array as defined by
jaroslav@49
  2800
     *         <cite>The Java&trade; Virtual Machine Specification</cite>.
jaroslav@49
  2801
     *         The behaviour on a
jaroslav@49
  2802
     *         <tt>null</tt> argument depends on the <a
jaroslav@49
  2803
     *         href="../util/Formatter.html#syntax">conversion</a>.
jaroslav@49
  2804
     *
jaroslav@49
  2805
     * @throws  IllegalFormatException
jaroslav@49
  2806
     *          If a format string contains an illegal syntax, a format
jaroslav@49
  2807
     *          specifier that is incompatible with the given arguments,
jaroslav@49
  2808
     *          insufficient arguments given the format string, or other
jaroslav@49
  2809
     *          illegal conditions.  For specification of all possible
jaroslav@49
  2810
     *          formatting errors, see the <a
jaroslav@49
  2811
     *          href="../util/Formatter.html#detail">Details</a> section of the
jaroslav@49
  2812
     *          formatter class specification
jaroslav@49
  2813
     *
jaroslav@49
  2814
     * @throws  NullPointerException
jaroslav@49
  2815
     *          If the <tt>format</tt> is <tt>null</tt>
jaroslav@49
  2816
     *
jaroslav@49
  2817
     * @return  A formatted string
jaroslav@49
  2818
     *
jaroslav@49
  2819
     * @see  java.util.Formatter
jaroslav@49
  2820
     * @since  1.5
jaroslav@49
  2821
     */
jaroslav@61
  2822
//    public static String format(Locale l, String format, Object ... args) {
jaroslav@61
  2823
//        return new Formatter(l).format(format, args).toString();
jaroslav@61
  2824
//    }
jaroslav@49
  2825
jaroslav@49
  2826
    /**
jaroslav@49
  2827
     * Returns the string representation of the <code>Object</code> argument.
jaroslav@49
  2828
     *
jaroslav@49
  2829
     * @param   obj   an <code>Object</code>.
jaroslav@49
  2830
     * @return  if the argument is <code>null</code>, then a string equal to
jaroslav@49
  2831
     *          <code>"null"</code>; otherwise, the value of
jaroslav@49
  2832
     *          <code>obj.toString()</code> is returned.
jaroslav@49
  2833
     * @see     java.lang.Object#toString()
jaroslav@49
  2834
     */
jaroslav@49
  2835
    public static String valueOf(Object obj) {
jaroslav@49
  2836
        return (obj == null) ? "null" : obj.toString();
jaroslav@49
  2837
    }
jaroslav@49
  2838
jaroslav@49
  2839
    /**
jaroslav@49
  2840
     * Returns the string representation of the <code>char</code> array
jaroslav@49
  2841
     * argument. The contents of the character array are copied; subsequent
jaroslav@49
  2842
     * modification of the character array does not affect the newly
jaroslav@49
  2843
     * created string.
jaroslav@49
  2844
     *
jaroslav@49
  2845
     * @param   data   a <code>char</code> array.
jaroslav@49
  2846
     * @return  a newly allocated string representing the same sequence of
jaroslav@49
  2847
     *          characters contained in the character array argument.
jaroslav@49
  2848
     */
jaroslav@49
  2849
    public static String valueOf(char data[]) {
jaroslav@49
  2850
        return new String(data);
jaroslav@49
  2851
    }
jaroslav@49
  2852
jaroslav@49
  2853
    /**
jaroslav@49
  2854
     * Returns the string representation of a specific subarray of the
jaroslav@49
  2855
     * <code>char</code> array argument.
jaroslav@49
  2856
     * <p>
jaroslav@49
  2857
     * The <code>offset</code> argument is the index of the first
jaroslav@49
  2858
     * character of the subarray. The <code>count</code> argument
jaroslav@49
  2859
     * specifies the length of the subarray. The contents of the subarray
jaroslav@49
  2860
     * are copied; subsequent modification of the character array does not
jaroslav@49
  2861
     * affect the newly created string.
jaroslav@49
  2862
     *
jaroslav@49
  2863
     * @param   data     the character array.
jaroslav@49
  2864
     * @param   offset   the initial offset into the value of the
jaroslav@49
  2865
     *                  <code>String</code>.
jaroslav@49
  2866
     * @param   count    the length of the value of the <code>String</code>.
jaroslav@49
  2867
     * @return  a string representing the sequence of characters contained
jaroslav@49
  2868
     *          in the subarray of the character array argument.
jaroslav@49
  2869
     * @exception IndexOutOfBoundsException if <code>offset</code> is
jaroslav@49
  2870
     *          negative, or <code>count</code> is negative, or
jaroslav@49
  2871
     *          <code>offset+count</code> is larger than
jaroslav@49
  2872
     *          <code>data.length</code>.
jaroslav@49
  2873
     */
jaroslav@49
  2874
    public static String valueOf(char data[], int offset, int count) {
jaroslav@49
  2875
        return new String(data, offset, count);
jaroslav@49
  2876
    }
jaroslav@49
  2877
jaroslav@49
  2878
    /**
jaroslav@49
  2879
     * Returns a String that represents the character sequence in the
jaroslav@49
  2880
     * array specified.
jaroslav@49
  2881
     *
jaroslav@49
  2882
     * @param   data     the character array.
jaroslav@49
  2883
     * @param   offset   initial offset of the subarray.
jaroslav@49
  2884
     * @param   count    length of the subarray.
jaroslav@49
  2885
     * @return  a <code>String</code> that contains the characters of the
jaroslav@49
  2886
     *          specified subarray of the character array.
jaroslav@49
  2887
     */
jaroslav@49
  2888
    public static String copyValueOf(char data[], int offset, int count) {
jaroslav@49
  2889
        // All public String constructors now copy the data.
jaroslav@49
  2890
        return new String(data, offset, count);
jaroslav@49
  2891
    }
jaroslav@49
  2892
jaroslav@49
  2893
    /**
jaroslav@49
  2894
     * Returns a String that represents the character sequence in the
jaroslav@49
  2895
     * array specified.
jaroslav@49
  2896
     *
jaroslav@49
  2897
     * @param   data   the character array.
jaroslav@49
  2898
     * @return  a <code>String</code> that contains the characters of the
jaroslav@49
  2899
     *          character array.
jaroslav@49
  2900
     */
jaroslav@49
  2901
    public static String copyValueOf(char data[]) {
jaroslav@49
  2902
        return copyValueOf(data, 0, data.length);
jaroslav@49
  2903
    }
jaroslav@49
  2904
jaroslav@49
  2905
    /**
jaroslav@49
  2906
     * Returns the string representation of the <code>boolean</code> argument.
jaroslav@49
  2907
     *
jaroslav@49
  2908
     * @param   b   a <code>boolean</code>.
jaroslav@49
  2909
     * @return  if the argument is <code>true</code>, a string equal to
jaroslav@49
  2910
     *          <code>"true"</code> is returned; otherwise, a string equal to
jaroslav@49
  2911
     *          <code>"false"</code> is returned.
jaroslav@49
  2912
     */
jaroslav@49
  2913
    public static String valueOf(boolean b) {
jaroslav@49
  2914
        return b ? "true" : "false";
jaroslav@49
  2915
    }
jaroslav@49
  2916
jaroslav@49
  2917
    /**
jaroslav@49
  2918
     * Returns the string representation of the <code>char</code>
jaroslav@49
  2919
     * argument.
jaroslav@49
  2920
     *
jaroslav@49
  2921
     * @param   c   a <code>char</code>.
jaroslav@49
  2922
     * @return  a string of length <code>1</code> containing
jaroslav@49
  2923
     *          as its single character the argument <code>c</code>.
jaroslav@49
  2924
     */
jaroslav@49
  2925
    public static String valueOf(char c) {
jaroslav@49
  2926
        char data[] = {c};
jaroslav@179
  2927
        return new String(data, 0, 1);
jaroslav@49
  2928
    }
jaroslav@49
  2929
jaroslav@49
  2930
    /**
jaroslav@49
  2931
     * Returns the string representation of the <code>int</code> argument.
jaroslav@49
  2932
     * <p>
jaroslav@49
  2933
     * The representation is exactly the one returned by the
jaroslav@49
  2934
     * <code>Integer.toString</code> method of one argument.
jaroslav@49
  2935
     *
jaroslav@49
  2936
     * @param   i   an <code>int</code>.
jaroslav@49
  2937
     * @return  a string representation of the <code>int</code> argument.
jaroslav@49
  2938
     * @see     java.lang.Integer#toString(int, int)
jaroslav@49
  2939
     */
jaroslav@49
  2940
    public static String valueOf(int i) {
jaroslav@49
  2941
        return Integer.toString(i);
jaroslav@49
  2942
    }
jaroslav@49
  2943
jaroslav@49
  2944
    /**
jaroslav@49
  2945
     * Returns the string representation of the <code>long</code> argument.
jaroslav@49
  2946
     * <p>
jaroslav@49
  2947
     * The representation is exactly the one returned by the
jaroslav@49
  2948
     * <code>Long.toString</code> method of one argument.
jaroslav@49
  2949
     *
jaroslav@49
  2950
     * @param   l   a <code>long</code>.
jaroslav@49
  2951
     * @return  a string representation of the <code>long</code> argument.
jaroslav@49
  2952
     * @see     java.lang.Long#toString(long)
jaroslav@49
  2953
     */
jaroslav@49
  2954
    public static String valueOf(long l) {
jaroslav@49
  2955
        return Long.toString(l);
jaroslav@49
  2956
    }
jaroslav@49
  2957
jaroslav@49
  2958
    /**
jaroslav@49
  2959
     * Returns the string representation of the <code>float</code> argument.
jaroslav@49
  2960
     * <p>
jaroslav@49
  2961
     * The representation is exactly the one returned by the
jaroslav@49
  2962
     * <code>Float.toString</code> method of one argument.
jaroslav@49
  2963
     *
jaroslav@49
  2964
     * @param   f   a <code>float</code>.
jaroslav@49
  2965
     * @return  a string representation of the <code>float</code> argument.
jaroslav@49
  2966
     * @see     java.lang.Float#toString(float)
jaroslav@49
  2967
     */
jaroslav@49
  2968
    public static String valueOf(float f) {
jaroslav@49
  2969
        return Float.toString(f);
jaroslav@49
  2970
    }
jaroslav@49
  2971
jaroslav@49
  2972
    /**
jaroslav@49
  2973
     * Returns the string representation of the <code>double</code> argument.
jaroslav@49
  2974
     * <p>
jaroslav@49
  2975
     * The representation is exactly the one returned by the
jaroslav@49
  2976
     * <code>Double.toString</code> method of one argument.
jaroslav@49
  2977
     *
jaroslav@49
  2978
     * @param   d   a <code>double</code>.
jaroslav@49
  2979
     * @return  a  string representation of the <code>double</code> argument.
jaroslav@49
  2980
     * @see     java.lang.Double#toString(double)
jaroslav@49
  2981
     */
jaroslav@49
  2982
    public static String valueOf(double d) {
jaroslav@49
  2983
        return Double.toString(d);
jaroslav@49
  2984
    }
jaroslav@49
  2985
jaroslav@49
  2986
    /**
jaroslav@49
  2987
     * Returns a canonical representation for the string object.
jaroslav@49
  2988
     * <p>
jaroslav@49
  2989
     * A pool of strings, initially empty, is maintained privately by the
jaroslav@49
  2990
     * class <code>String</code>.
jaroslav@49
  2991
     * <p>
jaroslav@49
  2992
     * When the intern method is invoked, if the pool already contains a
jaroslav@49
  2993
     * string equal to this <code>String</code> object as determined by
jaroslav@49
  2994
     * the {@link #equals(Object)} method, then the string from the pool is
jaroslav@49
  2995
     * returned. Otherwise, this <code>String</code> object is added to the
jaroslav@49
  2996
     * pool and a reference to this <code>String</code> object is returned.
jaroslav@49
  2997
     * <p>
jaroslav@49
  2998
     * It follows that for any two strings <code>s</code> and <code>t</code>,
jaroslav@49
  2999
     * <code>s.intern()&nbsp;==&nbsp;t.intern()</code> is <code>true</code>
jaroslav@49
  3000
     * if and only if <code>s.equals(t)</code> is <code>true</code>.
jaroslav@49
  3001
     * <p>
jaroslav@49
  3002
     * All literal strings and string-valued constant expressions are
jaroslav@49
  3003
     * interned. String literals are defined in section 3.10.5 of the
jaroslav@49
  3004
     * <cite>The Java&trade; Language Specification</cite>.
jaroslav@49
  3005
     *
jaroslav@49
  3006
     * @return  a string that has the same contents as this string, but is
jaroslav@49
  3007
     *          guaranteed to be from a pool of unique strings.
jaroslav@49
  3008
     */
jaroslav@49
  3009
    public native String intern();
jaroslav@49
  3010
}