(*
- * 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
* 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;;
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' *)
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:
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:
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