@domainlang/language 0.1.20

package/out/lsp/manifest-diagnostics.js

@@ -0,0 +1,230 @@
+/**
+ * Manifest Diagnostics Service for DomainLang.
+ *
+ * Provides LSP diagnostics for model.yaml files by integrating the ManifestValidator
+ * with the VS Code language server protocol.
+ *
+ * This service:
+ * - Validates model.yaml files using ManifestValidator
+ * - Converts ManifestDiagnostic to LSP Diagnostic format
+ * - Sends diagnostics to the LSP connection
+ *
+ * @module
+ */
+import { DiagnosticSeverity, Position, Range } from 'vscode-languageserver-types';
+import YAML, { isMap, isPair, isScalar } from 'yaml';
+import { ManifestValidator } from '../validation/manifest.js';
+/**
+ * Service for validating model.yaml and sending diagnostics via LSP.
+ */
+export class ManifestDiagnosticsService {
+    constructor() {
+        this.validator = new ManifestValidator();
+    }
+    /**
+     * Sets the LSP connection for sending diagnostics.
+     * Must be called before validateAndSendDiagnostics.
+     */
+    setConnection(connection) {
+        this.connection = connection;
+    }
+    /**
+     * Validates a model.yaml file and sends diagnostics to the LSP connection.
+     *
+     * @param manifestUri - URI of the model.yaml file
+     * @param content - Raw YAML content of the file
+     * @param options - Validation options
+     */
+    async validateAndSendDiagnostics(manifestUri, content, options) {
+        if (!this.connection) {
+            return; // No connection, skip diagnostics
+        }
+        const diagnostics = this.validate(content, options);
+        await this.connection.sendDiagnostics({
+            uri: manifestUri,
+            diagnostics
+        });
+    }
+    /**
+     * Validates manifest content and returns LSP diagnostics.
+     *
+     * @param content - Raw YAML content
+     * @param options - Validation options
+     * @returns Array of LSP diagnostics
+     */
+    validate(content, options) {
+        // Parse YAML to get both the manifest object and source map
+        let yamlDoc;
+        let manifest;
+        try {
+            yamlDoc = YAML.parseDocument(content);
+            // Check for YAML parse errors (they're in the errors array, not thrown)
+            if (yamlDoc.errors && yamlDoc.errors.length > 0) {
+                return yamlDoc.errors.map(err => ({
+                    severity: DiagnosticSeverity.Error,
+                    range: this.yamlErrorToRange(err, content),
+                    message: `YAML parse error: ${err.message}`,
+                    source: 'domainlang'
+                }));
+            }
+            manifest = (yamlDoc.toJSON() ?? {});
+        }
+        catch (error) {
+            // Fallback for unexpected errors
+            const message = error instanceof Error ? error.message : 'Invalid YAML syntax';
+            return [{
+                    severity: DiagnosticSeverity.Error,
+                    range: Range.create(Position.create(0, 0), Position.create(0, 1)),
+                    message: `YAML parse error: ${message}`,
+                    source: 'domainlang'
+                }];
+        }
+        // Run manifest validation
+        const result = this.validator.validate(manifest, options);
+        // Convert to LSP diagnostics with source locations
+        return result.diagnostics.map(diag => this.toVSCodeDiagnostic(diag, yamlDoc));
+    }
+    /**
+     * Converts a YAML error to an LSP Range.
+     */
+    yamlErrorToRange(err, _content) {
+        if (err.linePos && err.linePos.length >= 1) {
+            const startPos = err.linePos[0];
+            const startLine = startPos.line - 1; // YAML uses 1-based lines
+            const startCol = startPos.col - 1; // YAML uses 1-based columns
+            const endPos = err.linePos.length >= 2 ? err.linePos[1] : undefined;
+            const endLine = endPos ? endPos.line - 1 : startLine;
+            const endCol = endPos ? endPos.col - 1 : startCol + 1;
+            return Range.create(Position.create(startLine, startCol), Position.create(endLine, endCol));
+        }
+        return Range.create(Position.create(0, 0), Position.create(0, 1));
+    }
+    /**
+     * Clears diagnostics for a manifest file.
+     * Call this when the file is closed or deleted.
+     */
+    async clearDiagnostics(manifestUri) {
+        if (!this.connection) {
+            return;
+        }
+        await this.connection.sendDiagnostics({
+            uri: manifestUri,
+            diagnostics: []
+        });
+    }
+    /**
+     * Converts a ManifestDiagnostic to an LSP Diagnostic.
+     */
+    toVSCodeDiagnostic(diag, yamlDoc) {
+        const range = this.findRangeForPath(diag.path, yamlDoc);
+        let message = diag.message;
+        if (diag.hint) {
+            message += `\nHint: ${diag.hint}`;
+        }
+        return {
+            severity: this.toVSCodeSeverity(diag.severity),
+            range,
+            message,
+            source: 'domainlang',
+            code: diag.code
+        };
+    }
+    /**
+     * Converts ManifestSeverity to LSP DiagnosticSeverity.
+     */
+    toVSCodeSeverity(severity) {
+        switch (severity) {
+            case 'error':
+                return DiagnosticSeverity.Error;
+            case 'warning':
+                return DiagnosticSeverity.Warning;
+            case 'info':
+                return DiagnosticSeverity.Information;
+            default:
+                return DiagnosticSeverity.Warning;
+        }
+    }
+    /**
+     * Finds the source range for a YAML path like "dependencies.core.version".
+     * Returns a fallback range at start of file if path not found.
+     */
+    findRangeForPath(path, yamlDoc) {
+        const fallback = Range.create(Position.create(0, 0), Position.create(0, 1));
+        if (!yamlDoc.contents || !isMap(yamlDoc.contents)) {
+            return fallback;
+        }
+        const parts = path.split('.');
+        let currentNode = yamlDoc.contents;
+        for (const part of parts) {
+            if (!isMap(currentNode)) {
+                return fallback;
+            }
+            const mapNode = currentNode;
+            const item = mapNode.items.find((pair) => isPair(pair) && isScalar(pair.key) && String(pair.key.value) === part);
+            if (!item) {
+                return fallback;
+            }
+            // If this is the last part, return the range of the key
+            if (part === parts[parts.length - 1]) {
+                const keyNode = item.key;
+                if (isScalar(keyNode) && keyNode.range) {
+                    const [start, end] = keyNode.range;
+                    return this.offsetsToRange(start, end, yamlDoc.toString());
+                }
+            }
+            currentNode = item.value;
+        }
+        return fallback;
+    }
+    /**
+     * Converts byte offsets to a VS Code Range using line/column calculation.
+     */
+    offsetsToRange(startOffset, endOffset, content) {
+        const lines = content.split('\n');
+        let currentOffset = 0;
+        let startLine = 0;
+        let startCol = 0;
+        let endLine = 0;
+        let endCol = 0;
+        let foundStart = false;
+        let foundEnd = false;
+        for (let lineNum = 0; lineNum < lines.length && !foundEnd; lineNum++) {
+            const lineLength = lines[lineNum].length + 1; // +1 for newline
+            if (!foundStart && currentOffset + lineLength > startOffset) {
+                startLine = lineNum;
+                startCol = startOffset - currentOffset;
+                foundStart = true;
+            }
+            if (!foundEnd && currentOffset + lineLength >= endOffset) {
+                endLine = lineNum;
+                endCol = endOffset - currentOffset;
+                foundEnd = true;
+            }
+            currentOffset += lineLength;
+        }
+        return Range.create(Position.create(startLine, startCol), Position.create(endLine, endCol));
+    }
+}
+/**
+ * Singleton instance for use across the language server.
+ */
+let manifestDiagnosticsService;
+/**
+ * Gets or creates the manifest diagnostics service singleton.
+ */
+export function getManifestDiagnosticsService() {
+    if (!manifestDiagnosticsService) {
+        manifestDiagnosticsService = new ManifestDiagnosticsService();
+    }
+    return manifestDiagnosticsService;
+}
+/**
+ * Helper to validate a manifest URI with the given content.
+ * Convenience function for use in file watchers.
+ */
+export async function validateManifestFile(connection, manifestUri, content) {
+    const service = getManifestDiagnosticsService();
+    service.setConnection(connection);
+    await service.validateAndSendDiagnostics(manifestUri, content);
+}
+//# sourceMappingURL=manifest-diagnostics.js.map

