@domainlang/language 0.1.81

package/out/utils/import-utils.js

@@ -0,0 +1,228 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { URI } from 'langium';
+import { GitUrlParser } from '../services/git-url-resolver.js';
+import { WorkspaceManager } from '../services/workspace-manager.js';
+// Singleton workspace manager instance
+let workspaceManager;
+/**
+ * Gets or creates the global workspace manager instance.
+ *
+ * @param startDir - Directory to start workspace search from
+ * @returns Promise resolving to the workspace manager
+ */
+async function getWorkspaceManager(startDir) {
+    if (!workspaceManager) {
+        workspaceManager = new WorkspaceManager();
+        const root = await findWorkspaceRoot(startDir);
+        try {
+            await workspaceManager.initialize(root);
+        }
+        catch (error) {
+            console.warn(`Failed to initialize workspace: ${error instanceof Error ? error.message : String(error)}`);
+            // Continue without workspace - local imports will still work
+        }
+    }
+    return workspaceManager;
+}
+/**
+ * Gets the git URL resolver from the workspace manager.
+ *
+ * @param startDir - Directory to start workspace search from
+ * @returns Promise resolving to the git URL resolver
+ */
+async function getGitResolver(startDir) {
+    const manager = await getWorkspaceManager(startDir);
+    return await manager.getGitResolver();
+}
+/**
+ * Ensures a file path has the .dlang extension.
+ *
+ * @param filePath - The raw file path
+ * @returns Normalized path with .dlang extension
+ * @throws {Error} If path has an invalid extension
+ */
+function ensureDlangExtension(filePath) {
+    const ext = path.extname(filePath);
+    if (!ext) {
+        return `${filePath}.dlang`;
+    }
+    if (ext !== '.dlang') {
+        throw new Error(`Invalid file extension: ${ext}. Expected .dlang for file: ${filePath}`);
+    }
+    return filePath;
+}
+/**
+ * Resolves workspace-relative paths (starting with ~/).
+ *
+ * @param importPath - Import path that may start with ~/
+ * @param workspaceRoot - The workspace root directory
+ * @returns Resolved absolute path
+ */
+function resolveWorkspacePath(importPath, workspaceRoot) {
+    if (importPath.startsWith('~/')) {
+        return path.join(workspaceRoot, importPath.slice(2));
+    }
+    return importPath;
+}
+/**
+ * Finds the workspace root by looking for common workspace indicators.
+ *
+ * Searches upward from the document's directory looking for:
+ * - dlang.toml
+ * - .git directory
+ * - package.json with dlang configuration
+ *
+ * @param startDir - Directory to start searching from
+ * @returns Workspace root path or the start directory if not found
+ */
+async function findWorkspaceRoot(startDir) {
+    let currentDir = startDir;
+    const root = path.parse(currentDir).root;
+    while (currentDir !== root) {
+        // Check for workspace indicators
+        const indicators = ['dlang.toml', '.git', 'package.json'];
+        for (const indicator of indicators) {
+            const indicatorPath = path.join(currentDir, indicator);
+            try {
+                await fs.access(indicatorPath);
+                return currentDir; // Found workspace root
+            }
+            catch {
+                // Continue searching
+            }
+        }
+        // Move up one directory
+        const parentDir = path.dirname(currentDir);
+        if (parentDir === currentDir)
+            break; // Reached root
+        currentDir = parentDir;
+    }
+    // Default to start directory if no workspace root found
+    return startDir;
+}
+/**
+ * Resolves an import path to an absolute file URI.
+ *
+ * Supports:
+ * - Local relative paths: ./file.dlang, ../other/file.dlang
+ * - Workspace-relative paths: ~/contexts/sales.dlang
+ * - Git URLs: gh:owner/repo@v1.0.0/file.dlang
+ * - Full URLs: https://github.com/owner/repo/blob/v1.0.0/file.dlang
+ *
+ * @param importingDoc - The document containing the import statement
+ * @param rawImportPath - The raw import path from the import statement
+ * @returns Resolved URI to the imported file
+ * @throws {Error} If the import cannot be resolved
+ */
+export async function resolveImportPath(importingDoc, rawImportPath) {
+    const baseDir = path.dirname(importingDoc.uri.fsPath);
+    // Handle manifest dependency aliases (friendly names)
+    const manager = await getWorkspaceManager(baseDir);
+    let gitResolver;
+    try {
+        const manifestImport = await manager.resolveDependencyImport(rawImportPath);
+        if (manifestImport) {
+            gitResolver = await manager.getGitResolver();
+            return await gitResolver.resolve(manifestImport);
+        }
+    }
+    catch {
+        // Ignore manifest resolution issues; fall back to other strategies
+    }
+    // Handle git URLs (shorthand or full)
+    if (GitUrlParser.isGitUrl(rawImportPath)) {
+        gitResolver = gitResolver ?? await manager.getGitResolver();
+        return await gitResolver.resolve(rawImportPath);
+    }
+    // Handle workspace-relative paths (~/)
+    let resolvedPath = rawImportPath;
+    if (rawImportPath.startsWith('~/')) {
+        const workspaceRoot = await findWorkspaceRoot(baseDir);
+        resolvedPath = resolveWorkspacePath(rawImportPath, workspaceRoot);
+    }
+    else if (!path.isAbsolute(rawImportPath)) {
+        // Handle relative paths
+        resolvedPath = path.resolve(baseDir, rawImportPath);
+    }
+    // Ensure .dlang extension
+    const normalized = ensureDlangExtension(resolvedPath);
+    // Verify file exists
+    try {
+        await fs.access(normalized);
+    }
+    catch {
+        throw new Error(`Import file not found: ${rawImportPath} (resolved to ${normalized})`);
+    }
+    return URI.file(normalized);
+}
+/**
+ * Legacy function for backward compatibility.
+ * Use resolveImportPath instead.
+ *
+ * @deprecated Use resolveImportPath which supports git URLs and workspace paths
+ */
+export async function resolveLocalImportPath(importingDoc, rawImportPath) {
+    const uri = await resolveImportPath(importingDoc, rawImportPath);
+    return uri.fsPath;
+}
+/**
+ * Ensures the import graph is loaded from an entry file.
+ *
+ * @param entryFilePath - Absolute or workspace-relative path to entry file
+ * @param langiumDocuments - The Langium documents manager
+ * @returns Set of URIs (as strings) for all documents in the import graph
+ * @throws {Error} If entry file cannot be resolved or loaded
+ */
+export async function ensureImportGraphFromEntryFile(entryFilePath, langiumDocuments) {
+    const entryUri = URI.file(path.resolve(entryFilePath));
+    const entryDoc = await langiumDocuments.getOrCreateDocument(entryUri);
+    return ensureImportGraphFromDocument(entryDoc, langiumDocuments);
+}
+/**
+ * Recursively builds the import graph from a document.
+ *
+ * @param document - The starting document
+ * @param langiumDocuments - The Langium documents manager
+ * @returns Set of URIs (as strings) for all documents in the import graph
+ */
+export async function ensureImportGraphFromDocument(document, langiumDocuments) {
+    const visited = new Set();
+    async function visit(doc) {
+        const uriString = doc.uri.toString();
+        if (visited.has(uriString))
+            return;
+        visited.add(uriString);
+        const model = doc.parseResult.value;
+        for (const imp of model.imports ?? []) {
+            if (!imp.uri)
+                continue;
+            // Use new resolveImportPath that supports git URLs
+            const resolvedUri = await resolveImportPath(doc, imp.uri);
+            const childDoc = await langiumDocuments.getOrCreateDocument(resolvedUri);
+            await visit(childDoc);
+        }
+    }
+    await visit(document);
+    return visited;
+}
+/**
+ * Gets cache statistics for git imports.
+ *
+ * @returns Cache statistics including size and number of cached repositories
+ */
+export async function getGitCacheStats(startDir = process.cwd()) {
+    const resolver = await getGitResolver(startDir);
+    return await resolver.getCacheStats();
+}
+/**
+ * Clears the git import cache.
+ *
+ * @param startDir - Starting directory for workspace resolution
+ * @returns Promise that resolves when cache is cleared
+ */
+export async function clearGitCache(startDir = process.cwd()) {
+    const resolver = await getGitResolver(startDir);
+    return await resolver.clearCache();
+}
+//# sourceMappingURL=import-utils.js.map

