ajsc 5.2.3 → 7.0.0

package/dist/swift/typeMapper.js

@@ -0,0 +1,106 @@
+import { getOrCreateEnumDecl } from "./enums.js";
+import { handleUnsupportedUnion } from "./unsupported.js";
+export const PRIMITIVES = {
+    string: "String",
+    integer: "Int64",
+    number: "Double",
+    boolean: "Bool",
+    null: "Never",
+};
+export const FORMAT_MAP = {
+    "date-time": { type: "Date", needsFoundation: true, doc: "ISO-8601 — set JSONDecoder.dateDecodingStrategy = .iso8601" },
+    "uuid": { type: "UUID", needsFoundation: true },
+    "uri": { type: "URL", needsFoundation: true },
+    "date": { type: "String", needsFoundation: false, doc: "format: date" },
+    "time": { type: "String", needsFoundation: false, doc: "format: time" },
+};
+export const STRING_DOC_FORMATS = new Set(["email", "hostname", "ipv4", "ipv6"]);
+/**
+ * Maps an IRNode to its Swift type expression. Handles primitives, formatted
+ * strings (with `Foundation` import and doc-comment tracking), arrays, tuples
+ * (homogeneous → array, heterogeneous → Swift tuple under `serializer: 'none'`),
+ * referenced object types, string enums, literals, and unions (T | null
+ * unwrapping, discriminated-enum dispatch, unsupported-union policy).
+ */
+export function generateSwiftType(c, ir, utils) {
+    switch (ir.type) {
+        case "string": {
+            const fmt = ir.constraints?.format;
+            if (fmt && FORMAT_MAP[fmt]) {
+                const m = FORMAT_MAP[fmt];
+                if (m.needsFoundation)
+                    c.importsSet.add("Foundation");
+                if (m.doc)
+                    c.docFormatNodes.set(ir, m.doc);
+                return m.type;
+            }
+            if (fmt && STRING_DOC_FORMATS.has(fmt)) {
+                c.docFormatNodes.set(ir, `format: ${fmt}`);
+            }
+            return "String";
+        }
+        case "integer": {
+            const fmt = ir.constraints?.format;
+            if (fmt === "int32")
+                return "Int32";
+            return PRIMITIVES.integer;
+        }
+        case "number":
+        case "boolean":
+        case "null":
+            return PRIMITIVES[ir.type];
+        case "array":
+            return `[${ir.items ? generateSwiftType(c, ir.items, utils) : "Any"}]`;
+        case "tuple": {
+            const items = ir.tupleItems ?? [];
+            const types = items.map((i) => generateSwiftType(c, i, utils));
+            if (types.length === 0)
+                return "[Any]";
+            const homogeneous = types.every((t) => t === types[0]);
+            if (homogeneous) {
+                return `[${types[0]}]`;
+            }
+            if (c.isCodable) {
+                throw new Error(`Unsupported: heterogeneous tuple at "${ir.path}" — Codable does not auto-derive heterogeneous tuples. ` +
+                    `Use serializer: 'none' to emit a Swift native tuple, or restructure the schema.`);
+            }
+            return `(${types.join(", ")})`;
+        }
+        case "enum": {
+            if (ir.values?.every((v) => typeof v === "string")) {
+                return getOrCreateEnumDecl(c, ir.values, ir.path);
+            }
+            return "Any";
+        }
+        case "literal": {
+            const v = ir.constraints?.value;
+            if (typeof v === "string")
+                return "String";
+            if (typeof v === "number")
+                return Number.isInteger(v) ? "Int64" : "Double";
+            if (typeof v === "boolean")
+                return "Bool";
+            return "Any";
+        }
+        case "object": {
+            const ref = utils.getReferencedType(ir);
+            if (ref)
+                return ref;
+            return "Any";
+        }
+        case "union": {
+            const non = ir.options?.filter((o) => o.type !== "null") ?? [];
+            if (non.length === 1)
+                return generateSwiftType(c, non[0], utils);
+            // Discriminated union: variantNames populated
+            if (ir.options?.length &&
+                ir.options.every((o) => c.variantNames.has(o))) {
+                return c.emitSwiftDiscriminatedEnum(ir, utils);
+            }
+            return handleUnsupportedUnion(c, ir);
+        }
+        default:
+            return "Any";
+    }
+}
+//# sourceMappingURL=typeMapper.js.map