package/out/lsp/manifest-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest-diagnostics.js","sourceRoot":"","sources":["../../src/lsp/manifest-diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAc,kBAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAC9F,OAAO,IAAI,EAAE,EAA0D,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAC7G,OAAO,EAAE,iBAAiB,EAAkD,MAAM,2BAA2B,CAAC;AAG9G;;GAEG;AACH,MAAM,OAAO,0BAA0B;IAAvC;QACqB,cAAS,GAAG,IAAI,iBAAiB,EAAE,CAAC;IA4OzD,CAAC;IAzOG;;;OAGG;IACH,aAAa,CAAC,UAAsB;QAChC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,0BAA0B,CAC5B,WAAmB,EACnB,OAAe,EACf,OAA0C;QAE1C,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACnB,OAAO,CAAC,kCAAkC;QAC9C,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEpD,MAAM,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAClC,GAAG,EAAE,WAAW;YAChB,WAAW;SACd,CAAC,CAAC;IACP,CAAC;IAED;;;;;;OAMG;IACH,QAAQ,CACJ,OAAe,EACf,OAA0C;QAE1C,4DAA4D;QAC5D,IAAI,OAA4B,CAAC;QACjC,IAAI,QAAuB,CAAC;QAE5B,IAAI,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAEtC,wEAAwE;YACxE,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9C,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC9B,QAAQ,EAAE,kBAAkB,CAAC,KAAK;oBAClC,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC;oBAC1C,OAAO,EAAE,qBAAqB,GAAG,CAAC,OAAO,EAAE;oBAC3C,MAAM,EAAE,YAAY;iBACvB,CAAC,CAAC,CAAC;YACR,CAAC;YAED,QAAQ,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAkB,CAAC;QACzD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,iCAAiC;YACjC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC;YAC/E,OAAO,CAAC;oBACJ,QAAQ,EAAE,kBAAkB,CAAC,KAAK;oBAClC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACjE,OAAO,EAAE,qBAAqB,OAAO,EAAE;oBACvC,MAAM,EAAE,YAAY;iBACvB,CAAC,CAAC;QACP,CAAC;QAED,0BAA0B;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE1D,mDAAmD;QACnD,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACjC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CACzC,CAAC;IACN,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,GAAmB,EAAE,QAAgB;QAC1D,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,0BAA0B;YAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAG,4BAA4B;YACjE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACrD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC;YACtD,OAAO,KAAK,CAAC,MAAM,CACf,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,EACpC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CACnC,CAAC;QACN,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,gBAAgB,CAAC,WAAmB;QACtC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACnB,OAAO;QACX,CAAC;QAED,MAAM,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;YAClC,GAAG,EAAE,WAAW;YAChB,WAAW,EAAE,EAAE;SAClB,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACK,kBAAkB,CACtB,IAAwB,EACxB,OAA4B;QAE5B,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAExD,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC3B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,OAAO,IAAI,WAAW,IAAI,CAAC,IAAI,EAAE,CAAC;QACtC,CAAC;QAED,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC9C,KAAK;YACL,OAAO;YACP,MAAM,EAAE,YAAY;YACpB,IAAI,EAAE,IAAI,CAAC,IAAI;SAClB,CAAC;IACN,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,QAA0B;QAC/C,QAAQ,QAAQ,EAAE,CAAC;YACf,KAAK,OAAO;gBACR,OAAO,kBAAkB,CAAC,KAAK,CAAC;YACpC,KAAK,SAAS;gBACV,OAAO,kBAAkB,CAAC,OAAO,CAAC;YACtC,KAAK,MAAM;gBACP,OAAO,kBAAkB,CAAC,WAAW,CAAC;YAC1C;gBACI,OAAO,kBAAkB,CAAC,OAAO,CAAC;QAC1C,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,gBAAgB,CAAC,IAAY,EAAE,OAA4B;QAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAE5E,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChD,OAAO,QAAQ,CAAC;QACpB,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,WAAW,GAAY,OAAO,CAAC,QAAQ,CAAC;QAE5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC;YACpB,CAAC;YAED,MAAM,OAAO,GAAG,WAAsB,CAAC;YACvC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAgB,EAAE,CACnD,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,CACxE,CAAC;YAEF,IAAI,CAAC,IAAI,EAAE,CAAC;gBACR,OAAO,QAAQ,CAAC;YACpB,CAAC;YAED,wDAAwD;YACxD,IAAI,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;gBACnC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;gBACzB,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;oBACrC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;oBACnC,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC/D,CAAC;YACL,CAAC;YAED,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;QAC7B,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,WAAmB,EAAE,SAAiB,EAAE,OAAe;QAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;YACnE,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,iBAAiB;YAE/D,IAAI,CAAC,UAAU,IAAI,aAAa,GAAG,UAAU,GAAG,WAAW,EAAE,CAAC;gBAC1D,SAAS,GAAG,OAAO,CAAC;gBACpB,QAAQ,GAAG,WAAW,GAAG,aAAa,CAAC;gBACvC,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YAED,IAAI,CAAC,QAAQ,IAAI,aAAa,GAAG,UAAU,IAAI,SAAS,EAAE,CAAC;gBACvD,OAAO,GAAG,OAAO,CAAC;gBAClB,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;gBACnC,QAAQ,GAAG,IAAI,CAAC;YACpB,CAAC;YAED,aAAa,IAAI,UAAU,CAAC;QAChC,CAAC;QAED,OAAO,KAAK,CAAC,MAAM,CACf,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,EACpC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CACnC,CAAC;IACN,CAAC;CACJ;AAED;;GAEG;AACH,IAAI,0BAAkE,CAAC;AAEvE;;GAEG;AACH,MAAM,UAAU,6BAA6B;IACzC,IAAI,CAAC,0BAA0B,EAAE,CAAC;QAC9B,0BAA0B,GAAG,IAAI,0BAA0B,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,0BAA0B,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,UAAsB,EACtB,WAAmB,EACnB,OAAe;IAEf,MAAM,OAAO,GAAG,6BAA6B,EAAE,CAAC;IAChD,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,CAAC,0BAA0B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC"}

