JML

java.lang
Class StringBuilder

java.lang.Object
  extended byjava.lang.AbstractStringBuilder
      extended byjava.lang.StringBuilder
All Implemented Interfaces:
Appendable, CharSequence, Serializable

public final class StringBuilder
extends AbstractStringBuilder
implements Serializable, CharSequence


Field Summary
(package private)  int count
           
(package private) static long serialVersionUID
           
(package private) static int[] sizeTable
           
(package private)  char[] value
           
 
Constructor Summary
StringBuilder()
           
StringBuilder(int)
           
StringBuilder(CharSequence)
           
StringBuilder(String)
           
 
Method Summary
 StringBuilder append(boolean)
           
 AbstractStringBuilder append(boolean)
           
 StringBuilder append(char)
           
 AbstractStringBuilder append(char)
           
 Appendable append(char)
           
 StringBuilder append(char[])
           
 AbstractStringBuilder append(char[])
           
 StringBuilder append(char[], int, int)
           
 AbstractStringBuilder append(char[], int, int)
           
 StringBuilder append(double)
           
 AbstractStringBuilder append(double)
           
 StringBuilder append(float)
           
 AbstractStringBuilder append(float)
           
 StringBuilder append(int)
           
 AbstractStringBuilder append(int)
           
 StringBuilder append(CharSequence)
           
 AbstractStringBuilder append(CharSequence)
           
 Appendable append(CharSequence)
           
 StringBuilder append(CharSequence, int, int)
           
 AbstractStringBuilder append(CharSequence, int, int)
           
 Appendable append(CharSequence, int, int)
           
 StringBuilder append(Object)
           
 AbstractStringBuilder append(Object)
           
 StringBuilder append(String)
           
 AbstractStringBuilder append(String)
           
 StringBuilder append(StringBuffer)
           
 AbstractStringBuilder append(StringBuffer)
           
private  StringBuilder append(StringBuilder)
           
 StringBuilder append(long)
           
 AbstractStringBuilder append(long)
           
 StringBuilder appendCodePoint(int)
           
 AbstractStringBuilder appendCodePoint(int)
           
 int capacity()
           
 char charAt(int)
           
 int codePointAt(int)
           
 int codePointBefore(int)
           
 int codePointCount(int, int)
           
 StringBuilder delete(int, int)
           
 AbstractStringBuilder delete(int, int)
           
 StringBuilder deleteCharAt(int)
           
 AbstractStringBuilder deleteCharAt(int)
           
 void ensureCapacity(int)
           
(package private)  void expandCapacity(int)
           
 void getChars(int, int, char[], int)
           
(package private)  char[] getValue()
           
 int indexOf(String)
           
 int indexOf(String, int)
           
 StringBuilder insert(int, boolean)
           
 AbstractStringBuilder insert(int, boolean)
           
 StringBuilder insert(int, char)
           
 AbstractStringBuilder insert(int, char)
           
 StringBuilder insert(int, char[])
           
 AbstractStringBuilder insert(int, char[])
           
 StringBuilder insert(int, char[], int, int)
           
 AbstractStringBuilder insert(int, char[], int, int)
           
 StringBuilder insert(int, double)
           
 AbstractStringBuilder insert(int, double)
           
 StringBuilder insert(int, float)
           
 AbstractStringBuilder insert(int, float)
           
 StringBuilder insert(int, int)
           
 AbstractStringBuilder insert(int, int)
           
 StringBuilder insert(int, CharSequence)
           
 AbstractStringBuilder insert(int, CharSequence)
           
 StringBuilder insert(int, CharSequence, int, int)
           
 AbstractStringBuilder insert(int, CharSequence, int, int)
           
 StringBuilder insert(int, Object)
           
 AbstractStringBuilder insert(int, Object)
           
 StringBuilder insert(int, String)
           
 AbstractStringBuilder insert(int, String)
           
 StringBuilder insert(int, long)
           
 AbstractStringBuilder insert(int, long)
           
 int lastIndexOf(String)
           
 int lastIndexOf(String, int)
           
 int length()
           
 int offsetByCodePoints(int, int)
           
private  void readObject(ObjectInputStream)
           
 StringBuilder replace(int, int, String)
           
 AbstractStringBuilder replace(int, int, String)
           
 StringBuilder reverse()
           
 AbstractStringBuilder reverse()
           
 void setCharAt(int, char)
           
 void setLength(int)
           
(package private) static int stringSizeOfInt(int)
           
(package private) static int stringSizeOfLong(long)
           
 CharSequence subSequence(int, int)
           
 String substring(int)
           
 String substring(int, int)
           
 String toString()
           
 void trimToSize()
           
private  void writeObject(ObjectOutputStream)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.lang.CharSequence
equals, hashCode
 

Field Detail

serialVersionUID

static final long serialVersionUID

count

int count

value

char[] value

sizeTable

static final int[] sizeTable
Constructor Detail

StringBuilder

public StringBuilder()

StringBuilder

public StringBuilder(int)

StringBuilder

public StringBuilder(String)

StringBuilder

public StringBuilder(CharSequence)
Method Detail

append

public StringBuilder append(Object)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(String)
Overrides:
append in class AbstractStringBuilder

append

private StringBuilder append(StringBuilder)

append

public StringBuilder append(StringBuffer)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(CharSequence)
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(CharSequence,
                            int,
                            int)
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(char[])
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(char[],
                            int,
                            int)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(boolean)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(char)
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(int)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(long)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(float)
Overrides:
append in class AbstractStringBuilder

