@domainlang/language 0.1.81

package/out/validation/import.js

@@ -0,0 +1,135 @@
+import { resolveImportPath } from '../utils/import-utils.js';
+/**
+ * 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 class ImportValidator {
+    constructor(services) {
+        this.documents = services.shared.workspace.LangiumDocuments;
+    }
+    /**
+     * Validates that an import path is resolvable.
+     */
+    async checkImportPath(imp, accept, document) {
+        if (!imp.uri) {
+            accept('error', 'Import statement must have a URI', {
+                node: imp,
+                keyword: 'import'
+            });
+            return;
+        }
+        try {
+            await resolveImportPath(document, imp.uri);
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            accept('error', `Cannot resolve import: ${message}`, {
+                node: imp,
+                property: 'uri'
+            });
+        }
+    }
+    /**
+     * Validates that named imports exist in the target document.
+     */
+    async checkNamedImports(imp, accept, document) {
+        // Only check if we have named imports
+        if (!imp.symbols || imp.symbols.length === 0) {
+            return;
+        }
+        if (!imp.uri) {
+            return; // Already reported by checkImportPath
+        }
+        try {
+            // Resolve the target document
+            const targetUri = await resolveImportPath(document, imp.uri);
+            const targetDoc = await this.documents.getOrCreateDocument(targetUri);
+            if (!targetDoc.parseResult?.value) {
+                accept('error', `Cannot load imported document: ${imp.uri}`, {
+                    node: imp,
+                    property: 'uri'
+                });
+                return;
+            }
+            // Get all exported symbols from target document
+            const targetModel = targetDoc.parseResult.value;
+            const exportedSymbols = this.getExportedSymbols(targetModel);
+            // Check each imported symbol
+            for (const symbol of imp.symbols) {
+                if (!exportedSymbols.has(symbol)) {
+                    accept('error', `Symbol '${symbol}' not found in ${imp.uri}`, {
+                        node: imp,
+                        property: 'symbols'
+                    });
+                }
+            }
+        }
+        catch {
+            // Import path error already reported by checkImportPath
+            return;
+        }
+    }
+    /**
+     * Gets all exportable symbols from a model.
+     *
+     * In DomainLang, top-level declarations are implicitly exported:
+     * - Domains
+     * - BoundedContexts
+     * - Classifications
+     * - Groups
+     */
+    getExportedSymbols(model) {
+        const symbols = new Set();
+        // Iterate through all structure elements
+        for (const element of model.children ?? []) {
+            // Check if element has a name and add it
+            if ('name' in element && typeof element.name === 'string') {
+                symbols.add(element.name);
+            }
+        }
+        return symbols;
+    }
+    /**
+     * Checks for unused imports.
+     *
+     * This is a warning, not an error, to avoid being too strict.
+     */
+    checkUnusedImports(imp, _accept, _model) {
+        // Skip check for wildcard imports (no named imports)
+        if (!imp.symbols || imp.symbols.length === 0) {
+            return;
+        }
+        // For now, just a placeholder - would require tracking symbol usage
+        // across the entire document, which is complex
+        // TODO: Implement symbol usage tracking
+    }
+}
+/**
+ * Creates validation checks for import statements.
+ */
+export function createImportChecks(_services) {
+    return {
+        ImportStatement: (imp, accept) => {
+            const document = imp.$document;
+            if (!document)
+                return;
+            // Note: Langium's validation is synchronous, so async checks won't
+            // execute during document validation. These checks will run during
+            // the build phase when documents are fully loaded.
+            // For now, just do basic syntax validation
+            if (!imp.uri) {
+                accept('error', 'Import statement must have a URI', {
+                    node: imp,
+                    keyword: 'import'
+                });
+            }
+            // TODO: Implement async validation in a separate build phase
+            // This would require using DocumentBuilder.onBuildPhase() or similar
+        }
+    };
+}
+//# sourceMappingURL=import.js.map

