sysml-v2-lsp 0.37.0 → 0.38.0

package/CHANGELOG.md

@@ -2,6 +2,18 @@
 
 ## [Unreleased]
 
+## [0.38.0]
+
+### Added
+
+- Experimental LSP request `sysml/validateText`: validates texts against the workspace model without opening or publishing anything. Disabled by default. Enabled by `sysml.experimental.validateText.enabled`, limited by `maxDocuments` (5), `maxLines` (200), `maxCharacters` (8,192 per document), and `maxTotalCharacters` (16,384 per request). Character limits use UTF-16 code units and are checked before parsing.
+- Benchmark suite for `sysml/validateText`.
+
+### Fixed
+
+- Keep temporary validation versions outside the LSP integer range so they
+  cannot reuse a real document's version or its cached diagnostics.
+
 ## [0.37.0]
 
 ### Fixed

package/README.md

@@ -40,6 +40,27 @@ usage names or unrelated same-named declarations. Completion and rename insert
 the required quotes and escapes automatically; editor positions use UTF-16,
 including after characters outside the Basic Multilingual Plane.
 
+### Experimental text validation
+
+`sysml/validateText` checks proposed document texts against the current workspace,
+including unsaved documents, without opening documents or publishing diagnostics.
+It is disabled by default. Enable `sysml.experimental.validateText.enabled` to use it.
+Requests contain `documents`, an array of `{ uri, text }` entries. The response
+contains each requested URI and its diagnostics, in request order.
+
+The default limits are 5 documents, 200 lines per document, 8,192 characters per
+document, and 16,384 characters across the request. Characters are UTF-16 code
+units, so an emoji outside the Basic Multilingual Plane counts as two.
+The corresponding settings are `maxDocuments`, `maxLines`, `maxCharacters` and
+`maxTotalCharacters` under `sysml.experimental.validateText`.
+Oversized requests fail with `InvalidParams` before parsing or changing cached
+documents. Disabled requests fail with `MethodNotFound`.
+
+Only requested documents are checked. Include an affected existing document
+with its current text to check it too. Results use the server's existing
+diagnostic checks; they do not certify complete SysML conformance.
+Input limits reduce work but do not guarantee a fixed response time.
+
 ### Install from Marketplace
 
 Install via the VS Code extension from the [VS Code Marketplace](https://marketplace.visualstudio.com/items?itemName=JamieD.sysml-v2-support).
@@ -172,7 +193,7 @@ make bench-history    # Stable historical benchmark trends
 
 ## Benchmarks
 
-A built-in benchmark suite measures parser, symbol table, LSP provider, memory, throughput, and folder-load performance. Results are written as both JSON and Markdown to `benchmarks/results/`.
+A built-in benchmark suite measures parser, symbol table, LSP provider, memory, throughput, folder-load, and `sysml/validateText` performance. Results are written as both JSON and Markdown to `benchmarks/results/`.
 
 ### Running Benchmarks
 
@@ -195,6 +216,7 @@ npm run bench:history                                # stable historical trends
 | `memory`      | Forced-GC retained-heap estimates; use for coarse trends, not precise allocation counts |
 | `throughput`  | Syntax-valid lexer/parser throughput, including document-level stale-snapshot recovery  |
 | `folderLoad`  | Workspace-style file discovery, parse, and symbol build                                 |
+| `validateText` | Main-thread time of a `sysml/validateText` request by workspace, text and request size, and the rebuild it leaves for the next request |
 
 ### Regression Detection
 

package/dist/server/browserServerMain.js

@@ -123,30 +123,30 @@
       Object.defineProperty(exports, "__esModule", { value: true });
       exports.Message = exports.NotificationType9 = exports.NotificationType8 = exports.NotificationType7 = exports.NotificationType6 = exports.NotificationType5 = exports.NotificationType4 = exports.NotificationType3 = exports.NotificationType2 = exports.NotificationType1 = exports.NotificationType0 = exports.NotificationType = exports.RequestType9 = exports.RequestType8 = exports.RequestType7 = exports.RequestType6 = exports.RequestType5 = exports.RequestType4 = exports.RequestType3 = exports.RequestType2 = exports.RequestType1 = exports.RequestType = exports.RequestType0 = exports.AbstractMessageSignature = exports.ParameterStructures = exports.ResponseError = exports.ErrorCodes = void 0;
       var is = __importStar(require_is());
-      var ErrorCodes2;
-      (function(ErrorCodes3) {
-        ErrorCodes3.ParseError = -32700;
-        ErrorCodes3.InvalidRequest = -32600;
-        ErrorCodes3.MethodNotFound = -32601;
-        ErrorCodes3.InvalidParams = -32602;
-        ErrorCodes3.InternalError = -32603;
-        ErrorCodes3.jsonrpcReservedErrorRangeStart = -32099;
-        ErrorCodes3.serverErrorStart = -32099;
-        ErrorCodes3.MessageWriteError = -32099;
-        ErrorCodes3.MessageReadError = -32098;
-        ErrorCodes3.PendingResponseRejected = -32097;
-        ErrorCodes3.ConnectionInactive = -32096;
-        ErrorCodes3.ServerNotInitialized = -32002;
-        ErrorCodes3.UnknownErrorCode = -32001;
-        ErrorCodes3.jsonrpcReservedErrorRangeEnd = -32e3;
-        ErrorCodes3.serverErrorEnd = -32e3;
-      })(ErrorCodes2 || (exports.ErrorCodes = ErrorCodes2 = {}));
-      var ResponseError2 = class _ResponseError extends Error {
+      var ErrorCodes3;
+      (function(ErrorCodes4) {
+        ErrorCodes4.ParseError = -32700;
+        ErrorCodes4.InvalidRequest = -32600;
+        ErrorCodes4.MethodNotFound = -32601;
+        ErrorCodes4.InvalidParams = -32602;
+        ErrorCodes4.InternalError = -32603;
+        ErrorCodes4.jsonrpcReservedErrorRangeStart = -32099;
+        ErrorCodes4.serverErrorStart = -32099;
+        ErrorCodes4.MessageWriteError = -32099;
+        ErrorCodes4.MessageReadError = -32098;
+        ErrorCodes4.PendingResponseRejected = -32097;
+        ErrorCodes4.ConnectionInactive = -32096;
+        ErrorCodes4.ServerNotInitialized = -32002;
+        ErrorCodes4.UnknownErrorCode = -32001;
+        ErrorCodes4.jsonrpcReservedErrorRangeEnd = -32e3;
+        ErrorCodes4.serverErrorEnd = -32e3;
+      })(ErrorCodes3 || (exports.ErrorCodes = ErrorCodes3 = {}));
+      var ResponseError3 = class _ResponseError extends Error {
         code;
         data;
         constructor(code, message, data) {
           super(message);
-          this.code = is.number(code) ? code : ErrorCodes2.UnknownErrorCode;
+          this.code = is.number(code) ? code : ErrorCodes3.UnknownErrorCode;
           this.data = data;
           Object.setPrototypeOf(this, _ResponseError.prototype);
         }
@@ -161,7 +161,7 @@
           return result;
         }
       };
-      exports.ResponseError = ResponseError2;
+      exports.ResponseError = ResponseError3;
       var ParameterStructures = class _ParameterStructures {
         kind;
         /**
@@ -3526,7 +3526,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         CodeDescription3.is = is;
       })(CodeDescription || (CodeDescription = {}));
-      (function(Diagnostic8) {
+      (function(Diagnostic9) {
         function create(range, message, severity, code, source, relatedInformation) {
           const result = { range, message };
           if (Is.defined(severity)) {
@@ -3543,17 +3543,17 @@ ${JSON.stringify(message, null, 4)}`);
           }
           return result;
         }
-        Diagnostic8.create = create;
+        Diagnostic9.create = create;
         function is(value) {
           var _a;
           const candidate = value;
           return Is.defined(candidate) && Range.is(candidate.range) && (Is.string(candidate.message) || MarkupContent.is(candidate.message)) && (Is.number(candidate.severity) || Is.undefined(candidate.severity)) && (Is.integer(candidate.code) || Is.string(candidate.code) || Is.undefined(candidate.code)) && (Is.undefined(candidate.codeDescription) || Is.string((_a = candidate.codeDescription) === null || _a === void 0 ? void 0 : _a.href)) && (Is.string(candidate.source) || Is.undefined(candidate.source)) && (Is.undefined(candidate.relatedInformation) || Is.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation.is));
         }
-        Diagnostic8.is = is;
+        Diagnostic9.is = is;
         function is3_17(value) {
           return Is.string(value.message);
         }
-        Diagnostic8.is3_17 = is3_17;
+        Diagnostic9.is3_17 = is3_17;
         function getMessageString(diagnostic) {
           if (Is.string(diagnostic.message)) {
             return diagnostic.message;
@@ -3563,7 +3563,7 @@ ${JSON.stringify(message, null, 4)}`);
             throw new Error(`Unknown message type ${typeof diagnostic.message}`);
           }
         }
-        Diagnostic8.getMessageString = getMessageString;
+        Diagnostic9.getMessageString = getMessageString;
       })(Diagnostic || (Diagnostic = {}));
       (function(Command3) {
         function create(title, command, ...args) {
@@ -9290,28 +9290,28 @@ ${JSON.stringify(message, null, 4)}`);
       Object.defineProperty(exports, "__esModule", { value: true });
       exports.Message = exports.NotificationType9 = exports.NotificationType8 = exports.NotificationType7 = exports.NotificationType6 = exports.NotificationType5 = exports.NotificationType4 = exports.NotificationType3 = exports.NotificationType2 = exports.NotificationType1 = exports.NotificationType0 = exports.NotificationType = exports.RequestType9 = exports.RequestType8 = exports.RequestType7 = exports.RequestType6 = exports.RequestType5 = exports.RequestType4 = exports.RequestType3 = exports.RequestType2 = exports.RequestType1 = exports.RequestType = exports.RequestType0 = exports.AbstractMessageSignature = exports.ParameterStructures = exports.ResponseError = exports.ErrorCodes = void 0;
       var is = require_is4();
-      var ErrorCodes2;
-      (function(ErrorCodes3) {
-        ErrorCodes3.ParseError = -32700;
-        ErrorCodes3.InvalidRequest = -32600;
-        ErrorCodes3.MethodNotFound = -32601;
-        ErrorCodes3.InvalidParams = -32602;
-        ErrorCodes3.InternalError = -32603;
-        ErrorCodes3.jsonrpcReservedErrorRangeStart = -32099;
-        ErrorCodes3.serverErrorStart = -32099;
-        ErrorCodes3.MessageWriteError = -32099;
-        ErrorCodes3.MessageReadError = -32098;
-        ErrorCodes3.PendingResponseRejected = -32097;
-        ErrorCodes3.ConnectionInactive = -32096;
-        ErrorCodes3.ServerNotInitialized = -32002;
-        ErrorCodes3.UnknownErrorCode = -32001;
-        ErrorCodes3.jsonrpcReservedErrorRangeEnd = -32e3;
-        ErrorCodes3.serverErrorEnd = -32e3;
-      })(ErrorCodes2 || (exports.ErrorCodes = ErrorCodes2 = {}));
-      var ResponseError2 = class _ResponseError extends Error {
+      var ErrorCodes3;
+      (function(ErrorCodes4) {
+        ErrorCodes4.ParseError = -32700;
+        ErrorCodes4.InvalidRequest = -32600;
+        ErrorCodes4.MethodNotFound = -32601;
+        ErrorCodes4.InvalidParams = -32602;
+        ErrorCodes4.InternalError = -32603;
+        ErrorCodes4.jsonrpcReservedErrorRangeStart = -32099;
+        ErrorCodes4.serverErrorStart = -32099;
+        ErrorCodes4.MessageWriteError = -32099;
+        ErrorCodes4.MessageReadError = -32098;
+        ErrorCodes4.PendingResponseRejected = -32097;
+        ErrorCodes4.ConnectionInactive = -32096;
+        ErrorCodes4.ServerNotInitialized = -32002;
+        ErrorCodes4.UnknownErrorCode = -32001;
+        ErrorCodes4.jsonrpcReservedErrorRangeEnd = -32e3;
+        ErrorCodes4.serverErrorEnd = -32e3;
+      })(ErrorCodes3 || (exports.ErrorCodes = ErrorCodes3 = {}));
+      var ResponseError3 = class _ResponseError extends Error {
         constructor(code, message, data) {
           super(message);
-          this.code = is.number(code) ? code : ErrorCodes2.UnknownErrorCode;
+          this.code = is.number(code) ? code : ErrorCodes3.UnknownErrorCode;
           this.data = data;
           Object.setPrototypeOf(this, _ResponseError.prototype);
         }
@@ -9326,7 +9326,7 @@ ${JSON.stringify(message, null, 4)}`);
           return result;
         }
       };
-      exports.ResponseError = ResponseError2;
+      exports.ResponseError = ResponseError3;
       var ParameterStructures = class _ParameterStructures {
         constructor(kind) {
           this.kind = kind;
@@ -12599,7 +12599,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         CodeDescription3.is = is;
       })(CodeDescription2 || (CodeDescription2 = {}));
-      (function(Diagnostic8) {
+      (function(Diagnostic9) {
         function create(range, message, severity, code, source, relatedInformation) {
           let result = { range, message };
           if (Is2.defined(severity)) {
@@ -12616,13 +12616,13 @@ ${JSON.stringify(message, null, 4)}`);
           }
           return result;
         }
-        Diagnostic8.create = create;
+        Diagnostic9.create = create;
         function is(value) {
           var _a;
           let candidate = value;
           return Is2.defined(candidate) && Range2.is(candidate.range) && Is2.string(candidate.message) && (Is2.number(candidate.severity) || Is2.undefined(candidate.severity)) && (Is2.integer(candidate.code) || Is2.string(candidate.code) || Is2.undefined(candidate.code)) && (Is2.undefined(candidate.codeDescription) || Is2.string((_a = candidate.codeDescription) === null || _a === void 0 ? void 0 : _a.href)) && (Is2.string(candidate.source) || Is2.undefined(candidate.source)) && (Is2.undefined(candidate.relatedInformation) || Is2.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation2.is));
         }
-        Diagnostic8.is = is;
+        Diagnostic9.is = is;
       })(Diagnostic2 || (Diagnostic2 = {}));
       (function(Command3) {
         function create(title, command, ...args) {
@@ -17437,7 +17437,7 @@ ${JSON.stringify(message, null, 4)}`);
   });
 
   // server/src/server.ts
-  var import_node13 = __toESM(require_main3());
+  var import_node14 = __toESM(require_main3());
 
   // server/src/platform/shims/fs.ts
   function readFileSync(_path, _enc) {
@@ -133028,6 +133028,13 @@ ${JSON.stringify(message, null, 4)}`);
      * indexed yet" apart from "genuinely doesn't exist".
      */
     workspaceScanComplete = true;
+    /**
+     * Last version given to a stand-in text by `withTexts`. Caches keyed by
+     * version assume one text per uri and version, so each stand-in gets a
+     * version outside the LSP integer range (LSP 3.17, base types).
+     * These internal positive versions are never sent to the client.
+     */
+    temporaryVersion = 2 ** 31 - 1;
     /**
      * Parse a document and cache the result.
      * Returns the cached result if the content hasn't changed.
@@ -133231,6 +133238,35 @@ ${JSON.stringify(message, null, 4)}`);
       this.wsSymbolTable.removeUri(uri);
       this.wsBuiltVersions.delete(uri);
     }
+    /**
+     * Runs `fn` with each text standing in for the document at its uri (or
+     * added as a new document), all at once, then restores the previous
+     * state. `fn` must be synchronous: no other request can run in between,
+     * so no other request ever sees the temporary texts. Every text is
+     * parsed before anything changes. The stand-ins get versions no real
+     * document has, so caches keyed by version never confuse them with the
+     * real documents.
+     */
+    withTexts(documents2, fn) {
+      if (!Number.isSafeInteger(this.temporaryVersion + documents2.length)) {
+        throw new RangeError("Temporary document version space exhausted.");
+      }
+      const parsed = documents2.map(({ uri, text }) => ({ uri, text, result: parseDocument(text) }));
+      const previous = new Map(parsed.map(({ uri }) => [uri, this.cache.get(uri)]));
+      for (const { uri, text, result } of parsed) {
+        this.cache.set(uri, { version: ++this.temporaryVersion, text, result, needsParse: false });
+      }
+      try {
+        return fn();
+      } finally {
+        for (const [uri, entry] of previous) {
+          if (entry) this.cache.set(uri, entry);
+          else this.cache.delete(uri);
+          this.wsSymbolTable.removeUri(uri);
+          this.wsBuiltVersions.delete(uri);
+        }
+      }
+    }
     /**
      * Get all cached URIs.
      */
@@ -142068,6 +142104,115 @@ ${info.documentation}`);
     }
   };
 
+  // server/src/providers/textValidationProvider.ts
+  var import_node13 = __toESM(require_main3());
+  var DEFAULT_TEXT_VALIDATION_SETTINGS = {
+    enabled: false,
+    maxDocuments: 5,
+    maxLines: 200,
+    maxCharacters: 8192,
+    maxTotalCharacters: 16384
+  };
+  function readTextValidationSettings(section) {
+    const raw = typeof section === "object" && section !== null ? section : {};
+    const limit = (value, fallback) => Number.isSafeInteger(value) && value > 0 ? value : fallback;
+    return {
+      enabled: raw.enabled === true,
+      maxDocuments: limit(raw.maxDocuments, DEFAULT_TEXT_VALIDATION_SETTINGS.maxDocuments),
+      maxLines: limit(raw.maxLines, DEFAULT_TEXT_VALIDATION_SETTINGS.maxLines),
+      maxCharacters: limit(raw.maxCharacters, DEFAULT_TEXT_VALIDATION_SETTINGS.maxCharacters),
+      maxTotalCharacters: limit(raw.maxTotalCharacters, DEFAULT_TEXT_VALIDATION_SETTINGS.maxTotalCharacters)
+    };
+  }
+  var TextValidationProvider = class {
+    /**
+     * `isReported` filters diagnostics as the server does before
+     * publishing them (`sysml.validation.disabledCodes`), so a text gets
+     * exactly what it would get as an open document.
+     */
+    constructor(documentManager2, semanticValidator2, isReported2 = () => true) {
+      this.documentManager = documentManager2;
+      this.semanticValidator = semanticValidator2;
+      this.isReported = isReported2;
+    }
+    documentManager;
+    semanticValidator;
+    isReported;
+    settings = { ...DEFAULT_TEXT_VALIDATION_SETTINGS };
+    /** Applies the client's settings to the requests that follow. */
+    configure(settings) {
+      this.settings = { ...settings };
+    }
+    /**
+     * The diagnostics each text would get as an open document, with all
+     * texts in place at the same time. Answers `MethodNotFound` while
+     * disabled, and `InvalidParams` for malformed parameters or parameters
+     * over a limit.
+     */
+    validate(params) {
+      if (!this.settings.enabled) {
+        throw new import_node13.ResponseError(
+          import_node13.ErrorCodes.MethodNotFound,
+          "sysml/validateText is experimental and disabled: set sysml.experimental.validateText.enabled to true."
+        );
+      }
+      const documents2 = this.checkDocuments(params?.documents);
+      const known = documents2.map((document) => ({ uri: this.knownSpelling(document.uri), text: document.text }));
+      const diagnostics = this.documentManager.withTexts(known, () => known.map(({ uri }) => this.diagnose(uri)));
+      return { documents: documents2.map((document, index2) => ({ uri: document.uri, diagnostics: diagnostics[index2] })) };
+    }
+    /** `documents` checked: a non-empty array of `{ uri, text }` within the limits, each naming a different document. */
+    checkDocuments(documents2) {
+      if (!Array.isArray(documents2) || documents2.length === 0) invalid('"documents" must be a non-empty array of { uri, text }.');
+      const { maxDocuments, maxLines, maxCharacters, maxTotalCharacters } = this.settings;
+      if (documents2.length > maxDocuments) {
+        invalid(`${documents2.length} documents, more than the ${maxDocuments} allowed (sysml.experimental.validateText.maxDocuments).`);
+      }
+      const checked = documents2;
+      let totalCharacters = 0;
+      checked.forEach((document, index2) => {
+        if (typeof document?.text !== "string") invalid(`documents[${index2}] needs "text", the SysML text to validate.`);
+        if (document.text.length > maxCharacters) {
+          invalid(`documents[${index2}] has ${document.text.length} characters, more than the ${maxCharacters} allowed (sysml.experimental.validateText.maxCharacters).`);
+        }
+        totalCharacters += document.text.length;
+        if (totalCharacters > maxTotalCharacters) {
+          invalid(`${totalCharacters} total characters, more than the ${maxTotalCharacters} allowed (sysml.experimental.validateText.maxTotalCharacters).`);
+        }
+        const lines = lineCount(document.text);
+        if (lines > maxLines) {
+          invalid(`documents[${index2}] has ${lines} lines, more than the ${maxLines} allowed (sysml.experimental.validateText.maxLines).`);
+        }
+        if (!isUri(document.uri)) invalid(`documents[${index2}] needs "uri", the document the text is the content of.`);
+        const earlier = checked.findIndex((other) => isSameDocumentUri(other.uri, document.uri));
+        if (earlier !== index2) invalid(`documents[${earlier}] and documents[${index2}] name the same document.`);
+      });
+      return checked;
+    }
+    /** The syntax, keyword and semantic diagnostics of the document at `uri`, as published for an open document. */
+    diagnose(uri) {
+      const diagnostics = new DiagnosticsProvider(this.documentManager).getDiagnostics(uri);
+      const parseResult = this.documentManager.get(uri);
+      if (parseResult) diagnostics.push(...validateKeywords(parseResult));
+      diagnostics.push(...this.semanticValidator.validate(uri));
+      return diagnostics.filter(this.isReported);
+    }
+    /** The spelling under which the server knows the document `uri` names, else `uri` itself (see `isSameDocumentUri`). */
+    knownSpelling(uri) {
+      return this.documentManager.getUris().find((known) => isSameDocumentUri(known, uri)) ?? uri;
+    }
+  };
+  function lineCount(text) {
+    const breaks = text.match(/\r\n|\r|\n/g)?.length ?? 0;
+    return text === "" || /[\r\n]$/.test(text) ? breaks : breaks + 1;
+  }
+  function isUri(value) {
+    return typeof value === "string" && value.trim() !== "";
+  }
+  function invalid(message) {
+    throw new import_node13.ResponseError(import_node13.ErrorCodes.InvalidParams, `sysml/validateText: ${message}`);
+  }
+
   // server/src/platform/shims/fs-promises.ts
   async function readFile(_path, _enc) {
     throw new Error("fs/promises.readFile is not available in the browser");
@@ -142148,7 +142293,7 @@ ${info.documentation}`);
     return void 0;
   }
   var connection = createServerConnection();
