soteria_lsp_server (soteria-c.Soteria_c_lib.Soteria_c_lsp.soteria_lsp

inherit Linol_eio.Jsonrpc2.server

val mutable debug_mode : bool

method spawn_query_handler : (unit -> unit Linol_eio.Jsonrpc2.IO.t) -> unit

method private _on_doc : notify_back:Linol_eio.Jsonrpc2.notify_back ->
  Lsp.Types.DocumentUri.t ->
  string ->
  unit Linol_eio.Jsonrpc2.IO.t Linol_eio.Jsonrpc2.IO.t Linol_eio.t Linol_eio.t
    Linol_eio.Jsonrpc2.IO.t

method on_notif_doc_did_open : notify_back:Linol_eio.Jsonrpc2.notify_back ->
  Linol__.Common_.Lsp.Types.TextDocumentItem.t ->
  content:string ->
  unit Linol_eio.Jsonrpc2.IO.t

method on_notif_doc_did_change : notify_back:Linol_eio.Jsonrpc2.notify_back ->
  Linol__.Common_.Lsp.Types.VersionedTextDocumentIdentifier.t ->
  Linol__.Common_.Lsp.Types.TextDocumentContentChangeEvent.t list ->
  old_content:string ->
  new_content:string ->
  unit Linol_eio.Jsonrpc2.IO.t

method on_notif_doc_did_close : notify_back:Linol_eio.Jsonrpc2.notify_back ->
  Linol__.Common_.Lsp.Types.TextDocumentIdentifier.t ->
  unit Linol_eio.Jsonrpc2.IO.t

method on_unknown_notification : notify_back:Linol_eio.Jsonrpc2.notify_back ->
  Linol__.Common_.Jsonrpc.Notification.t ->
  unit Linol_eio.Jsonrpc2.IO.t