package/out/validation/import.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/validation/import.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAI7D;;;;;;;GAOG;AACH,MAAM,OAAO,eAAe;IAGxB,YAAY,QAA4B;QACpC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC;IAChE,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,eAAe,CACjB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB;QAEzB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,OAAO,EAAE,kCAAkC,EAAE;gBAChD,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,QAAQ;aACpB,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC;YACD,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/C,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,MAAM,CAAC,OAAO,EAAE,0BAA0B,OAAO,EAAE,EAAE;gBACjD,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;aAClB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB,CACnB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB;QAEzB,sCAAsC;QACtC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO;QACX,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,OAAO,CAAC,sCAAsC;QAClD,CAAC;QAED,IAAI,CAAC;YACD,8BAA8B;YAC9B,MAAM,SAAS,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;YAEtE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;gBAChC,MAAM,CAAC,OAAO,EAAE,kCAAkC,GAAG,CAAC,GAAG,EAAE,EAAE;oBACzD,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;iBAClB,CAAC,CAAC;gBACH,OAAO;YACX,CAAC;YAED,gDAAgD;YAChD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC,KAAc,CAAC;YACzD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAE7D,6BAA6B;YAC7B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,OAAO,EACV,WAAW,MAAM,kBAAkB,GAAG,CAAC,GAAG,EAAE,EAC5C;wBACI,IAAI,EAAE,GAAG;wBACT,QAAQ,EAAE,SAAS;qBACtB,CACJ,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,wDAAwD;YACxD,OAAO;QACX,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,kBAAkB,CAAC,KAAY;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,yCAAyC;QACzC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACzC,yCAAyC;YACzC,IAAI,MAAM,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CACd,GAAoB,EACpB,OAA2B,EAC3B,MAAa;QAEb,qDAAqD;QACrD,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO;QACX,CAAC;QAED,oEAAoE;QACpE,+CAA+C;QAC/C,wCAAwC;IAC5C,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAA6B;IAE5D,OAAO;QACH,eAAe,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;YAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC;YAC/B,IAAI,CAAC,QAAQ;gBAAE,OAAO;YAEtB,mEAAmE;YACnE,mEAAmE;YACnE,mDAAmD;YAEnD,2CAA2C;YAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBACX,MAAM,CAAC,OAAO,EAAE,kCAAkC,EAAE;oBAChD,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,QAAQ;iBACpB,CAAC,CAAC;YACP,CAAC;YAED,6DAA6D;YAC7D,qEAAqE;QACzE,CAAC;KACJ,CAAC;AACN,CAAC"}

package/out/validation/maps.d.ts

