X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2Fhbugs_broker_registry.mli;h=ad0c694e13af81c2b307f10d4b3fdc19d088f807;hb=8335f6c45ef87edd700b898e91489eb9cb551304;hp=9a33f066bcb514ff89b92fb00a290d70405a354c;hpb=5d7d6bd5090f3f82279bef0b93b4b361a5b1d751;p=helm.git

diff --git a/helm/hbugs/broker/hbugs_broker_registry.mli b/helm/hbugs/broker/hbugs_broker_registry.mli
index 9a33f066b..ad0c694e1 100644
--- a/helm/hbugs/broker/hbugs_broker_registry.mli
+++ b/helm/hbugs/broker/hbugs_broker_registry.mli
@@ -35,6 +35,12 @@ exception Musing_not_found of musing_id
 exception Tutor_already_in of tutor_id
 exception Tutor_not_found of tutor_id
 
+class type registry =
+  object
+    method dump: string
+    method purge: unit
+  end
+
 class clients:
   object
       (** 'register client_id client_url' *)
@@ -45,6 +51,9 @@ class clients:
     method subscribe: client_id -> tutor_id list -> unit
     method getUrl: client_id -> string
     method getSubscription: client_id -> tutor_id list
+
+    method dump: string
+    method purge: unit
   end
 
 class tutors:
@@ -58,6 +67,9 @@ class tutors:
     method getHintType: tutor_id -> hint_type
     method getDescription: tutor_id -> string
     method index: tutor_dsc list
+
+    method dump: string
+    method purge: unit
   end
 
 class musings:
@@ -67,5 +79,8 @@ class musings:
     method getByMusingId: musing_id -> client_id * tutor_id
     method getByClientId: client_id -> musing_id list
     method getByTutorId: tutor_id -> musing_id list
+
+    method dump: string
+    method purge: unit
   end