A sequence where each element is a character.
charAt
public char charAt(int index)
consume
public void consume(int start,
int count,
Consumer out)
fill
public void fill(char value)
Set all the elements to a given character.
fill
public void fill(int fromIndex,
int toIndex,
char value)
getChars
public void getChars(int srcBegin,
int srcEnd,
char[] dst,
int dstBegin)
Copy characters into a destination buffer.
Same interface as java.lang.String's getChars.
length
public int length()
Get length of string, in characters.
Synonym for size(), for compatibility with String and StringBuffer.
setCharAt
public void setCharAt(int index,
char ch)
subSequence
public CharSequence subSequence(int start,
int end)
toString
public String toString()
writeTo
public void writeTo(int start,
int count,
java.io.Writer dest)
throws java.io.IOException
Write out (part of) this string.
start
- index of initial character to writecount
- number of characters to writedest
- where to write the characters
writeTo
public void writeTo(java.io.Writer str)
throws java.io.IOException