* profile.c (total_num_never_executed): Don't define.
[official-gcc.git] / libjava / java / io / OutputStreamWriter.h
blob8ad6c8e690a83ce7802a208e2fee95758320ce09
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_io_OutputStreamWriter__
5 #define __java_io_OutputStreamWriter__
7 #pragma interface
9 #include <java/io/Writer.h>
10 #include <gcj/array.h>
12 extern "Java"
14 namespace gnu
16 namespace gcj
18 namespace convert
20 class UnicodeToBytes;
24 namespace java
26 namespace nio
28 namespace charset
30 class Charset;
31 class CharsetEncoder;
37 class java::io::OutputStreamWriter : public ::java::io::Writer
40 OutputStreamWriter(::java::io::OutputStream *, ::gnu::gcj::convert::UnicodeToBytes *);
41 public:
42 OutputStreamWriter(::java::io::OutputStream *, ::java::lang::String *);
43 OutputStreamWriter(::java::io::OutputStream *);
44 OutputStreamWriter(::java::io::OutputStream *, ::java::nio::charset::Charset *);
45 OutputStreamWriter(::java::io::OutputStream *, ::java::nio::charset::CharsetEncoder *);
46 virtual void close();
47 virtual ::java::lang::String * getEncoding();
48 virtual void flush();
49 virtual void write(JArray< jchar > *, jint, jint);
50 private:
51 void writeChars(JArray< jchar > *, jint, jint);
52 public:
53 virtual void write(::java::lang::String *, jint, jint);
54 virtual void write(jint);
55 public: // actually package-private
56 ::java::io::BufferedOutputStream * __attribute__((aligned(__alignof__( ::java::io::Writer)))) out;
57 ::gnu::gcj::convert::UnicodeToBytes * converter;
58 private:
59 JArray< jchar > * work;
60 jint wcount;
61 public:
62 static ::java::lang::Class class$;
65 #endif // __java_io_OutputStreamWriter__