限定符和类型 | 字段和说明 |
---|---|
static int |
BUFFER_SIZE
An initial buffer size.
|
构造器和说明 |
---|
InputStreamSource(java.io.InputStream stream)
Create a source of characters using the default character set.
|
InputStreamSource(java.io.InputStream stream,
java.lang.String charset)
Create a source of characters.
|
InputStreamSource(java.io.InputStream stream,
java.lang.String charset,
int size)
Create a source of characters.
|
限定符和类型 | 方法和说明 |
---|---|
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.io.InputStream |
getStream()
Get the input stream being used.
|
java.lang.String |
getString(int offset,
int length)
Retrieve a string.
|
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)
Begins reading from the source with the given character set.
|
long |
skip(long n)
Skip characters.
|
void |
unread()
Undo the read of a single character.
|
public static int BUFFER_SIZE
public InputStreamSource(java.io.InputStream stream) throws java.io.UnsupportedEncodingException
stream
- The stream of bytes to use.java.io.UnsupportedEncodingException
- If the default character set
is unsupported.public InputStreamSource(java.io.InputStream stream, java.lang.String charset) throws java.io.UnsupportedEncodingException
stream
- The stream of bytes to use.charset
- The character set used in encoding the stream.java.io.UnsupportedEncodingException
- If the character set
is unsupported.public InputStreamSource(java.io.InputStream stream, java.lang.String charset, int size) throws java.io.UnsupportedEncodingException
stream
- The stream of bytes to use.charset
- The character set used in encoding the stream.size
- The initial character buffer size.java.io.UnsupportedEncodingException
- If the character set
is unsupported.public java.io.InputStream getStream()
public java.lang.String getEncoding()
getEncoding
在类中 Source
public void setEncoding(java.lang.String character_set) throws ParserException
Some magic happens here to obtain this result if characters have already been consumed from this source. Since a Reader cannot be dynamically altered to use a different character set, the underlying stream is reset, a new Source is constructed and a comparison made of the characters read so far with the newly read characters up to the current position. If a difference is encountered, or some other problem occurs, an exception is thrown.
setEncoding
在类中 Source
character_set
- The character set to use to convert bytes into
characters.ParserException
- If a character mismatch occurs between
characters already provided and those that would have been returned
had the new character set been in effect from the beginning. An
exception is also thrown if the underlying stream won't put up with
these shenanigans.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 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 boolean ready() throws java.io.IOException
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 offset is beyond offset()
or the
source is closed.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 start or end is beyond offset()
or the source is closed.public java.lang.String getString(int offset, int length) throws java.io.IOException
public void getCharacters(java.lang.StringBuffer buffer, int offset, int length) throws java.io.IOException
StringBuffer
.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 offset or (offset + length) is beyond
offset()
or the source is closed.public void destroy() throws java.io.IOException
public int offset()