sysml-validate 0.20.0 → 0.20.2

package/out/main.js

@@ -70769,6 +70769,28 @@ var SysmlDocumentBuilder = class extends DefaultDocumentBuilder {
       });
     });
   }
+  /** REQ-006/REQ-398 - Wait for an editor change to reach the parsed document before
+   * serving a diagram refresh. Custom LSP requests are not gated by Langium's
+   * standard request pipeline, so a request sent just after applyEdit can
+   * otherwise read the preceding document version and publish a stale model.
+   */
+  async waitForDocumentVersion(uri, minimumVersion, state = DocumentState.IndexedReferences, cancelToken = import_vscode_languageserver25.CancellationToken.None) {
+    while (!cancelToken.isCancellationRequested) {
+      let document = await this.getOrCreateTargetDocument(uri, cancelToken);
+      if (!document)
+        return void 0;
+      if ((document.textDocument.version ?? -1) >= minimumVersion) {
+        await this.waitUntil(state, uri, cancelToken);
+        document = this.langiumDocuments.getDocument(uri);
+        if (document && (document.textDocument.version ?? -1) >= minimumVersion && document.state >= state) {
+          return document;
+        }
+        continue;
+      }
+      await this.waitForDocumentVersionPhase(uri, minimumVersion, state, cancelToken);
+    }
+    throw OperationCancelled;
+  }
   // REQ-075, REQ-220 — Build the global symbol graph first for this batch,
   // then link visible documents before background documents. See class doc,
   // point 2.
@@ -70879,6 +70901,34 @@ var SysmlDocumentBuilder = class extends DefaultDocumentBuilder {
     const state = this.buildState.get(doc.uri.toString());
     return Boolean(state && !state.completed);
   }
+  waitForDocumentVersionPhase(uri, minimumVersion, state, cancelToken) {
+    if (cancelToken.isCancellationRequested)
+      return Promise.reject(OperationCancelled);
+    const target = uri.toString();
+    return new Promise((resolve7, reject2) => {
+      let settled = false;
+      let cancelDisposable;
+      const ready = (document) => document?.uri.toString() === target && (document.textDocument.version ?? -1) >= minimumVersion;
+      const finish = (error) => {
+        if (settled)
+          return;
+        settled = true;
+        phaseDisposable.dispose();
+        cancelDisposable?.dispose();
+        if (error)
+          reject2(error);
+        else
+          resolve7();
+      };
+      const phaseDisposable = this.onDocumentPhase(state, (document) => {
+        if (ready(document))
+          finish();
+      });
+      cancelDisposable = cancelToken.onCancellationRequested(() => finish(OperationCancelled));
+      if (ready(this.langiumDocuments.getDocument(uri)))
+        finish();
+    });
+  }
   optionsForState(state) {
     return state >= DocumentState.Validated ? this.updateBuildOptions : { validation: false };
   }
@@ -72185,7 +72235,7 @@ async function runValidation(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.20.0" : "dev";
+var VERSION2 = true ? "0.20.2" : "dev";
 async function main(argv) {
   const command = parseArgs(argv);
   if (command.kind === "help") {