-  var documents = new import_node13.TextDocuments(TextDocument2);
+  var documents = new import_node14.TextDocuments(TextDocument2);
   var serverStartTime = Date.now();
   var documentManager = new DocumentManager();
   var modelProvider = new SysMLModelProvider(documentManager);
@@ -142165,6 +142310,7 @@ ${info.documentation}`);
   var codeActionProvider = new CodeActionProvider(documentManager);
   var formattingProvider = new FormattingProvider(documents);
   var semanticValidator = new SemanticValidator(documentManager);
+  var textValidationProvider = new TextValidationProvider(documentManager, semanticValidator, isReported);
   hoverProvider.setSemanticValidator(semanticValidator);
   var hasConfigurationCapability = false;
   var hasWorkspaceFolderCapability = false;
@@ -142176,11 +142322,11 @@ ${info.documentation}`);
   var isWorkspaceFile = false;
   var preloadOnOpen = "workspaceOnly";
   var disabledDiagnosticCodes = /* @__PURE__ */ new Set();
+  function isReported(diagnostic) {
+    return diagnostic.code === void 0 || !disabledDiagnosticCodes.has(String(diagnostic.code));
+  }
   function publishDiagnostics(uri, diagnostics) {
-    connection.sendDiagnostics({
-      uri,
-      diagnostics: diagnostics.filter((diagnostic) => diagnostic.code === void 0 || !disabledDiagnosticCodes.has(String(diagnostic.code)))
-    });
+    connection.sendDiagnostics({ uri, diagnostics: diagnostics.filter(isReported) });
   }
   var skipDirs = new Set(DEFAULT_SKIP_DIRS);
   var serverReady = false;