package/out/main-browser.d.ts

@@ -0,0 +1 @@
+export {};

package/out/main-browser.js

@@ -0,0 +1,11 @@
+import { EmptyFileSystem } from 'langium';
+import { startLanguageServer } from 'langium/lsp';
+import { BrowserMessageReader, BrowserMessageWriter, createConnection } from 'vscode-languageserver/browser.js';
+import { createDomainLangServices } from './domain-lang-module.js';
+// declare const self: DedicatedWorkerGlobalScope;
+const messageReader = new BrowserMessageReader(self);
+const messageWriter = new BrowserMessageWriter(self);
+const connection = createConnection(messageReader, messageWriter);
+const { shared } = createDomainLangServices({ connection, ...EmptyFileSystem });
+startLanguageServer(shared);
+//# sourceMappingURL=main-browser.js.map

package/out/main-browser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main-browser.js","sourceRoot":"","sources":["../src/main-browser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAChH,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,kDAAkD;AAElD,MAAM,aAAa,GAAG,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACrD,MAAM,aAAa,GAAG,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC;AAErD,MAAM,UAAU,GAAG,gBAAgB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;AAElE,MAAM,EAAE,MAAM,EAAE,GAAG,wBAAwB,CAAC,EAAE,UAAU,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC;AAEhF,mBAAmB,CAAC,MAAM,CAAC,CAAC"}

