(capabilities: ServerCapabilities)
| 2142 | } |
| 2143 | |
| 2144 | public initialize(capabilities: ServerCapabilities): void { |
| 2145 | if (!capabilities.executeCommandProvider) { |
| 2146 | return; |
| 2147 | } |
| 2148 | this.register(this.messages, { |
| 2149 | id: UUID.generateUuid(), |
| 2150 | registerOptions: Object.assign({}, capabilities.executeCommandProvider) |
| 2151 | }); |
| 2152 | } |
| 2153 | |
| 2154 | public register(_message: RPCMessageType, data: RegistrationData<ExecuteCommandRegistrationOptions>): void { |
| 2155 | let client = this._client; |