package/dist/swift/typeMapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeMapper.js","sourceRoot":"","sources":["../../src/swift/typeMapper.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAG1D,MAAM,CAAC,MAAM,UAAU,GAA2B;IAChD,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,OAAO;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,MAAM;IACf,IAAI,EAAE,OAAO;CACd,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAA6E;IAClG,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,4DAA4D,EAAE;IACvH,MAAM,EAAO,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE;IACpD,KAAK,EAAQ,EAAE,IAAI,EAAE,KAAK,EAAG,eAAe,EAAE,IAAI,EAAE;IACpD,MAAM,EAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE;IAC5E,MAAM,EAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE;CAC7E,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEjF;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAwB,EACxB,EAAU,EACV,KAAwB;IAExB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC;YACnC,IAAI,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,CAAC,CAAC,eAAe;oBAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACtD,IAAI,CAAC,CAAC,GAAG;oBAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC3C,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,CAAC;YACD,IAAI,GAAG,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,GAAG,EAAE,CAAC,CAAC;YAC7C,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC;YACnC,IAAI,GAAG,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC;YACpC,OAAO,UAAU,CAAC,OAAO,CAAC;QAC5B,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,OAAO;YACV,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;QACzE,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YACvC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;YACzB,CAAC;YACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACb,wCAAwC,EAAE,CAAC,IAAI,yDAAyD;oBACxG,iFAAiF,CAClF,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAC5D,OAAO,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAkB,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;YAChC,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC3E,IAAI,OAAO,CAAC,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACxC,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;YACpB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/D,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAEjE,8CAA8C;YAC9C,IACE,EAAE,CAAC,OAAO,EAAE,MAAM;gBAClB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAC9C,CAAC;gBACD,OAAO,CAAC,CAAC,0BAA0B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACjD,CAAC;YAED,OAAO,sBAAsB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/swift/unsupported.d.ts

@@ -0,0 +1,19 @@
+import { IRNode } from "../types.js";
+import type { SwiftConverterContext } from "./SwiftConverter.js";
+/**
+ * Applies the `unsupportedUnions` policy for an untagged union that survived
+ * merging and has no usable discriminator.
+ */
+export declare function handleUnsupportedUnion(c: SwiftConverterContext, ir: IRNode): string;
+/**
+ * Pre-emission guard pass that throws on JSON Schema features Swift codegen
+ * does not support: `not` and `patternProperties`. These are NOT silenced by
+ * `unsupportedUnions: 'fallback'`.
+ */
+export declare function guardUnsupportedKeywords(_c: SwiftConverterContext, root: IRNode): void;
+/**
+ * Returns the `AnyCodable` helper struct that wraps arbitrary JSON values for
+ * the unsupported-union fallback under `serializer: 'codable'`. Emitted only
+ * when at least one fallback path requested it via `c.needsAnyCodable`.
+ */
+export declare function anyCodableHelper(c: SwiftConverterContext): string;

package/dist/swift/unsupported.js

