@domainlang/language 0.10.0 → 0.12.0

package/out/validation/import.js

@@ -1,28 +1,35 @@
 import fs from 'node:fs/promises';
 import path from 'node:path';
+import { ImportResolutionError } from '../services/import-resolver.js';
 import { ValidationMessages, buildCodeDescription, IssueCodes } from './constants.js';
 /**
  * Validates import statements in DomainLang.
  *
  * Uses async validators (Langium 4.x supports MaybePromise<void>) to leverage
- * the shared WorkspaceManager service with its cached manifest/lock file reading.
+ * the shared ManifestManager service with its cached manifest/lock file reading.
  *
  * Checks:
  * - All import URIs resolve to existing files
  * - External imports require manifest + alias
  * - Local path dependencies stay inside workspace
  * - Lock file exists for external dependencies
+ * - Import cycles are detected and reported (PRS-017 R3)
  */
 export class ImportValidator {
     constructor(services) {
-        this.workspaceManager = services.imports.WorkspaceManager;
+        this.workspaceManager = services.imports.ManifestManager;
         this.importResolver = services.imports.ImportResolver;
+        // IndexManager is in shared services — cast to DomainLangIndexManager for cycle detection
+        const indexMgr = services.shared.workspace.IndexManager;
+        this.indexManager = 'getCycleForDocument' in indexMgr
+            ? indexMgr
+            : undefined;
     }
     /**
      * Validates an import statement asynchronously.
      *
      * Langium validators can return MaybePromise<void>, enabling async operations
-     * like reading manifests via the shared, cached WorkspaceManager.
+     * like reading manifests via the shared, cached ManifestManager.
      */
     async checkImportPath(imp, accept, document, _cancelToken) {
         if (!imp.uri) {
@@ -34,6 +41,8 @@ export class ImportValidator {
             });
             return;
         }
+        // PRS-017 R3: Check for import cycles detected during indexing
+        this.checkImportCycle(document, imp, accept);
         // First, verify the import resolves to a valid file
         // This catches renamed/moved/deleted files immediately
         const resolveError = await this.validateImportResolves(imp, document, accept);
@@ -126,13 +135,20 @@ export class ImportValidator {
             }
             return false;
         }
-        catch {
-            // Resolution failed - report as unresolved import
-            accept('error', ValidationMessages.IMPORT_UNRESOLVED(imp.uri), {
+        catch (error) {
+            // R8: Use structured error properties for precise diagnostics
+            const message = error instanceof ImportResolutionError && error.hint
+                ? `${ValidationMessages.IMPORT_UNRESOLVED(imp.uri)}: ${error.hint}`
+                : ValidationMessages.IMPORT_UNRESOLVED(imp.uri);
+            accept('error', message, {
                 node: imp,
                 property: 'uri',
                 codeDescription: buildCodeDescription('language.md', 'imports'),
-                data: { code: IssueCodes.ImportUnresolved, uri: imp.uri }
+                data: {
+                    code: IssueCodes.ImportUnresolved,
+                    uri: imp.uri,
+                    ...(error instanceof ImportResolutionError && { reason: error.reason }),
+                }
             });
             return true;
         }
@@ -253,7 +269,7 @@ export class ImportValidator {
             }
         }
         catch (error) {
-            // WorkspaceManager not initialized - skip workspace boundary check
+            // ManifestManager not initialized - skip workspace boundary check
             // This can happen for standalone files without model.yaml
             console.warn(`Could not validate workspace boundary for path dependency: ${error}`);
         }
@@ -288,7 +304,7 @@ export class ImportValidator {
             }
         }
         catch (error) {
-            // WorkspaceManager not initialized - log warning but continue
+            // ManifestManager not initialized - log warning but continue
             console.warn(`Could not validate cached package for ${alias}: ${error}`);
         }
     }
@@ -312,11 +328,39 @@ export class ImportValidator {
             return false;
         }
     }
