ajsc 5.2.4 → 7.1.0

package/dist/converter/discriminatedUnions.js

@@ -0,0 +1,168 @@
+import { toPascalCase } from "../utils/to-pascal-case.js";
+import { walkIR } from "./walk.js";
+/**
+ * Collects all property names (in first-seen order) and shared property names
+ * across union options.
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function collectUnionPropertyNames(options) {
+    const allPropNames = [];
+    const seenProps = new Set();
+    for (const opt of options) {
+        if (opt.properties) {
+            for (const key of Object.keys(opt.properties)) {
+                if (!seenProps.has(key)) {
+                    seenProps.add(key);
+                    allPropNames.push(key);
+                }
+            }
+        }
+    }
+    const sharedPropNames = allPropNames.filter((propName) => options.every((opt) => opt.properties?.[propName] !== undefined));
+    return { allPropNames, sharedPropNames };
+}
+/**
+ * Extracts a single const string value from an IR node (literal with string
+ * value or single-value string enum).
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function getConstStringValue(ir) {
+    if (!ir)
+        return undefined;
+    if (ir.type === "literal" && typeof ir.constraints?.value === "string") {
+        return ir.constraints.value;
+    }
+    if (ir.type === "enum" &&
+        ir.values?.length === 1 &&
+        typeof ir.values[0] === "string") {
+        return ir.values[0];
+    }
+    return undefined;
+}
+/**
+ * Finds the discriminator property among shared properties: a property where
+ * each option has a distinct const or single-value-enum string value.
+ */
+export function findDiscriminatorProperty(options, sharedPropNames) {
+    for (const propName of sharedPropNames) {
+        const values = options.map((opt) => getConstStringValue(opt.properties?.[propName]));
+        if (values.every((v) => v !== undefined)) {
+            const uniqueValues = new Set(values);
+            if (uniqueValues.size === options.length) {
+                return propName;
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Returns the parent-context name used when generating discriminated-union
+ * variant names (e.g. for a `Shape` union, returning `"shape"` yields variant
+ * names like `CircleShape`/`SquareShape`).
+ *
+ * Default: the last non-numeric segment of the union's path. Languages may
+ * override via `languageProfile.getDiscriminatedVariantParentName` to apply
+ * a fallback (e.g. Kotlin falls back to `ir.name || ir.title` for root-level
+ * unions) or to disable the parent suffix entirely (e.g. Swift emits variants
+ * nested in the enum, so `Circle` is unambiguous and bare).
+ */
+function defaultVariantParentName(ir) {
+    const pathSegments = ir.path.split(".").filter((x) => !/^\d+$/.test(x));
+    return pathSegments[pathSegments.length - 1] || "";
+}
+/**
+ * Walks the IR tree and applies discriminated union enhancements
+ * to anyOf unions that survived merging. Subclasses may opt in to also
+ * process `oneOf` unions via the `processOneOfAsDiscriminatedUnion`
+ * field on `languageProfile`.
+ */
+export function enhanceDiscriminatedUnions(c, ir) {
+    walkIR(ir, (node) => {
+        if (node.type === "union" &&
+            node.options &&
+            node.options.length > 1) {
+            const isAnyOf = node.constraints?.combinator === "anyOf";
+            const isOneOf = node.constraints?.combinator === "oneOf";
+            if (isAnyOf || (isOneOf && (c.languageProfile.processOneOfAsDiscriminatedUnion ?? false))) {
+                applyDiscriminatedUnionEnhancements(c, node);
+            }
+        }
+    });
+}
+/**
+ * Enhances an unmerged anyOf union that has a discriminator property.
+ * Sets `ir.name` on each variant to a discriminator-derived name and
+ * populates `discriminatorInfo` for consolidated enum emission.
+ */
+export function applyDiscriminatedUnionEnhancements(c, ir) {
+    const options = ir.options;
+    if (!options || !options.every((opt) => opt.type === "object"))
+        return;
+    // Compute shared property names
+    const { sharedPropNames } = collectUnionPropertyNames(options);
+    const discriminator = findDiscriminatorProperty(options, sharedPropNames);
+    if (!discriminator)
+        return;
+    const parentName = c.languageProfile.getDiscriminatedVariantParentName?.(ir)
+        ?? defaultVariantParentName(ir);
+    // Collect all discriminator values in order
+    const allValues = [];
+    for (const opt of options) {
+        const val = getConstStringValue(opt.properties[discriminator]);
+        if (val)
+            allValues.push(val);
+    }
+    // Collect signatures of object/array properties across all variants
+    // for cross-variant deduplication. If the same signature appears at
+    // different property names across variants, it should be deduplicated.
+    const signatureCounts = new Map();
+    for (const opt of options) {
+        if (!opt.properties)
+            continue;
+        for (const prop of Object.values(opt.properties)) {
+            if (prop.signature) {
+                signatureCounts.set(prop.signature, (signatureCounts.get(prop.signature) ?? 0) + 1);
+            }
+        }
+    }
+    for (const [sig, count] of signatureCounts) {
+        if (count > 1)
+            c.dedupSignatures.add(sig);
+    }
+    for (const opt of options) {
+        const val = getConstStringValue(opt.properties[discriminator]);
+        if (!val)
+            continue;
+        // Compute discriminator-derived variant name and stash it for downstream emitters.
+        const variantName = toPascalCase(val) + toPascalCase(parentName);
+        c.variantNames.set(opt, variantName);
+        // Populate discriminator info — subclasses opt in via the profile
+        if (c.languageProfile.shouldPopulateDiscriminatorInfo ?? false) {
+            const discProp = opt.properties[discriminator];
+            c.discriminatorInfo.set(discProp, { allValues, thisValue: val });
+        }
+    }
+}
+/**
+ * Returns a copy of the variant IR node with the discriminator property removed
+ * when `languageProfile.shouldEraseDiscriminator` is true. Otherwise returns the original.
+ *
+ * Used by language emitters that hoist the discriminator into a sealed-interface
+ * annotation (Kotlin `@JsonClassDiscriminator`) or a Codable plumbing block (Swift
+ * generated `init(from:)`/`encode(to:)`), where carrying the field on the variant
+ * struct would cause a duplicate-key error during decode.
+ */
+export function stripDiscriminatorField(c, opt, discriminator) {
+    if (!(c.languageProfile.shouldEraseDiscriminator ?? false))
+        return opt;
+    const propsToEmit = {};
+    for (const [k, v] of Object.entries(opt.properties ?? {})) {
+        if (k === discriminator)
+            continue;
+        propsToEmit[k] = v;
+    }
+    return { ...opt, properties: propsToEmit };
+}
+//# sourceMappingURL=discriminatedUnions.js.map

package/dist/converter/discriminatedUnions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminatedUnions.js","sourceRoot":"","sources":["../../src/converter/discriminatedUnions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAiB;IAIzD,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACnB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CACvD,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CACjE,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAsB;IACxD,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;IAC9B,CAAC;IACD,IACE,EAAE,CAAC,IAAI,KAAK,MAAM;QAClB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC;QACvB,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAChC,CAAC;QACD,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAiB,EACjB,eAAyB;IAEzB,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,MAAM,MAAM,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACzD,mBAAmB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAChD,CAAC;QACF,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YACzC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;gBACzC,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,wBAAwB,CAAC,EAAU;IAC1C,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,CAAuB,EACvB,EAAU;IAEV,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAClB,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,OAAO;YACZ,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EACvB,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,OAAO,CAAC;YACzD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,OAAO,CAAC;YACzD,IAAI,OAAO,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,gCAAgC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1F,mCAAmC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mCAAmC,CACjD,CAAuB,EACvB,EAAU;IAEV,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3B,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,OAAO;IAEvE,gCAAgC;IAChC,MAAM,EAAE,eAAe,EAAE,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAE/D,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa;QAAE,OAAO;IAE3B,MAAM,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC,iCAAiC,EAAE,CAAC,EAAE,CAAC;WACvE,wBAAwB,CAAC,EAAE,CAAC,CAAC;IAElC,4CAA4C;IAC5C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAW,CAAC,aAAa,CAAC,CAAC,CAAC;QAChE,IAAI,GAAG;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,oEAAoE;IACpE,oEAAoE;IACpE,uEAAuE;IACvE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,CAAC,UAAU;YAAE,SAAS;QAC9B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,eAAe,CAAC,GAAG,CACjB,IAAI,CAAC,SAAS,EACd,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAC/C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;QAC3C,IAAI,KAAK,GAAG,CAAC;YAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,UAAW,CAAC,aAAa,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,mFAAmF;QACnF,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;QACjE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAErC,kEAAkE;QAClE,IAAI,CAAC,CAAC,eAAe,CAAC,+BAA+B,IAAI,KAAK,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAW,CAAC,aAAa,CAAC,CAAC;YAChD,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACrC,CAAuB,EACvB,GAAW,EACX,aAAqB;IAErB,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,wBAAwB,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACvE,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,KAAK,aAAa;YAAE,SAAS;QAClC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC"}

package/dist/converter/formatDefault.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Formats a JSON Schema `default` value as a literal usable in target-language
+ * inline property initialization (Kotlin `val`, Swift `let`).
+ *
+ * Returns `undefined` when the value cannot be safely emitted as an inline
+ * literal — caller should treat that as "no default."
+ *
+ * Supported:
+ *   - strings (escaped via JSON.stringify, which produces double-quoted form
+ *     valid in both Kotlin and Swift for printable ASCII; verify if your
+ *     fixtures contain unusual characters)
+ *   - finite numbers
+ *   - booleans
+ *
+ * Not supported (returns undefined):
+ *   - null / undefined
+ *   - arrays, objects (require language-specific literal syntax)
+ *   - non-finite numbers
+ */
+export declare function formatPrimitiveDefault(value: unknown): string | undefined;

package/dist/converter/formatDefault.js

@@ -0,0 +1,31 @@
+/**
+ * Formats a JSON Schema `default` value as a literal usable in target-language
+ * inline property initialization (Kotlin `val`, Swift `let`).
+ *
+ * Returns `undefined` when the value cannot be safely emitted as an inline
+ * literal — caller should treat that as "no default."
+ *
+ * Supported:
+ *   - strings (escaped via JSON.stringify, which produces double-quoted form
+ *     valid in both Kotlin and Swift for printable ASCII; verify if your
+ *     fixtures contain unusual characters)
+ *   - finite numbers
+ *   - booleans
+ *
+ * Not supported (returns undefined):
+ *   - null / undefined
+ *   - arrays, objects (require language-specific literal syntax)
+ *   - non-finite numbers
+ */
+export function formatPrimitiveDefault(value) {
+    if (value === null || value === undefined)
+        return undefined;
+    if (typeof value === "string")
+        return JSON.stringify(value);
+    if (typeof value === "boolean")
+        return String(value);
+    if (typeof value === "number" && Number.isFinite(value))
+        return String(value);
+    return undefined;
+}
+//# sourceMappingURL=formatDefault.js.map

package/dist/converter/formatDefault.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatDefault.js","sourceRoot":"","sources":["../../src/converter/formatDefault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/converter/index.d.ts

@@ -0,0 +1,24 @@
+/**
+ * `ajsc/converter` — extension API for adding new language targets.
+ *
+ * This subpath exposes the abstract {@link BaseConverter} class, the
+ * {@link LanguageProfile} pattern that consolidates per-language behavior,
+ * the {@link RefTypeEntry} registry shape, the indent-aware {@link Emitter}
+ * helper (re-exported from `./Emitter.js` if needed by subclasses), and the
+ * {@link walkIR} tree-walking helper.
+ *
+ * Most consumers do NOT need this subpath — use the function-style emitters
+ * (`emitTypescript` / `emitKotlin` / `emitSwift` from `ajsc`) or the
+ * class-based subpaths (`ajsc/typescript`, `ajsc/kotlin`, `ajsc/swift`).
+ *
+ * Reach for `ajsc/converter` only when building a new language target. See
+ * `docs/architecture/README.md` § "How to add a new language" for the
+ * step-by-step pattern.
+ *
+ * Note: several public helpers carry an `@internal` JSDoc tag — they are
+ * public for cross-module visibility (the `BaseConverterContext` interface
+ * requires them), but they are NOT part of the npm package's public surface.
+ * Treat `@internal`-tagged symbols as protected.
+ */
+export { BaseConverter, walkIR } from "./BaseConverter.js";
+export type { BaseConverterOpts, RefTypeNamingConfig, RefTypeEntry, GenerateTypeUtils, LanguageProfile, } from "./BaseConverter.js";

package/dist/converter/index.js

@@ -0,0 +1,24 @@
+/**
+ * `ajsc/converter` — extension API for adding new language targets.
+ *
+ * This subpath exposes the abstract {@link BaseConverter} class, the
+ * {@link LanguageProfile} pattern that consolidates per-language behavior,
+ * the {@link RefTypeEntry} registry shape, the indent-aware {@link Emitter}
+ * helper (re-exported from `./Emitter.js` if needed by subclasses), and the
+ * {@link walkIR} tree-walking helper.
+ *
+ * Most consumers do NOT need this subpath — use the function-style emitters
+ * (`emitTypescript` / `emitKotlin` / `emitSwift` from `ajsc`) or the
+ * class-based subpaths (`ajsc/typescript`, `ajsc/kotlin`, `ajsc/swift`).
+ *
+ * Reach for `ajsc/converter` only when building a new language target. See
+ * `docs/architecture/README.md` § "How to add a new language" for the
+ * step-by-step pattern.
+ *
+ * Note: several public helpers carry an `@internal` JSDoc tag — they are
+ * public for cross-module visibility (the `BaseConverterContext` interface
+ * requires them), but they are NOT part of the npm package's public surface.
+ * Treat `@internal`-tagged symbols as protected.
+ */
+export { BaseConverter, walkIR } from "./BaseConverter.js";
+//# sourceMappingURL=index.js.map

package/dist/converter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/converter/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/converter/mergeUnions.d.ts

@@ -0,0 +1,36 @@
+import { IRNode } from "../types.js";
+import type { BaseConverterContext } from "./BaseConverter.js";
+/**
+ * Recursively walks the IR tree (bottom-up) and merges anyOf unions
+ * whose options are all objects with compatible property types.
+ * Merged enums collect values from all options; properties missing
+ * from some options become optional in the merged type.
+ */
+export declare function mergeCompatibleUnions(c: BaseConverterContext, ir: IRNode): IRNode;
+/**
+ * Attempts to merge all options of an anyOf union into a single object type.
+ * Returns the merged IRNode, or null if the options are not compatible.
+ */
+export declare function tryMergeObjectUnion(c: BaseConverterContext, ir: IRNode): IRNode | null;
+/**
+ * Tries to merge multiple instances of the same property across union options.
+ * Returns the merged IRNode, or null if incompatible.
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export declare function tryMergeProperty(instances: IRNode[]): IRNode | null;
+/**
+ * Detects discriminated union patterns where merging would lose
+ * semantic precision. A discriminated union requires:
+ * 1. A shared property with distinct const/single-value-enum per option
+ *    (the "discriminator")
+ * 2. Every option has at least one property exclusive to only that option
+ *    (variant-specific fields tied to the discriminator value)
+ *
+ * This distinguishes true tagged unions (circle+radius vs square+side)
+ * from schemas where single-value enums represent different values of
+ * the same field that should be merged (past/current/future → Timeframe).
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export declare function isDiscriminatedUnion(options: IRNode[], sharedPropNames: string[], allPropNames: string[]): boolean;

package/dist/converter/mergeUnions.js

@@ -0,0 +1,189 @@
+import { collectUnionPropertyNames, findDiscriminatorProperty, } from "./discriminatedUnions.js";
+import { walkIR } from "./walk.js";
+/**
+ * Recursively walks the IR tree (bottom-up) and merges anyOf unions
+ * whose options are all objects with compatible property types.
+ * Merged enums collect values from all options; properties missing
+ * from some options become optional in the merged type.
+ */
+export function mergeCompatibleUnions(c, ir) {
+    return walkIR(ir, (node) => {
+        if (node.type === "union" &&
+            node.constraints?.combinator === "anyOf" &&
+            node.options &&
+            node.options.length > 1) {
+            return tryMergeObjectUnion(c, node);
+        }
+        return undefined;
+    });
+}
+/**
+ * Attempts to merge all options of an anyOf union into a single object type.
+ * Returns the merged IRNode, or null if the options are not compatible.
+ */
+export function tryMergeObjectUnion(c, ir) {
+    const options = ir.options;
+    // All options must be objects
+    if (!options.every((opt) => opt.type === "object")) {
+        return null;
+    }
+    // Bail if any option has patternProperties
+    if (options.some((opt) => opt.patternProperties)) {
+        return null;
+    }
+    // Bail if options have conflicting additionalProperties values.
+    // Identical values (all false, all true, all same schema) are fine.
+    const apValues = options.map((opt) => opt.additionalProperties);
+    const hasAp = apValues.some((v) => v !== undefined);
+    if (hasAp) {
+        const serialized = apValues.map((v) => JSON.stringify(v ?? null));
+        if (!serialized.every((s) => s === serialized[0])) {
+            return null;
+        }
+    }
+    // Collect all property names in first-seen order across options
+    const { allPropNames, sharedPropNames } = collectUnionPropertyNames(options);
+    if (allPropNames.length === 0) {
+        return null;
+    }
+    // Only merge when options share at least one property name —
+    // disjoint objects should remain as a union to preserve semantics.
+    if (sharedPropNames.length === 0) {
+        return null;
+    }
+    // Detect discriminated unions: if a shared property has different
+    // const/single-value-enum values across options AND there are
+    // option-specific (non-shared) properties, this is a tagged union
+    // where merging would lose the correlation between discriminator
+    // and variant-specific fields.
+    if (isDiscriminatedUnion(options, sharedPropNames, allPropNames)) {
+        return null;
+    }
+    // Try to merge each property across all options
+    const mergedProperties = {};
+    for (const propName of allPropNames) {
+        const instances = [];
+        for (const opt of options) {
+            if (opt.properties?.[propName]) {
+                instances.push(opt.properties[propName]);
+            }
+        }
+        const merged = tryMergeProperty(instances);
+        if (!merged) {
+            return null; // Incompatible — bail out, keep as union
+        }
+        // Required only if property exists in ALL options AND required in all
+        const existsInAll = options.every((opt) => opt.properties?.[propName] !== undefined);
+        const requiredInAll = instances.every((inst) => inst.required === true);
+        merged.required = existsInAll && requiredInAll;
+        mergedProperties[propName] = merged;
+    }
+    // Derive a name from the union's path
+    const pathSegments = ir.path.split(".").filter((x) => !/^\d+$/.test(x));
+    const name = pathSegments[pathSegments.length - 1] || ir.title || "Merged";
+    const merged = {
+        ...ir,
+        type: "object",
+        properties: mergedProperties,
+        signature: `merged:${++c.mergeCounter}`,
+        // explicitly nullify fields that don't apply to a merged object
+        options: undefined,
+        constraints: undefined,
+    };
+    if (name)
+        merged.name = name;
+    // Propagate additionalProperties when all options agree on the same value
+    if (hasAp) {
+        merged.additionalProperties = options[0].additionalProperties;
+    }
+    return merged;
+}
+/**
+ * Tries to merge multiple instances of the same property across union options.
+ * Returns the merged IRNode, or null if incompatible.
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function tryMergeProperty(instances) {
+    if (instances.length === 0)
+        return null;
+    if (instances.length === 1)
+        return { ...instances[0] };
+    const isStringEnum = (ir) => ir.type === "enum" &&
+        ir.values?.every((v) => typeof v === "string");
+    const isStringLiteral = (ir) => ir.type === "literal" && typeof ir.constraints?.value === "string";
+    // Merge string enums and/or string literals into a single enum
+    if (instances.every((inst) => isStringEnum(inst) || isStringLiteral(inst))) {
+        const seen = new Set();
+        const mergedValues = [];
+        for (const inst of instances) {
+            const values = isStringEnum(inst)
+                ? inst.values
+                : [inst.constraints.value];
+            for (const v of values) {
+                if (!seen.has(v)) {
+                    seen.add(v);
+                    mergedValues.push(v);
+                }
+            }
+        }
+        return {
+            type: "enum",
+            values: mergedValues,
+            path: instances[0].path,
+        };
+    }
+    // Same primitive type across all instances
+    const firstType = instances[0].type;
+    if (instances.every((inst) => inst.type === firstType) &&
+        ["string", "number", "integer", "boolean", "null"].includes(firstType)) {
+        return { ...instances[0] };
+    }
+    // Same object signature across all instances
+    if (instances.every((inst) => inst.type === "object" && inst.signature) &&
+        instances.every((inst) => inst.signature === instances[0].signature)) {
+        return { ...instances[0] };
+    }
+    // Incompatible types
+    return null;
+}
+/**
+ * Detects discriminated union patterns where merging would lose
+ * semantic precision. A discriminated union requires:
+ * 1. A shared property with distinct const/single-value-enum per option
+ *    (the "discriminator")
+ * 2. Every option has at least one property exclusive to only that option
+ *    (variant-specific fields tied to the discriminator value)
+ *
+ * This distinguishes true tagged unions (circle+radius vs square+side)
+ * from schemas where single-value enums represent different values of
+ * the same field that should be merged (past/current/future → Timeframe).
+ *
+ * Pure helper — does not depend on any converter context.
+ */
+export function isDiscriminatedUnion(options, sharedPropNames, allPropNames) {
+    const hasOptionSpecificProps = allPropNames.length > sharedPropNames.length;
+    if (!hasOptionSpecificProps) {
+        return false;
+    }
+    // Reuse findDiscriminatorProperty instead of inline loop
+    const discriminator = findDiscriminatorProperty(options, sharedPropNames);
+    if (!discriminator) {
+        return false;
+    }
+    // For a true discriminated union, every option must have at least one
+    // property that is exclusive to ONLY that option (no other option has it).
+    // This distinguishes { kind:"circle", radius } | { kind:"square", side }
+    // from { timeframe:"past", title } | { timeframe:"current", title } | { timeframe:"future" }
+    const sharedSet = new Set(sharedPropNames);
+    return options.every((opt) => {
+        const optProps = Object.keys(opt.properties ?? {});
+        return optProps.some((propName) => {
+            if (sharedSet.has(propName))
+                return false;
+            // Check if this prop appears in any other option
+            return !options.some((other) => other !== opt && other.properties?.[propName] !== undefined);
+        });
+    });
+}
+//# sourceMappingURL=mergeUnions.js.map

package/dist/converter/mergeUnions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mergeUnions.js","sourceRoot":"","sources":["../../src/converter/mergeUnions.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAAuB,EACvB,EAAU;IAEV,OAAO,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,OAAO;YACxC,IAAI,CAAC,OAAO;YACZ,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EACvB,CAAC;YACD,OAAO,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,CAAuB,EACvB,EAAU;IAEV,MAAM,OAAO,GAAG,EAAE,CAAC,OAAQ,CAAC;IAE5B,8BAA8B;IAC9B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2CAA2C;IAC3C,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gEAAgE;IAChE,oEAAoE;IACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACpD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAE7E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6DAA6D;IAC7D,mEAAmE;IACnE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kEAAkE;IAClE,8DAA8D;IAC9D,kEAAkE;IAClE,iEAAiE;IACjE,+BAA+B;IAC/B,IAAI,oBAAoB,CAAC,OAAO,EAAE,eAAe,EAAE,YAAY,CAAC,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gDAAgD;IAChD,MAAM,gBAAgB,GAA8B,EAAE,CAAC;IAEvD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC,CAAC,yCAAyC;QACxD,CAAC;QAED,sEAAsE;QACtE,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAC/B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,CAClD,CAAC;QACF,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,QAAQ,GAAG,WAAW,IAAI,aAAa,CAAC;QAE/C,gBAAgB,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC;IACtC,CAAC;IAED,sCAAsC;IACtC,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,QAAQ,CAAC;IAE3E,MAAM,MAAM,GAAW;QACrB,GAAG,EAAE;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,gBAAgB;QAC5B,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,YAAY,EAAE;QACvC,gEAAgE;QAChE,OAAO,EAAE,SAAS;QAClB,WAAW,EAAE,SAAS;KACvB,CAAC;IACF,IAAI,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAE7B,0EAA0E;IAC1E,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,oBAAoB,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC;IAChE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAmB;IAClD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvD,MAAM,YAAY,GAAG,CAAC,EAAU,EAAE,EAAE,CAClC,EAAE,CAAC,IAAI,KAAK,MAAM;QAClB,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,CAAC,EAAU,EAAE,EAAE,CACrC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,QAAQ,CAAC;IAErE,+DAA+D;IAC/D,IACE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,EACtE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC;gBAC/B,CAAC,CAAE,IAAI,CAAC,MAAmB;gBAC3B,CAAC,CAAC,CAAC,IAAI,CAAC,WAAY,CAAC,KAAe,CAAC,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACZ,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,YAAY;YACpB,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;SACxB,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,IACE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAClD,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtE,CAAC;QACD,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7B,CAAC;IAED,6CAA6C;IAC7C,IACE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC;QACnE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EACpE,CAAC;QACD,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7B,CAAC;IAED,qBAAqB;IACrB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAiB,EACjB,eAAyB,EACzB,YAAsB;IAEtB,MAAM,sBAAsB,GAAG,YAAY,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC;IAC5E,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yDAAyD;IACzD,MAAM,aAAa,GAAG,yBAAyB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sEAAsE;IACtE,2EAA2E;IAC3E,yEAAyE;IACzE,6FAA6F;IAC7F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACnD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;YAChC,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,iDAAiD;YACjD,OAAO,CAAC,OAAO,CAAC,IAAI,CAClB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,CAC9D,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/converter/naming.d.ts

@@ -0,0 +1,29 @@
+import { IRNode } from "../types.js";
+import type { BaseConverterContext, RefTypeName, RefTypeNamingConfig } from "./BaseConverter.js";
+/** Pure helper: singularize a word, respecting uncountable allow-lists. */
+export declare function singularize(word: string, extraUncountable?: string[]): string;
+/** Default ref-type naming configuration shared by all language converters. */
+export declare function defaultRefTypeNamingConfig(): RefTypeNamingConfig;
+/**
+ * Returns the effective ref-type naming config for the given context: the
+ * default merged shallow with the language profile's `refTypeNamingConfig` overrides.
+ */
+export declare function getRefTypeNamingConfig(c: BaseConverterContext): RefTypeNamingConfig;
+/**
+ * Computes a path-derived, collision-free ref type name for a (signature, nodePath) pair.
+ *
+ * Algorithm:
+ * 1. Parse the path into segments and pick the array-item / `*` / regular postfix list.
+ * 2. Try increasingly more parent segments combined with each postfix.
+ * 3. If a refType already exists for (signature, proposedName), reuse it.
+ * 4. If no name is free after exhausting postfixes, fall back to `<base><N>` with a
+ *    deterministic instance-scoped counter on `c.fallbackCounter`.
+ */
+export declare function getUniqueRefTypeName(c: BaseConverterContext, signature: string, nodePath: string): RefTypeName;
+/** Default resolver for a ref-type name from an IR node and signature. */
+export declare function defaultResolveRefTypeName(c: BaseConverterContext, ir: IRNode, signature: string): string;
+/**
+ * Returns names of all extracted ref types in declaration order.
+ * Subclasses may filter further (e.g. to exclude the root type).
+ */
+export declare function computeExtractedTypeNames(c: BaseConverterContext): string[];