package/out/utils/import-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-utils.js","sourceRoot":"","sources":["../../src/utils/import-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,GAAG,EAA+C,MAAM,SAAS,CAAC;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAE/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE,uCAAuC;AACvC,IAAI,gBAA8C,CAAC;AAEnD;;;;;GAKG;AACH,KAAK,UAAU,mBAAmB,CAAC,QAAgB;IACjD,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,gBAAgB,GAAG,IAAI,gBAAgB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,MAAM,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC;YACH,MAAM,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,mCAAmC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1G,6DAA6D;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,cAAc,CAAC,QAAgB;IAC5C,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACpD,OAAO,MAAM,OAAO,CAAC,cAAc,EAAE,CAAC;AACxC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,QAAgB;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEnC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,GAAG,QAAQ,QAAQ,CAAC;IAC7B,CAAC;IAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CACb,2BAA2B,GAAG,+BAA+B,QAAQ,EAAE,CACxE,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,UAAkB,EAAE,aAAqB;IACrE,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;;GAUG;AACH,KAAK,UAAU,iBAAiB,CAAC,QAAgB;IAC/C,IAAI,UAAU,GAAG,QAAQ,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;IAEzC,OAAO,UAAU,KAAK,IAAI,EAAE,CAAC;QAC3B,iCAAiC;QACjC,MAAM,UAAU,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;QAE1D,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACvD,IAAI,CAAC;gBACH,MAAM,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBAC/B,OAAO,UAAU,CAAC,CAAC,uBAAuB;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,qBAAqB;YACvB,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,SAAS,KAAK,UAAU;YAAE,MAAM,CAAC,eAAe;QACpD,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,wDAAwD;IACxD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,YAA6B,EAC7B,aAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEtD,sDAAsD;IACtD,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,WAAuC,CAAC;IAE5C,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,aAAa,CAAC,CAAC;QAC5E,IAAI,cAAc,EAAE,CAAC;YACnB,WAAW,GAAG,MAAM,OAAO,CAAC,cAAc,EAAE,CAAC;YAC7C,OAAO,MAAM,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;IACrE,CAAC;IAED,sCAAsC;IACtC,IAAI,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACzC,WAAW,GAAG,WAAW,IAAI,MAAM,OAAO,CAAC,cAAc,EAAE,CAAC;QAC5D,OAAO,MAAM,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC;IAED,uCAAuC;IACvC,IAAI,YAAY,GAAG,aAAa,CAAC;IAEjC,IAAI,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,aAAa,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACvD,YAAY,GAAG,oBAAoB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACpE,CAAC;SAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3C,wBAAwB;QACxB,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC;IAED,0BAA0B;IAC1B,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IAEtD,qBAAqB;IACrB,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,0BAA0B,aAAa,iBAAiB,UAAU,GAAG,CACtE,CAAC;IACJ,CAAC;IAED,OAAO,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,YAA6B,EAC7B,aAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,iBAAiB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IACjE,OAAO,GAAG,CAAC,MAAM,CAAC;AACpB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,aAAqB,EACrB,gBAAkC;IAElC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACtE,OAAO,6BAA6B,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,QAAyB,EACzB,gBAAkC;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,UAAU,KAAK,CAAC,GAAoB;QACvC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO;QACnC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAEvB,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,KAAyB,CAAC;QACxD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,mDAAmD;YACnD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YACzE,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,WAAmB,OAAO,CAAC,GAAG,EAAE;IAKrE,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,MAAM,QAAQ,CAAC,aAAa,EAAE,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,WAAmB,OAAO,CAAC,GAAG,EAAE;IAClE,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,MAAM,QAAQ,CAAC,UAAU,EAAE,CAAC;AACrC,CAAC"}

