]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/broker/hbugs_broker_registry.mli
Debugging stuff removed.
[helm.git] / helm / hbugs / broker / hbugs_broker_registry.mli
index 9a33f066bcb514ff89b92fb00a290d70405a354c..ece9e07cf05c10380815581cc46d30a63555a723 100644 (file)
@@ -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