@ddd-ts-kit/eslint-plugin 0.0.0-stage → 0.1.0

package/dist/rules/context-extractable.js

@@ -0,0 +1,242 @@
+import { ASTUtils, AST_NODE_TYPES, TSESLint } from '@typescript-eslint/utils';
+import { resolveImport } from '../project/resolve-import.js';
+import { calleeName } from '../support/calls/callee-name.js';
+import { declaredRoleOf } from '../support/declarations/declared-role-of.js';
+import { isDeclaredStyle } from '../support/declarations/is-declared-style.js';
+import { defineRule } from '../support/rule/define-rule.js';
+import { propertyName } from '../support/globals/property-name.js';
+import { inContext } from '../support/imports/in-context.js';
+import { staticString } from '../support/imports/static-string.js';
+import { isPortFile } from '../support/ports/is-port-file.js';
+const SCHEMA_HELPERS = new Set(['contextSchema', 'schemaNameOf']);
+const KEBAB = /^[a-z0-9]+(?:-[a-z0-9]+)*$/;
+const SQL = /\b(?:select|insert|update|delete|from|join|into|references)\b/i;
+const IMPORTS = new Set([
+    AST_NODE_TYPES.ImportDeclaration,
+    AST_NODE_TYPES.ExportNamedDeclaration,
+    AST_NODE_TYPES.ExportAllDeclaration,
+    AST_NODE_TYPES.ImportExpression,
+]);
+const CONTAINERS = new Set(['Map', 'Set', 'WeakMap', 'WeakSet', 'Array']);
+const MUTATORS = new Set([
+    'set',
+    'add',
+    'delete',
+    'clear',
+    'push',
+    'pop',
+    'shift',
+    'unshift',
+    'splice',
+    'sort',
+    'reverse',
+    'fill',
+    'copyWithin',
+]);
+const WIRING = new Set(['bind', 'rebind', 'resolve', 'handledBy', 'toClass']);
+const BY_CONTRACT = 'Read what "{{there}}" publishes: keep a projection of your own fed by its integration events, or declare a port in application/ports whose adapter calls it and could be remote tomorrow.';
+export const contextExtractable = defineRule({
+    id: 'context/extractable',
+    type: 'problem',
+    recommended: 'error',
+    description: 'A context can run alone: it reads no table of another context, exports no shared mutable state and wires no port or adapter that belongs to another context.',
+    messages: {
+        foreignSchema: `"{{here}}" opens the database schema of "{{there}}": the two contexts could no longer be deployed apart. ${BY_CONTRACT}`,
+        foreignTable: `This statement of "{{here}}" names a table of the schema of "{{there}}": a join or a foreign key across contexts cannot survive an extraction. ${BY_CONTRACT}`,
+        mutableBinding: '{{name}} is exported with `{{kind}}`: every importer shares one variable that any of them may see change. Export a `const`, and keep state that changes in an adapter bound in {{here}}.module.ts or declared with `@Adapter`.',
+        mutableState: '{{name}} is exported and changed in this file: it is state shared by every importer, lost on restart and invisible to a second instance. Hold it in a class bound in {{here}}.module.ts or declared by its decorator (a repository, a cache behind a port) and export nothing mutable.',
+        foreignWiring: `The module of "{{here}}" wires {{name}}, which belongs to "{{there}}": the context could not start without the other. Bind a port of "{{here}}" to an adapter of its own, or receive the capability from the platform. ${BY_CONTRACT}`,
+        foreignPort: 'This role file of "{{here}}" imports {{name}} from a port file of "{{there}}": a declaration that names a port of another context cannot be wired alone, so "{{here}}" could no longer be extracted. Declare a port of "{{here}}" as an abstract class in application/ports/<need>.port.ts and implement it with a `@Gateway` of "{{here}}" that calls "{{there}}", or receive the capability from the platform.',
+    },
+    create({ file, sourceCode, report }) {
+        const here = inContext(file);
+        if (here === undefined || file.isTest) {
+            return {};
+        }
+        return {
+            ...sharedState(here, sourceCode, report),
+            ...boundaries(file, here, report),
+            ...foreignPorts(file, here, report),
+        };
+    },
+});
+function sharedState(here, sourceCode, tell) {
+    return {
+        ExportNamedDeclaration(node) {
+            if (node.source !== null) {
+                return;
+            }
+            for (const { declarator, kind } of exportedVariables(node, sourceCode)) {
+                const name = sourceCode.getText(declarator.id);
+                if (kind === 'let' || kind === 'var') {
+                    tell({ node: declarator.id, messageId: 'mutableBinding', data: { name, kind, here: here.context } });
+                }
+                else if (isContainer(declarator.init) && isMutated(declarator, sourceCode)) {
+                    tell({ node: declarator.id, messageId: 'mutableState', data: { name, here: here.context } });
+                }
+            }
+        },
+    };
+}
+/** `export const a = ...` and `export { a }` of a variable declared above. */
+function exportedVariables(node, sourceCode) {
+    const { declaration } = node;
+    if (declaration?.type === AST_NODE_TYPES.VariableDeclaration) {
+        return declaration.declarations.map((declarator) => ({ declarator, kind: declaration.kind }));
+    }
+    return node.specifiers.flatMap((specifier) => {
+        const definition = ASTUtils.findVariable(sourceCode.getScope(node), specifier.local.type === AST_NODE_TYPES.Identifier ? specifier.local.name : '')?.defs[0];
+        return definition?.type === TSESLint.Scope.DefinitionType.Variable
+            ? [{ declarator: definition.node, kind: definition.parent.kind }]
+            : [];
+    });
+}
+function isContainer(init) {
+    if (init === null) {
+        return false;
+    }
+    if (init.type === AST_NODE_TYPES.ArrayExpression || init.type === AST_NODE_TYPES.ObjectExpression) {
+        return true;
+    }
+    return init.type === AST_NODE_TYPES.NewExpression && CONTAINERS.has(calleeName(init) ?? '');
+}
+function isMutated(declarator, sourceCode) {
+    return sourceCode
+        .getDeclaredVariables(declarator)
+        .some((variable) => variable.references.some((reference) => mutates(reference.identifier)));
+}
+function mutates(identifier) {
+    const { parent } = identifier;
+    if (parent?.type === AST_NODE_TYPES.CallExpression) {
+        return parent.arguments[0] === identifier && isObjectAssign(parent.callee);
+    }
+    return parent?.type === AST_NODE_TYPES.MemberExpression && parent.object === identifier && changesItsObject(parent);
+}
+/** `x.push(1)`, `x.key = 1`, `x.count++`, `delete x.key`. */
+function changesItsObject(member) {
+    const use = member.parent;
+    if (use.type === AST_NODE_TYPES.CallExpression) {
+        return use.callee === member && MUTATORS.has(propertyName(member) ?? '');
+    }
+    if (use.type === AST_NODE_TYPES.AssignmentExpression) {
+        return use.left === member;
+    }
+    return (use.type === AST_NODE_TYPES.UpdateExpression ||
+        (use.type === AST_NODE_TYPES.UnaryExpression && use.operator === 'delete'));
+}
+function isObjectAssign(callee) {
+    return (callee.type === AST_NODE_TYPES.MemberExpression &&
+        callee.object.type === AST_NODE_TYPES.Identifier &&
+        callee.object.name === 'Object' &&
+        propertyName(callee) === 'assign');
+}
+function boundaries(file, here, tell) {
+    if (here.layer === 'module') {
+        return foreignWiring(file, here, tell);
+    }
+    return here.layer === 'infrastructure' && here.inside[0] === 'persistence' ? foreignData(file, here, tell) : {};
+}
+function foreignData(file, here, tell) {
+    const others = Object.keys(file.config.contexts).filter((context) => context !== here.context && KEBAB.test(context));
+    const schemas = others.map((context) => ({
+        context,
+        qualifier: new RegExp(`(?<![\\w.])"?${context.replaceAll('-', '_')}"?\\.`),
+    }));
+    const statement = (node, text) => {
+        const there = foreignSchemaIn(text, schemas);
+        if (there !== undefined) {
+            tell({ node, messageId: 'foreignTable', data: { here: here.context, there } });
+        }
+    };
+    return {
+        CallExpression(node) {
+            const [name] = node.arguments;
+            const there = SCHEMA_HELPERS.has(calleeName(node) ?? '') && name !== undefined ? staticString(name) : undefined;
+            if (there !== undefined && others.includes(there)) {
+                tell({ node, messageId: 'foreignSchema', data: { here: here.context, there } });
+            }
+        },
+        TemplateLiteral: (node) => statement(node, node.quasis.map((quasi) => quasi.value.cooked ?? '').join('?')),
+        Literal(node) {
+            if (typeof node.value === 'string' && !IMPORTS.has(node.parent.type)) {
+                statement(node, node.value);
+            }
+        },
+    };
+}
+function foreignSchemaIn(text, schemas) {
+    return SQL.test(text) ? schemas.find((schema) => schema.qualifier.test(text))?.context : undefined;
+}
+function foreignWiring(file, here, tell) {
+    const foreign = new Map();
+    return {
+        ImportDeclaration(node) {
+            const target = resolveImport(file.config, file.path, node.source.value);
+            if (target.kind !== 'file' || target.location.area !== 'context') {
+                return;
+            }
+            const there = target.location;
+            if (there.context === here.context || there.layer === 'published-language') {
+                return;
+            }
+            for (const specifier of node.specifiers) {
+                foreign.set(specifier.local.name, there.context);
+            }
+        },
+        CallExpression(node) {
+            if (!WIRING.has(calleeName(node) ?? '')) {
+                return;
+            }
+            for (const wired of node.arguments.flatMap(wiredNames)) {
+                const there = foreign.get(wired.name);
+                if (there !== undefined) {
+                    tell({ node: wired, messageId: 'foreignWiring', data: { here: here.context, there, name: wired.name } });
+                }
+            }
+        },
+    };
+}
+/** `resolve(Port)` and the dependency list of `handledBy(Handler, [Port])`. */
+function wiredNames(argument) {
+    if (argument.type === AST_NODE_TYPES.Identifier) {
+        return [argument];
+    }
+    if (argument.type !== AST_NODE_TYPES.ArrayExpression) {
+        return [];
+    }
+    return argument.elements.filter((element) => element?.type === AST_NODE_TYPES.Identifier);
+}
+/**
+ * In the declared style a role file names the ports it needs next to its decorator: one taken from
+ * a port file of another context (its repositories, its ports) ties the two wirings.
+ */
+function foreignPorts(file, here, tell) {
+    if (!isDeclaredStyle(file) || declaredRoleOf(file) === undefined) {
+        return {};
+    }
+    return {
+        ImportDeclaration(node) {
+            const target = resolveImport(file.config, file.path, node.source.value);
+            if (target.kind !== 'file' || target.location.area !== 'context' || target.location.context === here.context) {
+                return;
+            }
+            const there = target.location.context;
+            const taken = isPortFile(file.config, target.path) ? node.specifiers : [];
+            for (const specifier of taken) {
+                tell({
+                    node: specifier,
+                    messageId: 'foreignPort',
+                    data: { here: here.context, there, name: takenName(specifier) },
+                });
+            }
+        },
+    };
+}
+/** The name the other module exports, whatever it is renamed to locally. */
+function takenName(specifier) {
+    if (specifier.type !== AST_NODE_TYPES.ImportSpecifier) {
+        return specifier.local.name;
+    }
+    return specifier.imported.type === AST_NODE_TYPES.Identifier ? specifier.imported.name : specifier.imported.value;
+}
+//# sourceMappingURL=context-extractable.js.map

