1 /* This file is machine generated, don't edit it !*/
3 /* Structure information for class: java/io/PrintStream */
5 typedef struct java_io_PrintStream {
6 java_objectheader header;
7 struct java_io_OutputStream* out;
10 struct java_io_BufferedWriter* textOut;
11 struct java_io_OutputStreamWriter* charOut;
13 } java_io_PrintStream;