public final class StreamCharacterIterator extends java.lang.Object implements CharacterIterator
Modifier and Type | Field and Description |
---|---|
private java.lang.StringBuffer |
buff
Buffer of read chars
|
private boolean |
closed
read end?
|
private java.io.InputStream |
is
Underlying is
|
Constructor and Description |
---|
StreamCharacterIterator(java.io.InputStream is) |
Modifier and Type | Method and Description |
---|---|
char |
charAt(int pos) |
private void |
ensure(int idx)
Reads chars up to the idx
|
boolean |
isEnd(int pos) |
private int |
read(int n)
Reads n characters from the stream and appends them to the buffer
|
private void |
readAll()
Reads rest of the stream.
|
java.lang.String |
substring(int beginIndex) |
java.lang.String |
substring(int beginIndex,
int endIndex) |
private final java.io.InputStream is
private final java.lang.StringBuffer buff
private boolean closed
public StreamCharacterIterator(java.io.InputStream is)
is
- an InputStream, which is parsedpublic java.lang.String substring(int beginIndex, int endIndex)
substring
in interface CharacterIterator
public java.lang.String substring(int beginIndex)
substring
in interface CharacterIterator
public char charAt(int pos)
charAt
in interface CharacterIterator
public boolean isEnd(int pos)
isEnd
in interface CharacterIterator
private int read(int n) throws java.io.IOException
java.io.IOException
private void readAll() throws java.io.IOException
java.io.IOException
private void ensure(int idx) throws java.io.IOException
java.io.IOException
Copyright © 2001-2007 Apache Software Foundation. All Rights Reserved.