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

package/lib/generators/loadparameters.js

@@ -0,0 +1,175 @@
+/**
+ * `loadParameters` generator — the typed equivalent of
+ * `packages/compiler/src/morpher/loadparameters.ts`.
+ *
+ * For every class extending `Service<T>` that does not already declare
+ * `loadParameters`, generate:
+ *
+ * ```ts
+ * protected loadParameters(data: any): T {
+ *   return new T().load(data);
+ * }
+ * ```
+ *
+ * `T` is resolved the same way the morpher resolves it: the explicit type
+ * argument on the `extends` clause, falling back to walking the base chain,
+ * then to the type parameter's default or constraint.
+ *
+ * Unlike the morpher this writes nothing to disk — the method is injected into
+ * the compiler's view of the file in pass 2.
+ */
+import { SymbolFlags, isTypeParameter } from "typescript/unstable/sync";
+import { classesOf, memberName } from "../context.js";
+/** Base class whose subclasses receive the generated method. */
+const SERVICE_BASE = "Service";
+/**
+ * Resolve the parameters type for a service class.
+ *
+ * Mirrors `getTypeArgumentName`: prefer the explicit `extends Service<T>` type
+ * argument; otherwise ask the checker for the base type's argument, which
+ * covers `class A extends B` where `B extends Service<T>`.
+ * @param ctx - analysis context
+ * @param sf - containing source file
+ * @param cls - the class declaration
+ * @returns the parameters type name, if resolvable
+ */
+function parametersTypeName(ctx, sf, cls) {
+    for (const clause of cls.heritageClauses ?? []) {
+        if (clause.token !== 95)
+            continue; // ExtendsKeyword
+        for (const t of clause.types) {
+            const args = t.typeArguments;
+            if (!args?.length)
+                continue;
+            const written = ctx.textOf(sf, args[0]);
+            // `class Svc<T> extends Service<T>` — `new T()` is not constructible.
+            // Mirror the morpher: fall back to the type parameter's default, then to
+            // its constraint. Without this, generic services emit TS2693.
+            const argType = ctx.checker.getTypeFromTypeNode(args[0]);
+            if (argType && isTypeParameter(argType)) {
+                const dflt = ctx.checker.getDefaultFromTypeParameter(argType);
+                if (dflt)
+                    return ctx.checker.typeToString(dflt);
+                const constraint = ctx.checker.getConstraintOfTypeParameter(argType);
+                if (constraint)
+                    return ctx.checker.typeToString(constraint);
+                return undefined; // unconstrained generic: not safely constructible
+            }
+            return written;
+        }
+    }
+    // No explicit argument — ask the checker for the instantiated base type.
+    try {
+        const symbol = ctx.checker.getSymbolAtLocation(cls.name);
+        if (!symbol)
+            return undefined;
+        const declared = ctx.checker.getDeclaredTypeOfSymbol(symbol);
+        const bases = ctx.checker.getBaseTypes?.(declared) ?? [];
+        for (const base of bases) {
+            const printed = ctx.checker.typeToString(base);
+            const m = /^Service<\s*(.+?)\s*>$/.exec(printed);
+            if (m)
+                return m[1];
+        }
+    }
+    catch {
+        // Best-effort: an unresolvable base simply means we skip the class.
+    }
+    return undefined;
+}
+/**
+ * Verify the resolved parameters type is actually usable in `new T().load(data)`
+ * *at this location*: resolvable as a value, constructible with no arguments,
+ * and exposing a `load` method.
+ *
+ * Without these checks the generator emits code that does not compile — on
+ * `packages/core` it produced TS2304 (name not in scope), TS2554 (constructor
+ * needs arguments) and TS2349 (no `load`). Skipping is always safe: the class
+ * simply keeps today's behaviour.
+ * @param ctx - analysis context
+ * @param typeName - the resolved parameters type name
+ * @param location - node used for scope resolution
+ * @returns true when the generated call would be valid
+ */
+function isUsable(ctx, typeName, location) {
+    // A qualified or generic name is beyond what this PoC verifies.
+    if (!/^[A-Za-z_$][\w$]*$/.test(typeName))
+        return false;
+    const symbol = ctx.checker.resolveName(typeName, SymbolFlags.Value, location);
+    if (!symbol)
+        return false;
+    const ctorType = ctx.checker.getTypeOfSymbol(symbol);
+    if (!ctorType)
+        return false;
+    // 1 === SignatureKind.Construct
+    const ctors = ctx.checker.getSignaturesOfType(ctorType, 1);
+    if (!ctors.length)
+        return false;
+    const zeroArgOk = ctors.some(sig => {
+        const params = sig.parameters ?? [];
+        const minArgs = sig.minArgumentCount ?? params.length;
+        return minArgs === 0;
+    });
+    if (!zeroArgOk)
+        return false;
+    const instance = ctx.checker.getDeclaredTypeOfSymbol(symbol);
+    return !!(instance && ctx.checker.getPropertyOfType(instance, "load"));
+}
+/**
+ * Indentation to use for a generated member, inferred from the class body.
+ * @param text - file text
+ * @param cls - the class declaration
+ * @returns leading whitespace
+ */
+function memberIndent(text, cls) {
+    const first = cls.members?.[0];
+    if (!first)
+        return "  ";
+    const start = first.getStart?.() ?? first.pos;
+    const lineStart = text.lastIndexOf("\n", start - 1) + 1;
+    const prefix = text.slice(lineStart, start);
+    return /^[ \t]*$/.test(prefix) ? prefix : "  ";
+}
+/**
+ * Create the loadParameters generator.
+ * @returns a generator
+ */
+export function loadParametersGenerator() {
+    return {
+        name: "loadParameters",
+        analyze(ctx) {
+            const out = [];
+            for (const sf of ctx.sourceFiles) {
+                const edits = [];
+                for (const cls of classesOf(sf)) {
+                    if (!ctx.baseNames(sf, cls).includes(SERVICE_BASE))
+                        continue;
+                    // Respect a hand-written implementation.
+                    if (cls.members.some((m) => memberName(m) === "loadParameters"))
+                        continue;
+                    const paramsType = parametersTypeName(ctx, sf, cls);
+                    if (!paramsType)
+                        continue;
+                    if (!isUsable(ctx, paramsType, cls))
+                        continue;
+                    const indent = memberIndent(sf.text, cls);
+                    const last = cls.members?.[cls.members.length - 1];
+                    const insertAt = last ? last.end : cls.end - 1;
+                    const text = [
+                        ``,
+                        ``,
+                        `${indent}/** Generated by @webda/codegen. */`,
+                        `${indent}protected loadParameters(data: any): ${paramsType} {`,
+                        `${indent}  return new ${paramsType}().load(data);`,
+                        `${indent}}`
+                    ].join("\n");
+                    edits.push({ start: insertAt, end: insertAt, text, source: "loadParameters" });
+                }
+                if (edits.length)
+                    out.push({ fileName: sf.fileName, edits });
+            }
+            return out;
+        }
+    };
+}
+//# sourceMappingURL=loadparameters.js.map

