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