- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / hbugs / broker / hbugs_broker_registry.mli

diff --git a/helm/hbugs/broker/hbugs_broker_registry.mli b/helm/hbugs/broker/hbugs_broker_registry.mli
index 5b42cf3b924e632948e813fd78f456d53cbfa438..ece9e07cf05c10380815581cc46d30a63555a723 100644 (file)
--- a/helm/hbugs/broker/hbugs_broker_registry.mli
+++ b/helm/hbugs/broker/hbugs_broker_registry.mli
@@ -1,5 +1,7 @@
 (*
- *  Copyright (C) 2003, HELM Team.
+ * Copyright (C) 2003:
+ *    Stefano Zacchiroli <zack@cs.unibo.it>
+ *    for the HELM Team http://helm.cs.unibo.it/
  *
  *  This file is part of HELM, an Hypertextual, Electronic
  *  Library of Mathematics, developed at the Computer Science
@@ -21,7 +23,7 @@
  *  MA  02111-1307, USA.
  *
  *  For details, see the HELM World-Wide-Web page,
- *  http://cs.unibo.it/helm/.
+ *  http://helm.cs.unibo.it/
  *)
 
 open Hbugs_types;;
@@ -33,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' *)
@@ -43,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:
@@ -56,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:
@@ -65,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