View source

class ExecuteCommandRequest

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Protocol

A request send from the client to the server to execute a command. The request might return a workspace edit which the client will apply to the workspace.

Static variables

@:value(new ProtocolRequestType<ExecuteCommandParams,Null<Dynamic>,Never,NoData,ExecuteCommandRegistrationOptions>("workspace/executeCommand"))staticfinalinlineread onlytype:ProtocolRequestType<ExecuteCommandParams, Null<Dynamic>, Never, NoData, ExecuteCommandRegistrationOptions> = new ProtocolRequestType<ExecuteCommandParams,Null<Dynamic>,Never,NoData,ExecuteCommandRegistrationOptions>("workspace/executeCommand")