]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/hbugs_client.mli
- redesigned error and warning handling for libxslt
[helm.git] / helm / hbugs / client / hbugs_client.mli
1
2 open Hbugs_types
3
4 exception Invalid_URL of string
5
6 class hbugsClient :
7   on_use_hint: (hint -> unit) ->
8   ?on_exit: (unit -> unit) ->
9   unit ->
10     object
11
12       method show : unit -> unit
13       method hide : unit -> unit
14
15       method registerToBroker : unit -> unit
16       method unregisterFromBroker : unit -> unit
17       method subscribeAll : unit -> unit
18
19       method stateChange : state -> unit
20
21         (** @return an hint by index *)
22       method hint : int -> hint
23
24     end
25