package/dist/rules/context-extractable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-extractable.js","sourceRoot":"","sources":["../../src/rules/context-extractable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAiB,MAAM,0BAA0B,CAAC;AAC7F,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAG7D,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,8CAA8C,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAe,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAiB9D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;AAClE,MAAM,KAAK,GAAG,4BAA4B,CAAC;AAC3C,MAAM,GAAG,GAAG,gEAAgE,CAAC;AAE7E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB;IACtC,cAAc,CAAC,iBAAiB;IAChC,cAAc,CAAC,sBAAsB;IACrC,cAAc,CAAC,oBAAoB;IACnC,cAAc,CAAC,gBAAgB;CAChC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;AAE1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,KAAK;IACL,KAAK;IACL,QAAQ;IACR,OAAO;IACP,MAAM;IACN,KAAK;IACL,OAAO;IACP,SAAS;IACT,QAAQ;IACR,MAAM;IACN,SAAS;IACT,MAAM;IACN,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;AAE9E,MAAM,WAAW,GACf,2LAA2L,CAAC;AAE9L,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAY;IACtD,EAAE,EAAE,qBAAqB;IACzB,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,OAAO;IACpB,WAAW,EACT,8JAA8J;IAChK,QAAQ,EAAE;QACR,aAAa,EAAE,4GAA4G,WAAW,EAAE;QACxI,YAAY,EAAE,kJAAkJ,WAAW,EAAE;QAC7K,cAAc,EACZ,gOAAgO;QAClO,YAAY,EACV,wRAAwR;QAC1R,aAAa,EAAE,0NAA0N,WAAW,EAAE;QACtP,WAAW,EACT,kZAAkZ;KACrZ;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAE7B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACtC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO;YACL,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC;YACxC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;YACjC,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;SACpC,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,WAAW,CAAC,IAAqB,EAAE,UAAkB,EAAE,IAAU;IACxE,OAAO;QACL,sBAAsB,CAAC,IAAI;YACzB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBACzB,OAAO;YACT,CAAC;YAED,KAAK,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;gBAE/C,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;oBACrC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACvG,CAAC;qBAAM,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;oBAC7E,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC/F,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,iBAAiB,CAAC,IAAqC,EAAE,UAAkB;IAClF,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAE7B,IAAI,WAAW,EAAE,IAAI,KAAK,cAAc,CAAC,mBAAmB,EAAE,CAAC;QAC7D,OAAO,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChG,CAAC;IAED,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAC3C,MAAM,UAAU,GAAG,QAAQ,CAAC,YAAY,CACtC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzB,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC/E,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAEX,OAAO,UAAU,EAAE,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ;YAChE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjE,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAgC;IACnD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB,EAAE,CAAC;QAClG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,aAAa,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,SAAS,CAAC,UAAuC,EAAE,UAAkB;IAC5E,OAAO,UAAU;SACd,oBAAoB,CAAC,UAAU,CAAC;SAChC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,OAAO,CAAC,UAAyB;IACxC,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAE9B,IAAI,MAAM,EAAE,IAAI,KAAK,cAAc,CAAC,cAAc,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO,MAAM,EAAE,IAAI,KAAK,cAAc,CAAC,gBAAgB,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;AACtH,CAAC;AAED,6DAA6D;AAC7D,SAAS,gBAAgB,CAAC,MAAiC;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAE1B,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,cAAc,EAAE,CAAC;QAC/C,OAAO,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,oBAAoB,EAAE,CAAC;QACrD,OAAO,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC;IAC7B,CAAC;IAED,OAAO,CACL,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;QAC5C,CAAC,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,MAA2B;IACjD,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;QAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;QAChD,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC/B,YAAY,CAAC,MAAM,CAAC,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,IAAqB,EAAE,IAAU;IACrE,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClH,CAAC;AAED,SAAS,WAAW,CAAC,IAAgB,EAAE,IAAqB,EAAE,IAAU;IACtE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAEtH,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACvC,OAAO;QACP,SAAS,EAAE,IAAI,MAAM,CAAC,gBAAgB,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC;KAC3E,CAAC,CAAC,CAAC;IAEJ,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAE,IAAY,EAAQ,EAAE;QAC5D,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC;IAEF,OAAO;QACL,cAAc,CAAC,IAAI;YACjB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAEhH,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1G,OAAO,CAAC,IAAI;YACV,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,OAAiC;IACtE,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACrG,CAAC;AAED,SAAS,aAAa,CAAC,IAAgB,EAAE,IAAqB,EAAE,IAAU;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,OAAO;QACL,iBAAiB,CAAC,IAAI;YACpB,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAExE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjE,OAAO;YACT,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;YAE9B,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;gBAC3E,OAAO;YACT,CAAC;YAED,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,cAAc,CAAC,IAAI;YACjB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACxC,OAAO;YACT,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAEtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC3G,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,QAAyC;IAC3D,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QAChD,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe,EAAE,CAAC;QACrD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,KAAK,cAAc,CAAC,UAAU,CAAC,CAAC;AAC5F,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,IAAgB,EAAE,IAAqB,EAAE,IAAU;IACvE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACjE,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,iBAAiB,CAAC,IAAI;YACpB,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAExE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC7G,OAAO;YACT,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAE1E,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;gBAC9B,IAAI,CAAC;oBACH,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,aAAa;oBACxB,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE;iBAChE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,SAAS,SAAS,CAAC,SAAgC;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;IAC9B,CAAC;IAED,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;AACpH,CAAC"}

