ddd-ts-kit 0.1.1 → 0.2.0

package/dist/declared/injection/class-injection.d.ts

@@ -0,0 +1,19 @@
+import type { Finding } from '../../check/model/finding.js';
+import type { TokenReference } from './token-reference.js';
+/** What a declared class is given, read from its source: the list of its decorator, and its constructor. */
+export interface ClassInjection {
+    readonly className: string;
+    /** The role file that declares the class, from the project root. */
+    readonly file: string;
+    /** Line of the declaration decorator. */
+    readonly line: number;
+    /** The names the decorator lists, when it carries a list: that list then wins over the signature. */
+    readonly listed: readonly string[] | undefined;
+    /** One token per constructor parameter, in order; undefined when the constructor could not be read as tokens. */
+    readonly dependencies: readonly TokenReference[] | undefined;
+    /** Why the constructor does not state the dependencies, each with the fix. */
+    readonly problems: readonly Finding[];
+    /** False when the class inherits its constructor from a class this project cannot read. */
+    readonly readable: boolean;
+}
+//# sourceMappingURL=class-injection.d.ts.map

package/dist/declared/injection/class-injection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-injection.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/class-injection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,4GAA4G;AAC5G,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qGAAqG;IACrG,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAC/C,iHAAiH;IACjH,QAAQ,CAAC,YAAY,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAC;IAC7D,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B"}

package/dist/declared/injection/class-injection.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=class-injection.js.map

package/dist/declared/injection/class-injection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-injection.js","sourceRoot":"","sources":["../../../src/declared/injection/class-injection.ts"],"names":[],"mappings":""}

package/dist/declared/injection/constructor-of.d.ts

@@ -0,0 +1,16 @@
+import type { SourceFile } from '../../check/model/source-file.js';
+import type { ReadConstructor } from './read-constructor.js';
+import type { Sources } from './sources.js';
+interface Lookup {
+    readonly sources: Sources;
+    readonly file: SourceFile;
+    readonly className: string;
+}
+/**
+ * The constructor of the class `className` of `file`: the one it writes, or the one of the
+ * class it extends, followed through the imports as far as the project goes. Undefined when the
+ * chain leaves the project (a base class of a package): nothing here can read that constructor.
+ */
+export declare function constructorOf(lookup: Lookup, depth?: number): ReadConstructor | undefined;
+export {};
+//# sourceMappingURL=constructor-of.d.ts.map

package/dist/declared/injection/constructor-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructor-of.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/constructor-of.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAGnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,UAAU,MAAM;IACd,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAID;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,eAAe,GAAG,SAAS,CAqBpF"}

package/dist/declared/injection/constructor-of.js

@@ -0,0 +1,33 @@
+import { importedFrom } from '../../check/support/imported-from.js';
+import { exportedNameOf } from './exported-name-of.js';
+const DEEPEST = 8;
+/**
+ * The constructor of the class `className` of `file`: the one it writes, or the one of the
+ * class it extends, followed through the imports as far as the project goes. Undefined when the
+ * chain leaves the project (a base class of a package): nothing here can read that constructor.
+ */
+export function constructorOf(lookup, depth = 0) {
+    const { file, className } = lookup;
+    const shape = file.structure.classes.find((candidate) => candidate.name === className && candidate.depth === 0);
+    if (shape === undefined || depth > DEEPEST) {
+        return undefined;
+    }
+    const own = shape.methods.find((method) => method.isConstructor);
+    if (own !== undefined) {
+        return { file, line: own.line, parameters: own.parameters };
+    }
+    if (shape.superclass === undefined) {
+        return { file, line: shape.line, parameters: [] };
+    }
+    const base = baseOf(lookup, shape.superclass);
+    return base === undefined ? undefined : constructorOf(base, depth + 1);
+}
+function baseOf({ sources, file }, superclass) {
+    const target = importedFrom(file, superclass)?.target;
+    if (target === undefined) {
+        return { sources, file, className: superclass };
+    }
+    const source = target.kind === 'file' ? sources(target.path) : undefined;
+    return source === undefined ? undefined : { sources, file: source, className: exportedNameOf(file, superclass) };
+}
+//# sourceMappingURL=constructor-of.js.map

