1 2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- 3 4 #ifndef __java_io_FileInputStream__ 5 #define __java_io_FileInputStream__ 6 7 #pragma interface 8 9 #include <java/io/InputStream.h> 10 #include <gcj/array.h> 11 12 extern "Java" 13 { 14 namespace gnu 15 { 16 namespace java 17 { 18 namespace nio 19 { 20 namespace channels 21 { 22 class FileChannelImpl; 23 } 24 } 25 } 26 } 27 namespace java 28 { 29 namespace nio 30 { 31 namespace channels 32 { 33 class FileChannel; 34 } 35 } 36 } 37 } 38 39 class java::io::FileInputStream : public ::java::io::InputStream 40 { 41 42 public: 43 FileInputStream(::java::lang::String *); 44 FileInputStream(::java::io::File *); 45 FileInputStream(::java::io::FileDescriptor *); 46 public: // actually package-private 47 FileInputStream(::gnu::java::nio::channels::FileChannelImpl *); 48 public: 49 virtual jint available(); 50 virtual void close(); 51 public: // actually protected 52 virtual void finalize(); 53 public: 54 virtual ::java::io::FileDescriptor * getFD(); 55 virtual jint read(); 56 virtual jint read(JArray< jbyte > *); 57 virtual jint read(JArray< jbyte > *, jint, jint); 58 virtual jlong skip(jlong); 59 virtual ::java::nio::channels::FileChannel * getChannel(); 60 private: 61 ::java::io::FileDescriptor * __attribute__((aligned(__alignof__( ::java::io::InputStream)))) fd; 62 ::gnu::java::nio::channels::FileChannelImpl * ch; 63 public: 64 static ::java::lang::Class class$; 65 }; 66 67 #endif // __java_io_FileInputStream__ 68