@domainlang/language 0.11.0 → 0.13.0

package/out/validation/relationships.js.map

@@ -1 +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"}
+{"version":3,"file":"relationships.js","sourceRoot":"","sources":["../../src/validation/relationships.ts"],"names":[],"mappings":"AAEA,OAAO,EACH,SAAS,EACT,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,YAAY,EACZ,iBAAiB,EACjB,UAAU,EACV,UAAU,GACb,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E,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;;;GAGG;AACH,SAAS,oBAAoB,CACzB,YAA0B,EAC1B,MAA0B;IAE1B,IAAI,CAAC,yBAAyB,CAAC,YAAY,CAAC;QAAE,OAAO;IAErD,MAAM,UAAU,GAAG,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAE3E,2DAA2D;IAC3D,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,4DAA4D;IAC5D,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;;GAEG;AACH,SAAS,2BAA2B,CAChC,YAA0B,EAC1B,MAA0B;IAE1B,IAAI,CAAC,yBAAyB,CAAC,YAAY,CAAC;QAAE,OAAO;IAErD,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEjE,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,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;;GAEG;AACH,SAAS,oBAAoB,CACzB,YAA0B,EAC1B,MAA0B;IAE1B,IAAI,CAAC,yBAAyB,CAAC,YAAY,CAAC;QAAE,OAAO;IAErD,gEAAgE;IAChE,MAAM,WAAW,GAAG,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvE,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;IAED,+DAA+D;IAC/D,MAAM,UAAU,GAAG,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACrE,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;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,iCAAiC,CACtC,YAA0B,EAC1B,MAA0B;IAE1B,IAAI,CAAC,yBAAyB,CAAC,YAAY,CAAC;QAAE,OAAO;IAErD,gDAAgD;IAChD,yDAAyD;IACzD,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,OAAO,EACV,kBAAkB,CAAC,sBAAsB,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,EACtF,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAClI,CAAC;QACN,CAAC;QACD,IAAI,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,OAAO,EACV,kBAAkB,CAAC,sBAAsB,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,EACpF,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CACjI,CAAC;QACN,CAAC;IACL,CAAC;IAED,gDAAgD;IAChD,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,OAAO,EACV,kBAAkB,CAAC,sBAAsB,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,EACpF,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CACjI,CAAC;QACN,CAAC;QACD,IAAI,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,OAAO,EACV,kBAAkB,CAAC,sBAAsB,CAAC,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,EACtF,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAClI,CAAC;QACN,CAAC;IACL,CAAC;IAED,wGAAwG;IACxG,IAAI,YAAY,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,CAAC,GAAG,YAAY,CAAC,YAAY,EAAE,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;QAClF,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,OAAO,EACV,kHAAkH,EAClH,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAChM,CAAC;QACN,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,OAAO,EACV,kHAAkH,EAClH,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CAChM,CAAC;QACN,CAAC;IACL,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CACzB,YAA0B,EAC1B,MAA0B;IAE1B,IAAI,CAAC,yBAAyB,CAAC,YAAY,CAAC;QAAE,OAAO;IAErD,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC;IACnD,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC;IAErD,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;;GAEG;AACH,SAAS,qBAAqB,CAC1B,YAA0B,EAC1B,MAA0B;IAE1B,IAAI,CAAC,uBAAuB,CAAC,YAAY,CAAC;QAAE,OAAO;IAEnD,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAErD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,CAAC,SAAS,EACZ,kBAAkB,CAAC,2BAA2B,CAAC,QAAQ,CAAC,EACxD,EAAE,IAAI,EAAE,YAAY,EAAE,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,CAAC,EAAE,CACvG,CAAC;IACN,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA4E;IACvG,oBAAoB;IACpB,2BAA2B;IAC3B,oBAAoB;IACpB,iCAAiC;IACjC,oBAAoB;IACpB,qBAAqB;CACxB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@domainlang/language",
-    "version": "0.11.0",
+    "version": "0.13.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/ast-augmentation.ts

@@ -1,5 +1,10 @@
 declare module './generated/ast.js' {
-    interface Relationship {
-        inferredType?: string;
+    interface DirectionalRelationship {
+        /** SDK-inferred relationship kind based on patterns and arrow */
+        inferredKind?: string;
+    }
+    interface SymmetricRelationship {
+        /** SDK-inferred relationship kind from pattern or >< arrow */
+        inferredKind?: string;
     }
 }

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

@@ -0,0 +1,513 @@
+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, RelationshipView } from '../sdk/types.js';
+import { isBigBallOfMud } from '../generated/ast.js';
+import type { BoundedContext, ContextMap, Model, Relationship, SidePattern } 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',
+    Supplier: 'S',
+    Customer: 'C',
+    BigBallOfMud: 'BBoM',
+    SharedKernel: 'SK',
+    Partnership: 'P',
+    SeparateWays: 'SW',
+};
+
+/**
+ * Returns the abbreviated form of a side pattern AST node.
+ *
+ * Maps the `$type` (e.g. `OpenHostService`, `Conformist`) to its standard
+ * DDD abbreviation (e.g. `OHS`, `CF`).  Unknown types are returned as-is.
+ */
+function normalizePatternNode(pattern: SidePattern): string {
+    return PATTERN_ABBREVIATIONS[pattern.$type] ?? pattern.$type;
+}
+
+/**
+ * Returns `true` when the side 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 isBBoMSidePattern(pattern: SidePattern): boolean {
+    return isBigBallOfMud(pattern);
+}
+
+interface DiagramSelection {
+    selectedContextMapFqn?: string;
+    selectedContextMapName?: string;
+}
+
+interface RelationshipEdgeParams {
+    leftNode: SNode;
+    rightNode: SNode;
+    relationship: RelationshipView;
+}
+
+/**
+ * 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.type === 'directional') {
+                if (rel.left.patterns.some(isBBoMSidePattern)) {
+                    bboMNodeKeys.add(this.getNodeKey(query, rel.left.context));
+                }
+                if (rel.right.patterns.some(isBBoMSidePattern)) {
+                    bboMNodeKeys.add(this.getNodeKey(query, rel.right.context));
+                }
+            }
+        }
+
+        const nodeMap = new Map<string, SNode>();
+        this.collectContextMapNodes(selectedMap, query, nodeMap, bboMNodeKeys, args);
+
+        for (const relationship of relationships) {
+            this.ensureNode(nodeMap, query, relationship.left.context, bboMNodeKeys, args);
+            this.ensureNode(nodeMap, query, relationship.right.context, bboMNodeKeys, args);
+        }
+
+        const edges = relationships.flatMap((relationship) => {
+            const leftKey = this.getNodeKey(query, relationship.left.context);
+            const rightKey = this.getNodeKey(query, relationship.right.context);
+            const leftNode = nodeMap.get(leftKey);
+            const rightNode = nodeMap.get(rightKey);
+
+            if (!leftNode || !rightNode) {
+                return [];
+            }
+
+            return this.createRelationshipEdge({
+                leftNode,
+                rightNode,
+                relationship,
+            }, 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, relationship } = params;
+        const astNode = relationship.astNode;
+
+        if (relationship.type === 'symmetric') {
+            return this.createSymmetricEdge(leftNode, rightNode, relationship.kind, astNode, args);
+        }
+
+        // Directional
+        const { arrow, kind, left, right } = relationship;
+
+        // Determine source/target nodes 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 (kind === 'Bidirectional') {
+            // No upstream/downstream roles — show patterns positionally
+            this.addUDBadge(children, edgeId, 'source', left.patterns, undefined, args);
+            this.addUDBadge(children, edgeId, 'target', right.patterns, undefined, args);
+        } else {
+            // Upstream/downstream or Customer/Supplier
+            const sourcePatterns = arrow === '<-' ? right.patterns : left.patterns;
+            const targetPatterns = arrow === '<-' ? left.patterns : right.patterns;
+            const sourceRole: 'U' | 'D' | 'S' | 'C' = kind === 'CustomerSupplier' ? 'S' : 'U';
+            const targetRole: 'U' | 'D' | 'S' | 'C' = kind === 'CustomerSupplier' ? 'C' : 'D';
+            this.addUDBadge(children, edgeId, 'source', sourcePatterns, sourceRole, args);
+            this.addUDBadge(children, edgeId, 'target', targetPatterns, targetRole, args);
+        }
+
+        // Center label: relationship kind
+        const centerLabel = this.formatRelationshipKind(kind);
+        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 = ['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];
+    }
+
+    /**
+     * Creates an undirected edge for symmetric relationships (SK, P, SW).
+     *
+     * Symmetric relationships have no upstream/downstream directionality.
+     * The center label shows the relationship kind (e.g. "Shared Kernel").
+     */
+    private createSymmetricEdge(
+        leftNode: SNode,
+        rightNode: SNode,
+        kind: string | undefined,
+        astNode: Relationship,
+        args: GeneratorContext
+    ): SEdge[] {
+        const edgeId = args.idCache.uniqueId(
+            `edge:${leftNode.id}:${rightNode.id}`,
+            astNode
+        );
+
+        const children: SModelElement[] = [];
+
+        const centerLabel = this.formatRelationshipKind(kind);
+        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 (kind === 'SeparateWays') {
+            edgeCssClasses = ['separate-ways'];
+        } else if (kind === 'Partnership') {
+            edgeCssClasses = ['partnership'];
+        } else if (kind === 'SharedKernel') {
+            edgeCssClasses = ['shared-kernel'];
+        }
+
+        const edge: SEdge = {
+            type: 'edge',
+            id: edgeId,
+            sourceId: leftNode.id,
+            targetId: rightNode.id,
+            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 SidePattern[],
+        role: 'U' | 'D' | 'S' | 'C' | undefined,
+        args: GeneratorContext
+    ): void {
+        // Normalise pattern names and strip BBoM (shown on node, not in badge).
+        // Also strip Supplier/Customer when they are already expressed as the role letter
+        // to prevent duplicate annotations like "S S" or "C C".
+        const badgePatterns = patterns
+            .filter((p) => !isBBoMSidePattern(p))
+            .filter((p) => !(role === 'S' && p.$type === 'Supplier'))
+            .filter((p) => !(role === 'C' && p.$type === 'Customer'))
+            .map(normalizePatternNode);
+
+        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 formatRelationshipKind(kind: string | undefined): string | undefined {
+        if (!kind) return undefined;
+        return this.displayRelationshipKind(kind);
+    }
+
+    private displayRelationshipKind(kind: string): string | undefined {
+        switch (kind) {
+            // Directional kinds are already conveyed by U/D and C/S role badges — no center label needed
+            case 'CustomerSupplier': return undefined;
+            case 'UpstreamDownstream': return undefined;
+            // Symmetric and bidirectional kinds have no role badges, so label them explicitly
+            case 'SharedKernel': return 'Shared Kernel';
+            case 'SeparateWays': return 'Separate Ways';
+            case 'Partnership': return 'Partnership';
+            default: return kind;
+        }
+    }
+
+    // ── 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];
+    }
+}