package/dist/declared/injection/constructor-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructor-of.js","sourceRoot":"","sources":["../../../src/declared/injection/constructor-of.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAUvD,MAAM,OAAO,GAAG,CAAC,CAAC;AAElB;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,KAAK,GAAG,CAAC;IACrD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;IAEhH,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAEjE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IAC9D,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAE9C,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAU,EAAE,UAAkB;IAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAEtD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;IAClD,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEzE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;AACnH,CAAC"}

package/dist/declared/injection/context-injections.d.ts

@@ -0,0 +1,8 @@
+import type { ClassInjection } from './class-injection.js';
+import type { Sources } from './sources.js';
+/**
+ * What every declared class of a context is given, in the order of its role files.
+ * `directory` is the context from the project root, `entries` its files relative to it.
+ */
+export declare function contextInjections(sources: Sources, directory: string, entries: readonly string[]): ClassInjection[];
+//# sourceMappingURL=context-injections.d.ts.map

package/dist/declared/injection/context-injections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-injections.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/context-injections.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,cAAc,EAAE,CAMnH"}

package/dist/declared/injection/context-injections.js

@@ -0,0 +1,14 @@
+import { declaredRoleOf } from '../declared-role-of.js';
+import { readInjections } from './read-injections.js';
+/**
+ * What every declared class of a context is given, in the order of its role files.
+ * `directory` is the context from the project root, `entries` its files relative to it.
+ */
+export function contextInjections(sources, directory, entries) {
+    return [...new Set(entries)]
+        .filter((entry) => declaredRoleOf(entry) !== undefined)
+        .sort()
+        .flatMap((entry) => sources(`${directory}/${entry}`) ?? [])
+        .flatMap((file) => readInjections(sources, file));
+}
+//# sourceMappingURL=context-injections.js.map

package/dist/declared/injection/context-injections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-injections.js","sourceRoot":"","sources":["../../../src/declared/injection/context-injections.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAGtD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,SAAiB,EAAE,OAA0B;IAC/F,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;SACzB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;SACtD,IAAI,EAAE;SACN,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,SAAS,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;SAC1D,OAAO,CAAC,CAAC,IAAgB,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AAClE,CAAC"}

package/dist/declared/injection/declared-kind-of.d.ts

@@ -0,0 +1,8 @@
+import type { SourceFile } from '../../check/model/source-file.js';
+export interface DeclaredKind {
+    readonly kind: 'class' | 'interface' | 'type' | 'enum' | 'const' | 'function';
+    readonly exported: boolean;
+}
+/** What `file` declares under `name` at its top level, or undefined when it declares nothing by that name. */
+export declare function declaredKindOf(file: SourceFile, name: string): DeclaredKind | undefined;
+//# sourceMappingURL=declared-kind-of.d.ts.map

package/dist/declared/injection/declared-kind-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-kind-of.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/declared-kind-of.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAGnE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,CAAC;IAC9E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,8GAA8G;AAC9G,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CASvF"}

package/dist/declared/injection/declared-kind-of.js

@@ -0,0 +1,12 @@
+import { escapeRegExp } from '../../check/text/escape-reg-exp.js';
+/** What `file` declares under `name` at its top level, or undefined when it declares nothing by that name. */
+export function declaredKindOf(file, name) {
+    const declaration = new RegExp(`(?<![\\w$.])(export\\s+)?(?:default\\s+)?(?:declare\\s+)?(?:abstract\\s+)?(class|interface|type|enum|const|function)\\s+${escapeRegExp(name)}(?![\\w$])`);
+    const match = declaration.exec(file.scan.code);
+    const kind = match?.[2];
+    return isKind(kind) ? { kind, exported: match?.[1] !== undefined } : undefined;
+}
+function isKind(value) {
+    return value !== undefined && ['class', 'interface', 'type', 'enum', 'const', 'function'].includes(value);
+}
+//# sourceMappingURL=declared-kind-of.js.map

