// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- #ifndef __java_io_BufferedReader__ #define __java_io_BufferedReader__ #pragma interface #include #include class java::io::BufferedReader : public ::java::io::Reader { public: BufferedReader(::java::io::Reader *); BufferedReader(::java::io::Reader *, jint); virtual void close(); virtual jboolean markSupported(); virtual void mark(jint); virtual void reset(); virtual jboolean ready(); virtual jint read(JArray< jchar > *, jint, jint); private: jint fill(); public: virtual jint read(); private: jint lineEnd(jint); public: virtual ::java::lang::String * readLine(); virtual jlong skip(jlong); private: void checkStatus(); public: // actually package-private ::java::io::Reader * __attribute__((aligned(__alignof__( ::java::io::Reader)))) in; JArray< jchar > * buffer; jint pos; jint limit; jint markPos; static const jint DEFAULT_BUFFER_SIZE = 8192; public: static ::java::lang::Class class$; }; #endif // __java_io_BufferedReader__