package/lib/generators/loadparameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loadparameters.js","sourceRoot":"","sources":["../../src/generators/loadparameters.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGtD,gEAAgE;AAChE,MAAM,YAAY,GAAG,SAAS,CAAC;AAE/B;;;;;;;;;;GAUG;AACH,SAAS,kBAAkB,CAAC,GAAoB,EAAE,EAAO,EAAE,GAAQ;IACjE,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;QAC/C,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE;YAAE,SAAS,CAAC,iBAAiB;QACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAI,CAAS,CAAC,aAAa,CAAC;YACtC,IAAI,CAAC,IAAI,EAAE,MAAM;gBAAE,SAAS;YAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAExC,sEAAsE;YACtE,yEAAyE;YACzE,8DAA8D;YAC9D,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,IAAI,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,OAAc,CAAC,CAAC;gBACrE,IAAI,IAAI;oBAAE,OAAO,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,OAAc,CAAC,CAAC;gBAC5E,IAAI,UAAU;oBAAE,OAAO,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;gBAC5D,OAAO,SAAS,CAAC,CAAC,kDAAkD;YACtE,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,QAAe,CAAC,IAAI,EAAE,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,CAAC,GAAG,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;IACtE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,QAAQ,CAAC,GAAoB,EAAE,QAAgB,EAAE,QAAa;IACrE,gEAAgE;IAChE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9E,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAE1B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,gCAAgC;IAChC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,EAAE,CAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACjC,MAAM,MAAM,GAAI,GAAW,CAAC,UAAU,IAAI,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAI,GAAW,CAAC,gBAAgB,IAAI,MAAM,CAAC,MAAM,CAAC;QAC/D,OAAO,OAAO,KAAK,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAE7B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7D,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAY,EAAE,GAAQ;IAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC5C,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,OAAO,CAAC,GAAoB;YAC1B,MAAM,GAAG,GAAgB,EAAE,CAAC;YAE5B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAW,EAAE,CAAC;gBAEzB,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;oBAChC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;wBAAE,SAAS;oBAE7D,yCAAyC;oBACzC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC;wBAAE,SAAS;oBAE/E,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;oBACpD,IAAI,CAAC,UAAU;wBAAE,SAAS;oBAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC;wBAAE,SAAS;oBAE9C,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;oBAE/C,MAAM,IAAI,GAAG;wBACX,EAAE;wBACF,EAAE;wBACF,GAAG,MAAM,qCAAqC;wBAC9C,GAAG,MAAM,wCAAwC,UAAU,IAAI;wBAC/D,GAAG,MAAM,gBAAgB,UAAU,gBAAgB;wBACnD,GAAG,MAAM,GAAG;qBACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAEb,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;gBACjF,CAAC;gBAED,IAAI,KAAK,CAAC,MAAM;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/D,CAAC;YAED,OAAO,GAAG,CAAC;QACb,CAAC;KACF,CAAC;AACJ,CAAC"}

