helm/software/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