openapi-typesafe 1.0.0-rc.0 → 1.0.0-rc.1

package/dist/api/path-template-warnings.cjs

@@ -0,0 +1,21 @@
+'use strict';
+
+const pathTemplates = require('../domain/openapi/path-templates.cjs');
+const warnings = require('../domain/warnings.cjs');
+
+const DOCS_URL = "https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs/cli.md#pathparamsastypes";
+const SPEC_RULE = "OpenAPI does not allow this (Paths Object): templated paths with the same hierarchy but different templated names MUST NOT exist as they are identical";
+function quotedList(urls) {
+  const quoted = urls.map((url) => `"${url}"`);
+  const last = quoted.pop();
+  return quoted.length === 0 ? last ?? "" : `${quoted.join(", ")} and ${last}`;
+}
+function warnIdenticalPathTemplates(document, logger) {
+  for (const urls of pathTemplates.findIdenticalPathTemplates(document)) {
+    const message = `Paths ${quotedList(urls)} differ only in their parameter names. ${SPEC_RULE}`;
+    logger.warn(warnings.warningText(`${message}. See ${DOCS_URL}`, warnings.WARNING_CODES.PATH_TEMPLATES_IDENTICAL));
+  }
+}
+
+exports.warnIdenticalPathTemplates = warnIdenticalPathTemplates;
+//# sourceMappingURL=path-template-warnings.cjs.map

package/dist/api/path-template-warnings.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-template-warnings.cjs","sources":["../../src/api/path-template-warnings.ts"],"sourcesContent":["import type { Logger } from \"../application/ports/logger.js\";\nimport { findIdenticalPathTemplates } from \"../domain/openapi/path-templates.js\";\nimport { WARNING_CODES, warningText } from \"../domain/warnings.js\";\n\nconst DOCS_URL =\n  \"https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs/cli.md#pathparamsastypes\";\nconst SPEC_RULE =\n  \"OpenAPI does not allow this (Paths Object): templated paths with the same hierarchy but \" +\n  \"different templated names MUST NOT exist as they are identical\";\n\n/** `\"/a\"`, `\"/a\" and \"/b\"`, `\"/a\", \"/b\" and \"/c\"`. */\nfunction quotedList(urls: readonly string[]): string {\n  const quoted = urls.map((url) => `\"${url}\"`);\n  const last = quoted.pop();\n  return quoted.length === 0 ? (last ?? \"\") : `${quoted.join(\", \")} and ${last}`;\n}\n\n/**\n * Warn once per group of paths that differ only in parameter names, which the spec forbids: a URL\n * cannot tell them apart, and `--path-params-as-types` gives them the same key type.\n */\nexport function warnIdenticalPathTemplates(document: unknown, logger: Logger): void {\n  for (const urls of findIdenticalPathTemplates(document)) {\n    const message = `Paths ${quotedList(urls)} differ only in their parameter names. ${SPEC_RULE}`;\n    logger.warn(warningText(`${message}. See ${DOCS_URL}`, WARNING_CODES.PATH_TEMPLATES_IDENTICAL));\n  }\n}\n"],"names":["findIdenticalPathTemplates","warningText","WARNING_CODES"],"mappings":";;;;;AAIA,MAAM,QAAA,GACJ,8FAAA;AACF,MAAM,SAAA,GACJ,wJAAA;AAIF,SAAS,WAAW,IAAA,EAAiC;AACnD,EAAA,MAAM,SAAS,IAAA,CAAK,GAAA,CAAI,CAAC,GAAA,KAAQ,CAAA,CAAA,EAAI,GAAG,CAAA,CAAA,CAAG,CAAA;AAC3C,EAAA,MAAM,IAAA,GAAO,OAAO,GAAA,EAAI;AACxB,EAAA,OAAO,MAAA,CAAO,MAAA,KAAW,CAAA,GAAK,IAAA,IAAQ,EAAA,GAAM,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,IAAI,CAAC,CAAA,KAAA,EAAQ,IAAI,CAAA,CAAA;AAC9E;AAMO,SAAS,0BAAA,CAA2B,UAAmB,MAAA,EAAsB;AAClF,EAAA,KAAA,MAAW,IAAA,IAAQA,wCAAA,CAA2B,QAAQ,CAAA,EAAG;AACvD,IAAA,MAAM,UAAU,CAAA,MAAA,EAAS,UAAA,CAAW,IAAI,CAAC,0CAA0C,SAAS,CAAA,CAAA;AAC5F,IAAA,MAAA,CAAO,IAAA,CAAKC,qBAAY,CAAA,EAAG,OAAO,SAAS,QAAQ,CAAA,CAAA,EAAIC,sBAAA,CAAc,wBAAwB,CAAC,CAAA;AAAA,EAChG;AACF;;"}

package/dist/api/path-template-warnings.mjs

@@ -0,0 +1,19 @@
+import { findIdenticalPathTemplates } from '../domain/openapi/path-templates.mjs';
+import { warningText, WARNING_CODES } from '../domain/warnings.mjs';
+
+const DOCS_URL = "https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs/cli.md#pathparamsastypes";
+const SPEC_RULE = "OpenAPI does not allow this (Paths Object): templated paths with the same hierarchy but different templated names MUST NOT exist as they are identical";
+function quotedList(urls) {
+  const quoted = urls.map((url) => `"${url}"`);
+  const last = quoted.pop();
+  return quoted.length === 0 ? last ?? "" : `${quoted.join(", ")} and ${last}`;
+}
+function warnIdenticalPathTemplates(document, logger) {
+  for (const urls of findIdenticalPathTemplates(document)) {
+    const message = `Paths ${quotedList(urls)} differ only in their parameter names. ${SPEC_RULE}`;
+    logger.warn(warningText(`${message}. See ${DOCS_URL}`, WARNING_CODES.PATH_TEMPLATES_IDENTICAL));
+  }
+}
+
+export { warnIdenticalPathTemplates };
+//# sourceMappingURL=path-template-warnings.mjs.map

package/dist/api/path-template-warnings.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-template-warnings.mjs","sources":["../../src/api/path-template-warnings.ts"],"sourcesContent":["import type { Logger } from \"../application/ports/logger.js\";\nimport { findIdenticalPathTemplates } from \"../domain/openapi/path-templates.js\";\nimport { WARNING_CODES, warningText } from \"../domain/warnings.js\";\n\nconst DOCS_URL =\n  \"https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs/cli.md#pathparamsastypes\";\nconst SPEC_RULE =\n  \"OpenAPI does not allow this (Paths Object): templated paths with the same hierarchy but \" +\n  \"different templated names MUST NOT exist as they are identical\";\n\n/** `\"/a\"`, `\"/a\" and \"/b\"`, `\"/a\", \"/b\" and \"/c\"`. */\nfunction quotedList(urls: readonly string[]): string {\n  const quoted = urls.map((url) => `\"${url}\"`);\n  const last = quoted.pop();\n  return quoted.length === 0 ? (last ?? \"\") : `${quoted.join(\", \")} and ${last}`;\n}\n\n/**\n * Warn once per group of paths that differ only in parameter names, which the spec forbids: a URL\n * cannot tell them apart, and `--path-params-as-types` gives them the same key type.\n */\nexport function warnIdenticalPathTemplates(document: unknown, logger: Logger): void {\n  for (const urls of findIdenticalPathTemplates(document)) {\n    const message = `Paths ${quotedList(urls)} differ only in their parameter names. ${SPEC_RULE}`;\n    logger.warn(warningText(`${message}. See ${DOCS_URL}`, WARNING_CODES.PATH_TEMPLATES_IDENTICAL));\n  }\n}\n"],"names":[],"mappings":";;;AAIA,MAAM,QAAA,GACJ,8FAAA;AACF,MAAM,SAAA,GACJ,wJAAA;AAIF,SAAS,WAAW,IAAA,EAAiC;AACnD,EAAA,MAAM,SAAS,IAAA,CAAK,GAAA,CAAI,CAAC,GAAA,KAAQ,CAAA,CAAA,EAAI,GAAG,CAAA,CAAA,CAAG,CAAA;AAC3C,EAAA,MAAM,IAAA,GAAO,OAAO,GAAA,EAAI;AACxB,EAAA,OAAO,MAAA,CAAO,MAAA,KAAW,CAAA,GAAK,IAAA,IAAQ,EAAA,GAAM,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,IAAI,CAAC,CAAA,KAAA,EAAQ,IAAI,CAAA,CAAA;AAC9E;AAMO,SAAS,0BAAA,CAA2B,UAAmB,MAAA,EAAsB;AAClF,EAAA,KAAA,MAAW,IAAA,IAAQ,0BAAA,CAA2B,QAAQ,CAAA,EAAG;AACvD,IAAA,MAAM,UAAU,CAAA,MAAA,EAAS,UAAA,CAAW,IAAI,CAAC,0CAA0C,SAAS,CAAA,CAAA;AAC5F,IAAA,MAAA,CAAO,IAAA,CAAK,YAAY,CAAA,EAAG,OAAO,SAAS,QAAQ,CAAA,CAAA,EAAI,aAAA,CAAc,wBAAwB,CAAC,CAAA;AAAA,EAChG;AACF;;"}

package/dist/api/transform-context.cjs

@@ -65,7 +65,9 @@ function createTransformContext(ctx) {
     refs: { resolve: (ref) => ctx.resolve(ref) },
     discriminators: {
       objectAt: (ref) => ctx.discriminators.objects[ref],
-      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref)
+      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref),
+      otherPropertiesAt: (ref) => ctx.discriminators.otherProperties?.[ref] ?? [],
+      enumParentOf: (schema) => ctx.discriminators.enumParents?.get(schema)
     },
     footer: runFooter(ctx),
     callbacks: schemaCallbacks.schemaCallbacks(ctx),