package/dist/rules/declarations-role-declared.d.ts

@@ -0,0 +1,5 @@
+import { type TSESLint } from '@typescript-eslint/utils';
+type MessageId = 'undeclared' | 'wrongRole' | 'name' | 'eventName' | 'inDomain';
+export declare const declarationsRoleDeclared: TSESLint.RuleModule<MessageId, [], import("../index.js").RuleDocs, TSESLint.RuleListener>;
+export {};
+//# sourceMappingURL=declarations-role-declared.d.ts.map

package/dist/rules/declarations-role-declared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations-role-declared.d.ts","sourceRoot":"","sources":["../../src/rules/declarations-role-declared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,QAAQ,EAAiB,MAAM,0BAA0B,CAAC;AAsBxF,KAAK,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,UAAU,CAAC;AAGhF,eAAO,MAAM,wBAAwB,2FAgDnC,CAAC"}

package/dist/rules/declarations-role-declared.js

@@ -0,0 +1,142 @@
+import { AST_NODE_TYPES } from '@typescript-eslint/utils';
+import { className } from '../support/classes/class-name.js';
+import { exportedClasses } from '../support/classes/exported-classes.js';
+import { keyName } from '../support/classes/key-name.js';
+import { topLevelClasses } from '../support/classes/top-level-classes.js';
+import { ACCESS_DECORATORS } from '../support/declarations/access-decorators.js';
+import { DECLARATIONS_ENTRY, declarationReader, } from '../support/declarations/declaration-reader.js';
+import { WRITTEN_NAMES } from '../support/declarations/written-names.js';
+import { declaredRoleOf } from '../support/declarations/declared-role-of.js';
+import { isDeclaredStyle } from '../support/declarations/is-declared-style.js';
+import { writtenName } from '../support/declarations/written-name.js';
+import { defineRule } from '../support/rule/define-rule.js';
+import { inContext } from '../support/imports/in-context.js';
+import { staticString } from '../support/imports/static-string.js';
+import { classFinder } from '../support/classes/class-finder.js';
+export const declarationsRoleDeclared = defineRule({
+    id: 'declarations/role-declared',
+    type: 'problem',
+    recommended: 'error',
+    description: 'In a declared-style project, a role file exports a class carrying the decorator of its role, names are written as string literals, and the domain declares nothing.',
+    messages: {
+        undeclared: `This file is a role file of the declared style (\`*.{{suffix}}.ts\` under {{folder}}/) but exports no class carrying \`@{{expected}}\`. Put \`@{{expected}}(...)\` from "${DECLARATIONS_ENTRY}" on the exported class: a class that does not say what it is is in no assembly and is never registered.`,
+        wrongRole: '{{className}} carries `@{{actual}}` in a `*.{{suffix}}.ts` file under {{folder}}/, where a class is declared with `@{{expected}}`. Move the class to the file of its role, or declare it with `@{{expected}}(...)`: the file name, the folder and the decorator say the same thing.',
+        name: "`@{{decorator}}` of {{className}} has a `{{key}}` that is {{problem}}. Write `{ {{key}}: '{{context}}.<name>' }` as a string literal: the name is written once, never derived, and survives the renaming of the class.",
+        eventName: '`@DomainEventHandler` of {{className}} names "{{declared}}", but {{event}} is named "{{actual}}". Write `{ name: \'{{actual}}\' }`: a handler names the domain event it reacts to by the name the event carries.',
+        inDomain: '{{className}} carries `@{{decorator}}` under domain/: the domain declares nothing. Aggregates, entities, value objects, events, services and repository ports carry no decorator and no dependency list. Remove the decorator and declare the class of application/ or infrastructure/ that plays the role.',
+    },
+    create({ file, sourceCode, context, report }) {
+        const here = inContext(file);
+        if (here === undefined || file.isTest || !isDeclaredStyle(file)) {
+            return {};
+        }
+        const declarationsOf = declarationReader(sourceCode.ast);
+        if (here.layer === 'domain') {
+            return domain(declarationsOf, report);
+        }
+        const findClass = classFinder(file, sourceCode.ast, context.languageOptions.parser);
+        const role = declaredRoleOf(file);
+        const judgeClass = (node) => {
+            for (const declaration of declarationsOf(node)) {
+                const finding = unwrittenName(node, declaration, here.context) ?? renamedEvent(node, declaration, findClass);
+                if (finding !== undefined) {
+                    report(finding);
+                }
+            }
+        };
+        return {
+            Program: (program) => (role === undefined ? [] : misdeclaredRole(program, role, declarationsOf)).forEach(report),
+            ClassDeclaration: judgeClass,
+            ClassExpression: judgeClass,
+        };
+    },
+});
+function domain(declarationsOf, tell) {
+    const judgeClass = (node) => {
+        for (const declaration of declarationsOf(node)) {
+            tell({
+                node: declaration.node,
+                messageId: 'inDomain',
+                data: { className: className(node), decorator: declaration.name },
+            });
+        }
+    };
+    return { ClassDeclaration: judgeClass, ClassExpression: judgeClass };
+}
+/** `authz/declared` holds the two roles whose decorator says who may send a message. */
+function misdeclaredRole(program, role, declarationsOf) {
+    if (role.decorators.some((decorator) => ACCESS_DECORATORS.has(decorator))) {
+        return [];
+    }
+    const data = { suffix: role.suffix, folder: role.folders.join(' or '), expected: role.decorators.join(' or @') };
+    const playsRole = (declaration) => role.decorators.includes(declaration.name);
+    const misplaced = topLevelClasses(program).flatMap((node) => declarationsOf(node)
+        .filter((declaration) => !playsRole(declaration))
+        .map((declaration) => ({ node, declaration })));
+    if (misplaced.length > 0) {
+        return misplaced.map(({ node, declaration }) => ({
+            node: declaration.node,
+            messageId: 'wrongRole',
+            data: { ...data, className: className(node), actual: declaration.name },
+        }));
+    }
+    const exported = exportedClasses(program);
+    if (exported.some((node) => declarationsOf(node).some(playsRole))) {
+        return [];
+    }
+    const [first] = exported;
+    return [
+        first === undefined
+            ? { loc: { line: 1, column: 0 }, messageId: 'undeclared', data }
+            : { node: first.id ?? first, messageId: 'undeclared', data },
+    ];
+}
+function unwrittenName(node, declaration, context) {
+    const key = WRITTEN_NAMES[declaration.name];
+    const written = key === undefined ? undefined : writtenName(declaration.arguments[1], key);
+    if (key === undefined || written === undefined || 'value' in written) {
+        return undefined;
+    }
+    return {
+        node: declaration.node,
+        messageId: 'name',
+        data: { decorator: declaration.name, className: className(node), key, problem: written.problem, context },
+    };
+}
+/** Compared only when the event class is in view: declared in this file, or imported by name from a file read from disk. */
+function renamedEvent(node, declaration, findClass) {
+    const [event, options] = declaration.arguments;
+    if (declaration.name !== 'DomainEventHandler' || event?.type !== AST_NODE_TYPES.Identifier) {
+        return undefined;
+    }
+    const declared = writtenName(options, 'name');
+    const site = findClass(event.name);
+    const actual = site === undefined ? undefined : eventName(site.node);
+    if (!('value' in declared) || actual === undefined || actual === declared.value) {
+        return undefined;
+    }
+    return {
+        node: declaration.node,
+        messageId: 'eventName',
+        data: { className: className(node), declared: declared.value, event: event.name, actual },
+    };
+}
+/** `readonly name = 'billing.invoice.issued';`, with or without `as const`. */
+function eventName(event) {
+    for (const member of event.body.body) {
+        if (member.type !== AST_NODE_TYPES.PropertyDefinition ||
+            member.computed ||
+            keyName(member.key) !== 'name' ||
+            member.value === null) {
+            continue;
+        }
+        return staticString(unwrapped(member.value));
+    }
+    return undefined;
+}
+function unwrapped(value) {
+    return value.type === AST_NODE_TYPES.TSAsExpression || value.type === AST_NODE_TYPES.TSSatisfiesExpression
+        ? unwrapped(value.expression)
+        : value;
+}
+//# sourceMappingURL=declarations-role-declared.js.map

