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