View source

typedef ExecuteCommandParams

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Protocol

The parameters of a ExecuteCommandRequest.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

An optional token that a server can use to report work done progress.

command:String

The identifier of the actual command handler.

@:optionaloptionalarguments:Null<Array<Dynamic>>

Arguments that the command should be invoked with.