package/lib/generators/qlvalidator.d.ts

@@ -0,0 +1,53 @@
+/**
+ * WebdaQL generator — the typed replacement for
+ * `@webda/ts-plugin/transforms/qlvalidator.ts`.
+ *
+ * Two jobs, and they use different output channels:
+ *
+ * - **Validation.** Arguments typed `WebdaQLString<T>` are parsed at compile
+ *   time and reported through `FileEdits.diagnostics`, which the content mapper
+ *   protocol carries in `TransformResult.diagnostics`. Positions refer to the
+ *   authored file, so errors land on the query the developer wrote.
+ * - **Rewrite.** A template literal is turned into an `escape(parts, values)`
+ *   call so interpolated values cannot break out of the query.
+ *
+ * The original builds the rewrite with `ts.factory`, removed in TypeScript 7;
+ * here it is text through the shared plan model.
+ */
+import type { SourceFile } from "typescript/unstable/ast";
+import type { Generator } from "../plan.ts";
+/** Options for the WebdaQL generator. */
+export interface QlValidatorOptions {
+    /**
+     * Parse a query, throwing on a grammar error.
+     *
+     * Injected so the generator stays testable without pulling the ANTLR runtime
+     * into every unit test. Defaults to `parse` from `@webda/ql`.
+     */
+    parse?: (query: string) => unknown;
+    /** Module specifier providing `escape`. */
+    qlModule?: string;
+}
+/**
+ * Attribute paths referenced by a query, as written.
+ *
+ * Deliberately syntactic: the compile-time check only needs the head of each
+ * comparison, and reusing the full query AST would tie this generator to the
+ * parser's shape.
+ * @param query - raw query text
+ * @returns referenced attribute heads
+ */
+export declare function referencedAttributes(query: string): string[];
+/**
+ * Create the WebdaQL generator.
+ * @param options - generator options
+ * @returns a generator
+ */
+export declare function qlValidatorGenerator(options?: QlValidatorOptions): Generator;
+/** Re-exported so hosts can label diagnostics consistently. */
+export declare const WQL_CODES: {
+    UNKNOWN_ATTRIBUTE: number;
+    GRAMMAR_ERROR: number;
+};
+export type { SourceFile };
+//# sourceMappingURL=qlvalidator.d.ts.map

package/lib/generators/qlvalidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"qlvalidator.d.ts","sourceRoot":"","sources":["../../src/generators/qlvalidator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAyD,SAAS,EAAE,MAAM,YAAY,CAAC;AAUnG,yCAAyC;AACzC,MAAM,WAAW,kBAAkB;IACjC;;;;;OAKG;IACH,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;IACnC,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AA4CD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAS5D;AA2CD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,GAAE,kBAAuB,GAAG,SAAS,CAsIhF;AAED,+DAA+D;AAC/D,eAAO,MAAM,SAAS;;;CAAiF,CAAC;AAExG,YAAY,EAAE,UAAU,EAAE,CAAC"}

