use a parent pointer instead of 2d array, #67872

This commit is contained in:
Johannes Rieken
2019-03-12 09:56:49 +01:00
parent a86ff6a4da
commit 4f8dbd4544
9 changed files with 51 additions and 24 deletions

View File

@@ -81,16 +81,17 @@ export function activate(context: ExtensionContext) {
documentSelector.forEach(selector => {
context.subscriptions.push(languages.registerSelectionRangeProvider(selector, {
async provideSelectionRanges(document: TextDocument, positions: Position[]): Promise<SelectionRange[][]> {
async provideSelectionRanges(document: TextDocument, positions: Position[]): Promise<SelectionRange[]> {
const textDocument = client.code2ProtocolConverter.asTextDocumentIdentifier(document);
const rawResult = await client.sendRequest<SelectionRange[][]>('$/textDocument/selectionRanges', { textDocument, positions: positions.map(client.code2ProtocolConverter.asPosition) });
if (Array.isArray(rawResult)) {
return rawResult.map(rawSelectionRanges => {
return rawSelectionRanges.map(selectionRange => {
return rawSelectionRanges.reduceRight((parent: SelectionRange | undefined, selectionRange: SelectionRange) => {
return {
range: client.protocol2CodeConverter.asRange(selectionRange.range)
range: client.protocol2CodeConverter.asRange(selectionRange.range),
parent
};
});
}, undefined)!;
});
}
return [];