]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/hbugs_client.mli
- the mathql interpreter is not helm-dependent any more
[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) ->
8   unit ->
9     object
10
11       method show : unit -> unit
12       method hide : unit -> unit
13
14       method setUseHintCallback : (hint -> unit) -> unit
15       method registerToBroker : unit -> unit
16       method unregisterFromBroker : unit -> unit
17       method subscribeAll : unit -> unit
18
19       method stateChange : state option -> unit
20
21         (** @return an hint by index *)
22       method hint : int -> hint
23
24     end
25