2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_io_FileInputStream__
5 #define __java_io_FileInputStream__
9 #include <java/io/InputStream.h>
10 #include <gcj/array.h>
22 class FileChannelImpl
;
39 class java::io::FileInputStream
: public ::java::io::InputStream
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
*);
49 virtual jint
available();
51 public: // actually protected
52 virtual void finalize();
54 virtual ::java::io::FileDescriptor
* getFD();
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();
61 ::java::io::FileDescriptor
* __attribute__((aligned(__alignof__( ::java::io::InputStream
)))) fd
;
62 ::gnu::java::nio::channels::FileChannelImpl
* ch
;
64 static ::java::lang::Class
class$
;
67 #endif // __java_io_FileInputStream__