@@ -0,0 +1,21 @@
+import type { ValidationAcceptor } from 'langium';
+import type { ContextMap, DomainMap } from '../generated/ast.js';
+/**
+ * Validates that a context map contains at least one bounded context.
+ * Empty context maps are not useful for documentation purposes.
+ *
+ * @param map - The context map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateContextMapHasContexts(map: ContextMap, accept: ValidationAcceptor): void;
+/**
+ * Validates that a domain map contains at least one domain.
+ * Empty domain maps are not useful for documentation purposes.
+ *
+ * @param map - The domain map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateDomainMapHasDomains(map: DomainMap, accept: ValidationAcceptor): void;
+export declare const contextMapChecks: (typeof validateContextMapHasContexts)[];
+export declare const domainMapChecks: (typeof validateDomainMapHasDomains)[];
+export {};

package/out/validation/maps.js

@@ -0,0 +1,56 @@
+/**
+ * Validates that a context map contains at least one bounded context.
+ * Empty context maps are not useful for documentation purposes.
+ *
+ * @param map - The context map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateContextMapHasContexts(map, accept) {
+    if (!map.boundedContexts || map.boundedContexts.length === 0) {
+        accept('warning', `Context Map '${map.name}' contains no bounded contexts`, {
+            node: map,
+            keyword: 'contains'
+        });
+    }
+}
+/**
+ * Validates that a context map has at least one relationship if it contains multiple contexts.
+ * Multiple unrelated contexts should have documented relationships.
+ *
+ * @param map - The context map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateContextMapHasRelationships(map, accept) {
+    const contextCount = map.boundedContexts?.length ?? 0;
+    const relationshipCount = map.relationships?.length ?? 0;
+    // Only warn if multiple contexts exist without relationships
+    if (contextCount > 1 && relationshipCount === 0) {
+        accept('info', `Context Map '${map.name}' contains ${contextCount} contexts but no documented relationships`, {
+            node: map,
+            keyword: 'ContextMap'
+        });
+    }
+}
+/**
+ * Validates that a domain map contains at least one domain.
+ * Empty domain maps are not useful for documentation purposes.
+ *
+ * @param map - The domain map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateDomainMapHasDomains(map, accept) {
+    if (!map.domains || map.domains.length === 0) {
+        accept('warning', `Domain Map '${map.name}' contains no domains`, {
+            node: map,
+            keyword: 'contains'
+        });
+    }
+}
+export const contextMapChecks = [
+    validateContextMapHasContexts,
+    validateContextMapHasRelationships
+];
+export const domainMapChecks = [
+    validateDomainMapHasDomains
+];
+//# sourceMappingURL=maps.js.map

package/out/validation/maps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"maps.js","sourceRoot":"","sources":["../../src/validation/maps.ts"],"names":[],"mappings":"AAGA;;;;;;GAMG;AACH,SAAS,6BAA6B,CAClC,GAAe,EACf,MAA0B;IAE1B,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,SAAS,EAAE,gBAAgB,GAAG,CAAC,IAAI,gCAAgC,EAAE;YACxE,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,UAAU;SACtB,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kCAAkC,CACvC,GAAe,EACf,MAA0B;IAE1B,MAAM,YAAY,GAAG,GAAG,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC;IACtD,MAAM,iBAAiB,GAAG,GAAG,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAEzD,6DAA6D;IAC7D,IAAI,YAAY,GAAG,CAAC,IAAI,iBAAiB,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,MAAM,EAAE,gBAAgB,GAAG,CAAC,IAAI,cAAc,YAAY,2CAA2C,EAAE;YAC1G,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,YAAY;SACxB,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,2BAA2B,CAChC,GAAc,EACd,MAA0B;IAE1B,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,SAAS,EAAE,eAAe,GAAG,CAAC,IAAI,uBAAuB,EAAE;YAC9D,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,UAAU;SACtB,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,6BAA6B;IAC7B,kCAAkC;CACrC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,2BAA2B;CAC9B,CAAC"}

package/out/validation/metadata.d.ts

@@ -0,0 +1,7 @@
+import type { ValidationChecks } from 'langium';
+import type { DomainLangAstType } from '../generated/ast.js';
+/**
+ * Validation checks for Metadata elements.
+ * - Ensures metadata keys are defined before use
+ */
+export declare const metadataChecks: ValidationChecks<DomainLangAstType>;

package/out/validation/metadata.js

@@ -0,0 +1,12 @@
+/**
+ * Validation checks for Metadata elements.
+ * - Ensures metadata keys are defined before use
+ */
+export const metadataChecks = {
+    Metadata(metadata, accept) {
+        if (!metadata.name) {
+            accept('error', 'Metadata must have a name', { node: metadata });
+        }
+    },
+};
+//# sourceMappingURL=metadata.js.map

package/out/validation/metadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../src/validation/metadata.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwC;IAC/D,QAAQ,CAAC,QAAkB,EAAE,MAAM;QAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,EAAE,2BAA2B,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;CACJ,CAAC"}

package/out/validation/model.d.ts

