@webda/content-mapper 0.0.0-stage → 4.0.0-beta.4

package/lib/schema/project.js

@@ -0,0 +1,305 @@
+/**
+ * The top-level `schemas` map of `webda.module.json`.
+ *
+ * Stage 7.3. Unlike service and model schemas, these entries record no
+ * provenance — the key is all there is — so reproducing them means
+ * reproducing the discovery as well as the conversion. Two kinds share the
+ * map:
+ *
+ * - **`<Namespace>/<Name>`** for a type tagged `@WebdaSchema`. Discovered
+ *   across the *whole program*, dependencies included, which is why
+ *   `@webda/core`'s `BinaryFile` reappears in every application under that
+ *   application's namespace.
+ * - **`<Root>.<method>.input` / `.output`** for a method decorated `@Action`
+ *   or `@Operation`, on a model, a modda, a bean or a `@WebdaBehavior`
+ *   class. The root differs per kind and is not uniform — see
+ *   {@link actionRoots}.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { ModifierFlags, SyntaxKind } from "typescript/unstable/ast";
+import * as is from "typescript/unstable/ast/is";
+import { getJSDocTags, getTextOfJSDocComment } from "typescript/unstable/ast";
+import { discoverWebdaObjects } from "../module-discovery.js";
+import { generateActionInput, generateActionOutput } from "./action.js";
+import { SchemaConverter } from "./converter.js";
+/**
+ * Build every top-level schema for a project.
+ * @param ctx - analysis context, whose `sourceFiles` are the project's own
+ * @param options - roots and namespace
+ * @returns the `schemas` map
+ */
+export function generateTopLevelSchemas(ctx, options) {
+    const schemas = {};
+    const converterOptions = { project: ctx.project, checker: ctx.checker };
+    // `@WebdaSchema` types first, keyed in sorted order, then actions — the
+    // order `WebdaSchemaResults.generateSchemas` flushes its two maps in.
+    for (const [name, node] of [...declaredSchemas(ctx, options)].sort(([a], [b]) => a.localeCompare(b))) {
+        const converter = new SchemaConverter(converterOptions);
+        const schema = converter.fromNode(node);
+        schema.title = nameOf(node) ?? name;
+        schemas[name] = schema;
+    }
+    for (const [root, method, honorName] of actionRoots(ctx, options)) {
+        // Model actions are exposed, and their schemas named, after `@Action({ name })`
+        const name = (honorName && actionNameOption(method)) || methodName(method);
+        if (!name)
+            continue;
+        schemas[`${root}.${name}.input`] = generateActionInput(method, converterOptions);
+        const output = generateActionOutput(method, converterOptions);
+        // A method whose return type cannot be resolved contributes no entry at
+        // all: `@webda/compiler` stores `undefined`, which `JSON.stringify` drops.
+        if (output)
+            schemas[`${root}.${name}.output`] = output;
+    }
+    return schemas;
+}
+/**
+ * Every `@WebdaSchema`-tagged declaration in the program.
+ *
+ * Deliberately not limited to the project's own sources. The TypeScript 6
+ * walk tests the tag before it tests whether the file is a root file, so a
+ * tagged type in a dependency's `.d.ts` is re-emitted under the consuming
+ * application's namespace. Restricting this to project sources would drop
+ * `Webda/BinaryFile` from every downstream module.
+ * @param ctx - analysis context
+ * @param options - roots and namespace
+ * @returns name to declaration
+ */
+function declaredSchemas(ctx, options) {
+    const found = new Map();
+    for (const fileName of ctx.program.getSourceFileNames()) {
+        if (fileName.endsWith(".spec.ts") || isDefaultLibrary(fileName))
+            continue;
+        const sourceFile = ctx.program.getSourceFile(fileName);
+        if (!sourceFile)
+            continue;
+        for (const statement of sourceFile.statements) {
+            const tag = webdaTag(statement, "WebdaSchema");
+            if (tag === undefined)
+                continue;
+            const bare = tag || nameOf(statement);
+            if (!bare)
+                continue;
+            const name = bare.includes("/") ? bare : `${options.namespace ?? "Webda"}/${bare}`;
+            if (!found.has(name))
+                found.set(name, statement);
+        }
+    }
+    return found;
+}
+/**
+ * Every decorated method, paired with the root its schema key uses.
+ *
+ * The root is not computed uniformly, and the inconsistency is observable in
+ * the committed artefact rather than incidental:
+ *
+ * | source     | root                                          |
+ * | ---------- | --------------------------------------------- |
+ * | model      | the namespaced model name                     |
+ * | modda/bean | the **raw class name**, unnamespaced          |
+ * | behaviour  | the `@WebdaBehavior` payload, else namespaced |
+ *
+ * `.webda/operations.json` depends on the middle row: it recovers service
+ * operations by matching `^([^.]+)\.` against the short class name, so a
+ * namespaced key would not be found.
+ * @param ctx - analysis context
+ * @param options - roots and namespace
+ * @returns root and method pairs, in discovery order
+ */
+function actionRoots(ctx, options) {
+    const pairs = [];
+    const discovered = discoverWebdaObjects(ctx, options);
+    const classFor = (fileName, className) => {
+        const sourceFile = ctx.program.getSourceFile(fileName);
+        return sourceFile?.statements.find((statement) => is.isClassDeclaration(statement) && statement.name?.text === className);
+    };
+    for (const object of discovered) {
+        if (object.section !== "models")
+            continue;
+        const declaration = classFor(object.fileName, object.className);
+        if (!declaration)
+            continue;
+        // Instance methods come from the type, so inherited actions count;
+        // statics are not on the instance type and are read off the class.
+        for (const method of instanceActions(ctx, declaration))
+            pairs.push([object.name, method, true]);
+        for (const method of staticActions(declaration))
+            pairs.push([object.name, method, true]);
+    }
+    for (const object of discovered) {
+        if (object.section !== "moddas" && object.section !== "beans")
+            continue;
+        const declaration = classFor(object.fileName, object.className);
+        if (!declaration)
+            continue;
+        for (const method of instanceActions(ctx, declaration))
+            pairs.push([object.className, method]);
+    }
+    // Behaviours, from the project's own sources only — a dependency already
+    // emitted the schemas for the behaviours it owns.
+    for (const sourceFile of ctx.sourceFiles) {
+        if (sourceFile.fileName.endsWith(".spec.ts"))
+            continue;
+        for (const statement of sourceFile.statements) {
+            if (!is.isClassDeclaration(statement) || !statement.name)
+                continue;
+            const tag = webdaTag(statement, "WebdaBehavior");
+            if (tag === undefined)
+                continue;
+            const bare = tag || statement.name.text;
+            const root = bare.includes("/") ? bare : `${options.namespace ?? "Webda"}/${bare}`;
+            for (const method of instanceActions(ctx, statement))
+                pairs.push([root, method]);
+        }
+    }
+    return pairs;
+}
+/**
+ * Decorated instance methods of a class, including inherited ones.
+ * @param ctx - analysis context
+ * @param declaration - the class
+ * @returns the method declarations
+ */
+function instanceActions(ctx, declaration) {
+    const type = ctx.checker.getTypeAtLocation(declaration);
+    const methods = [];
+    for (const property of ctx.checker.getPropertiesOfType(type)) {
+        const node = property.valueDeclaration?.resolve(ctx.project);
+        if (!node || !is.isMethodDeclaration(node))
+            continue;
+        if (hasActionDecorator(node))
+            methods.push(node);
+    }
+    return methods;
+}
+/**
+ * Decorated static methods declared on a class.
+ * @param declaration - the class
+ * @returns the method declarations
+ */
+function staticActions(declaration) {
+    return declaration.members.filter((member) => is.isMethodDeclaration(member) &&
+        (member.modifierFlags & ModifierFlags.Static) !== 0 &&
+        hasActionDecorator(member));
+}
+/**
+ * Whether a method carries `@Action` or `@Operation`.
+ *
+ * Both the bare and the called form count. `@Route` does not, despite what
+ * `exploreServices`'s own documentation says.
+ * @param method - the method declaration
+ * @returns true when decorated
+ */
+function hasActionDecorator(method) {
+    for (const modifier of method.modifiers ?? []) {
+        if (modifier.kind !== SyntaxKind.Decorator)
+            continue;
+        const expression = modifier.expression;
+        if (!expression)
+            continue;
+        const identifier = is.isCallExpression(expression) ? expression.expression : expression;
+        const name = identifier.text;
+        if (name === "Action" || name === "Operation")
+            return true;
+    }
+    return false;
+}
+/**
+ * The payload of a `Webda*` JSDoc tag, or undefined when the tag is absent.
+ *
+ * An empty string means "present with no payload", which the callers treat
+ * as "fall back to the declaration name" — so the two cases have to stay
+ * distinguishable.
+ * @param node - the declaration
+ * @param tagName - the tag to look for
+ * @returns the first token of the payload, `""`, or undefined
+ */
+function webdaTag(node, tagName) {
+    for (const tag of getJSDocTags(node)) {
+        if (tag.tagName.text !== tagName)
+            continue;
+        const text = getTextOfJSDocComment(tag.comment)?.trim() ?? "";
+        return text.replace("\n", " ").split(" ")[0] ?? "";
+    }
+    return undefined;
+}
+/**
+ * The declared name of a node, when it has one.
+ * @param node - the declaration
+ * @returns the name
+ */
+function nameOf(node) {
+    return node.name?.text;
+}
+/**
+ * A method's name as written.
+ * @param method - the method declaration
+ * @returns the name, or undefined for a computed one
+ */
+function methodName(method) {
+    return method.name.text;
+}
+/**
+ * The string-literal `name` option of a method's `@Action`/`@Operation`.
+ * @param method - the method declaration
+ * @returns the name, or undefined when the decorator sets none
+ */
+export function actionNameOption(method) {
+    for (const modifier of method.modifiers ?? []) {
+        if (modifier.kind !== SyntaxKind.Decorator)
+            continue;
+        const expression = modifier.expression;
+        if (!expression || !is.isCallExpression(expression))
+            continue;
+        const name = expression.expression.text;
+        if (name !== "Action" && name !== "Operation")
+            continue;
+        const argument = expression.arguments?.[0];
+        if (!argument || !is.isObjectLiteralExpression(argument))
+            return undefined;
+        for (const property of argument.properties) {
+            if (is.isPropertyAssignment(property) &&
+                property.name?.text === "name" &&
+                is.isStringLiteral(property.initializer)) {
+                return property.initializer.text || undefined;
+            }
+        }
+        return undefined;
+    }
+    return undefined;
+}
+/**
+ * Whether a file is part of the TypeScript standard library.
+ * @param fileName - absolute path
+ * @returns true for `lib.*.d.ts` shipped with the compiler
+ */
+function isDefaultLibrary(fileName) {
+    return /[\\/]lib\.[a-z0-9.]+\.d\.ts$/.test(fileName);
+}
+/**
+ * Read a project's namespace the way `WebdaProject` does.
+ * @param appPath - application root
+ * @returns the namespace, when one applies
+ */
+export function namespaceOf(appPath) {
+    let folder = appPath;
+    while (folder.length > 2) {
+        const manifestPath = join(folder, "package.json");
+        if (existsSync(manifestPath)) {
+            const manifest = JSON.parse(readFileSync(manifestPath, "utf8"));
+            if (manifest.webda?.namespace)
+                return manifest.webda.namespace;
+            if (!manifest.name?.startsWith("@"))
+                return undefined;
+            const scope = manifest.name.split("/")[0].slice(1);
+            return scope.charAt(0).toUpperCase() + scope.slice(1);
+        }
+        const parent = dirname(folder);
+        if (parent === folder)
+            break;
+        folder = parent;
+    }
+    return undefined;
+}
+//# sourceMappingURL=project.js.map