package/dist/declared/injection/declared-kind-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-kind-of.js","sourceRoot":"","sources":["../../../src/declared/injection/declared-kind-of.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAOlE,8GAA8G;AAC9G,MAAM,UAAU,cAAc,CAAC,IAAgB,EAAE,IAAY;IAC3D,MAAM,WAAW,GAAG,IAAI,MAAM,CAC5B,2HAA2H,YAAY,CAAC,IAAI,CAAC,YAAY,CAC1J,CAAC;IAEF,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IAExB,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,MAAM,CAAC,KAAyB;IACvC,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5G,CAAC"}

package/dist/declared/injection/exported-name-of.d.ts

@@ -0,0 +1,4 @@
+import type { SourceFile } from '../../check/model/source-file.js';
+/** The name a class is exported under by the module `file` imports it from: `Clock` for `import { Clock as Time }`. */
+export declare function exportedNameOf(file: SourceFile, local: string): string;
+//# sourceMappingURL=exported-name-of.d.ts.map

package/dist/declared/injection/exported-name-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exported-name-of.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/exported-name-of.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAInE,uHAAuH;AACvH,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAetE"}

package/dist/declared/injection/exported-name-of.js

@@ -0,0 +1,17 @@
+const NAMED_IMPORTS = /(?<![\w$.])import\s+(?:type\s+)?(?:[\w$]+\s*,\s*)?\{([^}]*)\}/g;
+/** The name a class is exported under by the module `file` imports it from: `Clock` for `import { Clock as Time }`. */
+export function exportedNameOf(file, local) {
+    for (const [, names = ''] of file.scan.code.matchAll(NAMED_IMPORTS)) {
+        for (const binding of names.split(',')) {
+            const [exported, renamed] = binding
+                .trim()
+                .replace(/^type\s+/, '')
+                .split(/\s+as\s+/);
+            if (renamed === local && exported !== undefined) {
+                return exported;
+            }
+        }
+    }
+    return local;
+}
+//# sourceMappingURL=exported-name-of.js.map

package/dist/declared/injection/exported-name-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exported-name-of.js","sourceRoot":"","sources":["../../../src/declared/injection/exported-name-of.ts"],"names":[],"mappings":"AAEA,MAAM,aAAa,GAAG,gEAAgE,CAAC;AAEvF,uHAAuH;AACvH,MAAM,UAAU,cAAc,CAAC,IAAgB,EAAE,KAAa;IAC5D,KAAK,MAAM,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpE,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,OAAO;iBAChC,IAAI,EAAE;iBACN,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;iBACvB,KAAK,CAAC,UAAU,CAAC,CAAC;YAErB,IAAI,OAAO,KAAK,KAAK,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAChD,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/declared/injection/language-types.d.ts

@@ -0,0 +1,3 @@
+/** Types of the language and of its standard library: they exist for every program, so they name no dependency of one. */
+export declare const LANGUAGE_TYPES: readonly string[];
+//# sourceMappingURL=language-types.d.ts.map

package/dist/declared/injection/language-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"language-types.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/language-types.ts"],"names":[],"mappings":"AAAA,0HAA0H;AAC1H,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EA6B3C,CAAC"}

package/dist/declared/injection/language-types.js

@@ -0,0 +1,32 @@
+/** Types of the language and of its standard library: they exist for every program, so they name no dependency of one. */
+export const LANGUAGE_TYPES = [
+    'string',
+    'number',
+    'boolean',
+    'bigint',
+    'symbol',
+    'object',
+    'unknown',
+    'any',
+    'never',
+    'void',
+    'undefined',
+    'null',
+    'Date',
+    'Map',
+    'Set',
+    'Array',
+    'ReadonlyArray',
+    'Record',
+    'Promise',
+    'Function',
+    'RegExp',
+    'Error',
+    'URL',
+    'Buffer',
+    'Partial',
+    'Readonly',
+    'Pick',
+    'Omit',
+];
+//# sourceMappingURL=language-types.js.map

