(capabilities: ServerCapabilities, documentSelector: DocumentSelector)
| 1494 | } |
| 1495 | |
| 1496 | public initialize(capabilities: ServerCapabilities, documentSelector: DocumentSelector): void { |
| 1497 | if (!capabilities.referencesProvider || !documentSelector) { |
| 1498 | return; |
| 1499 | } |
| 1500 | this.register(this.messages, { |
| 1501 | id: UUID.generateUuid(), |
| 1502 | registerOptions: Object.assign({}, { documentSelector: documentSelector }) |
| 1503 | }); |
| 1504 | } |
| 1505 | |
| 1506 | protected registerLanguageProvider(options: TextDocumentRegistrationOptions): Disposable { |
| 1507 | let client = this._client; |