@difizen/libro-lsp 0.1.2

package/es/adapters/adapter.js

@@ -0,0 +1,647 @@
+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); }
+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 _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 _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); }
+// Copyright (c) Jupyter Development Team.
+// Distributed under the terms of the Modified BSD License.
+
+import { Emitter } from '@difizen/mana-app';
+import mergeWith from 'lodash.mergewith';
+/**
+ * The values should follow the https://microsoft.github.io/language-server-protocol/specification guidelines
+ */
+var MIME_TYPE_LANGUAGE_MAP = {
+  'text/x-rsrc': 'r',
+  'text/x-r-source': 'r',
+  // currently there are no LSP servers for IPython we are aware of
+  'text/x-ipython': 'python'
+};
+/**
+ * Foreign code: low level adapter is not aware of the presence of foreign languages;
+ * it operates on the virtual document and must not attempt to infer the language dependencies
+ * as this would make the logic of inspections caching impossible to maintain, thus the WidgetAdapter
+ * has to handle that, keeping multiple connections and multiple virtual documents.
+ */
+export var WidgetLSPAdapter = /*#__PURE__*/function () {
+  // note: it could be using namespace/IOptions pattern,
+  // but I do not know how to make it work with the generic type T
+  // (other than using 'any' in the IOptions interface)
+  function WidgetLSPAdapter(widget, options) {
+    var _this = this;
+    _classCallCheck(this, WidgetLSPAdapter);
+    this.widget = widget;
+    this.options = options;
+    /**
+     * Callback on document saved event.
+     */
+    this.onSaveState = function () {
+      // ignore premature calls (before the editor was initialized)
+      if (_this.virtualDocument === null) {
+        return;
+      }
+      var documentsToSave = [_this.virtualDocument];
+      for (var _i = 0, _documentsToSave = documentsToSave; _i < _documentsToSave.length; _i++) {
+        var virtualDocument = _documentsToSave[_i];
+        var connection = _this.connectionManager.connections.get(virtualDocument.uri);
+        if (!connection) {
+          continue;
+        }
+        connection.sendSaved(virtualDocument.documentInfo);
+        var _iterator = _createForOfIteratorHelper(virtualDocument.foreignDocuments.values()),
+          _step;
+        try {
+          for (_iterator.s(); !(_step = _iterator.n()).done;) {
+            var foreign = _step.value;
+            documentsToSave.push(foreign);
+          }
+        } catch (err) {
+          _iterator.e(err);
+        } finally {
+          _iterator.f();
+        }
+      }
+    };
+    /**
+     * Signal emitted when the adapter is connected.
+     */
+    this._adapterConnected = new Emitter();
+    /**
+     * Signal emitted when the active editor have changed.
+     */
+    this._activeEditorChanged = new Emitter();
+    /**
+     * Signal emitted when an editor is changed.
+     */
+    this._editorAdded = new Emitter();
+    /**
+     * Signal emitted when an editor is removed.
+     */
+    this._editorRemoved = new Emitter();
+    /**
+     * Signal emitted when the adapter is disposed.
+     */
+    this._disposed = new Emitter();
+    this._isDisposed = false;
+    this._virtualDocument = null;
+    this._connectionManager = options.connectionManager;
+    this._isConnected = false;
+    // set up signal connections
+    this.widget.onSave(this.onSaveState);
+    // this.widget.context.saveState.connect(this.onSaveState, this);
+    // this.connectionManager.closed.connect(this.onConnectionClosed, this);
+    // this.widget.disposed.connect(this.dispose, this);
+  }
+
+  /**
+   * Check if the adapter is disposed
+   */
+  _createClass(WidgetLSPAdapter, [{
+    key: "disposed",
+    get: function get() {
+      return this._isDisposed;
+    }
+    /**
+     * Check if the document contains multiple editors
+     */
+  }, {
+    key: "hasMultipleEditors",
+    get: function get() {
+      return this.editors.length > 1;
+    }
+    /**
+     * Get the ID of the internal widget.
+     */
+  }, {
+    key: "widgetId",
+    get: function get() {
+      return this.widget.id;
+    }
+
+    /**
+     * Get the language identifier of the document
+     */
+  }, {
+    key: "language",
+    get: function get() {
+      // the values should follow https://microsoft.github.io/language-server-protocol/specification guidelines,
+      // see the table in https://microsoft.github.io/language-server-protocol/specification#textDocumentItem
+      if (Object.prototype.hasOwnProperty.call(MIME_TYPE_LANGUAGE_MAP, this.mimeType)) {
+        return MIME_TYPE_LANGUAGE_MAP[this.mimeType];
+      } else {
+        var withoutParameters = this.mimeType.split(';')[0];
+        var _withoutParameters$sp = withoutParameters.split('/'),
+          _withoutParameters$sp2 = _slicedToArray(_withoutParameters$sp, 2),
+          type = _withoutParameters$sp2[0],
+          subtype = _withoutParameters$sp2[1];
+        if (type === 'application' || type === 'text') {
+          if (subtype.startsWith('x-')) {
+            return subtype.substring(2);
+          } else {
+            return subtype;
+          }
+        } else {
+          return this.mimeType;
+        }
+      }
+    }
+
+    /**
+     * Signal emitted when the adapter is connected.
+     */
+  }, {
+    key: "adapterConnected",
+    get: function get() {
+      return this._adapterConnected.event;
+    }
+
+    /**
+     * Signal emitted when the active editor have changed.
+     */
+  }, {
+    key: "activeEditorChanged",
+    get: function get() {
+      return this._activeEditorChanged.event;
+    }
+
+    /**
+     * Signal emitted when the adapter is disposed.
+     */
+  }, {
+    key: "onDispose",
+    get: function get() {
+      return this._disposed.event;
+    }
+
+    /**
+     * Signal emitted when the an editor is changed.
+     */
+  }, {
+    key: "editorAdded",
+    get: function get() {
+      return this._editorAdded.event;
+    }
+
+    /**
+     * Signal emitted when the an editor is removed.
+     */
+  }, {
+    key: "editorRemoved",
+    get: function get() {
+      return this._editorRemoved.event;
+    }
+
+    /**
+     * Get the inner HTMLElement of the document widget.
+     */
+  }, {
+    key: "isConnected",
+    get:
+    /**
+     * The virtual document is connected or not
+     */
+    function get() {
+      return this._isConnected;
+    }
+
+    /**
+     * The LSP document and connection manager instance.
+     */
+  }, {
+    key: "connectionManager",
+    get: function get() {
+      return this._connectionManager;
+    }
+
+    /**
+     * Promise that resolves once the document is updated
+     */
+  }, {
+    key: "updateFinished",
+    get: function get() {
+      return this._updateFinished;
+    }
+
+    /**
+     * Internal virtual document of the adapter.
+     */
+  }, {
+    key: "virtualDocument",
+    get: function get() {
+      return this._virtualDocument;
+    }
+
+    /**
+     * Callback on connection closed event.
+     */
+  }, {
+    key: "onConnectionClosed",
+    value: function onConnectionClosed(_, _ref) {
+      var virtualDocument = _ref.virtualDocument;
+      if (virtualDocument === this.virtualDocument) {
+        this.dispose();
+      }
+    }
+
+    /**
+     * Dispose the adapter.
+     */
+  }, {
+    key: "dispose",
+    value: function dispose() {
+      if (this._isDisposed) {
+        return;
+      }
+      this._isDisposed = true;
+      this.disconnect();
+      this._virtualDocument = null;
+      this._disposed.fire();
+    }
+
+    /**
+     * Disconnect virtual document from the language server.
+     */
+  }, {
+    key: "disconnect",
+    value: function disconnect() {
+      var _this$virtualDocument, _this$virtualDocument2;
+      var uri = (_this$virtualDocument = this.virtualDocument) === null || _this$virtualDocument === void 0 ? void 0 : _this$virtualDocument.uri;
+      if (uri) {
+        this.connectionManager.unregisterDocument(uri);
+      }
+
+      // pretend that all editors were removed to trigger the disconnection of even handlers
+      // they will be connected again on new connection
+      var _iterator2 = _createForOfIteratorHelper(this.editors),
+        _step2;
+      try {
+        for (_iterator2.s(); !(_step2 = _iterator2.n()).done;) {
+          var editor = _step2.value.ceEditor;
+          this._editorRemoved.fire({
+            editor: editor
+          });
+        }
+      } catch (err) {
+        _iterator2.e(err);
+      } finally {
+        _iterator2.f();
+      }
+      (_this$virtualDocument2 = this.virtualDocument) === null || _this$virtualDocument2 === void 0 || _this$virtualDocument2.dispose();
+    }
+
+    /**
+     * Update the virtual document.
+     */
+  }, {
+    key: "updateDocuments",
+    value: function updateDocuments() {
+      if (this._isDisposed) {
+        console.warn('Cannot update documents: adapter disposed');
+        return Promise.reject('Cannot update documents: adapter disposed');
+      }
+      return this.virtualDocument.updateManager.updateDocuments(this.editors);
+    }
+
+    /**
+     * Callback called on the document changed event.
+     */
+  }, {
+    key: "documentChanged",
+    value: function documentChanged(virtualDocument) {
+      if (this._isDisposed) {
+        console.warn('Cannot swap document: adapter disposed');
+        return;
+      }
+
+      // TODO only send the difference, using connection.sendSelectiveChange()
+      var connection = this.connectionManager.connections.get(virtualDocument.uri);
+      if (!(connection !== null && connection !== void 0 && connection.isReady)) {
+        console.warn('Skipping document update signal: connection not ready');
+        return;
+      }
+      connection.sendFullTextChange(virtualDocument.value, virtualDocument.documentInfo);
+    }
+
+    /**
+     * (re)create virtual document using current path and language
+     */
+  }, {
+    key: "reloadConnection",
+    value:
+    // equivalent to triggering didClose and didOpen, as per syncing specification,
+    // but also reloads the connection; used during file rename (or when it was moved)
+    function reloadConnection() {
+      // ignore premature calls (before the editor was initialized)
+      if (this.virtualDocument === null) {
+        return;
+      }
+
+      // disconnect all existing connections (and dispose adapters)
+      this.disconnect();
+
+      // recreate virtual document using current path and language
+      // as virtual editor assumes it gets the virtual document at init,
+      // just dispose virtual editor (which disposes virtual document too)
+      // and re-initialize both virtual editor and document
+      this.initVirtual();
+
+      // reconnect
+      this.connectDocument(this.virtualDocument, true).catch(console.warn);
+    }
+  }, {
+    key: "onConnected",
+    value:
+    /**
+     * Connect the virtual document with the language server.
+     */
+    function () {
+      var _onConnected = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee2(data) {
+        var virtualDocument;
+        return _regeneratorRuntime().wrap(function _callee2$(_context2) {
+          while (1) switch (_context2.prev = _context2.next) {
+            case 0:
+              virtualDocument = data.virtualDocument;
+              this._adapterConnected.fire(data);
+              this._isConnected = true;
+              _context2.prev = 3;
+              _context2.next = 6;
+              return this.updateDocuments();
+            case 6:
+              _context2.next = 12;
+              break;
+            case 8:
+              _context2.prev = 8;
+              _context2.t0 = _context2["catch"](3);
+              console.warn('Could not update documents', _context2.t0);
+              return _context2.abrupt("return");
+            case 12:
+              // refresh the document on the LSP server
+              this.documentChanged(virtualDocument);
+              data.connection.serverNotifications['$/logTrace'].event(function (message) {
+                console.warn(data.connection.serverIdentifier, 'trace', virtualDocument.uri, message);
+              });
+              data.connection.serverNotifications['window/logMessage'].event(function (message) {
+                console.warn(data.connection.serverIdentifier + ': ' + message.message);
+              });
+              data.connection.serverNotifications['window/showMessage'].event(function (message) {
+                // void showDialog({
+                //   title: this.trans.__('Message from ') + connection.serverIdentifier,
+                //   body: message.message,
+                // });
+                alert("Message from ".concat(data.connection.serverIdentifier, ": ").concat(message.message));
+              });
+              data.connection.serverRequests['window/showMessageRequest'].setHandler( /*#__PURE__*/function () {
+                var _ref2 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee(params) {
+                  return _regeneratorRuntime().wrap(function _callee$(_context) {
+                    while (1) switch (_context.prev = _context.next) {
+                      case 0:
+                        alert("Message from ".concat(data.connection.serverIdentifier, ": ").concat(params.message));
+                        return _context.abrupt("return", null);
+                      case 2:
+                      case "end":
+                        return _context.stop();
+                    }
+                  }, _callee);
+                }));
+                return function (_x2) {
+                  return _ref2.apply(this, arguments);
+                };
+              }());
+            case 17:
+            case "end":
+              return _context2.stop();
+          }
+        }, _callee2, this, [[3, 8]]);
+      }));
+      function onConnected(_x) {
+        return _onConnected.apply(this, arguments);
+      }
+      return onConnected;
+    }()
+    /**
+     * Opens a connection for the document. The connection may or may
+     * not be initialized, yet, and depending on when this is called, the client
+     * may not be fully connected.
+     *
+     * @param virtualDocument a VirtualDocument
+     * @param sendOpen whether to open the document immediately
+     */
+  }, {
+    key: "connectDocument",
+    value: function () {
+      var _connectDocument = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee3(virtualDocument) {
+        var sendOpen,
+          connectionContext,
+          _args3 = arguments;
+        return _regeneratorRuntime().wrap(function _callee3$(_context3) {
+          while (1) switch (_context3.prev = _context3.next) {
+            case 0:
+              sendOpen = _args3.length > 1 && _args3[1] !== undefined ? _args3[1] : false;
+              virtualDocument.foreignDocumentOpened(this.onForeignDocumentOpened, this);
+              _context3.next = 4;
+              return this._connect(virtualDocument).catch(console.error);
+            case 4:
+              connectionContext = _context3.sent;
+              if (connectionContext && connectionContext.connection) {
+                virtualDocument.changed(this.documentChanged, this);
+                if (sendOpen) {
+                  connectionContext.connection.sendOpenWhenReady(virtualDocument.documentInfo);
+                }
+              }
+            case 6:
+            case "end":
+              return _context3.stop();
+          }
+        }, _callee3, this);
+      }));
+      function connectDocument(_x3) {
+        return _connectDocument.apply(this, arguments);
+      }
+      return connectDocument;
+    }()
+    /**
+     * Create the virtual document using current path and language.
+     */
+  }, {
+    key: "initVirtual",
+    value: function initVirtual() {
+      var _this$_virtualDocumen,
+        _model$onSourceChange,
+        _this2 = this;
+      var model = this.widget.model;
+      (_this$_virtualDocumen = this._virtualDocument) === null || _this$_virtualDocumen === void 0 || _this$_virtualDocumen.dispose();
+      this._virtualDocument = this.createVirtualDocument();
+      (_model$onSourceChange = model.onSourceChanged) === null || _model$onSourceChange === void 0 || _model$onSourceChange.call(model, function () {
+        return _this2._onContentChanged();
+      });
+    }
+
+    /**
+     * Handler for opening a document contained in a parent document. The assumption
+     * is that the editor already exists for this, and as such the document
+     * should be queued for immediate opening.
+     *
+     * @param host the VirtualDocument that contains the VirtualDocument in another language
+     * @param context information about the foreign VirtualDocument
+     */
+  }, {
+    key: "onForeignDocumentOpened",
+    value: function () {
+      var _onForeignDocumentOpened = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee4(context) {
+        var foreignDocument;
+        return _regeneratorRuntime().wrap(function _callee4$(_context4) {
+          while (1) switch (_context4.prev = _context4.next) {
+            case 0:
+              foreignDocument = context.foreignDocument;
+              _context4.next = 3;
+              return this.connectDocument(foreignDocument, true);
+            case 3:
+              foreignDocument.foreignDocumentClosed(this._onForeignDocumentClosed, this);
+            case 4:
+            case "end":
+              return _context4.stop();
+          }
+        }, _callee4, this);
+      }));
+      function onForeignDocumentOpened(_x4) {
+        return _onForeignDocumentOpened.apply(this, arguments);
+      }
+      return onForeignDocumentOpened;
+    }()
+  }, {
+    key: "_onForeignDocumentClosed",
+    value:
+    /**
+     * Callback called when a foreign document is closed,
+     * the associated signals with this virtual document
+     * are disconnected.
+     */
+    function _onForeignDocumentClosed(context) {
+      // const { foreignDocument } = context;
+    }
+
+    /**
+     * Detect the capabilities for the document type then
+     * open the websocket connection with the language server.
+     */
+  }, {
+    key: "_connect",
+    value: function () {
+      var _connect2 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee5(virtualDocument) {
+        var language, capabilities, options, connection;
+        return _regeneratorRuntime().wrap(function _callee5$(_context5) {
+          while (1) switch (_context5.prev = _context5.next) {
+            case 0:
+              language = virtualDocument.language;
+              capabilities = {
+                textDocument: {
+                  synchronization: {
+                    dynamicRegistration: true,
+                    willSave: false,
+                    didSave: true,
+                    willSaveWaitUntil: false
+                  }
+                },
+                workspace: {
+                  didChangeConfiguration: {
+                    dynamicRegistration: true
+                  }
+                }
+              };
+              capabilities = mergeWith(capabilities, this.options.featureManager.clientCapabilities());
+              options = {
+                capabilities: capabilities,
+                virtualDocument: virtualDocument,
+                language: language,
+                hasLspSupportedFile: virtualDocument.hasLspSupportedFile
+              };
+              _context5.next = 6;
+              return this.connectionManager.connect(options);
+            case 6:
+              connection = _context5.sent;
+              if (!connection) {
+                _context5.next = 13;
+                break;
+              }
+              _context5.next = 10;
+              return this.onConnected({
+                virtualDocument: virtualDocument,
+                connection: connection
+              });
+            case 10:
+              return _context5.abrupt("return", {
+                connection: connection,
+                virtualDocument: virtualDocument
+              });
+            case 13:
+              return _context5.abrupt("return", undefined);
+            case 14:
+            case "end":
+              return _context5.stop();
+          }
+        }, _callee5, this);
+      }));
+      function _connect(_x5) {
+        return _connect2.apply(this, arguments);
+      }
+      return _connect;
+    }()
+    /**
+     * Handle content changes and update all virtual documents after a change.
+     *
+     * #### Notes
+     * Update to the state of a notebook may be done without a notice on the
+     * CodeMirror level, e.g. when a cell is deleted. Therefore a
+     * JupyterLab-specific signal is watched instead.
+     *
+     * While by not using the change event of CodeMirror editors we lose an easy
+     * way to send selective (range) updates this can be still implemented by
+     * comparison of before/after states of the virtual documents, which is
+     * more resilient and editor-independent.
+     */
+  }, {
+    key: "_onContentChanged",
+    value: function () {
+      var _onContentChanged2 = _asyncToGenerator( /*#__PURE__*/_regeneratorRuntime().mark(function _callee6() {
+        var promise;
+        return _regeneratorRuntime().wrap(function _callee6$(_context6) {
+          while (1) switch (_context6.prev = _context6.next) {
+            case 0:
+              // Update the virtual documents.
+              // Sending the updates to LSP is out of scope here.
+              promise = this.updateDocuments();
+              if (promise) {
+                _context6.next = 4;
+                break;
+              }
+              console.warn('Could not update documents');
+              return _context6.abrupt("return");
+            case 4:
+              this._updateFinished = promise.catch(console.warn);
+              _context6.next = 7;
+              return this.updateFinished;
+            case 7:
+            case "end":
+              return _context6.stop();
+          }
+        }, _callee6, this);
+      }));
+      function _onContentChanged() {
+        return _onContentChanged2.apply(this, arguments);
+      }
+      return _onContentChanged;
+    }()
+  }]);
+  return WidgetLSPAdapter;
+}();