package/out/validation/bounded-context.d.ts

@@ -0,0 +1,11 @@
+import type { ValidationAcceptor } from 'langium';
+import type { BoundedContext } from '../generated/ast.js';
+/**
+ * Validates that a bounded context has a description.
+ *
+ * @param bc - The bounded context to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateBoundedContextHasDescription(bc: BoundedContext, accept: ValidationAcceptor): void;
+export declare const boundedContextChecks: (typeof validateBoundedContextHasDescription)[];
+export {};

package/out/validation/bounded-context.js

@@ -0,0 +1,79 @@
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Validates that a bounded context has a description.
+ *
+ * @param bc - The bounded context to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateBoundedContextHasDescription(bc, accept) {
+    if (!bc.description) {
+        accept('warning', ValidationMessages.BOUNDED_CONTEXT_NO_DESCRIPTION(bc.name), {
+            node: bc,
+            keyword: 'BoundedContext',
+            codeDescription: buildCodeDescription('language.md', 'bounded-contexts')
+        });
+    }
+}
+/**
+ * Validates that a bounded context belongs to a domain.
+ * A BoundedContext must have a 'for Domain' clause.
+ *
+ * @param bc - The bounded context to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateBoundedContextHasDomain(bc, accept) {
+    if (!bc.domain) {
+        accept('warning', ValidationMessages.BOUNDED_CONTEXT_NO_DOMAIN(bc.name), {
+            node: bc,
+            keyword: 'for',
+            codeDescription: buildCodeDescription('language.md', 'bounded-contexts')
+        });
+    }
+}
+/**
+ * Validates conflicts between inline and block classification assignment.
+ * Warns when both inline ('as') and block ('classification:') are used.
+ * Inline values take precedence per PRS-008.
+ *
+ * FR-9.2: Inline/Block Conflict Validation
+ */
+function validateBoundedContextClassificationConflict(bc, accept) {
+    if (bc.classification.length > 1) {
+        const inlineClassificationName = bc.classification[0].ref?.name;
+        const blockClassificationName = bc.classification[1].ref?.name;
+        // Warn if defined multiple times
+        accept('warning', ValidationMessages.BOUNDED_CONTEXT_CLASSIFICATION_CONFLICT(bc.name, inlineClassificationName, blockClassificationName), {
+            node: bc,
+            property: 'classification',
+            index: 1,
+            codeDescription: buildCodeDescription('language.md', 'bounded-contexts')
+        });
+    }
+}
+/**
+ * Validates conflicts between inline and block team assignment.
+ * Warns when both inline ('by') and block ('team:') are used.
+ * Inline values take precedence per PRS-008.
+ *
+ * FR-2.3: Inline/Block Conflict Validation
+ */
+function validateBoundedContextTeamConflict(bc, accept) {
+    if (bc.team.length > 1) {
+        const inlineTeamName = bc.team[0].ref?.name;
+        const blockTeamName = bc.team[1].ref?.name;
+        // Warn if defined multiple times
+        accept('warning', ValidationMessages.BOUNDED_CONTEXT_TEAM_CONFLICT(bc.name, inlineTeamName, blockTeamName), {
+            node: bc,
+            property: 'team',
+            index: 1,
+            codeDescription: buildCodeDescription('language.md', 'bounded-contexts')
+        });
+    }
+}
+export const boundedContextChecks = [
+    validateBoundedContextHasDescription,
+    validateBoundedContextHasDomain,
+    validateBoundedContextClassificationConflict,
+    validateBoundedContextTeamConflict
+];
+//# sourceMappingURL=bounded-context.js.map