package/lib/schema/project.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.js","sourceRoot":"","sources":["../../src/schema/project.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAE9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAejD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,GAAoB,EACpB,OAA8B;IAE9B,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,MAAM,gBAAgB,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAExE,wEAAwE;IACxE,sEAAsE;IACtE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrG,MAAM,SAAS,GAAG,IAAI,eAAe,CAAC,gBAAgB,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACpC,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;IACzB,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;QAClE,gFAAgF;QAChF,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3E,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,QAAQ,CAAC,GAAG,mBAAmB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QAC9D,wEAAwE;QACxE,2EAA2E;QAC3E,IAAI,MAAM;YAAE,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,SAAS,CAAC,GAAG,MAAM,CAAC;IACzD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,eAAe,CAAC,GAAoB,EAAE,OAA8B;IAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEtC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC1E,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU;YAAE,SAAS;QAE1B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAC/C,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChC,MAAM,IAAI,GAAG,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACnF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,WAAW,CAAC,GAAoB,EAAE,OAA8B;IACvE,MAAM,KAAK,GAA4C,EAAE,CAAC;IAC1D,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAEtD,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAE,SAAiB,EAAgC,EAAE;QACrF,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvD,OAAO,UAAU,EAAE,UAAU,CAAC,IAAI,CAChC,CAAC,SAAS,EAAiC,EAAE,CAC3C,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CACzE,CAAC;IACJ,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS;QAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,WAAW;YAAE,SAAS;QAC3B,mEAAmE;QACnE,mEAAmE;QACnE,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,GAAG,EAAE,WAAW,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAChG,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,WAAW,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO;YAAE,SAAS;QACxE,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,WAAW;YAAE,SAAS;QAC3B,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,GAAG,EAAE,WAAW,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,yEAAyE;IACzE,kDAAkD;IAClD,KAAK,MAAM,UAAU,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACzC,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,SAAS;QACvD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC9C,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI;gBAAE,SAAS;YACnE,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;YACjD,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChC,MAAM,IAAI,GAAG,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;YACnF,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,GAAG,EAAE,SAAS,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,GAAoB,EAAE,WAA6B;IAC1E,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QACrD,IAAI,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,WAA6B;IAClD,OAAO,WAAW,CAAC,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAA+B,EAAE,CACtC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,CAAC,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;QACnD,kBAAkB,CAAC,MAAM,CAAC,CAC7B,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,MAAyB;IACnD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS;YAAE,SAAS;QACrD,MAAM,UAAU,GAAI,QAAkC,CAAC,UAAU,CAAC;QAClE,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QACxF,MAAM,IAAI,GAAI,UAAgC,CAAC,IAAI,CAAC;QACpD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,QAAQ,CAAC,IAAU,EAAE,OAAe;IAC3C,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QAC3C,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,MAAM,CAAC,IAAU;IACxB,OAAQ,IAAqC,CAAC,IAAI,EAAE,IAAI,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,MAAyB;IAC3C,OAAQ,MAAM,CAAC,IAA0B,CAAC,IAAI,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAyB;IACxD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS;YAAE,SAAS;QACrD,MAAM,UAAU,GAAI,QAAkC,CAAC,UAAU,CAAC;QAClE,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;YAAE,SAAS;QAC9D,MAAM,IAAI,GAAI,UAAU,CAAC,UAAgC,CAAC,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW;YAAE,SAAS;QACxD,MAAM,QAAQ,GAAI,UAAkB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3E,KAAK,MAAM,QAAQ,IAAK,QAAgB,CAAC,UAAU,EAAE,CAAC;YACpD,IACE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAChC,QAAgB,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM;gBACvC,EAAE,CAAC,eAAe,CAAE,QAAgB,CAAC,WAAW,CAAC,EACjD,CAAC;gBACD,OAAQ,QAAgB,CAAC,WAAW,CAAC,IAAI,IAAI,SAAS,CAAC;YACzD,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACvD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;YAChE,IAAI,QAAQ,CAAC,KAAK,EAAE,SAAS;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;YAC/D,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,MAAM;YAAE,MAAM;QAC7B,MAAM,GAAG,MAAM,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/lib/schema/service.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Service parameter schemas — the `Schema` field of a modda, bean or deployer
+ * entry in `webda.module.json`.
+ *
+ * This is the first third of stage 7 and the easiest: plain configuration
+ * objects, no accessors, no model semantics, but it exercises the whole
+ * pipeline. 1,589 of the corpus's 4,154 schema nodes come from here.
+ *
+ * The schema is generated from the **type argument** of the service's base
+ * clause — the `X` in `class Store extends Service<StoreParameters>` — not
+ * from the service class and not from `loadParameters`. That is what
+ * `ModuleGenerator.getSchemaNode` does, and the committed artefact reflects
+ * it.
+ */
+import type { Checker, Project } from "typescript/unstable/sync";
+import type { ClassDeclaration, TypeNode } from "typescript/unstable/ast";
+import type { JSONSchema7 } from "./types.ts";
+/** What is needed to find and convert a service's parameters. */
+export interface ServiceSchemaOptions {
+    /** Project the checker belongs to. */
+    project: Project;
+    /** The resident checker. */
+    checker: Checker;
+    /**
+     * Base type the parameters must derive from. `ServiceParameters` for moddas
+     * and beans, `DeployerResources` for deployers.
+     */
+    parametersBase?: string;
+    /**
+     * Add the free-form `openapi` property. True for moddas and beans, false
+     * for deployers — `WebdaSchemaResults.generateSchemas` gates it the same
+     * way.
+     */
+    addOpenApi?: boolean;
+    /** `title` for the document; the service class name, not the parameters class. */
+    title?: string;
+}
+/**
+ * Find the parameters type node on a service class.
+ *
+ * Two shapes are accepted, matching `getSchemaNode`:
+ *
+ * - `class S extends Service<SParameters>` — the type argument
+ * - `class S<T extends SParameters> extends Service<T>` — the constraint
+ *
+ * The base chain is walked because a service commonly names its parameters on
+ * an intermediate class rather than on itself.
+ * @param declaration - the service class
+ * @param checker - the checker resolving base types
+ * @param project - project used to resolve declaration handles
+ * @param base - name of the type the parameters must derive from
+ * @returns the type node, or undefined when the class declares none
+ */
+export declare function findParametersNode(declaration: ClassDeclaration, checker: Checker, project: Project, base?: string): TypeNode | undefined;
+/**
+ * Generate a service's `Schema` entry.
+ * @param declaration - the service class
+ * @param options - checker, project and post-processing switches
+ * @returns the schema, or undefined when the service declares no parameters
+ */
+export declare function generateServiceSchema(declaration: ClassDeclaration, options: ServiceSchemaOptions): JSONSchema7 | undefined;
+//# sourceMappingURL=service.d.ts.map

