Merge pull request #52 from tcx4c70/feat/3.17

Feat/3.17

Author: TheAngryByrd

src/Client.fs

@@ -27,6 +27,10 @@ type ILspClient =
   ///a particular message.
   abstract member WindowLogMessage: LogMessageParams -> Async<unit>
 
+  /// The show document request is sent from a server to a client to ask the client to display a particular
+  /// resource referenced by a URI in the user interface.
+  abstract member WindowShowDocument: ShowDocumentParams -> AsyncLspResult<ShowDocumentResult>
+
   /// The telemetry notification is sent from the server to the client to ask the client to log
   /// a telemetry event.
   abstract member TelemetryEvent: Newtonsoft.Json.Linq.JToken -> Async<unit>
@@ -84,6 +88,24 @@ type ILspClient =
   abstract member WorkspaceInlayHintRefresh: unit -> Async<unit>
 
 
+  /// The workspace/codeLens/refresh request is sent from the server to the client. Servers can use it to ask
+  /// clients to refresh the code lenses currently shown in editors. As a result the client should ask the
+  /// server to recompute the code lenses for these editors. This is useful if a server detects a
+  /// configuration change which requires a re-calculation of all code lenses. Note that the client still has
+  /// the freedom to delay the re-calculation of the code lenses if for example an editor is currently not
+  /// visible.
+  abstract member WorkspaceCodeLensRefresh: unit -> Async<unit>
+
+
+  /// The workspace/inlineValue/refresh request is sent from the server to the client. Servers can use it to
+  /// ask clients to refresh the inline values currently shown in editors. As a result the client should ask
+  /// the server to recompute the inline values for these editors. This is useful if a server detects a
+  /// configuration change which requires a re-calculation of all inline values. Note that the client still
+  /// has the freedom to delay the re-calculation of the inline values if for example an editor is currently
+  /// not visible.
+  abstract member WorkspaceInlineValueRefresh: unit -> Async<unit>
+
+
   /// Diagnostics notification are sent from the server to the client to signal results of validation runs.
   ///
   /// Diagnostics are “owned” by the server so it is the server’s responsibility to clear them if necessary.
@@ -100,6 +122,11 @@ type ILspClient =
   /// on the client side.
   abstract member TextDocumentPublishDiagnostics: PublishDiagnosticsParams -> Async<unit>
 
+  /// The workspace/diagnostic/refresh request is sent from the server to the client. Servers can use it to
+  /// ask clients to refresh all needed document and workspace diagnostics. This is useful if a server detects
+  /// a project wide configuration change which requires a re-calculation of all diagnostics.
+  abstract member WorkspaceDiagnosticRefresh: unit -> Async<unit>
+
   /// The window/workDoneProgress/create request is sent from the server to the client to ask the client to create a work done progress.
   abstract member WorkDoneProgressCreate: ProgressToken -> AsyncLspResult<unit>
 
@@ -131,6 +158,12 @@ type LspClient() =
 
   default __.WindowLogMessage(_) = ignoreNotification
 
+  /// The show document request is sent from a server to a client to ask the client to display a particular
+  /// resource referenced by a URI in the user interface.
+  abstract member WindowShowDocument: ShowDocumentParams -> AsyncLspResult<ShowDocumentResult>
+
+  default __.WindowShowDocument(_) = notImplemented
+
   /// The telemetry notification is sent from the server to the client to ask the client to log
   /// a telemetry event.
   abstract member TelemetryEvent: Newtonsoft.Json.Linq.JToken -> Async<unit>
@@ -199,6 +232,26 @@ type LspClient() =
 
   default __.WorkspaceInlayHintRefresh() = ignoreNotification
 
+  /// The workspace/codeLens/refresh request is sent from the server to the client. Servers can use it to ask
+  /// clients to refresh the code lenses currently shown in editors. As a result the client should ask the
+  /// server to recompute the code lenses for these editors. This is useful if a server detects a
+  /// configuration change which requires a re-calculation of all code lenses. Note that the client still has
+  /// the freedom to delay the re-calculation of the code lenses if for example an editor is currently not
+  /// visible.
+  abstract member WorkspaceCodeLensRefresh: unit -> Async<unit>
+
+  default __.WorkspaceCodeLensRefresh() = ignoreNotification
+
+  /// The workspace/inlineValue/refresh request is sent from the server to the client. Servers can use it to
+  /// ask clients to refresh the inline values currently shown in editors. As a result the client should ask
+  /// the server to recompute the inline values for these editors. This is useful if a server detects a
+  /// configuration change which requires a re-calculation of all inline values. Note that the client still
+  /// has the freedom to delay the re-calculation of the inline values if for example an editor is currently
+  /// not visible.
+  abstract member WorkspaceInlineValueRefresh: unit -> Async<unit>
+
+  default __.WorkspaceInlineValueRefresh() = ignoreNotification
+
   /// Diagnostics notification are sent from the server to the client to signal results of validation runs.
   ///
   /// Diagnostics are “owned” by the server so it is the server’s responsibility to clear them if necessary.
@@ -217,6 +270,13 @@ type LspClient() =
 
   default __.TextDocumentPublishDiagnostics(_) = ignoreNotification
 
+  /// The workspace/diagnostic/refresh request is sent from the server to the client. Servers can use it to
+  /// ask clients to refresh all needed document and workspace diagnostics. This is useful if a server detects
+  /// a project wide configuration change which requires a re-calculation of all diagnostics.
+  abstract member WorkspaceDiagnosticRefresh: unit -> Async<unit>
+
+  default __.WorkspaceDiagnosticRefresh() = ignoreNotification
+
   abstract member Progress: ProgressToken * 'Progress -> Async<unit>
 
   default __.Progress(_, _) = ignoreNotification