package/out/validation/bounded-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bounded-context.js","sourceRoot":"","sources":["../../src/validation/bounded-context.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;GAKG;AACH,SAAS,oCAAoC,CACzC,EAAkB,EAClB,MAA0B;IAE1B,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;QAClB,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;YAC1E,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,gBAAgB;YACzB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,kBAAkB,CAAC;SAC3E,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,+BAA+B,CACpC,EAAkB,EAClB,MAA0B;IAE1B,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;QACb,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,yBAAyB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;YACrE,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,KAAK;YACd,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,kBAAkB,CAAC;SAC3E,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,4CAA4C,CACjD,EAAkB,EAClB,MAA0B;IAE1B,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,wBAAwB,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC;QAChE,MAAM,uBAAuB,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC;QAE/D,iCAAiC;QACjC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,uCAAuC,CAAC,EAAE,CAAC,IAAI,EAAE,wBAAwB,EAAE,uBAAuB,CAAC,EAAE;YACtI,IAAI,EAAE,EAAE;YACR,QAAQ,EAAE,gBAAgB;YAC1B,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,kBAAkB,CAAC;SAC3E,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kCAAkC,CACvC,EAAkB,EAClB,MAA0B;IAE1B,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,cAAc,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC;QAC5C,MAAM,aAAa,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC;QAE3C,iCAAiC;QACjC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,6BAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,aAAa,CAAC,EAAE;YACxG,IAAI,EAAE,EAAE;YACR,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,kBAAkB,CAAC;SAC3E,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAChC,oCAAoC;IACpC,+BAA+B;IAC/B,4CAA4C;IAC5C,kCAAkC;CACrC,CAAC"}

package/out/validation/classification.d.ts

