coc-ccls/src/inactiveRegions.ts

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

import {
  LanguageClient,
  workspace
} from "coc.nvim";
// import { LanguageClient } from "vscode-languageclient";
import {
  Disposable,
  Range,
} from "vscode-languageserver-protocol";
import { disposeAll, normalizeUri } from "./utils";

const window = workspace;

export class InactiveRegionsProvider implements Disposable {
  private skippedRanges = new Map<string, Range[]>();
  private _dispose: Disposable[] = [];

  public constructor(
    private client: LanguageClient
  ) {
    // const config = workspace.getConfiguration('ccls');
    // this.decorationType = window.createTextEditorDecorationType({
    //   dark: {
    //     backgroundColor: config.get('theme.dark.skippedRange.backgroundColor'),
    //     color: config.get('theme.dark.skippedRange.textColor'),
    //   },
    //   isWholeLine: true,
    //   light: {
    //     backgroundColor: config.get('theme.light.skippedRange.backgroundColor'),
    //     color: config.get('theme.light.skippedRange.textColor'),
    //   },
    //   rangeBehavior: DecorationRangeBehavior.ClosedClosed
    // });

    // await this.client.onReady();
    this.client.onNotification("$ccls/publishSkippedRanges", (args) => this.onSkippedRanges(args));
    // this._dispose.push(
    //   window.onDidChangeActiveTextEditor((editor) => this.onChangeTextEditor(editor))
    // );

    // This only got called during dispose, which perfectly matches our goal.
    this._dispose.push(workspace.onDidCloseTextDocument(
      (document) => this.skippedRanges.delete(document.uri.toString())
    ));
  }

  public dispose() {
    disposeAll(this._dispose);
  }

  // private onChangeTextEditor(editor?: TextEditor) {
  //   if (!editor)
  //     return;
  //   const uri = editor.document.uri.toString(true);
  //   const range = this.skippedRanges.get(uri);
  //   if (range) {
  //     editor.setDecorations(this.decorationType, range);
  //   }
  // }

  private onSkippedRanges({uri, skippedRanges}: {uri: string, skippedRanges: any[]}) {
    // uri = normalizeUri(uri);
    // let ranges = skippedRanges
    //   .map(this.client.protocol2CodeConverter.asRange)
    //   .filter((e: Range | undefined) => e !== undefined) as Range[];
    // ranges = ranges.map((range) => {
    //   if (range.isEmpty || range.isSingleLine) return range;
    //   return range.with({ end: range.end.translate(-1, 23333) });
    // });
    // this.skippedRanges.set(uri, ranges);
    // window.visibleTextEditors
    //   .filter((editor) => editor.document.uri.toString(true) === uri)
    //   .forEach((editor) => editor.setDecorations(this.decorationType, ranges));
  }
}