1 
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
3 
4 #ifndef __java_rmi_dgc_Lease__
5 #define __java_rmi_dgc_Lease__
6 
7 #pragma interface
8 
9 #include <java/lang/Object.h>
10 extern "Java"
11 {
12   namespace java
13   {
14     namespace rmi
15     {
16       namespace dgc
17       {
18           class Lease;
19           class VMID;
20       }
21     }
22   }
23 }
24 
25 class java::rmi::dgc::Lease : public ::java::lang::Object
26 {
27 
28 public:
29   Lease(::java::rmi::dgc::VMID *, jlong);
30   ::java::rmi::dgc::VMID * getVMID();
31   jlong getValue();
32   ::java::lang::String * toString();
33 public: // actually package-private
34   static const jlong serialVersionUID = -5713411624328831948LL;
35 private:
36   ::java::rmi::dgc::VMID * __attribute__((aligned(__alignof__( ::java::lang::Object)))) vmid;
37   jlong value;
38 public:
39   static ::java::lang::Class class$;
40 };
41 
42 #endif // __java_rmi_dgc_Lease__
43