(capabilities: ServerCapabilities, documentSelector: DocumentSelector)
| 1582 | } |
| 1583 | |
| 1584 | public initialize(capabilities: ServerCapabilities, documentSelector: DocumentSelector): void { |
| 1585 | if (!capabilities.documentSymbolProvider || !documentSelector) { |
| 1586 | return; |
| 1587 | } |
| 1588 | this.register(this.messages, { |
| 1589 | id: UUID.generateUuid(), |
| 1590 | registerOptions: Object.assign({}, { documentSelector: documentSelector }) |
| 1591 | }); |
| 1592 | } |
| 1593 | |
| 1594 | protected registerLanguageProvider(options: TextDocumentRegistrationOptions): Disposable { |
| 1595 | let client = this._client; |