Plasma GitLab Archive
Projects Blog Knowledge

sig
  exception Identity_exists of Hydro_types.identity
  exception Object_exists of Hydro_lm.interface_base
  class type object_adapter_t =
    object
      method adapter_id : string option
      method add : Hydro_types.identity -> Hydro_lm.interface_base -> unit
      method get_identity : Hydro_lm.interface_base -> Hydro_types.identity
      method invoke_object :
        Hydro_types.identity -> Hydro_types.facet_dispatcher
      method mem_id : Hydro_types.identity -> bool
      method mem_obj : Hydro_lm.interface_base -> bool
      method remove_id : Hydro_types.identity -> unit
      method remove_obj : Hydro_lm.interface_base -> unit
      method replica_group_id : string option
      method set_adapter_id : string option -> unit
      method set_replica_group_id : string option -> unit
    end
  class object_adapter : unit -> object_adapter_t
  val object_adapter : unit -> Hydro_oa.object_adapter_t
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml