case class ExecuteCommandParams(command: String, arguments: Opt[Vector[Value]], workDoneToken: Opt[ProgressToken])
The parameters of a ExecuteCommandRequest.
- Value parameters:
- arguments
Arguments that the command should be invoked with.
- command
The identifier of the actual command handler.
- workDoneToken
An optional token that a server can use to report work done progress.
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any