@@ -0,0 +1,88 @@
+/**
+ * Applies the `unsupportedUnions` policy for an untagged union that survived
+ * merging and has no usable discriminator.
+ */
+export function handleUnsupportedUnion(c, ir) {
+    const policy = c.baseOpts?.unsupportedUnions ?? "throw";
+    if (policy === "throw") {
+        const opts = ir.options?.map((o) => o.type).join(", ") ?? "?";
+        throw new Error(`Unsupported: untagged union at "${ir.path}"\n` +
+            `  options: [${opts}]\n` +
+            `  Add a discriminator property with a const per variant, or set unsupportedUnions:'fallback' to emit AnyCodable.`);
+    }
+    // fallback
+    if (c.isCodable) {
+        c.needsAnyCodable = true;
+        return "AnyCodable";
+    }
+    return "Any";
+}
+/**
+ * Pre-emission guard pass that throws on JSON Schema features Swift codegen
+ * does not support: `not` and `patternProperties`. These are NOT silenced by
+ * `unsupportedUnions: 'fallback'`.
+ */
+export function guardUnsupportedKeywords(_c, root) {
+    const walk = (n) => {
+        if (n.not) {
+            throw new Error(`Unsupported: \`not\` keyword at "${n.path}".`);
+        }
+        if (n.patternProperties &&
+            Object.keys(n.patternProperties).length > 0) {
+            throw new Error(`Unsupported: patternProperties at "${n.path}".`);
+        }
+        if (n.properties) {
+            for (const k of Object.keys(n.properties))
+                walk(n.properties[k]);
+        }
+        if (n.items)
+            walk(n.items);
+        if (n.tupleItems)
+            for (const t of n.tupleItems)
+                walk(t);
+        if (n.options)
+            for (const o of n.options)
+                walk(o);
+        if (n.additionalProperties &&
+            typeof n.additionalProperties !== "boolean") {
+            walk(n.additionalProperties);
+        }
+    };
+    walk(root);
+}
+/**
+ * Returns the `AnyCodable` helper struct that wraps arbitrary JSON values for
+ * the unsupported-union fallback under `serializer: 'codable'`. Emitted only
+ * when at least one fallback path requested it via `c.needsAnyCodable`.
+ */
+export function anyCodableHelper(c) {
+    const al = c.accessLevel;
+    return `${al} struct AnyCodable: Codable {
+    ${al} let value: Any
+    ${al} init(_ value: Any) { self.value = value }
+    ${al} init(from decoder: Decoder) throws {
+        let container = try decoder.singleValueContainer()
+        if container.decodeNil() { self.value = (); return }
+        if let v = try? container.decode(Bool.self) { self.value = v; return }
+        if let v = try? container.decode(Int64.self) { self.value = v; return }
+        if let v = try? container.decode(Double.self) { self.value = v; return }
+        if let v = try? container.decode(String.self) { self.value = v; return }
+        if let v = try? container.decode([AnyCodable].self) { self.value = v; return }
+        if let v = try? container.decode([String: AnyCodable].self) { self.value = v; return }
+        throw DecodingError.typeMismatch(AnyCodable.self, .init(codingPath: decoder.codingPath, debugDescription: "Unsupported type"))
+    }
+    ${al} func encode(to encoder: Encoder) throws {
+        var container = encoder.singleValueContainer()
+        switch self.value {
+        case let v as Bool: try container.encode(v)
+        case let v as Int64: try container.encode(v)
+        case let v as Double: try container.encode(v)
+        case let v as String: try container.encode(v)
+        case let v as [AnyCodable]: try container.encode(v)
+        case let v as [String: AnyCodable]: try container.encode(v)
+        default: try container.encodeNil()
+        }
+    }
+}`;
+}
+//# sourceMappingURL=unsupported.js.map

package/dist/swift/unsupported.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unsupported.js","sourceRoot":"","sources":["../../src/swift/unsupported.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAwB,EAAE,EAAU;IACzE,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,iBAAiB,IAAI,OAAO,CAAC;IACxD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;QAC9D,MAAM,IAAI,KAAK,CACb,mCAAmC,EAAE,CAAC,IAAI,KAAK;YAC7C,eAAe,IAAI,KAAK;YACxB,kHAAkH,CACrH,CAAC;IACJ,CAAC;IACD,WAAW;IACX,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAChB,CAAC,CAAC,eAAe,GAAG,IAAI,CAAC;QACzB,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAyB,EAAE,IAAY;IAC9E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC/B,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAClE,CAAC;QACD,IACE,CAAC,CAAC,iBAAiB;YACnB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,GAAG,CAAC,EAC3C,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,CAAC,KAAK;YAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,UAAU;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,IACE,CAAC,CAAC,oBAAoB;YACtB,OAAO,CAAC,CAAC,oBAAoB,KAAK,SAAS,EAC3C,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAwB;IACvD,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC;IACzB,OAAO,GAAG,EAAE;MACR,EAAE;MACF,EAAE;MACF,EAAE;;;;;;;;;;;MAWF,EAAE;;;;;;;;;;;;EAYN,CAAC;AACH,CAAC"}