package/lib/schema/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../src/schema/service.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAA4B,MAAM,0BAA0B,CAAC;AAE3F,OAAO,KAAK,EAAE,gBAAgB,EAAQ,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGhF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,iEAAiE;AACjE,MAAM,WAAW,oBAAoB;IACnC,sCAAsC;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,4BAA4B;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,kFAAkF;IAClF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,gBAAgB,EAC7B,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,EAChB,IAAI,SAAsB,GACzB,QAAQ,GAAG,SAAS,CAgBtB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,gBAAgB,EAC7B,OAAO,EAAE,oBAAoB,GAC5B,WAAW,GAAG,SAAS,CAiBzB"}

package/lib/schema/service.js

@@ -0,0 +1,130 @@
+import { SyntaxKind } from "typescript/unstable/ast";
+import * as is from "typescript/unstable/ast/is";
+import { SchemaConverter } from "./converter.js";
+/**
+ * Find the parameters type node on a service class.
+ *
+ * Two shapes are accepted, matching `getSchemaNode`:
+ *
+ * - `class S extends Service<SParameters>` — the type argument
+ * - `class S<T extends SParameters> extends Service<T>` — the constraint
+ *
+ * The base chain is walked because a service commonly names its parameters on
+ * an intermediate class rather than on itself.
+ * @param declaration - the service class
+ * @param checker - the checker resolving base types
+ * @param project - project used to resolve declaration handles
+ * @param base - name of the type the parameters must derive from
+ * @returns the type node, or undefined when the class declares none
+ */
+export function findParametersNode(declaration, checker, project, base = "ServiceParameters") {
+    for (const cls of classChain(declaration, checker, project)) {
+        for (const clause of cls.heritageClauses ?? []) {
+            if (clause.token !== SyntaxKind.ExtendsKeyword)
+                continue;
+            for (const heritage of clause.types) {
+                for (const argument of heritage.typeArguments ?? []) {
+                    if (derivesFrom(checker.getTypeFromTypeNode(argument), base, checker))
+                        return argument;
+                }
+            }
+        }
+        for (const parameter of cls.typeParameters ?? []) {
+            const constraint = parameter.constraint;
+            if (constraint && derivesFrom(checker.getTypeFromTypeNode(constraint), base, checker))
+                return constraint;
+        }
+    }
+    return undefined;
+}
+/**
+ * Generate a service's `Schema` entry.
+ * @param declaration - the service class
+ * @param options - checker, project and post-processing switches
+ * @returns the schema, or undefined when the service declares no parameters
+ */
+export function generateServiceSchema(declaration, options) {
+    const node = findParametersNode(declaration, options.checker, options.project, options.parametersBase);
+    if (!node)
+        return undefined;
+    const converter = new SchemaConverter({ project: options.project, checker: options.checker, mode: "input" });
+    const schema = converter.fromNode(node);
+    // Both of these are applied after the recursive key sort in the TypeScript 6
+    // pipeline, so they land at the end of their objects. `webda.module.json` is
+    // compared by value, not by key order, but the same order is kept here so a
+    // textual diff of the artefact stays clean.
+    if (options.addOpenApi) {
+        schema.properties ??= {};
+        schema.properties.openapi = { type: "object", additionalProperties: true };
+    }
+    if (options.title)
+        schema.title = options.title;
+    return schema;
+}
+/**
+ * A class declaration and each class it derives from, nearest first.
+ *
+ * Keyed on declaration rather than name: `class Store extends Store` is
+ * ordinary in Webda, and a name-keyed guard stops the walk one link short.
+ * @param declaration - the starting class
+ * @param checker - the checker resolving base types
+ * @param project - project used to resolve declaration handles
+ * @returns the class declarations in the chain
+ */
+function classChain(declaration, checker, project) {
+    const chain = [];
+    const seen = new Set();
+    let current = declaration;
+    while (current && !seen.has(current) && chain.length < 64) {
+        seen.add(current);
+        chain.push(current);
+        const symbol = current.name ? checker.getSymbolAtLocation(current.name) : undefined;
+        const declared = symbol ? checker.getDeclaredTypeOfSymbol(symbol) : undefined;
+        const baseType = declared?.isClassOrInterface() ? checker.getBaseTypes(declared)[0] : undefined;
+        current = baseType ? resolveClass(baseType, project) : undefined;
+    }
+    return chain;
+}
+/**
+ * Whether a type is, or derives from, a named class.
+ * @param type - the type to test
+ * @param name - the base class name
+ * @param checker - the checker resolving base types
+ * @returns true on a match
+ */
+function derivesFrom(type, name, checker) {
+    const seen = new Set();
+    const queue = [type];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        if (seen.has(current.id))
+            continue;
+        seen.add(current.id);
+        const symbol = current.getSymbol();
+        if (symbol?.name === name)
+            return true;
+        // `Service<StoreParameters<T>>` hands back an instantiated reference, and
+        // an instantiated reference reports no base types of its own. Re-resolving
+        // through the symbol reaches the generic target, which does — without this
+        // a generic parameters class silently falls back to the base
+        // `ServiceParameters` and emits the wrong schema.
+        const declared = symbol ? checker.getDeclaredTypeOfSymbol(symbol) : current;
+        const walkable = declared.isClassOrInterface() ? declared : current;
+        if (!walkable.isClassOrInterface())
+            continue;
+        queue.push(...checker.getBaseTypes(walkable));
+    }
+    return false;
+}
+/**
+ * The class declaration behind a type, if it has one.
+ * @param type - the type
+ * @param project - project used to resolve the declaration handle
+ * @returns the class declaration
+ */
+function resolveClass(type, project) {
+    const symbol = type.getSymbol();
+    const node = symbol?.valueDeclaration?.resolve(project) ?? symbol?.declarations[0]?.resolve(project);
+    return node && is.isClassDeclaration(node) ? node : undefined;
+}
+//# sourceMappingURL=service.js.map

