simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-06 11:15:46 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: provide on_req_execute_command

Browse source
This commit is contained in:
Simon Cruanes 2021-04-07 16:38:28 -04:00
parent 47da02e18c
commit e8af605985
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/server.ml
View file

@ -133,6 +133,11 @@ module Make(IO : IO) = struct
method on_req_code_lens_resolve (cl:CodeLens.t) : CodeLens.t IO.t = method on_req_code_lens_resolve (cl:CodeLens.t) : CodeLens.t IO.t =
IO.return cl IO.return cl
(** Execute a command with given arguments.
@since NEXT_RELEASE *)
method on_req_execute_command (_c:string) (_args:Yojson.Safe.t list option) : Yojson.Safe.t IO.t =
IO.return `Null
method on_request method on_request
: type r. r Lsp.Client_request.t -> r IO.t : type r. r Lsp.Client_request.t -> r IO.t
= fun (r:_ Lsp.Client_request.t) -> = fun (r:_ Lsp.Client_request.t) ->
@ -153,6 +158,9 @@ module Make(IO : IO) = struct
self#on_req_code_lens ~uri:textDocument.uri doc_st self#on_req_code_lens ~uri:textDocument.uri doc_st
| Lsp.Client_request.TextDocumentCodeLensResolve cl -> | Lsp.Client_request.TextDocumentCodeLensResolve cl ->
self#on_req_code_lens_resolve cl self#on_req_code_lens_resolve cl
| Lsp.Client_request.ExecuteCommand { command; arguments } ->
self#on_req_execute_command command arguments
| Lsp.Client_request.TextDocumentDeclaration _ | Lsp.Client_request.TextDocumentDeclaration _
| Lsp.Client_request.TextDocumentTypeDefinition _ | Lsp.Client_request.TextDocumentTypeDefinition _
| Lsp.Client_request.TextDocumentPrepareRename _ | Lsp.Client_request.TextDocumentPrepareRename _
@ -175,7 +183,6 @@ module Make(IO : IO) = struct
| Lsp.Client_request.TextDocumentColorPresentation _ | Lsp.Client_request.TextDocumentColorPresentation _
| Lsp.Client_request.TextDocumentColor _ | Lsp.Client_request.TextDocumentColor _
| Lsp.Client_request.SelectionRange _ | Lsp.Client_request.SelectionRange _
| Lsp.Client_request.ExecuteCommand _
| Lsp.Client_request.UnknownRequest _ -> self#on_request_unhandled r | Lsp.Client_request.UnknownRequest _ -> self#on_request_unhandled r
end end