package/src/diagram/context-map-layout-configurator.ts

@@ -0,0 +1,43 @@
+import type { LayoutOptions } from 'elkjs/lib/elk-api.js';
+import { DefaultLayoutConfigurator } from 'sprotty-elk/lib/elk-layout.js';
+import type { SGraph, SNode, SModelIndex, SEdge } from 'sprotty-protocol';
+
+/**
+ * ELK layout configurator for DomainLang context map diagrams.
+ *
+ * Uses the `layered` algorithm with **DOWN** direction (top-to-bottom) so
+ * upstream contexts appear above downstream contexts, matching the conventional
+ * DDD Context Map layout direction.
+ */
+export class ContextMapLayoutConfigurator extends DefaultLayoutConfigurator {
+    protected override graphOptions(_graph: SGraph, _index: SModelIndex): LayoutOptions {
+        return {
+            'elk.algorithm': 'layered',
+            'elk.direction': 'DOWN',
+            'elk.layered.nodePlacement.strategy': 'BRANDES_KOEPF',
+            'elk.spacing.nodeNode': '100',
+            'elk.layered.spacing.nodeNodeBetweenLayers': '140',
+            'elk.spacing.edgeNode': '60',
+            'elk.spacing.edgeEdge': '40',
+            // Edge routing mode is irrelevant — the webview SmoothBezierEdgeView
+            // ignores ELK routing points and computes dynamic bezier curves
+            // anchored directly to node ellipses with obstacle avoidance.
+            'elk.edgeRouting': 'POLYLINE',
+            'elk.layered.mergeEdges': 'false',
+            'elk.layered.crossingMinimization.strategy': 'LAYER_SWEEP',
+            'elk.layered.thoroughness': '7',
+        };
+    }
+
+    protected override nodeOptions(_node: SNode, _index: SModelIndex): LayoutOptions {
+        return {
+            'elk.layered.nodePlacement.bk.fixedAlignment': 'BALANCED',
+        };
+    }
+
+    protected override edgeOptions(_edge: SEdge, _index: SModelIndex): LayoutOptions {
+        return {
+            'elk.layered.priority.direction': '1',
+        };
+    }
+}