package/dist/declared/injection/language-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"language-types.js","sourceRoot":"","sources":["../../../src/declared/injection/language-types.ts"],"names":[],"mappings":"AAAA,0HAA0H;AAC1H,MAAM,CAAC,MAAM,cAAc,GAAsB;IAC/C,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,KAAK;IACL,OAAO;IACP,MAAM;IACN,WAAW;IACX,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;IACL,OAAO;IACP,eAAe;IACf,QAAQ;IACR,SAAS;IACT,UAAU;IACV,QAAQ;IACR,OAAO;IACP,KAAK;IACL,QAAQ;IACR,SAAS;IACT,UAAU;IACV,MAAM;IACN,MAAM;CACP,CAAC"}

package/dist/declared/injection/local-names.d.ts

@@ -0,0 +1,17 @@
+import type { TokenReference } from './token-reference.js';
+/**
+ * The names a generated file binds its imports under. A class keeps its own name; a second
+ * class of the same name, exported by another module, is bound as `Name_2`, so that two ports
+ * called alike in two contexts never collide.
+ */
+export declare class LocalNames {
+    private readonly specifierOf;
+    private readonly byOrigin;
+    private readonly taken;
+    constructor(specifierOf: (reference: TokenReference) => string);
+    of(reference: TokenReference): string;
+    /** Every binding, grouped by the specifier it is imported from. */
+    bySpecifier(): Map<string, string[]>;
+    private free;
+}
+//# sourceMappingURL=local-names.d.ts.map

package/dist/declared/injection/local-names.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-names.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/local-names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;;;GAIG;AACH,qBAAa,UAAU;IAKT,OAAO,CAAC,QAAQ,CAAC,WAAW;IAJxC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IAEtD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqB;IAE3C,YAA6B,WAAW,EAAE,CAAC,SAAS,EAAE,cAAc,KAAK,MAAM,EAAI;IAEnF,EAAE,CAAC,SAAS,EAAE,cAAc,GAAG,MAAM,CAcpC;IAED,mEAAmE;IACnE,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAUnC;IAED,OAAO,CAAC,IAAI;CASb"}

package/dist/declared/injection/local-names.js

@@ -0,0 +1,41 @@
+/**
+ * The names a generated file binds its imports under. A class keeps its own name; a second
+ * class of the same name, exported by another module, is bound as `Name_2`, so that two ports
+ * called alike in two contexts never collide.
+ */
+export class LocalNames {
+    specifierOf;
+    byOrigin = new Map();
+    taken = new Set();
+    constructor(specifierOf) {
+        this.specifierOf = specifierOf;
+    }
+    of(reference) {
+        const origin = `${this.specifierOf(reference)}#${reference.name}`;
+        const known = this.byOrigin.get(origin);
+        if (known !== undefined) {
+            return known;
+        }
+        const local = this.free(reference.name);
+        this.byOrigin.set(origin, local);
+        this.taken.add(local);
+        return local;
+    }
+    /** Every binding, grouped by the specifier it is imported from. */
+    bySpecifier() {
+        const grouped = new Map();
+        for (const [origin, local] of this.byOrigin) {
+            const [specifier = '', name = ''] = origin.split('#');
+            grouped.set(specifier, [...(grouped.get(specifier) ?? []), name === local ? name : `${name} as ${local}`]);
+        }
+        return grouped;
+    }
+    free(name) {
+        let local = name;
+        for (let rank = 2; this.taken.has(local); rank += 1) {
+            local = `${name}_${rank}`;
+        }
+        return local;
+    }
+}
+//# sourceMappingURL=local-names.js.map