package/dist/api/transform-context.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"transform-context.cjs","sources":["../../src/api/transform-context.ts"],"sourcesContent":["import * as changeCase from \"change-case\";\nimport { RunFooter } from \"../application/transform/footer/document-footer.js\";\nimport type { SchemaLocation } from \"../application/transform/schema/schema-context.js\";\nimport type {\n  DocumentFooter,\n  NameCasing,\n  TransformContext,\n  TransformDiagnostics,\n  TransformOptions,\n} from \"../application/transform/transform-context.js\";\nimport type { GlobalContext, TransformNodeOptions } from \"../types.js\";\nimport { defaultLogger, monotonicNow } from \"./default-ports.js\";\nimport { ContextFooterSink } from \"./footer-sink.js\";\nimport { schemaCallbacks } from \"./schema-callbacks.js\";\n\n/**\n * Builds the ported transformers' context from the original `GlobalContext`: options, refs,\n * discriminators, the run footer and the user callbacks (see `schema-callbacks.ts`).\n */\n\nfunction transformOptions(ctx: GlobalContext): TransformOptions {\n  return {\n    additionalProperties: ctx.additionalProperties,\n    alphabetize: ctx.alphabetize,\n    arrayLength: ctx.arrayLength,\n    binaryAsBlob: ctx.binaryAsBlob,\n    conditionalEnums: ctx.conditionalEnums,\n    dedupeEnums: ctx.dedupeEnums,\n    defaultNonNullable: ctx.defaultNonNullable,\n    emptyObjectsUnknown: ctx.emptyObjectsUnknown,\n    enum: ctx.enum,\n    enumValues: ctx.enumValues,\n    excludeDeprecated: ctx.excludeDeprecated,\n    fixes: new Set(ctx.fix ?? []),\n    immutable: ctx.immutable,\n    propertiesRequiredByDefault: ctx.propertiesRequiredByDefault,\n    readWriteMarkers: ctx.readWriteMarkers,\n    generatePathParams: ctx.generatePathParams,\n    pathParamsAsTypes: ctx.pathParamsAsTypes,\n    rootTypes: ctx.rootTypes,\n    rootTypesNoSchemaPrefix: ctx.rootTypesNoSchemaPrefix,\n    rootTypesKeepCasing: ctx.rootTypesKeepCasing,\n    exportType: ctx.exportType,\n    inject: ctx.inject,\n    makePathsEnum: ctx.makePathsEnum,\n  };\n}\n\n/** One footer per run: it holds the enum registry, so it lives on the run's context. */\nfunction runFooter(ctx: GlobalContext): DocumentFooter {\n  ctx.runFooter ??= new RunFooter(new ContextFooterSink(ctx.injectFooter), ctx.dedupeEnums);\n  return ctx.runFooter;\n}\n\nconst CASING: NameCasing = { pascalCase: (text) => changeCase.pascalCase(text) };\n\n/**\n * A monotonic clock and the run's logger (the default one for a user's own context), \"ts\" group.\n */\nfunction diagnostics(ctx: GlobalContext): TransformDiagnostics {\n  const logger = ctx.logger ?? defaultLogger(ctx.silent);\n  return {\n    now: monotonicNow,\n    debug: (message, durationMs) => logger.debug(message, \"ts\", durationMs),\n  };\n}\n\n/** The ported transformers' context for one call from a legacy transformer. */\nexport function createTransformContext(ctx: GlobalContext): TransformContext {\n  return {\n    options: transformOptions(ctx),\n    refs: { resolve: (ref) => ctx.resolve(ref) },\n    discriminators: {\n      objectAt: (ref) => ctx.discriminators.objects[ref],\n      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref),\n    },\n    footer: runFooter(ctx),\n    callbacks: schemaCallbacks(ctx),\n    diagnostics: diagnostics(ctx),\n    casing: CASING,\n  };\n}\n\n/** The transformer's location for the original options object. */\nexport function schemaLocation(options: TransformNodeOptions): SchemaLocation {\n  return { path: options.path, schema: options.schema };\n}\n"],"names":["RunFooter","ContextFooterSink","changeCase","defaultLogger","monotonicNow","schemaCallbacks"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAoBA,SAAS,iBAAiB,GAAA,EAAsC;AAC9D,EAAA,OAAO;AAAA,IACL,sBAAsB,GAAA,CAAI,oBAAA;AAAA,IAC1B,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,cAAc,GAAA,CAAI,YAAA;AAAA,IAClB,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,MAAM,GAAA,CAAI,IAAA;AAAA,IACV,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,OAAO,IAAI,GAAA,CAAI,GAAA,CAAI,GAAA,IAAO,EAAE,CAAA;AAAA,IAC5B,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,6BAA6B,GAAA,CAAI,2BAAA;AAAA,IACjC,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,yBAAyB,GAAA,CAAI,uBAAA;AAAA,IAC7B,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,QAAQ,GAAA,CAAI,MAAA;AAAA,IACZ,eAAe,GAAA,CAAI;AAAA,GACrB;AACF;AAGA,SAAS,UAAU,GAAA,EAAoC;AACrD,EAAA,GAAA,CAAI,SAAA,KAAc,IAAIA,wBAAA,CAAU,IAAIC,6BAAkB,GAAA,CAAI,YAAY,CAAA,EAAG,GAAA,CAAI,WAAW,CAAA;AACxF,EAAA,OAAO,GAAA,CAAI,SAAA;AACb;AAEA,MAAM,MAAA,GAAqB,EAAE,UAAA,EAAY,CAAC,SAASC,qBAAA,CAAW,UAAA,CAAW,IAAI,CAAA,EAAE;AAK/E,SAAS,YAAY,GAAA,EAA0C;AAC7D,EAAA,MAAM,MAAA,GAAS,GAAA,CAAI,MAAA,IAAUC,0BAAA,CAAc,IAAI,MAAM,CAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAA,EAAKC,yBAAA;AAAA,IACL,KAAA,EAAO,CAAC,OAAA,EAAS,UAAA,KAAe,OAAO,KAAA,CAAM,OAAA,EAAS,MAAM,UAAU;AAAA,GACxE;AACF;AAGO,SAAS,uBAAuB,GAAA,EAAsC;AAC3E,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,iBAAiB,GAAG,CAAA;AAAA,IAC7B,IAAA,EAAM,EAAE,OAAA,EAAS,CAAC,QAAQ,GAAA,CAAI,OAAA,CAAQ,GAAG,CAAA,EAAE;AAAA,IAC3C,cAAA,EAAgB;AAAA,MACd,UAAU,CAAC,GAAA,KAAQ,GAAA,CAAI,cAAA,CAAe,QAAQ,GAAG,CAAA;AAAA,MACjD,WAAW,CAAC,GAAA,KAAQ,IAAI,cAAA,CAAe,WAAA,CAAY,SAAS,GAAG;AAAA,KACjE;AAAA,IACA,MAAA,EAAQ,UAAU,GAAG,CAAA;AAAA,IACrB,SAAA,EAAWC,gCAAgB,GAAG,CAAA;AAAA,IAC9B,WAAA,EAAa,YAAY,GAAG,CAAA;AAAA,IAC5B,MAAA,EAAQ;AAAA,GACV;AACF;AAGO,SAAS,eAAe,OAAA,EAA+C;AAC5E,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,CAAQ,IAAA,EAAM,MAAA,EAAQ,QAAQ,MAAA,EAAO;AACtD;;;"}
+{"version":3,"file":"transform-context.cjs","sources":["../../src/api/transform-context.ts"],"sourcesContent":["import * as changeCase from \"change-case\";\nimport { RunFooter } from \"../application/transform/footer/document-footer.js\";\nimport type {\n  DiscriminatorEnumParent,\n  SchemaLocation,\n} from \"../application/transform/schema/schema-context.js\";\nimport type {\n  DocumentFooter,\n  NameCasing,\n  TransformContext,\n  TransformDiagnostics,\n  TransformOptions,\n} from \"../application/transform/transform-context.js\";\nimport type { GlobalContext, TransformNodeOptions } from \"../types.js\";\nimport { defaultLogger, monotonicNow } from \"./default-ports.js\";\nimport { ContextFooterSink } from \"./footer-sink.js\";\nimport { schemaCallbacks } from \"./schema-callbacks.js\";\n\n/**\n * Builds the ported transformers' context from the original `GlobalContext`: options, refs,\n * discriminators, the run footer and the user callbacks (see `schema-callbacks.ts`).\n */\n\nfunction transformOptions(ctx: GlobalContext): TransformOptions {\n  return {\n    additionalProperties: ctx.additionalProperties,\n    alphabetize: ctx.alphabetize,\n    arrayLength: ctx.arrayLength,\n    binaryAsBlob: ctx.binaryAsBlob,\n    conditionalEnums: ctx.conditionalEnums,\n    dedupeEnums: ctx.dedupeEnums,\n    defaultNonNullable: ctx.defaultNonNullable,\n    emptyObjectsUnknown: ctx.emptyObjectsUnknown,\n    enum: ctx.enum,\n    enumValues: ctx.enumValues,\n    excludeDeprecated: ctx.excludeDeprecated,\n    fixes: new Set(ctx.fix ?? []),\n    immutable: ctx.immutable,\n    propertiesRequiredByDefault: ctx.propertiesRequiredByDefault,\n    readWriteMarkers: ctx.readWriteMarkers,\n    generatePathParams: ctx.generatePathParams,\n    pathParamsAsTypes: ctx.pathParamsAsTypes,\n    rootTypes: ctx.rootTypes,\n    rootTypesNoSchemaPrefix: ctx.rootTypesNoSchemaPrefix,\n    rootTypesKeepCasing: ctx.rootTypesKeepCasing,\n    exportType: ctx.exportType,\n    inject: ctx.inject,\n    makePathsEnum: ctx.makePathsEnum,\n  };\n}\n\n/** One footer per run: it holds the enum registry, so it lives on the run's context. */\nfunction runFooter(ctx: GlobalContext): DocumentFooter {\n  ctx.runFooter ??= new RunFooter(new ContextFooterSink(ctx.injectFooter), ctx.dedupeEnums);\n  return ctx.runFooter;\n}\n\nconst CASING: NameCasing = { pascalCase: (text) => changeCase.pascalCase(text) };\n\n/**\n * A monotonic clock and the run's logger (the default one for a user's own context), \"ts\" group.\n */\nfunction diagnostics(ctx: GlobalContext): TransformDiagnostics {\n  const logger = ctx.logger ?? defaultLogger(ctx.silent);\n  return {\n    now: monotonicNow,\n    debug: (message, durationMs) => logger.debug(message, \"ts\", durationMs),\n  };\n}\n\n/** The ported transformers' context for one call from a legacy transformer. */\nexport function createTransformContext(ctx: GlobalContext): TransformContext {\n  return {\n    options: transformOptions(ctx),\n    refs: { resolve: (ref) => ctx.resolve(ref) },\n    discriminators: {\n      objectAt: (ref) => ctx.discriminators.objects[ref],\n      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref),\n      otherPropertiesAt: (ref) => ctx.discriminators.otherProperties?.[ref] ?? [],\n      enumParentOf: (schema) =>\n        ctx.discriminators.enumParents?.get(schema) as DiscriminatorEnumParent | undefined,\n    },\n    footer: runFooter(ctx),\n    callbacks: schemaCallbacks(ctx),\n    diagnostics: diagnostics(ctx),\n    casing: CASING,\n  };\n}\n\n/** The transformer's location for the original options object. */\nexport function schemaLocation(options: TransformNodeOptions): SchemaLocation {\n  return { path: options.path, schema: options.schema };\n}\n"],"names":["RunFooter","ContextFooterSink","changeCase","defaultLogger","monotonicNow","schemaCallbacks"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAuBA,SAAS,iBAAiB,GAAA,EAAsC;AAC9D,EAAA,OAAO;AAAA,IACL,sBAAsB,GAAA,CAAI,oBAAA;AAAA,IAC1B,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,cAAc,GAAA,CAAI,YAAA;AAAA,IAClB,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,MAAM,GAAA,CAAI,IAAA;AAAA,IACV,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,OAAO,IAAI,GAAA,CAAI,GAAA,CAAI,GAAA,IAAO,EAAE,CAAA;AAAA,IAC5B,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,6BAA6B,GAAA,CAAI,2BAAA;AAAA,IACjC,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,yBAAyB,GAAA,CAAI,uBAAA;AAAA,IAC7B,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,QAAQ,GAAA,CAAI,MAAA;AAAA,IACZ,eAAe,GAAA,CAAI;AAAA,GACrB;AACF;AAGA,SAAS,UAAU,GAAA,EAAoC;AACrD,EAAA,GAAA,CAAI,SAAA,KAAc,IAAIA,wBAAA,CAAU,IAAIC,6BAAkB,GAAA,CAAI,YAAY,CAAA,EAAG,GAAA,CAAI,WAAW,CAAA;AACxF,EAAA,OAAO,GAAA,CAAI,SAAA;AACb;AAEA,MAAM,MAAA,GAAqB,EAAE,UAAA,EAAY,CAAC,SAASC,qBAAA,CAAW,UAAA,CAAW,IAAI,CAAA,EAAE;AAK/E,SAAS,YAAY,GAAA,EAA0C;AAC7D,EAAA,MAAM,MAAA,GAAS,GAAA,CAAI,MAAA,IAAUC,0BAAA,CAAc,IAAI,MAAM,CAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAA,EAAKC,yBAAA;AAAA,IACL,KAAA,EAAO,CAAC,OAAA,EAAS,UAAA,KAAe,OAAO,KAAA,CAAM,OAAA,EAAS,MAAM,UAAU;AAAA,GACxE;AACF;AAGO,SAAS,uBAAuB,GAAA,EAAsC;AAC3E,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,iBAAiB,GAAG,CAAA;AAAA,IAC7B,IAAA,EAAM,EAAE,OAAA,EAAS,CAAC,QAAQ,GAAA,CAAI,OAAA,CAAQ,GAAG,CAAA,EAAE;AAAA,IAC3C,cAAA,EAAgB;AAAA,MACd,UAAU,CAAC,GAAA,KAAQ,GAAA,CAAI,cAAA,CAAe,QAAQ,GAAG,CAAA;AAAA,MACjD,WAAW,CAAC,GAAA,KAAQ,IAAI,cAAA,CAAe,WAAA,CAAY,SAAS,GAAG,CAAA;AAAA,MAC/D,iBAAA,EAAmB,CAAC,GAAA,KAAQ,GAAA,CAAI,eAAe,eAAA,GAAkB,GAAG,KAAK,EAAC;AAAA,MAC1E,cAAc,CAAC,MAAA,KACb,IAAI,cAAA,CAAe,WAAA,EAAa,IAAI,MAAM;AAAA,KAC9C;AAAA,IACA,MAAA,EAAQ,UAAU,GAAG,CAAA;AAAA,IACrB,SAAA,EAAWC,gCAAgB,GAAG,CAAA;AAAA,IAC9B,WAAA,EAAa,YAAY,GAAG,CAAA;AAAA,IAC5B,MAAA,EAAQ;AAAA,GACV;AACF;AAGO,SAAS,eAAe,OAAA,EAA+C;AAC5E,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,CAAQ,IAAA,EAAM,MAAA,EAAQ,QAAQ,MAAA,EAAO;AACtD;;;"}

package/dist/api/transform-context.mjs

@@ -49,7 +49,9 @@ function createTransformContext(ctx) {
     refs: { resolve: (ref) => ctx.resolve(ref) },
     discriminators: {
       objectAt: (ref) => ctx.discriminators.objects[ref],
-      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref)
+      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref),
+      otherPropertiesAt: (ref) => ctx.discriminators.otherProperties?.[ref] ?? [],
+      enumParentOf: (schema) => ctx.discriminators.enumParents?.get(schema)
     },
     footer: runFooter(ctx),
     callbacks: schemaCallbacks(ctx),

package/dist/api/transform-context.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"transform-context.mjs","sources":["../../src/api/transform-context.ts"],"sourcesContent":["import * as changeCase from \"change-case\";\nimport { RunFooter } from \"../application/transform/footer/document-footer.js\";\nimport type { SchemaLocation } from \"../application/transform/schema/schema-context.js\";\nimport type {\n  DocumentFooter,\n  NameCasing,\n  TransformContext,\n  TransformDiagnostics,\n  TransformOptions,\n} from \"../application/transform/transform-context.js\";\nimport type { GlobalContext, TransformNodeOptions } from \"../types.js\";\nimport { defaultLogger, monotonicNow } from \"./default-ports.js\";\nimport { ContextFooterSink } from \"./footer-sink.js\";\nimport { schemaCallbacks } from \"./schema-callbacks.js\";\n\n/**\n * Builds the ported transformers' context from the original `GlobalContext`: options, refs,\n * discriminators, the run footer and the user callbacks (see `schema-callbacks.ts`).\n */\n\nfunction transformOptions(ctx: GlobalContext): TransformOptions {\n  return {\n    additionalProperties: ctx.additionalProperties,\n    alphabetize: ctx.alphabetize,\n    arrayLength: ctx.arrayLength,\n    binaryAsBlob: ctx.binaryAsBlob,\n    conditionalEnums: ctx.conditionalEnums,\n    dedupeEnums: ctx.dedupeEnums,\n    defaultNonNullable: ctx.defaultNonNullable,\n    emptyObjectsUnknown: ctx.emptyObjectsUnknown,\n    enum: ctx.enum,\n    enumValues: ctx.enumValues,\n    excludeDeprecated: ctx.excludeDeprecated,\n    fixes: new Set(ctx.fix ?? []),\n    immutable: ctx.immutable,\n    propertiesRequiredByDefault: ctx.propertiesRequiredByDefault,\n    readWriteMarkers: ctx.readWriteMarkers,\n    generatePathParams: ctx.generatePathParams,\n    pathParamsAsTypes: ctx.pathParamsAsTypes,\n    rootTypes: ctx.rootTypes,\n    rootTypesNoSchemaPrefix: ctx.rootTypesNoSchemaPrefix,\n    rootTypesKeepCasing: ctx.rootTypesKeepCasing,\n    exportType: ctx.exportType,\n    inject: ctx.inject,\n    makePathsEnum: ctx.makePathsEnum,\n  };\n}\n\n/** One footer per run: it holds the enum registry, so it lives on the run's context. */\nfunction runFooter(ctx: GlobalContext): DocumentFooter {\n  ctx.runFooter ??= new RunFooter(new ContextFooterSink(ctx.injectFooter), ctx.dedupeEnums);\n  return ctx.runFooter;\n}\n\nconst CASING: NameCasing = { pascalCase: (text) => changeCase.pascalCase(text) };\n\n/**\n * A monotonic clock and the run's logger (the default one for a user's own context), \"ts\" group.\n */\nfunction diagnostics(ctx: GlobalContext): TransformDiagnostics {\n  const logger = ctx.logger ?? defaultLogger(ctx.silent);\n  return {\n    now: monotonicNow,\n    debug: (message, durationMs) => logger.debug(message, \"ts\", durationMs),\n  };\n}\n\n/** The ported transformers' context for one call from a legacy transformer. */\nexport function createTransformContext(ctx: GlobalContext): TransformContext {\n  return {\n    options: transformOptions(ctx),\n    refs: { resolve: (ref) => ctx.resolve(ref) },\n    discriminators: {\n      objectAt: (ref) => ctx.discriminators.objects[ref],\n      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref),\n    },\n    footer: runFooter(ctx),\n    callbacks: schemaCallbacks(ctx),\n    diagnostics: diagnostics(ctx),\n    casing: CASING,\n  };\n}\n\n/** The transformer's location for the original options object. */\nexport function schemaLocation(options: TransformNodeOptions): SchemaLocation {\n  return { path: options.path, schema: options.schema };\n}\n"],"names":[],"mappings":";;;;;;AAoBA,SAAS,iBAAiB,GAAA,EAAsC;AAC9D,EAAA,OAAO;AAAA,IACL,sBAAsB,GAAA,CAAI,oBAAA;AAAA,IAC1B,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,cAAc,GAAA,CAAI,YAAA;AAAA,IAClB,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,MAAM,GAAA,CAAI,IAAA;AAAA,IACV,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,OAAO,IAAI,GAAA,CAAI,GAAA,CAAI,GAAA,IAAO,EAAE,CAAA;AAAA,IAC5B,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,6BAA6B,GAAA,CAAI,2BAAA;AAAA,IACjC,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,yBAAyB,GAAA,CAAI,uBAAA;AAAA,IAC7B,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,QAAQ,GAAA,CAAI,MAAA;AAAA,IACZ,eAAe,GAAA,CAAI;AAAA,GACrB;AACF;AAGA,SAAS,UAAU,GAAA,EAAoC;AACrD,EAAA,GAAA,CAAI,SAAA,KAAc,IAAI,SAAA,CAAU,IAAI,kBAAkB,GAAA,CAAI,YAAY,CAAA,EAAG,GAAA,CAAI,WAAW,CAAA;AACxF,EAAA,OAAO,GAAA,CAAI,SAAA;AACb;AAEA,MAAM,MAAA,GAAqB,EAAE,UAAA,EAAY,CAAC,SAAS,UAAA,CAAW,UAAA,CAAW,IAAI,CAAA,EAAE;AAK/E,SAAS,YAAY,GAAA,EAA0C;AAC7D,EAAA,MAAM,MAAA,GAAS,GAAA,CAAI,MAAA,IAAU,aAAA,CAAc,IAAI,MAAM,CAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,YAAA;AAAA,IACL,KAAA,EAAO,CAAC,OAAA,EAAS,UAAA,KAAe,OAAO,KAAA,CAAM,OAAA,EAAS,MAAM,UAAU;AAAA,GACxE;AACF;AAGO,SAAS,uBAAuB,GAAA,EAAsC;AAC3E,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,iBAAiB,GAAG,CAAA;AAAA,IAC7B,IAAA,EAAM,EAAE,OAAA,EAAS,CAAC,QAAQ,GAAA,CAAI,OAAA,CAAQ,GAAG,CAAA,EAAE;AAAA,IAC3C,cAAA,EAAgB;AAAA,MACd,UAAU,CAAC,GAAA,KAAQ,GAAA,CAAI,cAAA,CAAe,QAAQ,GAAG,CAAA;AAAA,MACjD,WAAW,CAAC,GAAA,KAAQ,IAAI,cAAA,CAAe,WAAA,CAAY,SAAS,GAAG;AAAA,KACjE;AAAA,IACA,MAAA,EAAQ,UAAU,GAAG,CAAA;AAAA,IACrB,SAAA,EAAW,gBAAgB,GAAG,CAAA;AAAA,IAC9B,WAAA,EAAa,YAAY,GAAG,CAAA;AAAA,IAC5B,MAAA,EAAQ;AAAA,GACV;AACF;AAGO,SAAS,eAAe,OAAA,EAA+C;AAC5E,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,CAAQ,IAAA,EAAM,MAAA,EAAQ,QAAQ,MAAA,EAAO;AACtD;;"}
+{"version":3,"file":"transform-context.mjs","sources":["../../src/api/transform-context.ts"],"sourcesContent":["import * as changeCase from \"change-case\";\nimport { RunFooter } from \"../application/transform/footer/document-footer.js\";\nimport type {\n  DiscriminatorEnumParent,\n  SchemaLocation,\n} from \"../application/transform/schema/schema-context.js\";\nimport type {\n  DocumentFooter,\n  NameCasing,\n  TransformContext,\n  TransformDiagnostics,\n  TransformOptions,\n} from \"../application/transform/transform-context.js\";\nimport type { GlobalContext, TransformNodeOptions } from \"../types.js\";\nimport { defaultLogger, monotonicNow } from \"./default-ports.js\";\nimport { ContextFooterSink } from \"./footer-sink.js\";\nimport { schemaCallbacks } from \"./schema-callbacks.js\";\n\n/**\n * Builds the ported transformers' context from the original `GlobalContext`: options, refs,\n * discriminators, the run footer and the user callbacks (see `schema-callbacks.ts`).\n */\n\nfunction transformOptions(ctx: GlobalContext): TransformOptions {\n  return {\n    additionalProperties: ctx.additionalProperties,\n    alphabetize: ctx.alphabetize,\n    arrayLength: ctx.arrayLength,\n    binaryAsBlob: ctx.binaryAsBlob,\n    conditionalEnums: ctx.conditionalEnums,\n    dedupeEnums: ctx.dedupeEnums,\n    defaultNonNullable: ctx.defaultNonNullable,\n    emptyObjectsUnknown: ctx.emptyObjectsUnknown,\n    enum: ctx.enum,\n    enumValues: ctx.enumValues,\n    excludeDeprecated: ctx.excludeDeprecated,\n    fixes: new Set(ctx.fix ?? []),\n    immutable: ctx.immutable,\n    propertiesRequiredByDefault: ctx.propertiesRequiredByDefault,\n    readWriteMarkers: ctx.readWriteMarkers,\n    generatePathParams: ctx.generatePathParams,\n    pathParamsAsTypes: ctx.pathParamsAsTypes,\n    rootTypes: ctx.rootTypes,\n    rootTypesNoSchemaPrefix: ctx.rootTypesNoSchemaPrefix,\n    rootTypesKeepCasing: ctx.rootTypesKeepCasing,\n    exportType: ctx.exportType,\n    inject: ctx.inject,\n    makePathsEnum: ctx.makePathsEnum,\n  };\n}\n\n/** One footer per run: it holds the enum registry, so it lives on the run's context. */\nfunction runFooter(ctx: GlobalContext): DocumentFooter {\n  ctx.runFooter ??= new RunFooter(new ContextFooterSink(ctx.injectFooter), ctx.dedupeEnums);\n  return ctx.runFooter;\n}\n\nconst CASING: NameCasing = { pascalCase: (text) => changeCase.pascalCase(text) };\n\n/**\n * A monotonic clock and the run's logger (the default one for a user's own context), \"ts\" group.\n */\nfunction diagnostics(ctx: GlobalContext): TransformDiagnostics {\n  const logger = ctx.logger ?? defaultLogger(ctx.silent);\n  return {\n    now: monotonicNow,\n    debug: (message, durationMs) => logger.debug(message, \"ts\", durationMs),\n  };\n}\n\n/** The ported transformers' context for one call from a legacy transformer. */\nexport function createTransformContext(ctx: GlobalContext): TransformContext {\n  return {\n    options: transformOptions(ctx),\n    refs: { resolve: (ref) => ctx.resolve(ref) },\n    discriminators: {\n      objectAt: (ref) => ctx.discriminators.objects[ref],\n      isHandled: (ref) => ctx.discriminators.refsHandled.includes(ref),\n      otherPropertiesAt: (ref) => ctx.discriminators.otherProperties?.[ref] ?? [],\n      enumParentOf: (schema) =>\n        ctx.discriminators.enumParents?.get(schema) as DiscriminatorEnumParent | undefined,\n    },\n    footer: runFooter(ctx),\n    callbacks: schemaCallbacks(ctx),\n    diagnostics: diagnostics(ctx),\n    casing: CASING,\n  };\n}\n\n/** The transformer's location for the original options object. */\nexport function schemaLocation(options: TransformNodeOptions): SchemaLocation {\n  return { path: options.path, schema: options.schema };\n}\n"],"names":[],"mappings":";;;;;;AAuBA,SAAS,iBAAiB,GAAA,EAAsC;AAC9D,EAAA,OAAO;AAAA,IACL,sBAAsB,GAAA,CAAI,oBAAA;AAAA,IAC1B,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,cAAc,GAAA,CAAI,YAAA;AAAA,IAClB,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,aAAa,GAAA,CAAI,WAAA;AAAA,IACjB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,MAAM,GAAA,CAAI,IAAA;AAAA,IACV,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,OAAO,IAAI,GAAA,CAAI,GAAA,CAAI,GAAA,IAAO,EAAE,CAAA;AAAA,IAC5B,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,6BAA6B,GAAA,CAAI,2BAAA;AAAA,IACjC,kBAAkB,GAAA,CAAI,gBAAA;AAAA,IACtB,oBAAoB,GAAA,CAAI,kBAAA;AAAA,IACxB,mBAAmB,GAAA,CAAI,iBAAA;AAAA,IACvB,WAAW,GAAA,CAAI,SAAA;AAAA,IACf,yBAAyB,GAAA,CAAI,uBAAA;AAAA,IAC7B,qBAAqB,GAAA,CAAI,mBAAA;AAAA,IACzB,YAAY,GAAA,CAAI,UAAA;AAAA,IAChB,QAAQ,GAAA,CAAI,MAAA;AAAA,IACZ,eAAe,GAAA,CAAI;AAAA,GACrB;AACF;AAGA,SAAS,UAAU,GAAA,EAAoC;AACrD,EAAA,GAAA,CAAI,SAAA,KAAc,IAAI,SAAA,CAAU,IAAI,kBAAkB,GAAA,CAAI,YAAY,CAAA,EAAG,GAAA,CAAI,WAAW,CAAA;AACxF,EAAA,OAAO,GAAA,CAAI,SAAA;AACb;AAEA,MAAM,MAAA,GAAqB,EAAE,UAAA,EAAY,CAAC,SAAS,UAAA,CAAW,UAAA,CAAW,IAAI,CAAA,EAAE;AAK/E,SAAS,YAAY,GAAA,EAA0C;AAC7D,EAAA,MAAM,MAAA,GAAS,GAAA,CAAI,MAAA,IAAU,aAAA,CAAc,IAAI,MAAM,CAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,YAAA;AAAA,IACL,KAAA,EAAO,CAAC,OAAA,EAAS,UAAA,KAAe,OAAO,KAAA,CAAM,OAAA,EAAS,MAAM,UAAU;AAAA,GACxE;AACF;AAGO,SAAS,uBAAuB,GAAA,EAAsC;AAC3E,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,iBAAiB,GAAG,CAAA;AAAA,IAC7B,IAAA,EAAM,EAAE,OAAA,EAAS,CAAC,QAAQ,GAAA,CAAI,OAAA,CAAQ,GAAG,CAAA,EAAE;AAAA,IAC3C,cAAA,EAAgB;AAAA,MACd,UAAU,CAAC,GAAA,KAAQ,GAAA,CAAI,cAAA,CAAe,QAAQ,GAAG,CAAA;AAAA,MACjD,WAAW,CAAC,GAAA,KAAQ,IAAI,cAAA,CAAe,WAAA,CAAY,SAAS,GAAG,CAAA;AAAA,MAC/D,iBAAA,EAAmB,CAAC,GAAA,KAAQ,GAAA,CAAI,eAAe,eAAA,GAAkB,GAAG,KAAK,EAAC;AAAA,MAC1E,cAAc,CAAC,MAAA,KACb,IAAI,cAAA,CAAe,WAAA,EAAa,IAAI,MAAM;AAAA,KAC9C;AAAA,IACA,MAAA,EAAQ,UAAU,GAAG,CAAA;AAAA,IACrB,SAAA,EAAW,gBAAgB,GAAG,CAAA;AAAA,IAC9B,WAAA,EAAa,YAAY,GAAG,CAAA;AAAA,IAC5B,MAAA,EAAQ;AAAA,GACV;AACF;AAGO,SAAS,eAAe,OAAA,EAA+C;AAC5E,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,CAAQ,IAAA,EAAM,MAAA,EAAQ,QAAQ,MAAA,EAAO;AACtD;;"}

package/dist/api/transform-schema.cjs

@@ -4,8 +4,15 @@ Object.defineProperty(exports, '__esModule', { value: true });
 
 const document = require('../application/transform/document/document.cjs');
 const rootTypeAliases = require('../application/transform/document/root-type-aliases.cjs');
+const documentFooter = require('../application/transform/footer/document-footer.cjs');
+const enumValuesCheck = require('../application/transform/footer/enum-values-check.cjs');
+const sharedEnumNames = require('../application/transform/footer/shared-enum-names.cjs');
+const outputFixes = require('../domain/output-fixes.cjs');
+const discriminatorEnumNames = require('./discriminator-enum-names.cjs');
 const documentDeclarations = require('./document-declarations.cjs');
+const enumValuesWarnings = require('./enum-values-warnings.cjs');
 const footerEntry = require('./footer-entry.cjs');
+const footerSink = require('./footer-sink.cjs');
 const transformContext = require('./transform-context.cjs');
 
 const OPERATIONS_NAME = "operations";
@@ -13,13 +20,55 @@ function isOperations(entry) {
   const name = footerEntry.isIrDeclaration(entry) ? entry.name : entry.name?.escapedText;
   return name === OPERATIONS_NAME;
 }
+const dropMessage = () => void 0;
+const DROPPED_MESSAGES = { debug: dropMessage, warn: dropMessage, error: dropMessage };
+function sharedEnumNamesOf(document$1, ctx, recorder) {
+  const injectFooter = [];
+  const scratch = {
+    ...ctx,
+    injectFooter,
+    runFooter: new documentFooter.RunFooter(new footerSink.ContextFooterSink(injectFooter), true, recorder),
+    logger: DROPPED_MESSAGES,
+    legacyCallbackWarnings: /* @__PURE__ */ new Set()
+  };
+  const scratchContext = transformContext.createTransformContext(scratch);
+  document.documentBody(document$1, scratchContext, () => injectFooter.filter(footerEntry.isIrDeclaration));
+  return recorder.chosenNames();
+}
+function enumNameRecorderOf(ctx) {
+  if (ctx.fix?.includes(outputFixes.OutputFix.DEDUPE_ENUM_NAMES)) {
+    return new sharedEnumNames.SharedEnumNameRecorder();
+  }
+  return ctx.fix?.includes(outputFixes.OutputFix.DISCRIMINATOR_VALUES) ? new discriminatorEnumNames.FirstSchemaNameRecorder() : null;
+}
+function withSharedEnumNames(document, ctx) {
+  const recorder = ctx.runFooter === void 0 ? enumNameRecorderOf(ctx) : null;
+  if (recorder === null || !ctx.enum || !ctx.dedupeEnums) {
+    return;
+  }
+  const names = sharedEnumNamesOf(document, ctx, recorder);
+  ctx.runFooter = new documentFooter.RunFooter(new footerSink.ContextFooterSink(ctx.injectFooter), true, names);
+}
+function enumValuesChecked(body, footer, ctx) {
+  if (!ctx.enumValues) {
+    return footer;
+  }
+  const checked = enumValuesCheck.checkedEnumValues(footer, body, footerEntry.isIrDeclaration);
+  for (const retype of checked.retyped) {
+    if (retype.kind === "excluded") {
+      ctx.logger?.warn(enumValuesWarnings.excludedValuesWarning(retype.name, retype.excluded));
+    }
+  }
+  return checked.footer;
+}
 function transformDocument(schema, ctx) {
   const document$1 = schema;
+  withSharedEnumNames(document$1, ctx);
   const context = transformContext.createTransformContext(ctx);
-  const rawBody = document.documentBody(document$1, context);
-  const footer = [...ctx.injectFooter];
-  const body = rootTypeAliases.renameAliasesTakenByFooter(rawBody, footer.filter(footerEntry.isIrDeclaration));
+  const rawBody = document.documentBody(document$1, context, () => ctx.injectFooter.filter(footerEntry.isIrDeclaration));
+  const footer = enumValuesChecked(rawBody, [...ctx.injectFooter], ctx);
   const closing = document.documentClosing(document$1, context, footer.some(isOperations));
+  const body = rootTypeAliases.renameTakenAliases(rawBody, footer.filter(footerEntry.isIrDeclaration), closing);
   return { body, footer, closing };
 }
 function transformSchema(schema, ctx) {

package/dist/api/transform-schema.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"transform-schema.cjs","sources":["../../src/api/transform-schema.ts"],"sourcesContent":["import type { ts } from \"../adapters/type-ast-bridge/typescript-types.js\";\nimport { documentBody, documentClosing } from \"../application/transform/document/document.js\";\nimport { renameAliasesTakenByFooter } from \"../application/transform/document/root-type-aliases.js\";\nimport type { IrDeclaration } from \"../domain/ir/nodes.js\";\nimport type { DocumentObject } from \"../domain/openapi/document-object.js\";\nimport type { GlobalContext, OpenAPI3 } from \"../types.js\";\nimport { documentDeclarations, type TransformedDocument } from \"./document-declarations.js\";\nimport { type FooterEntry, isIrDeclaration } from \"./footer-entry.js\";\nimport { createTransformContext } from \"./transform-context.js\";\n\nconst OPERATIONS_NAME = \"operations\";\n\n/** Whether a footer entry is named `operations` (any declaration kind, as in the original). */\nfunction isOperations(entry: FooterEntry): boolean {\n  const name = isIrDeclaration(entry)\n    ? (entry as { name?: string }).name\n    : (entry as Partial<ts.InterfaceDeclaration>).name?.escapedText;\n  return name === OPERATIONS_NAME;\n}\n\n/** @internal Root types, the footer, then the closing declarations (Phase 5, step 6). */\nexport function transformDocument(schema: OpenAPI3, ctx: GlobalContext): TransformedDocument {\n  const document = schema as DocumentObject;\n  const context = createTransformContext(ctx);\n  // documentBody registers the enums in the footer, so the footer is read after it.\n  const rawBody = documentBody(document, context);\n  const footer: FooterEntry[] = [...ctx.injectFooter];\n  const body = renameAliasesTakenByFooter(rawBody, footer.filter(isIrDeclaration));\n  const closing = documentClosing(document, context, footer.some(isOperations));\n  return { body, footer, closing };\n}\n\n/**\n * The whole document as IR declarations (ENGINEERING_PLAN 6.1–6.2); `openapiTS` returns the same\n * for a loaded document.\n */\nexport default function transformSchema(schema: OpenAPI3, ctx: GlobalContext): IrDeclaration[] {\n  return documentDeclarations(transformDocument(schema, ctx));\n}\n"],"names":["isIrDeclaration","document","createTransformContext","documentBody","renameAliasesTakenByFooter","documentClosing","documentDeclarations"],"mappings":";;;;;;;;;;AAUA,MAAM,eAAA,GAAkB,YAAA;AAGxB,SAAS,aAAa,KAAA,EAA6B;AACjD,EAAA,MAAM,OAAOA,2BAAA,CAAgB,KAAK,IAC7B,KAAA,CAA4B,IAAA,GAC5B,MAA2C,IAAA,EAAM,WAAA;AACtD,EAAA,OAAO,IAAA,KAAS,eAAA;AAClB;AAGO,SAAS,iBAAA,CAAkB,QAAkB,GAAA,EAAyC;AAC3F,EAAA,MAAMC,UAAA,GAAW,MAAA;AACjB,EAAA,MAAM,OAAA,GAAUC,wCAAuB,GAAG,CAAA;AAE1C,EAAA,MAAM,OAAA,GAAUC,qBAAA,CAAaF,UAAA,EAAU,OAAO,CAAA;AAC9C,EAAA,MAAM,MAAA,GAAwB,CAAC,GAAG,GAAA,CAAI,YAAY,CAAA;AAClD,EAAA,MAAM,OAAOG,0CAAA,CAA2B,OAAA,EAAS,MAAA,CAAO,MAAA,CAAOJ,2BAAe,CAAC,CAAA;AAC/E,EAAA,MAAM,UAAUK,wBAAA,CAAgBJ,UAAA,EAAU,SAAS,MAAA,CAAO,IAAA,CAAK,YAAY,CAAC,CAAA;AAC5E,EAAA,OAAO,EAAE,IAAA,EAAM,MAAA,EAAQ,OAAA,EAAQ;AACjC;AAMA,SAAwB,eAAA,CAAgB,QAAkB,GAAA,EAAqC;AAC7F,EAAA,OAAOK,yCAAA,CAAqB,iBAAA,CAAkB,MAAA,EAAQ,GAAG,CAAC,CAAA;AAC5D;;;"}
+{"version":3,"file":"transform-schema.cjs","sources":["../../src/api/transform-schema.ts"],"sourcesContent":["import type { ts } from \"../adapters/type-ast-bridge/typescript-types.js\";\nimport { documentBody, documentClosing } from \"../application/transform/document/document.js\";\nimport { renameTakenAliases } from \"../application/transform/document/root-type-aliases.js\";\nimport { RunFooter } from \"../application/transform/footer/document-footer.js\";\nimport { checkedEnumValues } from \"../application/transform/footer/enum-values-check.js\";\nimport {\n  SharedEnumNameRecorder,\n  type SharedEnumNames,\n} from \"../application/transform/footer/shared-enum-names.js\";\nimport type { IrDeclaration } from \"../domain/ir/nodes.js\";\nimport type { DocumentObject } from \"../domain/openapi/document-object.js\";\nimport { OutputFix } from \"../domain/output-fixes.js\";\nimport type { GlobalContext, OpenAPI3 } from \"../types.js\";\nimport { FirstSchemaNameRecorder } from \"./discriminator-enum-names.js\";\nimport { documentDeclarations, type TransformedDocument } from \"./document-declarations.js\";\nimport { excludedValuesWarning } from \"./enum-values-warnings.js\";\nimport { type FooterEntry, isIrDeclaration } from \"./footer-entry.js\";\nimport { ContextFooterSink } from \"./footer-sink.js\";\nimport { createTransformContext } from \"./transform-context.js\";\n\nconst OPERATIONS_NAME = \"operations\";\n\n/** Whether a footer entry is named `operations` (any declaration kind, as in the original). */\nfunction isOperations(entry: FooterEntry): boolean {\n  const name = isIrDeclaration(entry)\n    ? (entry as { name?: string }).name\n    : (entry as Partial<ts.InterfaceDeclaration>).name?.escapedText;\n  return name === OPERATIONS_NAME;\n}\n\n/** Drops a message: the first pass must not repeat the run's warnings or debug lines. */\nconst dropMessage = (): void => undefined;\nconst DROPPED_MESSAGES = { debug: dropMessage, warn: dropMessage, error: dropMessage };\n\n/** A shared enum name recorder of a first pass, and the names it gives the second. */\ninterface EnumNameRecorder extends SharedEnumNames {\n  chosenNames(): SharedEnumNames;\n}\n\n/**\n * The names of shared enums, known only at the end: a first pass transforms the document into a\n * scratch footer that `recorder` watches; its output is dropped. User callbacks run in both\n * passes. The `dedupe-enum-names` fix (ADR-021, upstream #1683) names an enum by all of its\n * schemas; `discriminator-values` keeps the first declaring schema's name\n * (`FirstSchemaNameRecorder`).\n */\nfunction sharedEnumNamesOf(\n  document: DocumentObject,\n  ctx: GlobalContext,\n  recorder: EnumNameRecorder,\n): SharedEnumNames {\n  const injectFooter: FooterEntry[] = [];\n  const scratch: GlobalContext = {\n    ...ctx,\n    injectFooter,\n    runFooter: new RunFooter(new ContextFooterSink(injectFooter), true, recorder),\n    logger: DROPPED_MESSAGES,\n    legacyCallbackWarnings: new Set(),\n  };\n  const scratchContext = createTransformContext(scratch);\n  documentBody(document, scratchContext, () => injectFooter.filter(isIrDeclaration));\n  return recorder.chosenNames();\n}\n\n/** The recorder of the run's fixes, or null where the first schema's name needs no first pass. */\nfunction enumNameRecorderOf(ctx: GlobalContext): EnumNameRecorder | null {\n  if (ctx.fix?.includes(OutputFix.DEDUPE_ENUM_NAMES)) {\n    return new SharedEnumNameRecorder();\n  }\n  return ctx.fix?.includes(OutputFix.DISCRIMINATOR_VALUES) ? new FirstSchemaNameRecorder() : null;\n}\n\n/** With a naming fix, `--enum` and `--dedupe-enums`, the run's footer names shared enums. */\nfunction withSharedEnumNames(document: DocumentObject, ctx: GlobalContext): void {\n  const recorder = ctx.runFooter === undefined ? enumNameRecorderOf(ctx) : null;\n  if (recorder === null || !ctx.enum || !ctx.dedupeEnums) {\n    return;\n  }\n  const names = sharedEnumNamesOf(document, ctx, recorder);\n  ctx.runFooter = new RunFooter(new ContextFooterSink(ctx.injectFooter), true, names);\n}\n\n/**\n * With `--enum-values`, arrays whose location type does not hold their values are typed by their\n * values (ADR-027); a location that excludes listed values is a contradiction of the document.\n */\nfunction enumValuesChecked(\n  body: readonly IrDeclaration[],\n  footer: FooterEntry[],\n  ctx: GlobalContext,\n): FooterEntry[] {\n  if (!ctx.enumValues) {\n    return footer;\n  }\n  const checked = checkedEnumValues(footer, body, isIrDeclaration);\n  for (const retype of checked.retyped) {\n    if (retype.kind === \"excluded\") {\n      ctx.logger?.warn(excludedValuesWarning(retype.name, retype.excluded));\n    }\n  }\n  return checked.footer;\n}\n\n/** @internal Root types, the footer, then the closing declarations (Phase 5, step 6). */\nexport function transformDocument(schema: OpenAPI3, ctx: GlobalContext): TransformedDocument {\n  const document = schema as DocumentObject;\n  withSharedEnumNames(document, ctx);\n  const context = createTransformContext(ctx);\n  // documentBody registers the enums in the footer, so the footer is read after it.\n  const rawBody = documentBody(document, context, () => ctx.injectFooter.filter(isIrDeclaration));\n  const footer = enumValuesChecked(rawBody, [...ctx.injectFooter], ctx);\n  const closing = documentClosing(document, context, footer.some(isOperations));\n  const body = renameTakenAliases(rawBody, footer.filter(isIrDeclaration), closing);\n  return { body, footer, closing };\n}\n\n/**\n * The whole document as IR declarations (ENGINEERING_PLAN 6.1–6.2); `openapiTS` returns the same\n * for a loaded document.\n */\nexport default function transformSchema(schema: OpenAPI3, ctx: GlobalContext): IrDeclaration[] {\n  return documentDeclarations(transformDocument(schema, ctx));\n}\n"],"names":["isIrDeclaration","document","RunFooter","ContextFooterSink","createTransformContext","documentBody","OutputFix","SharedEnumNameRecorder","FirstSchemaNameRecorder","checkedEnumValues","excludedValuesWarning","documentClosing","renameTakenAliases","documentDeclarations"],"mappings":";;;;;;;;;;;;;;;;;AAoBA,MAAM,eAAA,GAAkB,YAAA;AAGxB,SAAS,aAAa,KAAA,EAA6B;AACjD,EAAA,MAAM,OAAOA,2BAAA,CAAgB,KAAK,IAC7B,KAAA,CAA4B,IAAA,GAC5B,MAA2C,IAAA,EAAM,WAAA;AACtD,EAAA,OAAO,IAAA,KAAS,eAAA;AAClB;AAGA,MAAM,cAAc,MAAY,MAAA;AAChC,MAAM,mBAAmB,EAAE,KAAA,EAAO,aAAa,IAAA,EAAM,WAAA,EAAa,OAAO,WAAA,EAAY;AAcrF,SAAS,iBAAA,CACPC,UAAA,EACA,GAAA,EACA,QAAA,EACiB;AACjB,EAAA,MAAM,eAA8B,EAAC;AACrC,EAAA,MAAM,OAAA,GAAyB;AAAA,IAC7B,GAAG,GAAA;AAAA,IACH,YAAA;AAAA,IACA,SAAA,EAAW,IAAIC,wBAAA,CAAU,IAAIC,6BAAkB,YAAY,CAAA,EAAG,MAAM,QAAQ,CAAA;AAAA,IAC5E,MAAA,EAAQ,gBAAA;AAAA,IACR,sBAAA,sBAA4B,GAAA;AAAI,GAClC;AACA,EAAA,MAAM,cAAA,GAAiBC,wCAAuB,OAAO,CAAA;AACrD,EAAAC,qBAAA,CAAaJ,YAAU,cAAA,EAAgB,MAAM,YAAA,CAAa,MAAA,CAAOD,2BAAe,CAAC,CAAA;AACjF,EAAA,OAAO,SAAS,WAAA,EAAY;AAC9B;AAGA,SAAS,mBAAmB,GAAA,EAA6C;AACvE,EAAA,IAAI,GAAA,CAAI,GAAA,EAAK,QAAA,CAASM,qBAAA,CAAU,iBAAiB,CAAA,EAAG;AAClD,IAAA,OAAO,IAAIC,sCAAA,EAAuB;AAAA,EACpC;AACA,EAAA,OAAO,GAAA,CAAI,KAAK,QAAA,CAASD,qBAAA,CAAU,oBAAoB,CAAA,GAAI,IAAIE,gDAAwB,GAAI,IAAA;AAC7F;AAGA,SAAS,mBAAA,CAAoB,UAA0B,GAAA,EAA0B;AAC/E,EAAA,MAAM,WAAW,GAAA,CAAI,SAAA,KAAc,MAAA,GAAY,kBAAA,CAAmB,GAAG,CAAA,GAAI,IAAA;AACzE,EAAA,IAAI,aAAa,IAAA,IAAQ,CAAC,IAAI,IAAA,IAAQ,CAAC,IAAI,WAAA,EAAa;AACtD,IAAA;AAAA,EACF;AACA,EAAA,MAAM,KAAA,GAAQ,iBAAA,CAAkB,QAAA,EAAU,GAAA,EAAK,QAAQ,CAAA;AACvD,EAAA,GAAA,CAAI,SAAA,GAAY,IAAIN,wBAAA,CAAU,IAAIC,6BAAkB,GAAA,CAAI,YAAY,CAAA,EAAG,IAAA,EAAM,KAAK,CAAA;AACpF;AAMA,SAAS,iBAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACe;AACf,EAAA,IAAI,CAAC,IAAI,UAAA,EAAY;AACnB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAUM,iCAAA,CAAkB,MAAA,EAAQ,IAAA,EAAMT,2BAAe,CAAA;AAC/D,EAAA,KAAA,MAAW,MAAA,IAAU,QAAQ,OAAA,EAAS;AACpC,IAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,MAAA,GAAA,CAAI,QAAQ,IAAA,CAAKU,wCAAA,CAAsB,OAAO,IAAA,EAAM,MAAA,CAAO,QAAQ,CAAC,CAAA;AAAA,IACtE;AAAA,EACF;AACA,EAAA,OAAO,OAAA,CAAQ,MAAA;AACjB;AAGO,SAAS,iBAAA,CAAkB,QAAkB,GAAA,EAAyC;AAC3F,EAAA,MAAMT,UAAA,GAAW,MAAA;AACjB,EAAA,mBAAA,CAAoBA,YAAU,GAAG,CAAA;AACjC,EAAA,MAAM,OAAA,GAAUG,wCAAuB,GAAG,CAAA;AAE1C,EAAA,MAAM,OAAA,GAAUC,sBAAaJ,UAAA,EAAU,OAAA,EAAS,MAAM,GAAA,CAAI,YAAA,CAAa,MAAA,CAAOD,2BAAe,CAAC,CAAA;AAC9F,EAAA,MAAM,MAAA,GAAS,kBAAkB,OAAA,EAAS,CAAC,GAAG,GAAA,CAAI,YAAY,GAAG,GAAG,CAAA;AACpE,EAAA,MAAM,UAAUW,wBAAA,CAAgBV,UAAA,EAAU,SAAS,MAAA,CAAO,IAAA,CAAK,YAAY,CAAC,CAAA;AAC5E,EAAA,MAAM,OAAOW,kCAAA,CAAmB,OAAA,EAAS,OAAO,MAAA,CAAOZ,2BAAe,GAAG,OAAO,CAAA;AAChF,EAAA,OAAO,EAAE,IAAA,EAAM,MAAA,EAAQ,OAAA,EAAQ;AACjC;AAMA,SAAwB,eAAA,CAAgB,QAAkB,GAAA,EAAqC;AAC7F,EAAA,OAAOa,yCAAA,CAAqB,iBAAA,CAAkB,MAAA,EAAQ,GAAG,CAAC,CAAA;AAC5D;;;"}

package/dist/api/transform-schema.mjs

@@ -1,7 +1,14 @@
 import { documentBody, documentClosing } from '../application/transform/document/document.mjs';
-import { renameAliasesTakenByFooter } from '../application/transform/document/root-type-aliases.mjs';
+import { renameTakenAliases } from '../application/transform/document/root-type-aliases.mjs';
+import { RunFooter } from '../application/transform/footer/document-footer.mjs';
+import { checkedEnumValues } from '../application/transform/footer/enum-values-check.mjs';
+import { SharedEnumNameRecorder } from '../application/transform/footer/shared-enum-names.mjs';
+import { OutputFix } from '../domain/output-fixes.mjs';
+import { FirstSchemaNameRecorder } from './discriminator-enum-names.mjs';
 import { documentDeclarations } from './document-declarations.mjs';
+import { excludedValuesWarning } from './enum-values-warnings.mjs';
 import { isIrDeclaration } from './footer-entry.mjs';
+import { ContextFooterSink } from './footer-sink.mjs';
 import { createTransformContext } from './transform-context.mjs';
 
 const OPERATIONS_NAME = "operations";
@@ -9,13 +16,55 @@ function isOperations(entry) {
   const name = isIrDeclaration(entry) ? entry.name : entry.name?.escapedText;
   return name === OPERATIONS_NAME;
 }
+const dropMessage = () => void 0;
+const DROPPED_MESSAGES = { debug: dropMessage, warn: dropMessage, error: dropMessage };
+function sharedEnumNamesOf(document, ctx, recorder) {
+  const injectFooter = [];
+  const scratch = {
+    ...ctx,
+    injectFooter,
+    runFooter: new RunFooter(new ContextFooterSink(injectFooter), true, recorder),
+    logger: DROPPED_MESSAGES,
+    legacyCallbackWarnings: /* @__PURE__ */ new Set()
+  };
+  const scratchContext = createTransformContext(scratch);
+  documentBody(document, scratchContext, () => injectFooter.filter(isIrDeclaration));
+  return recorder.chosenNames();
+}
+function enumNameRecorderOf(ctx) {
+  if (ctx.fix?.includes(OutputFix.DEDUPE_ENUM_NAMES)) {
+    return new SharedEnumNameRecorder();
+  }
+  return ctx.fix?.includes(OutputFix.DISCRIMINATOR_VALUES) ? new FirstSchemaNameRecorder() : null;
+}
+function withSharedEnumNames(document, ctx) {
+  const recorder = ctx.runFooter === void 0 ? enumNameRecorderOf(ctx) : null;
+  if (recorder === null || !ctx.enum || !ctx.dedupeEnums) {
+    return;
+  }
+  const names = sharedEnumNamesOf(document, ctx, recorder);
+  ctx.runFooter = new RunFooter(new ContextFooterSink(ctx.injectFooter), true, names);
+}
+function enumValuesChecked(body, footer, ctx) {
+  if (!ctx.enumValues) {
+    return footer;
+  }
+  const checked = checkedEnumValues(footer, body, isIrDeclaration);
+  for (const retype of checked.retyped) {
+    if (retype.kind === "excluded") {
+      ctx.logger?.warn(excludedValuesWarning(retype.name, retype.excluded));
+    }
+  }
+  return checked.footer;
+}
 function transformDocument(schema, ctx) {
   const document = schema;
+  withSharedEnumNames(document, ctx);
   const context = createTransformContext(ctx);
-  const rawBody = documentBody(document, context);
-  const footer = [...ctx.injectFooter];
-  const body = renameAliasesTakenByFooter(rawBody, footer.filter(isIrDeclaration));
+  const rawBody = documentBody(document, context, () => ctx.injectFooter.filter(isIrDeclaration));
+  const footer = enumValuesChecked(rawBody, [...ctx.injectFooter], ctx);
   const closing = documentClosing(document, context, footer.some(isOperations));
+  const body = renameTakenAliases(rawBody, footer.filter(isIrDeclaration), closing);
   return { body, footer, closing };
 }
 function transformSchema(schema, ctx) {

package/dist/api/transform-schema.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"transform-schema.mjs","sources":["../../src/api/transform-schema.ts"],"sourcesContent":["import type { ts } from \"../adapters/type-ast-bridge/typescript-types.js\";\nimport { documentBody, documentClosing } from \"../application/transform/document/document.js\";\nimport { renameAliasesTakenByFooter } from \"../application/transform/document/root-type-aliases.js\";\nimport type { IrDeclaration } from \"../domain/ir/nodes.js\";\nimport type { DocumentObject } from \"../domain/openapi/document-object.js\";\nimport type { GlobalContext, OpenAPI3 } from \"../types.js\";\nimport { documentDeclarations, type TransformedDocument } from \"./document-declarations.js\";\nimport { type FooterEntry, isIrDeclaration } from \"./footer-entry.js\";\nimport { createTransformContext } from \"./transform-context.js\";\n\nconst OPERATIONS_NAME = \"operations\";\n\n/** Whether a footer entry is named `operations` (any declaration kind, as in the original). */\nfunction isOperations(entry: FooterEntry): boolean {\n  const name = isIrDeclaration(entry)\n    ? (entry as { name?: string }).name\n    : (entry as Partial<ts.InterfaceDeclaration>).name?.escapedText;\n  return name === OPERATIONS_NAME;\n}\n\n/** @internal Root types, the footer, then the closing declarations (Phase 5, step 6). */\nexport function transformDocument(schema: OpenAPI3, ctx: GlobalContext): TransformedDocument {\n  const document = schema as DocumentObject;\n  const context = createTransformContext(ctx);\n  // documentBody registers the enums in the footer, so the footer is read after it.\n  const rawBody = documentBody(document, context);\n  const footer: FooterEntry[] = [...ctx.injectFooter];\n  const body = renameAliasesTakenByFooter(rawBody, footer.filter(isIrDeclaration));\n  const closing = documentClosing(document, context, footer.some(isOperations));\n  return { body, footer, closing };\n}\n\n/**\n * The whole document as IR declarations (ENGINEERING_PLAN 6.1–6.2); `openapiTS` returns the same\n * for a loaded document.\n */\nexport default function transformSchema(schema: OpenAPI3, ctx: GlobalContext): IrDeclaration[] {\n  return documentDeclarations(transformDocument(schema, ctx));\n}\n"],"names":[],"mappings":";;;;;;AAUA,MAAM,eAAA,GAAkB,YAAA;AAGxB,SAAS,aAAa,KAAA,EAA6B;AACjD,EAAA,MAAM,OAAO,eAAA,CAAgB,KAAK,IAC7B,KAAA,CAA4B,IAAA,GAC5B,MAA2C,IAAA,EAAM,WAAA;AACtD,EAAA,OAAO,IAAA,KAAS,eAAA;AAClB;AAGO,SAAS,iBAAA,CAAkB,QAAkB,GAAA,EAAyC;AAC3F,EAAA,MAAM,QAAA,GAAW,MAAA;AACjB,EAAA,MAAM,OAAA,GAAU,uBAAuB,GAAG,CAAA;AAE1C,EAAA,MAAM,OAAA,GAAU,YAAA,CAAa,QAAA,EAAU,OAAO,CAAA;AAC9C,EAAA,MAAM,MAAA,GAAwB,CAAC,GAAG,GAAA,CAAI,YAAY,CAAA;AAClD,EAAA,MAAM,OAAO,0BAAA,CAA2B,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,eAAe,CAAC,CAAA;AAC/E,EAAA,MAAM,UAAU,eAAA,CAAgB,QAAA,EAAU,SAAS,MAAA,CAAO,IAAA,CAAK,YAAY,CAAC,CAAA;AAC5E,EAAA,OAAO,EAAE,IAAA,EAAM,MAAA,EAAQ,OAAA,EAAQ;AACjC;AAMA,SAAwB,eAAA,CAAgB,QAAkB,GAAA,EAAqC;AAC7F,EAAA,OAAO,oBAAA,CAAqB,iBAAA,CAAkB,MAAA,EAAQ,GAAG,CAAC,CAAA;AAC5D;;"}
+{"version":3,"file":"transform-schema.mjs","sources":["../../src/api/transform-schema.ts"],"sourcesContent":["import type { ts } from \"../adapters/type-ast-bridge/typescript-types.js\";\nimport { documentBody, documentClosing } from \"../application/transform/document/document.js\";\nimport { renameTakenAliases } from \"../application/transform/document/root-type-aliases.js\";\nimport { RunFooter } from \"../application/transform/footer/document-footer.js\";\nimport { checkedEnumValues } from \"../application/transform/footer/enum-values-check.js\";\nimport {\n  SharedEnumNameRecorder,\n  type SharedEnumNames,\n} from \"../application/transform/footer/shared-enum-names.js\";\nimport type { IrDeclaration } from \"../domain/ir/nodes.js\";\nimport type { DocumentObject } from \"../domain/openapi/document-object.js\";\nimport { OutputFix } from \"../domain/output-fixes.js\";\nimport type { GlobalContext, OpenAPI3 } from \"../types.js\";\nimport { FirstSchemaNameRecorder } from \"./discriminator-enum-names.js\";\nimport { documentDeclarations, type TransformedDocument } from \"./document-declarations.js\";\nimport { excludedValuesWarning } from \"./enum-values-warnings.js\";\nimport { type FooterEntry, isIrDeclaration } from \"./footer-entry.js\";\nimport { ContextFooterSink } from \"./footer-sink.js\";\nimport { createTransformContext } from \"./transform-context.js\";\n\nconst OPERATIONS_NAME = \"operations\";\n\n/** Whether a footer entry is named `operations` (any declaration kind, as in the original). */\nfunction isOperations(entry: FooterEntry): boolean {\n  const name = isIrDeclaration(entry)\n    ? (entry as { name?: string }).name\n    : (entry as Partial<ts.InterfaceDeclaration>).name?.escapedText;\n  return name === OPERATIONS_NAME;\n}\n\n/** Drops a message: the first pass must not repeat the run's warnings or debug lines. */\nconst dropMessage = (): void => undefined;\nconst DROPPED_MESSAGES = { debug: dropMessage, warn: dropMessage, error: dropMessage };\n\n/** A shared enum name recorder of a first pass, and the names it gives the second. */\ninterface EnumNameRecorder extends SharedEnumNames {\n  chosenNames(): SharedEnumNames;\n}\n\n/**\n * The names of shared enums, known only at the end: a first pass transforms the document into a\n * scratch footer that `recorder` watches; its output is dropped. User callbacks run in both\n * passes. The `dedupe-enum-names` fix (ADR-021, upstream #1683) names an enum by all of its\n * schemas; `discriminator-values` keeps the first declaring schema's name\n * (`FirstSchemaNameRecorder`).\n */\nfunction sharedEnumNamesOf(\n  document: DocumentObject,\n  ctx: GlobalContext,\n  recorder: EnumNameRecorder,\n): SharedEnumNames {\n  const injectFooter: FooterEntry[] = [];\n  const scratch: GlobalContext = {\n    ...ctx,\n    injectFooter,\n    runFooter: new RunFooter(new ContextFooterSink(injectFooter), true, recorder),\n    logger: DROPPED_MESSAGES,\n    legacyCallbackWarnings: new Set(),\n  };\n  const scratchContext = createTransformContext(scratch);\n  documentBody(document, scratchContext, () => injectFooter.filter(isIrDeclaration));\n  return recorder.chosenNames();\n}\n\n/** The recorder of the run's fixes, or null where the first schema's name needs no first pass. */\nfunction enumNameRecorderOf(ctx: GlobalContext): EnumNameRecorder | null {\n  if (ctx.fix?.includes(OutputFix.DEDUPE_ENUM_NAMES)) {\n    return new SharedEnumNameRecorder();\n  }\n  return ctx.fix?.includes(OutputFix.DISCRIMINATOR_VALUES) ? new FirstSchemaNameRecorder() : null;\n}\n\n/** With a naming fix, `--enum` and `--dedupe-enums`, the run's footer names shared enums. */\nfunction withSharedEnumNames(document: DocumentObject, ctx: GlobalContext): void {\n  const recorder = ctx.runFooter === undefined ? enumNameRecorderOf(ctx) : null;\n  if (recorder === null || !ctx.enum || !ctx.dedupeEnums) {\n    return;\n  }\n  const names = sharedEnumNamesOf(document, ctx, recorder);\n  ctx.runFooter = new RunFooter(new ContextFooterSink(ctx.injectFooter), true, names);\n}\n\n/**\n * With `--enum-values`, arrays whose location type does not hold their values are typed by their\n * values (ADR-027); a location that excludes listed values is a contradiction of the document.\n */\nfunction enumValuesChecked(\n  body: readonly IrDeclaration[],\n  footer: FooterEntry[],\n  ctx: GlobalContext,\n): FooterEntry[] {\n  if (!ctx.enumValues) {\n    return footer;\n  }\n  const checked = checkedEnumValues(footer, body, isIrDeclaration);\n  for (const retype of checked.retyped) {\n    if (retype.kind === \"excluded\") {\n      ctx.logger?.warn(excludedValuesWarning(retype.name, retype.excluded));\n    }\n  }\n  return checked.footer;\n}\n\n/** @internal Root types, the footer, then the closing declarations (Phase 5, step 6). */\nexport function transformDocument(schema: OpenAPI3, ctx: GlobalContext): TransformedDocument {\n  const document = schema as DocumentObject;\n  withSharedEnumNames(document, ctx);\n  const context = createTransformContext(ctx);\n  // documentBody registers the enums in the footer, so the footer is read after it.\n  const rawBody = documentBody(document, context, () => ctx.injectFooter.filter(isIrDeclaration));\n  const footer = enumValuesChecked(rawBody, [...ctx.injectFooter], ctx);\n  const closing = documentClosing(document, context, footer.some(isOperations));\n  const body = renameTakenAliases(rawBody, footer.filter(isIrDeclaration), closing);\n  return { body, footer, closing };\n}\n\n/**\n * The whole document as IR declarations (ENGINEERING_PLAN 6.1–6.2); `openapiTS` returns the same\n * for a loaded document.\n */\nexport default function transformSchema(schema: OpenAPI3, ctx: GlobalContext): IrDeclaration[] {\n  return documentDeclarations(transformDocument(schema, ctx));\n}\n"],"names":[],"mappings":";;;;;;;;;;;;;AAoBA,MAAM,eAAA,GAAkB,YAAA;AAGxB,SAAS,aAAa,KAAA,EAA6B;AACjD,EAAA,MAAM,OAAO,eAAA,CAAgB,KAAK,IAC7B,KAAA,CAA4B,IAAA,GAC5B,MAA2C,IAAA,EAAM,WAAA;AACtD,EAAA,OAAO,IAAA,KAAS,eAAA;AAClB;AAGA,MAAM,cAAc,MAAY,MAAA;AAChC,MAAM,mBAAmB,EAAE,KAAA,EAAO,aAAa,IAAA,EAAM,WAAA,EAAa,OAAO,WAAA,EAAY;AAcrF,SAAS,iBAAA,CACP,QAAA,EACA,GAAA,EACA,QAAA,EACiB;AACjB,EAAA,MAAM,eAA8B,EAAC;AACrC,EAAA,MAAM,OAAA,GAAyB;AAAA,IAC7B,GAAG,GAAA;AAAA,IACH,YAAA;AAAA,IACA,SAAA,EAAW,IAAI,SAAA,CAAU,IAAI,kBAAkB,YAAY,CAAA,EAAG,MAAM,QAAQ,CAAA;AAAA,IAC5E,MAAA,EAAQ,gBAAA;AAAA,IACR,sBAAA,sBAA4B,GAAA;AAAI,GAClC;AACA,EAAA,MAAM,cAAA,GAAiB,uBAAuB,OAAO,CAAA;AACrD,EAAA,YAAA,CAAa,UAAU,cAAA,EAAgB,MAAM,YAAA,CAAa,MAAA,CAAO,eAAe,CAAC,CAAA;AACjF,EAAA,OAAO,SAAS,WAAA,EAAY;AAC9B;AAGA,SAAS,mBAAmB,GAAA,EAA6C;AACvE,EAAA,IAAI,GAAA,CAAI,GAAA,EAAK,QAAA,CAAS,SAAA,CAAU,iBAAiB,CAAA,EAAG;AAClD,IAAA,OAAO,IAAI,sBAAA,EAAuB;AAAA,EACpC;AACA,EAAA,OAAO,GAAA,CAAI,KAAK,QAAA,CAAS,SAAA,CAAU,oBAAoB,CAAA,GAAI,IAAI,yBAAwB,GAAI,IAAA;AAC7F;AAGA,SAAS,mBAAA,CAAoB,UAA0B,GAAA,EAA0B;AAC/E,EAAA,MAAM,WAAW,GAAA,CAAI,SAAA,KAAc,MAAA,GAAY,kBAAA,CAAmB,GAAG,CAAA,GAAI,IAAA;AACzE,EAAA,IAAI,aAAa,IAAA,IAAQ,CAAC,IAAI,IAAA,IAAQ,CAAC,IAAI,WAAA,EAAa;AACtD,IAAA;AAAA,EACF;AACA,EAAA,MAAM,KAAA,GAAQ,iBAAA,CAAkB,QAAA,EAAU,GAAA,EAAK,QAAQ,CAAA;AACvD,EAAA,GAAA,CAAI,SAAA,GAAY,IAAI,SAAA,CAAU,IAAI,kBAAkB,GAAA,CAAI,YAAY,CAAA,EAAG,IAAA,EAAM,KAAK,CAAA;AACpF;AAMA,SAAS,iBAAA,CACP,IAAA,EACA,MAAA,EACA,GAAA,EACe;AACf,EAAA,IAAI,CAAC,IAAI,UAAA,EAAY;AACnB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,MAAA,EAAQ,IAAA,EAAM,eAAe,CAAA;AAC/D,EAAA,KAAA,MAAW,MAAA,IAAU,QAAQ,OAAA,EAAS;AACpC,IAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,MAAA,GAAA,CAAI,QAAQ,IAAA,CAAK,qBAAA,CAAsB,OAAO,IAAA,EAAM,MAAA,CAAO,QAAQ,CAAC,CAAA;AAAA,IACtE;AAAA,EACF;AACA,EAAA,OAAO,OAAA,CAAQ,MAAA;AACjB;AAGO,SAAS,iBAAA,CAAkB,QAAkB,GAAA,EAAyC;AAC3F,EAAA,MAAM,QAAA,GAAW,MAAA;AACjB,EAAA,mBAAA,CAAoB,UAAU,GAAG,CAAA;AACjC,EAAA,MAAM,OAAA,GAAU,uBAAuB,GAAG,CAAA;AAE1C,EAAA,MAAM,OAAA,GAAU,aAAa,QAAA,EAAU,OAAA,EAAS,MAAM,GAAA,CAAI,YAAA,CAAa,MAAA,CAAO,eAAe,CAAC,CAAA;AAC9F,EAAA,MAAM,MAAA,GAAS,kBAAkB,OAAA,EAAS,CAAC,GAAG,GAAA,CAAI,YAAY,GAAG,GAAG,CAAA;AACpE,EAAA,MAAM,UAAU,eAAA,CAAgB,QAAA,EAAU,SAAS,MAAA,CAAO,IAAA,CAAK,YAAY,CAAC,CAAA;AAC5E,EAAA,MAAM,OAAO,kBAAA,CAAmB,OAAA,EAAS,OAAO,MAAA,CAAO,eAAe,GAAG,OAAO,CAAA;AAChF,EAAA,OAAO,EAAE,IAAA,EAAM,MAAA,EAAQ,OAAA,EAAQ;AACjC;AAMA,SAAwB,eAAA,CAAgB,QAAkB,GAAA,EAAqC;AAC7F,EAAA,OAAO,oBAAA,CAAqB,iBAAA,CAAkB,MAAA,EAAQ,GAAG,CAAC,CAAA;AAC5D;;"}

package/dist/api/unsupported-feature-warnings.cjs

@@ -1,15 +1,20 @@
 'use strict';
 
 const unsupportedFeatures = require('../domain/openapi/unsupported-features.cjs');
+const warnings = require('../domain/warnings.cjs');
 
 const DOCS_BASE_URL = "https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs";
 const SUPPORT_DOCS_URL = `${DOCS_BASE_URL}/introduction.md#openapi-3-2-support`;
 const REASONS = {
   [unsupportedFeatures.UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]: 'is an "in: querystring" parameter next to "in: query" parameters, which OpenAPI 3.2 does not allow; the query parameters keep their types and this parameter is not in the generated types'
 };
+const CODES = {
+  [unsupportedFeatures.UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]: warnings.WARNING_CODES.QUERYSTRING_NEXT_TO_QUERY
+};
 function warnUnsupportedFeatures(document, logger) {
   for (const { feature, pointer } of unsupportedFeatures.findUnsupportedFeatures(document)) {
-    logger.warn(`${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`);
+    const message = `${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`;
+    logger.warn(warnings.warningText(message, CODES[feature]));
   }
 }
 

package/dist/api/unsupported-feature-warnings.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"unsupported-feature-warnings.cjs","sources":["../../src/api/unsupported-feature-warnings.ts"],"sourcesContent":["import type { Logger } from \"../application/ports/logger.js\";\nimport {\n  findUnsupportedFeatures,\n  UnsupportedFeature,\n} from \"../domain/openapi/unsupported-features.js\";\n\nconst DOCS_BASE_URL = \"https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs\";\nconst SUPPORT_DOCS_URL = `${DOCS_BASE_URL}/introduction.md#openapi-3-2-support`;\n\n/** Why each feature is not in the generated types. */\nconst REASONS: Readonly<Record<UnsupportedFeature, string>> = {\n  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]:\n    'is an \"in: querystring\" parameter next to \"in: query\" parameters, which OpenAPI 3.2 does ' +\n    \"not allow; the query parameters keep their types and this parameter is not in the \" +\n    \"generated types\",\n};\n\n/**\n * Warn once per use of an OpenAPI 3.2 feature that the generated types leave out, so a missing\n * parameter is never silent (CODING_PRINCIPLES §8.7).\n */\nexport function warnUnsupportedFeatures(document: unknown, logger: Logger): void {\n  for (const { feature, pointer } of findUnsupportedFeatures(document)) {\n    logger.warn(`${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`);\n  }\n}\n"],"names":["UnsupportedFeature","findUnsupportedFeatures"],"mappings":";;;;AAMA,MAAM,aAAA,GAAgB,qEAAA;AACtB,MAAM,gBAAA,GAAmB,GAAG,aAAa,CAAA,oCAAA,CAAA;AAGzC,MAAM,OAAA,GAAwD;AAAA,EAC5D,CAACA,sCAAA,CAAmB,yBAAyB,GAC3C;AAGJ,CAAA;AAMO,SAAS,uBAAA,CAAwB,UAAmB,MAAA,EAAsB;AAC/E,EAAA,KAAA,MAAW,EAAE,OAAA,EAAS,OAAA,EAAQ,IAAKC,2CAAA,CAAwB,QAAQ,CAAA,EAAG;AACpE,IAAA,MAAA,CAAO,IAAA,CAAK,GAAG,OAAO,CAAA,CAAA,EAAI,QAAQ,OAAO,CAAC,CAAA,MAAA,EAAS,gBAAgB,CAAA,CAAE,CAAA;AAAA,EACvE;AACF;;"}
+{"version":3,"file":"unsupported-feature-warnings.cjs","sources":["../../src/api/unsupported-feature-warnings.ts"],"sourcesContent":["import type { Logger } from \"../application/ports/logger.js\";\nimport {\n  findUnsupportedFeatures,\n  UnsupportedFeature,\n} from \"../domain/openapi/unsupported-features.js\";\nimport { WARNING_CODES, type WarningCode, warningText } from \"../domain/warnings.js\";\n\nconst DOCS_BASE_URL = \"https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs\";\nconst SUPPORT_DOCS_URL = `${DOCS_BASE_URL}/introduction.md#openapi-3-2-support`;\n\n/** Why each feature is not in the generated types. */\nconst REASONS: Readonly<Record<UnsupportedFeature, string>> = {\n  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]:\n    'is an \"in: querystring\" parameter next to \"in: query\" parameters, which OpenAPI 3.2 does ' +\n    \"not allow; the query parameters keep their types and this parameter is not in the \" +\n    \"generated types\",\n};\n\n/** The warning code of each feature. */\nconst CODES: Readonly<Record<UnsupportedFeature, WarningCode>> = {\n  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]: WARNING_CODES.QUERYSTRING_NEXT_TO_QUERY,\n};\n\n/**\n * Warn once per use of an OpenAPI 3.2 feature that the generated types leave out, so a missing\n * parameter is never silent (CODING_PRINCIPLES §8.7).\n */\nexport function warnUnsupportedFeatures(document: unknown, logger: Logger): void {\n  for (const { feature, pointer } of findUnsupportedFeatures(document)) {\n    const message = `${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`;\n    logger.warn(warningText(message, CODES[feature]));\n  }\n}\n"],"names":["UnsupportedFeature","WARNING_CODES","findUnsupportedFeatures","warningText"],"mappings":";;;;;AAOA,MAAM,aAAA,GAAgB,qEAAA;AACtB,MAAM,gBAAA,GAAmB,GAAG,aAAa,CAAA,oCAAA,CAAA;AAGzC,MAAM,OAAA,GAAwD;AAAA,EAC5D,CAACA,sCAAA,CAAmB,yBAAyB,GAC3C;AAGJ,CAAA;AAGA,MAAM,KAAA,GAA2D;AAAA,EAC/D,CAACA,sCAAA,CAAmB,yBAAyB,GAAGC,sBAAA,CAAc;AAChE,CAAA;AAMO,SAAS,uBAAA,CAAwB,UAAmB,MAAA,EAAsB;AAC/E,EAAA,KAAA,MAAW,EAAE,OAAA,EAAS,OAAA,EAAQ,IAAKC,2CAAA,CAAwB,QAAQ,CAAA,EAAG;AACpE,IAAA,MAAM,OAAA,GAAU,GAAG,OAAO,CAAA,CAAA,EAAI,QAAQ,OAAO,CAAC,SAAS,gBAAgB,CAAA,CAAA;AACvE,IAAA,MAAA,CAAO,KAAKC,oBAAA,CAAY,OAAA,EAAS,KAAA,CAAM,OAAO,CAAC,CAAC,CAAA;AAAA,EAClD;AACF;;"}

