JML

java.lang
Class String

java.lang.Object
  extended byjava.lang.String
All Implemented Interfaces:
CharSequence, Comparable, Serializable

public final class String
extends Object
implements Serializable, Comparable, CharSequence


Nested Class Summary
(package private) static class String.1
           
private static class String.CaseInsensitiveComparator
           
 
Field Summary
static Comparator CASE_INSENSITIVE_ORDER
           
private  int count
           
private  int hash
           
private  int offset
           
private static ObjectStreamField[] serialPersistentFields
           
private static long serialVersionUID
           
private  char[] value
           
 
Constructor Summary
  String()
           
  String(byte[])
           
  String(byte[], int)
           
  String(byte[], int, int)
           
  String(byte[], int, int, int)
           
  String(byte[], int, int, String)
           
  String(byte[], String)
           
  String(char[])
           
  String(char[], int, int)
           
(package private) String(int, int, char[])
           
  String(String)
           
  String(StringBuffer)
           
 
Method Summary
 char charAt(int)
           
private static void checkBounds(byte[], int, int)
           
 int compareTo(Object)
           
 int compareTo(String)
           
 int compareToIgnoreCase(String)
           
 String concat(String)
           
 boolean contentEquals(StringBuffer)
           
static String copyValueOf(char[])
           
static String copyValueOf(char[], int, int)
           
 boolean endsWith(String)
           
 boolean equals(Object)
           
 boolean equalsIgnoreCase(String)
           
 byte[] getBytes()
           
 void getBytes(int, int, byte[], int)
           
 byte[] getBytes(String)
           
 void getChars(int, int, char[], int)
           
 int hashCode()
           
(package private) static int indexOf(char[], int, int, char[], int, int, int)
           
 int indexOf(int)
           
 int indexOf(int, int)
           
 int indexOf(String)
           
 int indexOf(String, int)
           
 String intern()
           
(package private) static int lastIndexOf(char[], int, int, char[], int, int, int)
           
 int lastIndexOf(int)
           
 int lastIndexOf(int, int)
           
 int lastIndexOf(String)
           
 int lastIndexOf(String, int)
           
 int length()
           
 boolean matches(String)
           
 boolean regionMatches(boolean, int, String, int, int)
           
 boolean regionMatches(int, String, int, int)
           
 String replace(char, char)
           
 String replaceAll(String, String)
           
 String replaceFirst(String, String)
           
 String[] split(String)
           
 String[] split(String, int)
           
 boolean startsWith(String)
           
 boolean startsWith(String, int)
           
 CharSequence subSequence(int, int)
           
 String substring(int)
           
 String substring(int, int)
           
 char[] toCharArray()
           
 String toLowerCase()
           
 String toLowerCase(Locale)
           
 String toString()
           
 String toUpperCase()
           
 String toUpperCase(Locale)
           
 String trim()
           
static String valueOf(boolean)
           
static String valueOf(char)
           
static String valueOf(char[])
           
static String valueOf(char[], int, int)
           
static String valueOf(double)
           
static String valueOf(float)
           
static String valueOf(int)
           
static String valueOf(Object)
           
static String valueOf(long)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

serialPersistentFields

private static final ObjectStreamField[] serialPersistentFields

count

private int count

CASE_INSENSITIVE_ORDER

public static final Comparator CASE_INSENSITIVE_ORDER

value

private char[] value

hash

private int hash

offset

private int offset

serialVersionUID

private static final long serialVersionUID
Constructor Detail

String

public String()

String

String(int,
       int,
       char[])

String

public String(byte[])

String

public String(byte[],
              int)

String

public String(byte[],
              int,
              int)

String

public String(byte[],
              int,
              int,
              int)

String

public String(char[])

String

public String(char[],
              int,
              int)

String

public String(String)

String

public String(byte[],
              int,
              int,
              String)
       throws UnsupportedEncodingException
Throws:
UnsupportedEncodingException

String

public String(byte[],
              String)
       throws UnsupportedEncodingException
Throws:
UnsupportedEncodingException

String

public String(StringBuffer)
Method Detail

hashCode

public int hashCode()
Specified by:
hashCode in interface CharSequence
Overrides:
hashCode in class Object

length

public int length()
Specified by:
length in interface CharSequence

getBytes

public byte[] getBytes()

toCharArray

public char[] toCharArray()

charAt

public char charAt(int)
Specified by:
charAt in interface CharSequence

indexOf

public int indexOf(int)

lastIndexOf

public int lastIndexOf(int)

indexOf

public int indexOf(int,
                   int)

lastIndexOf

public int lastIndexOf(int,
                       int)

getBytes

public void getBytes(int,
                     int,
                     byte[],
                     int)

getChars

public void getChars(int,
                     int,
                     char[],
                     int)

checkBounds

private static void checkBounds(byte[],
                                int,
                                int)

indexOf

static int indexOf(char[],
                   int,
                   int,
                   char[],
                   int,
                   int,
                   int)

lastIndexOf

static int lastIndexOf(char[],
                       int,
                       int,
                       char[],
                       int,
                       int,
                       int)

subSequence

public CharSequence subSequence(int,
                                int)
Specified by:
subSequence in interface CharSequence

compareTo

public int compareTo(Object)
Specified by:
compareTo in interface Comparable

equals

public boolean equals(Object)
Specified by:
equals in interface CharSequence
Overrides:
equals in class Object

intern

public String intern()

toLowerCase

public String toLowerCase()

toString

public String toString()
Specified by:
toString in interface CharSequence
Overrides:
toString in class Object

toUpperCase

public String toUpperCase()

trim

public String trim()

valueOf

public static String valueOf(char)

replace

public String replace(char,
                      char)

valueOf

public static String valueOf(double)

valueOf

public static String valueOf(float)

substring

public String substring(int)

valueOf

public static String valueOf(int)

substring

public String substring(int,
                        int)

regionMatches

public boolean regionMatches(int,
                             String,
                             int,
                             int)

valueOf

public static String valueOf(long)

compareTo

public int compareTo(String)

compareToIgnoreCase

public int compareToIgnoreCase(String)

indexOf

public int indexOf(String)

lastIndexOf

public int lastIndexOf(String)

endsWith

public boolean endsWith(String)

equalsIgnoreCase

public boolean equalsIgnoreCase(String)

matches

public boolean matches(String)

startsWith

public boolean startsWith(String)

getBytes

public byte[] getBytes(String)
                throws UnsupportedEncodingException
Throws:
UnsupportedEncodingException

indexOf

public int indexOf(String,
                   int)

lastIndexOf

public int lastIndexOf(String,
                       int)

startsWith

public boolean startsWith(String,
                          int)

valueOf

public static String valueOf(boolean)

regionMatches

public boolean regionMatches(boolean,
                             int,
                             String,
                             int,
                             int)

copyValueOf

public static String copyValueOf(char[])

valueOf

public static String valueOf(char[])

copyValueOf

public static String copyValueOf(char[],
                                 int,
                                 int)

valueOf

public static String valueOf(char[],
                             int,
                             int)

contentEquals

public boolean contentEquals(StringBuffer)

valueOf

public static String valueOf(Object)

concat

public String concat(String)

split

public String[] split(String)

split

public String[] split(String,
                      int)

toLowerCase

public String toLowerCase(Locale)

toUpperCase

public String toUpperCase(Locale)

replaceAll

public String replaceAll(String,
                         String)

replaceFirst

public String replaceFirst(String,
                           String)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.