| |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- |
| |
| #ifndef __gnu_java_rmi_dgc_DGCImpl__ |
| #define __gnu_java_rmi_dgc_DGCImpl__ |
| |
| #pragma interface |
| |
| #include <gnu/java/rmi/server/UnicastServerRef.h> |
| #include <gcj/array.h> |
| |
| extern "Java" |
| { |
| namespace gnu |
| { |
| namespace java |
| { |
| namespace rmi |
| { |
| namespace dgc |
| { |
| class DGCImpl; |
| } |
| } |
| } |
| } |
| namespace java |
| { |
| namespace rmi |
| { |
| namespace dgc |
| { |
| class Lease; |
| class VMID; |
| } |
| namespace server |
| { |
| class ObjID; |
| } |
| } |
| } |
| } |
| |
| class gnu::java::rmi::dgc::DGCImpl : public ::gnu::java::rmi::server::UnicastServerRef |
| { |
| |
| public: |
| DGCImpl(); |
| virtual ::java::rmi::dgc::Lease * dirty(JArray< ::java::rmi::server::ObjID * > *, jlong, ::java::rmi::dgc::Lease *); |
| virtual void clean(JArray< ::java::rmi::server::ObjID * > *, jlong, ::java::rmi::dgc::VMID *, jboolean); |
| private: |
| static const jlong serialVersionUID = 1LL; |
| public: // actually package-private |
| static const jlong LEASE_VALUE = 600000LL; |
| public: |
| static ::java::lang::Class class$; |
| }; |
| |
| #endif // __gnu_java_rmi_dgc_DGCImpl__ |