package/dist/rules/declarations-role-declared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations-role-declared.js","sourceRoot":"","sources":["../../src/rules/declarations-role-declared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAgC,MAAM,0BAA0B,CAAC;AACxF,OAAO,EAAE,SAAS,EAAkB,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AACzE,OAAO,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,8CAA8C,CAAC;AACjF,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAGlB,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,0CAA0C,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,8CAA8C,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,yCAAyC,CAAC;AAEtE,OAAO,EAAE,UAAU,EAAe,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAoB,MAAM,oCAAoC,CAAC;AAKnF,MAAM,CAAC,MAAM,wBAAwB,GAAG,UAAU,CAAY;IAC5D,EAAE,EAAE,4BAA4B;IAChC,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,OAAO;IACpB,WAAW,EACT,qKAAqK;IACvK,QAAQ,EAAE;QACR,UAAU,EAAE,4KAA4K,kBAAkB,0GAA0G;QACpT,SAAS,EACP,qRAAqR;QACvR,IAAI,EAAE,wNAAwN;QAC9N,SAAS,EACP,kNAAkN;QACpN,QAAQ,EACN,6SAA6S;KAChT;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE;QAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAE7B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,cAAc,GAAG,iBAAiB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAEzD,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QACxC,CAAC;QAED,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAElC,MAAM,UAAU,GAAG,CAAC,IAAe,EAAQ,EAAE;YAC3C,KAAK,MAAM,WAAW,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;gBAE7G,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,OAAO;YACL,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;YAChH,gBAAgB,EAAE,UAAU;YAC5B,eAAe,EAAE,UAAU;SAC5B,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,MAAM,CAAC,cAAiC,EAAE,IAAuB;IACxE,MAAM,UAAU,GAAG,CAAC,IAAe,EAAQ,EAAE;QAC3C,KAAK,MAAM,WAAW,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC;gBACH,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,SAAS,EAAE,UAAU;gBACrB,IAAI,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,EAAE;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;AACvE,CAAC;AAED,wFAAwF;AACxF,SAAS,eAAe,CAAC,OAAyB,EAAE,IAAkB,EAAE,cAAiC;IACvG,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAC1E,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IACjH,MAAM,SAAS,GAAG,CAAC,WAAwB,EAAW,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAEpG,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC;SACjB,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;SAChD,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CACjD,CAAC;IAEF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,SAAS,EAAE,WAAW;YACtB,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;SACxE,CAAC,CAAC,CAAC;IACN,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAE1C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IAEzB,OAAO;QACL,KAAK,KAAK,SAAS;YACjB,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE;YAChE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAe,EAAE,WAAwB,EAAE,OAAe;IAC/E,MAAM,GAAG,GAAG,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAE3F,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE;KAC1G,CAAC;AACJ,CAAC;AAED,4HAA4H;AAC5H,SAAS,YAAY,CAAC,IAAe,EAAE,WAAwB,EAAE,SAAsB;IACrF,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC;IAE/C,IAAI,WAAW,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,EAAE,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QAC3F,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAErE,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QAChF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,SAAS,EAAE,WAAW;QACtB,IAAI,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE;KAC1F,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAAC,KAAgC;IACjD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACrC,IACE,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,kBAAkB;YACjD,MAAM,CAAC,QAAQ;YACf,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM;YAC9B,MAAM,CAAC,KAAK,KAAK,IAAI,EACrB,CAAC;YACD,SAAS;QACX,CAAC;QAED,OAAO,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,KAA0B;IAC3C,OAAO,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,qBAAqB;QACxG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC;QAC7B,CAAC,CAAC,KAAK,CAAC;AACZ,CAAC"}