@@ -229,6 +289,7 @@ type LspClient() =
     member this.WindowShowMessage(p: ShowMessageParams) = this.WindowShowMessage(p)
     member this.WindowShowMessageRequest(p: ShowMessageRequestParams) = this.WindowShowMessageRequest(p)
     member this.WindowLogMessage(p: LogMessageParams) = this.WindowLogMessage(p)
+    member this.WindowShowDocument(p: ShowDocumentParams) = this.WindowShowDocument(p)
     member this.TelemetryEvent(p: Newtonsoft.Json.Linq.JToken) = this.TelemetryEvent(p)
     member this.ClientRegisterCapability(p: RegistrationParams) = this.ClientRegisterCapability(p)
     member this.ClientUnregisterCapability(p: UnregistrationParams) = this.ClientUnregisterCapability(p)
@@ -237,6 +298,9 @@ type LspClient() =
     member this.WorkspaceApplyEdit(p: ApplyWorkspaceEditParams) = this.WorkspaceApplyEdit(p)
     member this.WorkspaceSemanticTokensRefresh() = this.WorkspaceSemanticTokensRefresh()
     member this.WorkspaceInlayHintRefresh() = this.WorkspaceInlayHintRefresh()
+    member this.WorkspaceCodeLensRefresh() = this.WorkspaceCodeLensRefresh()
+    member this.WorkspaceInlineValueRefresh() = this.WorkspaceInlineValueRefresh()
     member this.TextDocumentPublishDiagnostics(p: PublishDiagnosticsParams) = this.TextDocumentPublishDiagnostics(p)
+    member this.WorkspaceDiagnosticRefresh() = this.WorkspaceDiagnosticRefresh()
     member this.WorkDoneProgressCreate(token: ProgressToken) = this.WorkDoneProgressCreate(token)
     member this.Progress(token, data) = this.Progress(token, data)

src/LanguageServerProtocol.fs

@@ -207,6 +207,7 @@ module Server =
       "completionItem/resolve", requestHandling (fun s p -> s.CompletionItemResolve(p))
       "textDocument/rename", requestHandling (fun s p -> s.TextDocumentRename(p))
       "textDocument/prepareRename", requestHandling (fun s p -> s.TextDocumentPrepareRename(p))
+      "textDocument/declaration", requestHandling (fun s p -> s.TextDocumentDeclaration(p))
       "textDocument/definition", requestHandling (fun s p -> s.TextDocumentDefinition(p))
       "textDocument/typeDefinition", requestHandling (fun s p -> s.TextDocumentTypeDefinition(p))
       "textDocument/implementation", requestHandling (fun s p -> s.TextDocumentImplementation(p))
@@ -229,6 +230,8 @@ module Server =
       "textDocument/didSave", requestHandling (fun s p -> s.TextDocumentDidSave(p) |> notificationSuccess)
       "textDocument/didClose", requestHandling (fun s p -> s.TextDocumentDidClose(p) |> notificationSuccess)
       "textDocument/documentSymbol", requestHandling (fun s p -> s.TextDocumentDocumentSymbol(p))
+      "textDocument/moniker", requestHandling (fun s p -> s.TextDocumentMoniker(p))
+      "textDocument/linkedEditingRange", requestHandling (fun s p -> s.TextDocumentLinkedEditingRange(p))
       "textDocument/foldingRange", requestHandling (fun s p -> s.TextDocumentFoldingRange(p))
       "textDocument/selectionRange", requestHandling (fun s p -> s.TextDocumentSelectionRange(p))
       "textDocument/prepareCallHierarchy", requestHandling(fun s p -> s.TextDocumentPrepareCallHierarchy(p))
@@ -243,6 +246,7 @@ module Server =
       "textDocument/inlayHint", requestHandling (fun s p -> s.TextDocumentInlayHint(p))
       "inlayHint/resolve", requestHandling (fun s p -> s.InlayHintResolve(p))
       "textDocument/inlineValue", requestHandling (fun s p -> s.TextDocumentInlineValue(p))
+      "textDocument/diagnostic", requestHandling (fun s p -> s.TextDocumentDiagnostic(p))
       "workspace/didChangeWatchedFiles",
       requestHandling (fun s p -> s.WorkspaceDidChangeWatchedFiles(p) |> notificationSuccess)
       "workspace/didChangeWorkspaceFolders",
@@ -258,8 +262,10 @@ module Server =
       "workspace/willDeleteFiles", requestHandling (fun s p -> s.WorkspaceWillDeleteFiles(p))
       "workspace/didDeleteFiles", requestHandling (fun s p -> s.WorkspaceDidDeleteFiles(p) |> notificationSuccess)
       "workspace/symbol", requestHandling (fun s p -> s.WorkspaceSymbol(p))
+      "workspaceSymbol/resolve", requestHandling (fun s p -> s.WorkspaceSymbolResolve(p))
       "workspace/executeCommand", requestHandling (fun s p -> s.WorkspaceExecuteCommand(p))
       "window/workDoneProgress/cancel", requestHandling (fun s p -> s.WorkDoneProgessCancel(p) |> notificationSuccess)
+      "workspace/diagnostic", requestHandling (fun s p -> s.WorkspaceDiagnostic(p))
       "shutdown", requestHandling (fun s () -> s.Shutdown() |> notificationSuccess)
       "exit", requestHandling (fun s () -> s.Exit() |> notificationSuccess) ]
     |> Map.ofList