package/dist/api/unsupported-feature-warnings.mjs

@@ -1,13 +1,18 @@
 import { findUnsupportedFeatures, UnsupportedFeature } from '../domain/openapi/unsupported-features.mjs';
+import { warningText, WARNING_CODES } from '../domain/warnings.mjs';
 
 const DOCS_BASE_URL = "https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs";
 const SUPPORT_DOCS_URL = `${DOCS_BASE_URL}/introduction.md#openapi-3-2-support`;
 const REASONS = {
   [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]: 'is an "in: querystring" parameter next to "in: query" parameters, which OpenAPI 3.2 does not allow; the query parameters keep their types and this parameter is not in the generated types'
 };
+const CODES = {
+  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]: WARNING_CODES.QUERYSTRING_NEXT_TO_QUERY
+};
 function warnUnsupportedFeatures(document, logger) {
   for (const { feature, pointer } of findUnsupportedFeatures(document)) {
-    logger.warn(`${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`);
+    const message = `${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`;
+    logger.warn(warningText(message, CODES[feature]));
   }
 }
 

package/dist/api/unsupported-feature-warnings.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"unsupported-feature-warnings.mjs","sources":["../../src/api/unsupported-feature-warnings.ts"],"sourcesContent":["import type { Logger } from \"../application/ports/logger.js\";\nimport {\n  findUnsupportedFeatures,\n  UnsupportedFeature,\n} from \"../domain/openapi/unsupported-features.js\";\n\nconst DOCS_BASE_URL = \"https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs\";\nconst SUPPORT_DOCS_URL = `${DOCS_BASE_URL}/introduction.md#openapi-3-2-support`;\n\n/** Why each feature is not in the generated types. */\nconst REASONS: Readonly<Record<UnsupportedFeature, string>> = {\n  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]:\n    'is an \"in: querystring\" parameter next to \"in: query\" parameters, which OpenAPI 3.2 does ' +\n    \"not allow; the query parameters keep their types and this parameter is not in the \" +\n    \"generated types\",\n};\n\n/**\n * Warn once per use of an OpenAPI 3.2 feature that the generated types leave out, so a missing\n * parameter is never silent (CODING_PRINCIPLES §8.7).\n */\nexport function warnUnsupportedFeatures(document: unknown, logger: Logger): void {\n  for (const { feature, pointer } of findUnsupportedFeatures(document)) {\n    logger.warn(`${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`);\n  }\n}\n"],"names":[],"mappings":";;AAMA,MAAM,aAAA,GAAgB,qEAAA;AACtB,MAAM,gBAAA,GAAmB,GAAG,aAAa,CAAA,oCAAA,CAAA;AAGzC,MAAM,OAAA,GAAwD;AAAA,EAC5D,CAAC,kBAAA,CAAmB,yBAAyB,GAC3C;AAGJ,CAAA;AAMO,SAAS,uBAAA,CAAwB,UAAmB,MAAA,EAAsB;AAC/E,EAAA,KAAA,MAAW,EAAE,OAAA,EAAS,OAAA,EAAQ,IAAK,uBAAA,CAAwB,QAAQ,CAAA,EAAG;AACpE,IAAA,MAAA,CAAO,IAAA,CAAK,GAAG,OAAO,CAAA,CAAA,EAAI,QAAQ,OAAO,CAAC,CAAA,MAAA,EAAS,gBAAgB,CAAA,CAAE,CAAA;AAAA,EACvE;AACF;;"}
+{"version":3,"file":"unsupported-feature-warnings.mjs","sources":["../../src/api/unsupported-feature-warnings.ts"],"sourcesContent":["import type { Logger } from \"../application/ports/logger.js\";\nimport {\n  findUnsupportedFeatures,\n  UnsupportedFeature,\n} from \"../domain/openapi/unsupported-features.js\";\nimport { WARNING_CODES, type WarningCode, warningText } from \"../domain/warnings.js\";\n\nconst DOCS_BASE_URL = \"https://github.com/openapi-typesafe/openapi-typesafe/blob/main/docs\";\nconst SUPPORT_DOCS_URL = `${DOCS_BASE_URL}/introduction.md#openapi-3-2-support`;\n\n/** Why each feature is not in the generated types. */\nconst REASONS: Readonly<Record<UnsupportedFeature, string>> = {\n  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]:\n    'is an \"in: querystring\" parameter next to \"in: query\" parameters, which OpenAPI 3.2 does ' +\n    \"not allow; the query parameters keep their types and this parameter is not in the \" +\n    \"generated types\",\n};\n\n/** The warning code of each feature. */\nconst CODES: Readonly<Record<UnsupportedFeature, WarningCode>> = {\n  [UnsupportedFeature.QUERYSTRING_NEXT_TO_QUERY]: WARNING_CODES.QUERYSTRING_NEXT_TO_QUERY,\n};\n\n/**\n * Warn once per use of an OpenAPI 3.2 feature that the generated types leave out, so a missing\n * parameter is never silent (CODING_PRINCIPLES §8.7).\n */\nexport function warnUnsupportedFeatures(document: unknown, logger: Logger): void {\n  for (const { feature, pointer } of findUnsupportedFeatures(document)) {\n    const message = `${pointer} ${REASONS[feature]}. See ${SUPPORT_DOCS_URL}`;\n    logger.warn(warningText(message, CODES[feature]));\n  }\n}\n"],"names":[],"mappings":";;;AAOA,MAAM,aAAA,GAAgB,qEAAA;AACtB,MAAM,gBAAA,GAAmB,GAAG,aAAa,CAAA,oCAAA,CAAA;AAGzC,MAAM,OAAA,GAAwD;AAAA,EAC5D,CAAC,kBAAA,CAAmB,yBAAyB,GAC3C;AAGJ,CAAA;AAGA,MAAM,KAAA,GAA2D;AAAA,EAC/D,CAAC,kBAAA,CAAmB,yBAAyB,GAAG,aAAA,CAAc;AAChE,CAAA;AAMO,SAAS,uBAAA,CAAwB,UAAmB,MAAA,EAAsB;AAC/E,EAAA,KAAA,MAAW,EAAE,OAAA,EAAS,OAAA,EAAQ,IAAK,uBAAA,CAAwB,QAAQ,CAAA,EAAG;AACpE,IAAA,MAAM,OAAA,GAAU,GAAG,OAAO,CAAA,CAAA,EAAI,QAAQ,OAAO,CAAC,SAAS,gBAAgB,CAAA,CAAA;AACvE,IAAA,MAAA,CAAO,KAAK,WAAA,CAAY,OAAA,EAAS,KAAA,CAAM,OAAO,CAAC,CAAC,CAAA;AAAA,EAClD;AACF;;"}