package/dist/rules/domain-aggregate-encapsulation.d.ts

@@ -0,0 +1,4 @@
+type MessageId = 'publicConstructor' | 'missingConstructor' | 'publicMutableProperty' | 'setter';
+export declare const domainAggregateEncapsulation: import("@typescript-eslint/utils/ts-eslint").RuleModule<MessageId, [], import("../index.js").RuleDocs, import("@typescript-eslint/utils/ts-eslint").RuleListener>;
+export {};
+//# sourceMappingURL=domain-aggregate-encapsulation.d.ts.map

package/dist/rules/domain-aggregate-encapsulation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-aggregate-encapsulation.d.ts","sourceRoot":"","sources":["../../src/rules/domain-aggregate-encapsulation.ts"],"names":[],"mappings":"AAWA,KAAK,SAAS,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,uBAAuB,GAAG,QAAQ,CAAC;AAIjG,eAAO,MAAM,4BAA4B,mKAgDvC,CAAC"}

package/dist/rules/domain-aggregate-encapsulation.js

@@ -0,0 +1,93 @@
+import { AST_NODE_TYPES } from '@typescript-eslint/utils';
+import { className } from '../support/classes/class-name.js';
+import { constructorOf } from '../support/classes/constructor-of.js';
+import { isCallable } from '../support/classes/is-callable.js';
+import { memberName } from '../support/classes/member-name.js';
+import { visibilityOf } from '../support/classes/visibility-of.js';
+import { defineRule } from '../support/rule/define-rule.js';
+import { parameterName } from '../support/members/parameter-name.js';
+import { parameterProperties } from '../support/members/parameter-properties.js';
+import { startsAtThis } from '../support/members/starts-at-this.js';
+const GUARDED_DIRECTORIES = ['aggregates', 'entities'];
+export const domainAggregateEncapsulation = defineRule({
+    id: 'domain/aggregate-encapsulation',
+    type: 'problem',
+    recommended: 'error',
+    description: 'An aggregate or an entity has a private or protected constructor, no public mutable property and no setter: state changes through methods named after the business intention.',
+    messages: {
+        publicConstructor: 'The constructor of {{className}} is public. Make it private (protected for a base class) and create instances through `create` for a birth and `rehydrate` for a load, so that no invalid {{className}} can exist.',
+        missingConstructor: '{{className}} has no constructor, so anyone can instantiate it without its invariants. Declare a private constructor and the `create` and `rehydrate` factories.',
+        publicMutableProperty: 'The property {{name}} of {{className}} can be written from outside. Make it private or readonly and change it through a method named after the business intention.',
+        setter: '{{name}} is a setter: it changes {{className}} without saying why. Replace it with a method named after the business intention, which guards its invariants and records the event.',
+    },
+    create({ file, report }) {
+        const { location } = file;
+        if (location.area !== 'context' ||
+            location.layer !== 'domain' ||
+            file.isTest ||
+            !GUARDED_DIRECTORIES.includes(location.inside[0] ?? '')) {
+            return {};
+        }
+        return {
+            ClassBody(body) {
+                const owner = className(body.parent);
+                judgeConstructor(body, owner, report);
+                for (const node of mutableProperties(body)) {
+                    report({ node, messageId: 'publicMutableProperty', data: { className: owner, name: propertyLabel(node) } });
+                }
+                for (const member of body.body.filter(isSetter)) {
+                    report({
+                        node: member.key,
+                        messageId: 'setter',
+                        data: { className: owner, name: memberName(member) ?? 'This method' },
+                    });
+                }
+            },
+        };
+    },
+});
+function judgeConstructor(body, owner, report) {
+    if (body.parent.abstract) {
+        return;
+    }
+    const constructor = constructorOf(body);
+    if (constructor !== undefined && visibilityOf(constructor) === 'public') {
+        report({ node: constructor.key, messageId: 'publicConstructor', data: { className: owner } });
+    }
+    // A subclass without a constructor inherits the visibility of its base: the kernel bases are protected.
+    if (constructor === undefined && body.parent.superClass === null) {
+        report({ node: body.parent.id ?? body.parent, messageId: 'missingConstructor', data: { className: owner } });
+    }
+}
+function mutableProperties(body) {
+    const fields = body.body.filter((member) => member.type === AST_NODE_TYPES.PropertyDefinition || member.type === AST_NODE_TYPES.AccessorProperty);
+    const exposed = fields.filter((member) => visibilityOf(member) === 'public' && !member.readonly && !member.declare && !isCallable(member));
+    const parameters = parameterProperties(constructorOf(body)).filter((property) => property.accessibility === 'public' && !property.readonly);
+    return [...exposed, ...parameters];
+}
+function propertyLabel(node) {
+    return node.type === AST_NODE_TYPES.TSParameterProperty
+        ? parameterName(node)
+        : (memberName(node) ?? 'a computed key');
+}
+function isSetter(member) {
+    if (member.type !== AST_NODE_TYPES.MethodDefinition || visibilityOf(member) !== 'public') {
+        return false;
+    }
+    if (member.kind === 'set') {
+        return true;
+    }
+    return member.kind === 'method' && /^set[A-Z]/.test(memberName(member) ?? '') && onlyAssigns(member.value.body);
+}
+function onlyAssigns(body) {
+    const statements = body?.body ?? [];
+    return statements.length > 0 && statements.every(isAssignmentToThis);
+}
+function isAssignmentToThis(statement) {
+    if (statement.type !== AST_NODE_TYPES.ExpressionStatement ||
+        statement.expression.type !== AST_NODE_TYPES.AssignmentExpression) {
+        return false;
+    }
+    return startsAtThis(statement.expression.left);
+}
+//# sourceMappingURL=domain-aggregate-encapsulation.js.map

