2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_io_PushbackReader__
5 #define __java_io_PushbackReader__
9 #include <java/io/FilterReader.h>
10 #include <gcj/array.h>
13 class java::io::PushbackReader
: public ::java::io::FilterReader
17 PushbackReader(::java::io::Reader
*);
18 PushbackReader(::java::io::Reader
*, jint
);
20 virtual void mark(jint
);
21 virtual jboolean
markSupported();
23 virtual jboolean
ready();
24 virtual jlong
skip(jlong
);
26 virtual jint
read(JArray
< jchar
> *, jint
, jint
);
27 virtual void unread(jint
);
28 virtual void unread(JArray
< jchar
> *);
29 virtual void unread(JArray
< jchar
> *, jint
, jint
);
31 static const jint DEFAULT_BUFFER_SIZE
= 1;
32 JArray
< jchar
> * __attribute__((aligned(__alignof__( ::java::io::FilterReader
)))) buf
;
35 static ::java::lang::Class
class$
;
38 #endif // __java_io_PushbackReader__