package/lib/generators/qlvalidator.js

@@ -0,0 +1,238 @@
+import * as is from "typescript/unstable/ast/is";
+/** Module providing the runtime `escape` helper. */
+const QL_MODULE = "@webda/ql";
+/** Unknown attribute referenced by a query. */
+const WQL_UNKNOWN_ATTRIBUTE = 9001;
+/** Query text does not parse. */
+const WQL_GRAMMAR_ERROR = 9002;
+/**
+ * Unwrap `WebdaQLString<T>` to `T`.
+ *
+ * The brand is an alias, so the alias arguments are checked first; a value that
+ * has flowed through a union keeps the brand as a property, which is the
+ * fallback.
+ * @param ctx - analysis context
+ * @param type - the parameter type to unwrap
+ * @returns the target type, when the parameter is a branded query string
+ */
+function peelWebdaQLString(ctx, type) {
+    if (!type)
+        return undefined;
+    const aliasSymbol = type.getAliasSymbol?.() ?? type.aliasSymbol;
+    if (aliasSymbol?.name === "WebdaQLString") {
+        const args = type.getAliasTypeArguments?.() ?? type.aliasTypeArguments;
+        if (args?.[0])
+            return args[0];
+    }
+    if (type.isUnionOrIntersection?.()) {
+        for (const member of type.types ?? []) {
+            const peeled = peelWebdaQLString(ctx, member);
+            if (peeled)
+                return peeled;
+        }
+    }
+    const brand = ctx.checker.getPropertyOfType(type, "__webdaQL");
+    return brand ? ctx.checker.getTypeOfSymbol(brand) : undefined;
+}
+/**
+ * Attribute names queryable on a type.
+ * @param ctx - analysis context
+ * @param type - the target type
+ * @returns property names
+ */
+function queryableAttributes(ctx, type) {
+    return (type?.getProperties?.() ?? [])
+        .map((property) => property.name)
+        .filter((name) => typeof name === "string" && !name.startsWith("__"));
+}
+/**
+ * Attribute paths referenced by a query, as written.
+ *
+ * Deliberately syntactic: the compile-time check only needs the head of each
+ * comparison, and reusing the full query AST would tie this generator to the
+ * parser's shape.
+ * @param query - raw query text
+ * @returns referenced attribute heads
+ */
+export function referencedAttributes(query) {
+    const names = new Set();
+    for (const match of query.matchAll(/([A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)*)(?:\s*(?:=|!=|<|>|<=|>=|IN|LIKE)|\s+IS\s+(?:NOT\s+)?NULL\b)/gi)) {
+        const head = match[1].split(".")[0];
+        if (!/^(AND|OR|NOT|TRUE|FALSE|IN|LIKE|IS|NULL)$/i.test(head))
+            names.add(head);
+    }
+    return [...names];
+}
+/**
+ * Closest candidate by edit distance, for "did you mean".
+ * @param needle - the unknown name
+ * @param candidates - known attribute names
+ * @returns the nearest candidate, when one is close enough
+ */
+function nearestNeighbour(needle, candidates) {
+    let best;
+    // Matches the original's cutoff: within two edits, otherwise the suggestion
+    // is noise. A transposition such as `titel` for `title` costs two.
+    let bestDistance = 3;
+    for (const candidate of candidates) {
+        const distance = levenshtein(needle, candidate);
+        if (distance < bestDistance) {
+            bestDistance = distance;
+            best = candidate;
+        }
+    }
+    return best;
+}
+/**
+ * Levenshtein distance between two strings.
+ * @param a - first string
+ * @param b - second string
+ * @returns the edit distance
+ */
+function levenshtein(a, b) {
+    const row = Array.from({ length: b.length + 1 }, (_, i) => i);
+    for (let i = 1; i <= a.length; i++) {
+        let previous = row[0];
+        row[0] = i;
+        for (let j = 1; j <= b.length; j++) {
+            const current = row[j];
+            row[j] = Math.min(row[j] + 1, row[j - 1] + 1, previous + (a[i - 1] === b[j - 1] ? 0 : 1));
+            previous = current;
+        }
+    }
+    return row[b.length];
+}
+/**
+ * Create the WebdaQL generator.
+ * @param options - generator options
+ * @returns a generator
+ */
+export function qlValidatorGenerator(options = {}) {
+    const qlModule = options.qlModule ?? QL_MODULE;
+    return {
+        name: "qlvalidator",
+        analyze(ctx) {
+            const out = [];
+            for (const sf of ctx.sourceFiles) {
+                const edits = [];
+                const diagnostics = [];
+                let needsEscape = false;
+                visit(sf);
+                if (edits.length || diagnostics.length) {
+                    if (needsEscape && !new RegExp(`\\bescape\\b`).test(sf.text)) {
+                        edits.push({
+                            start: 0,
+                            end: 0,
+                            text: `import { escape } from ${JSON.stringify(qlModule)};\n`,
+                            source: "qlvalidator"
+                        });
+                    }
+                    out.push({ fileName: sf.fileName, edits, diagnostics });
+                }
+                /**
+                 * Walk the file for calls whose parameter is a branded query string.
+                 *
+                 * `Node.forEachChild` is a method on the node in TypeScript 7. Walking
+                 * own properties instead follows `parent` back-references and recurses
+                 * until the stack overflows.
+                 * @param node - current node
+                 */
+                function visit(node) {
+                    if (is.isCallExpression(node))
+                        inspectCall(node);
+                    node.forEachChild?.((child) => {
+                        visit(child);
+                        return undefined;
+                    });
+                }
+                /**
+                 * Validate and possibly rewrite one call's arguments.
+                 * @param call - the call expression
+                 */
+                function inspectCall(call) {
+                    const signature = ctx.checker.getResolvedSignature?.(call);
+                    if (!signature)
+                        return;
+                    // `Signature.parameters` is a list of raw handles; `getParameterType`
+                    // is the supported way to read a parameter's type.
+                    call.arguments?.forEach((argument, index) => {
+                        const parameterType = ctx.checker.getParameterType(signature, index);
+                        const target = peelWebdaQLString(ctx, parameterType);
+                        if (!target)
+                            return;
+                        inspectArgument(argument, target);
+                    });
+                }
+                /**
+                 * Validate a query argument, rewriting template literals.
+                 * @param argument - the argument expression
+                 * @param target - the type attributes are checked against
+                 */
+                function inspectArgument(argument, target) {
+                    if (is.isStringLiteral(argument) || is.isNoSubstitutionTemplateLiteral(argument)) {
+                        validateQuery(argument.text, argument, target);
+                        return;
+                    }
+                    if (is.isTemplateExpression(argument)) {
+                        // Static parts are validated with a placeholder standing in for each
+                        // interpolation, so a hole cannot hide an unknown attribute.
+                        const parts = [argument.head.text, ...argument.templateSpans.map((span) => span.literal.text)];
+                        validateQuery(parts.join("?"), argument, target);
+                        const values = argument.templateSpans.map((span) => ctx.textOf(sf, span.expression)).join(", ");
+                        const partsLiteral = parts.map(part => JSON.stringify(part)).join(", ");
+                        edits.push({
+                            start: argument.getStart(),
+                            end: argument.end,
+                            text: `escape([${partsLiteral}], [${values}])`,
+                            source: "qlvalidator"
+                        });
+                        needsEscape = true;
+                    }
+                }
+                /**
+                 * Parse a query and check its attributes against the target type.
+                 * @param query - query text
+                 * @param node - node used for diagnostic position
+                 * @param target - the type attributes are checked against
+                 */
+                function validateQuery(query, node, target) {
+                    const start = node.getStart();
+                    const length = node.end - start;
+                    if (options.parse) {
+                        try {
+                            options.parse(query);
+                        }
+                        catch (error) {
+                            diagnostics.push({
+                                start,
+                                length,
+                                code: WQL_GRAMMAR_ERROR,
+                                messageText: `WebdaQL grammar error: ${String(error?.message ?? error)}`
+                            });
+                            return;
+                        }
+                    }
+                    const known = queryableAttributes(ctx, target);
+                    if (!known.length)
+                        return;
+                    for (const attribute of referencedAttributes(query)) {
+                        if (known.includes(attribute))
+                            continue;
+                        const suggestion = nearestNeighbour(attribute, known);
+                        diagnostics.push({
+                            start,
+                            length,
+                            code: WQL_UNKNOWN_ATTRIBUTE,
+                            messageText: `Unknown attribute '${attribute}' in WebdaQL query` +
+                                (suggestion ? `. Did you mean '${suggestion}'?` : ".")
+                        });
+                    }
+                }
+            }
+            return out;
+        }
+    };
+}
+/** Re-exported so hosts can label diagnostics consistently. */
+export const WQL_CODES = { UNKNOWN_ATTRIBUTE: WQL_UNKNOWN_ATTRIBUTE, GRAMMAR_ERROR: WQL_GRAMMAR_ERROR };
+//# sourceMappingURL=qlvalidator.js.map