package/out/main.d.ts

@@ -0,0 +1 @@
+export {};

package/out/main.js

@@ -0,0 +1,74 @@
+import { startLanguageServer } from 'langium/lsp';
+import { NodeFileSystem } from 'langium/node';
+import { createConnection, ProposedFeatures } from 'vscode-languageserver/node.js';
+import { createDomainLangServices } from './domain-lang-module.js';
+import { ensureImportGraphFromEntryFile } from './utils/import-utils.js';
+import { URI } from 'langium';
+// Create a connection to the client
+const connection = createConnection(ProposedFeatures.all);
+// Inject the shared services and language-specific services
+const { shared, DomainLang } = createDomainLangServices({ connection, ...NodeFileSystem });
+// Initialize workspace on connection
+connection.onInitialize(async (params) => {
+    const workspaceRoot = params.rootUri ? URI.parse(params.rootUri).fsPath : undefined;
+    if (workspaceRoot) {
+        try {
+            // Initialize workspace manager
+            const workspaceManager = DomainLang.imports.WorkspaceManager;
+            await workspaceManager.initialize(workspaceRoot);
+            console.warn(`DomainLang workspace initialized: ${workspaceRoot}`);
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            console.warn(`Failed to initialize workspace: ${message}`);
+            // Continue without workspace - local imports will still work
+        }
+    }
+    return {
+        capabilities: {
+        // Language server capabilities are configured by Langium
+        }
+    };
+});
+// Optionally start from a single entry file and follow imports.
+// Configure via env DOMAINLANG_ENTRY (absolute or workspace-relative path)
+const entryFile = process.env.DOMAINLANG_ENTRY;
+if (entryFile) {
+    let currentGraph = new Set();
+    /**
+     * Reloads the import graph from the entry file.
+     * Handles errors gracefully and notifies the LSP client.
+     */
+    const reloadFromEntry = async () => {
+        try {
+            currentGraph = await ensureImportGraphFromEntryFile(entryFile, shared.workspace.LangiumDocuments);
+            console.warn(`Successfully loaded import graph from ${entryFile}`);
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            console.error(`Failed to preload import graph from ${entryFile}: ${message}`);
+            // Notify LSP client of the error
+            connection.console.error(`DomainLang: Could not load entry file ${entryFile}. Error: ${message}`);
+        }
+    };
+    // Initial load from entry file, then start the server
+    reloadFromEntry().finally(() => startLanguageServer(shared));
+    // Any change within the loaded graph should trigger a reload from the entry
+    shared.workspace.TextDocuments.onDidChangeContent(async (event) => {
+        const changed = event.document.uri;
+        if (currentGraph.has(changed)) {
+            await reloadFromEntry();
+        }
+    });
+    // If the entry file itself is opened/changed, also reload
+    shared.workspace.TextDocuments.onDidOpen(async (event) => {
+        if (URI.parse(event.document.uri).fsPath === URI.file(entryFile).fsPath) {
+            await reloadFromEntry();
+        }
+    });
+}
+else {
+    // No entry file configured: start normally
+    startLanguageServer(shared);
+}
+//# sourceMappingURL=main.js.map