@@ -0,0 +1,3 @@
+import type { ValidationCheck } from 'langium';
+import type { Classification } from '../generated/ast.js';
+export declare const classificationChecks: ValidationCheck<Classification>[];

package/out/validation/classification.js

@@ -0,0 +1,3 @@
+// No validation checks needed for classifications currently
+export const classificationChecks = [];
+//# sourceMappingURL=classification.js.map

package/out/validation/classification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classification.js","sourceRoot":"","sources":["../../src/validation/classification.ts"],"names":[],"mappings":"AAGA,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAsC,EAAE,CAAC"}

package/out/validation/constants.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Validation message constants for DomainLang.
+ *
+ * Centralizes all validation messages to ensure consistency
+ * and facilitate internationalization in the future.
+ *
+ * Messages follow VS Code conventions:
+ * - Clear problem statement
+ * - Brief DDD context explaining why it matters
+ * - Inline example showing the fix
+ * - Clickable documentation link via CodeDescription
+ */
+import type { CodeDescription } from 'vscode-languageserver-types';
+/**
+ * Creates a CodeDescription for clickable documentation links in VS Code.
+ * @param docPath - Relative path from docs/ folder
+ * @param anchor - Optional section anchor (without #)
+ */
+export declare const buildCodeDescription: (docPath: string, anchor?: string) => CodeDescription;
+export declare const ValidationMessages: {
+    /**
+     * Warning message when a domain lacks a vision statement.
+     * @param name - The name of the domain
+     */
+    readonly DOMAIN_NO_VISION: (name: string) => string;
+    /**
+     * Warning message when a bounded context lacks a description.
+     * @param name - The name of the bounded context
+     */
+    readonly BOUNDED_CONTEXT_NO_DESCRIPTION: (name: string) => string;
+    /**
+     * Warning message when a bounded context lacks a domain reference.
+     * @param name - The name of the bounded context
+     */
+    readonly BOUNDED_CONTEXT_NO_DOMAIN: (name: string) => string;
+    /**
+     * Warning when classification is specified both inline and in a block.
+     * Inline value takes precedence.
+     * @param bcName - The name of the bounded context
+     * @param inlineClassification - The inline classification name (from 'as')
+     * @param blockClassification - The block classification name (from 'classification:')
+     */
+    readonly BOUNDED_CONTEXT_CLASSIFICATION_CONFLICT: (bcName: string, inlineClassification?: string, blockClassification?: string) => string;
+    /**
+     * Warning when team is specified both inline and in a block.
+     * Inline value takes precedence.
+     * @param bcName - The name of the bounded context
+     * @param inlineTeam - The inline team name (from 'by')
+     * @param blockTeam - The block team name (from 'team:')
+     */
+    readonly BOUNDED_CONTEXT_TEAM_CONFLICT: (bcName: string, inlineTeam?: string, blockTeam?: string) => string;
+    /**
+     * Error message when an element is defined multiple times.
+     * @param fqn - The fully qualified name of the duplicate element
+     */
+    readonly DUPLICATE_ELEMENT: (fqn: string) => string;
+    /**
+     * Warning when SharedKernel pattern uses incorrect arrow direction.
+     * SharedKernel requires bidirectional relationship.
+     */
+    readonly SHARED_KERNEL_MUST_BE_BIDIRECTIONAL: (leftContext: string, rightContext: string, arrow: string) => string;
+    /**
+     * Warning when Anti-Corruption Layer is on the wrong side of relationship.
+     * ACL should protect the consuming context (downstream).
+     */
+    readonly ACL_ON_WRONG_SIDE: (context: string, side: "left" | "right") => string;
+    /**
+     * Warning when Conformist pattern is on the wrong side.
+     * Conformist accepts upstream model without translation.
+     */
+    readonly CONFORMIST_ON_WRONG_SIDE: (context: string, side: "left" | "right") => string;
+    /**
+     * Info message when relationship has too many integration patterns.
+     * Suggests possible syntax confusion.
+     */
+    readonly TOO_MANY_PATTERNS: (count: number, side: "left" | "right") => string;
+};

package/out/validation/constants.js

