2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_rmi_dgc_DGC__
5 #define __java_rmi_dgc_DGC__
9 #include <java/lang/Object.h>
10 #include <gcj/array.h>
32 class java::rmi::dgc::DGC
: public ::java::lang::Object
36 virtual ::java::rmi::dgc::Lease
* dirty(JArray
< ::java::rmi::server::ObjID
* > *, jlong
, ::java::rmi::dgc::Lease
*) = 0;
37 virtual void clean(JArray
< ::java::rmi::server::ObjID
* > *, jlong
, ::java::rmi::dgc::VMID
*, jboolean
) = 0;
38 static ::java::lang::Class
class$
;
39 } __attribute__ ((java_interface
));
41 #endif // __java_rmi_dgc_DGC__