@@ -142313,7 +142459,7 @@ ${info.documentation}`);
     };
     const result = {
       capabilities: {
-        textDocumentSync: import_node13.TextDocumentSyncKind.Incremental,
+        textDocumentSync: import_node14.TextDocumentSyncKind.Incremental,
         // Completion
         completionProvider: {
           resolveProvider: true,
@@ -142341,7 +142487,7 @@ ${info.documentation}`);
         // Code actions (quick fixes)
         codeActionProvider: {
           codeActionKinds: [
-            import_node13.CodeActionKind.QuickFix
+            import_node14.CodeActionKind.QuickFix
           ]
         },
         // Document formatting
@@ -142362,7 +142508,7 @@ ${info.documentation}`);
   connection.onInitialized(async () => {
     if (hasConfigurationCapability) {
       connection.client.register(
-        import_node13.DidChangeConfigurationNotification.type,
+        import_node14.DidChangeConfigurationNotification.type,
         void 0
       );
     }
@@ -142423,6 +142569,8 @@ ${info.documentation}`);
     const validation = await connection.workspace.getConfiguration("sysml.validation");
     const codes = validation?.disabledCodes;
     disabledDiagnosticCodes = new Set(Array.isArray(codes) ? codes.filter((code) => typeof code === "string") : []);
