public final class CharSlice extends Object implements CharSequence, Serializable
Constructor and Description |
---|
CharSlice(char[] array) |
CharSlice(char[] array,
int start,
int length) |
Modifier and Type | Method and Description |
---|---|
char |
charAt(int index)
Returns the character at the specified index.
|
void |
copyTo(char[] destination,
int destOffset)
Append the contents to another array at a given offset.
|
boolean |
equals(Object other)
Compare equality
|
int |
hashCode()
Generate a hash code
|
int |
indexOf(char c)
Get the index of a specific character in the sequence.
|
int |
length()
Returns the length of this character sequence.
|
void |
setLength(int length)
Set the length of this character sequence, without changing the array and start offset
to which it is bound
|
CharSequence |
subSequence(int start,
int end)
Returns a new character sequence that is a subsequence of this sequence.
|
String |
substring(int start,
int end)
Returns a new character sequence that is a subsequence of this sequence.
|
String |
toString()
Convert to a string
|
void |
write(Writer writer)
Write the value to a writer
|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
chars, codePoints
public CharSlice(char[] array)
public CharSlice(char[] array, int start, int length)
public int length()
length
in interface CharSequence
public void setLength(int length)
public char charAt(int index)
charAt
in interface CharSequence
index
- the index of the character to be returnedIndexOutOfBoundsException
- if the index argument is negative or not less than
length()public CharSequence subSequence(int start, int end)
subSequence
in interface CharSequence
start
- the start index, inclusiveend
- the end index, exclusiveIndexOutOfBoundsException
- if start or end are negative,
if end is greater than length(),
or if start is greater than endpublic String toString()
toString
in interface CharSequence
toString
in class Object
public int indexOf(char c)
String.indexOf(int)
c
- the character to be foundpublic String substring(int start, int end)
public void copyTo(char[] destination, int destOffset)
destination
- the array to which the characters will be copieddestOffset
- the offset in the target array where the copy will startpublic void write(Writer writer) throws IOException
IOException