package/out/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../src/main.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACnF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAE9B,oCAAoC;AACpC,MAAM,UAAU,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;AAE1D,4DAA4D;AAC5D,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,wBAAwB,CAAC,EAAE,UAAU,EAAE,GAAG,cAAc,EAAE,CAAC,CAAC;AAE3F,qCAAqC;AACrC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;IACrC,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAEpF,IAAI,aAAa,EAAE,CAAC;QAChB,IAAI,CAAC;YACD,+BAA+B;YAC/B,MAAM,gBAAgB,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,CAAC;YAC7D,MAAM,gBAAgB,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC,qCAAqC,aAAa,EAAE,CAAC,CAAC;QACvE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,mCAAmC,OAAO,EAAE,CAAC,CAAC;YAC3D,6DAA6D;QACjE,CAAC;IACL,CAAC;IAED,OAAO;QACH,YAAY,EAAE;QACV,yDAAyD;SAC5D;KACJ,CAAC;AACN,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,2EAA2E;AAC3E,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;AAC/C,IAAI,SAAS,EAAE,CAAC;IACZ,IAAI,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC;;;OAGG;IACH,MAAM,eAAe,GAAG,KAAK,IAAmB,EAAE;QAC9C,IAAI,CAAC;YACD,YAAY,GAAG,MAAM,8BAA8B,CAC/C,SAAS,EACT,MAAM,CAAC,SAAS,CAAC,gBAAgB,CACpC,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,yCAAyC,SAAS,EAAE,CAAC,CAAC;QACvE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,OAAO,CAAC,KAAK,CAAC,uCAAuC,SAAS,KAAK,OAAO,EAAE,CAAC,CAAC;YAC9E,iCAAiC;YACjC,UAAU,CAAC,OAAO,CAAC,KAAK,CACpB,yCAAyC,SAAS,YAAY,OAAO,EAAE,CAC1E,CAAC;QACN,CAAC;IACL,CAAC,CAAC;IAEF,sDAAsD;IACtD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;IAE7D,4EAA4E;IAC5E,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QACnC,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,eAAe,EAAE,CAAC;QAC5B,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,0DAA0D;IAC1D,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACrD,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,CAAC;YACtE,MAAM,eAAe,EAAE,CAAC;QAC5B,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC;KAAM,CAAC;IACJ,2CAA2C;IAC3C,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC"}

package/out/sdk/ast-augmentation.d.ts