package/dist/typescript/TypescriptBaseConverter.d.ts

@@ -0,0 +1,25 @@
+import { IRNode } from "../types.js";
+import { BaseConverter, GenerateTypeUtils } from "../converter/BaseConverter.js";
+export type { RefTypeNamingConfig, GenerateTypeUtils } from "../converter/BaseConverter.js";
+export type { RefTypeName, RefTypes, RefTypeEntry } from "../converter/BaseConverter.js";
+export declare abstract class TypescriptBaseConverter extends BaseConverter {
+    protected emitJSDoc: boolean;
+    /**
+     * Recursively generates a TypeScript type string for the given IR node.
+     */
+    protected generateType(ir: IRNode, utils: GenerateTypeUtils): string;
+    protected generateArrayType(ir: IRNode, utils: GenerateTypeUtils): string;
+    protected generateTupleType(ir: IRNode, utils: GenerateTypeUtils): string;
+    protected generateUnionType(ir: IRNode, utils: GenerateTypeUtils): string;
+    protected generateIntersectionType(ir: IRNode, utils: GenerateTypeUtils): string;
+    protected generateEnumType(ir: IRNode): string;
+    protected generateLiteralType(ir: IRNode): string;
+    protected getPrimitiveTypeMap(): Record<string, string>;
+    /**
+     * Generates a TypeScript object type (as an inline type literal) from the given IR node.
+     * @internal Public for `BaseConverterContext`; treat as protected for subclasses.
+     */
+    generateObjectType(ir: IRNode, utils: GenerateTypeUtils): string;
+    protected isValidIdentifier(name: string): boolean;
+    protected formatJSDoc(description: string, title?: string): string;
+}

package/dist/typescript/TypescriptBaseConverter.js

