| com.go.tea.io.PositionReader
 com.go.tea.io.PushbackPositionReader
All known Subclasses: com.go.tea.io.SourceReader,
| PushbackPositionReader | | public class PushbackPositionReader extends PositionReader (Code) | | The PushbackPositionReader is a kind of pushback reader that tracks the
postion in the stream of the next character to be read.
The java.io.PushbackReader allows arbitrary characters
to be pushed back. Since this Reader may need to keep track of how many
characters were scanned from the underlying Reader to actually produce
a character, the unread operation cannot accept any arbitrary character.
author:
Brian S O'Neill
version:
11 , 12/11/00
See Also: java.io.PushbackReader |
| Method Summary | |
| public int | getStartPosition()
| | public int | peek()
| | public int | read()
| | public void | unread(int amount)
Unread the last several characters read.
Unlike PushbackReader, unread does not allow arbitrary characters to
to be unread. | | public void | unread()
Unread the last character read.
Unlike PushbackReader, unread does not allow arbitrary characters to
to be unread. | | protected void | unreadHook(int c)
A hook call from the unread method(s). |
| PushbackPositionReader | | public PushbackPositionReader(Reader reader)(Code) | | |
| PushbackPositionReader | | public PushbackPositionReader(Reader reader, int pushback)(Code) | | |
| getStartPosition | | public int getStartPosition()(Code) | | the start position of the last read character. |
| unread | | public void unread(int amount) throws IOException(Code) | | Unread the last several characters read.
Unlike PushbackReader, unread does not allow arbitrary characters to
to be unread. Rather, it functions like an undo operation.
Parameters:
amount - Amount of characters to unread.
See Also: java.io.PushbackReader.unread(int) |
| unread | | public void unread() throws IOException(Code) | | Unread the last character read.
Unlike PushbackReader, unread does not allow arbitrary characters to
to be unread. Rather, it functions like an undo operation.
See Also: java.io.PushbackReader.unread(int) |
| unreadHook | | protected void unreadHook(int c)(Code) | | A hook call from the unread method(s). Every unread character is
passed to this method.
|
|
|