From d49c348c01f637cc73a63c8a2e74f544adbaea4d Mon Sep 17 00:00:00 2001
From: Bartek Pacia <bartek.pacia@jetbrains.com>
Date: Wed, 26 Nov 2025 17:08:19 +0100
Subject: [PATCH] [lsp] doc ExecuteCommand.kt with links to LSP spec

GitOrigin-RevId: 5fd426cea59e55f8e68c2e166c6c3d86db69460e
---
 .../com/jetbrains/lsp/protocol/ExecuteCommand.kt             | 5 +++++
 .../srcCommonMain/com/jetbrains/lsp/protocol/LSP.kt          | 3 +++
 2 files changed, 8 insertions(+)

diff --git a/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/ExecuteCommand.kt b/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/ExecuteCommand.kt
index f51b064bcbfb..2131c1f2eccc 100644
--- a/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/ExecuteCommand.kt
+++ b/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/ExecuteCommand.kt
@@ -4,6 +4,9 @@ import kotlinx.serialization.Serializable
 import kotlinx.serialization.builtins.serializer
 import kotlinx.serialization.json.JsonElement
 
+/**
+ * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#executeCommandOptions">executeCommandOptions (LSP spec)</a>
+ */
 @Serializable
 data class ExecuteCommandOptions(
     val commands: List<String>,
@@ -12,6 +15,8 @@ data class ExecuteCommandOptions(
 /**
  * Represents parameters for executing a command.
  * Extends WorkDoneProgressParams.
+ *
+ * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#executeCommandParams">executeCommandParams (LSP spec)</a>
  */
 @Serializable
 data class ExecuteCommandParams(
diff --git a/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/LSP.kt b/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/LSP.kt
index 5cff7c0a8026..12692a34512d 100644
--- a/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/LSP.kt
+++ b/fleet/lsp.protocol/srcCommonMain/com/jetbrains/lsp/protocol/LSP.kt
@@ -764,6 +764,9 @@ sealed interface WorkDoneProgress {
     }
 }
 
+/**
+ * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workDoneProgressParams">workDoneProgressParams (LSP spec)</a>
+ */
 interface WorkDoneProgressParams {
     /**
      * An optional token that a server can use to report work done progress.