@@ -0,0 +1,136 @@
+/**
+ * SDK AST Augmentation - Module augmentation for native SDK properties.
+ *
+ * This file uses TypeScript's declaration merging to add computed helpers
+ * directly to the AST types. After importing this module, BoundedContext,
+ * Domain, and Relationship instances expose convenience getters.
+ *
+ * **Only properties that add value beyond direct AST access are augmented:**
+ * - Precedence resolution: `effectiveClassification`, `effectiveTeam` (for array-based properties)
+ * - Data transformation: `metadataMap` (array to Map)
+ * - Computed values: `fqn` (fully qualified name)
+ * - Helper methods: `hasClassification()`, `hasTeam()`, `hasMetadata()`, `hasType()`
+ *
+ * **Direct AST access (no augmentation needed):**
+ * - `bc.description` - Direct string property
+ * - `bc.businessModel?.ref` - Direct reference
+ * - `bc.evolution?.ref` - Direct reference
+ * - `bc.archetype?.ref` - Direct reference
+ * - `domain.description` - Direct string property
+ * - `domain.vision` - Direct string property
+ * - `domain.type?.ref` - Direct reference
+ *
+ * **Usage:**
+ * ```typescript
+ * import '../sdk/ast-augmentation.js'; // Enable augmented properties
+ * import { fromDocument } from '../sdk/index.js';
+ *
+ * fromDocument(document); // Ensures augmentation
+ * const bc: BoundedContext = ...;
+ * console.log(bc.effectiveClassification?.name);
+ * console.log(bc.metadataMap.get('Language'));
+ * // Direct access for simple properties:
+ * console.log(bc.businessModel?.ref?.name);
+ * ```
+ *
+ * **Properties added to BoundedContext:**
+ * - `effectiveClassification` - Inline `as` header → body `classification:`
+ * - `effectiveTeam` - Inline `team` header → body `team:`
+ * - `metadataMap` - Metadata entries exposed as a ReadonlyMap
+ * - `fqn` - Computed fully qualified name
+ * - `hasClassification(name)` - Check if classification matches
+ * - `hasTeam(name)` - Check if team matches
+ * - `hasMetadata(key, value?)` - Check metadata
+ *
+ * **Properties added to Domain:**
+ * - `fqn` - Computed fully qualified name
+ * - `hasType(name)` - Check type matches
+ *
+ * **Properties added to Relationship:**
+ * - `hasPattern(pattern)` - Check if pattern exists on either side
+ * - `hasLeftPattern(pattern)` - Check left patterns
+ * - `hasRightPattern(pattern)` - Check right patterns
+ * - `isUpstream(side)` - Check if side is upstream
+ * - `isDownstream(side)` - Check if side is downstream
+ * - `isBidirectional` - Check if relationship is bidirectional
+ * - `leftContextName` - Resolved name of left context
+ * - `rightContextName` - Resolved name of right context
+ *
+ * @module sdk/ast-augmentation
+ */
+/**
+ * Module augmentation for native SDK properties on AST types.
+ */
+declare module '../generated/ast.js' {
+    /**
+     * Augmented BoundedContext with SDK-computed properties.
+     *
+    * Note: description, businessModel, evolution, archetype, metadata, relationships,
+     * terminology, and decisions are direct AST properties - use them directly.
+     */
+    interface BoundedContext {
+        /** Effective classification with inline precedence (header `as` > body `classification:`) */
+        readonly effectiveClassification: import('../generated/ast.js').Classification | undefined;
+        /** Effective team with inline precedence (header `by` > body `team:`) */
+        readonly effectiveTeam: import('../generated/ast.js').Team | undefined;
+        /** Metadata entries exposed as a map for O(1) lookups */
+        readonly metadataMap: ReadonlyMap<string, string>;
+        /** SDK-computed fully qualified name */
+        readonly fqn: string;
+        /** Checks if this bounded context has the specified classification. */
+        hasClassification(name: string | import('../generated/ast.js').Classification): boolean;
+        /** Checks if this bounded context is owned by the specified team. */
+        hasTeam(name: string | import('../generated/ast.js').Team): boolean;
+        /** Checks if this bounded context has metadata with the given key (and optionally value). */
+        hasMetadata(key: string, value?: string): boolean;
+    }
+    /**
+     * Augmented Domain with SDK-computed properties.
+     *
+     * Note: description, vision, and type are direct AST properties - use them directly.
+     */
+    interface Domain {
+        /** SDK-computed fully qualified name */
+        readonly fqn: string;
+        /** Checks if this domain has the specified type. */
+        hasType(name: string | import('../generated/ast.js').Classification): boolean;
+    }
+    /**
+     * Augmented Relationship with SDK helper methods.
+     */
+    interface Relationship {
+        /** Resolved name of left context (handles 'this') */
+        readonly leftContextName: string;
+        /** Resolved name of right context (handles 'this') */
+        readonly rightContextName: string;
+        /** Whether this is a bidirectional relationship (<->) */
+        readonly isBidirectional: boolean;
+        /**
+         * Checks if the relationship has a specific integration pattern on either side.
+         * Accepts both abbreviations (SK, ACL) and full names (SharedKernel, AntiCorruptionLayer).
+         * @param pattern - Pattern abbreviation or full name
+         */
+        hasPattern(pattern: import('./patterns.js').IntegrationPattern | string): boolean;
+        /**
+         * Checks if the left side has a specific integration pattern.
+         * @param pattern - Pattern abbreviation or full name
+         */
+        hasLeftPattern(pattern: import('./patterns.js').IntegrationPattern | string): boolean;
+        /**
+         * Checks if the right side has a specific integration pattern.
+         * @param pattern - Pattern abbreviation or full name
+         */
+        hasRightPattern(pattern: import('./patterns.js').IntegrationPattern | string): boolean;
+        /**
+         * Checks if the specified side is upstream (provider) in this relationship.
+         * @param side - 'left' or 'right'
+         */
+        isUpstream(side: 'left' | 'right'): boolean;
+        /**
+         * Checks if the specified side is downstream (consumer) in this relationship.
+         * @param side - 'left' or 'right'
+         */
+        isDownstream(side: 'left' | 'right'): boolean;
+    }
+}
+export {};