+    // --- PRS-017 R3: Import cycle detection ---
+    /**
+     * Reports a warning if the current document is part of an import cycle.
+     *
+     * Cycle data is populated during indexing by DomainLangIndexManager.
+     * This method reads the pre-computed cycles and emits a diagnostic
+     * on the import statement contributing to the cycle.
+     */
+    checkImportCycle(document, imp, accept) {
+        if (!this.indexManager)
+            return;
+        const cycle = this.indexManager.getCycleForDocument(document.uri.toString());
+        if (!cycle || cycle.length === 0)
+            return;
+        // Build human-readable cycle display using basenames
+        const cycleDisplay = cycle
+            .map(uri => {
+            const parts = uri.split('/');
+            return parts.at(-1) ?? uri;
+        })
+            .join(' → ');
+        accept('warning', ValidationMessages.IMPORT_CYCLE_DETECTED(cycleDisplay), {
+            node: imp,
+            property: 'uri',
+            codeDescription: buildCodeDescription('language.md', 'imports'),
+            data: { code: IssueCodes.ImportCycleDetected }
+        });
+    }
 }
 /**
  * Creates validation checks for import statements.
  *
- * Returns async validators that leverage the shared WorkspaceManager
+ * Returns async validators that leverage the shared ManifestManager
  * for cached manifest/lock file reading.
  */
 export function createImportChecks(services) {

package/out/validation/import.js.map

@@ -1 +1 @@
-{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/validation/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAQ7B,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEtF;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,eAAe;IAIxB,YAAY,QAA4B;QACpC,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAC1D,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC;IAC1D,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,eAAe,CACjB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB,EACzB,YAA4C;QAE5C,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,EAAE;gBACrD,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,QAAQ;gBACjB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE;aAC9C,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,oDAAoD;QACpD,uDAAuD;QACvD,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9E,IAAI,YAAY,EAAE,CAAC;YACf,OAAO,CAAC,yDAAyD;QACrE,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO;QACX,CAAC;QAED,sDAAsD;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAE/C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAClE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE;aACxE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,6DAA6D;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAErD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAChE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE;aACjE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;QAClC,IAAI,CAAC,wBAAwB,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAE5D,qEAAqE;QACrE,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE;oBAC1D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE,GAAG,EAAE;iBAC5D,CAAC,CAAC;gBACH,OAAO;YACX,CAAC;YAED,MAAM,IAAI,CAAC,qBAAqB,CAAC,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,gBAAgB,CAAC,GAAW;QAChC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,sBAAsB,CAChC,GAAoB,EACpB,QAAyB,EACzB,MAA0B;QAE1B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,OAAO,IAAI,CAAC,CAAC,yBAAyB;QAC1C,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEjD,IAAI,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAE3E,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC;YACpC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAE/C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;oBAC3D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE;iBAC5D,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,OAAO,KAAK,CAAC;QACjB,CAAC;QAAC,MAAM,CAAC;YACL,kDAAkD;YAClD,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAC3D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE;aAC5D,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,cAAc,CAClB,QAAuB,EACvB,SAAiB;QAEjB,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,8DAA8D;QAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAEjF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,kDAAkD;YAClD,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;gBACvD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACrD,IAAI,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;gBAC/B,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,QAAuB,EAAE,GAAW;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACnC,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED;;OAEG;IACK,wBAAwB,CAC5B,UAAkC,EAClC,KAAa,EACb,MAA0B,EAC1B,GAAoB;QAEpB,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,KAAK,CAAC,EAAE;gBACtE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,2BAA2B,EAAE,KAAK,EAAE;aAChE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE;gBACrE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,yBAAyB,EAAE,KAAK,EAAE;aAC9D,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE;gBAC1D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,KAAK,EAAE;aACrD,CAAC,CAAC;QACP,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,2BAA2B,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IAED;;OAEG;IACK,2BAA2B,CAC/B,cAAsB,EACtB,KAAa,EACb,MAA0B,EAC1B,GAAoB;QAEpB,IAAI,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE;gBAC5E,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;aAC7E,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC;YACD,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;YAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;YACjE,MAAM,mBAAmB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;YAEvE,IAAI,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC/E,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE;oBAChE,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,EAAE,KAAK,EAAE;iBAC3D,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,mEAAmE;YACnE,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,8DAA8D,KAAK,EAAE,CAAC,CAAC;QACxF,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,qBAAqB,CAC/B,UAAkC,EAClC,KAAa,EACb,QAAkB,EAClB,MAA0B,EAC1B,GAAoB;QAEpB,wEAAwE;QACxE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,IAAI,KAAK,CAAC;QAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAEpD,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;gBAC5D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;aACvD,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC;YACD,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YAErF,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACzD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;oBAC5D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;iBACvD,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,8DAA8D;YAC9D,OAAO,CAAC,IAAI,CAAC,yCAAyC,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,iBAAiB,CAAC,aAAqB,EAAE,MAAc,EAAE,UAAkB;QAC/E,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CAAC,OAAe;QACzC,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9B,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAA4B;IAC3D,MAAM,SAAS,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC;IAEhD,OAAO;QACH,+DAA+D;QAC/D,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE;YAChD,2DAA2D;YAC3D,mDAAmD;YACnD,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,EAAE,SAAS,CAAC;YACjC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,OAAO;YACX,CAAC;YAED,MAAM,SAAS,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QACxE,CAAC;KACJ,CAAC;AACN,CAAC"}
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/validation/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAO7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAGvE,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEtF;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,eAAe;IAKxB,YAAY,QAA4B;QACpC,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC;QACzD,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC;QACtD,0FAA0F;QAC1F,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC;QACxD,IAAI,CAAC,YAAY,GAAG,qBAAqB,IAAI,QAAQ;YACjD,CAAC,CAAC,QAAkC;YACpC,CAAC,CAAC,SAAS,CAAC;IACpB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,eAAe,CACjB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB,EACzB,YAA4C;QAE5C,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,EAAE;gBACrD,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,QAAQ;gBACjB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE;aAC9C,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,+DAA+D;QAC/D,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAE7C,oDAAoD;QACpD,uDAAuD;QACvD,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9E,IAAI,YAAY,EAAE,CAAC;YACf,OAAO,CAAC,yDAAyD;QACrE,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO;QACX,CAAC;QAED,sDAAsD;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAE/C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAClE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE;aACxE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,6DAA6D;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAErD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAChE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE;aACjE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;QAClC,IAAI,CAAC,wBAAwB,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAE5D,qEAAqE;QACrE,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE;oBAC1D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE,GAAG,EAAE;iBAC5D,CAAC,CAAC;gBACH,OAAO;YACX,CAAC;YAED,MAAM,IAAI,CAAC,qBAAqB,CAAC,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,gBAAgB,CAAC,GAAW;QAChC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,sBAAsB,CAChC,GAAoB,EACpB,QAAyB,EACzB,MAA0B;QAE1B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,OAAO,IAAI,CAAC,CAAC,yBAAyB;QAC1C,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEjD,IAAI,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAE3E,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC;YACpC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAE/C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;oBAC3D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE;iBAC5D,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,OAAO,KAAK,CAAC;QACjB,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACtB,8DAA8D;YAC9D,MAAM,OAAO,GAAG,KAAK,YAAY,qBAAqB,IAAI,KAAK,CAAC,IAAI;gBAChE,CAAC,CAAC,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,EAAE;gBACnE,CAAC,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEpD,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE;gBACrB,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE;oBACF,IAAI,EAAE,UAAU,CAAC,gBAAgB;oBACjC,GAAG,EAAE,GAAG,CAAC,GAAG;oBACZ,GAAG,CAAC,KAAK,YAAY,qBAAqB,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;iBAC1E;aACJ,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,cAAc,CAClB,QAAuB,EACvB,SAAiB;QAEjB,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,8DAA8D;QAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAEjF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,kDAAkD;YAClD,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;gBACvD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACrD,IAAI,UAAU,EAAE,CAAC;oBACb,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;gBAC/B,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,QAAuB,EAAE,GAAW;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACnC,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED;;OAEG;IACK,wBAAwB,CAC5B,UAAkC,EAClC,KAAa,EACb,MAA0B,EAC1B,GAAoB;QAEpB,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,KAAK,CAAC,EAAE;gBACtE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,2BAA2B,EAAE,KAAK,EAAE;aAChE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE;gBACrE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,yBAAyB,EAAE,KAAK,EAAE;aAC9D,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE;gBAC1D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,KAAK,EAAE;aACrD,CAAC,CAAC;QACP,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,2BAA2B,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IAED;;OAEG;IACK,2BAA2B,CAC/B,cAAsB,EACtB,KAAa,EACb,MAA0B,EAC1B,GAAoB;QAEpB,IAAI,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE;gBAC5E,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;aAC7E,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC;YACD,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;YAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;YACjE,MAAM,mBAAmB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;YAEvE,IAAI,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC/E,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE;oBAChE,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,EAAE,KAAK,EAAE;iBAC3D,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,kEAAkE;YAClE,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,8DAA8D,KAAK,EAAE,CAAC,CAAC;QACxF,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,qBAAqB,CAC/B,UAAkC,EAClC,KAAa,EACb,QAAkB,EAClB,MAA0B,EAC1B,GAAoB;QAEpB,wEAAwE;QACxE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,IAAI,KAAK,CAAC;QAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAEpD,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;gBAC5D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;aACvD,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC;YACD,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YAErF,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACzD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;oBAC5D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;iBACvD,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,6DAA6D;YAC7D,OAAO,CAAC,IAAI,CAAC,yCAAyC,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,iBAAiB,CAAC,aAAqB,EAAE,MAAc,EAAE,UAAkB;QAC/E,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CAAC,OAAe;QACzC,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9B,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,6CAA6C;IAE7C;;;;;;OAMG;IACK,gBAAgB,CACpB,QAAyB,EACzB,GAAoB,EACpB,MAA0B;QAE1B,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,OAAO;QAE/B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAEzC,qDAAqD;QACrD,MAAM,YAAY,GAAG,KAAK;aACrB,GAAG,CAAC,GAAG,CAAC,EAAE;YACP,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7B,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;QAC/B,CAAC,CAAC;aACD,IAAI,CAAC,KAAK,CAAC,CAAC;QAEjB,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE;YACtE,IAAI,EAAE,GAAG;YACT,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;YAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE;SACjD,CAAC,CAAC;IACP,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAA4B;IAC3D,MAAM,SAAS,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC;IAEhD,OAAO;QACH,+DAA+D;QAC/D,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE;YAChD,2DAA2D;YAC3D,mDAAmD;YACnD,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,EAAE,SAAS,CAAC;YACjC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,OAAO;YACX,CAAC;YAED,MAAM,SAAS,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QACxE,CAAC;KACJ,CAAC;AACN,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@domainlang/language",
-    "version": "0.10.0",
+    "version": "0.12.0",
     "displayName": "DomainLang Language",
     "description": "Core language library for DomainLang - parse, validate, and query Domain-Driven Design models programmatically",
     "author": "larsbaunwall",
@@ -85,9 +85,12 @@
         "test:coverage": "vitest run --coverage"
     },
     "dependencies": {
+        "elkjs": "^0.8.2",
         "langium": "~4.2.0",
+        "langium-sprotty": "~4.2.0",
         "monaco-editor": "0.55.1",
-        "vite": "6.4.1",
+        "sprotty-elk": "~1.4.0",
+        "sprotty-protocol": "~1.4.0",
         "yaml": "^2.5.0"
     },
     "devDependencies": {

package/src/diagram/context-map-diagram-generator.ts

@@ -0,0 +1,451 @@
+import type { LangiumDocument } from 'langium';
+import type { SGraph, SModelElement, SModelRoot, SEdge, SNode } from 'sprotty-protocol';
+import { LangiumDiagramGenerator, type GeneratorContext } from 'langium-sprotty';
+import { fromDocument } from '../sdk/query.js';
+import type { Query } from '../sdk/types.js';
+import type { BoundedContext, ContextMap, Model, Relationship } from '../generated/ast.js';
+
+/** Ellipse sizing for bounded context nodes — sized for long names like "CustomerManagementContext" */
+const NODE_WIDTH = 280;
+const NODE_HEIGHT = 100;
+
+/**
+ * Maps long-form DomainLang integration pattern keywords to their standard
+ * DDD abbreviations for display in U/D badges.
+ */
+const PATTERN_ABBREVIATIONS: Readonly<Record<string, string>> = {
+    OpenHostService: 'OHS',
+    PublishedLanguage: 'PL',
+    AntiCorruptionLayer: 'ACL',
+    Conformist: 'CF',
+    Partnership: 'P',
+    SharedKernel: 'SK',
+    BigBallOfMud: 'BBoM',
+};
+
+/**
+ * Returns the abbreviated form of an integration pattern keyword.
+ *
+ * Short forms (e.g. `OHS`, `ACL`) are returned unchanged.  Long forms (e.g.
+ * `OpenHostService`, `AntiCorruptionLayer`) are mapped to their abbreviation.
+ */
+function normalizePattern(pattern: string): string {
+    return PATTERN_ABBREVIATIONS[pattern] ?? pattern;
+}
+
+/**
+ * Returns `true` when the pattern identifies a Big Ball of Mud participant.
+ *
+ * BBoM is surfaced as a cloud node shape on the bounded context itself, not as
+ * a text annotation in the edge badge, so it should be excluded from badge text.
+ */
+function isBBoMPattern(pattern: string): boolean {
+    return pattern === 'BBoM' || pattern === 'BigBallOfMud';
+}
+
+interface DiagramSelection {
+    selectedContextMapFqn?: string;
+    selectedContextMapName?: string;
+}
+
+interface RelationshipEdgeParams {
+    leftNode: SNode;
+    rightNode: SNode;
+    arrow: string;
+    leftPatterns: readonly string[];
+    rightPatterns: readonly string[];
+    type: string | undefined;
+    astNode: Relationship;
+}
+
+/**
+ * Generates context map diagrams in the **DDD community notation** style.
+ *
+ * Bounded contexts are rendered as ellipses. Relationships are rendered as edges
+ * with U/D (upstream/downstream) annotations and integration pattern labels at
+ * each end, matching the notation used in Eric Evans' "Domain-Driven Design" and
+ * Vaughn Vernon's "Implementing Domain-Driven Design".
+ *
+ * Edge label convention:
+ *   - Position 0.1 (near source): `U [OHS, PL]` or `D [ACL]`
+ *   - Position 0.9 (near target): `D [CF]` or `U [OHS]`
+ *   - Position 0.5 (center): relationship type (e.g., "Customer/Supplier")
+ */
+export class DomainLangContextMapDiagramGenerator extends LangiumDiagramGenerator {
+    protected override generateRoot(args: GeneratorContext): SModelRoot {
+        const document = args.document as LangiumDocument<Model>;
+        const query = fromDocument(document);
+        const selection = this.getSelection(args);
+        const contextMaps = query.contextMaps().toArray();
+
+        const selectedMap = this.selectContextMap(contextMaps, query, selection);
+        if (!selectedMap) {
+            return {
+                type: 'graph',
+                id: args.idCache.uniqueId('context-map:empty'),
+                children: [],
+            } satisfies SGraph;
+        }
+
+        // Fetch relationships first so the BBoM pre-pass can identify which BCs
+        // need the cloud node shape before any nodes are created.
+        const relationships = query.relationships()
+            .where((relationship) => relationship.source === 'ContextMap' && relationship.astNode.$container === selectedMap)
+            .toArray();
+
+        // BBoM pre-pass: collect the node keys of every bounded context that
+        // appears on a side annotated with the BigBallOfMud pattern.  These get
+        // the `node:bbom` Sprotty type so the webview renders them as clouds.
+        const bboMNodeKeys = new Set<string>();
+        for (const rel of relationships) {
+            if (rel.leftPatterns.some(isBBoMPattern)) {
+                bboMNodeKeys.add(this.getNodeKey(query, rel.left));
+            }
+            if (rel.rightPatterns.some(isBBoMPattern)) {
+                bboMNodeKeys.add(this.getNodeKey(query, rel.right));
+            }
+        }
+
+        const nodeMap = new Map<string, SNode>();
+        this.collectContextMapNodes(selectedMap, query, nodeMap, bboMNodeKeys, args);
+
+        for (const relationship of relationships) {
+            this.ensureNode(nodeMap, query, relationship.left, bboMNodeKeys, args);
+            this.ensureNode(nodeMap, query, relationship.right, bboMNodeKeys, args);
+        }
+
+        const edges = relationships.flatMap((relationship) => {
+            const leftKey = this.getNodeKey(query, relationship.left);
+            const rightKey = this.getNodeKey(query, relationship.right);
+            const leftNode = nodeMap.get(leftKey);
+            const rightNode = nodeMap.get(rightKey);
+
+            if (!leftNode || !rightNode) {
+                return [];
+            }
+
+            return this.createRelationshipEdge({
+                leftNode,
+                rightNode,
+                arrow: relationship.arrow,
+                leftPatterns: relationship.leftPatterns,
+                rightPatterns: relationship.rightPatterns,
+                type: relationship.type,
+                astNode: relationship.astNode,
+            }, args);
+        });
+
+        return {
+            type: 'graph',
+            id: args.idCache.uniqueId(`context-map:${selectedMap.name}`, selectedMap),
+            children: [...nodeMap.values(), ...edges],
+        } satisfies SGraph;
+    }
+
+    // ── Relationship edges (DDD community notation) ──
+
+    /**
+     * Creates an edge with DDD community notation labels.
+     *
+     * For `->`: left = Upstream (U), right = Downstream (D)
+     * For `<-`: left = Downstream (D), right = Upstream (U)
+     * For `<->`: Partnership (bidirectional)
+     * For `><`: Separate Ways
+     *
+     * U/D labels are rendered as DDD notation badges with optional
+     * pattern boxes (e.g., `U [OHS, PL]`).
+     */
+    private createRelationshipEdge(
+        params: RelationshipEdgeParams,
+        args: GeneratorContext
+    ): SEdge[] {
+        const { leftNode, rightNode, arrow, leftPatterns, rightPatterns, type, astNode } = params;
+        // Determine source/target based on arrow direction
+        const sourceId = arrow === '<-' ? rightNode.id : leftNode.id;
+        const targetId = arrow === '<-' ? leftNode.id : rightNode.id;
+
+        const edgeId = args.idCache.uniqueId(
+            `edge:${sourceId}:${targetId}`,
+            astNode
+        );
+
+        const children: SModelElement[] = [];
+
+        if (arrow === '<->') {
+            // Partnership / bidirectional — no U/D roles
+            this.addUDBadge(children, edgeId, 'source', leftPatterns, undefined, args);
+            this.addUDBadge(children, edgeId, 'target', rightPatterns, undefined, args);
+        } else if (arrow === '><') {
+            // Separate Ways — no U/D, no patterns
+        } else {
+            // Unidirectional: -> or <-
+            const sourcePatterns = arrow === '<-' ? rightPatterns : leftPatterns;
+            const targetPatterns = arrow === '<-' ? leftPatterns : rightPatterns;
+            this.addUDBadge(children, edgeId, 'source', sourcePatterns, 'U', args);
+            this.addUDBadge(children, edgeId, 'target', targetPatterns, 'D', args);
+        }
+
+        // Center label: relationship type
+        const centerLabel = this.formatRelationshipType(type, arrow);
+        if (centerLabel) {
+            children.push({
+                type: 'label:edge',
+                id: args.idCache.uniqueId(`${edgeId}:type`),
+                text: centerLabel,
+                edgePlacement: {
+                    side: 'on',
+                    position: 0.5,
+                    rotate: false,
+                    offset: 10,
+                },
+            } as unknown as SModelElement);
+        }
+
+        let edgeCssClasses: string[] | undefined;
+        if (arrow === '><') {
+            edgeCssClasses = ['separate-ways'];
+        } else if (arrow === '<->') {
+            edgeCssClasses = ['partnership'];
+        }
+
+        const edge: SEdge = {
+            type: 'edge',
+            id: edgeId,
+            sourceId,
+            targetId,
+            cssClasses: edgeCssClasses,
+            children: children.length > 0 ? children : undefined,
+        };
+
+        this.traceProvider.trace(edge as SModelElement, astNode as unknown as import('langium').AstNode);
+        return [edge];
+    }
+
+    /**
+     * Adds a U/D badge label at the source or target end of an edge.
+     *
+     * Patterns are normalised to their short abbreviations (e.g. `OpenHostService` →
+     * `OHS`) and `BBoM`/`BigBallOfMud` is excluded — BBoM is surfaced visually as a
+     * cloud node shape rather than a text annotation.
+     *
+     * Badge text format: `ROLE|PATTERNS` (e.g. `U|OHS, PL` or `D|ACL`).
+     * The webview `UDBadgeLabelView` renders this as a bordered box.
+     */
+    private addUDBadge(
+        children: SModelElement[],
+        edgeId: string,
+        placement: 'source' | 'target',
+        patterns: readonly string[],
+        role: 'U' | 'D' | undefined,
+        args: GeneratorContext
+    ): void {
+        // Normalise pattern names and strip BBoM (shown on node, not in badge)
+        const badgePatterns = patterns
+            .filter((p) => !isBBoMPattern(p))
+            .map(normalizePattern);
+
+        if (!role && badgePatterns.length === 0) {
+            return;
+        }
+
+        // Encode as ROLE|PATTERNS for UDBadgeLabelView parsing
+        const rolePart = role ?? '';
+        const patternPart = badgePatterns.length > 0 ? badgePatterns.join(', ') : '';
+        const badgeText = `${rolePart}|${patternPart}`;
+
+        children.push({
+            type: 'label:ud-badge',
+            id: args.idCache.uniqueId(`${edgeId}:${placement}`),
+            text: badgeText,
+            edgePlacement: {
+                side: 'on',
+                position: placement === 'source' ? 0.1 : 0.9,
+                rotate: false,
+                offset: 0,
+            },
+        } as unknown as SModelElement);
+    }
+
+    /**
+     * Formats the relationship type for the center edge label.
+     *
+     * Maps DomainLang keywords to DDD community notation display names:
+     *   CustomerSupplier → Customer/Supplier
+     *   SharedKernel → Shared Kernel
+     *   UpstreamDownstream → Upstream/Downstream
+     *   Partnership → Partnership
+     *
+     * For `<->` without explicit type, defaults to "Partnership".
+     * For `><`, defaults to "Separate Ways".
+     */
+    private formatRelationshipType(type: string | undefined, arrow: string): string | undefined {
+        if (type) {
+            return this.displayRelationshipType(type);
+        }
+        if (arrow === '<->') {
+            return 'Partnership';
+        }
+        if (arrow === '><') {
+            return 'Separate Ways';
+        }
+        return undefined;
+    }
+
+    private displayRelationshipType(type: string): string {
+        switch (type) {
+            case 'CustomerSupplier': return 'Customer/Supplier';
+            case 'SharedKernel': return 'Shared Kernel';
+            case 'UpstreamDownstream': return 'Upstream/Downstream';
+            default: return type;
+        }
+    }
+
+    // ── Node generation ──
+
+    private collectContextMapNodes(
+        selectedMap: ContextMap,
+        query: Query,
+        nodeMap: Map<string, SNode>,
+        bboMNodeKeys: ReadonlySet<string>,
+        args: GeneratorContext
+    ): void {
+        for (const boundedContextRef of selectedMap.boundedContexts) {
+            for (const item of boundedContextRef.items) {
+                this.ensureNodeForContextMapItem(item, query, nodeMap, bboMNodeKeys, args);
+            }
+
+            if (boundedContextRef.items.length === 0 && boundedContextRef.$refText) {
+                this.ensureUnresolvedNode(nodeMap, boundedContextRef.$refText, args);
+            }
+        }
+    }
+
+    private ensureNodeForContextMapItem(
+        item: { ref?: BoundedContext; $refText?: string },
+        query: Query,
+        nodeMap: Map<string, SNode>,
+        bboMNodeKeys: ReadonlySet<string>,
+        args: GeneratorContext
+    ): void {
+        const boundedContext = item.ref;
+        if (!boundedContext) {
+            if (item.$refText) {
+                this.ensureUnresolvedNode(nodeMap, item.$refText, args);
+            }
+            return;
+        }
+
+        const nodeKey = this.getNodeKey(query, boundedContext);
+        if (nodeMap.has(nodeKey)) {
+            return;
+        }
+
+        const nodeId = args.idCache.uniqueId(`node:${nodeKey}`, boundedContext);
+        const node = this.createNode(nodeId, boundedContext.name, bboMNodeKeys.has(nodeKey));
+        this.traceProvider.trace(node as SModelElement, boundedContext);
+        nodeMap.set(nodeKey, node);
+    }
+
+    private createNode(id: string, label: string, isBBoM = false): SNode {
+        return {
+            type: isBBoM ? 'node:bbom' : 'node',
+            id,
+            position: { x: 0, y: 0 },
+            size: {
+                width: NODE_WIDTH,
+                height: NODE_HEIGHT,
+            },
+            layout: 'vbox',
+            layoutOptions: {
+                hAlign: 'center',
+                vAlign: 'center',
+                resizeContainer: false,
+                paddingTop: 10,
+                paddingBottom: 10,
+                paddingLeft: 20,
+                paddingRight: 20,
+            },
+            children: [this.createNodeLabel(id, label)],
+        };
+    }
+
+    private createNodeLabel(nodeId: string, label: string): SModelElement {
+        return {
+            type: 'label',
+            id: `${nodeId}:label`,
+            text: label,
+        } as unknown as SModelElement;
+    }
+
+    private ensureNode(
+        nodeMap: Map<string, SNode>,
+        query: Query,
+        boundedContext: BoundedContext,
+        bboMNodeKeys: ReadonlySet<string>,
+        args: GeneratorContext
+    ): void {
+        const nodeKey = this.getNodeKey(query, boundedContext);
+        if (nodeMap.has(nodeKey)) {
+            return;
+        }
+
+        const nodeId = args.idCache.uniqueId(`node:${nodeKey}`, boundedContext);
+        const node = this.createNode(nodeId, boundedContext.name, bboMNodeKeys.has(nodeKey));
+        this.traceProvider.trace(node as SModelElement, boundedContext);
+        nodeMap.set(nodeKey, node);
+    }
+
+    private ensureUnresolvedNode(nodeMap: Map<string, SNode>, label: string, args: GeneratorContext): void {
+        const key = `unresolved:${label}`;
+        if (nodeMap.has(key)) {
+            return;
+        }
+
+        const nodeId = args.idCache.uniqueId(`node:${key}`);
+        nodeMap.set(key, this.createNode(nodeId, label));
+    }
+
+    private getNodeKey(query: Query, boundedContext: BoundedContext): string {
+        const fqn = query.fqn(boundedContext);
+        return fqn ?? boundedContext.name;
+    }
+
+    // ── Selection helpers ──
+
+    private getSelection(args: GeneratorContext): DiagramSelection {
+        const options = args.options;
+        if (typeof options !== 'object' || options === null) {
+            return {};
+        }
+
+        const selectedContextMapFqn = this.getStringOption(options, 'selectedContextMapFqn');
+        const selectedContextMapName = this.getStringOption(options, 'selectedContextMapName');
+        return {
+            selectedContextMapFqn,
+            selectedContextMapName,
+        };
+    }
+
+    private getStringOption(options: object, key: string): string | undefined {
+        const value = Reflect.get(options, key);
+        return typeof value === 'string' && value.trim().length > 0 ? value.trim() : undefined;
+    }
+
+    private selectContextMap(contextMaps: readonly ContextMap[], query: Query, selection: DiagramSelection): ContextMap | undefined {
+        if (selection.selectedContextMapFqn) {
+            const byFqn = contextMaps.find((contextMap) => query.fqn(contextMap) === selection.selectedContextMapFqn);
+            if (byFqn) {
+                return byFqn;
+            }
+        }
+
+        if (selection.selectedContextMapName) {
+            const byName = contextMaps.find((contextMap) => contextMap.name === selection.selectedContextMapName);
+            if (byName) {
+                return byName;
+            }
+        }
+
+        return contextMaps[0];
+    }
+}