@@ -0,0 +1,96 @@
+/**
+ * Validation message constants for DomainLang.
+ *
+ * Centralizes all validation messages to ensure consistency
+ * and facilitate internationalization in the future.
+ *
+ * Messages follow VS Code conventions:
+ * - Clear problem statement
+ * - Brief DDD context explaining why it matters
+ * - Inline example showing the fix
+ * - Clickable documentation link via CodeDescription
+ */
+// ============================================================================
+// Documentation Link Utilities
+// ============================================================================
+const REPO_BASE = 'https://github.com/larsbaunwall/DomainLang/blob/main';
+const DOCS_BASE = `${REPO_BASE}/dsl/domain-lang/docs`;
+/**
+ * Builds a documentation URL for error messages.
+ * @param docPath - Relative path from docs/ folder
+ * @param anchor - Optional section anchor (without #)
+ */
+const buildDocLink = (docPath, anchor) => `${DOCS_BASE}/${docPath}${anchor ? `#${anchor}` : ''}`;
+/**
+ * Creates a CodeDescription for clickable documentation links in VS Code.
+ * @param docPath - Relative path from docs/ folder
+ * @param anchor - Optional section anchor (without #)
+ */
+export const buildCodeDescription = (docPath, anchor) => ({
+    href: buildDocLink(docPath, anchor)
+});
+// ============================================================================
+// Enhanced Validation Messages
+// ============================================================================
+export const ValidationMessages = {
+    /**
+     * Warning message when a domain lacks a vision statement.
+     * @param name - The name of the domain
+     */
+    DOMAIN_NO_VISION: (name) => `Domain '${name}' is missing a vision statement.`,
+    /**
+     * Warning message when a bounded context lacks a description.
+     * @param name - The name of the bounded context
+     */
+    BOUNDED_CONTEXT_NO_DESCRIPTION: (name) => `Bounded Context '${name}' is missing a description.`,
+    /**
+     * Warning message when a bounded context lacks a domain reference.
+     * @param name - The name of the bounded context
+     */
+    BOUNDED_CONTEXT_NO_DOMAIN: (name) => `Bounded Context '${name}' must belong to a domain. Use 'for DomainName'.`,
+    /**
+     * Warning when classification is specified both inline and in a block.
+     * Inline value takes precedence.
+     * @param bcName - The name of the bounded context
+     * @param inlineClassification - The inline classification name (from 'as')
+     * @param blockClassification - The block classification name (from 'classification:')
+     */
+    BOUNDED_CONTEXT_CLASSIFICATION_CONFLICT: (bcName, inlineClassification, blockClassification) => `Classification specified both inline${inlineClassification ? ` ('as ${inlineClassification}')` : ''} and in block${blockClassification ? ` ('classification: ${blockClassification}')` : ''}. Inline value takes precedence.`,
+    /**
+     * Warning when team is specified both inline and in a block.
+     * Inline value takes precedence.
+     * @param bcName - The name of the bounded context
+     * @param inlineTeam - The inline team name (from 'by')
+     * @param blockTeam - The block team name (from 'team:')
+     */
+    BOUNDED_CONTEXT_TEAM_CONFLICT: (bcName, inlineTeam, blockTeam) => `Team specified both inline${inlineTeam ? ` ('by ${inlineTeam}')` : ''} and in block${blockTeam ? ` ('team: ${blockTeam}')` : ''}. Inline value takes precedence.`,
+    /**
+     * Error message when an element is defined multiple times.
+     * @param fqn - The fully qualified name of the duplicate element
+     */
+    DUPLICATE_ELEMENT: (fqn) => `Duplicate element: '${fqn}' is already defined.`,
+    // ========================================================================
+    // Integration Pattern & Relationship Validation
+    // ========================================================================
+    /**
+     * Warning when SharedKernel pattern uses incorrect arrow direction.
+     * SharedKernel requires bidirectional relationship.
+     */
+    SHARED_KERNEL_MUST_BE_BIDIRECTIONAL: (leftContext, rightContext, arrow) => `SharedKernel between '${leftContext}' and '${rightContext}' requires bidirectional arrow '<->', not '${arrow}'.`,
+    /**
+     * Warning when Anti-Corruption Layer is on the wrong side of relationship.
+     * ACL should protect the consuming context (downstream).
+     */
+    ACL_ON_WRONG_SIDE: (context, side) => `Anti-Corruption Layer (ACL) on '${context}' should be on downstream (consuming) side, not ${side} side.`,
+    /**
+     * Warning when Conformist pattern is on the wrong side.
+     * Conformist accepts upstream model without translation.
+     */
+    CONFORMIST_ON_WRONG_SIDE: (context, side) => `Conformist (CF) on '${context}' should be on downstream (consuming) side, not ${side} side.`,
+    /**
+     * Info message when relationship has too many integration patterns.
+     * Suggests possible syntax confusion.
+     */
+    TOO_MANY_PATTERNS: (count, side) => `Too many integration patterns (${count}) on ${side} side. Typically use 1-2 patterns per side.`
+};
+//# sourceMappingURL=constants.js.map

