01: package java.io;
02:
03: public class PushbackReader extends FilterReader {
04: public PushbackReader(Reader in) {
05: }
06:
07: public PushbackReader(Reader in, int bufsize) {
08: }
09:
10: public void close() throws IOException {
11: }
12:
13: public void mark(int read_limit) throws IOException {
14: }
15:
16: public boolean markSupported() {
17: }
18:
19: public void reset() throws IOException {
20: }
21:
22: public boolean ready() throws IOException {
23: }
24:
25: public long skip(long num_chars) throws IOException {
26: }
27:
28: public int read() throws IOException {
29: }
30:
31: public synchronized int read(char[] buffer, int offset, int length)
32: throws IOException {
33: }
34:
35: public void unread(int b) throws IOException {
36: }
37:
38: public synchronized void unread(char[] buf) throws IOException {
39: }
40:
41: public synchronized void unread(char[] buffer, int offset,
42: int length) throws IOException {
43: }
44: }
|