Interface ExecuteCommandParams

The parameters of a ExecuteCommandRequest.

interface ExecuteCommandParams {
    arguments?: any[];
    command: string;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

Properties

arguments?: any[]

Arguments that the command should be invoked with.

command: string

The identifier of the actual command handler.

workDoneToken?: ProgressToken

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