org.objectweb.jac.util
Class PushbackReader
java.lang.Object
java.io.Reader
java.io.FilterReader
java.io.PushbackReader
org.objectweb.jac.util.PushbackReader
- public class PushbackReader
- extends PushbackReader
A PushbackReader which keeps track of the position in the stream
- See Also:
getPosition()
Method Summary |
int |
getPosition()
Returns the position in the stream |
int |
read()
|
int |
read(char[] cbuf,
int off,
int len)
|
void |
unread(char[] cbuf,
int off,
int len)
|
void |
unread(int c)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PushbackReader
public PushbackReader(Reader in)
PushbackReader
public PushbackReader(Reader in,
int size)
- Parameters:
in
- reader to read fromsize
- bushback buffer size- See Also:
PushbackReader.PushbackReader(Reader,int)
read
public int read()
throws IOException
- Throws:
IOException
read
public int read(char[] cbuf,
int off,
int len)
throws IOException
- Throws:
IOException
unread
public void unread(int c)
throws IOException
- Throws:
IOException
unread
public void unread(char[] cbuf,
int off,
int len)
throws IOException
- Throws:
IOException
getPosition
public int getPosition()
- Returns the position in the stream