BufferedReader.h 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657
  1. // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
  2. #ifndef __gnu_xml_stream_BufferedReader__
  3. #define __gnu_xml_stream_BufferedReader__
  4. #pragma interface
  5. #include <java/io/Reader.h>
  6. #include <gcj/array.h>
  7. extern "Java"
  8. {
  9. namespace gnu
  10. {
  11. namespace xml
  12. {
  13. namespace stream
  14. {
  15. class BufferedReader;
  16. }
  17. }
  18. }
  19. }
  20. class gnu::xml::stream::BufferedReader : public ::java::io::Reader
  21. {
  22. public: // actually package-private
  23. BufferedReader(::java::io::Reader *);
  24. BufferedReader(::java::io::Reader *, jint);
  25. public:
  26. virtual void close();
  27. virtual void mark(jint);
  28. virtual jboolean markSupported();
  29. virtual jint read();
  30. virtual jint read(JArray< jchar > *);
  31. virtual jint read(JArray< jchar > *, jint, jint);
  32. virtual void reset();
  33. virtual jlong skip(jlong);
  34. private:
  35. jboolean refill();
  36. public: // actually package-private
  37. static const jint DEFAULT_BUFFER_SIZE = 4096;
  38. ::java::io::Reader * __attribute__((aligned(__alignof__( ::java::io::Reader)))) in;
  39. JArray< jchar > * buf;
  40. jint pos;
  41. jint count;
  42. jint markpos;
  43. jint marklimit;
  44. jint bufferSize;
  45. public:
  46. static ::java::lang::Class class$;
  47. };
  48. #endif // __gnu_xml_stream_BufferedReader__