package/lib/generators/qlvalidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"qlvalidator.js","sourceRoot":"","sources":["../../src/generators/qlvalidator.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGjD,oDAAoD;AACpD,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,+CAA+C;AAC/C,MAAM,qBAAqB,GAAG,IAAI,CAAC;AACnC,iCAAiC;AACjC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAe/B;;;;;;;;;GASG;AACH,SAAS,iBAAiB,CAAC,GAAoB,EAAE,IAAS;IACxD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC;IAChE,IAAI,WAAW,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,EAAE,EAAE,IAAI,IAAI,CAAC,kBAAkB,CAAC;QACvE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,mBAAmB,CAAC,GAAoB,EAAE,IAAS;IAC1D,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,CAAC;SACnC,GAAG,CAAC,CAAC,QAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAc,CAAC;SAC/C,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAa;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAChC,wGAAwG,CACzG,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,MAAc,EAAE,UAA6B;IACrE,IAAI,IAAwB,CAAC;IAC7B,4EAA4E;IAC5E,mEAAmE;IACnE,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,QAAQ,GAAG,YAAY,EAAE,CAAC;YAC5B,YAAY,GAAG,QAAQ,CAAC;YACxB,IAAI,GAAG,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YACvB,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1F,QAAQ,GAAG,OAAO,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAO,GAAuB,EAAE;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAE/C,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,OAAO,CAAC,GAAoB;YAC1B,MAAM,GAAG,GAAgB,EAAE,CAAC;YAE5B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAW,EAAE,CAAC;gBACzB,MAAM,WAAW,GAA0B,EAAE,CAAC;gBAC9C,IAAI,WAAW,GAAG,KAAK,CAAC;gBAExB,KAAK,CAAC,EAAE,CAAC,CAAC;gBAEV,IAAI,KAAK,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;oBACvC,IAAI,WAAW,IAAI,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7D,KAAK,CAAC,IAAI,CAAC;4BACT,KAAK,EAAE,CAAC;4BACR,GAAG,EAAE,CAAC;4BACN,IAAI,EAAE,0BAA0B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK;4BAC7D,MAAM,EAAE,aAAa;yBACtB,CAAC,CAAC;oBACL,CAAC;oBACD,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC1D,CAAC;gBAED;;;;;;;mBAOG;gBACH,SAAS,KAAK,CAAC,IAAS;oBACtB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBAAE,WAAW,CAAC,IAAI,CAAC,CAAC;oBACjD,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,KAAU,EAAE,EAAE;wBACjC,KAAK,CAAC,KAAK,CAAC,CAAC;wBACb,OAAO,SAAS,CAAC;oBACnB,CAAC,CAAC,CAAC;gBACL,CAAC;gBAED;;;mBAGG;gBACH,SAAS,WAAW,CAAC,IAAS;oBAC5B,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,CAAC;oBAC3D,IAAI,CAAC,SAAS;wBAAE,OAAO;oBAEvB,sEAAsE;oBACtE,mDAAmD;oBACnD,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAa,EAAE,KAAa,EAAE,EAAE;wBACvD,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;wBACrE,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;wBACrD,IAAI,CAAC,MAAM;4BAAE,OAAO;wBACpB,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;oBACpC,CAAC,CAAC,CAAC;gBACL,CAAC;gBAED;;;;mBAIG;gBACH,SAAS,eAAe,CAAC,QAAa,EAAE,MAAW;oBACjD,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACjF,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;wBAC/C,OAAO;oBACT,CAAC;oBAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACtC,qEAAqE;wBACrE,6DAA6D;wBAC7D,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;wBACpG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;wBAEjD,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBACrG,MAAM,YAAY,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBACxE,KAAK,CAAC,IAAI,CAAC;4BACT,KAAK,EAAG,QAAgB,CAAC,QAAQ,EAAE;4BACnC,GAAG,EAAE,QAAQ,CAAC,GAAG;4BACjB,IAAI,EAAE,WAAW,YAAY,OAAO,MAAM,IAAI;4BAC9C,MAAM,EAAE,aAAa;yBACtB,CAAC,CAAC;wBACH,WAAW,GAAG,IAAI,CAAC;oBACrB,CAAC;gBACH,CAAC;gBAED;;;;;mBAKG;gBACH,SAAS,aAAa,CAAC,KAAa,EAAE,IAAS,EAAE,MAAW;oBAC1D,MAAM,KAAK,GAAI,IAAY,CAAC,QAAQ,EAAE,CAAC;oBACvC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC;oBAEhC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;wBAClB,IAAI,CAAC;4BACH,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBACvB,CAAC;wBAAC,OAAO,KAAU,EAAE,CAAC;4BACpB,WAAW,CAAC,IAAI,CAAC;gCACf,KAAK;gCACL,MAAM;gCACN,IAAI,EAAE,iBAAiB;gCACvB,WAAW,EAAE,0BAA0B,MAAM,CAAC,KAAK,EAAE,OAAO,IAAI,KAAK,CAAC,EAAE;6BACzE,CAAC,CAAC;4BACH,OAAO;wBACT,CAAC;oBACH,CAAC;oBAED,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBAC/C,IAAI,CAAC,KAAK,CAAC,MAAM;wBAAE,OAAO;oBAC1B,KAAK,MAAM,SAAS,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;wBACpD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;4BAAE,SAAS;wBACxC,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;wBACtD,WAAW,CAAC,IAAI,CAAC;4BACf,KAAK;4BACL,MAAM;4BACN,IAAI,EAAE,qBAAqB;4BAC3B,WAAW,EACT,sBAAsB,SAAS,oBAAoB;gCACnD,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB,UAAU,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;yBACzD,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,GAAG,CAAC;QACb,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,aAAa,EAAE,iBAAiB,EAAE,CAAC"}