package/dist/application/print/type-printer.cjs

@@ -85,6 +85,11 @@ function writeTupleElement(writer, element) {
   if (element.isRest) {
     writer.write("...");
   }
+  if (element.isOptional) {
+    writeTypeIn(writer, element.type, needsParensAsPostfixOperand);
+    writer.write("?");
+    return;
+  }
   writeType(writer, element.type);
 }
 function writeObjectType(writer, members) {

package/dist/application/print/type-printer.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"type-printer.cjs","sources":["../../../src/application/print/type-printer.ts"],"sourcesContent":["import { assertNever } from \"../../domain/assert-never.js\";\nimport type {\n  IrIndexedAccessType,\n  IrMember,\n  IrPropertyName,\n  IrRawType,\n  IrTupleElement,\n  IrType,\n} from \"../../domain/ir/nodes.js\";\nimport { writeLeadingComment } from \"./comment-writer.js\";\nimport { printEscapedString, printNumberLiteral, printStringLiteral } from \"./literal-text.js\";\nimport type { TextWriter } from \"./text-writer.js\";\n\n/**\n * Parenthesization contexts. Each predicate says when a child type needs parentheses; together they\n * reproduce the TypeScript factory's parenthesizer rules for the node kinds of the IR, so output\n * matches the original even when unions are nested (`A | (B | C)`).\n */\nconst isUnionOrIntersection = (type: IrType): boolean =>\n  type.kind === \"union\" || type.kind === \"intersection\";\n/** Union and intersection members (`parenthesizeConstituentTypeOf{Union,Intersection}Type`). */\nconst needsParensAsConstituent = isUnionOrIntersection;\n/** Array element and indexed-access object (`parenthesizeNonArrayTypeOfPostfixType`). */\nconst needsParensAsPostfixOperand = (type: IrType): boolean =>\n  type.kind === \"readonly\" || isUnionOrIntersection(type);\n/** Operand of `readonly` (`parenthesizeOperandOfReadonlyTypeOperator`). */\nconst needsParensAsReadonlyOperand = needsParensAsPostfixOperand;\n\nfunction writeTypeIn(\n  writer: TextWriter,\n  type: IrType,\n  needsParens: (type: IrType) => boolean,\n): void {\n  if (!needsParens(type)) {\n    writeType(writer, type);\n    return;\n  }\n  writer.write(\"(\");\n  writeType(writer, type);\n  writer.write(\")\");\n}\n\n/** Write a single-line list: `separator` between items, nothing for an empty list. */\nfunction writeInlineList<T>(\n  writer: TextWriter,\n  items: readonly T[],\n  separator: string,\n  writeItem: (item: T) => void,\n) {\n  items.forEach((item, index) => {\n    if (index > 0) {\n      writer.write(separator);\n    }\n    writeItem(item);\n  });\n}\n\n/**\n * Write a multi-line list the way the TypeScript printer does: a line break after the opening\n * token, one item per indented line, `delimiter` after every item but the last, and a line break\n * before the closing token. An empty list prints the line break only when `isLineBreakWhenEmpty`\n * (interfaces, enums and tuples do; object type literals print `{}`).\n */\nexport function writeMultiLineList<T>(\n  writer: TextWriter,\n  items: readonly T[],\n  format: { readonly delimiter: string; readonly isLineBreakWhenEmpty: boolean },\n  writeItem: (item: T) => void,\n): void {\n  if (items.length === 0) {\n    if (format.isLineBreakWhenEmpty) {\n      writer.writeLine();\n    }\n    return;\n  }\n  writer.writeLine();\n  writer.increaseIndent();\n  items.forEach((item, index) => {\n    if (index > 0) {\n      writer.write(format.delimiter);\n      writer.writeLine();\n    }\n    writeItem(item);\n  });\n  writer.decreaseIndent();\n  writer.writeLine();\n}\n\nfunction writePropertyName(writer: TextWriter, name: IrPropertyName): void {\n  switch (name.kind) {\n    case \"identifier\":\n    case \"number\":\n      writer.write(name.text);\n      break;\n    case \"string\":\n      writer.write(printEscapedString(name.value));\n      break;\n    default:\n      assertNever(name);\n  }\n}\n\n/**\n * `[name: type]`. TypeScript prints index signature parameters as an indented list, so a multi-line\n * parameter type (an object or tuple) is indented one level deeper than the member.\n */\nfunction writeIndexSignatureParameter(writer: TextWriter, name: string, type: IrType): void {\n  writer.write(`[${name}: `);\n  writer.increaseIndent();\n  writeType(writer, type);\n  writer.decreaseIndent();\n  writer.write(\"]\");\n}\n\n/** Write one member of an interface or object type, with its comment and trailing semicolon. */\nexport function writeMember(writer: TextWriter, member: IrMember): void {\n  for (const comment of member.comments) {\n    writeLeadingComment(writer, comment);\n  }\n  if (member.isReadonly) {\n    writer.write(\"readonly \");\n  }\n  if (member.kind === \"property\") {\n    writePropertyName(writer, member.name);\n    writer.write(member.isOptional ? \"?: \" : \": \");\n  } else {\n    writeIndexSignatureParameter(writer, member.parameterName, member.parameterType);\n    writer.write(\": \");\n  }\n  writeType(writer, member.type);\n  writer.write(\";\");\n}\n\nfunction writeTupleElement(writer: TextWriter, element: IrTupleElement): void {\n  if (element.isRest) {\n    writer.write(\"...\");\n  }\n  writeType(writer, element.type);\n}\n\nfunction writeObjectType(writer: TextWriter, members: readonly IrMember[]): void {\n  writer.write(\"{\");\n  writeMultiLineList(writer, members, { delimiter: \"\", isLineBreakWhenEmpty: false }, (member) =>\n    writeMember(writer, member),\n  );\n  writer.write(\"}\");\n}\n\nfunction writeTupleType(writer: TextWriter, elements: readonly IrTupleElement[]): void {\n  writer.write(\"[\");\n  writeMultiLineList(writer, elements, { delimiter: \",\", isLineBreakWhenEmpty: true }, (element) =>\n    writeTupleElement(writer, element),\n  );\n  writer.write(\"]\");\n}\n\nfunction writeReferenceType(\n  writer: TextWriter,\n  name: string,\n  typeArguments: readonly IrType[],\n): void {\n  writer.write(name);\n  if (typeArguments.length > 0) {\n    writer.write(\"<\");\n    writeInlineList(writer, typeArguments, \", \", (argument) => writeType(writer, argument));\n    writer.write(\">\");\n  }\n}\n\nfunction writeIndexedAccessType(writer: TextWriter, type: IrIndexedAccessType): void {\n  writeTypeIn(writer, type.object, needsParensAsPostfixOperand);\n  writer.write(\"[\");\n  writeType(writer, type.index);\n  writer.write(\"]\");\n}\n\nfunction writeConstituents(writer: TextWriter, types: readonly IrType[], separator: string): void {\n  writeInlineList(writer, types, separator, (member) =>\n    writeTypeIn(writer, member, needsParensAsConstituent),\n  );\n}\n\ntype IrLeafType = Extract<\n  IrType,\n  { kind: \"keyword\" | \"stringLiteral\" | \"numberLiteral\" | \"booleanLiteral\" }\n>;\n\nfunction printLeafType(type: IrLeafType): string {\n  switch (type.kind) {\n    case \"keyword\":\n      return type.keyword;\n    case \"stringLiteral\":\n      return printStringLiteral(type.value, type.encoding);\n    case \"numberLiteral\":\n      return printNumberLiteral(type.value);\n    case \"booleanLiteral\":\n      return String(type.value);\n    default:\n      return assertNever(type);\n  }\n}\n\n/**\n * Raw text is printed as if it started at column 0, so its continuation lines get the current\n * indentation, as the TypeScript printer indents a nested node.\n */\nfunction writeRawType(writer: TextWriter, text: string): void {\n  text.split(\"\\n\").forEach((line, index) => {\n    if (index > 0) {\n      writer.rawWrite(writer.options.newLine);\n    }\n    writer.write(line);\n  });\n}\n\nfunction writeArrayType(writer: TextWriter, element: IrType): void {\n  writeTypeIn(writer, element, needsParensAsPostfixOperand);\n  writer.write(\"[]\");\n}\n\nfunction writeReadonlyType(writer: TextWriter, operand: IrType): void {\n  writer.write(\"readonly \");\n  writeTypeIn(writer, operand, needsParensAsReadonlyOperand);\n}\n\ntype IrOperatorType = Extract<IrType, { kind: \"array\" | \"indexedAccess\" | \"readonly\" }>;\n\n/** Types built with a type operator: `T[]`, `T[K]` and `readonly T`. */\nfunction writeOperatorType(writer: TextWriter, type: IrOperatorType): void {\n  if (type.kind === \"array\") {\n    writeArrayType(writer, type.element);\n  } else if (type.kind === \"indexedAccess\") {\n    writeIndexedAccessType(writer, type);\n  } else {\n    writeReadonlyType(writer, type.type);\n  }\n}\n\nconst CONSTITUENT_SEPARATORS = { union: \" | \", intersection: \" & \" } as const;\n\n/** A raw type may span lines and is re-indented; any other leaf prints on one line. */\nfunction writeLeafType(writer: TextWriter, type: IrLeafType | IrRawType): void {\n  if (type.kind === \"raw\") {\n    writeRawType(writer, type.text);\n  } else {\n    writer.write(printLeafType(type));\n  }\n}\n\n/** Write a type at the writer's current position. */\nexport function writeType(writer: TextWriter, type: IrType): void {\n  switch (type.kind) {\n    case \"keyword\":\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n    case \"booleanLiteral\":\n    case \"raw\":\n      writeLeafType(writer, type);\n      break;\n    case \"reference\":\n      writeReferenceType(writer, type.name, type.typeArguments);\n      break;\n    case \"array\":\n    case \"indexedAccess\":\n    case \"readonly\":\n      writeOperatorType(writer, type);\n      break;\n    case \"union\":\n    case \"intersection\":\n      writeConstituents(writer, type.types, CONSTITUENT_SEPARATORS[type.kind]);\n      break;\n    case \"object\":\n      writeObjectType(writer, type.members);\n      break;\n    case \"tuple\":\n      writeTupleType(writer, type.elements);\n      break;\n    default:\n      assertNever(type);\n  }\n}\n"],"names":["printEscapedString","assertNever","writeLeadingComment","printStringLiteral","printNumberLiteral"],"mappings":";;;;;;AAkBA,MAAM,wBAAwB,CAAC,IAAA,KAC7B,KAAK,IAAA,KAAS,OAAA,IAAW,KAAK,IAAA,KAAS,cAAA;AAEzC,MAAM,wBAAA,GAA2B,qBAAA;AAEjC,MAAM,8BAA8B,CAAC,IAAA,KACnC,KAAK,IAAA,KAAS,UAAA,IAAc,sBAAsB,IAAI,CAAA;AAExD,MAAM,4BAAA,GAA+B,2BAAA;AAErC,SAAS,WAAA,CACP,MAAA,EACA,IAAA,EACA,WAAA,EACM;AACN,EAAA,IAAI,CAAC,WAAA,CAAY,IAAI,CAAA,EAAG;AACtB,IAAA,SAAA,CAAU,QAAQ,IAAI,CAAA;AACtB,IAAA;AAAA,EACF;AACA,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,SAAA,CAAU,QAAQ,IAAI,CAAA;AACtB,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAGA,SAAS,eAAA,CACP,MAAA,EACA,KAAA,EACA,SAAA,EACA,SAAA,EACA;AACA,EAAA,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,IAAI,QAAQ,CAAA,EAAG;AACb,MAAA,MAAA,CAAO,MAAM,SAAS,CAAA;AAAA,IACxB;AACA,IAAA,SAAA,CAAU,IAAI,CAAA;AAAA,EAChB,CAAC,CAAA;AACH;AAQO,SAAS,kBAAA,CACd,MAAA,EACA,KAAA,EACA,MAAA,EACA,SAAA,EACM;AACN,EAAA,IAAI,KAAA,CAAM,WAAW,CAAA,EAAG;AACtB,IAAA,IAAI,OAAO,oBAAA,EAAsB;AAC/B,MAAA,MAAA,CAAO,SAAA,EAAU;AAAA,IACnB;AACA,IAAA;AAAA,EACF;AACA,EAAA,MAAA,CAAO,SAAA,EAAU;AACjB,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,IAAI,QAAQ,CAAA,EAAG;AACb,MAAA,MAAA,CAAO,KAAA,CAAM,OAAO,SAAS,CAAA;AAC7B,MAAA,MAAA,CAAO,SAAA,EAAU;AAAA,IACnB;AACA,IAAA,SAAA,CAAU,IAAI,CAAA;AAAA,EAChB,CAAC,CAAA;AACD,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,MAAA,CAAO,SAAA,EAAU;AACnB;AAEA,SAAS,iBAAA,CAAkB,QAAoB,IAAA,EAA4B;AACzE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,YAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,MAAA,CAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AACtB,MAAA;AAAA,IACF,KAAK,QAAA;AACH,MAAA,MAAA,CAAO,KAAA,CAAMA,8BAAA,CAAmB,IAAA,CAAK,KAAK,CAAC,CAAA;AAC3C,MAAA;AAAA,IACF;AACE,MAAAC,uBAAA,CAAY,IAAI,CAAA;AAAA;AAEtB;AAMA,SAAS,4BAAA,CAA6B,MAAA,EAAoB,IAAA,EAAc,IAAA,EAAoB;AAC1F,EAAA,MAAA,CAAO,KAAA,CAAM,CAAA,CAAA,EAAI,IAAI,CAAA,EAAA,CAAI,CAAA;AACzB,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,SAAA,CAAU,QAAQ,IAAI,CAAA;AACtB,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAGO,SAAS,WAAA,CAAY,QAAoB,MAAA,EAAwB;AACtE,EAAA,KAAA,MAAW,OAAA,IAAW,OAAO,QAAA,EAAU;AACrC,IAAAC,iCAAA,CAAoB,QAAQ,OAAO,CAAA;AAAA,EACrC;AACA,EAAA,IAAI,OAAO,UAAA,EAAY;AACrB,IAAA,MAAA,CAAO,MAAM,WAAW,CAAA;AAAA,EAC1B;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,IAAA,iBAAA,CAAkB,MAAA,EAAQ,OAAO,IAAI,CAAA;AACrC,IAAA,MAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAAA,GAAa,KAAA,GAAQ,IAAI,CAAA;AAAA,EAC/C,CAAA,MAAO;AACL,IAAA,4BAAA,CAA6B,MAAA,EAAQ,MAAA,CAAO,aAAA,EAAe,MAAA,CAAO,aAAa,CAAA;AAC/E,IAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AAAA,EACnB;AACA,EAAA,SAAA,CAAU,MAAA,EAAQ,OAAO,IAAI,CAAA;AAC7B,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,iBAAA,CAAkB,QAAoB,OAAA,EAA+B;AAC5E,EAAA,IAAI,QAAQ,MAAA,EAAQ;AAClB,IAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAAA,EACpB;AACA,EAAA,SAAA,CAAU,MAAA,EAAQ,QAAQ,IAAI,CAAA;AAChC;AAEA,SAAS,eAAA,CAAgB,QAAoB,OAAA,EAAoC;AAC/E,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,kBAAA;AAAA,IAAmB,MAAA;AAAA,IAAQ,OAAA;AAAA,IAAS,EAAE,SAAA,EAAW,EAAA,EAAI,oBAAA,EAAsB,KAAA,EAAM;AAAA,IAAG,CAAC,MAAA,KACnF,WAAA,CAAY,MAAA,EAAQ,MAAM;AAAA,GAC5B;AACA,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,cAAA,CAAe,QAAoB,QAAA,EAA2C;AACrF,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,kBAAA;AAAA,IAAmB,MAAA;AAAA,IAAQ,QAAA;AAAA,IAAU,EAAE,SAAA,EAAW,GAAA,EAAK,oBAAA,EAAsB,IAAA,EAAK;AAAA,IAAG,CAAC,OAAA,KACpF,iBAAA,CAAkB,MAAA,EAAQ,OAAO;AAAA,GACnC;AACA,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,IAAA,EACA,aAAA,EACM;AACN,EAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AACjB,EAAA,IAAI,aAAA,CAAc,SAAS,CAAA,EAAG;AAC5B,IAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,IAAA,eAAA,CAAgB,MAAA,EAAQ,eAAe,IAAA,EAAM,CAAC,aAAa,SAAA,CAAU,MAAA,EAAQ,QAAQ,CAAC,CAAA;AACtF,IAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAAA,EAClB;AACF;AAEA,SAAS,sBAAA,CAAuB,QAAoB,IAAA,EAAiC;AACnF,EAAA,WAAA,CAAY,MAAA,EAAQ,IAAA,CAAK,MAAA,EAAQ,2BAA2B,CAAA;AAC5D,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,SAAA,CAAU,MAAA,EAAQ,KAAK,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,iBAAA,CAAkB,MAAA,EAAoB,KAAA,EAA0B,SAAA,EAAyB;AAChG,EAAA,eAAA;AAAA,IAAgB,MAAA;AAAA,IAAQ,KAAA;AAAA,IAAO,SAAA;AAAA,IAAW,CAAC,MAAA,KACzC,WAAA,CAAY,MAAA,EAAQ,QAAQ,wBAAwB;AAAA,GACtD;AACF;AAOA,SAAS,cAAc,IAAA,EAA0B;AAC/C,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA;AAAA,IACd,KAAK,eAAA;AACH,MAAA,OAAOC,8BAAA,CAAmB,IAAA,CAAK,KAAA,EAAO,IAAA,CAAK,QAAQ,CAAA;AAAA,IACrD,KAAK,eAAA;AACH,MAAA,OAAOC,8BAAA,CAAmB,KAAK,KAAK,CAAA;AAAA,IACtC,KAAK,gBAAA;AACH,MAAA,OAAO,MAAA,CAAO,KAAK,KAAK,CAAA;AAAA,IAC1B;AACE,MAAA,OAAOH,wBAAY,IAAI,CAAA;AAAA;AAE7B;AAMA,SAAS,YAAA,CAAa,QAAoB,IAAA,EAAoB;AAC5D,EAAA,IAAA,CAAK,MAAM,IAAI,CAAA,CAAE,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAU;AACxC,IAAA,IAAI,QAAQ,CAAA,EAAG;AACb,MAAA,MAAA,CAAO,QAAA,CAAS,MAAA,CAAO,OAAA,CAAQ,OAAO,CAAA;AAAA,IACxC;AACA,IAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AAAA,EACnB,CAAC,CAAA;AACH;AAEA,SAAS,cAAA,CAAe,QAAoB,OAAA,EAAuB;AACjE,EAAA,WAAA,CAAY,MAAA,EAAQ,SAAS,2BAA2B,CAAA;AACxD,EAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AACnB;AAEA,SAAS,iBAAA,CAAkB,QAAoB,OAAA,EAAuB;AACpE,EAAA,MAAA,CAAO,MAAM,WAAW,CAAA;AACxB,EAAA,WAAA,CAAY,MAAA,EAAQ,SAAS,4BAA4B,CAAA;AAC3D;AAKA,SAAS,iBAAA,CAAkB,QAAoB,IAAA,EAA4B;AACzE,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,cAAA,CAAe,MAAA,EAAQ,KAAK,OAAO,CAAA;AAAA,EACrC,CAAA,MAAA,IAAW,IAAA,CAAK,IAAA,KAAS,eAAA,EAAiB;AACxC,IAAA,sBAAA,CAAuB,QAAQ,IAAI,CAAA;AAAA,EACrC,CAAA,MAAO;AACL,IAAA,iBAAA,CAAkB,MAAA,EAAQ,KAAK,IAAI,CAAA;AAAA,EACrC;AACF;AAEA,MAAM,sBAAA,GAAyB,EAAE,KAAA,EAAO,KAAA,EAAO,cAAc,KAAA,EAAM;AAGnE,SAAS,aAAA,CAAc,QAAoB,IAAA,EAAoC;AAC7E,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,YAAA,CAAa,MAAA,EAAQ,KAAK,IAAI,CAAA;AAAA,EAChC,CAAA,MAAO;AACL,IAAA,MAAA,CAAO,KAAA,CAAM,aAAA,CAAc,IAAI,CAAC,CAAA;AAAA,EAClC;AACF;AAGO,SAAS,SAAA,CAAU,QAAoB,IAAA,EAAoB;AAChE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,gBAAA;AAAA,IACL,KAAK,KAAA;AACH,MAAA,aAAA,CAAc,QAAQ,IAAI,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,WAAA;AACH,MAAA,kBAAA,CAAmB,MAAA,EAAQ,IAAA,CAAK,IAAA,EAAM,IAAA,CAAK,aAAa,CAAA;AACxD,MAAA;AAAA,IACF,KAAK,OAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,UAAA;AACH,MAAA,iBAAA,CAAkB,QAAQ,IAAI,CAAA;AAC9B,MAAA;AAAA,IACF,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,iBAAA,CAAkB,QAAQ,IAAA,CAAK,KAAA,EAAO,sBAAA,CAAuB,IAAA,CAAK,IAAI,CAAC,CAAA;AACvE,MAAA;AAAA,IACF,KAAK,QAAA;AACH,MAAA,eAAA,CAAgB,MAAA,EAAQ,KAAK,OAAO,CAAA;AACpC,MAAA;AAAA,IACF,KAAK,OAAA;AACH,MAAA,cAAA,CAAe,MAAA,EAAQ,KAAK,QAAQ,CAAA;AACpC,MAAA;AAAA,IACF;AACE,MAAAA,uBAAA,CAAY,IAAI,CAAA;AAAA;AAEtB;;;;"}
+{"version":3,"file":"type-printer.cjs","sources":["../../../src/application/print/type-printer.ts"],"sourcesContent":["import { assertNever } from \"../../domain/assert-never.js\";\nimport type {\n  IrIndexedAccessType,\n  IrMember,\n  IrPropertyName,\n  IrRawType,\n  IrTupleElement,\n  IrType,\n} from \"../../domain/ir/nodes.js\";\nimport { writeLeadingComment } from \"./comment-writer.js\";\nimport { printEscapedString, printNumberLiteral, printStringLiteral } from \"./literal-text.js\";\nimport type { TextWriter } from \"./text-writer.js\";\n\n/**\n * Parenthesization contexts. Each predicate says when a child type needs parentheses; together they\n * reproduce the TypeScript factory's parenthesizer rules for the node kinds of the IR, so output\n * matches the original even when unions are nested (`A | (B | C)`).\n */\nconst isUnionOrIntersection = (type: IrType): boolean =>\n  type.kind === \"union\" || type.kind === \"intersection\";\n/** Union and intersection members (`parenthesizeConstituentTypeOf{Union,Intersection}Type`). */\nconst needsParensAsConstituent = isUnionOrIntersection;\n/** Array element and indexed-access object (`parenthesizeNonArrayTypeOfPostfixType`). */\nconst needsParensAsPostfixOperand = (type: IrType): boolean =>\n  type.kind === \"readonly\" || isUnionOrIntersection(type);\n/** Operand of `readonly` (`parenthesizeOperandOfReadonlyTypeOperator`). */\nconst needsParensAsReadonlyOperand = needsParensAsPostfixOperand;\n\nfunction writeTypeIn(\n  writer: TextWriter,\n  type: IrType,\n  needsParens: (type: IrType) => boolean,\n): void {\n  if (!needsParens(type)) {\n    writeType(writer, type);\n    return;\n  }\n  writer.write(\"(\");\n  writeType(writer, type);\n  writer.write(\")\");\n}\n\n/** Write a single-line list: `separator` between items, nothing for an empty list. */\nfunction writeInlineList<T>(\n  writer: TextWriter,\n  items: readonly T[],\n  separator: string,\n  writeItem: (item: T) => void,\n) {\n  items.forEach((item, index) => {\n    if (index > 0) {\n      writer.write(separator);\n    }\n    writeItem(item);\n  });\n}\n\n/**\n * Write a multi-line list the way the TypeScript printer does: a line break after the opening\n * token, one item per indented line, `delimiter` after every item but the last, and a line break\n * before the closing token. An empty list prints the line break only when `isLineBreakWhenEmpty`\n * (interfaces, enums and tuples do; object type literals print `{}`).\n */\nexport function writeMultiLineList<T>(\n  writer: TextWriter,\n  items: readonly T[],\n  format: { readonly delimiter: string; readonly isLineBreakWhenEmpty: boolean },\n  writeItem: (item: T) => void,\n): void {\n  if (items.length === 0) {\n    if (format.isLineBreakWhenEmpty) {\n      writer.writeLine();\n    }\n    return;\n  }\n  writer.writeLine();\n  writer.increaseIndent();\n  items.forEach((item, index) => {\n    if (index > 0) {\n      writer.write(format.delimiter);\n      writer.writeLine();\n    }\n    writeItem(item);\n  });\n  writer.decreaseIndent();\n  writer.writeLine();\n}\n\nfunction writePropertyName(writer: TextWriter, name: IrPropertyName): void {\n  switch (name.kind) {\n    case \"identifier\":\n    case \"number\":\n      writer.write(name.text);\n      break;\n    case \"string\":\n      writer.write(printEscapedString(name.value));\n      break;\n    default:\n      assertNever(name);\n  }\n}\n\n/**\n * `[name: type]`. TypeScript prints index signature parameters as an indented list, so a multi-line\n * parameter type (an object or tuple) is indented one level deeper than the member.\n */\nfunction writeIndexSignatureParameter(writer: TextWriter, name: string, type: IrType): void {\n  writer.write(`[${name}: `);\n  writer.increaseIndent();\n  writeType(writer, type);\n  writer.decreaseIndent();\n  writer.write(\"]\");\n}\n\n/** Write one member of an interface or object type, with its comment and trailing semicolon. */\nexport function writeMember(writer: TextWriter, member: IrMember): void {\n  for (const comment of member.comments) {\n    writeLeadingComment(writer, comment);\n  }\n  if (member.isReadonly) {\n    writer.write(\"readonly \");\n  }\n  if (member.kind === \"property\") {\n    writePropertyName(writer, member.name);\n    writer.write(member.isOptional ? \"?: \" : \": \");\n  } else {\n    writeIndexSignatureParameter(writer, member.parameterName, member.parameterType);\n    writer.write(\": \");\n  }\n  writeType(writer, member.type);\n  writer.write(\";\");\n}\n\nfunction writeTupleElement(writer: TextWriter, element: IrTupleElement): void {\n  if (element.isRest) {\n    writer.write(\"...\");\n  }\n  if (element.isOptional) {\n    // TypeScript parenthesizes an optional element as a postfix operand (`(A | B)?`).\n    writeTypeIn(writer, element.type, needsParensAsPostfixOperand);\n    writer.write(\"?\");\n    return;\n  }\n  writeType(writer, element.type);\n}\n\nfunction writeObjectType(writer: TextWriter, members: readonly IrMember[]): void {\n  writer.write(\"{\");\n  writeMultiLineList(writer, members, { delimiter: \"\", isLineBreakWhenEmpty: false }, (member) =>\n    writeMember(writer, member),\n  );\n  writer.write(\"}\");\n}\n\nfunction writeTupleType(writer: TextWriter, elements: readonly IrTupleElement[]): void {\n  writer.write(\"[\");\n  writeMultiLineList(writer, elements, { delimiter: \",\", isLineBreakWhenEmpty: true }, (element) =>\n    writeTupleElement(writer, element),\n  );\n  writer.write(\"]\");\n}\n\nfunction writeReferenceType(\n  writer: TextWriter,\n  name: string,\n  typeArguments: readonly IrType[],\n): void {\n  writer.write(name);\n  if (typeArguments.length > 0) {\n    writer.write(\"<\");\n    writeInlineList(writer, typeArguments, \", \", (argument) => writeType(writer, argument));\n    writer.write(\">\");\n  }\n}\n\nfunction writeIndexedAccessType(writer: TextWriter, type: IrIndexedAccessType): void {\n  writeTypeIn(writer, type.object, needsParensAsPostfixOperand);\n  writer.write(\"[\");\n  writeType(writer, type.index);\n  writer.write(\"]\");\n}\n\nfunction writeConstituents(writer: TextWriter, types: readonly IrType[], separator: string): void {\n  writeInlineList(writer, types, separator, (member) =>\n    writeTypeIn(writer, member, needsParensAsConstituent),\n  );\n}\n\ntype IrLeafType = Extract<\n  IrType,\n  { kind: \"keyword\" | \"stringLiteral\" | \"numberLiteral\" | \"booleanLiteral\" }\n>;\n\nfunction printLeafType(type: IrLeafType): string {\n  switch (type.kind) {\n    case \"keyword\":\n      return type.keyword;\n    case \"stringLiteral\":\n      return printStringLiteral(type.value, type.encoding);\n    case \"numberLiteral\":\n      return printNumberLiteral(type.value);\n    case \"booleanLiteral\":\n      return String(type.value);\n    default:\n      return assertNever(type);\n  }\n}\n\n/**\n * Raw text is printed as if it started at column 0, so its continuation lines get the current\n * indentation, as the TypeScript printer indents a nested node.\n */\nfunction writeRawType(writer: TextWriter, text: string): void {\n  text.split(\"\\n\").forEach((line, index) => {\n    if (index > 0) {\n      writer.rawWrite(writer.options.newLine);\n    }\n    writer.write(line);\n  });\n}\n\nfunction writeArrayType(writer: TextWriter, element: IrType): void {\n  writeTypeIn(writer, element, needsParensAsPostfixOperand);\n  writer.write(\"[]\");\n}\n\nfunction writeReadonlyType(writer: TextWriter, operand: IrType): void {\n  writer.write(\"readonly \");\n  writeTypeIn(writer, operand, needsParensAsReadonlyOperand);\n}\n\ntype IrOperatorType = Extract<IrType, { kind: \"array\" | \"indexedAccess\" | \"readonly\" }>;\n\n/** Types built with a type operator: `T[]`, `T[K]` and `readonly T`. */\nfunction writeOperatorType(writer: TextWriter, type: IrOperatorType): void {\n  if (type.kind === \"array\") {\n    writeArrayType(writer, type.element);\n  } else if (type.kind === \"indexedAccess\") {\n    writeIndexedAccessType(writer, type);\n  } else {\n    writeReadonlyType(writer, type.type);\n  }\n}\n\nconst CONSTITUENT_SEPARATORS = { union: \" | \", intersection: \" & \" } as const;\n\n/** A raw type may span lines and is re-indented; any other leaf prints on one line. */\nfunction writeLeafType(writer: TextWriter, type: IrLeafType | IrRawType): void {\n  if (type.kind === \"raw\") {\n    writeRawType(writer, type.text);\n  } else {\n    writer.write(printLeafType(type));\n  }\n}\n\n/** Write a type at the writer's current position. */\nexport function writeType(writer: TextWriter, type: IrType): void {\n  switch (type.kind) {\n    case \"keyword\":\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n    case \"booleanLiteral\":\n    case \"raw\":\n      writeLeafType(writer, type);\n      break;\n    case \"reference\":\n      writeReferenceType(writer, type.name, type.typeArguments);\n      break;\n    case \"array\":\n    case \"indexedAccess\":\n    case \"readonly\":\n      writeOperatorType(writer, type);\n      break;\n    case \"union\":\n    case \"intersection\":\n      writeConstituents(writer, type.types, CONSTITUENT_SEPARATORS[type.kind]);\n      break;\n    case \"object\":\n      writeObjectType(writer, type.members);\n      break;\n    case \"tuple\":\n      writeTupleType(writer, type.elements);\n      break;\n    default:\n      assertNever(type);\n  }\n}\n"],"names":["printEscapedString","assertNever","writeLeadingComment","printStringLiteral","printNumberLiteral"],"mappings":";;;;;;AAkBA,MAAM,wBAAwB,CAAC,IAAA,KAC7B,KAAK,IAAA,KAAS,OAAA,IAAW,KAAK,IAAA,KAAS,cAAA;AAEzC,MAAM,wBAAA,GAA2B,qBAAA;AAEjC,MAAM,8BAA8B,CAAC,IAAA,KACnC,KAAK,IAAA,KAAS,UAAA,IAAc,sBAAsB,IAAI,CAAA;AAExD,MAAM,4BAAA,GAA+B,2BAAA;AAErC,SAAS,WAAA,CACP,MAAA,EACA,IAAA,EACA,WAAA,EACM;AACN,EAAA,IAAI,CAAC,WAAA,CAAY,IAAI,CAAA,EAAG;AACtB,IAAA,SAAA,CAAU,QAAQ,IAAI,CAAA;AACtB,IAAA;AAAA,EACF;AACA,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,SAAA,CAAU,QAAQ,IAAI,CAAA;AACtB,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAGA,SAAS,eAAA,CACP,MAAA,EACA,KAAA,EACA,SAAA,EACA,SAAA,EACA;AACA,EAAA,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,IAAI,QAAQ,CAAA,EAAG;AACb,MAAA,MAAA,CAAO,MAAM,SAAS,CAAA;AAAA,IACxB;AACA,IAAA,SAAA,CAAU,IAAI,CAAA;AAAA,EAChB,CAAC,CAAA;AACH;AAQO,SAAS,kBAAA,CACd,MAAA,EACA,KAAA,EACA,MAAA,EACA,SAAA,EACM;AACN,EAAA,IAAI,KAAA,CAAM,WAAW,CAAA,EAAG;AACtB,IAAA,IAAI,OAAO,oBAAA,EAAsB;AAC/B,MAAA,MAAA,CAAO,SAAA,EAAU;AAAA,IACnB;AACA,IAAA;AAAA,EACF;AACA,EAAA,MAAA,CAAO,SAAA,EAAU;AACjB,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,IAAI,QAAQ,CAAA,EAAG;AACb,MAAA,MAAA,CAAO,KAAA,CAAM,OAAO,SAAS,CAAA;AAC7B,MAAA,MAAA,CAAO,SAAA,EAAU;AAAA,IACnB;AACA,IAAA,SAAA,CAAU,IAAI,CAAA;AAAA,EAChB,CAAC,CAAA;AACD,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,MAAA,CAAO,SAAA,EAAU;AACnB;AAEA,SAAS,iBAAA,CAAkB,QAAoB,IAAA,EAA4B;AACzE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,YAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,MAAA,CAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AACtB,MAAA;AAAA,IACF,KAAK,QAAA;AACH,MAAA,MAAA,CAAO,KAAA,CAAMA,8BAAA,CAAmB,IAAA,CAAK,KAAK,CAAC,CAAA;AAC3C,MAAA;AAAA,IACF;AACE,MAAAC,uBAAA,CAAY,IAAI,CAAA;AAAA;AAEtB;AAMA,SAAS,4BAAA,CAA6B,MAAA,EAAoB,IAAA,EAAc,IAAA,EAAoB;AAC1F,EAAA,MAAA,CAAO,KAAA,CAAM,CAAA,CAAA,EAAI,IAAI,CAAA,EAAA,CAAI,CAAA;AACzB,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,SAAA,CAAU,QAAQ,IAAI,CAAA;AACtB,EAAA,MAAA,CAAO,cAAA,EAAe;AACtB,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAGO,SAAS,WAAA,CAAY,QAAoB,MAAA,EAAwB;AACtE,EAAA,KAAA,MAAW,OAAA,IAAW,OAAO,QAAA,EAAU;AACrC,IAAAC,iCAAA,CAAoB,QAAQ,OAAO,CAAA;AAAA,EACrC;AACA,EAAA,IAAI,OAAO,UAAA,EAAY;AACrB,IAAA,MAAA,CAAO,MAAM,WAAW,CAAA;AAAA,EAC1B;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,IAAA,iBAAA,CAAkB,MAAA,EAAQ,OAAO,IAAI,CAAA;AACrC,IAAA,MAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAAA,GAAa,KAAA,GAAQ,IAAI,CAAA;AAAA,EAC/C,CAAA,MAAO;AACL,IAAA,4BAAA,CAA6B,MAAA,EAAQ,MAAA,CAAO,aAAA,EAAe,MAAA,CAAO,aAAa,CAAA;AAC/E,IAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AAAA,EACnB;AACA,EAAA,SAAA,CAAU,MAAA,EAAQ,OAAO,IAAI,CAAA;AAC7B,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,iBAAA,CAAkB,QAAoB,OAAA,EAA+B;AAC5E,EAAA,IAAI,QAAQ,MAAA,EAAQ;AAClB,IAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAAA,EACpB;AACA,EAAA,IAAI,QAAQ,UAAA,EAAY;AAEtB,IAAA,WAAA,CAAY,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,2BAA2B,CAAA;AAC7D,IAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,IAAA;AAAA,EACF;AACA,EAAA,SAAA,CAAU,MAAA,EAAQ,QAAQ,IAAI,CAAA;AAChC;AAEA,SAAS,eAAA,CAAgB,QAAoB,OAAA,EAAoC;AAC/E,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,kBAAA;AAAA,IAAmB,MAAA;AAAA,IAAQ,OAAA;AAAA,IAAS,EAAE,SAAA,EAAW,EAAA,EAAI,oBAAA,EAAsB,KAAA,EAAM;AAAA,IAAG,CAAC,MAAA,KACnF,WAAA,CAAY,MAAA,EAAQ,MAAM;AAAA,GAC5B;AACA,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,cAAA,CAAe,QAAoB,QAAA,EAA2C;AACrF,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,kBAAA;AAAA,IAAmB,MAAA;AAAA,IAAQ,QAAA;AAAA,IAAU,EAAE,SAAA,EAAW,GAAA,EAAK,oBAAA,EAAsB,IAAA,EAAK;AAAA,IAAG,CAAC,OAAA,KACpF,iBAAA,CAAkB,MAAA,EAAQ,OAAO;AAAA,GACnC;AACA,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,IAAA,EACA,aAAA,EACM;AACN,EAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AACjB,EAAA,IAAI,aAAA,CAAc,SAAS,CAAA,EAAG;AAC5B,IAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,IAAA,eAAA,CAAgB,MAAA,EAAQ,eAAe,IAAA,EAAM,CAAC,aAAa,SAAA,CAAU,MAAA,EAAQ,QAAQ,CAAC,CAAA;AACtF,IAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAAA,EAClB;AACF;AAEA,SAAS,sBAAA,CAAuB,QAAoB,IAAA,EAAiC;AACnF,EAAA,WAAA,CAAY,MAAA,EAAQ,IAAA,CAAK,MAAA,EAAQ,2BAA2B,CAAA;AAC5D,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAChB,EAAA,SAAA,CAAU,MAAA,EAAQ,KAAK,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,MAAM,GAAG,CAAA;AAClB;AAEA,SAAS,iBAAA,CAAkB,MAAA,EAAoB,KAAA,EAA0B,SAAA,EAAyB;AAChG,EAAA,eAAA;AAAA,IAAgB,MAAA;AAAA,IAAQ,KAAA;AAAA,IAAO,SAAA;AAAA,IAAW,CAAC,MAAA,KACzC,WAAA,CAAY,MAAA,EAAQ,QAAQ,wBAAwB;AAAA,GACtD;AACF;AAOA,SAAS,cAAc,IAAA,EAA0B;AAC/C,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA;AAAA,IACd,KAAK,eAAA;AACH,MAAA,OAAOC,8BAAA,CAAmB,IAAA,CAAK,KAAA,EAAO,IAAA,CAAK,QAAQ,CAAA;AAAA,IACrD,KAAK,eAAA;AACH,MAAA,OAAOC,8BAAA,CAAmB,KAAK,KAAK,CAAA;AAAA,IACtC,KAAK,gBAAA;AACH,MAAA,OAAO,MAAA,CAAO,KAAK,KAAK,CAAA;AAAA,IAC1B;AACE,MAAA,OAAOH,wBAAY,IAAI,CAAA;AAAA;AAE7B;AAMA,SAAS,YAAA,CAAa,QAAoB,IAAA,EAAoB;AAC5D,EAAA,IAAA,CAAK,MAAM,IAAI,CAAA,CAAE,OAAA,CAAQ,CAAC,MAAM,KAAA,KAAU;AACxC,IAAA,IAAI,QAAQ,CAAA,EAAG;AACb,MAAA,MAAA,CAAO,QAAA,CAAS,MAAA,CAAO,OAAA,CAAQ,OAAO,CAAA;AAAA,IACxC;AACA,IAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AAAA,EACnB,CAAC,CAAA;AACH;AAEA,SAAS,cAAA,CAAe,QAAoB,OAAA,EAAuB;AACjE,EAAA,WAAA,CAAY,MAAA,EAAQ,SAAS,2BAA2B,CAAA;AACxD,EAAA,MAAA,CAAO,MAAM,IAAI,CAAA;AACnB;AAEA,SAAS,iBAAA,CAAkB,QAAoB,OAAA,EAAuB;AACpE,EAAA,MAAA,CAAO,MAAM,WAAW,CAAA;AACxB,EAAA,WAAA,CAAY,MAAA,EAAQ,SAAS,4BAA4B,CAAA;AAC3D;AAKA,SAAS,iBAAA,CAAkB,QAAoB,IAAA,EAA4B;AACzE,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,cAAA,CAAe,MAAA,EAAQ,KAAK,OAAO,CAAA;AAAA,EACrC,CAAA,MAAA,IAAW,IAAA,CAAK,IAAA,KAAS,eAAA,EAAiB;AACxC,IAAA,sBAAA,CAAuB,QAAQ,IAAI,CAAA;AAAA,EACrC,CAAA,MAAO;AACL,IAAA,iBAAA,CAAkB,MAAA,EAAQ,KAAK,IAAI,CAAA;AAAA,EACrC;AACF;AAEA,MAAM,sBAAA,GAAyB,EAAE,KAAA,EAAO,KAAA,EAAO,cAAc,KAAA,EAAM;AAGnE,SAAS,aAAA,CAAc,QAAoB,IAAA,EAAoC;AAC7E,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,YAAA,CAAa,MAAA,EAAQ,KAAK,IAAI,CAAA;AAAA,EAChC,CAAA,MAAO;AACL,IAAA,MAAA,CAAO,KAAA,CAAM,aAAA,CAAc,IAAI,CAAC,CAAA;AAAA,EAClC;AACF;AAGO,SAAS,SAAA,CAAU,QAAoB,IAAA,EAAoB;AAChE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,gBAAA;AAAA,IACL,KAAK,KAAA;AACH,MAAA,aAAA,CAAc,QAAQ,IAAI,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,WAAA;AACH,MAAA,kBAAA,CAAmB,MAAA,EAAQ,IAAA,CAAK,IAAA,EAAM,IAAA,CAAK,aAAa,CAAA;AACxD,MAAA;AAAA,IACF,KAAK,OAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,UAAA;AACH,MAAA,iBAAA,CAAkB,QAAQ,IAAI,CAAA;AAC9B,MAAA;AAAA,IACF,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,iBAAA,CAAkB,QAAQ,IAAA,CAAK,KAAA,EAAO,sBAAA,CAAuB,IAAA,CAAK,IAAI,CAAC,CAAA;AACvE,MAAA;AAAA,IACF,KAAK,QAAA;AACH,MAAA,eAAA,CAAgB,MAAA,EAAQ,KAAK,OAAO,CAAA;AACpC,MAAA;AAAA,IACF,KAAK,OAAA;AACH,MAAA,cAAA,CAAe,MAAA,EAAQ,KAAK,QAAQ,CAAA;AACpC,MAAA;AAAA,IACF;AACE,MAAAA,uBAAA,CAAY,IAAI,CAAA;AAAA;AAEtB;;;;"}

package/dist/application/print/type-printer.mjs

@@ -83,6 +83,11 @@ function writeTupleElement(writer, element) {
   if (element.isRest) {
     writer.write("...");
   }
+  if (element.isOptional) {
+    writeTypeIn(writer, element.type, needsParensAsPostfixOperand);
+    writer.write("?");
+    return;
+  }
   writeType(writer, element.type);
 }
 function writeObjectType(writer, members) {