package/out/validation/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/validation/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E,MAAM,SAAS,GAAG,sDAAsD,CAAC;AACzE,MAAM,SAAS,GAAG,GAAG,SAAS,uBAAuB,CAAC;AAEtD;;;;GAIG;AACH,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,MAAe,EAAU,EAAE,CAC9D,GAAG,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE3D;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAE,MAAe,EAAmB,EAAE,CAAC,CAAC;IACxF,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC;CACtC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B;;;OAGG;IACH,gBAAgB,EAAE,CAAC,IAAY,EAAE,EAAE,CAC/B,WAAW,IAAI,kCAAkC;IAErD;;;OAGG;IACH,8BAA8B,EAAE,CAAC,IAAY,EAAE,EAAE,CAC7C,oBAAoB,IAAI,6BAA6B;IAEzD;;;OAGG;IACH,yBAAyB,EAAE,CAAC,IAAY,EAAE,EAAE,CACxC,oBAAoB,IAAI,kDAAkD;IAE9E;;;;;;OAMG;IACH,uCAAuC,EAAE,CAAC,MAAc,EAAE,oBAA6B,EAAE,mBAA4B,EAAE,EAAE,CACrH,uCAAuC,oBAAoB,CAAC,CAAC,CAAC,SAAS,oBAAoB,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,mBAAmB,CAAC,CAAC,CAAC,sBAAsB,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,kCAAkC;IAElO;;;;;;OAMG;IACH,6BAA6B,EAAE,CAAC,MAAc,EAAE,UAAmB,EAAE,SAAkB,EAAE,EAAE,CACvF,6BAA6B,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,SAAS,CAAC,CAAC,CAAC,YAAY,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,kCAAkC;IAEtK;;;OAGG;IACH,iBAAiB,EAAE,CAAC,GAAW,EAAE,EAAE,CAC/B,uBAAuB,GAAG,uBAAuB;IAErD,2EAA2E;IAC3E,gDAAgD;IAChD,2EAA2E;IAE3E;;;OAGG;IACH,mCAAmC,EAAE,CAAC,WAAmB,EAAE,YAAoB,EAAE,KAAa,EAAE,EAAE,CAC9F,yBAAyB,WAAW,UAAU,YAAY,8CAA8C,KAAK,IAAI;IAErH;;;OAGG;IACH,iBAAiB,EAAE,CAAC,OAAe,EAAE,IAAsB,EAAE,EAAE,CAC3D,mCAAmC,OAAO,mDAAmD,IAAI,QAAQ;IAE7G;;;OAGG;IACH,wBAAwB,EAAE,CAAC,OAAe,EAAE,IAAsB,EAAE,EAAE,CAClE,uBAAuB,OAAO,mDAAmD,IAAI,QAAQ;IAEjG;;;OAGG;IACH,iBAAiB,EAAE,CAAC,KAAa,EAAE,IAAsB,EAAE,EAAE,CACzD,kCAAkC,KAAK,QAAQ,IAAI,6CAA6C;CAC9F,CAAC"}

package/out/validation/domain-lang-validator.d.ts

@@ -0,0 +1,2 @@
+import { DomainLangServices } from '../domain-lang-module.js';
+export declare function registerValidationChecks(services: DomainLangServices): void;

package/out/validation/domain-lang-validator.js

@@ -0,0 +1,27 @@
+import { modelChecks } from './model.js';
+import { domainChecks } from './domain.js';
+import { boundedContextChecks } from './bounded-context.js';
+import { classificationChecks } from './classification.js';
+import { metadataChecks } from './metadata.js';
+import { contextMapChecks, domainMapChecks } from './maps.js';
+import { relationshipChecks } from './relationships.js';
+import { createImportChecks } from './import.js';
+export function registerValidationChecks(services) {
+    const registry = services.validation.ValidationRegistry;
+    // Get import checks
+    const importChecks = createImportChecks(services);
+    // Compose the pipeline for each type
+    const pipeline = {
+        Model: modelChecks,
+        Domain: domainChecks,
+        BoundedContext: boundedContextChecks,
+        Classification: classificationChecks,
+        ContextMap: contextMapChecks,
+        DomainMap: domainMapChecks,
+        Metadata: metadataChecks.Metadata,
+        ImportStatement: importChecks.ImportStatement,
+        Relationship: relationshipChecks,
+    };
+    registry.register(pipeline);
+}
+//# sourceMappingURL=domain-lang-validator.js.map

