X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2Fhbugs_broker_registry.mli;h=ece9e07cf05c10380815581cc46d30a63555a723;hb=78cf601fd8b8dbb386b0db315dcbfdbe8256c15f;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..ece9e07cf 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,9 @@ 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 isActive: musing_id -> bool
+
+    method dump: string
+    method purge: unit
   end