package/dist/rules/domain-aggregate-encapsulation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-aggregate-encapsulation.js","sourceRoot":"","sources":["../../src/rules/domain-aggregate-encapsulation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,UAAU,EAAe,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AAIpE,MAAM,mBAAmB,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;AAEvD,MAAM,CAAC,MAAM,4BAA4B,GAAG,UAAU,CAAY;IAChE,EAAE,EAAE,gCAAgC;IACpC,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,OAAO;IACpB,WAAW,EACT,+KAA+K;IACjL,QAAQ,EAAE;QACR,iBAAiB,EACf,oNAAoN;QACtN,kBAAkB,EAChB,kKAAkK;QACpK,qBAAqB,EACnB,oKAAoK;QACtK,MAAM,EACJ,oLAAoL;KACvL;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;QACrB,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;QAE1B,IACE,QAAQ,CAAC,IAAI,KAAK,SAAS;YAC3B,QAAQ,CAAC,KAAK,KAAK,QAAQ;YAC3B,IAAI,CAAC,MAAM;YACX,CAAC,mBAAmB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EACvD,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO;YACL,SAAS,CAAC,IAAI;gBACZ,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAErC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAEtC,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3C,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9G,CAAC;gBAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChD,MAAM,CAAC;wBACL,IAAI,EAAE,MAAM,CAAC,GAAG;wBAChB,SAAS,EAAE,QAAQ;wBACnB,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,aAAa,EAAE;qBACtE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAa,EAAE,MAAyB;IAC1F,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IAED,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAExC,IAAI,WAAW,KAAK,SAAS,IAAI,YAAY,CAAC,WAAW,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,wGAAwG;IACxG,IAAI,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACjE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/G,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAC7B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,kBAAkB,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB,CACjH,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAC5G,CAAC;IAEF,MAAM,UAAU,GAAG,mBAAmB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAChE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CACxE,CAAC;IAEF,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,aAAa,CACpB,IAA4F;IAE5F,OAAO,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,mBAAmB;QACrD,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QACrB,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,QAAQ,CAAC,MAA6B;IAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;QACzF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,WAAW,CAAC,IAAgD;IACnE,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;IAEpC,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,kBAAkB,CAAC,SAA6B;IACvD,IACE,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,mBAAmB;QACrD,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,cAAc,CAAC,oBAAoB,EACjE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC"}