append

public StringBuilder append(double)
Overrides:
append in class AbstractStringBuilder

appendCodePoint

public StringBuilder appendCodePoint(int)
Overrides:
appendCodePoint in class AbstractStringBuilder

delete

public StringBuilder delete(int,
                            int)
Overrides:
delete in class AbstractStringBuilder

deleteCharAt

public StringBuilder deleteCharAt(int)
Overrides:
deleteCharAt in class AbstractStringBuilder

replace

public StringBuilder replace(int,
                             int,
                             String)
Overrides:
replace in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            char[],
                            int,
                            int)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            Object)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            String)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            char[])
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            CharSequence)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            CharSequence,
                            int,
                            int)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            boolean)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            char)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            int)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            long)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            float)
Overrides:
insert in class AbstractStringBuilder

insert

public StringBuilder insert(int,
                            double)
Overrides:
insert in class AbstractStringBuilder

indexOf

public int indexOf(String)
Overrides:
indexOf in class AbstractStringBuilder

indexOf

public int indexOf(String,
                   int)
Overrides:
indexOf in class AbstractStringBuilder

lastIndexOf

public int lastIndexOf(String)
Overrides:
lastIndexOf in class AbstractStringBuilder

lastIndexOf

public int lastIndexOf(String,
                       int)
Overrides:
lastIndexOf in class AbstractStringBuilder

reverse

public StringBuilder reverse()
Overrides:
reverse in class AbstractStringBuilder

toString

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

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

readObject

private void readObject(ObjectInputStream)
                 throws IOException,
                        ClassNotFoundException
Throws:
IOException
ClassNotFoundException

reverse

public volatile AbstractStringBuilder reverse()
Overrides:
reverse in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             double)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             float)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             long)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             int)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             char)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             boolean)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             CharSequence,
                                             int,
                                             int)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             CharSequence)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             char[])
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             String)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             Object)
Overrides:
insert in class AbstractStringBuilder

insert

public volatile AbstractStringBuilder insert(int,
                                             char[],
                                             int,
                                             int)
Overrides:
insert in class AbstractStringBuilder

substring

public volatile String substring(int,
                                 int)
Overrides:
substring in class AbstractStringBuilder

subSequence

public volatile CharSequence subSequence(int,
                                         int)
Specified by:
subSequence in interface CharSequence
Overrides:
subSequence in class AbstractStringBuilder

substring

public volatile String substring(int)
Overrides:
substring in class AbstractStringBuilder

replace

public volatile AbstractStringBuilder replace(int,
                                              int,
                                              String)
Overrides:
replace in class AbstractStringBuilder

deleteCharAt

public volatile AbstractStringBuilder deleteCharAt(int)
Overrides:
deleteCharAt in class AbstractStringBuilder

appendCodePoint

public volatile AbstractStringBuilder appendCodePoint(int)
Overrides:
appendCodePoint in class AbstractStringBuilder

delete

public volatile AbstractStringBuilder delete(int,
                                             int)
Overrides:
delete in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(double)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(float)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(long)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(int)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(char)
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(boolean)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(char[],
                                             int,
                                             int)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(char[])
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(CharSequence,
                                             int,
                                             int)
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(CharSequence)
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(StringBuffer)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(String)
Overrides:
append in class AbstractStringBuilder

append

public volatile AbstractStringBuilder append(Object)
Overrides:
append in class AbstractStringBuilder

setCharAt

public volatile void setCharAt(int,
                               char)
Overrides:
setCharAt in class AbstractStringBuilder

getChars

public volatile void getChars(int,
                              int,
                              char[],
                              int)
Overrides:
getChars in class AbstractStringBuilder

offsetByCodePoints

public volatile int offsetByCodePoints(int,
                                       int)
Overrides:
offsetByCodePoints in class AbstractStringBuilder

codePointCount

public volatile int codePointCount(int,
                                   int)
Overrides:
codePointCount in class AbstractStringBuilder

codePointBefore

public volatile int codePointBefore(int)
Overrides:
codePointBefore in class AbstractStringBuilder

codePointAt

public volatile int codePointAt(int)
Overrides:
codePointAt in class AbstractStringBuilder

charAt

public volatile char charAt(int)
Specified by:
charAt in interface CharSequence
Overrides:
charAt in class AbstractStringBuilder

setLength

public volatile void setLength(int)
Overrides:
setLength in class AbstractStringBuilder

trimToSize

public volatile void trimToSize()
Overrides:
trimToSize in class AbstractStringBuilder

ensureCapacity

public volatile void ensureCapacity(int)
Overrides:
ensureCapacity in class AbstractStringBuilder

capacity

public volatile int capacity()
Overrides:
capacity in class AbstractStringBuilder

length

public volatile int length()
Specified by:
length in interface CharSequence
Overrides:
length in class AbstractStringBuilder

append

public volatile Appendable append(char)
                           throws IOException
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder
Throws:
IOException

append

public volatile Appendable append(CharSequence,
                                  int,
                                  int)
                           throws IOException
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder
Throws:
IOException

append

public volatile Appendable append(CharSequence)
                           throws IOException
Specified by:
append in interface Appendable
Overrides:
append in class AbstractStringBuilder
Throws:
IOException

expandCapacity

void expandCapacity(int)

stringSizeOfInt

static int stringSizeOfInt(int)

stringSizeOfLong

static int stringSizeOfLong(long)

getValue

final char[] getValue()

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.