package/out/sdk/ast-augmentation.js

@@ -0,0 +1,62 @@
+/**
+ * SDK AST Augmentation - Module augmentation for native SDK properties.
+ *
+ * This file uses TypeScript's declaration merging to add computed helpers
+ * directly to the AST types. After importing this module, BoundedContext,
+ * Domain, and Relationship instances expose convenience getters.
+ *
+ * **Only properties that add value beyond direct AST access are augmented:**
+ * - Precedence resolution: `effectiveClassification`, `effectiveTeam` (for array-based properties)
+ * - Data transformation: `metadataMap` (array to Map)
+ * - Computed values: `fqn` (fully qualified name)
+ * - Helper methods: `hasClassification()`, `hasTeam()`, `hasMetadata()`, `hasType()`
+ *
+ * **Direct AST access (no augmentation needed):**
+ * - `bc.description` - Direct string property
+ * - `bc.businessModel?.ref` - Direct reference
+ * - `bc.evolution?.ref` - Direct reference
+ * - `bc.archetype?.ref` - Direct reference
+ * - `domain.description` - Direct string property
+ * - `domain.vision` - Direct string property
+ * - `domain.type?.ref` - Direct reference
+ *
+ * **Usage:**
+ * ```typescript
+ * import '../sdk/ast-augmentation.js'; // Enable augmented properties
+ * import { fromDocument } from '../sdk/index.js';
+ *
+ * fromDocument(document); // Ensures augmentation
+ * const bc: BoundedContext = ...;
+ * console.log(bc.effectiveClassification?.name);
+ * console.log(bc.metadataMap.get('Language'));
+ * // Direct access for simple properties:
+ * console.log(bc.businessModel?.ref?.name);
+ * ```
+ *
+ * **Properties added to BoundedContext:**
+ * - `effectiveClassification` - Inline `as` header → body `classification:`
+ * - `effectiveTeam` - Inline `team` header → body `team:`
+ * - `metadataMap` - Metadata entries exposed as a ReadonlyMap
+ * - `fqn` - Computed fully qualified name
+ * - `hasClassification(name)` - Check if classification matches
+ * - `hasTeam(name)` - Check if team matches
+ * - `hasMetadata(key, value?)` - Check metadata
+ *
+ * **Properties added to Domain:**
+ * - `fqn` - Computed fully qualified name
+ * - `hasType(name)` - Check type matches
+ *
+ * **Properties added to Relationship:**
+ * - `hasPattern(pattern)` - Check if pattern exists on either side
+ * - `hasLeftPattern(pattern)` - Check left patterns
+ * - `hasRightPattern(pattern)` - Check right patterns
+ * - `isUpstream(side)` - Check if side is upstream
+ * - `isDownstream(side)` - Check if side is downstream
+ * - `isBidirectional` - Check if relationship is bidirectional
+ * - `leftContextName` - Resolved name of left context
+ * - `rightContextName` - Resolved name of right context
+ *
+ * @module sdk/ast-augmentation
+ */
+export {};
+//# sourceMappingURL=ast-augmentation.js.map