@@ -0,0 +1,12 @@
+import type { ValidationAcceptor } from 'langium';
+import type { Model } from '../generated/ast.js';
+/**
+ * Validates that all elements in the model have unique fully qualified names.
+ * Also triggers relationship type inference.
+ *
+ * @param model - The model to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateModelUniqueNames(model: Model, accept: ValidationAcceptor): void;
+export declare const modelChecks: (typeof validateModelUniqueNames)[];
+export {};

package/out/validation/model.js

@@ -0,0 +1,29 @@
+import { setInferredRelationshipTypes } from '../services/relationship-inference.js';
+import { extractNames } from './shared.js';
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Validates that all elements in the model have unique fully qualified names.
+ * Also triggers relationship type inference.
+ *
+ * @param model - The model to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateModelUniqueNames(model, accept) {
+    const uniqueNames = new Set();
+    const names = extractNames(model);
+    for (const { fqn, node } of names) {
+        const oldSize = uniqueNames.size;
+        uniqueNames.add(fqn);
+        if (uniqueNames.size === oldSize) {
+            accept('error', ValidationMessages.DUPLICATE_ELEMENT(fqn), {
+                node: node,
+                property: 'name',
+                codeDescription: buildCodeDescription('language.md', 'naming')
+            });
+        }
+    }
+    // Enrich relationships with inferred types
+    setInferredRelationshipTypes(model);
+}
+export const modelChecks = [validateModelUniqueNames];
+//# sourceMappingURL=model.js.map

package/out/validation/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/validation/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG3C,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;;GAMG;AACH,SAAS,wBAAwB,CAC7B,KAAY,EACZ,MAA0B;IAE1B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAElC,KAAK,MAAM,EAAC,GAAG,EAAE,IAAI,EAAC,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC;QACjC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE;gBACvD,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,MAAM;gBAChB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,QAAQ,CAAC;aACjE,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,2CAA2C;IAC3C,4BAA4B,CAAC,KAAK,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,wBAAwB,CAAC,CAAC"}

package/out/validation/relationships.d.ts

@@ -0,0 +1,12 @@
+import type { ValidationAcceptor } from 'langium';
+import type { Relationship } from '../generated/ast.js';
+/**
+ * Validates that SharedKernel patterns use bidirectional relationships.
+ * SharedKernel implies mutual dependency and shared code ownership.
+ *
+ * @param relationship - The relationship to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateSharedKernelBidirectional(relationship: Relationship, accept: ValidationAcceptor): void;
+export declare const relationshipChecks: (typeof validateSharedKernelBidirectional)[];
+export {};

package/out/validation/relationships.js

@@ -0,0 +1,94 @@
+import { isThisRef } from '../generated/ast.js';
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Gets a display name for a BoundedContextRef (handles 'this' and regular refs).
+ */
+function getContextName(ref) {
+    if (isThisRef(ref)) {
+        return 'this';
+    }
+    return ref.link?.$refText ?? 'unknown';
+}
+/**
+ * Validates that SharedKernel patterns use bidirectional relationships.
+ * SharedKernel implies mutual dependency and shared code ownership.
+ *
+ * @param relationship - The relationship to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateSharedKernelBidirectional(relationship, accept) {
+    // Check if SharedKernel pattern exists on either side
+    const hasSharedKernelLeft = relationship.leftPatterns?.some(pattern => pattern === 'SK' || pattern === 'SharedKernel');
+    const hasSharedKernelRight = relationship.rightPatterns?.some(pattern => pattern === 'SK' || pattern === 'SharedKernel');
+    if ((hasSharedKernelLeft || hasSharedKernelRight) && relationship.arrow !== '<->') {
+        const leftName = getContextName(relationship.left);
+        const rightName = getContextName(relationship.right);
+        accept('warning', ValidationMessages.SHARED_KERNEL_MUST_BE_BIDIRECTIONAL(leftName, rightName, relationship.arrow), { node: relationship, property: 'arrow', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+}
+/**
+ * Validates that Anti-Corruption Layer (ACL) is on the consuming side.
+ * ACL protects downstream context from upstream changes.
+ *
+ * @param relationship - The relationship to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateACLPlacement(relationship, accept) {
+    const hasACLLeft = relationship.leftPatterns?.some(pattern => pattern === 'ACL' || pattern === 'AntiCorruptionLayer');
+    const hasACLRight = relationship.rightPatterns?.some(pattern => pattern === 'ACL' || pattern === 'AntiCorruptionLayer');
+    // ACL on left side with -> arrow means upstream has ACL (incorrect)
+    if (hasACLLeft && relationship.arrow === '->') {
+        const leftName = getContextName(relationship.left);
+        accept('warning', ValidationMessages.ACL_ON_WRONG_SIDE(leftName, 'left'), { node: relationship, property: 'leftPatterns', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+    // ACL on right side with <- arrow means upstream has ACL (incorrect)
+    if (hasACLRight && relationship.arrow === '<-') {
+        const rightName = getContextName(relationship.right);
+        accept('warning', ValidationMessages.ACL_ON_WRONG_SIDE(rightName, 'right'), { node: relationship, property: 'rightPatterns', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+}
+/**
+ * Validates that Conformist pattern is on the consuming side.
+ * Conformist means accepting upstream model without translation.
+ *
+ * @param relationship - The relationship to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateConformistPlacement(relationship, accept) {
+    const hasCFLeft = relationship.leftPatterns?.some(pattern => pattern === 'CF' || pattern === 'Conformist');
+    const hasCFRight = relationship.rightPatterns?.some(pattern => pattern === 'CF' || pattern === 'Conformist');
+    // CF on left side with -> arrow means upstream is conformist (incorrect)
+    if (hasCFLeft && relationship.arrow === '->') {
+        const leftName = getContextName(relationship.left);
+        accept('warning', ValidationMessages.CONFORMIST_ON_WRONG_SIDE(leftName, 'left'), { node: relationship, property: 'leftPatterns', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+    // CF on right side with <- arrow means upstream is conformist (incorrect)
+    if (hasCFRight && relationship.arrow === '<-') {
+        const rightName = getContextName(relationship.right);
+        accept('warning', ValidationMessages.CONFORMIST_ON_WRONG_SIDE(rightName, 'right'), { node: relationship, property: 'rightPatterns', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+}
+/**
+ * Validates that relationships don't have too many integration patterns.
+ * More than 3 patterns on one side suggests syntax confusion.
+ *
+ * @param relationship - The relationship to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validatePatternCount(relationship, accept) {
+    const leftCount = relationship.leftPatterns?.length ?? 0;
+    const rightCount = relationship.rightPatterns?.length ?? 0;
+    if (leftCount > 3) {
+        accept('info', ValidationMessages.TOO_MANY_PATTERNS(leftCount, 'left'), { node: relationship, property: 'leftPatterns', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+    if (rightCount > 3) {
+        accept('info', ValidationMessages.TOO_MANY_PATTERNS(rightCount, 'right'), { node: relationship, property: 'rightPatterns', codeDescription: buildCodeDescription('language.md', 'integration-patterns') });
+    }
+}
+export const relationshipChecks = [
+    validateSharedKernelBidirectional,
+    validateACLPlacement,
+    validateConformistPlacement,
+    validatePatternCount
+];
+//# sourceMappingURL=relationships.js.map

package/out/validation/relationships.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationships.js","sourceRoot":"","sources":["../../src/validation/relationships.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;GAEG;AACH,SAAS,cAAc,CAAC,GAAsB;IAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,SAAS,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iCAAiC,CACtC,YAA0B,EAC1B,MAA0B;IAE1B,sDAAsD;IACtD,MAAM,mBAAmB,GAAG,YAAY,CAAC,YAAY,EAAE,IAAI,CACvD,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,cAAc,CAC5D,CAAC;IACF,MAAM,oBAAoB,GAAG,YAAY,CAAC,aAAa,EAAE,IAAI,CACzD,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,cAAc,CAC5D,CAAC;IAEF,IAAI,CAAC,mBAAmB,IAAI,oBAAoB,CAAC,IAAI,YAAY,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAChF,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAErD,MAAM,CAAC,SAAS,EACZ,kBAAkB,CAAC,mCAAmC,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,EAC/F,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAC1H,CAAC;IACN,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CACzB,YAA0B,EAC1B,MAA0B;IAE1B,MAAM,UAAU,GAAG,YAAY,CAAC,YAAY,EAAE,IAAI,CAC9C,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,qBAAqB,CACpE,CAAC;IACF,MAAM,WAAW,GAAG,YAAY,CAAC,aAAa,EAAE,IAAI,CAChD,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,qBAAqB,CACpE,CAAC;IAEF,oEAAoE;IACpE,IAAI,UAAU,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,SAAS,EACZ,kBAAkB,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,EACtD,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CACjI,CAAC;IACN,CAAC;IAED,qEAAqE;IACrE,IAAI,WAAW,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,CAAC,SAAS,EACZ,kBAAkB,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,EACxD,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAClI,CAAC;IACN,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,2BAA2B,CAChC,YAA0B,EAC1B,MAA0B;IAE1B,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,EAAE,IAAI,CAC7C,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,YAAY,CAC1D,CAAC;IACF,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,IAAI,CAC/C,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,YAAY,CAC1D,CAAC;IAEF,yEAAyE;IACzE,IAAI,SAAS,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,SAAS,EACZ,kBAAkB,CAAC,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAC7D,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CACjI,CAAC;IACN,CAAC;IAED,0EAA0E;IAC1E,IAAI,UAAU,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,CAAC,SAAS,EACZ,kBAAkB,CAAC,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,EAC/D,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAClI,CAAC;IACN,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CACzB,YAA0B,EAC1B,MAA0B;IAE1B,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAE3D,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAChB,MAAM,CAAC,MAAM,EACT,kBAAkB,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,CAAC,EACvD,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CACjI,CAAC;IACN,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,CAAC,MAAM,EACT,kBAAkB,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,EACzD,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAClI,CAAC;IACN,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B,iCAAiC;IACjC,oBAAoB;IACpB,2BAA2B;IAC3B,oBAAoB;CACvB,CAAC"}

package/out/validation/shared.d.ts

@@ -0,0 +1,6 @@
+import type { AstNode } from 'langium';
+import type { Container } from '../generated/ast.js';
+export declare function extractNames(element: Container): Generator<{
+    fqn: string;
+    node: AstNode;
+}>;

package/out/validation/shared.js

@@ -0,0 +1,12 @@
+import { isContainer } from '../generated/ast.js';
+import { QualifiedNameProvider } from '../lsp/domain-lang-naming.js';
+export function* extractNames(element) {
+    const fqnProvider = new QualifiedNameProvider();
+    for (const child of element.children) {
+        yield { fqn: fqnProvider.getQualifiedName(child.$container, child.name), node: child };
+        if (isContainer(child)) {
+            yield* extractNames(child);
+        }
+    }
+}
+//# sourceMappingURL=shared.js.map

package/out/validation/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../src/validation/shared.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE,MAAM,SAAS,CAAC,CAAC,YAAY,CAAC,OAAkB;IAC5C,MAAM,WAAW,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,EAAC,GAAG,EAAE,WAAW,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC;QACrF,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;IACL,CAAC;AACL,CAAC"}

package/package.json

@@ -0,0 +1,97 @@
+{
+    "name": "@domainlang/language",
+    "version": "0.1.81",
+    "displayName": "DomainLang",
+    "description": "A DSL for Domain-Driven Design",
+    "publisher": "thinkability",
+    "author": "larsbaunwall",
+    "license": "Apache License 2.0",
+    "icon": "images/icon.png",
+    "keywords": [
+        "ddd",
+        "domain-driven design",
+        "langium",
+        "dlang",
+        "domainlang"
+    ],
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/larsbaunwall/DomainLang"
+    },
+    "bugs": {
+        "url": "https://github.com/larsbaunwall/DomainLang/issues"
+    },
+    "type": "module",
+    "engines": {
+        "node": ">=20.10.0",
+        "npm": ">=10.2.3"
+    },
+    "files": [
+        "out",
+        "src"
+    ],
+    "main": "./out/index.js",
+    "module": "./out/index.js",
+    "exports": {
+        ".": {
+            "types": "./out/index.d.ts",
+            "default": "./out/index.js"
+        },
+        "./sdk": {
+            "types": "./out/sdk/index.d.ts",
+            "default": "./out/sdk/index.js"
+        },
+        "./main-browser": {
+            "types": "./out/main-browser.d.ts",
+            "default": "./out/main-browser.js"
+        },
+        "./syntaxes/domain-lang.monarch.js": {
+            "types": "./out/syntaxes/domain-lang.monarch.d.ts",
+            "default": "./out/syntaxes/domain-lang.monarch.js"
+        },
+        "./syntaxes/domain-lang.monarch": {
+            "types": "./out/syntaxes/domain-lang.monarch.d.ts",
+            "default": "./out/syntaxes/domain-lang.monarch.js"
+        },
+        "./src/services/git-url-resolver.js": {
+            "browser": "./src/services/git-url-resolver.browser.js",
+            "default": "./src/services/git-url-resolver.js"
+        }
+    },
+    "typesVersions": {
+        "*": {
+            ".": [
+                "out/index"
+            ]
+        }
+    },
+    "scripts": {
+        "clean": "shx rm -fr *.tsbuildinfo out",
+        "build": "tsc -b tsconfig.src.json",
+        "build:clean": "npm run clean && npm run build",
+        "langium:generate": "langium generate",
+        "langium:watch": "langium generate --watch",
+        "test": "vitest run",
+        "test:coverage": "vitest run --coverage"
+    },
+    "dependencies": {
+        "langium": "~4.1.0",
+        "yaml": "^2.5.0"
+    },
+    "devDependencies": {
+        "@types/node": "~20.17.48",
+        "@vitest/coverage-v8": "^3.1.4",
+        "langium-cli": "~4.1.0",
+        "shx": "~0.4.0",
+        "typescript": "~5.8.3",
+        "vitest": "~3.1.3"
+    },
+    "volta": {
+        "node": "20.19.2",
+        "npm": "10.8.2"
+    },
+    "publishConfig": {
+        "access": "public",
+        "registry": "https://registry.npmjs.org/"
+    }
+}

package/src/ast-augmentation.ts

@@ -0,0 +1,5 @@
+declare module './generated/ast.js' {
+    interface Relationship {
+        inferredType?: string;
+    }
+}

package/src/domain-lang-module.ts

@@ -0,0 +1,100 @@
+import { type Module, inject } from 'langium';
+import type { 
+    DefaultSharedModuleContext, 
+    LangiumServices, 
+    LangiumSharedServices, 
+    PartialLangiumServices 
+} from 'langium/lsp';
+import { createDefaultModule, createDefaultSharedModule } from 'langium/lsp';
+import { DomainLangGeneratedModule, DomainLangGeneratedSharedModule } from './generated/module.js';
+import { registerValidationChecks } from './validation/domain-lang-validator.js';
+import { QualifiedNameProvider } from './lsp/domain-lang-naming.js';
+import { DomainLangScopeComputation } from './lsp/domain-lang-scope.js';
+import { DomainLangFormatter } from './lsp/domain-lang-formatter.js';
+import { DomainLangHoverProvider } from './lsp/hover/domain-lang-hover.js';
+import { DomainLangCompletionProvider } from './lsp/domain-lang-completion.js';
+import { ImportResolver } from './services/import-resolver.js';
+import { WorkspaceManager } from './services/workspace-manager.js';
+
+/**
+ * Declaration of custom services - add your own service classes here.
+ */
+export type DomainLangAddedServices = {
+    imports: {
+        ImportResolver: ImportResolver,
+        WorkspaceManager: WorkspaceManager
+    },
+    references: {
+        QualifiedNameProvider: QualifiedNameProvider
+    },
+    lsp: {
+        Formatter: DomainLangFormatter,
+        HoverProvider: DomainLangHoverProvider,
+        CompletionProvider: DomainLangCompletionProvider
+    }
+}
+
+/**
+ * Union of Langium default services and your custom services - use this as constructor parameter
+ * of custom service classes.
+ */
+export type DomainLangServices = LangiumServices & DomainLangAddedServices
+
+/**
+ * Dependency injection module that overrides Langium default services and contributes the
+ * declared custom services. The Langium defaults can be partially specified to override only
+ * selected services, while the custom services must be fully specified.
+ */
+export const DomainLangModule: Module<DomainLangServices, PartialLangiumServices & DomainLangAddedServices> = {
+    imports: {
+        ImportResolver: (services) => new ImportResolver(services),
+        WorkspaceManager: () => new WorkspaceManager()
+    },
+    references: {
+        ScopeComputation: (services) => new DomainLangScopeComputation(services),
+        QualifiedNameProvider: () => new QualifiedNameProvider()
+    },
+    lsp: {
+        Formatter: () => new DomainLangFormatter(),
+        HoverProvider: (services) => new DomainLangHoverProvider(services),
+        CompletionProvider: (services) => new DomainLangCompletionProvider(services)
+    },
+};
+
+/**
+ * Create the full set of services required by Langium.
+ *
+ * First inject the shared services by merging two modules:
+ *  - Langium default shared services
+ *  - Services generated by langium-cli
+ *
+ * Then inject the language-specific services by merging three modules:
+ *  - Langium default language-specific services
+ *  - Services generated by langium-cli
+ *  - Services specified in this file
+ *
+ * @param context Optional module context with the LSP connection
+ * @returns An object wrapping the shared services and the language-specific services
+ */
+export function createDomainLangServices(context: DefaultSharedModuleContext): {
+    shared: LangiumSharedServices,
+    DomainLang: DomainLangServices
+} {
+    const shared = inject(
+        createDefaultSharedModule(context),
+        DomainLangGeneratedSharedModule
+    );
+    const DomainLang = inject(
+        createDefaultModule({ shared }),
+        DomainLangGeneratedModule,
+        DomainLangModule
+    );
+    shared.ServiceRegistry.register(DomainLang);
+    registerValidationChecks(DomainLang);
+    if (!context.connection) {
+        // We don't run inside a language server
+        // Therefore, initialize the configuration provider instantly
+        shared.workspace.ConfigurationProvider.initialized({});
+    }
+    return { shared, DomainLang };
+}