package/out/validation/domain-lang-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-validator.js","sourceRoot":"","sources":["../../src/validation/domain-lang-validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAKjD,MAAM,UAAU,wBAAwB,CAAC,QAA4B;IACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,kBAAkB,CAAC;IAExD,oBAAoB;IACpB,MAAM,YAAY,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAElD,qCAAqC;IACrC,MAAM,QAAQ,GAAwC;QAClD,KAAK,EAAE,WAAW;QAClB,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,UAAU,EAAE,gBAAgB;QAC5B,SAAS,EAAE,eAAe;QAC1B,QAAQ,EAAE,cAAc,CAAC,QAAQ;QACjC,eAAe,EAAE,YAAY,CAAC,eAAe;QAC7C,YAAY,EAAE,kBAAkB;KACnC,CAAC;IAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC"}

package/out/validation/domain.d.ts

@@ -0,0 +1,11 @@
+import type { ValidationAcceptor } from 'langium';
+import type { Domain } from '../generated/ast.js';
+/**
+ * Validates that a domain has a vision statement.
+ *
+ * @param domain - The domain to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateDomainHasVision(domain: Domain, accept: ValidationAcceptor): void;
+export declare const domainChecks: (typeof validateDomainHasVision)[];
+export {};

package/out/validation/domain.js

@@ -0,0 +1,18 @@
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Validates that a domain has a vision statement.
+ *
+ * @param domain - The domain to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateDomainHasVision(domain, accept) {
+    if (!domain.vision) {
+        accept('warning', ValidationMessages.DOMAIN_NO_VISION(domain.name), {
+            node: domain,
+            keyword: 'Domain',
+            codeDescription: buildCodeDescription('language.md', 'domain-vision')
+        });
+    }
+}
+export const domainChecks = [validateDomainHasVision];
+//# sourceMappingURL=domain.js.map

package/out/validation/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/validation/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;GAKG;AACH,SAAS,uBAAuB,CAC5B,MAAc,EACd,MAA0B;IAE1B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACjB,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAChE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,eAAe,CAAC;SACxE,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,uBAAuB,CAAC,CAAC"}

package/out/validation/import.d.ts

@@ -0,0 +1,44 @@
+import type { ValidationAcceptor, ValidationChecks } from 'langium';
+import type { DomainLangAstType, ImportStatement, Model } from '../generated/ast.js';
+import type { DomainLangServices } from '../domain-lang-module.js';
+import type { LangiumDocument } from 'langium';
+/**
+ * Validates import statements in DomainLang.
+ *
+ * Checks:
+ * - Import paths are resolvable
+ * - Named imports exist in target document
+ * - Import aliases don't conflict with local names
+ */
+export declare class ImportValidator {
+    private readonly documents;
+    constructor(services: DomainLangServices);
+    /**
+     * Validates that an import path is resolvable.
+     */
+    checkImportPath(imp: ImportStatement, accept: ValidationAcceptor, document: LangiumDocument): Promise<void>;
+    /**
+     * Validates that named imports exist in the target document.
+     */
+    checkNamedImports(imp: ImportStatement, accept: ValidationAcceptor, document: LangiumDocument): Promise<void>;
+    /**
+     * Gets all exportable symbols from a model.
+     *
+     * In DomainLang, top-level declarations are implicitly exported:
+     * - Domains
+     * - BoundedContexts
+     * - Classifications
+     * - Groups
+     */
+    private getExportedSymbols;
+    /**
+     * Checks for unused imports.
+     *
+     * This is a warning, not an error, to avoid being too strict.
+     */
+    checkUnusedImports(imp: ImportStatement, _accept: ValidationAcceptor, _model: Model): void;
+}
+/**
+ * Creates validation checks for import statements.
+ */
+export declare function createImportChecks(_services: DomainLangServices): ValidationChecks<DomainLangAstType>;