package/lib/schema/service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/schema/service.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,OAAO,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAwBjD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAChC,WAA6B,EAC7B,OAAgB,EAChB,OAAgB,EAChB,IAAI,GAAG,mBAAmB;IAE1B,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC,cAAc;gBAAE,SAAS;YACzD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACpC,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;oBACpD,IAAI,WAAW,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC;wBAAE,OAAO,QAAQ,CAAC;gBACzF,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;YACjD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;YACxC,IAAI,UAAU,IAAI,WAAW,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC;gBAAE,OAAO,UAAU,CAAC;QAC3G,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAA6B,EAC7B,OAA6B;IAE7B,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IACvG,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,SAAS,GAAG,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7G,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAExC,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,4CAA4C;IAC5C,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,CAAC,UAAU,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,UAAU,CAAC,OAAO,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,OAAO,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAChD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,UAAU,CAAC,WAA6B,EAAE,OAAgB,EAAE,OAAgB;IACnF,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC7B,IAAI,OAAO,GAAiC,WAAW,CAAC;IAExD,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC1D,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEpB,MAAM,MAAM,GAAyB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1G,MAAM,QAAQ,GAAqB,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChG,MAAM,QAAQ,GAAqB,QAAQ,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClH,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,IAAU,EAAE,IAAY,EAAE,OAAgB;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAW,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAErB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;QACnC,IAAI,MAAM,EAAE,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAEvC,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,6DAA6D;QAC7D,kDAAkD;QAClD,MAAM,QAAQ,GAAS,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;QACpE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE;YAAE,SAAS;QAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAU,EAAE,OAAgB;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACrG,OAAO,IAAI,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC"}