package/out/sdk/ast-augmentation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-augmentation.js","sourceRoot":"","sources":["../../src/sdk/ast-augmentation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG"}

package/out/sdk/index.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Model Query SDK - Public API
+ *
+ * Provides fluent, type-safe query operations on DomainLang models.
+ *
+ * ## Architecture: SDK vs LSP Responsibilities
+ *
+ * The SDK is **read-only and query-focused**. It does NOT manage:
+ * - Workspace lifecycle (LSP/WorkspaceManager handles this)
+ * - File watching or change detection (LSP/TextDocuments handles this)
+ * - Cross-file import resolution (LSP/DocumentBuilder handles this)
+ * - Document validation scheduling (LSP handles this)
+ *
+ * **SDK responsibilities:**
+ * - Augmented AST properties (transparent property access with precedence rules)
+ * - Fluent query chains with lazy iteration
+ * - O(1) indexed lookups by FQN/name
+ * - Resolution rules (which block wins for 0..1 properties)
+ *
+ * **Entry points for different deployment targets:**
+ *
+ * | Target | Entry Point | Browser-Safe | Notes |
+ * |--------|-------------|--------------|-------|
+ * | VS Code Extension | `fromDocument()` | ✅ | Zero-copy LSP integration |
+ * | Web Editor | `fromDocument()`, `loadModelFromText()` | ✅ | Browser-compatible |
+ * | CLI (Node.js) | `loadModel()` from `sdk/loader-node` | ❌ | File system access |
+ * | Hosted LSP | `fromDocument()`, `fromServices()` | ✅ | Server-side only |
+ * | Testing | `loadModelFromText()` | ✅ | In-memory parsing |
+ *
+ * ## Browser vs Node.js
+ *
+ * This module (`sdk/index`) is **browser-safe** and exports only:
+ * - `loadModelFromText()` - uses EmptyFileSystem
+ * - `fromModel()`, `fromDocument()`, `fromServices()` - zero-copy wrappers
+ *
+ * For file-based loading in Node.js CLI tools:
+ * ```typescript
+ * import { loadModel } from 'domain-lang-language/sdk/loader-node';
+ * ```
+ *
+ * @packageDocumentation
+ *
+ * @example
+ * ```typescript
+ * // Node.js CLI: Load from file (requires sdk/loader-node)
+ * import { loadModel } from 'domain-lang-language/sdk/loader-node';
+ *
+ * const { query } = await loadModel('./domains.dlang', {
+ *   workspaceDir: process.cwd()
+ * });
+ *
+ * const coreContexts = query.boundedContexts()
+ *   .withClassification('Core')
+ *   .withTeam('PaymentTeam');
+ *
+ * for (const bc of coreContexts) {
+ *   console.log(`${bc.name}: ${bc.description ?? 'n/a'}`);
+ * }
+ * ```
+ *
+ * @example
+ * ```typescript
+ * // Browser/Testing: Load from text (browser-safe)
+ * import { loadModelFromText } from '@domainlang/language/sdk';
+ *
+ * const { query } = await loadModelFromText(`
+ *   Domain Sales { vision: "Handle sales" }
+ *   bc OrderContext for Sales
+ * `);
+ *
+ * const sales = query.domain('Sales');
+ * console.log(sales?.vision);
+ * ```
+ *
+ * @example
+ * ```typescript
+ * // LSP Integration: Zero-copy access to existing AST (browser-safe)
+ * import { fromDocument } from '@domainlang/language/sdk';
+ *
+ * export class HoverProvider {
+ *   getHover(document: LangiumDocument<Model>) {
+ *     // SDK wraps existing AST - no reloading, no file I/O
+ *     const query = fromDocument(document);
+ *     const bc = query.boundedContext('OrderContext');
+ *     return bc?.description;
+ *   }
+ * }
+ * ```
+ */
+export { loadModelFromText } from './loader.js';
+export { fromModel, fromDocument, fromServices, augmentModel } from './query.js';
+export { Pattern, PatternFullName, PatternAliases, matchesPattern, isUpstreamPattern, isDownstreamPattern, isMutualPattern, UpstreamPatterns, DownstreamPatterns, MutualPatterns, } from './patterns.js';
+export type { IntegrationPattern } from './patterns.js';
+export type { Query, QueryBuilder, QueryContext, LoadOptions, BcQueryBuilder, RelationshipView, } from './types.js';