]> matita.cs.unibo.it Git - helm.git/blob - components/hbugs/hbugs_client.mli
fix dependences for matita
[helm.git] / components / hbugs / hbugs_client.mli
1
2 open Hbugs_types
3
4 exception Invalid_URL of string
5
6   (*
7     @param use_hint_callback is called when the user double click on a hint
8     (default: do nothing)
9     @param describe_hint_callback is called when the user click on a hint
10     (default: do nothing)
11   *)
12 class hbugsClient :
13   ?use_hint_callback: (hint -> unit) ->
14   ?describe_hint_callback: (hint -> unit) ->
15   ?destroy_callback: (unit -> unit) ->
16   unit ->
17     object
18
19       method show : unit -> unit
20       method hide : unit -> unit
21
22       method setUseHintCallback : (hint -> unit) -> unit
23       method registerToBroker : unit -> unit
24       method unregisterFromBroker : unit -> unit
25       method subscribeAll : unit -> unit
26
27       method stateChange : state option -> unit
28
29         (** @return an hint by index *)
30       method hint : int -> hint
31
32     end
33