package/dist/declared/injection/local-names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-names.js","sourceRoot":"","sources":["../../../src/declared/injection/local-names.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,OAAO,UAAU;IAKQ,WAAW;IAJvB,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAErC,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAE3C,YAA6B,WAAkD;2BAAlD,WAAW;IAA0C,CAAC;IAEnF,EAAE,CAAC,SAAyB;QAC1B,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAExC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAExC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,WAAW;QACT,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAE5C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM,CAAC,SAAS,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAEtD,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7G,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,IAAI,CAAC,IAAY;QACvB,IAAI,KAAK,GAAG,IAAI,CAAC;QAEjB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YACpD,KAAK,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;QAC5B,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/declared/injection/parameter-shape.d.ts

@@ -0,0 +1,11 @@
+/** A constructor parameter, read as text: its name, the type it is annotated with, and what makes it more than that. */
+export interface ParameterShape {
+    readonly name: string;
+    /** The annotation, trimmed; undefined when the parameter has none. */
+    readonly type: string | undefined;
+    /** What keeps the parameter from naming one dependency: a rest, a destructuring, a `?` or a default value. */
+    readonly oddity: string | undefined;
+}
+/** Reads `private readonly clock: Clock`, whatever decorators and modifiers come first. */
+export declare function parameterShape(parameter: string): ParameterShape;
+//# sourceMappingURL=parameter-shape.d.ts.map

package/dist/declared/injection/parameter-shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-shape.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/parameter-shape.ts"],"names":[],"mappings":"AAEA,wHAAwH;AACxH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,8GAA8G;IAC9G,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAMD,2FAA2F;AAC3F,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,cAAc,CAYhE"}

package/dist/declared/injection/parameter-shape.js

@@ -0,0 +1,58 @@
+import { matchingBracket } from '../../check/text/matching-bracket.js';
+const DECORATOR = /^@[\w$.]+\s*/;
+const MODIFIERS = /^(?:(?:public|private|protected|readonly|override)\s+)*/;
+const NAME = /^([A-Za-z_$][\w$]*)\s*(\?)?\s*(?::([\s\S]*))?$/;
+/** Reads `private readonly clock: Clock`, whatever decorators and modifiers come first. */
+export function parameterShape(parameter) {
+    const text = withoutDecorators(parameter.trim()).replace(MODIFIERS, '');
+    const unnamed = unnamedShape(text);
+    if (unnamed !== undefined) {
+        return unnamed;
+    }
+    const assigned = defaultAt(text);
+    const [, name = text, optional, type] = NAME.exec(assigned === -1 ? text : text.slice(0, assigned).trim()) ?? [];
+    return { name, type: type?.trim(), oddity: oddityOf(optional !== undefined, assigned !== -1) };
+}
+/** A rest parameter or a destructuring: neither is one named value typed by one class. */
+function unnamedShape(text) {
+    if (text.startsWith('...')) {
+        const [name = ''] = text.replace(/^\.\.\.\s*/, '').split(/[\s:]/);
+        return { name, type: undefined, oddity: 'is a rest parameter' };
+    }
+    if (text.startsWith('{') || text.startsWith('[')) {
+        return { name: text.split(':')[0]?.trim() ?? text, type: undefined, oddity: 'is destructured' };
+    }
+    return undefined;
+}
+function oddityOf(optional, defaulted) {
+    if (defaulted) {
+        return 'has a default value';
+    }
+    return optional ? 'is optional' : undefined;
+}
+function withoutDecorators(text) {
+    let rest = text;
+    for (let name = DECORATOR.exec(rest); name !== null; name = DECORATOR.exec(rest)) {
+        const called = rest.charAt(name[0].length) === '(';
+        rest = rest.slice(called ? matchingBracket(rest, name[0].length) + 1 : name[0].length).trimStart();
+    }
+    return rest;
+}
+/** Offset of the `=` that gives the parameter a default value, or -1: the `=` of `=>`, `==`, `<=` and `>=` are not one. */
+function defaultAt(text) {
+    let depth = 0;
+    for (let at = 0; at < text.length; at += 1) {
+        const char = text.charAt(at);
+        if ('([{'.includes(char)) {
+            depth += 1;
+        }
+        else if (')]}'.includes(char)) {
+            depth -= 1;
+        }
+        else if (char === '=' && depth === 0 && text.charAt(at + 1) !== '>' && !'=!<>'.includes(text.charAt(at - 1))) {
+            return at;
+        }
+    }
+    return -1;
+}
+//# sourceMappingURL=parameter-shape.js.map