package/lib/schema/types.d.ts

@@ -0,0 +1,61 @@
+/**
+ * The JSON Schema subset Webda actually emits, plus the failure type.
+ *
+ * Measured across core, models, runtime and sample-app the committed corpus is
+ * 4,154 nodes using twelve keywords — no `oneOf`, no `not`, no
+ * `patternProperties`, no conditionals. The index signature is still open
+ * because JSDoc tags can introduce arbitrary keywords (see `annotations.ts`).
+ */
+/** A JSON Schema draft-07 document or subschema. */
+export interface JSONSchema7 {
+    $schema?: string;
+    $ref?: string;
+    $id?: string;
+    $comment?: string;
+    title?: string;
+    description?: string;
+    default?: unknown;
+    const?: unknown;
+    enum?: unknown[];
+    type?: string | string[];
+    format?: string;
+    properties?: Record<string, JSONSchema7>;
+    required?: string[];
+    additionalProperties?: boolean | JSONSchema7;
+    items?: JSONSchema7 | JSONSchema7[];
+    minItems?: number;
+    maxItems?: number;
+    anyOf?: JSONSchema7[];
+    allOf?: JSONSchema7[];
+    not?: JSONSchema7;
+    definitions?: Record<string, JSONSchema7>;
+    contentEncoding?: string;
+    contentMediaType?: string;
+    pattern?: string;
+    readOnly?: boolean;
+    /** JSDoc tags can set arbitrary keywords. */
+    [keyword: string]: unknown;
+}
+/**
+ * Raised when a type cannot be converted.
+ *
+ * The stage 7 plan makes this the load-bearing part of the design. Every bug
+ * found while porting stages 4 to 6 produced plausible output that
+ * type-checked; for a schema the same failure is worse, because valid JSON
+ * that describes the wrong contract validates real payloads against it and
+ * nothing complains. So there is no best-effort path: an unconvertible type
+ * stops generation and names itself.
+ */
+export declare class SchemaConversionError extends Error {
+    /** Schema path where conversion failed, e.g. `/MyParams/store`. */
+    readonly path: string;
+    /** The type as the checker prints it. */
+    readonly typeName: string;
+    /**
+     * @param message - what could not be converted
+     * @param path - schema path of the offending property
+     * @param typeName - stringified type
+     */
+    constructor(message: string, path: string, typeName: string);
+}
+//# sourceMappingURL=types.d.ts.map

