1 /* This file is machine generated, don't edit it !*/
3 #ifndef _JAVA_IO_DATAINPUTSTREAM_H
4 #define _JAVA_IO_DATAINPUTSTREAM_H
6 /* Structure information for class: java/io/DataInputStream */
8 typedef struct java_io_DataInputStream {
9 java_objectheader header;
10 struct java_io_InputStream* in;
11 s4 ignoreInitialNewline;
13 } java_io_DataInputStream;