package/dist/declared/injection/parameter-shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-shape.js","sourceRoot":"","sources":["../../../src/declared/injection/parameter-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAWvE,MAAM,SAAS,GAAG,cAAc,CAAC;AACjC,MAAM,SAAS,GAAG,yDAAyD,CAAC;AAC5E,MAAM,IAAI,GAAG,gDAAgD,CAAC;AAE9D,2FAA2F;AAC3F,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,MAAM,IAAI,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;IAEjH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,0FAA0F;AAC1F,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAElE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAClG,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,QAAiB,EAAE,SAAkB;IACrD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IAED,OAAO,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,IAAI,IAAI,GAAG,IAAI,CAAC;IAEhB,KAAK,IAAI,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC;QAEnD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;IACrG,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2HAA2H;AAC3H,SAAS,SAAS,CAAC,IAAY;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAE7B,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/G,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC"}

package/dist/declared/injection/raw-class-name.d.ts

@@ -0,0 +1,7 @@
+/**
+ * The class a type annotation names when it names exactly one: `Clock`, or `Cache` for
+ * `Cache<Session>`, whose type arguments say nothing of the token. Undefined for a union, an
+ * intersection, an array, a function, a literal, an object type or a qualified name.
+ */
+export declare function rawClassName(type: string): string | undefined;
+//# sourceMappingURL=raw-class-name.d.ts.map

package/dist/declared/injection/raw-class-name.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"raw-class-name.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/raw-class-name.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQ7D"}

package/dist/declared/injection/raw-class-name.js

