@fornari-lanza/domain-design-language-language 0.0.1

package/README.md

@@ -0,0 +1,24 @@
+# The mandatory language package
+
+As a good entry point to our documentation, please use to this [guide](https://langium.org/docs/learn/workflow/write_grammar/).
+
+## What's in the folder?
+
+- [package.json](./package.json) - The manifest file of your language package.
+- [tsconfig.json](./tsconfig.json) - The packages specific TypeScript compiler configuration extending the [base config](../../tsconfig.json)
+- [src/domain-design-language.langium](src/domain-design-language.langium) -  The grammar definition of your language
+- [src/domain-design-language-module.ts](src/domain-design-language-module.ts) - The dependency injection module of your language implementation. Use this to register overridden and added services.
+- [src/domain-design-language-validator.ts](src/domain-design-language-validator.ts) - An example validator. You should change it to reflect the semantics of your language.
+- [src/generated/ast.ts](src/generated/ast.ts) - AST generated by `langium generate`.
+- [src/generated/grammar.ts](src/generated/grammar.ts) - Grammar generated by `langium generate`.
+- [src/generated/module.ts](src/generated/module.ts) - Module generated by `langium generate`.
+- [src/syntaxes/domain-design-language.monarch.ts](src/syntaxes/domain-design-language.monarch.ts) - Monarch based syntax highlighting instructions.
+- [syntaxes/domain-design-language.tmLanguage.json](syntaxes/domain-design-language.tmLanguage.json) - Textmate based syntax highlighting instructions.
+- [src/index.ts](src/index.ts) Defines what is exported to other packages.
+
+If you selected the test option as well, then the following files will be present in addition:
+
+- [tsconfig.test.json](./tsconfig.test.json) - The package specific TypeScript compiler configuration for the unit tests extending the [tsconfig.src.config](./tsconfig.src.json)
+- [test/linking.test.ts](test/linking.test.ts) - Unit tests checking linking.
+- [test/parsing.test.ts](test/parsing.test.ts) - Unit tests regarding parsing.
+- [test/validating.test.ts](test/validating.test.ts) - Unit tests regarding validation.

package/out/domain-design-language-formatter.d.ts

@@ -0,0 +1,5 @@
+import type { AstNode } from 'langium';
+import { AbstractFormatter } from 'langium/lsp';
+export declare class DomainDesignLanguageFormatter extends AbstractFormatter {
+    protected format(node: AstNode): void;
+}

package/out/domain-design-language-formatter.js

@@ -0,0 +1,197 @@
+import { AbstractFormatter, Formatting } from 'langium/lsp';
+import * as ast from './generated/ast.js';
+export class DomainDesignLanguageFormatter extends AbstractFormatter {
+    format(node) {
+        const formatter = this.getNodeFormatter(node);
+        const bracesOpen = formatter.keyword('{');
+        const bracesClose = formatter.keyword('}');
+        const bracketsOpen = formatter.keyword('[');
+        const bracketsClose = formatter.keyword(']');
+        const parenthesisOpen = formatter.keyword('(');
+        const parenthesisClose = formatter.keyword(')');
+        const comma = formatter.keyword(',');
+        bracesOpen.append(Formatting.newLine()).prepend(Formatting.oneSpace());
+        bracesClose.surround(Formatting.newLine());
+        bracketsOpen.append(Formatting.noSpace());
+        bracketsClose.prepend(Formatting.noSpace());
+        parenthesisOpen.append(Formatting.noSpace());
+        parenthesisClose.prepend(Formatting.noSpace());
+        comma.append(Formatting.oneSpace()).prepend(Formatting.noSpace());
+        if (ast.isDomainModel(node)) {
+            const nodes = formatter.nodes(...(node.boundedContext ? [node.boundedContext] : []), ...(node.contextMap ? [node.contextMap] : []));
+            nodes.append(Formatting.noIndent());
+        }
+        else if (ast.isBoundedContext(node)) {
+            formatter
+                .properties('ubiquitousLanguage', 'aggregates', 'domainServices', 'ports', 'commands', 'eventStorming')
+                .prepend(Formatting.indent());
+            formatter.property('description').prepend(Formatting.indent());
+        }
+        else if (ast.isUbiquitousLanguageDeclaration(node)) {
+            formatter.properties('terms').prepend(Formatting.indent());
+        }
+        else if (ast.isTerm(node)) {
+            formatter
+                .keywords('definition:', 'aliases:')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+        }
+        else if (ast.isContextMap(node)) {
+            formatter.keyword('ContextMap').append(Formatting.oneSpace());
+            formatter.properties('relationships').prepend(Formatting.indent());
+        }
+        else if (ast.isAsymmetricRelationship(node)) {
+            formatter
+                .keywords('upstream:', 'downstream:')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+            formatter
+                .properties('customerSupplier', 'description')
+                .prepend(Formatting.indent());
+        }
+        else if (ast.isSymmetricRelationship(node)) {
+            formatter.keyword('Relationship').append(Formatting.oneSpace());
+            formatter
+                .keywords('between')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+            formatter.keyword('and').surround(Formatting.oneSpace());
+            formatter.properties('type', 'description').prepend(Formatting.indent());
+        }
+        else if (ast.isAggregateRoot(node)) {
+            formatter.keyword('AggregateRoot').append(Formatting.oneSpace());
+            formatter
+                .keywords('enforcedInvariants:', 'correctivePolicies:')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+            formatter
+                .properties('id', 'attributes', 'events', 'description', 'methods', 'exceptions')
+                .prepend(Formatting.indent());
+        }
+        else if (ast.isUID(node)) {
+            formatter
+                .keywords('type:', 'enforcedInvariants:')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+        }
+        else if (ast.isValueObject(node)) {
+            formatter.keyword('ValueObject').append(Formatting.oneSpace());
+            formatter
+                .properties('attributes', 'description')
+                .prepend(Formatting.indent());
+            formatter
+                .keywords('enforcedInvariants:')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+        }
+        else if (ast.isPrimitiveAttribute(node) || ast.isDomainAttribute(node)) {
+            formatter
+                .keyword(':')
+                .append(Formatting.oneSpace())
+                .prepend(Formatting.noSpace());
+            formatter.properties('many', 'optional').append(Formatting.oneSpace());
+        }
+        else if (ast.isAggregateAttribute(node) || ast.isEntityAttribute(node)) {
+            formatter.properties('many', 'optional').append(Formatting.oneSpace());
+        }
+        else if (ast.isEntity(node)) {
+            formatter.keyword('Entity').append(Formatting.oneSpace());
+            formatter.properties('id', 'attributes').prepend(Formatting.indent());
+            formatter.property('description').prepend(Formatting.indent());
+        }
+        else if (ast.isDomainEventsDeclaration(node)) {
+            formatter.properties('events').prepend(Formatting.indent());
+            formatter.keyword('DomainEvents').append(Formatting.oneSpace());
+        }
+        else if (ast.isDomainEvent(node)) {
+            formatter.property('name').append(Formatting.oneSpace());
+            formatter.property('description').prepend(Formatting.indent());
+            formatter.property('payload').prepend(Formatting.indent());
+        }
+        else if (ast.isPayload(node)) {
+            formatter.properties('attributes').prepend(Formatting.indent());
+        }
+        else if (ast.isDomainService(node) || ast.isCommand(node)) {
+            formatter.property('name').prepend(Formatting.oneSpace());
+            formatter.property('description').prepend(Formatting.indent());
+            formatter
+                .keywords('type:', 'uses', 'emits', 'dependencies:')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+            formatter.properties('input', 'response').prepend(Formatting.indent());
+        }
+        else if (ast.isDomainServiceInput(node) ||
+            ast.isDomainServiceResponse(node) ||
+            ast.isInputDTO(node) ||
+            ast.isResponseDTO(node)) {
+            formatter.properties('attributes').prepend(Formatting.indent());
+        }
+        else if (ast.isPort(node)) {
+            formatter.keyword('Port').append(Formatting.oneSpace());
+            formatter.property('description').prepend(Formatting.indent());
+        }
+        else if (ast.isEventStormingDeclaration(node)) {
+            formatter.keyword('EventStorming').append(Formatting.oneSpace());
+            formatter.properties('elements', 'flows').prepend(Formatting.indent());
+        }
+        else if (ast.isEventStormingElement(node)) {
+            formatter.property('name').surround(Formatting.oneSpace());
+            formatter.property('description').prepend(Formatting.indent());
+        }
+        else if (ast.isProcessFlow(node)) {
+            formatter.keyword('ProcessFlow').append(Formatting.oneSpace());
+            formatter.property('description').prepend(Formatting.indent());
+            formatter
+                .properties('given', 'command', 'reactions')
+                .prepend(Formatting.indent());
+        }
+        else if (ast.isGivenStep(node)) {
+            formatter.keyword('given').append(Formatting.oneSpace());
+            formatter.keyword('views').surround(Formatting.oneSpace());
+        }
+        else if (ast.isActorCommandStep(node)) {
+            formatter.keyword('issues').surround(Formatting.oneSpace());
+        }
+        else if (ast.isReactionStep(node)) {
+            formatter.keywords('on').append(Formatting.oneSpace());
+            formatter.keyword('then').surround(Formatting.oneSpace());
+            formatter.properties('outcomes').prepend(Formatting.indent());
+        }
+        else if (ast.isProjection(node)) {
+            formatter.keyword('projects').append(Formatting.oneSpace());
+            formatter.keywords('to', 'hotspot').surround(Formatting.oneSpace());
+        }
+        else if (ast.isPolicyTrigger(node)) {
+            formatter.keyword('triggers').append(Formatting.oneSpace());
+            formatter.keyword('hotspot').prepend(Formatting.indent());
+        }
+        else if (ast.isPolicy(node)) {
+            formatter.keyword('Policy').append(Formatting.oneSpace());
+            formatter.property('description').prepend(Formatting.indent());
+            formatter
+                .keywords('invokes')
+                .prepend(Formatting.indent())
+                .append(Formatting.oneSpace());
+            formatter.keywords('on').surround(Formatting.oneSpace());
+        }
+        else if (ast.isMethod(node)) {
+            formatter.property('name').append(Formatting.noSpace());
+            formatter.keywords('(', ')').surround(Formatting.noSpace());
+            formatter
+                .properties('description')
+                .prepend(Formatting.indent());
+        }
+        else if (ast.isMethodsDeclaration(node)) {
+            formatter.properties('methods').prepend(Formatting.indent());
+            formatter.keyword('Methods').append(Formatting.oneSpace());
+        }
+        else if (ast.isExceptionsDeclaration(node)) {
+            formatter.properties('exceptions').prepend(Formatting.indent());
+            formatter.keyword('DomainExceptions').append(Formatting.oneSpace());
+        }
+        else if (ast.isDomainException(node)) {
+            formatter.property('name').append(Formatting.oneSpace());
+        }
+    }
+}
+//# sourceMappingURL=domain-design-language-formatter.js.map

package/out/domain-design-language-formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-design-language-formatter.js","sourceRoot":"","sources":["../src/domain-design-language-formatter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,GAAG,MAAM,oBAAoB,CAAC;AAE1C,MAAM,OAAO,6BAA8B,SAAQ,iBAAiB;IACxD,MAAM,CAAC,IAAa;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,eAAe,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACrC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvE,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3C,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1C,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5C,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7C,gBAAgB,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/C,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAClE,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAC3B,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACrD,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC9C,CAAC;YACF,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,SAAS;iBACN,UAAU,CACT,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,EAChB,OAAO,EACP,UAAU,EACV,eAAe,CAChB;iBACA,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAChC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,GAAG,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,SAAS;iBACN,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC;iBACnC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC9D,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACrE,CAAC;aAAM,IAAI,GAAG,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,SAAS;iBACN,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;iBACpC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjC,SAAS;iBACN,UAAU,CAAC,kBAAkB,EAAE,aAAa,CAAC;iBAC7C,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAChE,SAAS;iBACN,QAAQ,CAAC,SAAS,CAAC;iBACnB,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACzD,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;aAAM,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjE,SAAS;iBACN,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;iBACtD,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjC,SAAS;iBACN,UAAU,CACT,IAAI,EACJ,YAAY,EACZ,QAAQ,EACR,aAAa,EACb,SAAS,EACT,YAAY,CACb;iBACA,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,SAAS;iBACN,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC;iBACxC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC/D,SAAS;iBACN,UAAU,CAAC,YAAY,EAAE,aAAa,CAAC;iBACvC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAChC,SAAS;iBACN,QAAQ,CAAC,qBAAqB,CAAC;iBAC/B,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,SAAS;iBACN,OAAO,CAAC,GAAG,CAAC;iBACZ,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;iBAC7B,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;YACjC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzE,CAAC;aAAM,IAAI,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzE,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1D,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YACtE,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,GAAG,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACzD,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/D,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1D,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/D,SAAS;iBACN,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC;iBACnD,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjC,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACzE,CAAC;aAAM,IACL,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC9B,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC;YACjC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YACpB,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACxD,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,GAAG,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjE,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACzE,CAAC;aAAM,IAAI,GAAG,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC3D,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC/D,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/D,SAAS;iBACN,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC;iBAC3C,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACzD,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACvD,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1D,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAChE,CAAC;aAAM,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC5D,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtE,CAAC;aAAM,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC5D,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1D,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/D,SAAS;iBACN,QAAQ,CAAC,SAAS,CAAC;iBACnB,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;iBAC5B,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3D,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;YACxD,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5D,SAAS;iBACN,UAAU,CAAC,aAAa,CAAC;iBACzB,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7D,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAChE,SAAS,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtE,CAAC;aAAM,IAAI,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;CACF"}

package/out/domain-design-language-module.d.ts

@@ -0,0 +1,41 @@
+import { type Module } from 'langium';
+import { type DefaultSharedModuleContext, type LangiumServices, type LangiumSharedServices, type PartialLangiumServices } from 'langium/lsp';
+import { DomainDesignLanguageValidator } from './domain-design-language-validator.js';
+/**
+ * Declaration of custom services - add your own service classes here.
+ */
+export type DomainDesignLanguageAddedServices = {
+    validation: {
+        DomainDesignLanguageValidator: DomainDesignLanguageValidator;
+    };
+};
+/**
+ * Union of Langium default services and your custom services - use this as constructor parameter
+ * of custom service classes.
+ */
+export type DomainDesignLanguageServices = LangiumServices & DomainDesignLanguageAddedServices;
+/**
+ * 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 declare const DomainDesignLanguageModule: Module<DomainDesignLanguageServices, PartialLangiumServices & DomainDesignLanguageAddedServices>;
+/**
+ * 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 declare function createDomainDesignLanguageServices(context: DefaultSharedModuleContext): {
+    shared: LangiumSharedServices;
+    DomainDesignLanguage: DomainDesignLanguageServices;
+};

package/out/domain-design-language-module.js

@@ -0,0 +1,50 @@
+import { inject } from 'langium';
+import { createDefaultModule, createDefaultSharedModule, } from 'langium/lsp';
+import { DomainDesignLanguageGeneratedModule, DomainDesignLanguageGeneratedSharedModule, } from './generated/module.js';
+import { DomainDesignLanguageValidator, registerValidationChecks, } from './domain-design-language-validator.js';
+import { DomainDesignLanguageFormatter } from './domain-design-language-formatter.js';
+import { DomainDesignLanguageScopeProvider } from './domain-design-language-scope.js';
+/**
+ * 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 DomainDesignLanguageModule = {
+    validation: {
+        DomainDesignLanguageValidator: () => new DomainDesignLanguageValidator(),
+    },
+    lsp: {
+        Formatter: () => new DomainDesignLanguageFormatter(),
+    },
+    references: {
+        ScopeProvider: (services) => new DomainDesignLanguageScopeProvider(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 createDomainDesignLanguageServices(context) {
+    const shared = inject(createDefaultSharedModule(context), DomainDesignLanguageGeneratedSharedModule);
+    const DomainDesignLanguage = inject(createDefaultModule({ shared }), DomainDesignLanguageGeneratedModule, DomainDesignLanguageModule);
+    shared.ServiceRegistry.register(DomainDesignLanguage);
+    registerValidationChecks(DomainDesignLanguage);
+    if (!context.connection) {
+        // We don't run inside a language server
+        // Therefore, initialize the configuration provider instantly
+        shared.workspace.ConfigurationProvider.initialized({});
+    }
+    return { shared, DomainDesignLanguage };
+}
+//# sourceMappingURL=domain-design-language-module.js.map

package/out/domain-design-language-module.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-design-language-module.js","sourceRoot":"","sources":["../src/domain-design-language-module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EACL,mBAAmB,EACnB,yBAAyB,GAK1B,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,mCAAmC,EACnC,yCAAyC,GAC1C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AACtF,OAAO,EAAE,iCAAiC,EAAE,MAAM,mCAAmC,CAAC;AAkBtF;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAGnC;IACF,UAAU,EAAE;QACV,6BAA6B,EAAE,GAAG,EAAE,CAAC,IAAI,6BAA6B,EAAE;KACzE;IACD,GAAG,EAAE;QACH,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,6BAA6B,EAAE;KACrD;IACD,UAAU,EAAE;QACV,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC1B,IAAI,iCAAiC,CAAC,QAAQ,CAAC;KAClD;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kCAAkC,CAChD,OAAmC;IAKnC,MAAM,MAAM,GAAG,MAAM,CACnB,yBAAyB,CAAC,OAAO,CAAC,EAClC,yCAAyC,CAC1C,CAAC;IACF,MAAM,oBAAoB,GAAG,MAAM,CACjC,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC,EAC/B,mCAAmC,EACnC,0BAA0B,CAC3B,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IACtD,wBAAwB,CAAC,oBAAoB,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACxB,wCAAwC;QACxC,6DAA6D;QAC7D,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;AAC1C,CAAC"}

package/out/domain-design-language-scope.d.ts

@@ -0,0 +1,8 @@
+import { DefaultScopeProvider, ReferenceInfo, Scope } from 'langium';
+export declare class DomainDesignLanguageScopeProvider extends DefaultScopeProvider {
+    getScope(context: ReferenceInfo): Scope;
+    private searchParent;
+    private getBoundedContextsFromGlobalScope;
+    private getScopeForDomainAttribute;
+    private getScopeForDomainEvents;
+}

package/out/domain-design-language-scope.js

@@ -0,0 +1,79 @@
+import { DefaultScopeProvider, URI, } from 'langium';
+import { isCommand, isAsymmetricRelationship, isBoundedContext, isDomainAttribute, isEntity, isPolicyTrigger, isProcessFlow, isReactionStep, isSymmetricRelationship, isValueObject, } from './generated/ast.js';
+import { glob } from 'glob';
+export class DomainDesignLanguageScopeProvider extends DefaultScopeProvider {
+    getScope(context) {
+        if (isDomainAttribute(context.container) && context.property === 'type')
+            return this.getScopeForDomainAttribute(context);
+        if ((isCommand(context.container) && context.property === 'events') ||
+            (isReactionStep(context.container) && context.property === 'trigger'))
+            return this.getScopeForDomainEvents(context);
+        if (isAsymmetricRelationship(context.container) &&
+            (context.property === 'upstream' || context.property === 'downstream'))
+            return this.getBoundedContextsFromGlobalScope();
+        if (isSymmetricRelationship(context.container) &&
+            (context.property === 'participant1' ||
+                context.property === 'participant2'))
+            return this.getBoundedContextsFromGlobalScope();
+        return super.getScope(context);
+    }
+    searchParent(context, predicate) {
+        let node = context.container;
+        while (node.$container && !predicate(node))
+            node = node.$container;
+        return predicate(node) ? node : undefined;
+    }
+    getBoundedContextsFromGlobalScope() {
+        const files = glob.sync('./boundedContexts/*.ddd', { absolute: true });
+        const uris = new Set();
+        for (const filePath of files)
+            uris.add(URI.file(filePath).toString());
+        const astNodeDescriptions = this.indexManager
+            .allElements('BoundedContext', uris)
+            .toArray();
+        return this.createScope(astNodeDescriptions);
+    }
+    getScopeForDomainAttribute(context) {
+        const boundedContext = this.searchParent(context, isBoundedContext);
+        const validReferences = new Set();
+        if (boundedContext) {
+            boundedContext.aggregates.forEach((aggregate) => {
+                validReferences.add(this.descriptions.createDescription(aggregate, aggregate.name));
+                aggregate.attributes.forEach((attr) => {
+                    if (isValueObject(attr.type) || isEntity(attr.type))
+                        validReferences.add(this.descriptions.createDescription(attr.type, `${aggregate.name}.${attr.type.name}`));
+                });
+            });
+        }
+        return this.createScope(validReferences);
+    }
+    getScopeForDomainEvents(context) {
+        const validReferences = new Set();
+        if (isReactionStep(context.container)) {
+            const isFirstReactionStep = context.container.$containerIndex === 0;
+            const flow = this.searchParent(context, isProcessFlow);
+            const events = [];
+            if (isFirstReactionStep) {
+                events.push(...(flow?.command.command.ref?.events.map((e) => e.ref) ?? []).filter((e) => !!e));
+            }
+            else {
+                const policyEvents = flow?.reactions[(context.container.$containerIndex ?? 1) - 1].outcomes.flatMap((o) => isPolicyTrigger(o) && o.policy.command.ref?.events
+                    ? o.policy.command.ref?.events
+                        .map((e) => e.ref)
+                        .filter((e) => !!e)
+                    : []) ?? [];
+                events.push(...policyEvents);
+            }
+            events.forEach((event) => {
+                validReferences.add(this.descriptions.createDescription(event, event.name));
+            });
+        }
+        else if (isCommand(context.container)) {
+            context.container.aggregate.ref?.events?.events.forEach((event) => {
+                validReferences.add(this.descriptions.createDescription(event, event.name));
+            });
+        }
+        return this.createScope(validReferences);
+    }
+}
+//# sourceMappingURL=domain-design-language-scope.js.map

package/out/domain-design-language-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-design-language-scope.js","sourceRoot":"","sources":["../src/domain-design-language-scope.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,oBAAoB,EAGpB,GAAG,GACJ,MAAM,SAAS,CAAC;AACjB,OAAO,EAGL,SAAS,EACT,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,QAAQ,EACR,eAAe,EACf,aAAa,EACb,cAAc,EACd,uBAAuB,EACvB,aAAa,GAEd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAE5B,MAAM,OAAO,iCAAkC,SAAQ,oBAAoB;IAChE,QAAQ,CAAC,OAAsB;QACtC,IAAI,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,KAAK,MAAM;YACrE,OAAO,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC;QAClD,IACE,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC;YAC/D,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC;YAErE,OAAO,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC/C,IACE,wBAAwB,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3C,CAAC,OAAO,CAAC,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,QAAQ,KAAK,YAAY,CAAC;YAEtE,OAAO,IAAI,CAAC,iCAAiC,EAAE,CAAC;QAClD,IACE,uBAAuB,CAAC,OAAO,CAAC,SAAS,CAAC;YAC1C,CAAC,OAAO,CAAC,QAAQ,KAAK,cAAc;gBAClC,OAAO,CAAC,QAAQ,KAAK,cAAc,CAAC;YAEtC,OAAO,IAAI,CAAC,iCAAiC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;IAEO,YAAY,CAClB,OAAsB,EACtB,SAAqC;QAErC,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC;QAC7B,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACnE,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,IAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,CAAC;IAEO,iCAAiC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtE,MAAM,mBAAmB,GAAG,IAAI,CAAC,YAAY;aAC1C,WAAW,CAAC,gBAAgB,EAAE,IAAI,CAAC;aACnC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC/C,CAAC;IAEO,0BAA0B,CAAC,OAAsB;QACvD,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CACtC,OAAO,EACP,gBAAgB,CACjB,CAAC;QACF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAsB,CAAC;QACtD,IAAI,cAAc,EAAE,CAAC;YACnB,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;gBAC9C,eAAe,CAAC,GAAG,CACjB,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAC/D,CAAC;gBACF,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBACpC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;wBACjD,eAAe,CAAC,GAAG,CACjB,IAAI,CAAC,YAAY,CAAC,iBAAiB,CACjC,IAAI,CAAC,IAAI,EACT,GAAG,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CACtC,CACF,CAAC;gBACN,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IAC3C,CAAC;IAEO,uBAAuB,CAAC,OAAsB;QACpD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAsB,CAAC;QACtD,IAAI,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,MAAM,mBAAmB,GAAG,OAAO,CAAC,SAAS,CAAC,eAAe,KAAK,CAAC,CAAC;YACpE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAc,OAAO,EAAE,aAAa,CAAC,CAAC;YACpE,MAAM,MAAM,GAAkB,EAAE,CAAC;YACjC,IAAI,mBAAmB,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CACT,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACnE,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,CAC7B,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,YAAY,GAChB,IAAI,EAAE,SAAS,CACb,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,IAAI,CAAC,CAAC,GAAG,CAAC,CAC7C,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACvB,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM;oBAChD,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM;yBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;yBACjB,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzC,CAAC,CAAC,EAAE,CACP,IAAI,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;YAC/B,CAAC;YACD,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;gBACvB,eAAe,CAAC,GAAG,CACjB,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CACvD,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;gBAChE,eAAe,CAAC,GAAG,CACjB,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CACvD,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IAC3C,CAAC;CACF"}

package/out/domain-design-language-validator.d.ts

@@ -0,0 +1,39 @@
+import type { AstNode, ValidationAcceptor } from 'langium';
+import { AggregateRoot, Command, AsymmetricRelationship, BoundedContext, DomainEvent, DomainEventsDeclaration, DomainModel, DomainService, Entity, Enum, EventStormingDeclaration, Payload, ProcessFlow, ReactionStep, Relationship, UbiquitousLanguageDeclaration, ValueObject, type ContextMap, MethodsDeclaration, Method, ExceptionsDeclaration } from './generated/ast.js';
+import type { DomainDesignLanguageServices } from './domain-design-language-module.js';
+/**
+ * Register custom validation checks.
+ */
+export declare function registerValidationChecks(services: DomainDesignLanguageServices): void;
+/**
+ * Implementation of custom validations.
+ */
+export declare class DomainDesignLanguageValidator {
+    checkUniquePurpose(model: DomainModel, accept: ValidationAcceptor): void;
+    checkUniqueTerms(ubiquitousLanguage: UbiquitousLanguageDeclaration, accept: ValidationAcceptor): void;
+    checkUniqueAggregates(boundedContext: BoundedContext, accept: ValidationAcceptor): void;
+    checkUniqueDomainServices(boundedContext: BoundedContext, accept: ValidationAcceptor): void;
+    checkUniquePorts(boundedContext: BoundedContext, accept: ValidationAcceptor): void;
+    checkUniqueCommands(boundedContext: BoundedContext, accept: ValidationAcceptor): void;
+    checkUniqueEventStormingElements(eventStormingDeclaration: EventStormingDeclaration, accept: ValidationAcceptor): void;
+    checkUniquePolicies(processFlow: ProcessFlow, accept: ValidationAcceptor): void;
+    checkUniqueOutcomes(step: ReactionStep, accept: ValidationAcceptor): void;
+    checkUniqueDomainEvents(declaration: DomainEventsDeclaration, accept: ValidationAcceptor): void;
+    checkUniqueMethods(declaration: MethodsDeclaration, accept: ValidationAcceptor): void;
+    checkUniqueExceptions(declaration: ExceptionsDeclaration, accept: ValidationAcceptor): void;
+    checkUniqueAttributes(entity: Entity | AggregateRoot, accept: ValidationAcceptor): void;
+    checkUniquePrimitiveAttributes(node: ValueObject | Payload, accept: ValidationAcceptor): void;
+    checkUniqueDtoAttributes(service: DomainService | Command | Method, accept: ValidationAcceptor): void;
+    checkUniqueCommandElements(service: Command, accept: ValidationAcceptor): void;
+    checkUniqueRelationships(contextMap: ContextMap, accept: ValidationAcceptor): void;
+    checkSelfRelationships(relationship: Relationship, accept: ValidationAcceptor): void;
+    checkRelationshipRoles(relationship: AsymmetricRelationship, accept: ValidationAcceptor): void;
+    checkUniqueValues(enumDefinition: Enum, accept: ValidationAcceptor): void;
+    checkNameIsInPastTense(event: DomainEvent, accept: ValidationAcceptor): void;
+    checkNameStartsWithCapital(node: AstNode & {
+        name?: string;
+    }, accept: ValidationAcceptor): void;
+    checkNameIsCamelCase(node: AstNode & {
+        name?: string;
+    }, accept: ValidationAcceptor): void;
+}