| gnu.lists.CharSeq
All known Subclasses: gnu.lists.FString,
| CharSeq | | public interface CharSeq extends Sequence(Code) | | A sequence where each element is a character.
Note: It appears that JDK 1.4 will have a new interface
java.lang.CharSequence, with charAt length, subSequence, and toString.
|
| Method Summary | |
| public char | charAt(int index)
| | public void | consume(int start, int count, Consumer out)
| | public void | fill(char value)
Set all the elements to a given character. | | public void | fill(int fromIndex, int toIndex, char value)
| | 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. | | public int | length()
Get length of string, in characters.
Synonym for size(), for compatibility with String and StringBuffer. | | public void | setCharAt(int index, char ch)
| | public String | toString()
| | public void | writeTo(int start, int count, java.io.Writer dest)
Write out (part of) this string. | | public void | writeTo(java.io.Writer str)
|
| charAt | | public char charAt(int index)(Code) | | |
| fill | | public void fill(char value)(Code) | | Set all the elements to a given character.
|
| fill | | public void fill(int fromIndex, int toIndex, char value)(Code) | | |
| getChars | | public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin)(Code) | | Copy characters into a destination buffer.
Same interface as java.lang.String's getChars.
|
| length | | public int length()(Code) | | Get length of string, in characters.
Synonym for size(), for compatibility with String and StringBuffer.
|
| setCharAt | | public void setCharAt(int index, char ch)(Code) | | |
| writeTo | | public void writeTo(int start, int count, java.io.Writer dest) throws java.io.IOException(Code) | | Write out (part of) this string.
Parameters:
start - index of initial character to write
Parameters:
count - number of characters to write
Parameters:
dest - where to write the characters |
|
|