]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/hbugs_client.mli
- added a destroy callback
[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   ?use_hint_callback: (hint -> unit) -> (* default = do nothing *)
8   ?destroy_callback: (unit -> unit) ->  (* default = do nothing *)
9   unit ->
10     object
11
12       method show : unit -> unit
13       method hide : unit -> unit
14
15       method setUseHintCallback : (hint -> unit) -> unit
16       method registerToBroker : unit -> unit
17       method unregisterFromBroker : unit -> unit
18       method subscribeAll : unit -> unit
19
20       method stateChange : state option -> unit
21
22         (** @return an hint by index *)
23       method hint : int -> hint
24
25     end
26