package/lib/index.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Webda's compile-time code generation, as a TypeScript 7.1 content mapper.
+ *
+ * TypeScript 7 removed custom emit transformers, `ts-patch` and language-service
+ * plugins. This package replaces them with the supported mechanism: a content
+ * mapper process that rewrites model and service sources into ordinary
+ * TypeScript before the compiler sees them, plus span maps so diagnostics,
+ * hover and rename still land on the authored text.
+ *
+ * Two hosts share one implementation of the transform:
+ *
+ * - {@link WarmSession} — used by the mapper process ({@link ./server.ts}) to
+ *   serve the editor and `tsc`.
+ * - {@link runTwoPass} — used by `@webda/compiler` to type-check and emit.
+ *
+ * See `docs/contribute/TypeScript 7 Content Mappers.md` for the rationale.
+ */
+export { DEFAULT_COERCIONS } from "./coercions.ts";
+export type { CoercionRegistry, CoercionRule } from "./coercions.ts";
+export { baseNames, classesOf, isStatic, memberName, openSession, textOf, triviaOf } from "./context.ts";
+export type { Session } from "./context.ts";
+export { applyEdits, mergePlan } from "./plan.ts";
+export type { AnalysisContext, Edit, FileEdits, GeneratedDiagnostic, Generator } from "./plan.ts";
+export { accessorsGenerator } from "./generators/accessors.ts";
+export type { AccessorOptions } from "./generators/accessors.ts";
+export { behaviorsGenerator, BEHAVIOR_PARENT_KEY } from "./generators/behaviors.ts";
+export type { BehaviorOptions } from "./generators/behaviors.ts";
+export { loadParametersGenerator } from "./generators/loadparameters.ts";
+export { qlValidatorGenerator, WQL_CODES } from "./generators/qlvalidator.ts";
+export type { QlValidatorOptions } from "./generators/qlvalidator.ts";
+export { buildMappedText, SpanMapKind } from "./spans.ts";
+export type { MappedText, SpanMapping } from "./spans.ts";
+export { buildModelMetadata, buildRelations, discoverWebdaObjects, reflectAttributes } from "./module-discovery.ts";
+export type { DiscoveredObject, DiscoveryOptions, ModelMetadata, ModelRelations, ReflectedAttribute, Section } from "./module-discovery.ts";
+export { WarmSession } from "./session.ts";
+export type { TransformOutcome, TransformTiming, WarmSessionOptions } from "./session.ts";
+export { defaultGenerators } from "./defaults.ts";
+export type { DefaultGeneratorOptions } from "./defaults.ts";
+export { runTwoPass } from "./twopass.ts";
+export type { TwoPassOptions, TwoPassResult } from "./twopass.ts";
+export { SchemaConverter } from "./schema/converter.ts";
+export type { BufferStrategy, ConverterOptions, SchemaMode } from "./schema/converter.ts";
+export { generateActionInput, generateActionOutput, normalizeDefinitions } from "./schema/action.ts";
+export type { ActionSchemaOptions } from "./schema/action.ts";
+export { generateModelSchemas } from "./schema/model.ts";
+export type { ModelSchemaOptions, ModelSchemas } from "./schema/model.ts";
+export { generateTopLevelSchemas, namespaceOf } from "./schema/project.ts";
+export type { TopLevelSchemaOptions } from "./schema/project.ts";
+export { findParametersNode, generateServiceSchema } from "./schema/service.ts";
+export type { ServiceSchemaOptions } from "./schema/service.ts";
+export { SchemaConversionError } from "./schema/types.ts";
+export type { JSONSchema7 } from "./schema/types.ts";
+//# sourceMappingURL=index.d.ts.map