+    const experimental = await connection.workspace.getConfiguration("sysml.experimental");
+    textValidationProvider.configure(readTextValidationSettings(experimental?.validateText));
   }
   function applySettings(config) {
     if (!config) return;
@@ -142776,6 +142924,10 @@ ${info.documentation}`);
     await initialization;
     return elementLookupProvider.elementLookup(params);
   });
+  connection.onRequest("sysml/validateText", async (params) => {
+    await initialization;
+    return textValidationProvider.validate(params);
+  });
   connection.onRequest("sysml/serverStats", () => {
     const mem = typeof process !== "undefined" && typeof process.memoryUsage === "function" ? process.memoryUsage() : { heapUsed: 0, heapTotal: 0, rss: 0, external: 0 };
     const toMB = (bytes) => Math.round(bytes / 1024 / 1024);

package/dist/server/server.js

@@ -118,28 +118,28 @@ var require_messages = __commonJS({
     Object.defineProperty(exports2, "__esModule", { value: true });
     exports2.Message = exports2.NotificationType9 = exports2.NotificationType8 = exports2.NotificationType7 = exports2.NotificationType6 = exports2.NotificationType5 = exports2.NotificationType4 = exports2.NotificationType3 = exports2.NotificationType2 = exports2.NotificationType1 = exports2.NotificationType0 = exports2.NotificationType = exports2.RequestType9 = exports2.RequestType8 = exports2.RequestType7 = exports2.RequestType6 = exports2.RequestType5 = exports2.RequestType4 = exports2.RequestType3 = exports2.RequestType2 = exports2.RequestType1 = exports2.RequestType = exports2.RequestType0 = exports2.AbstractMessageSignature = exports2.ParameterStructures = exports2.ResponseError = exports2.ErrorCodes = void 0;
     var is = require_is2();
-    var ErrorCodes2;
-    (function(ErrorCodes3) {
-      ErrorCodes3.ParseError = -32700;
-      ErrorCodes3.InvalidRequest = -32600;
-      ErrorCodes3.MethodNotFound = -32601;
-      ErrorCodes3.InvalidParams = -32602;
-      ErrorCodes3.InternalError = -32603;
-      ErrorCodes3.jsonrpcReservedErrorRangeStart = -32099;
-      ErrorCodes3.serverErrorStart = -32099;
-      ErrorCodes3.MessageWriteError = -32099;
-      ErrorCodes3.MessageReadError = -32098;
-      ErrorCodes3.PendingResponseRejected = -32097;
-      ErrorCodes3.ConnectionInactive = -32096;
-      ErrorCodes3.ServerNotInitialized = -32002;
-      ErrorCodes3.UnknownErrorCode = -32001;
-      ErrorCodes3.jsonrpcReservedErrorRangeEnd = -32e3;
-      ErrorCodes3.serverErrorEnd = -32e3;
-    })(ErrorCodes2 || (exports2.ErrorCodes = ErrorCodes2 = {}));
-    var ResponseError2 = class _ResponseError extends Error {
+    var ErrorCodes3;
+    (function(ErrorCodes4) {
+      ErrorCodes4.ParseError = -32700;
+      ErrorCodes4.InvalidRequest = -32600;
+      ErrorCodes4.MethodNotFound = -32601;
+      ErrorCodes4.InvalidParams = -32602;
+      ErrorCodes4.InternalError = -32603;
+      ErrorCodes4.jsonrpcReservedErrorRangeStart = -32099;
+      ErrorCodes4.serverErrorStart = -32099;
+      ErrorCodes4.MessageWriteError = -32099;
+      ErrorCodes4.MessageReadError = -32098;
+      ErrorCodes4.PendingResponseRejected = -32097;
+      ErrorCodes4.ConnectionInactive = -32096;
+      ErrorCodes4.ServerNotInitialized = -32002;
+      ErrorCodes4.UnknownErrorCode = -32001;
+      ErrorCodes4.jsonrpcReservedErrorRangeEnd = -32e3;
+      ErrorCodes4.serverErrorEnd = -32e3;
+    })(ErrorCodes3 || (exports2.ErrorCodes = ErrorCodes3 = {}));
+    var ResponseError3 = class _ResponseError extends Error {
       constructor(code, message, data) {
         super(message);
-        this.code = is.number(code) ? code : ErrorCodes2.UnknownErrorCode;
+        this.code = is.number(code) ? code : ErrorCodes3.UnknownErrorCode;
         this.data = data;
         Object.setPrototypeOf(this, _ResponseError.prototype);
       }
@@ -154,7 +154,7 @@ var require_messages = __commonJS({
         return result;
       }
     };
-    exports2.ResponseError = ResponseError2;
+    exports2.ResponseError = ResponseError3;
     var ParameterStructures = class _ParameterStructures {
       constructor(kind) {
         this.kind = kind;
@@ -3552,8 +3552,8 @@ var require_main2 = __commonJS({
         }
         CodeDescription2.is = is;
       })(CodeDescription || (exports3.CodeDescription = CodeDescription = {}));
-      var Diagnostic6;
-      (function(Diagnostic7) {
+      var Diagnostic7;
+      (function(Diagnostic8) {
         function create(range, message, severity, code, source, relatedInformation) {
           var result = { range, message };
           if (Is.defined(severity)) {
@@ -3570,14 +3570,14 @@ var require_main2 = __commonJS({
           }
           return result;
         }
-        Diagnostic7.create = create;
+        Diagnostic8.create = create;
         function is(value) {
           var _a;
           var candidate = value;
           return Is.defined(candidate) && Range6.is(candidate.range) && Is.string(candidate.message) && (Is.number(candidate.severity) || Is.undefined(candidate.severity)) && (Is.integer(candidate.code) || Is.string(candidate.code) || Is.undefined(candidate.code)) && (Is.undefined(candidate.codeDescription) || Is.string((_a = candidate.codeDescription) === null || _a === void 0 ? void 0 : _a.href)) && (Is.string(candidate.source) || Is.undefined(candidate.source)) && (Is.undefined(candidate.relatedInformation) || Is.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation.is));
         }
-        Diagnostic7.is = is;
-      })(Diagnostic6 || (exports3.Diagnostic = Diagnostic6 = {}));
+        Diagnostic8.is = is;
+      })(Diagnostic7 || (exports3.Diagnostic = Diagnostic7 = {}));
       var Command;
       (function(Command2) {
         function create(title, command) {
@@ -4362,7 +4362,7 @@ var require_main2 = __commonJS({
         CodeActionContext2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.defined(candidate) && Is.typedArray(candidate.diagnostics, Diagnostic6.is) && (candidate.only === void 0 || Is.typedArray(candidate.only, Is.string)) && (candidate.triggerKind === void 0 || candidate.triggerKind === CodeActionTriggerKind.Invoked || candidate.triggerKind === CodeActionTriggerKind.Automatic);
+          return Is.defined(candidate) && Is.typedArray(candidate.diagnostics, Diagnostic7.is) && (candidate.only === void 0 || Is.typedArray(candidate.only, Is.string)) && (candidate.triggerKind === void 0 || candidate.triggerKind === CodeActionTriggerKind.Invoked || candidate.triggerKind === CodeActionTriggerKind.Automatic);
         }
         CodeActionContext2.is = is;
       })(CodeActionContext || (exports3.CodeActionContext = CodeActionContext = {}));
@@ -4387,7 +4387,7 @@ var require_main2 = __commonJS({
         CodeAction3.create = create;
         function is(value) {
           var candidate = value;
-          return candidate && Is.string(candidate.title) && (candidate.diagnostics === void 0 || Is.typedArray(candidate.diagnostics, Diagnostic6.is)) && (candidate.kind === void 0 || Is.string(candidate.kind)) && (candidate.edit !== void 0 || candidate.command !== void 0) && (candidate.command === void 0 || Command.is(candidate.command)) && (candidate.isPreferred === void 0 || Is.boolean(candidate.isPreferred)) && (candidate.edit === void 0 || WorkspaceEdit4.is(candidate.edit));
+          return candidate && Is.string(candidate.title) && (candidate.diagnostics === void 0 || Is.typedArray(candidate.diagnostics, Diagnostic7.is)) && (candidate.kind === void 0 || Is.string(candidate.kind)) && (candidate.edit !== void 0 || candidate.command !== void 0) && (candidate.command === void 0 || Command.is(candidate.command)) && (candidate.isPreferred === void 0 || Is.boolean(candidate.isPreferred)) && (candidate.edit === void 0 || WorkspaceEdit4.is(candidate.edit));
         }
         CodeAction3.is = is;
       })(CodeAction2 || (exports3.CodeAction = CodeAction2 = {}));
@@ -8880,7 +8880,7 @@ var require_node3 = __commonJS({
 });
 
 // server/src/server.ts
-var import_node14 = __toESM(require_node3());
+var import_node15 = __toESM(require_node3());
 var fs = __toESM(require("node:fs"));
 var path2 = __toESM(require("node:path"));
 var import_node_url2 = require("node:url");
@@ -124358,6 +124358,13 @@ var DocumentManager = class {
    * indexed yet" apart from "genuinely doesn't exist".
    */
   workspaceScanComplete = true;
+  /**
+   * Last version given to a stand-in text by `withTexts`. Caches keyed by
+   * version assume one text per uri and version, so each stand-in gets a
+   * version outside the LSP integer range (LSP 3.17, base types).
+   * These internal positive versions are never sent to the client.
+   */
+  temporaryVersion = 2 ** 31 - 1;
   /**
    * Parse a document and cache the result.
    * Returns the cached result if the content hasn't changed.
@@ -124561,6 +124568,35 @@ var DocumentManager = class {
     this.wsSymbolTable.removeUri(uri);
     this.wsBuiltVersions.delete(uri);
   }
+  /**
+   * Runs `fn` with each text standing in for the document at its uri (or
+   * added as a new document), all at once, then restores the previous
+   * state. `fn` must be synchronous: no other request can run in between,
+   * so no other request ever sees the temporary texts. Every text is
+   * parsed before anything changes. The stand-ins get versions no real
+   * document has, so caches keyed by version never confuse them with the
+   * real documents.
+   */
+  withTexts(documents2, fn) {
+    if (!Number.isSafeInteger(this.temporaryVersion + documents2.length)) {
+      throw new RangeError("Temporary document version space exhausted.");
+    }
+    const parsed = documents2.map(({ uri, text }) => ({ uri, text, result: parseDocument(text) }));
+    const previous = new Map(parsed.map(({ uri }) => [uri, this.cache.get(uri)]));
+    for (const { uri, text, result } of parsed) {
+      this.cache.set(uri, { version: ++this.temporaryVersion, text, result, needsParse: false });
+    }
+    try {
+      return fn();
+    } finally {
+      for (const [uri, entry] of previous) {
+        if (entry) this.cache.set(uri, entry);
+        else this.cache.delete(uri);
+        this.wsSymbolTable.removeUri(uri);
+        this.wsBuiltVersions.delete(uri);
+      }
+    }
+  }
   /**
    * Get all cached URIs.
    */
@@ -131036,6 +131072,115 @@ var SemanticValidator = class _SemanticValidator {
   }
 };
 
+// server/src/providers/textValidationProvider.ts
+var import_node14 = __toESM(require_node3());
+var DEFAULT_TEXT_VALIDATION_SETTINGS = {
+  enabled: false,
+  maxDocuments: 5,
+  maxLines: 200,
+  maxCharacters: 8192,
+  maxTotalCharacters: 16384
+};
+function readTextValidationSettings(section) {
+  const raw = typeof section === "object" && section !== null ? section : {};
+  const limit = (value, fallback) => Number.isSafeInteger(value) && value > 0 ? value : fallback;
+  return {
+    enabled: raw.enabled === true,
+    maxDocuments: limit(raw.maxDocuments, DEFAULT_TEXT_VALIDATION_SETTINGS.maxDocuments),
+    maxLines: limit(raw.maxLines, DEFAULT_TEXT_VALIDATION_SETTINGS.maxLines),
+    maxCharacters: limit(raw.maxCharacters, DEFAULT_TEXT_VALIDATION_SETTINGS.maxCharacters),
+    maxTotalCharacters: limit(raw.maxTotalCharacters, DEFAULT_TEXT_VALIDATION_SETTINGS.maxTotalCharacters)
+  };
+}
+var TextValidationProvider = class {
+  /**
+   * `isReported` filters diagnostics as the server does before
+   * publishing them (`sysml.validation.disabledCodes`), so a text gets
+   * exactly what it would get as an open document.
+   */
+  constructor(documentManager2, semanticValidator2, isReported2 = () => true) {
+    this.documentManager = documentManager2;
+    this.semanticValidator = semanticValidator2;
+    this.isReported = isReported2;
+  }
+  documentManager;
+  semanticValidator;
+  isReported;
+  settings = { ...DEFAULT_TEXT_VALIDATION_SETTINGS };
+  /** Applies the client's settings to the requests that follow. */
+  configure(settings) {
+    this.settings = { ...settings };
+  }
+  /**
+   * The diagnostics each text would get as an open document, with all
+   * texts in place at the same time. Answers `MethodNotFound` while
+   * disabled, and `InvalidParams` for malformed parameters or parameters
+   * over a limit.
+   */
+  validate(params) {
+    if (!this.settings.enabled) {
+      throw new import_node14.ResponseError(
+        import_node14.ErrorCodes.MethodNotFound,
+        "sysml/validateText is experimental and disabled: set sysml.experimental.validateText.enabled to true."
+      );
+    }
+    const documents2 = this.checkDocuments(params?.documents);
+    const known = documents2.map((document) => ({ uri: this.knownSpelling(document.uri), text: document.text }));
+    const diagnostics = this.documentManager.withTexts(known, () => known.map(({ uri }) => this.diagnose(uri)));
+    return { documents: documents2.map((document, index2) => ({ uri: document.uri, diagnostics: diagnostics[index2] })) };
+  }
+  /** `documents` checked: a non-empty array of `{ uri, text }` within the limits, each naming a different document. */
+  checkDocuments(documents2) {
+    if (!Array.isArray(documents2) || documents2.length === 0) invalid('"documents" must be a non-empty array of { uri, text }.');
+    const { maxDocuments, maxLines, maxCharacters, maxTotalCharacters } = this.settings;
+    if (documents2.length > maxDocuments) {
+      invalid(`${documents2.length} documents, more than the ${maxDocuments} allowed (sysml.experimental.validateText.maxDocuments).`);
+    }
+    const checked = documents2;
+    let totalCharacters = 0;
+    checked.forEach((document, index2) => {
+      if (typeof document?.text !== "string") invalid(`documents[${index2}] needs "text", the SysML text to validate.`);
+      if (document.text.length > maxCharacters) {
+        invalid(`documents[${index2}] has ${document.text.length} characters, more than the ${maxCharacters} allowed (sysml.experimental.validateText.maxCharacters).`);
+      }
+      totalCharacters += document.text.length;
+      if (totalCharacters > maxTotalCharacters) {
+        invalid(`${totalCharacters} total characters, more than the ${maxTotalCharacters} allowed (sysml.experimental.validateText.maxTotalCharacters).`);
+      }
+      const lines = lineCount(document.text);
+      if (lines > maxLines) {
+        invalid(`documents[${index2}] has ${lines} lines, more than the ${maxLines} allowed (sysml.experimental.validateText.maxLines).`);
+      }
+      if (!isUri(document.uri)) invalid(`documents[${index2}] needs "uri", the document the text is the content of.`);
+      const earlier = checked.findIndex((other) => isSameDocumentUri(other.uri, document.uri));
+      if (earlier !== index2) invalid(`documents[${earlier}] and documents[${index2}] name the same document.`);
+    });
+    return checked;
+  }
+  /** The syntax, keyword and semantic diagnostics of the document at `uri`, as published for an open document. */
+  diagnose(uri) {
+    const diagnostics = new DiagnosticsProvider(this.documentManager).getDiagnostics(uri);
+    const parseResult = this.documentManager.get(uri);
+    if (parseResult) diagnostics.push(...validateKeywords(parseResult));
+    diagnostics.push(...this.semanticValidator.validate(uri));
+    return diagnostics.filter(this.isReported);
+  }
+  /** The spelling under which the server knows the document `uri` names, else `uri` itself (see `isSameDocumentUri`). */
+  knownSpelling(uri) {
+    return this.documentManager.getUris().find((known) => isSameDocumentUri(known, uri)) ?? uri;
+  }
+};
+function lineCount(text) {
+  const breaks = text.match(/\r\n|\r|\n/g)?.length ?? 0;
+  return text === "" || /[\r\n]$/.test(text) ? breaks : breaks + 1;
+}
+function isUri(value) {
+  return typeof value === "string" && value.trim() !== "";
+}
+function invalid(message) {
+  throw new import_node14.ResponseError(import_node14.ErrorCodes.InvalidParams, `sysml/validateText: ${message}`);
+}
+
 // server/src/utils/fileDiscovery.ts
 var fsp = __toESM(require("node:fs/promises"));
 var path = __toESM(require("node:path"));
@@ -131110,7 +131255,7 @@ function toFsPath(uri) {
   return void 0;
 }
 var connection = createServerConnection();
-var documents = new import_node14.TextDocuments(TextDocument);
+var documents = new import_node15.TextDocuments(TextDocument);
 var serverStartTime = Date.now();
 var documentManager = new DocumentManager();
 var modelProvider = new SysMLModelProvider(documentManager);
@@ -131127,6 +131272,7 @@ var renameProvider = new RenameProvider(documentManager);
 var codeActionProvider = new CodeActionProvider(documentManager);
 var formattingProvider = new FormattingProvider(documents);
 var semanticValidator = new SemanticValidator(documentManager);
+var textValidationProvider = new TextValidationProvider(documentManager, semanticValidator, isReported);
 hoverProvider.setSemanticValidator(semanticValidator);
 var hasConfigurationCapability = false;
 var hasWorkspaceFolderCapability = false;
@@ -131138,11 +131284,11 @@ function rootsOf(folderUris) {
 var isWorkspaceFile = false;
 var preloadOnOpen = "workspaceOnly";
 var disabledDiagnosticCodes = /* @__PURE__ */ new Set();
+function isReported(diagnostic) {
+  return diagnostic.code === void 0 || !disabledDiagnosticCodes.has(String(diagnostic.code));
+}
 function publishDiagnostics(uri, diagnostics) {
-  connection.sendDiagnostics({
-    uri,
-    diagnostics: diagnostics.filter((diagnostic) => diagnostic.code === void 0 || !disabledDiagnosticCodes.has(String(diagnostic.code)))
-  });
+  connection.sendDiagnostics({ uri, diagnostics: diagnostics.filter(isReported) });
 }
 var skipDirs = new Set(DEFAULT_SKIP_DIRS);
 var serverReady = false;
@@ -131275,7 +131421,7 @@ connection.onInitialize((params) => {
   };
   const result = {
     capabilities: {
-      textDocumentSync: import_node14.TextDocumentSyncKind.Incremental,
+      textDocumentSync: import_node15.TextDocumentSyncKind.Incremental,
       // Completion
       completionProvider: {
         resolveProvider: true,
@@ -131303,7 +131449,7 @@ connection.onInitialize((params) => {
       // Code actions (quick fixes)
       codeActionProvider: {
         codeActionKinds: [
-          import_node14.CodeActionKind.QuickFix
+          import_node15.CodeActionKind.QuickFix
         ]
       },
       // Document formatting
@@ -131324,7 +131470,7 @@ connection.onInitialize((params) => {
 connection.onInitialized(async () => {
   if (hasConfigurationCapability) {
     connection.client.register(
-      import_node14.DidChangeConfigurationNotification.type,
+      import_node15.DidChangeConfigurationNotification.type,
       void 0
     );
   }
@@ -131385,6 +131531,8 @@ async function pullSettings() {
   const validation = await connection.workspace.getConfiguration("sysml.validation");
   const codes = validation?.disabledCodes;
   disabledDiagnosticCodes = new Set(Array.isArray(codes) ? codes.filter((code) => typeof code === "string") : []);
+  const experimental = await connection.workspace.getConfiguration("sysml.experimental");
+  textValidationProvider.configure(readTextValidationSettings(experimental?.validateText));
 }
 function applySettings(config) {
   if (!config) return;
@@ -131738,6 +131886,10 @@ connection.onRequest("sysml/elementLookup", async (params) => {
   await initialization;
   return elementLookupProvider.elementLookup(params);
 });
+connection.onRequest("sysml/validateText", async (params) => {
+  await initialization;
+  return textValidationProvider.validate(params);
+});
 connection.onRequest("sysml/serverStats", () => {
   const mem = typeof process !== "undefined" && typeof process.memoryUsage === "function" ? process.memoryUsage() : { heapUsed: 0, heapTotal: 0, rss: 0, external: 0 };
   const toMB = (bytes) => Math.round(bytes / 1024 / 1024);

package/package.json

@@ -2,7 +2,7 @@
   "name": "sysml-v2-lsp",
   "displayName": "SysML v2 Language Server",
   "description": "Language Server Protocol implementation for SysML v2, powered by ANTLR4",
-  "version": "0.37.0",
+  "version": "0.38.0",
   "publisher": "JamieD",
   "license": "MIT",
   "repository": {
@@ -96,6 +96,40 @@
           "default": [],
           "description": "Diagnostic codes to suppress, such as missing-doc. Changes apply to open documents immediately."
         },
+        "sysml.experimental.validateText.enabled": {
+          "scope": "window",
+          "type": "boolean",
+          "default": false,
+          "markdownDescription": "Experimental: answer the custom `sysml/validateText` request, which validates SysML text against the workspace model without opening a document or publishing diagnostics. The request is meant for tools that generate or edit SysML text."
+        },
+        "sysml.experimental.validateText.maxDocuments": {
+          "scope": "window",
+          "type": "integer",
+          "minimum": 1,
+          "default": 5,
+          "markdownDescription": "Experimental: the most documents one `sysml/validateText` request may validate. Requests with more are rejected."
+        },
+        "sysml.experimental.validateText.maxLines": {
+          "scope": "window",
+          "type": "integer",
+          "minimum": 1,
+          "default": 200,
+          "markdownDescription": "Experimental: the most lines of code one document's text may have in a `sysml/validateText` request. Requests with a longer text are rejected. Character limits also apply."
+        },
+        "sysml.experimental.validateText.maxCharacters": {
+          "scope": "window",
+          "type": "integer",
+          "minimum": 1,
+          "default": 8192,
+          "markdownDescription": "Experimental: the most characters (UTF-16 code units) per document in a `sysml/validateText` request. Checked before parsing, including for single-line text."
+        },
+        "sysml.experimental.validateText.maxTotalCharacters": {
+          "scope": "window",
+          "type": "integer",
+          "minimum": 1,
+          "default": 16384,
+          "markdownDescription": "Experimental: the most characters (UTF-16 code units) across all documents in a `sysml/validateText` request. Checked before parsing."
+        },
         "sysml.maxNumberOfProblems": {
           "scope": "resource",
           "type": "number",