package/dist/rules/domain-events-dispatched-on-save.d.ts

@@ -0,0 +1,3 @@
+import { type TSESLint } from '@typescript-eslint/utils';
+export declare const domainEventsDispatchedOnSave: TSESLint.RuleModule<"dispatcher" | "pulled", [], import("../index.js").RuleDocs, TSESLint.RuleListener>;
+//# sourceMappingURL=domain-events-dispatched-on-save.d.ts.map

package/dist/rules/domain-events-dispatched-on-save.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-events-dispatched-on-save.d.ts","sourceRoot":"","sources":["../../src/rules/domain-events-dispatched-on-save.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,QAAQ,EAAiB,MAAM,0BAA0B,CAAC;AAqBxF,eAAO,MAAM,4BAA4B,yGA2CvC,CAAC"}

package/dist/rules/domain-events-dispatched-on-save.js

@@ -0,0 +1,87 @@
+import { AST_NODE_TYPES } from '@typescript-eslint/utils';
+import { propertyName } from '../support/globals/property-name.js';
+import { dependencyListListener } from '../support/ports/dependency-list-listener.js';
+import { defineRule } from '../support/rule/define-rule.js';
+import { parameterTypeName } from '../support/types/parameter-type-name.js';
+const DISPATCHER = 'DomainEventDispatcher';
+const PULL = 'pullEvents';
+const ON_SAVE = 'events leave with the save: `await repository.save(aggregate)` and nothing else; a removal that announces an event takes the aggregate.';
+export const domainEventsDispatchedOnSave = defineRule({
+    id: 'domain-events/dispatched-on-save',
+    type: 'problem',
+    recommended: 'error',
+    description: 'Domain events leave with the save: no `pullEvents()` in application/ or infrastructure/, no DomainEventDispatcher in a command, a query or a repository adapter.',
+    messages: {
+        pulled: `\`${PULL}()\` is called in {{place}}: ${ON_SAVE}`,
+        dispatcher: `${DISPATCHER} is {{how}} in {{place}}: ${ON_SAVE}`,
+    },
+    create({ file, sourceCode, report }) {
+        const judged = judgedAs(file);
+        if (judged === undefined) {
+            return {};
+        }
+        const { place } = judged;
+        const refuse = (node, how) => report({ node, messageId: 'dispatcher', data: { how, place } });
+        const lists = dependencyLists(sourceCode.ast, judged, refuse);
+        return {
+            ...lists,
+            CallExpression(node) {
+                lists.CallExpression?.(node);
+                if (isPull(node)) {
+                    report({ node, messageId: 'pulled', data: { place } });
+                }
+            },
+            ImportDeclaration(node) {
+                for (const specifier of judged.refusesDispatcher ? node.specifiers.filter(importsDispatcher) : []) {
+                    refuse(specifier, 'imported');
+                }
+            },
+            MethodDefinition(node) {
+                for (const parameter of judged.refusesDispatcher ? dispatcherParameters(node) : []) {
+                    refuse(parameter, 'a constructor parameter');
+                }
+            },
+        };
+    },
+});
+function dependencyLists(program, judged, refuse) {
+    return dependencyListListener(program, (dependency) => {
+        if (judged.refusesDispatcher && dependency.name === DISPATCHER) {
+            refuse(dependency, 'named in a dependency list');
+        }
+    });
+}
+function dispatcherParameters(node) {
+    return node.kind === 'constructor'
+        ? node.value.params.filter((candidate) => parameterTypeName(candidate) === DISPATCHER)
+        : [];
+}
+/** Production files of application/ and infrastructure/; the module file, the tests and everything outside a context are not judged. */
+function judgedAs(file) {
+    const { location } = file;
+    if (location.area !== 'context' || file.isTest) {
+        return undefined;
+    }
+    const [folder = ''] = location.inside;
+    if (location.layer === 'application') {
+        return { place: `application/${folder}`, refusesDispatcher: folder === 'commands' || folder === 'queries' };
+    }
+    if (location.layer !== 'infrastructure') {
+        return undefined;
+    }
+    return {
+        place: `infrastructure/${folder}`,
+        refusesDispatcher: folder === 'persistence' && file.path.endsWith('.repository.ts'),
+    };
+}
+function isPull(node) {
+    return node.callee.type === AST_NODE_TYPES.MemberExpression && propertyName(node.callee) === PULL;
+}
+function importsDispatcher(specifier) {
+    if (specifier.type !== AST_NODE_TYPES.ImportSpecifier) {
+        return false;
+    }
+    const { imported } = specifier;
+    return (imported.type === AST_NODE_TYPES.Identifier ? imported.name : imported.value) === DISPATCHER;
+}
+//# sourceMappingURL=domain-events-dispatched-on-save.js.map