2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_io_BufferedWriter__
5 #define __java_io_BufferedWriter__
9 #include <java/io/Writer.h>
10 #include <gcj/array.h>
13 class java::io::BufferedWriter
: public ::java::io::Writer
17 BufferedWriter(::java::io::Writer
*);
18 BufferedWriter(::java::io::Writer
*, jint
);
21 virtual void newLine();
22 virtual void write(jint
);
23 virtual void write(JArray
< jchar
> *, jint
, jint
);
24 virtual void write(::java::lang::String
*, jint
, jint
);
27 static const jint DEFAULT_BUFFER_SIZE
= 8192;
28 ::java::io::Writer
* __attribute__((aligned(__alignof__( ::java::io::Writer
)))) out
;
29 public: // actually package-private
30 JArray
< jchar
> * buffer
;
33 static ::java::lang::Class
class$
;
36 #endif // __java_io_BufferedWriter__