From 0817e9c7a1247feabcf8475870f7db066f59882f Mon Sep 17 00:00:00 2001 From: Vladimir Piskarev Date: Thu, 20 Nov 2025 20:56:14 +0300 Subject: [PATCH] Add missing properties to `DiagnosticCapabilities` Closes #925. --- .../java/org/eclipse/lsp4j/Protocol.xtend | 23 ++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend b/org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend index 238f5e6e..341f6cd9 100644 --- a/org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend +++ b/org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend @@ -10460,10 +10460,31 @@ final class PositionEncodingKind { @JsonRpcData class DiagnosticCapabilities extends DynamicRegistrationCapabilities { /** - * Whether the clients supports related documents for document diagnostic pulls. + * Whether the client supports related documents for document diagnostic pulls. */ Boolean relatedDocumentSupport + /** + * Whether the client accepts diagnostics with related information. + */ + Boolean relatedInformation + + /** + * Whether the client supports the {@link Diagnostic#tags} property. + * Clients supporting tags have to handle unknown tags gracefully. + */ + DiagnosticsTagSupport tagSupport + + /** + * Whether the client supports the {@link Diagnostic#codeDescription} property. + */ + Boolean codeDescriptionSupport + + /** + * Whether the client supports the {@link Diagnostic#data} property. + */ + Boolean dataSupport + /** * Whether the client supports {@link MarkupContent} in diagnostic messages. *