package com.jetbrains.lsp.protocol

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>,
)

/**
 * 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(
    /**
     * The identifier of the actual command handler.
     */
    val command: String,

    /**
     * Arguments that the command should be invoked with.
     */
    val arguments: List<JsonElement>? = null,

    override val workDoneToken: ProgressToken? = null,
) : WorkDoneProgressParams

object Commands {

  /**
   * @see <a href="https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workspace_executeCommand">workspace/executeCommand (LSP spec)</a>
   */
  val ExecuteCommand: RequestType<ExecuteCommandParams, JsonElement, Unit> = RequestType(
    method = "workspace/executeCommand",
    paramsSerializer = ExecuteCommandParams.serializer(),
    resultSerializer = JsonElement.serializer(),
    errorSerializer = Unit.serializer(),
  )
}