@difizen/libro-lsp 0.1.2

package/es/connection-manager.js

@@ -0,0 +1,685 @@
+function _typeof(o) { "@babel/helpers - typeof"; return _typeof = "function" == typeof Symbol && "symbol" == typeof Symbol.iterator ? function (o) { return typeof o; } : function (o) { return o && "function" == typeof Symbol && o.constructor === Symbol && o !== Symbol.prototype ? "symbol" : typeof o; }, _typeof(o); }
+var _dec, _class;
+function _slicedToArray(arr, i) { return _arrayWithHoles(arr) || _iterableToArrayLimit(arr, i) || _unsupportedIterableToArray(arr, i) || _nonIterableRest(); }
+function _nonIterableRest() { throw new TypeError("Invalid attempt to destructure non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method."); }
+function _iterableToArrayLimit(r, l) { var t = null == r ? null : "undefined" != typeof Symbol && r[Symbol.iterator] || r["@@iterator"]; if (null != t) { var e, n, i, u, a = [], f = !0, o = !1; try { if (i = (t = t.call(r)).next, 0 === l) { if (Object(t) !== t) return; f = !1; } else for (; !(f = (e = i.call(t)).done) && (a.push(e.value), a.length !== l); f = !0); } catch (r) { o = !0, n = r; } finally { try { if (!f && null != t.return && (u = t.return(), Object(u) !== u)) return; } finally { if (o) throw n; } } return a; } }
+function _arrayWithHoles(arr) { if (Array.isArray(arr)) return arr; }
+function _regeneratorRuntime() { "use strict"; /*! regenerator-runtime -- Copyright (c) 2014-present, Facebook, Inc. -- license (MIT): https://github.com/facebook/regenerator/blob/main/LICENSE */ _regeneratorRuntime = function _regeneratorRuntime() { return e; }; var t, e = {}, r = Object.prototype, n = r.hasOwnProperty, o = Object.defineProperty || function (t, e, r) { t[e] = r.value; }, i = "function" == typeof Symbol ? Symbol : {}, a = i.iterator || "@@iterator", c = i.asyncIterator || "@@asyncIterator", u = i.toStringTag || "@@toStringTag"; function define(t, e, r) { return Object.defineProperty(t, e, { value: r, enumerable: !0, configurable: !0, writable: !0 }), t[e]; } try { define({}, ""); } catch (t) { define = function define(t, e, r) { return t[e] = r; }; } function wrap(t, e, r, n) { var i = e && e.prototype instanceof Generator ? e : Generator, a = Object.create(i.prototype), c = new Context(n || []); return o(a, "_invoke", { value: makeInvokeMethod(t, r, c) }), a; } function tryCatch(t, e, r) { try { return { type: "normal", arg: t.call(e, r) }; } catch (t) { return { type: "throw", arg: t }; } } e.wrap = wrap; var h = "suspendedStart", l = "suspendedYield", f = "executing", s = "completed", y = {}; function Generator() {} function GeneratorFunction() {} function GeneratorFunctionPrototype() {} var p = {}; define(p, a, function () { return this; }); var d = Object.getPrototypeOf, v = d && d(d(values([]))); v && v !== r && n.call(v, a) && (p = v); var g = GeneratorFunctionPrototype.prototype = Generator.prototype = Object.create(p); function defineIteratorMethods(t) { ["next", "throw", "return"].forEach(function (e) { define(t, e, function (t) { return this._invoke(e, t); }); }); } function AsyncIterator(t, e) { function invoke(r, o, i, a) { var c = tryCatch(t[r], t, o); if ("throw" !== c.type) { var u = c.arg, h = u.value; return h && "object" == _typeof(h) && n.call(h, "__await") ? e.resolve(h.__await).then(function (t) { invoke("next", t, i, a); }, function (t) { invoke("throw", t, i, a); }) : e.resolve(h).then(function (t) { u.value = t, i(u); }, function (t) { return invoke("throw", t, i, a); }); } a(c.arg); } var r; o(this, "_invoke", { value: function value(t, n) { function callInvokeWithMethodAndArg() { return new e(function (e, r) { invoke(t, n, e, r); }); } return r = r ? r.then(callInvokeWithMethodAndArg, callInvokeWithMethodAndArg) : callInvokeWithMethodAndArg(); } }); } function makeInvokeMethod(e, r, n) { var o = h; return function (i, a) { if (o === f) throw new Error("Generator is already running"); if (o === s) { if ("throw" === i) throw a; return { value: t, done: !0 }; } for (n.method = i, n.arg = a;;) { var c = n.delegate; if (c) { var u = maybeInvokeDelegate(c, n); if (u) { if (u === y) continue; return u; } } if ("next" === n.method) n.sent = n._sent = n.arg;else if ("throw" === n.method) { if (o === h) throw o = s, n.arg; n.dispatchException(n.arg); } else "return" === n.method && n.abrupt("return", n.arg); o = f; var p = tryCatch(e, r, n); if ("normal" === p.type) { if (o = n.done ? s : l, p.arg === y) continue; return { value: p.arg, done: n.done }; } "throw" === p.type && (o = s, n.method = "throw", n.arg = p.arg); } }; } function maybeInvokeDelegate(e, r) { var n = r.method, o = e.iterator[n]; if (o === t) return r.delegate = null, "throw" === n && e.iterator.return && (r.method = "return", r.arg = t, maybeInvokeDelegate(e, r), "throw" === r.method) || "return" !== n && (r.method = "throw", r.arg = new TypeError("The iterator does not provide a '" + n + "' method")), y; var i = tryCatch(o, e.iterator, r.arg); if ("throw" === i.type) return r.method = "throw", r.arg = i.arg, r.delegate = null, y; var a = i.arg; return a ? a.done ? (r[e.resultName] = a.value, r.next = e.nextLoc, "return" !== r.method && (r.method = "next", r.arg = t), r.delegate = null, y) : a : (r.method = "throw", r.arg = new TypeError("iterator result is not an object"), r.delegate = null, y); } function pushTryEntry(t) { var e = { tryLoc: t[0] }; 1 in t && (e.catchLoc = t[1]), 2 in t && (e.finallyLoc = t[2], e.afterLoc = t[3]), this.tryEntries.push(e); } function resetTryEntry(t) { var e = t.completion || {}; e.type = "normal", delete e.arg, t.completion = e; } function Context(t) { this.tryEntries = [{ tryLoc: "root" }], t.forEach(pushTryEntry, this), this.reset(!0); } function values(e) { if (e || "" === e) { var r = e[a]; if (r) return r.call(e); if ("function" == typeof e.next) return e; if (!isNaN(e.length)) { var o = -1, i = function next() { for (; ++o < e.length;) if (n.call(e, o)) return next.value = e[o], next.done = !1, next; return next.value = t, next.done = !0, next; }; return i.next = i; } } throw new TypeError(_typeof(e) + " is not iterable"); } return GeneratorFunction.prototype = GeneratorFunctionPrototype, o(g, "constructor", { value: GeneratorFunctionPrototype, configurable: !0 }), o(GeneratorFunctionPrototype, "constructor", { value: GeneratorFunction, configurable: !0 }), GeneratorFunction.displayName = define(GeneratorFunctionPrototype, u, "GeneratorFunction"), e.isGeneratorFunction = function (t) { var e = "function" == typeof t && t.constructor; return !!e && (e === GeneratorFunction || "GeneratorFunction" === (e.displayName || e.name)); }, e.mark = function (t) { return Object.setPrototypeOf ? Object.setPrototypeOf(t, GeneratorFunctionPrototype) : (t.__proto__ = GeneratorFunctionPrototype, define(t, u, "GeneratorFunction")), t.prototype = Object.create(g), t; }, e.awrap = function (t) { return { __await: t }; }, defineIteratorMethods(AsyncIterator.prototype), define(AsyncIterator.prototype, c, function () { return this; }), e.AsyncIterator = AsyncIterator, e.async = function (t, r, n, o, i) { void 0 === i && (i = Promise); var a = new AsyncIterator(wrap(t, r, n, o), i); return e.isGeneratorFunction(r) ? a : a.next().then(function (t) { return t.done ? t.value : a.next(); }); }, defineIteratorMethods(g), define(g, u, "Generator"), define(g, a, function () { return this; }), define(g, "toString", function () { return "[object Generator]"; }), e.keys = function (t) { var e = Object(t), r = []; for (var n in e) r.push(n); return r.reverse(), function next() { for (; r.length;) { var t = r.pop(); if (t in e) return next.value = t, next.done = !1, next; } return next.done = !0, next; }; }, e.values = values, Context.prototype = { constructor: Context, reset: function reset(e) { if (this.prev = 0, this.next = 0, this.sent = this._sent = t, this.done = !1, this.delegate = null, this.method = "next", this.arg = t, this.tryEntries.forEach(resetTryEntry), !e) for (var r in this) "t" === r.charAt(0) && n.call(this, r) && !isNaN(+r.slice(1)) && (this[r] = t); }, stop: function stop() { this.done = !0; var t = this.tryEntries[0].completion; if ("throw" === t.type) throw t.arg; return this.rval; }, dispatchException: function dispatchException(e) { if (this.done) throw e; var r = this; function handle(n, o) { return a.type = "throw", a.arg = e, r.next = n, o && (r.method = "next", r.arg = t), !!o; } for (var o = this.tryEntries.length - 1; o >= 0; --o) { var i = this.tryEntries[o], a = i.completion; if ("root" === i.tryLoc) return handle("end"); if (i.tryLoc <= this.prev) { var c = n.call(i, "catchLoc"), u = n.call(i, "finallyLoc"); if (c && u) { if (this.prev < i.catchLoc) return handle(i.catchLoc, !0); if (this.prev < i.finallyLoc) return handle(i.finallyLoc); } else if (c) { if (this.prev < i.catchLoc) return handle(i.catchLoc, !0); } else { if (!u) throw new Error("try statement without catch or finally"); if (this.prev < i.finallyLoc) return handle(i.finallyLoc); } } } }, abrupt: function abrupt(t, e) { for (var r = this.tryEntries.length - 1; r >= 0; --r) { var o = this.tryEntries[r]; if (o.tryLoc <= this.prev && n.call(o, "finallyLoc") && this.prev < o.finallyLoc) { var i = o; break; } } i && ("break" === t || "continue" === t) && i.tryLoc <= e && e <= i.finallyLoc && (i = null); var a = i ? i.completion : {}; return a.type = t, a.arg = e, i ? (this.method = "next", this.next = i.finallyLoc, y) : this.complete(a); }, complete: function complete(t, e) { if ("throw" === t.type) throw t.arg; return "break" === t.type || "continue" === t.type ? this.next = t.arg : "return" === t.type ? (this.rval = this.arg = t.arg, this.method = "return", this.next = "end") : "normal" === t.type && e && (this.next = e), y; }, finish: function finish(t) { for (var e = this.tryEntries.length - 1; e >= 0; --e) { var r = this.tryEntries[e]; if (r.finallyLoc === t) return this.complete(r.completion, r.afterLoc), resetTryEntry(r), y; } }, catch: function _catch(t) { for (var e = this.tryEntries.length - 1; e >= 0; --e) { var r = this.tryEntries[e]; if (r.tryLoc === t) { var n = r.completion; if ("throw" === n.type) { var o = n.arg; resetTryEntry(r); } return o; } } throw new Error("illegal catch attempt"); }, delegateYield: function delegateYield(e, r, n) { return this.delegate = { iterator: values(e), resultName: r, nextLoc: n }, "next" === this.method && (this.arg = t), y; } }, e; }
+function asyncGeneratorStep(gen, resolve, reject, _next, _throw, key, arg) { try { var info = gen[key](arg); var value = info.value; } catch (error) { reject(error); return; } if (info.done) { resolve(value); } else { Promise.resolve(value).then(_next, _throw); } }
+function _asyncToGenerator(fn) { return function () { var self = this, args = arguments; return new Promise(function (resolve, reject) { var gen = fn.apply(self, args); function _next(value) { asyncGeneratorStep(gen, resolve, reject, _next, _throw, "next", value); } function _throw(err) { asyncGeneratorStep(gen, resolve, reject, _next, _throw, "throw", err); } _next(undefined); }); }; }
+function _createForOfIteratorHelper(o, allowArrayLike) { var it = typeof Symbol !== "undefined" && o[Symbol.iterator] || o["@@iterator"]; if (!it) { if (Array.isArray(o) || (it = _unsupportedIterableToArray(o)) || allowArrayLike && o && typeof o.length === "number") { if (it) o = it; var i = 0; var F = function F() {}; return { s: F, n: function n() { if (i >= o.length) return { done: true }; return { done: false, value: o[i++] }; }, e: function e(_e) { throw _e; }, f: F }; } throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method."); } var normalCompletion = true, didErr = false, err; return { s: function s() { it = it.call(o); }, n: function n() { var step = it.next(); normalCompletion = step.done; return step; }, e: function e(_e2) { didErr = true; err = _e2; }, f: function f() { try { if (!normalCompletion && it.return != null) it.return(); } finally { if (didErr) throw err; } } }; }
+function _unsupportedIterableToArray(o, minLen) { if (!o) return; if (typeof o === "string") return _arrayLikeToArray(o, minLen); var n = Object.prototype.toString.call(o).slice(8, -1); if (n === "Object" && o.constructor) n = o.constructor.name; if (n === "Map" || n === "Set") return Array.from(o); if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _arrayLikeToArray(o, minLen); }
+function _arrayLikeToArray(arr, len) { if (len == null || len > arr.length) len = arr.length; for (var i = 0, arr2 = new Array(len); i < len; i++) arr2[i] = arr[i]; return arr2; }
+function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
+function _defineProperties(target, props) { for (var i = 0; i < props.length; i++) { var descriptor = props[i]; descriptor.enumerable = descriptor.enumerable || false; descriptor.configurable = true; if ("value" in descriptor) descriptor.writable = true; Object.defineProperty(target, _toPropertyKey(descriptor.key), descriptor); } }
+function _createClass(Constructor, protoProps, staticProps) { if (protoProps) _defineProperties(Constructor.prototype, protoProps); if (staticProps) _defineProperties(Constructor, staticProps); Object.defineProperty(Constructor, "prototype", { writable: false }); return Constructor; }
+function _toPropertyKey(arg) { var key = _toPrimitive(arg, "string"); return _typeof(key) === "symbol" ? key : String(key); }
+function _toPrimitive(input, hint) { if (_typeof(input) !== "object" || input === null) return input; var prim = input[Symbol.toPrimitive]; if (prim !== undefined) { var res = prim.call(input, hint || "default"); if (_typeof(res) !== "object") return res; throw new TypeError("@@toPrimitive must return a primitive value."); } return (hint === "string" ? String : Number)(input); }
+/* eslint-disable @typescript-eslint/no-shadow */
+/* eslint-disable @typescript-eslint/no-namespace */
+/* eslint-disable @typescript-eslint/no-use-before-define */
+// Copyright (c) Jupyter Development Team.
+// Distributed under the terms of the Modified BSD License.
+
+// import { PageConfig, URL } from '@jupyterlab/coreutils';
+// import type { IDocumentWidget } from '@jupyterlab/docregistry';
+
+import { URL } from '@difizen/libro-common';
+import { PageConfig } from '@difizen/libro-kernel';
+import { Emitter, inject, singleton } from '@difizen/mana-app';
+import { LSPConnection } from "./connection.js";
+import { ILSPDocumentConnectionManager, ILanguageServerManagerFactory } from "./tokens.js";
+import { expandDottedPaths, sleep, untilReady } from "./utils.js";
+/**
+ * Each Widget with a document (whether file or a notebook) has the same DocumentConnectionManager
+ * (see JupyterLabWidgetAdapter). Using id_path instead of uri led to documents being overwritten
+ * as two identical id_paths could be created for two different notebooks.
+ */
+export var DocumentConnectionManager = (_dec = singleton({
+  token: ILSPDocumentConnectionManager
+}), _dec(_class = /*#__PURE__*/function () {
+  function DocumentConnectionManager(languageServerManagerFactory) {
+    var _this = this;
+    _classCallCheck(this, DocumentConnectionManager);
+    /**
+     * Fired the first time a connection is opened. These _should_ be the only
+     * invocation of `.on` (once remaining LSPFeature.connection_handlers are made
+     * singletons).
+     */
+    this.onNewConnection = function (connection) {
+      var errorSignalSlot = function errorSignalSlot(e) {
+        console.error(e);
+        var error = e.length && e.length >= 1 ? e[0] : new Error();
+        if (error.message.indexOf('code = 1005') !== -1) {
+          console.error("Connection failed for ".concat(connection));
+          _this._forEachDocumentOfConnection(connection, function (virtualDocument) {
+            console.error('disconnecting ' + virtualDocument.uri);
+            _this._closed.fire({
+              connection: connection,
+              virtualDocument: virtualDocument
+            });
+            _this._ignoredLanguages.add(virtualDocument.language);
+            console.error("Cancelling further attempts to connect ".concat(virtualDocument.uri, " and other documents for this language (no support from the server)"));
+          });
+        } else if (error.message.indexOf('code = 1006') !== -1) {
+          console.error('Connection closed by the server');
+        } else {
+          console.error('Connection error:', e);
+        }
+      };
+      connection.errorSignal(errorSignalSlot);
+      var serverInitializedSlot = function serverInitializedSlot() {
+        // Initialize using settings stored in the SettingRegistry
+        _this._forEachDocumentOfConnection(connection, function (virtualDocument) {
+          // TODO: is this still necessary, e.g. for status bar to update responsively?
+          _this._initialized.fire({
+            connection: connection,
+            virtualDocument: virtualDocument
+          });
+        });
+        _this.updateServerConfigurations(_this.initialConfigurations);
+      };
+      connection.serverInitialized(serverInitializedSlot);
+      var closeSignalSlot = function closeSignalSlot(closedManually) {
+        if (!closedManually) {
+          console.error('Connection unexpectedly disconnected');
+        } else {
+          console.warn('Connection closed');
+          _this._forEachDocumentOfConnection(connection, function (virtualDocument) {
+            _this._closed.fire({
+              connection: connection,
+              virtualDocument: virtualDocument
+            });
+          });
+        }
+      };
+      connection.closeSignal(closeSignalSlot);
+    };
+    this._initialized = new Emitter();
+    this._connected = new Emitter();
+    this._disconnected = new Emitter();
+    this._closed = new Emitter();
+    this._documentsChanged = new Emitter();
+    this.connections = new Map();
+    this.documents = new Map();
+    this.adapters = new Map();
+    this._ignoredLanguages = new Set();
+    this.languageServerManager = languageServerManagerFactory({});
+    Private.setLanguageServerManager(this.languageServerManager);
+  }
+
+  /**
+   * Map between the URI of the virtual document and its connection
+   * to the language server
+   */
+
+  /**
+   * Map between the path of the document and its adapter
+   */
+
+  /**
+   * Map between the URI of the virtual document and the document itself.
+   */
+
+  /**
+   * The language server manager plugin.
+   */
+
+  /**
+   * Initial configuration for the language servers.
+   */
+  DocumentConnectionManager = inject(ILanguageServerManagerFactory)(DocumentConnectionManager, undefined, 0) || DocumentConnectionManager;
+  _createClass(DocumentConnectionManager, [{
+    key: "initialized",
+    get:
+    /**
+     * Signal emitted when the manager is initialized.
+     */
+    function get() {
+      return this._initialized.event;
+    }
+
+    /**
+     * Signal emitted when the manager is connected to the server
+     */
+  }, {
+    key: "connected",
+    get: function get() {
+      return this._connected.event;
+    }
+
+    /**
+     * Connection temporarily lost or could not be fully established; a re-connection will be attempted;
+     */
+  }, {
+    key: "disconnected",
+    get: function get() {
+      return this._disconnected.event;
+    }
+
+    /**
+     * Connection was closed permanently and no-reconnection will be attempted, e.g.:
+     *  - there was a serious server error
+     *  - user closed the connection,
+     *  - re-connection attempts exceeded,
+     */
+  }, {
+    key: "closed",
+    get: function get() {
+      return this._closed.event;
+    }
+
+    /**
+     * Signal emitted when the document is changed.
+     */
+  }, {
+    key: "documentsChanged",
+    get: function get() {
+      return this._documentsChanged.event;
+    }
+
+    /**
+     * Promise resolved when the language server manager is ready.
+     */
+  }, {
+    key: "ready",
+    get: function get() {
+      return Private.getLanguageServerManager().ready;
+    }
+
+    /**
+     * Helper to connect various virtual document signal with callbacks of
+     * this class.
+     *
+     * @param  virtualDocument - virtual document to be connected.
+     */
+  }, {
+    key: "connectDocumentSignals",
+    value: function connectDocumentSignals(virtualDocument) {
+      virtualDocument.foreignDocumentOpened(this.onForeignDocumentOpened, this);
+      virtualDocument.foreignDocumentClosed(this.onForeignDocumentClosed, this);
+      this.documents.set(virtualDocument.uri, virtualDocument);
+      this._documentsChanged.fire(this.documents);
+    }
+
+    /**
+     * Helper to disconnect various virtual document signal with callbacks of
+     * this class.
+     *
+     * @param  virtualDocument - virtual document to be disconnected.
+     */
+  }, {
+    key: "disconnectDocumentSignals",
+    value: function disconnectDocumentSignals(virtualDocument) {
+      var emit = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : true;
+      this.documents.delete(virtualDocument.uri);
+      var _iterator = _createForOfIteratorHelper(virtualDocument.foreignDocuments.values()),
+        _step;
+      try {
+        for (_iterator.s(); !(_step = _iterator.n()).done;) {
+          var foreign = _step.value;
+          this.disconnectDocumentSignals(foreign, false);
+        }
+      } catch (err) {
+        _iterator.e(err);
+      } finally {
+        _iterator.f();
+      }
+      if (emit) {
+        this._documentsChanged.fire(this.documents);
+      }
+    }
+
+    /**
+     * Handle foreign document opened event.
+     */
+    // eslint-disable-next-line @typescript-eslint/no-unused-vars
+  }, {
+    key: "onForeignDocumentOpened",
+    value: function onForeignDocumentOpened(context) {
+      /** no-op */
+    }
+
+    /**
+     * Handle foreign document closed event.
+     */
+  }, {
+    key: "onForeignDocumentClosed",
+    value: function onForeignDocumentClosed(context) {
+      var foreignDocument = context.foreignDocument;
+      this.unregisterDocument(foreignDocument.uri, false);
+      this.disconnectDocumentSignals(foreignDocument);
+    }
+
+    /**
+     * Register a widget adapter with this manager
+     *
+     * @param  path - path to the inner document of the adapter
+     * @param  adapter - the adapter to be registered
+     */
+  }, {
+    key: "registerAdapter",
+    value: function registerAdapter(path, adapter) {
+      var _this2 = this;
+      this.adapters.set(path, adapter);
+      adapter.onDispose(function () {
+        if (adapter.virtualDocument) {
+          _this2.documents.delete(adapter.virtualDocument.uri);
+        }
+        _this2.adapters.delete(path);
+      });
+    }
+
+    /**
+     * Handles the settings that do not require an existing connection
+     * with a language server (or can influence to which server the
+     * connection will be created, e.g. `rank`).
+     *
+     * This function should be called **before** initialization of servers.
+     */
+  }, {
+    key: "updateConfiguration",
+    value: function updateConfiguration(allServerSettings) {
+      this.languageServerManager.setConfiguration(allServerSettings);
+    }
+
+    /**
+     * Handles the settings that the language servers accept using
+     * `onDidChangeConfiguration` messages, which should be passed under
+     * the "serverSettings" keyword in the setting registry.
+     * Other configuration options are handled by `updateConfiguration` instead.
+     *
+     * This function should be called **after** initialization of servers.
+     */
+  }, {
+    key: "updateServerConfigurations",
+    value: function updateServerConfigurations(allServerSettings) {
+      var languageServerId;
+      for (languageServerId in allServerSettings) {
+        if (!Object.prototype.hasOwnProperty.call(allServerSettings, languageServerId)) {
+          continue;
+        }
+        var rawSettings = allServerSettings[languageServerId];
+        var parsedSettings = expandDottedPaths(rawSettings.configuration || {});
+        var serverSettings = {
+          settings: parsedSettings
+        };
+        Private.updateServerConfiguration(languageServerId, serverSettings);
+      }
+    }
+  }, {
+    key: "retryToConnect",
+    value:
+    /**
+     * Retry to connect to the server each `reconnectDelay` seconds
+     * and for `retrialsLeft` times.
+     * TODO: presently no longer referenced. A failing connection would close
+     * the socket, triggering the language server on the other end to exit.
+     */
+    function () {
+      var _retryToConnect = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee(options, reconnectDelay) {
+        var retrialsLeft,
+          virtualDocument,
+          interval,
+          success,
+          _args = arguments;
+        return _regeneratorRuntime().wrap(function _callee$(_context) {
+          while (1) switch (_context.prev = _context.next) {
+            case 0:
+              retrialsLeft = _args.length > 2 && _args[2] !== undefined ? _args[2] : -1;
+              virtualDocument = options.virtualDocument;
+              if (!this._ignoredLanguages.has(virtualDocument.language)) {
+                _context.next = 4;
+                break;
+              }
+              return _context.abrupt("return");
+            case 4:
+              interval = reconnectDelay * 1000;
+              success = false;
+            case 6:
+              if (!(retrialsLeft !== 0 && !success)) {
+                _context.next = 15;
+                break;
+              }
+              _context.next = 9;
+              return this.connect(options)
+              // eslint-disable-next-line @typescript-eslint/no-loop-func
+              .then(function () {
+                success = true;
+                return;
+              }).catch(function (e) {
+                console.warn(e);
+              });
+            case 9:
+              console.warn('will attempt to re-connect in ' + interval / 1000 + ' seconds');
+              _context.next = 12;
+              return sleep(interval);
+            case 12:
+              // gradually increase the time delay, up to 5 sec
+              interval = interval < 5 * 1000 ? interval + 500 : interval;
+              _context.next = 6;
+              break;
+            case 15:
+            case "end":
+              return _context.stop();
+          }
+        }, _callee, this);
+      }));
+      function retryToConnect(_x, _x2) {
+        return _retryToConnect.apply(this, arguments);
+      }
+      return retryToConnect;
+    }()
+    /**
+     * Disconnect the connection to the language server of the requested
+     * language.
+     */
+  }, {
+    key: "disconnect",
+    value: function disconnect(languageId) {
+      Private.disconnect(languageId);
+    }
+
+    /**
+     * Create a new connection to the language server
+     * @return A promise of the LSP connection
+     */
+  }, {
+    key: "connect",
+    value: function () {
+      var _connect = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee2(options) {
+        var firstTimeoutSeconds,
+          secondTimeoutMinutes,
+          connection,
+          virtualDocument,
+          _args2 = arguments;
+        return _regeneratorRuntime().wrap(function _callee2$(_context2) {
+          while (1) switch (_context2.prev = _context2.next) {
+            case 0:
+              firstTimeoutSeconds = _args2.length > 1 && _args2[1] !== undefined ? _args2[1] : 30;
+              secondTimeoutMinutes = _args2.length > 2 && _args2[2] !== undefined ? _args2[2] : 5;
+              _context2.next = 4;
+              return this._connectSocket(options);
+            case 4:
+              connection = _context2.sent;
+              virtualDocument = options.virtualDocument;
+              if (connection) {
+                _context2.next = 8;
+                break;
+              }
+              return _context2.abrupt("return");
+            case 8:
+              if (connection.isReady) {
+                _context2.next = 26;
+                break;
+              }
+              _context2.prev = 9;
+              _context2.next = 12;
+              return untilReady(function () {
+                return connection.isReady;
+              }, Math.round(firstTimeoutSeconds * 1000 / 150), 150);
+            case 12:
+              _context2.next = 26;
+              break;
+            case 14:
+              _context2.prev = 14;
+              _context2.t0 = _context2["catch"](9);
+              console.warn("Connection to ".concat(virtualDocument.uri, " timed out after ").concat(firstTimeoutSeconds, " seconds, will continue retrying for another ").concat(secondTimeoutMinutes, " minutes"));
+              _context2.prev = 17;
+              _context2.next = 20;
+              return untilReady(function () {
+                return connection.isReady;
+              }, 60 * secondTimeoutMinutes, 1000);
+            case 20:
+              _context2.next = 26;
+              break;
+            case 22:
+              _context2.prev = 22;
+              _context2.t1 = _context2["catch"](17);
+              console.warn("Connection to ".concat(virtualDocument.uri, " timed out again after ").concat(secondTimeoutMinutes, " minutes, giving up"));
+              return _context2.abrupt("return");
+            case 26:
+              this._connected.fire({
+                connection: connection,
+                virtualDocument: virtualDocument
+              });
+              return _context2.abrupt("return", connection);
+            case 28:
+            case "end":
+              return _context2.stop();
+          }
+        }, _callee2, this, [[9, 14], [17, 22]]);
+      }));
+      function connect(_x3) {
+        return _connect.apply(this, arguments);
+      }
+      return connect;
+    }()
+    /**
+     * Disconnect the signals of requested virtual document uri.
+     */
+  }, {
+    key: "unregisterDocument",
+    value: function unregisterDocument(uri) {
+      var emit = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : true;
+      var connection = this.connections.get(uri);
+      if (connection) {
+        this.connections.delete(uri);
+        var allConnection = new Set(this.connections.values());
+        if (!allConnection.has(connection)) {
+          this.disconnect(connection.serverIdentifier);
+          connection.dispose();
+        }
+        if (emit) {
+          this._documentsChanged.fire(this.documents);
+        }
+      }
+    }
+
+    /**
+     * Enable or disable the logging feature of the language servers
+     */
+  }, {
+    key: "updateLogging",
+    value: function updateLogging(logAllCommunication, setTrace) {
+      var _iterator2 = _createForOfIteratorHelper(this.connections.values()),
+        _step2;
+      try {
+        for (_iterator2.s(); !(_step2 = _iterator2.n()).done;) {
+          var connection = _step2.value;
+          connection.logAllCommunication = logAllCommunication;
+          if (setTrace !== null) {
+            connection.clientNotifications['$/setTrace'].fire({
+              value: setTrace
+            });
+          }
+        }
+      } catch (err) {
+        _iterator2.e(err);
+      } finally {
+        _iterator2.f();
+      }
+    }
+
+    /**
+     * Create the LSP connection for requested virtual document.
+     *
+     * @return  Return the promise of the LSP connection.
+     */
+  }, {
+    key: "_connectSocket",
+    value: function () {
+      var _connectSocket2 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee3(options) {
+        var language, capabilities, virtualDocument, uris, matchingServers, languageServerId, connection;
+        return _regeneratorRuntime().wrap(function _callee3$(_context3) {
+          while (1) switch (_context3.prev = _context3.next) {
+            case 0:
+              language = options.language, capabilities = options.capabilities, virtualDocument = options.virtualDocument;
+              this.connectDocumentSignals(virtualDocument);
+              uris = DocumentConnectionManager.solveUris(virtualDocument, language);
+              matchingServers = this.languageServerManager.getMatchingServers({
+                language: language
+              }); // for now use only the server with the highest rank.
+              languageServerId = matchingServers.length === 0 ? null : matchingServers[0]; // lazily load 1) the underlying library (1.5mb) and/or 2) a live WebSocket-
+              // like connection: either already connected or potentially in the process
+              // of connecting.
+              if (uris) {
+                _context3.next = 7;
+                break;
+              }
+              return _context3.abrupt("return");
+            case 7:
+              _context3.next = 9;
+              return Private.connection(language, languageServerId, uris, this.onNewConnection, capabilities);
+            case 9:
+              connection = _context3.sent;
+              // if connecting for the first time, all documents subsequent documents will
+              // be re-opened and synced
+              this.connections.set(virtualDocument.uri, connection);
+              return _context3.abrupt("return", connection);
+            case 12:
+            case "end":
+              return _context3.stop();
+          }
+        }, _callee3, this);
+      }));
+      function _connectSocket(_x4) {
+        return _connectSocket2.apply(this, arguments);
+      }
+      return _connectSocket;
+    }()
+    /**
+     * Helper to apply callback on all documents of a connection.
+     */
+  }, {
+    key: "_forEachDocumentOfConnection",
+    value: function _forEachDocumentOfConnection(connection, callback) {
+      var _iterator3 = _createForOfIteratorHelper(this.connections.entries()),
+        _step3;
+      try {
+        for (_iterator3.s(); !(_step3 = _iterator3.n()).done;) {
+          var _step3$value = _slicedToArray(_step3.value, 2),
+            virtualDocumentUri = _step3$value[0],
+            currentConnection = _step3$value[1];
+          if (connection !== currentConnection) {
+            continue;
+          }
+          callback(this.documents.get(virtualDocumentUri));
+        }
+      } catch (err) {
+        _iterator3.e(err);
+      } finally {
+        _iterator3.f();
+      }
+    }
+
+    /**
+     * Set of ignored languages
+     */
+  }]);
+  return DocumentConnectionManager;
+}()) || _class);
+(function (_DocumentConnectionManager) {
+  /**
+   * Generate the URI of a virtual document from input
+   *
+   * @param  virtualDocument - the virtual document
+   * @param  language - language of the document
+   */
+  function solveUris(virtualDocument, language) {
+    var wsBase = PageConfig.getBaseUrl().replace(/^http/, 'ws');
+    var rootUri = PageConfig.getOption('rootUri');
+    var virtualDocumentsUri = PageConfig.getOption('virtualDocumentsUri');
+    var baseUri = virtualDocument.hasLspSupportedFile ? rootUri : virtualDocumentsUri;
+
+    // for now take the best match only
+    var matchingServers = Private.getLanguageServerManager().getMatchingServers({
+      language: language
+    });
+    var languageServerId = matchingServers.length === 0 ? null : matchingServers[0];
+    if (languageServerId === null) {
+      return;
+    }
+
+    // workaround url-parse bug(s) (see https://github.com/jupyter-lsp/jupyterlab-lsp/issues/595)
+    var documentUri = URL.join(baseUri, virtualDocument.uri);
+    if (!documentUri.startsWith('file:///') && documentUri.startsWith('file://')) {
+      documentUri = documentUri.replace('file://', 'file:///');
+      if (documentUri.startsWith('file:///users/') && baseUri.startsWith('file:///Users/')) {
+        documentUri = documentUri.replace('file:///users/', 'file:///Users/');
+      }
+    }
+    return {
+      base: baseUri,
+      document: documentUri,
+      server: URL.join('ws://jupyter-lsp', language),
+      socket: URL.join(wsBase, 'lsp', 'ws', languageServerId)
+    };
+  }
+  _DocumentConnectionManager.solveUris = solveUris;
+})(DocumentConnectionManager || (DocumentConnectionManager = {}));
+/**
+ * Namespace primarily for language-keyed cache of LSPConnections
+ */
+var Private;
+(function (_Private) {
+  var _connections = new Map();
+  var _languageServerManager;
+  function getLanguageServerManager() {
+    return _languageServerManager;
+  }
+  _Private.getLanguageServerManager = getLanguageServerManager;
+  function setLanguageServerManager(languageServerManager) {
+    _languageServerManager = languageServerManager;
+  }
+  _Private.setLanguageServerManager = setLanguageServerManager;
+  function disconnect(languageServerId) {
+    var connection = _connections.get(languageServerId);
+    if (connection) {
+      connection.close();
+      _connections.delete(languageServerId);
+    }
+  }
+  _Private.disconnect = disconnect;
+  function connection(_x5, _x6, _x7, _x8, _x9) {
+    return _connection.apply(this, arguments);
+  }
+  function _connection() {
+    _connection = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee4(language, languageServerId, uris, onCreate, capabilities) {
+      var connection, socket, _connection2;
+      return _regeneratorRuntime().wrap(function _callee4$(_context4) {
+        while (1) switch (_context4.prev = _context4.next) {
+          case 0:
+            connection = _connections.get(languageServerId);
+            if (!connection) {
+              socket = new WebSocket(uris.socket);
+              _connection2 = new LSPConnection({
+                languageId: language,
+                serverUri: uris.server,
+                rootUri: uris.base,
+                serverIdentifier: languageServerId,
+                capabilities: capabilities
+              });
+              _connections.set(languageServerId, _connection2);
+              _connection2.connect(socket);
+              onCreate(_connection2);
+            }
+            connection = _connections.get(languageServerId);
+            return _context4.abrupt("return", connection);
+          case 4:
+          case "end":
+            return _context4.stop();
+        }
+      }, _callee4);
+    }));
+    return _connection.apply(this, arguments);
+  }
+  _Private.connection = connection;
+  function updateServerConfiguration(languageServerId, settings) {
+    var connection = _connections.get(languageServerId);
+    if (connection) {
+      connection.sendConfigurationChange(settings);
+    }
+  }
+  _Private.updateServerConfiguration = updateServerConfiguration;
+})(Private || (Private = {}));