public final class ReaderCharacterIterator 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.Reader |
reader
Underlying reader
|
Constructor and Description |
---|
ReaderCharacterIterator(java.io.Reader reader) |
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.Reader reader
private final java.lang.StringBuffer buff
private boolean closed
public ReaderCharacterIterator(java.io.Reader reader)
reader
- a Reader, 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.