(capabilities: ServerCapabilities, documentSelector: DocumentSelector)
| 1452 | } |
| 1453 | |
| 1454 | public initialize(capabilities: ServerCapabilities, documentSelector: DocumentSelector): void { |
| 1455 | if (!capabilities.definitionProvider || !documentSelector) { |
| 1456 | return; |
| 1457 | } |
| 1458 | this.register(this.messages, { |
| 1459 | id: UUID.generateUuid(), |
| 1460 | registerOptions: Object.assign({}, { documentSelector: documentSelector }) |
| 1461 | }); |
| 1462 | } |
| 1463 | |
| 1464 | protected registerLanguageProvider(options: TextDocumentRegistrationOptions): Disposable { |
| 1465 | let client = this._client; |