@@ -0,0 +1,28 @@
+const IDENTIFIER = /^[A-Za-z_$][\w$]*$/;
+const GENERIC = /^([A-Za-z_$][\w$]*)\s*</;
+/**
+ * The class a type annotation names when it names exactly one: `Clock`, or `Cache` for
+ * `Cache<Session>`, whose type arguments say nothing of the token. Undefined for a union, an
+ * intersection, an array, a function, a literal, an object type or a qualified name.
+ */
+export function rawClassName(type) {
+    if (IDENTIFIER.test(type)) {
+        return type;
+    }
+    const name = GENERIC.exec(type)?.[1];
+    return name !== undefined && closesAtTheEnd(type, type.indexOf('<')) ? name : undefined;
+}
+function closesAtTheEnd(type, open) {
+    let depth = 0;
+    for (let at = open; at < type.length; at += 1) {
+        const char = type.charAt(at);
+        if (char === '<') {
+            depth += 1;
+        }
+        else if (char === '>' && type.charAt(at - 1) !== '=' && (depth -= 1) === 0) {
+            return at === type.length - 1;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=raw-class-name.js.map

package/dist/declared/injection/raw-class-name.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"raw-class-name.js","sourceRoot":"","sources":["../../../src/declared/injection/raw-class-name.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,GAAG,oBAAoB,CAAC;AACxC,MAAM,OAAO,GAAG,yBAAyB,CAAC;AAE1C;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAErC,OAAO,IAAI,KAAK,SAAS,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,IAAY;IAChD,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,IAAI,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAE7B,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7E,OAAO,EAAE,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/declared/injection/read-constructor.d.ts

@@ -0,0 +1,10 @@
+import type { SourceFile } from '../../check/model/source-file.js';
+/** The constructor a class is built by: its own, or the nearest one it inherits inside the project. */
+export interface ReadConstructor {
+    /** The source that writes it: its parameter types are resolved through the imports of that file. */
+    readonly file: SourceFile;
+    readonly line: number;
+    /** The blanked text of each parameter. */
+    readonly parameters: readonly string[];
+}
+//# sourceMappingURL=read-constructor.d.ts.map

package/dist/declared/injection/read-constructor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-constructor.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/read-constructor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAEnE,uGAAuG;AACvG,MAAM,WAAW,eAAe;IAC9B,oGAAoG;IACpG,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC"}

package/dist/declared/injection/read-constructor.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=read-constructor.js.map

package/dist/declared/injection/read-constructor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-constructor.js","sourceRoot":"","sources":["../../../src/declared/injection/read-constructor.ts"],"names":[],"mappings":""}

package/dist/declared/injection/read-injections.d.ts

@@ -0,0 +1,6 @@
+import type { SourceFile } from '../../check/model/source-file.js';
+import type { ClassInjection } from './class-injection.js';
+import type { Sources } from './sources.js';
+/** What each declared class of a role file is given: the list of its decorator, and what its constructor says. */
+export declare function readInjections(sources: Sources, file: SourceFile): ClassInjection[];
+//# sourceMappingURL=read-injections.d.ts.map

package/dist/declared/injection/read-injections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-injections.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/read-injections.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAGnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAO3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAY5C,kHAAkH;AAClH,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,GAAG,cAAc,EAAE,CAiBnF"}

package/dist/declared/injection/read-injections.js

@@ -0,0 +1,75 @@
+import { argumentsOf } from '../../check/declarations/arguments-of.js';
+import { declaredAs } from '../../check/declarations/declared-as.js';
+import { splitTopLevel } from '../../check/text/split-top-level.js';
+import { DECLARATION_DECORATORS } from '../declared-role.js';
+import { constructorOf } from './constructor-of.js';
+import { parameterShape } from './parameter-shape.js';
+import { rawClassName } from './raw-class-name.js';
+import { resolveToken } from './resolve-token.js';
+/** The decorators of a message say who may send it: a message is built by its sender and is injected nothing. */
+const MESSAGE_DECORATORS = ['Requires', 'Public'];
+const INJECTED = DECLARATION_DECORATORS.filter((name) => !MESSAGE_DECORATORS.includes(name));
+const TYPE_BY_A_CLASS = 'Type the parameter by one class and nothing else: a port (an abstract class of application/ports or domain/repositories), a port of the kernel, another declared class, or an abstract class with readonly members that the platform binds to a value. The composition root injects each constructor parameter by the class that types it.';
+const WRITE_THE_CONSTRUCTOR = 'Write the constructor in the class, typing each parameter by its port and passing them to `super(...)`; or list the dependencies in the decorator, which is then the only statement of them.';
+/** What each declared class of a role file is given: the list of its decorator, and what its constructor says. */
+export function readInjections(sources, file) {
+    return declaredAs(file.scan, INJECTED).map(({ declared, decoration }) => {
+        const written = constructorOf({ sources, file, className: declared.name });
+        const identity = { className: declared.name, file: file.path, line: decoration.line };
+        const listed = listOf(file, decoration);
+        if (written === undefined) {
+            return { ...identity, listed, dependencies: undefined, readable: false, problems: [inherited(identity)] };
+        }
+        const read = written.parameters.map((parameter) => tokenOf(sources, written, parameter));
+        const line = written.file === file ? written.line : decoration.line;
+        const problems = read.flatMap((parameter) => problemOf(identity.className, line, parameter));
+        const tokens = read.flatMap(({ resolved }) => resolved.token ?? []);
+        return { ...identity, listed, readable: true, problems, dependencies: problems.length === 0 ? tokens : undefined };
+    });
+}
+/** The identifiers of the list a decorator carries as its last argument, or undefined when it carries none. */
+function listOf(file, decoration) {
+    const last = argumentsOf(file.scan, decoration).at(-1)?.code;
+    if (last?.startsWith('[') !== true) {
+        return undefined;
+    }
+    return splitTopLevel(last.slice(1, last.lastIndexOf(']')))
+        .map((part) => part.code)
+        .filter((code) => code !== '');
+}
+function inherited({ className, line }) {
+    return {
+        line,
+        message: `${className} inherits its constructor from a class this project cannot read: nothing states what it is given.`,
+        fix: WRITE_THE_CONSTRUCTOR,
+    };
+}
+function tokenOf(sources, written, parameter) {
+    const { name, type, oddity } = parameterShape(parameter);
+    if (oddity !== undefined) {
+        return { name, resolved: { flaw: `${oddity}: the composition root gives every parameter a value, always` } };
+    }
+    if (type === undefined) {
+        return { name, resolved: { flaw: 'has no type' } };
+    }
+    const className = rawClassName(type);
+    return {
+        name,
+        resolved: className === undefined
+            ? { flaw: `is typed \`${type.replace(/\s+/g, ' ')}\`, which names no single class` }
+            : resolveToken({ sources, file: written.file, name: className }),
+    };
+}
+function problemOf(className, line, { name, resolved }) {
+    if (resolved.flaw === undefined) {
+        return [];
+    }
+    return [
+        {
+            line,
+            message: `Parameter "${name}" of the constructor of ${className} ${resolved.flaw}.`,
+            fix: TYPE_BY_A_CLASS,
+        },
+    ];
+}
+//# sourceMappingURL=read-injections.js.map

package/dist/declared/injection/read-injections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-injections.js","sourceRoot":"","sources":["../../../src/declared/injection/read-injections.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,0CAA0C,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,yCAAyC,CAAC;AAIrE,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIlD,iHAAiH;AACjH,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AAClD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAE7F,MAAM,eAAe,GACnB,4UAA4U,CAAC;AAE/U,MAAM,qBAAqB,GACzB,8LAA8L,CAAC;AAEjM,kHAAkH;AAClH,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,IAAgB;IAC/D,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;QACtE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;QACtF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAExC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC5G,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;QACzF,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAEpE,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IACrH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+GAA+G;AAC/G,SAAS,MAAM,CAAC,IAAgB,EAAE,UAAsB;IACtD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAE7D,IAAI,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;SACvD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,EAAE,SAAS,EAAE,IAAI,EAA8C;IAChF,OAAO;QACL,IAAI;QACJ,OAAO,EAAE,GAAG,SAAS,mGAAmG;QACxH,GAAG,EAAE,qBAAqB;KAC3B,CAAC;AACJ,CAAC;AAOD,SAAS,OAAO,CAAC,OAAgB,EAAE,OAAwB,EAAE,SAAiB;IAC5E,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAEzD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,MAAM,8DAA8D,EAAE,EAAE,CAAC;IAC/G,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAErC,OAAO;QACL,IAAI;QACJ,QAAQ,EACN,SAAS,KAAK,SAAS;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,iCAAiC,EAAE;YACpF,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,SAAiB,EAAE,IAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAiB;IACnF,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL;YACE,IAAI;YACJ,OAAO,EAAE,cAAc,IAAI,2BAA2B,SAAS,IAAI,QAAQ,CAAC,IAAI,GAAG;YACnF,GAAG,EAAE,eAAe;SACrB;KACF,CAAC;AACJ,CAAC"}

package/dist/declared/injection/render-injections.d.ts

@@ -0,0 +1,11 @@
+import type { ClassInjection } from './class-injection.js';
+import type { RenderedInjections } from './rendered-injections.js';
+/**
+ * The statements that register what the classes are given: `injected(Class, [Tokens])` for each
+ * class whose constructor takes something and whose decorator lists nothing, with the imports
+ * they need. A class with a list in its decorator, with no parameter or with a constructor that
+ * cannot be read is left out: the first is complete, the second needs nothing, the third is
+ * reported by `declarations/constructor-injection` and refused when the application is composed.
+ */
+export declare function renderInjections(injections: readonly ClassInjection[], specifierOfFile: (file: string) => string): RenderedInjections;
+//# sourceMappingURL=render-injections.d.ts.map

package/dist/declared/injection/render-injections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-injections.d.ts","sourceRoot":"","sources":["../../../src/declared/injection/render-injections.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAOnE;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,SAAS,cAAc,EAAE,EACrC,eAAe,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GACxC,kBAAkB,CAqBpB"}