package/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAErE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACzG,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAClD,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAElG,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACpF,YAAY,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC9E,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC1D,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACpH,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,kBAAkB,EAClB,OAAO,EACR,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,YAAY,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AACrG,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC3E,YAAY,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAChF,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC"}

package/lib/index.js

@@ -0,0 +1,36 @@
+/**
+ * Webda's compile-time code generation, as a TypeScript 7.1 content mapper.
+ *
+ * TypeScript 7 removed custom emit transformers, `ts-patch` and language-service
+ * plugins. This package replaces them with the supported mechanism: a content
+ * mapper process that rewrites model and service sources into ordinary
+ * TypeScript before the compiler sees them, plus span maps so diagnostics,
+ * hover and rename still land on the authored text.
+ *
+ * Two hosts share one implementation of the transform:
+ *
+ * - {@link WarmSession} — used by the mapper process ({@link ./server.ts}) to
+ *   serve the editor and `tsc`.
+ * - {@link runTwoPass} — used by `@webda/compiler` to type-check and emit.
+ *
+ * See `docs/contribute/TypeScript 7 Content Mappers.md` for the rationale.
+ */
+export { DEFAULT_COERCIONS } from "./coercions.js";
+export { baseNames, classesOf, isStatic, memberName, openSession, textOf, triviaOf } from "./context.js";
+export { applyEdits, mergePlan } from "./plan.js";
+export { accessorsGenerator } from "./generators/accessors.js";
+export { behaviorsGenerator, BEHAVIOR_PARENT_KEY } from "./generators/behaviors.js";
+export { loadParametersGenerator } from "./generators/loadparameters.js";
+export { qlValidatorGenerator, WQL_CODES } from "./generators/qlvalidator.js";
+export { buildMappedText, SpanMapKind } from "./spans.js";
+export { buildModelMetadata, buildRelations, discoverWebdaObjects, reflectAttributes } from "./module-discovery.js";
+export { WarmSession } from "./session.js";
+export { defaultGenerators } from "./defaults.js";
+export { runTwoPass } from "./twopass.js";
+export { SchemaConverter } from "./schema/converter.js";
+export { generateActionInput, generateActionOutput, normalizeDefinitions } from "./schema/action.js";
+export { generateModelSchemas } from "./schema/model.js";
+export { generateTopLevelSchemas, namespaceOf } from "./schema/project.js";
+export { findParametersNode, generateServiceSchema } from "./schema/service.js";
+export { SchemaConversionError } from "./schema/types.js";
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAGzG,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAGlD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEpF,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG1D,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAUpH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAErG,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAEzD,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAE3E,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAEhF,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC"}