Module Oug_odb_tool


module Oug_odb_tool: sig .. end
Tool for OCaml Development Background Server.

val tool_name : string
module SMap: Map.Make(sig
type t = string 
val compare : 'a -> 'a -> int
end)

type info = {
   info_proj : string;
   info_data : [ `Raw ] Oug_data.t;
   info_loc : Oug_pos.loc_table;
}
val infos : unit -> info SMap.t
val mutex : Mutex.t
val protect : ('a -> 'b) -> 'a -> 'b
val set_infos : (info SMap.t ->
info SMap.t) ->
unit
val infos : unit -> info SMap.t
val call_project : string -> string
val get_project_dir : string -> string
val wd_mutex : Mutex.t
Mutex for actions needing to be executed in specific working directory. .
val in_dir : string -> ('a -> 'b) -> 'a -> 'b
val response : ?code:int -> string -> Odb_comm.response
val err_response : ?code:int -> string -> Odb_comm.response
val get_info_or_create_empty : SMap.key -> info
val on_info : ?sub:bool ->
(info -> 'a -> string array -> Odb_comm.response) ->
'a -> string array -> Odb_comm.response
val normalize_pos : string -> Lexing.position -> Lexing.position
val normalize_loc : string -> Location.t -> Location.t
val normalize_elt_loc : string -> Oug_types.elt -> Oug_types.elt
val filter_elements : info -> Oug_lang.filter -> string
val com_filter : info -> 'a -> string array -> Odb_comm.response
val com_load_data : 'a -> string array -> Odb_comm.response
val get_target_options : string -> Oug_analyze.ocaml_options
val project_targets : string -> string list
val reload_target : string -> unit
val reload_targets : string list -> unit
val com_reload : 'a -> string array -> Odb_comm.response
val com_reload_all : info -> 'a -> 'b -> Odb_comm.response
val get_elt_at_pos : info -> Oug_types.SMap.key -> string -> Oug_types.elt_id
val mk_filter_from : (Oug_types.elt_id -> Oug_types.elt -> Oug_lang.filter) ->
info -> 'a -> Oug_types.SMap.key array -> Odb_comm.response
val com_def : info ->
Odb_comm.command_option list -> Oug_types.SMap.key array -> Odb_comm.response
val com_succ : info ->
Odb_comm.command_option list -> Oug_types.SMap.key array -> Odb_comm.response
val com_pred : info ->
Odb_comm.command_option list -> Oug_types.SMap.key array -> Odb_comm.response