构造器和说明 |
---|
StringSource(java.lang.String string)
Construct a source using the provided string.
|
StringSource(java.lang.String string,
java.lang.String character_set)
Construct a source using the provided string and encoding.
|
限定符和类型 | 方法和说明 |
---|---|
int |
available()
Get the number of available characters.
|
void |
close()
Does nothing.
|
void |
destroy()
Close the source.
|
char |
getCharacter(int offset)
Retrieve a character again.
|
void |
getCharacters(char[] array,
int offset,
int start,
int end)
Retrieve characters again.
|
void |
getCharacters(java.lang.StringBuffer buffer,
int offset,
int length)
Append characters already read into a
StringBuffer . |
java.lang.String |
getEncoding()
Get the encoding being used to convert characters.
|
java.lang.String |
getString(int offset,
int length)
Retrieve a string comprised of characters already read.
|
void |
mark(int readAheadLimit)
Mark the present position in the source.
|
boolean |
markSupported()
Tell whether this source supports the mark() operation.
|
int |
offset()
Get the position (in characters).
|
int |
read()
Read a single character.
|
int |
read(char[] cbuf)
Read characters into an array.
|
int |
read(char[] cbuf,
int off,
int len)
Read characters into a portion of an array.
|
boolean |
ready()
Tell whether this source is ready to be read.
|
void |
reset()
Reset the source.
|
void |
setEncoding(java.lang.String character_set)
Set the encoding to the given character set.
|
long |
skip(long n)
Skip characters.
|
void |
unread()
Undo the read of a single character.
|
public StringSource(java.lang.String string)
string
- The source of characters.public StringSource(java.lang.String string, java.lang.String character_set)
getEncoding()
.string
- The source of characters.character_set
- The encoding to report.public java.lang.String getEncoding()
getEncoding
在类中 Source
public void setEncoding(java.lang.String character_set) throws ParserException
getEncoding()
.setEncoding
在类中 Source
character_set
- The character set to use to convert characters.ParserException
- Not thrown.public void close() throws java.io.IOException
public int read() throws java.io.IOException
public int read(char[] cbuf, int off, int len) throws java.io.IOException
public int read(char[] cbuf) throws java.io.IOException
public boolean ready() throws java.io.IOException
ready
在类中 Source
available()
, i.e. there are
still more characters to read.java.io.IOException
- Thrown if the source is closed.public void reset() throws java.lang.IllegalStateException
public boolean markSupported()
markSupported
在类中 Source
true
.public void mark(int readAheadLimit) throws java.io.IOException
reset()
will attempt to reposition the source to this point.public long skip(long n) throws java.io.IOException, java.lang.IllegalArgumentException
public void unread() throws java.io.IOException
public char getCharacter(int offset) throws java.io.IOException
getCharacter
在类中 Source
offset
- The offset of the character.offset
.java.io.IOException
- If the source is closed or an attempt is made to
read beyond offset()
.public void getCharacters(char[] array, int offset, int start, int end) throws java.io.IOException
getCharacters
在类中 Source
array
- The array of characters.offset
- The starting position in the array where characters are to be placed.start
- The starting position, zero based.end
- The ending position
(exclusive, i.e. the character at the ending position is not included),
zero based.java.io.IOException
- If the source is closed or an attempt is made to
read beyond offset()
.public java.lang.String getString(int offset, int length) throws java.io.IOException
offset()
will throw an exception.public void getCharacters(java.lang.StringBuffer buffer, int offset, int length) throws java.io.IOException
StringBuffer
.
Asking for characters ahead of offset()
will throw an exception.getCharacters
在类中 Source
buffer
- The buffer to append to.offset
- The offset of the first character.length
- The number of characters to retrieve.java.io.IOException
- If the source is closed or an attempt is made to
read beyond offset()
.public void destroy() throws java.io.IOException
public int offset()