package/lib/schema/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,oDAAoD;AACpD,MAAM,WAAW,WAAW;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,oBAAoB,CAAC,EAAE,OAAO,GAAG,WAAW,CAAC;IAC7C,KAAK,CAAC,EAAE,WAAW,GAAG,WAAW,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1C,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,6CAA6C;IAC7C,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;CAC5B;AAED;;;;;;;;;GASG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,mEAAmE;IACnE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B;;;;OAIG;IACH,YAAY,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAK1D;CACF"}

package/lib/schema/types.js

@@ -0,0 +1,36 @@
+/**
+ * The JSON Schema subset Webda actually emits, plus the failure type.
+ *
+ * Measured across core, models, runtime and sample-app the committed corpus is
+ * 4,154 nodes using twelve keywords — no `oneOf`, no `not`, no
+ * `patternProperties`, no conditionals. The index signature is still open
+ * because JSDoc tags can introduce arbitrary keywords (see `annotations.ts`).
+ */
+/**
+ * Raised when a type cannot be converted.
+ *
+ * The stage 7 plan makes this the load-bearing part of the design. Every bug
+ * found while porting stages 4 to 6 produced plausible output that
+ * type-checked; for a schema the same failure is worse, because valid JSON
+ * that describes the wrong contract validates real payloads against it and
+ * nothing complains. So there is no best-effort path: an unconvertible type
+ * stops generation and names itself.
+ */
+export class SchemaConversionError extends Error {
+    /** Schema path where conversion failed, e.g. `/MyParams/store`. */
+    path;
+    /** The type as the checker prints it. */
+    typeName;
+    /**
+     * @param message - what could not be converted
+     * @param path - schema path of the offending property
+     * @param typeName - stringified type
+     */
+    constructor(message, path, typeName) {
+        super(`${message} at ${path} (type ${typeName})`);
+        this.name = "SchemaConversionError";
+        this.path = path;
+        this.typeName = typeName;
+    }
+}
+//# sourceMappingURL=types.js.map

package/lib/schema/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAiCH;;;;;;;;;GASG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,mEAAmE;IAC1D,IAAI,CAAS;IACtB,yCAAyC;IAChC,QAAQ,CAAS;IAE1B;;;;OAIG;IACH,YAAY,OAAe,EAAE,IAAY,EAAE,QAAgB;QACzD,KAAK,CAAC,GAAG,OAAO,OAAO,IAAI,UAAU,QAAQ,GAAG,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF"}

package/lib/schema/worker-cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=worker-cli.d.ts.map

package/lib/schema/worker-cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker-cli.d.ts","sourceRoot":"","sources":["../../src/schema/worker-cli.ts"],"names":[],"mappings":""}

package/lib/schema/worker-cli.js

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+/**
+ * Entry point for the schema worker; see `./worker.ts` for the protocol.
+ */
+import { main } from "./worker.js";
+await main();
+//# sourceMappingURL=worker-cli.js.map

package/lib/schema/worker-cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker-cli.js","sourceRoot":"","sources":["../../src/schema/worker-cli.ts"],"names":[],"mappings":";AACA;;GAEG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAEnC,MAAM,IAAI,EAAE,CAAC"}