1 
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
3 
4 #ifndef __java_nio_channels_FileLock__
5 #define __java_nio_channels_FileLock__
6 
7 #pragma interface
8 
9 #include <java/lang/Object.h>
10 extern "Java"
11 {
12   namespace java
13   {
14     namespace nio
15     {
16       namespace channels
17       {
18           class FileChannel;
19           class FileLock;
20       }
21     }
22   }
23 }
24 
25 class java::nio::channels::FileLock : public ::java::lang::Object
26 {
27 
28 public: // actually protected
29   FileLock(::java::nio::channels::FileChannel *, jlong, jlong, jboolean);
30 public:
31   virtual jboolean isValid() = 0;
32   virtual void release() = 0;
33   virtual ::java::nio::channels::FileChannel * channel();
34   virtual jboolean isShared();
35   virtual jboolean overlaps(jlong, jlong);
36   virtual jlong position();
37   virtual jlong size();
38   virtual ::java::lang::String * toString();
39   virtual void close() = 0;
40 private:
41   ::java::nio::channels::FileChannel * __attribute__((aligned(__alignof__( ::java::lang::Object)))) channel__;
42   jlong position__;
43   jlong size__;
44   jboolean shared;
45 public:
46   static ::java::lang::Class class$;
47 };
48 
49 #endif // __java_nio_channels_FileLock__
50