@@ -0,0 +1,178 @@
+import { BaseConverter } from "../converter/BaseConverter.js";
+export class TypescriptBaseConverter extends BaseConverter {
+    constructor() {
+        super(...arguments);
+        this.emitJSDoc = false;
+    }
+    /**
+     * Recursively generates a TypeScript type string for the given IR node.
+     */
+    generateType(ir, utils) {
+        switch (ir.type) {
+            case "object": {
+                const referencedType = utils.getReferencedType(ir);
+                if (referencedType)
+                    return referencedType;
+                return this.generateObjectType(ir, utils);
+            }
+            case "array":
+                return this.generateArrayType(ir, utils);
+            case "tuple":
+                return this.generateTupleType(ir, utils);
+            case "union":
+                return this.generateUnionType(ir, utils);
+            case "intersection":
+                return this.generateIntersectionType(ir, utils);
+            case "enum":
+                return this.generateEnumType(ir);
+            case "literal":
+                return this.generateLiteralType(ir);
+            case "any":
+                return "any";
+            case "unknown":
+                return "unknown";
+            case "never":
+                return "never";
+            default: {
+                const primitiveMap = this.getPrimitiveTypeMap();
+                if (ir.type in primitiveMap) {
+                    return primitiveMap[ir.type];
+                }
+                return "any";
+            }
+        }
+    }
+    generateArrayType(ir, utils) {
+        if (ir.items) {
+            return `Array<${this.generateType(ir.items, utils)}>`;
+        }
+        return "any[]";
+    }
+    generateTupleType(ir, utils) {
+        if (ir.tupleItems && ir.tupleItems.length > 0) {
+            const elements = ir.tupleItems.map((item) => this.generateType(item, utils));
+            return `[${elements.join(", ")}]`;
+        }
+        return "[]";
+    }
+    generateUnionType(ir, utils) {
+        if (ir.options && ir.options.length > 0) {
+            return ir.options
+                .map((opt) => this.generateType(opt, utils))
+                .join(" | ");
+        }
+        return "never";
+    }
+    generateIntersectionType(ir, utils) {
+        if (ir.options && ir.options.length > 0) {
+            return ir.options
+                .map((opt) => this.generateType(opt, utils))
+                .join(" & ");
+        }
+        return "never";
+    }
+    generateEnumType(ir) {
+        if (ir.values && ir.values.length > 0) {
+            return ir.values.map((v) => JSON.stringify(v)).join(" | ");
+        }
+        return "never";
+    }
+    generateLiteralType(ir) {
+        return typeof ir.constraints?.value === "string"
+            ? JSON.stringify(ir.constraints.value)
+            : String(ir.constraints?.value);
+    }
+    getPrimitiveTypeMap() {
+        return {
+            string: "string",
+            number: "number",
+            integer: "number",
+            boolean: "boolean",
+            null: "null",
+        };
+    }
+    /**
+     * Generates a TypeScript object type (as an inline type literal) from the given IR node.
+     * @internal Public for `BaseConverterContext`; treat as protected for subclasses.
+     */
+    generateObjectType(ir, utils) {
+        let generated = ``;
+        const generatedAdditionalValues = new Set();
+        if (ir.additionalProperties === true) {
+            generatedAdditionalValues.add("Record<string, any>");
+        }
+        else if (ir.additionalProperties) {
+            generatedAdditionalValues.add(`Record<string, ${this.generateType(ir.additionalProperties, utils)}>`);
+        }
+        if (ir.properties) {
+            const hasAnnotations = this.emitJSDoc &&
+                Object.values(ir.properties).some((p) => p.description || p.title);
+            const props = Object.keys(ir.properties).map((key) => {
+                const prop = ir.properties[key];
+                // Append '?' if the property is not required.
+                const optional = prop.required ? "" : "?";
+                const propKey = this.isValidIdentifier(key) ? key : `"${key}"`;
+                const propLine = `${propKey}${optional}: ${this.generateType(prop, utils)};`;
+                if (hasAnnotations && (prop.description || prop.title)) {
+                    const jsdoc = prop.description
+                        ? this.formatJSDoc(prop.description, prop.title)
+                        : this.formatJSDoc(prop.title);
+                    return `${jsdoc}\n${propLine}`;
+                }
+                return propLine;
+            });
+            if (!props.length && generatedAdditionalValues.size === 0) {
+                generatedAdditionalValues.add("{ [key:string]: unknown }");
+            }
+            else if (props.length) {
+                if (hasAnnotations) {
+                    const indented = props
+                        .map((block) => block
+                        .split("\n")
+                        .map((line) => `  ${line}`)
+                        .join("\n"))
+                        .join("\n");
+                    generated = `{\n${indented}\n}`;
+                }
+                else {
+                    generated = `{ ${props.join(" ")} }`;
+                }
+            }
+        }
+        let returnValue = ``;
+        if (generatedAdditionalValues.size > 0) {
+            if (generated) {
+                returnValue = `(${generated} & (${Array.from(generatedAdditionalValues).join(" & ")}))`;
+            }
+            else {
+                returnValue = Array.from(generatedAdditionalValues).join(" & ");
+            }
+        }
+        else {
+            returnValue = generated || "{ [key:string]: unknown }";
+        }
+        return returnValue;
+    }
+    isValidIdentifier(name) {
+        return /^[a-zA-Z_$][0-9a-zA-Z_$]*$/.test(name);
+    }
+    formatJSDoc(description, title) {
+        const safe = description.replace(/\*\//g, "*\\/");
+        const parts = [];
+        if (title) {
+            parts.push(title.replace(/\*\//g, "*\\/"));
+            parts.push("");
+            parts.push(safe);
+        }
+        else {
+            parts.push(safe);
+        }
+        const text = parts.join("\n");
+        const lines = text.split("\n");
+        if (lines.length === 1) {
+            return `/** ${text} */`;
+        }
+        return `/**\n${lines.map((l) => ` * ${l}`).join("\n")}\n */`;
+    }
+}
+//# sourceMappingURL=TypescriptBaseConverter.js.map

package/dist/typescript/TypescriptBaseConverter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypescriptBaseConverter.js","sourceRoot":"","sources":["../../src/typescript/TypescriptBaseConverter.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAqB,MAAM,+BAA+B,CAAC;AAMjF,MAAM,OAAgB,uBAAwB,SAAQ,aAAa;IAAnE;;QACY,cAAS,GAAG,KAAK,CAAC;IA2L9B,CAAC;IAzLC;;OAEG;IACO,YAAY,CAAC,EAAU,EAAE,KAAwB;QACzD,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,cAAc,GAAG,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;gBACnD,IAAI,cAAc;oBAAE,OAAO,cAAc,CAAC;gBAC1C,OAAO,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC5C,CAAC;YACD,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC3C,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC3C,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC3C,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,wBAAwB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAClD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;YACnC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;YACtC,KAAK,KAAK;gBACR,OAAO,KAAK,CAAC;YACf,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC;YACnB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBAChD,IAAI,EAAE,CAAC,IAAI,IAAI,YAAY,EAAE,CAAC;oBAC5B,OAAO,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IAES,iBAAiB,CAAC,EAAU,EAAE,KAAwB;QAC9D,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACb,OAAO,SAAS,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC;QACxD,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAES,iBAAiB,CAAC,EAAU,EAAE,KAAwB;QAC9D,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7E,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAES,iBAAiB,CAAC,EAAU,EAAE,KAAwB;QAC9D,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,EAAE,CAAC,OAAO;iBACd,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;iBAC3C,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAES,wBAAwB,CAAC,EAAU,EAAE,KAAwB;QACrE,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,EAAE,CAAC,OAAO;iBACd,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;iBAC3C,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAES,gBAAgB,CAAC,EAAU;QACnC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAES,mBAAmB,CAAC,EAAU;QACtC,OAAO,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,QAAQ;YAC9C,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;YACtC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IAES,mBAAmB;QAC3B,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE,MAAM;SACb,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,kBAAkB,CAAC,EAAU,EAAE,KAAwB;QAC5D,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAU,CAAC;QAEpD,IAAI,EAAE,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;YACrC,yBAAyB,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,EAAE,CAAC,oBAAoB,EAAE,CAAC;YACnC,yBAAyB,CAAC,GAAG,CAC3B,kBAAkB,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,oBAAoB,EAAE,KAAK,CAAC,GAAG,CACvE,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClB,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS;gBACnC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;YAErE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACnD,MAAM,IAAI,GAAG,EAAE,CAAC,UAAW,CAAC,GAAG,CAAC,CAAC;gBACjC,8CAA8C;gBAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC;gBAC/D,MAAM,QAAQ,GAAG,GAAG,OAAO,GAAG,QAAQ,KAAK,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;gBAC7E,IAAI,cAAc,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW;wBAC5B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC;wBAChD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAM,CAAC,CAAC;oBAClC,OAAO,GAAG,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACjC,CAAC;gBACD,OAAO,QAAQ,CAAC;YAClB,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,yBAAyB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC1D,yBAAyB,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YAC7D,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACxB,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,QAAQ,GAAG,KAAK;yBACnB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACb,KAAK;yBACF,KAAK,CAAC,IAAI,CAAC;yBACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;yBAC1B,IAAI,CAAC,IAAI,CAAC,CACd;yBACA,IAAI,CAAC,IAAI,CAAC,CAAC;oBACd,SAAS,GAAG,MAAM,QAAQ,KAAK,CAAC;gBAClC,CAAC;qBAAM,CAAC;oBACN,SAAS,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBACvC,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,WAAW,GAAG,EAAE,CAAC;QAErB,IAAI,yBAAyB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,SAAS,EAAE,CAAC;gBACd,WAAW,GAAG,IAAI,SAAS,OAAO,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAC1F,CAAC;iBAAM,CAAC;gBACN,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,SAAS,IAAI,2BAA2B,CAAC;QACzD,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAES,iBAAiB,CAAC,IAAY;QACtC,OAAO,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAES,WAAW,CAAC,WAAmB,EAAE,KAAc;QACvD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,OAAO,IAAI,KAAK,CAAC;QAC1B,CAAC;QACD,OAAO,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;IAC/D,CAAC;CAEF"}

package/dist/typescript/TypescriptConverter.d.ts

@@ -0,0 +1,74 @@
+import { ILanguageConverter, IRNode } from "../types.js";
+import { TypescriptBaseConverter } from "./TypescriptBaseConverter.js";
+import { JSONSchema7Definition } from "json-schema";
+import { BaseConverterOpts, LanguageProfile } from "../converter/BaseConverter.js";
+export interface TypescriptConverterOpts extends BaseConverterOpts {
+    /**
+     * If true, referenced types will not be created for objects and instead
+     * the object type will be inlined.
+     */
+    inlineTypes?: boolean;
+    /**
+     * Controls how enum values are emitted.
+     * - `"union"` (default) → `"a" | "b" | "c"`
+     * - `"enum"` → `export enum Status { A = "a", B = "b", C = "c" }`
+     *   Only applies when `inlineTypes` is false and all values are strings.
+     */
+    enumStyle?: "union" | "enum";
+    /**
+     * If true, emit JSDoc comments from JSON Schema `description` annotations.
+     * Only applies when `inlineTypes` is false (the default).
+     */
+    jsdoc?: boolean;
+}
+/**
+ * A TypeScript language converter plugin.
+ */
+export declare class TypescriptConverter extends TypescriptBaseConverter implements ILanguageConverter {
+    /** @internal Public for `BaseConverterContext`; treat as protected for subclasses. */
+    readonly languageProfile: LanguageProfile;
+    private schemaConverter;
+    private opts;
+    private inlineTypes;
+    private enumStyle;
+    /**
+     * Stores enum declarations keyed by canonical signature (sorted JSON values)
+     * for deduplication across the schema.
+     */
+    private enumDeclarations;
+    readonly code: string;
+    readonly rootTypeName: string;
+    readonly extractedTypeNames: string[];
+    readonly imports: string[];
+    constructor(schema: JSONSchema7Definition, opts?: TypescriptConverterOpts);
+    private computeRefTypeNamingConfigOverrides;
+    /**
+     * Pre-scans the IR tree to discover and register all enum declarations
+     * before type generation begins. Traversal order mirrors generateType's
+     * DFS order so that canonical-key deduplication picks the same "first"
+     * path that runtime generation would encounter.
+     */
+    private preRegisterEnumNames;
+    protected generateEnumType(ir: IRNode): string;
+    protected generateLiteralType(ir: IRNode): string;
+    /**
+     * Returns (or creates) a deduplicated enum declaration for the given string values.
+     * Same set of values at different paths reuses the same enum.
+     *
+     * Name derivation uses PathUtils to strip array indices, then progressively
+     * includes parent path segments for collision resolution (e.g. "Type" →
+     * "ArgsType" → "DataArgsType") before falling back to a numeric suffix.
+     */
+    private getOrCreateEnumDeclaration;
+    /**
+     * Derives a unique, valid TypeScript enum name from a dot-notation path.
+     * Strips array indices via PathUtils, then tries the last segment ("Type"),
+     * escalates to include parent segments on collision ("ArgsType", "DataArgsType"),
+     * and falls back to a numeric suffix as a last resort.
+     */
+    private deriveEnumName;
+    /**
+     * Converts a string value to a valid PascalCase enum member name.
+     */
+    private toEnumMemberName;
+}