Plasma GitLab Archive
Projects Blog Knowledge

sig
  class type sb_event_system =
    object
      method add_abort_action :
        Unixqueue_util.group -> (Unixqueue_util.group -> exn -> unit) -> unit
      method add_close_action :
        Unixqueue_util.group ->
        Unix.file_descr * (Unix.file_descr -> unit) -> unit
      method add_event : Unixqueue_util.event -> unit
      method add_handler :
        Unixqueue_util.group ->
        (Unixqueue.event_system ->
         Unixqueue_util.event Equeue.t -> Unixqueue_util.event -> unit) ->
        unit
      method add_resource :
        Unixqueue_util.group -> Unixqueue_util.operation * float -> unit
      method add_weak_resource :
        Unixqueue_util.group -> Unixqueue_util.operation * float -> unit
      method clear : Unixqueue_util.group -> unit
      method exists_resource : Unixqueue_util.operation -> bool
      method is_running : bool
      method new_group : unit -> Unixqueue_util.group
      method new_wait_id : unit -> Unixqueue_util.wait_id
      method private queue_events :
        Unix.file_descr list * Unix.file_descr list * Unix.file_descr list ->
        bool
      method remove_resource :
        Unixqueue_util.group -> Unixqueue_util.operation -> unit
      method run : unit -> unit
      method private setup :
        unit ->
        Unix.file_descr list * Unix.file_descr list * Unix.file_descr list *
        float
      method private source : Unixqueue_util.event Equeue.t -> unit
    end
  class select_based_event_system : unit -> sb_event_system
  val select_based_event_system : unit -> Unixqueue.event_system
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml