openapi-typesafe 1.0.0-rc.4 → 1.0.0-rc.5

package/dist/application/transform/document/exploded-query-values.cjs

@@ -0,0 +1,63 @@
+'use strict';
+
+const schemaTransform = require('../schema/schema-transform.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+
+function refOf(value) {
+  const ref = value?.$ref;
+  return typeof ref === "string" ? ref : void 0;
+}
+function declaredSchema(schema, ref, context) {
+  let declared = { schema, path: ref };
+  const seen = /* @__PURE__ */ new Set();
+  for (let next = refOf(schema); next !== void 0 && !seen.has(next); ) {
+    seen.add(next);
+    declared = { schema: context.refs.resolve(next), path: next };
+    next = refOf(declared.schema);
+  }
+  return declared;
+}
+function declaredObjectType(entry, context) {
+  const { original, resolved } = entry;
+  const schemaRef = refOf(resolved.schema);
+  if (schemaRef !== void 0) {
+    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);
+    return schemaTransform.transformSchema(schema, { path, schema }, context);
+  }
+  const parameterRef = refOf(original);
+  return parameterRef === void 0 ? null : schemaTransform.transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);
+}
+function isIndexSignature(member) {
+  return member.kind === "indexSignature";
+}
+function hasIndexSignature(type) {
+  switch (type.kind) {
+    case "object":
+      return type.members.some(isIndexSignature);
+    case "union":
+    case "intersection":
+      return type.types.some(hasIndexSignature);
+    default:
+      return false;
+  }
+}
+function widenedMember(member, values) {
+  const isUnknown = member.type.kind === "keyword" && member.type.keyword === "unknown";
+  return isIndexSignature(member) && !isUnknown ? { ...member, type: typeCombinators.unionOf([member.type, ...values]) } : member;
+}
+function withIndexValues(type, values) {
+  switch (type.kind) {
+    case "object":
+      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };
+    case "union":
+    case "intersection":
+      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };
+    default:
+      return type;
+  }
+}
+
+exports.declaredObjectType = declaredObjectType;
+exports.hasIndexSignature = hasIndexSignature;
+exports.withIndexValues = withIndexValues;
+//# sourceMappingURL=exploded-query-values.cjs.map

package/dist/application/transform/document/exploded-query-values.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"exploded-query-values.cjs","sources":["../../../../src/application/transform/document/exploded-query-values.ts"],"sourcesContent":["import type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport type { Schema } from \"../../../domain/openapi/schema-object.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport type { ResolvedEntry } from \"./parameter-entries.js\";\n\n/**\n * `exploded-query-objects` and index signatures. The keys of an exploded object are keys of\n * `query`, next to the other parameters. TypeScript checks an index signature against every key\n * of a value, so `{ page?: number } & { [key: string]: string }` admits no `page`, and no value\n * with another parameter at all. An index signature of an exploded object therefore also takes\n * the value types of the other keys of `query`: those keys carry their own values.\n */\n\nfunction refOf(value: unknown): string | undefined {\n  const ref = (value as { $ref?: unknown } | undefined)?.$ref;\n  return typeof ref === \"string\" ? ref : undefined;\n}\n\n/** A schema `$ref` chain followed to its end, with the pointer where that schema is declared. */\nfunction declaredSchema(schema: Schema | undefined, ref: string, context: TransformContext) {\n  let declared = { schema, path: ref };\n  const seen = new Set<string>();\n  for (let next = refOf(schema); next !== undefined && !seen.has(next); ) {\n    seen.add(next);\n    declared = { schema: context.refs.resolve(next) as Schema | undefined, path: next };\n    next = refOf(declared.schema);\n  }\n  return declared;\n}\n\n/**\n * The type of an exploded parameter whose own type is a reference (its `$ref`, or the `$ref` of\n * its schema), written out where its schema is declared: the index signature of a referenced type\n * cannot be changed. The location is the one `components` types it at, so the enums it declares\n * are the ones the reference names. Null when no `$ref` is involved.\n */\nexport function declaredObjectType(entry: ResolvedEntry, context: TransformContext): IrType | null {\n  const { original, resolved } = entry;\n  const schemaRef = refOf(resolved.schema);\n  if (schemaRef !== undefined) {\n    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);\n    return transformSchema(schema, { path, schema }, context);\n  }\n  const parameterRef = refOf(original);\n  return parameterRef === undefined\n    ? null\n    : transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);\n}\n\nfunction isIndexSignature(member: IrMember): boolean {\n  return member.kind === \"indexSignature\";\n}\n\n/** Whether the type has an index signature in its objects, through unions and intersections. */\nexport function hasIndexSignature(type: IrType): boolean {\n  switch (type.kind) {\n    case \"object\":\n      return type.members.some(isIndexSignature);\n    case \"union\":\n    case \"intersection\":\n      return type.types.some(hasIndexSignature);\n    default:\n      return false;\n  }\n}\n\nfunction widenedMember(member: IrMember, values: readonly IrType[]): IrMember {\n  // `unknown` takes every value already.\n  const isUnknown = member.type.kind === \"keyword\" && member.type.keyword === \"unknown\";\n  return isIndexSignature(member) && !isUnknown\n    ? { ...member, type: unionOf([member.type, ...values]) }\n    : member;\n}\n\n/** The type with the values added to each index signature of its objects. */\nexport function withIndexValues(type: IrType, values: readonly IrType[]): IrType {\n  switch (type.kind) {\n    case \"object\":\n      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };\n    case \"union\":\n    case \"intersection\":\n      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };\n    default:\n      return type;\n  }\n}\n"],"names":["transformSchema","unionOf"],"mappings":";;;;;AAeA,SAAS,MAAM,KAAA,EAAoC;AACjD,EAAA,MAAM,MAAO,KAAA,EAA0C,IAAA;AACvD,EAAA,OAAO,OAAO,GAAA,KAAQ,QAAA,GAAW,GAAA,GAAM,MAAA;AACzC;AAGA,SAAS,cAAA,CAAe,MAAA,EAA4B,GAAA,EAAa,OAAA,EAA2B;AAC1F,EAAA,IAAI,QAAA,GAAW,EAAE,MAAA,EAAQ,IAAA,EAAM,GAAA,EAAI;AACnC,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,IAAS,IAAA,GAAO,KAAA,CAAM,MAAM,CAAA,EAAG,IAAA,KAAS,UAAa,CAAC,IAAA,CAAK,GAAA,CAAI,IAAI,CAAA,IAAK;AACtE,IAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AACb,IAAA,QAAA,GAAW,EAAE,QAAQ,OAAA,CAAQ,IAAA,CAAK,QAAQ,IAAI,CAAA,EAAyB,MAAM,IAAA,EAAK;AAClF,IAAA,IAAA,GAAO,KAAA,CAAM,SAAS,MAAM,CAAA;AAAA,EAC9B;AACA,EAAA,OAAO,QAAA;AACT;AAQO,SAAS,kBAAA,CAAmB,OAAsB,OAAA,EAA0C;AACjG,EAAA,MAAM,EAAE,QAAA,EAAU,QAAA,EAAS,GAAI,KAAA;AAC/B,EAAA,MAAM,SAAA,GAAY,KAAA,CAAM,QAAA,CAAS,MAAM,CAAA;AACvC,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,MAAM,EAAE,QAAQ,IAAA,EAAK,GAAI,eAAe,QAAA,CAAS,MAAA,EAAQ,WAAW,OAAO,CAAA;AAC3E,IAAA,OAAOA,gCAAgB,MAAA,EAAQ,EAAE,IAAA,EAAM,MAAA,IAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,MAAM,YAAA,GAAe,MAAM,QAAQ,CAAA;AACnC,EAAA,OAAO,YAAA,KAAiB,MAAA,GACpB,IAAA,GACAA,+BAAA,CAAgB,QAAA,CAAS,MAAA,EAAQ,EAAE,IAAA,EAAM,YAAA,EAAc,MAAA,EAAQ,QAAA,EAAS,EAAG,OAAO,CAAA;AACxF;AAEA,SAAS,iBAAiB,MAAA,EAA2B;AACnD,EAAA,OAAO,OAAO,IAAA,KAAS,gBAAA;AACzB;AAGO,SAAS,kBAAkB,IAAA,EAAuB;AACvD,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,gBAAgB,CAAA;AAAA,IAC3C,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,CAAM,IAAA,CAAK,iBAAiB,CAAA;AAAA,IAC1C;AACE,MAAA,OAAO,KAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,QAAkB,MAAA,EAAqC;AAE5E,EAAA,MAAM,YAAY,MAAA,CAAO,IAAA,CAAK,SAAS,SAAA,IAAa,MAAA,CAAO,KAAK,OAAA,KAAY,SAAA;AAC5E,EAAA,OAAO,iBAAiB,MAAM,CAAA,IAAK,CAAC,SAAA,GAChC,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAMC,uBAAA,CAAQ,CAAC,MAAA,CAAO,IAAA,EAAM,GAAG,MAAM,CAAC,GAAE,GACrD,MAAA;AACN;AAGO,SAAS,eAAA,CAAgB,MAAc,MAAA,EAAmC;AAC/E,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,KAAW,aAAA,CAAc,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACzF,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,KAAA,EAAO,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,MAAA,KAAW,eAAA,CAAgB,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACvF;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;;;;"}

package/dist/application/transform/document/exploded-query-values.mjs

@@ -0,0 +1,59 @@
+import { transformSchema } from '../schema/schema-transform.mjs';
+import { unionOf } from '../type-combinators.mjs';
+
+function refOf(value) {
+  const ref = value?.$ref;
+  return typeof ref === "string" ? ref : void 0;
+}
+function declaredSchema(schema, ref, context) {
+  let declared = { schema, path: ref };
+  const seen = /* @__PURE__ */ new Set();
+  for (let next = refOf(schema); next !== void 0 && !seen.has(next); ) {
+    seen.add(next);
+    declared = { schema: context.refs.resolve(next), path: next };
+    next = refOf(declared.schema);
+  }
+  return declared;
+}
+function declaredObjectType(entry, context) {
+  const { original, resolved } = entry;
+  const schemaRef = refOf(resolved.schema);
+  if (schemaRef !== void 0) {
+    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);
+    return transformSchema(schema, { path, schema }, context);
+  }
+  const parameterRef = refOf(original);
+  return parameterRef === void 0 ? null : transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);
+}
+function isIndexSignature(member) {
+  return member.kind === "indexSignature";
+}
+function hasIndexSignature(type) {
+  switch (type.kind) {
+    case "object":
+      return type.members.some(isIndexSignature);
+    case "union":
+    case "intersection":
+      return type.types.some(hasIndexSignature);
+    default:
+      return false;
+  }
+}
+function widenedMember(member, values) {
+  const isUnknown = member.type.kind === "keyword" && member.type.keyword === "unknown";
+  return isIndexSignature(member) && !isUnknown ? { ...member, type: unionOf([member.type, ...values]) } : member;
+}
+function withIndexValues(type, values) {
+  switch (type.kind) {
+    case "object":
+      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };
+    case "union":
+    case "intersection":
+      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };
+    default:
+      return type;
+  }
+}
+
+export { declaredObjectType, hasIndexSignature, withIndexValues };
+//# sourceMappingURL=exploded-query-values.mjs.map

package/dist/application/transform/document/exploded-query-values.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"exploded-query-values.mjs","sources":["../../../../src/application/transform/document/exploded-query-values.ts"],"sourcesContent":["import type { IrMember, IrType } from \"../../../domain/ir/nodes.js\";\nimport type { Schema } from \"../../../domain/openapi/schema-object.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport type { ResolvedEntry } from \"./parameter-entries.js\";\n\n/**\n * `exploded-query-objects` and index signatures. The keys of an exploded object are keys of\n * `query`, next to the other parameters. TypeScript checks an index signature against every key\n * of a value, so `{ page?: number } & { [key: string]: string }` admits no `page`, and no value\n * with another parameter at all. An index signature of an exploded object therefore also takes\n * the value types of the other keys of `query`: those keys carry their own values.\n */\n\nfunction refOf(value: unknown): string | undefined {\n  const ref = (value as { $ref?: unknown } | undefined)?.$ref;\n  return typeof ref === \"string\" ? ref : undefined;\n}\n\n/** A schema `$ref` chain followed to its end, with the pointer where that schema is declared. */\nfunction declaredSchema(schema: Schema | undefined, ref: string, context: TransformContext) {\n  let declared = { schema, path: ref };\n  const seen = new Set<string>();\n  for (let next = refOf(schema); next !== undefined && !seen.has(next); ) {\n    seen.add(next);\n    declared = { schema: context.refs.resolve(next) as Schema | undefined, path: next };\n    next = refOf(declared.schema);\n  }\n  return declared;\n}\n\n/**\n * The type of an exploded parameter whose own type is a reference (its `$ref`, or the `$ref` of\n * its schema), written out where its schema is declared: the index signature of a referenced type\n * cannot be changed. The location is the one `components` types it at, so the enums it declares\n * are the ones the reference names. Null when no `$ref` is involved.\n */\nexport function declaredObjectType(entry: ResolvedEntry, context: TransformContext): IrType | null {\n  const { original, resolved } = entry;\n  const schemaRef = refOf(resolved.schema);\n  if (schemaRef !== undefined) {\n    const { schema, path } = declaredSchema(resolved.schema, schemaRef, context);\n    return transformSchema(schema, { path, schema }, context);\n  }\n  const parameterRef = refOf(original);\n  return parameterRef === undefined\n    ? null\n    : transformSchema(resolved.schema, { path: parameterRef, schema: resolved }, context);\n}\n\nfunction isIndexSignature(member: IrMember): boolean {\n  return member.kind === \"indexSignature\";\n}\n\n/** Whether the type has an index signature in its objects, through unions and intersections. */\nexport function hasIndexSignature(type: IrType): boolean {\n  switch (type.kind) {\n    case \"object\":\n      return type.members.some(isIndexSignature);\n    case \"union\":\n    case \"intersection\":\n      return type.types.some(hasIndexSignature);\n    default:\n      return false;\n  }\n}\n\nfunction widenedMember(member: IrMember, values: readonly IrType[]): IrMember {\n  // `unknown` takes every value already.\n  const isUnknown = member.type.kind === \"keyword\" && member.type.keyword === \"unknown\";\n  return isIndexSignature(member) && !isUnknown\n    ? { ...member, type: unionOf([member.type, ...values]) }\n    : member;\n}\n\n/** The type with the values added to each index signature of its objects. */\nexport function withIndexValues(type: IrType, values: readonly IrType[]): IrType {\n  switch (type.kind) {\n    case \"object\":\n      return { ...type, members: type.members.map((member) => widenedMember(member, values)) };\n    case \"union\":\n    case \"intersection\":\n      return { ...type, types: type.types.map((member) => withIndexValues(member, values)) };\n    default:\n      return type;\n  }\n}\n"],"names":[],"mappings":";;;AAeA,SAAS,MAAM,KAAA,EAAoC;AACjD,EAAA,MAAM,MAAO,KAAA,EAA0C,IAAA;AACvD,EAAA,OAAO,OAAO,GAAA,KAAQ,QAAA,GAAW,GAAA,GAAM,MAAA;AACzC;AAGA,SAAS,cAAA,CAAe,MAAA,EAA4B,GAAA,EAAa,OAAA,EAA2B;AAC1F,EAAA,IAAI,QAAA,GAAW,EAAE,MAAA,EAAQ,IAAA,EAAM,GAAA,EAAI;AACnC,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,IAAS,IAAA,GAAO,KAAA,CAAM,MAAM,CAAA,EAAG,IAAA,KAAS,UAAa,CAAC,IAAA,CAAK,GAAA,CAAI,IAAI,CAAA,IAAK;AACtE,IAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AACb,IAAA,QAAA,GAAW,EAAE,QAAQ,OAAA,CAAQ,IAAA,CAAK,QAAQ,IAAI,CAAA,EAAyB,MAAM,IAAA,EAAK;AAClF,IAAA,IAAA,GAAO,KAAA,CAAM,SAAS,MAAM,CAAA;AAAA,EAC9B;AACA,EAAA,OAAO,QAAA;AACT;AAQO,SAAS,kBAAA,CAAmB,OAAsB,OAAA,EAA0C;AACjG,EAAA,MAAM,EAAE,QAAA,EAAU,QAAA,EAAS,GAAI,KAAA;AAC/B,EAAA,MAAM,SAAA,GAAY,KAAA,CAAM,QAAA,CAAS,MAAM,CAAA;AACvC,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,MAAM,EAAE,QAAQ,IAAA,EAAK,GAAI,eAAe,QAAA,CAAS,MAAA,EAAQ,WAAW,OAAO,CAAA;AAC3E,IAAA,OAAO,gBAAgB,MAAA,EAAQ,EAAE,IAAA,EAAM,MAAA,IAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,MAAM,YAAA,GAAe,MAAM,QAAQ,CAAA;AACnC,EAAA,OAAO,YAAA,KAAiB,MAAA,GACpB,IAAA,GACA,eAAA,CAAgB,QAAA,CAAS,MAAA,EAAQ,EAAE,IAAA,EAAM,YAAA,EAAc,MAAA,EAAQ,QAAA,EAAS,EAAG,OAAO,CAAA;AACxF;AAEA,SAAS,iBAAiB,MAAA,EAA2B;AACnD,EAAA,OAAO,OAAO,IAAA,KAAS,gBAAA;AACzB;AAGO,SAAS,kBAAkB,IAAA,EAAuB;AACvD,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,IAAA,CAAK,gBAAgB,CAAA;AAAA,IAC3C,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,CAAM,IAAA,CAAK,iBAAiB,CAAA;AAAA,IAC1C;AACE,MAAA,OAAO,KAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,QAAkB,MAAA,EAAqC;AAE5E,EAAA,MAAM,YAAY,MAAA,CAAO,IAAA,CAAK,SAAS,SAAA,IAAa,MAAA,CAAO,KAAK,OAAA,KAAY,SAAA;AAC5E,EAAA,OAAO,iBAAiB,MAAM,CAAA,IAAK,CAAC,SAAA,GAChC,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,OAAA,CAAQ,CAAC,MAAA,CAAO,IAAA,EAAM,GAAG,MAAM,CAAC,GAAE,GACrD,MAAA;AACN;AAGO,SAAS,eAAA,CAAgB,MAAc,MAAA,EAAmC;AAC/E,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,QAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,OAAA,EAAS,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,KAAW,aAAA,CAAc,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACzF,KAAK,OAAA;AAAA,IACL,KAAK,cAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,KAAA,EAAO,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,MAAA,KAAW,eAAA,CAAgB,MAAA,EAAQ,MAAM,CAAC,CAAA,EAAE;AAAA,IACvF;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;;"}

package/dist/application/transform/document/header.cjs

@@ -2,11 +2,12 @@
 
 const constructors = require('../../../domain/ir/constructors.cjs');
 const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
+const outputFixes = require('../../../domain/output-fixes.cjs');
 const documentEntries = require('../document-entries.cjs');
 const schemaTransform = require('../schema/schema-transform.cjs');
 const sharedTypes = require('../shared-types.cjs');
 const documentMember = require('./document-member.cjs');
-const mediaType = require('./media-type.cjs');
+const mediaType$1 = require('./media-type.cjs');
 
 function headerType(header, location, context) {
   if (header.schema) {
@@ -15,13 +16,20 @@ function headerType(header, location, context) {
   if (!header.content) {
     return sharedTypes.UNKNOWN_TYPE;
   }
+  if (context.options.fixes.has(outputFixes.FIX.PARAMETER_HEADER_CONTENT)) {
+    const first = Object.entries(header.content)[0];
+    return first === void 0 ? sharedTypes.UNKNOWN_TYPE : mediaType(...first, location, context);
+  }
   const members = documentEntries.documentEntries(header.content, context.options).map(([contentType, entry]) => {
-    const path = `${location.path ?? "#"}/${jsonPointer.escapePointerSegment(contentType)}`;
-    const type = mediaType.contentEntryType(entry, { ...location, path }, context);
+    const type = mediaType(contentType, entry, location, context);
     return documentMember.documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });
   return constructors.irObject(members);
 }
+function mediaType(contentType, entry, location, context) {
+  const path = `${location.path ?? "#"}/${jsonPointer.escapePointerSegment(contentType)}`;
+  return mediaType$1.contentEntryType(entry, { ...location, path }, context);
+}
 
 exports.headerType = headerType;
 //# sourceMappingURL=header.cjs.map

package/dist/application/transform/document/header.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"header.cjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else an object with one property per media\n * type in `content`, else `unknown`.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n    const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":["transformSchema","UNKNOWN_TYPE","documentEntries","escapePointerSegment","contentEntryType","documentMember","irObject"],"mappings":";;;;;;;;;;AAeO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAOA,+BAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAOC,wBAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAUC,+BAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAE7F,IAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAIC,gCAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,IAAA,MAAM,IAAA,GAAOC,2BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AACnE,IAAA,OAAOC,6BAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAOC,sBAAS,OAAO,CAAA;AACzB;;"}
+{"version":3,"file":"header.cjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport type { ContentMap } from \"../../../domain/openapi/media-type-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else the type of its `content`, else\n * `unknown`. `content` holds one media type whose schema describes the value; the original typed\n * it as an object with one property per media type, which the `parameter-header-content` fix\n * replaces by the media type's type, as for a parameter.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  if (context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT)) {\n    // The first media type in document order, as for a parameter: `--alphabetize` sorts only\n    // the members it writes.\n    const first = Object.entries(header.content)[0];\n    return first === undefined ? UNKNOWN_TYPE : mediaType(...first, location, context);\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    const type = mediaType(contentType, entry, location, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n\n/** The type of one media type of a header, at the path the original gave it. */\nfunction mediaType(\n  contentType: string,\n  entry: ContentMap[string],\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n  const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n  return contentEntryType(entry, { ...location, path }, context);\n}\n"],"names":["transformSchema","UNKNOWN_TYPE","FIX","documentEntries","documentMember","irObject","escapePointerSegment","contentEntryType"],"mappings":";;;;;;;;;;;AAmBO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAOA,+BAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAOC,wBAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,eAAA,CAAI,wBAAwB,CAAA,EAAG;AAG3D,IAAA,MAAM,QAAQ,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,OAAO,EAAE,CAAC,CAAA;AAC9C,IAAA,OAAO,UAAU,MAAA,GAAYD,wBAAA,GAAe,UAAU,GAAG,KAAA,EAAO,UAAU,OAAO,CAAA;AAAA,EACnF;AACA,EAAA,MAAM,OAAA,GAAUE,+BAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC7F,IAAA,MAAM,IAAA,GAAO,SAAA,CAAU,WAAA,EAAa,KAAA,EAAO,UAAU,OAAO,CAAA;AAC5D,IAAA,OAAOC,6BAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAOC,sBAAS,OAAO,CAAA;AACzB;AAGA,SAAS,SAAA,CACP,WAAA,EACA,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AAER,EAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAIC,gCAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,EAAA,OAAOC,6BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;;"}

package/dist/application/transform/document/header.mjs

@@ -1,5 +1,6 @@
 import { irObject } from '../../../domain/ir/constructors.mjs';
 import { escapePointerSegment } from '../../../domain/openapi/json-pointer.mjs';
+import { FIX } from '../../../domain/output-fixes.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { transformSchema } from '../schema/schema-transform.mjs';
 import { UNKNOWN_TYPE } from '../shared-types.mjs';
@@ -13,13 +14,20 @@ function headerType(header, location, context) {
   if (!header.content) {
     return UNKNOWN_TYPE;
   }
+  if (context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT)) {
+    const first = Object.entries(header.content)[0];
+    return first === void 0 ? UNKNOWN_TYPE : mediaType(...first, location, context);
+  }
   const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {
-    const path = `${location.path ?? "#"}/${escapePointerSegment(contentType)}`;
-    const type = contentEntryType(entry, { ...location, path }, context);
+    const type = mediaType(contentType, entry, location, context);
     return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });
   });
   return irObject(members);
 }
+function mediaType(contentType, entry, location, context) {
+  const path = `${location.path ?? "#"}/${escapePointerSegment(contentType)}`;
+  return contentEntryType(entry, { ...location, path }, context);
+}
 
 export { headerType };
 //# sourceMappingURL=header.mjs.map

package/dist/application/transform/document/header.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"header.mjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else an object with one property per media\n * type in `content`, else `unknown`.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n    const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n    const type = contentEntryType(entry, { ...location, path }, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n"],"names":[],"mappings":";;;;;;;;AAeO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAO,eAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAE7F,IAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAI,oBAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,IAAA,MAAM,IAAA,GAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AACnE,IAAA,OAAO,cAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAO,SAAS,OAAO,CAAA;AACzB;;"}
+{"version":3,"file":"header.mjs","sources":["../../../../src/application/transform/document/header.ts"],"sourcesContent":["import { irObject } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport type { HeaderObject } from \"../../../domain/openapi/header-object.js\";\nimport { escapePointerSegment } from \"../../../domain/openapi/json-pointer.js\";\nimport type { ContentMap } from \"../../../domain/openapi/media-type-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { documentEntries } from \"../document-entries.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { UNKNOWN_TYPE } from \"../shared-types.js\";\nimport { documentMember } from \"./document-member.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A header's type (OpenAPI 3.1 §4.8.21): its schema, else the type of its `content`, else\n * `unknown`. `content` holds one media type whose schema describes the value; the original typed\n * it as an object with one property per media type, which the `parameter-header-content` fix\n * replaces by the media type's type, as for a parameter.\n */\nexport function headerType(\n  header: HeaderObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (header.schema) {\n    return transformSchema(header.schema, location, context);\n  }\n  if (!header.content) {\n    return UNKNOWN_TYPE;\n  }\n  if (context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT)) {\n    // The first media type in document order, as for a parameter: `--alphabetize` sorts only\n    // the members it writes.\n    const first = Object.entries(header.content)[0];\n    return first === undefined ? UNKNOWN_TYPE : mediaType(...first, location, context);\n  }\n  const members = documentEntries(header.content, context.options).map(([contentType, entry]) => {\n    const type = mediaType(contentType, entry, location, context);\n    return documentMember(contentType, type, entry, { isReadonly: context.options.immutable });\n  });\n  return irObject(members);\n}\n\n/** The type of one media type of a header, at the path the original gave it. */\nfunction mediaType(\n  contentType: string,\n  entry: ContentMap[string],\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  // Unlike other content maps, the original joins this path by hand: a missing path is `#`.\n  const path = `${location.path ?? \"#\"}/${escapePointerSegment(contentType)}`;\n  return contentEntryType(entry, { ...location, path }, context);\n}\n"],"names":[],"mappings":";;;;;;;;;AAmBO,SAAS,UAAA,CACd,MAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,OAAO,MAAA,EAAQ;AACjB,IAAA,OAAO,eAAA,CAAgB,MAAA,CAAO,MAAA,EAAQ,QAAA,EAAU,OAAO,CAAA;AAAA,EACzD;AACA,EAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,wBAAwB,CAAA,EAAG;AAG3D,IAAA,MAAM,QAAQ,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,OAAO,EAAE,CAAC,CAAA;AAC9C,IAAA,OAAO,UAAU,MAAA,GAAY,YAAA,GAAe,UAAU,GAAG,KAAA,EAAO,UAAU,OAAO,CAAA;AAAA,EACnF;AACA,EAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,MAAA,CAAO,OAAA,EAAS,OAAA,CAAQ,OAAO,CAAA,CAAE,GAAA,CAAI,CAAC,CAAC,WAAA,EAAa,KAAK,CAAA,KAAM;AAC7F,IAAA,MAAM,IAAA,GAAO,SAAA,CAAU,WAAA,EAAa,KAAA,EAAO,UAAU,OAAO,CAAA;AAC5D,IAAA,OAAO,cAAA,CAAe,aAAa,IAAA,EAAM,KAAA,EAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,OAAA,CAAQ,SAAA,EAAW,CAAA;AAAA,EAC3F,CAAC,CAAA;AACD,EAAA,OAAO,SAAS,OAAO,CAAA;AACzB;AAGA,SAAS,SAAA,CACP,WAAA,EACA,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AAER,EAAA,MAAM,IAAA,GAAO,GAAG,QAAA,CAAS,IAAA,IAAQ,GAAG,CAAA,CAAA,EAAI,oBAAA,CAAqB,WAAW,CAAC,CAAA,CAAA;AACzE,EAAA,OAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;;"}

package/dist/application/transform/document/parameter.cjs

@@ -20,7 +20,7 @@ function isTypedByContent(parameter, context) {
     return true;
   }
   const hasContent = parameter.schema === void 0 && parameter.content !== void 0;
-  return hasContent && context.options.fixes.has(outputFixes.FIX.PARAMETER_CONTENT);
+  return hasContent && context.options.fixes.has(outputFixes.FIX.PARAMETER_HEADER_CONTENT);
 }
 function parameterType(parameter, location, context) {
   if (isTypedByContent(parameter, context)) {

package/dist/application/transform/document/parameter.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"parameter.cjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-content` fix for every parameter; without the fix\n * other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":["mediaType","irKeyword","appendPointer","contentEntryType","QUERYSTRING_LOCATION","FIX","transformSchema"],"mappings":";;;;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAACA,WAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAIA,WAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAOC,uBAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAOC,yBAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAWF,WAAS,CAAC,CAAA;AAChE,EAAA,OAAOG,2BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAOC,oCAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,gBAAI,iBAAiB,CAAA;AACtE;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACbC,+BAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnDL,sBAAA,CAAU,QAAQ,CAAA;AACxB;;"}
+{"version":3,"file":"parameter.cjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-header-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-header-content` fix for every parameter; without\n * the fix other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":["mediaType","irKeyword","appendPointer","contentEntryType","QUERYSTRING_LOCATION","FIX","transformSchema"],"mappings":";;;;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAACA,WAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAIA,WAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAOC,uBAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAOC,yBAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAWF,WAAS,CAAC,CAAA;AAChE,EAAA,OAAOG,2BAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAOC,oCAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIC,gBAAI,wBAAwB,CAAA;AAC7E;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACbC,+BAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnDL,sBAAA,CAAU,QAAQ,CAAA;AACxB;;"}

package/dist/application/transform/document/parameter.mjs

@@ -18,7 +18,7 @@ function isTypedByContent(parameter, context) {
     return true;
   }
   const hasContent = parameter.schema === void 0 && parameter.content !== void 0;
-  return hasContent && context.options.fixes.has(FIX.PARAMETER_CONTENT);
+  return hasContent && context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT);
 }
 function parameterType(parameter, location, context) {
   if (isTypedByContent(parameter, context)) {

package/dist/application/transform/document/parameter.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"parameter.mjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-content` fix for every parameter; without the fix\n * other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":[],"mappings":";;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAAC,SAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAI,SAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAO,UAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAO,aAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,SAAS,CAAC,CAAA;AAChE,EAAA,OAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAO,oBAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,IAAI,iBAAiB,CAAA;AACtE;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACb,eAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnD,SAAA,CAAU,QAAQ,CAAA;AACxB;;"}
+{"version":3,"file":"parameter.mjs","sources":["../../../../src/application/transform/document/parameter.ts"],"sourcesContent":["import { irKeyword } from \"../../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../../domain/ir/nodes.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  type ParameterObject,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext, SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { contentEntryType } from \"./media-type.js\";\n\n/**\n * A parameter typed by the schema of its one `content` media type. An `in: querystring` parameter\n * (OpenAPI 3.2) is the whole query string (ADR-020); without a media type it is `string`, the\n * query string as text. With the `parameter-header-content` fix, any other parameter with `content`\n * (OpenAPI 3.0 and later, for a JSON value in a query parameter) is typed the same way.\n */\nfunction contentParameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  const [mediaType, entry] = Object.entries(parameter.content ?? {})[0] ?? [];\n  if (mediaType === undefined || entry === undefined) {\n    return irKeyword(\"string\");\n  }\n  const path = appendPointer(location.path, [\"content\", mediaType]);\n  return contentEntryType(entry, { ...location, path }, context);\n}\n\nfunction isTypedByContent(parameter: ParameterObject, context: SchemaContext): boolean {\n  if (parameter.in === QUERYSTRING_LOCATION) {\n    return true;\n  }\n  const hasContent = parameter.schema === undefined && parameter.content !== undefined;\n  return hasContent && context.options.fixes.has(FIX.PARAMETER_HEADER_CONTENT);\n}\n\n/**\n * A parameter's type (OpenAPI 3.2 §4.8.12). Without a schema it is `string`, not `unknown`:\n * query, path, header and cookie values all arrive as text. `content` is read for\n * `in: querystring`, and with the `parameter-header-content` fix for every parameter; without\n * the fix other parameters with `content` keep the original's `string`.\n */\nexport function parameterType(\n  parameter: ParameterObject,\n  location: SchemaLocation,\n  context: SchemaContext,\n): IrType {\n  if (isTypedByContent(parameter, context)) {\n    return contentParameterType(parameter, location, context);\n  }\n  return parameter.schema\n    ? transformSchema(parameter.schema, location, context)\n    : irKeyword(\"string\");\n}\n"],"names":[],"mappings":";;;;;;;AAkBA,SAAS,oBAAA,CACP,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,CAAC,SAAA,EAAW,KAAK,CAAA,GAAI,MAAA,CAAO,OAAA,CAAQ,SAAA,CAAU,OAAA,IAAW,EAAE,CAAA,CAAE,CAAC,KAAK,EAAC;AAC1E,EAAA,IAAI,SAAA,KAAc,MAAA,IAAa,KAAA,KAAU,MAAA,EAAW;AAClD,IAAA,OAAO,UAAU,QAAQ,CAAA;AAAA,EAC3B;AACA,EAAA,MAAM,OAAO,aAAA,CAAc,QAAA,CAAS,MAAM,CAAC,SAAA,EAAW,SAAS,CAAC,CAAA;AAChE,EAAA,OAAO,iBAAiB,KAAA,EAAO,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC/D;AAEA,SAAS,gBAAA,CAAiB,WAA4B,OAAA,EAAiC;AACrF,EAAA,IAAI,SAAA,CAAU,OAAO,oBAAA,EAAsB;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,MAAA,KAAW,MAAA,IAAa,UAAU,OAAA,KAAY,MAAA;AAC3E,EAAA,OAAO,cAAc,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,IAAI,wBAAwB,CAAA;AAC7E;AAQO,SAAS,aAAA,CACd,SAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,IAAI,gBAAA,CAAiB,SAAA,EAAW,OAAO,CAAA,EAAG;AACxC,IAAA,OAAO,oBAAA,CAAqB,SAAA,EAAW,QAAA,EAAU,OAAO,CAAA;AAAA,EAC1D;AACA,EAAA,OAAO,SAAA,CAAU,SACb,eAAA,CAAgB,SAAA,CAAU,QAAQ,QAAA,EAAU,OAAO,CAAA,GACnD,SAAA,CAAU,QAAQ,CAAA;AACxB;;"}

package/dist/application/transform/document/parameters.cjs

@@ -5,8 +5,10 @@ const propertyName = require('../../../domain/ir/property-name.cjs');
 const jsonPointer = require('../../../domain/openapi/json-pointer.cjs');
 const parameterObject = require('../../../domain/openapi/parameter-object.cjs');
 const outputFixes = require('../../../domain/output-fixes.cjs');
+const declaredValueTypes = require('../declared-value-types.cjs');
 const schemaComment = require('../schema-comment.cjs');
 const explodedQuery = require('./exploded-query.cjs');
+const explodedQueryValues = require('./exploded-query-values.cjs');
 const parameter = require('./parameter.cjs');
 const parameterEntries = require('./parameter-entries.cjs');
 const referencedParameter = require('./referenced-parameter.cjs');
@@ -67,9 +69,25 @@ function querystringMember(entries, location, context) {
 function isExplodedEntry(entry, context) {
   return context.options.fixes.has(outputFixes.FIX.EXPLODED_QUERY_OBJECTS) && explodedQuery.isExplodedQueryObject(entry.resolved, context.refs);
 }
-function explodedPart(entry, location, context) {
-  const type = entryType(entry, location, context);
-  return entry.resolved.required ? type : constructors.irReference("Partial", [type]);
+function explodedObjectType({ entry, type }, hasOtherKeys, context) {
+  if (!hasOtherKeys) {
+    return type;
+  }
+  const declared = explodedQueryValues.declaredObjectType(entry, context);
+  return declared !== null && explodedQueryValues.hasIndexSignature(declared) ? declared : type;
+}
+function explodedParts(exploded, members, context) {
+  const hasOtherKeys = members.length > 0 || exploded.length > 1;
+  const types = exploded.map((part) => explodedObjectType(part, hasOtherKeys, context));
+  const others = (index) => [
+    ...members.length > 0 ? [constructors.irObject(members)] : [],
+    ...types.filter((_type, other) => other !== index)
+  ];
+  return types.map((type, index) => {
+    const values = others(index).flatMap((other) => declaredValueTypes.declaredValueTypes(other, context.footer));
+    const widened = explodedQueryValues.withIndexValues(type, values);
+    return exploded[index]?.entry.resolved.required ? widened : constructors.irReference("Partial", [widened]);
+  });
 }
 function locationParts(entries, location, context) {
   const members = [];
@@ -77,7 +95,7 @@ function locationParts(entries, location, context) {
   let isOptional = true;
   for (const entry of entries) {
     if (isExplodedEntry(entry, context)) {
-      exploded.push(explodedPart(entry, location, context));
+      exploded.push({ entry, type: entryType(entry, location, context) });
       isOptional &&= !entry.resolved.required;
       continue;
     }
@@ -85,7 +103,7 @@ function locationParts(entries, location, context) {
     members.push(member);
     isOptional &&= member.isOptional;
   }
-  return { members, exploded, isOptional };
+  return { members, exploded: explodedParts(exploded, members, context), isOptional };
 }
 function locationType({ members, exploded }) {
   const types = [...members.length > 0 ? [constructors.irObject(members)] : [], ...exploded];

package/dist/application/transform/document/parameters.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.cjs","sources":["../../../../src/application/transform/document/parameters.ts"],"sourcesContent":["import {\n  irIntersection,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertyName, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  PARAMETER_LOCATIONS,\n  type ParameterLocation,\n  type ParameterObject,\n  type ParameterOrReference,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { isExplodedQueryObject } from \"./exploded-query.js\";\nimport { parameterType } from \"./parameter.js\";\nimport {\n  type ParameterEntry,\n  parameterEntries,\n  type ResolvedEntry,\n  resolveParameter,\n} from \"./parameter-entries.js\";\nimport { referencedParameterType } from \"./referenced-parameter.js\";\n\n/** `[^{}]` keeps the scan linear: `[^}]` retried from every `{` of a long run of them. */\nconst PATH_TEMPLATE_RE = /\\{([^{}]+)\\}/g;\n\n/** Required string parameters for every `{name}` in a path template. */\nfunction pathTemplateParameters(path: string): ParameterObject[] {\n  return (path.match(PATH_TEMPLATE_RE) ?? []).map((match) => ({\n    name: match.slice(1, -1),\n    in: \"path\",\n    required: true,\n    schema: { type: \"string\" },\n  }));\n}\n\n/** `--generate-path-params`: add the path template parameters the list does not define. */\nfunction withPathTemplateParameters(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): ParameterOrReference[] {\n  const result = [...parameters];\n  if (!context.options.generatePathParams || !location.path) {\n    return result;\n  }\n  for (const parameter of pathTemplateParameters(location.path)) {\n    const isDefined = result.some((candidate) => {\n      const resolved = resolveParameter(candidate, context.refs);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\n/** The original quotes a name that is not text (a missing name prints as `\"undefined\"`). */\nfunction parameterName(name: unknown): IrPropertyName {\n  return typeof name === \"string\" || typeof name === \"number\"\n    ? toPropertyName(name)\n    : { kind: \"string\", value: String(name) };\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = appendPointer(location.path, [\"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved, context)\n    : parameterType(resolved, { ...location, path }, context);\n}\n\nfunction parameterMember(\n  entry: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const { resolved } = entry;\n  const property = irProperty(parameterName(resolved.name), entryType(entry, location, context), {\n    isOptional: resolved.in !== \"path\" && !resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, resolved);\n}\n\n/**\n * The `query` member typed by an `in: querystring` parameter (OpenAPI 3.2, ADR-020): the parameter\n * is the whole query string. Null when there is none, or when `in: query` parameters sit next to\n * it, which 3.2 does not allow; those keep their types, and a warning names the parameter.\n */\nfunction querystringMember(\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature | null {\n  const querystring = entries.find(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === QUERYSTRING_LOCATION,\n  );\n  if (!querystring || entries.some((entry) => entry.resolved?.in === \"query\")) {\n    return null;\n  }\n  const property = irProperty(toPropertyName(\"query\"), entryType(querystring, location, context), {\n    isOptional: !querystring.resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, querystring.resolved);\n}\n\n/** With `exploded-query-objects`, whether the parameter's object keys are keys of `query`. */\nfunction isExplodedEntry(entry: ResolvedEntry, context: TransformContext): boolean {\n  return (\n    context.options.fixes.has(FIX.EXPLODED_QUERY_OBJECTS) &&\n    isExplodedQueryObject(entry.resolved, context.refs)\n  );\n}\n\n/**\n * An exploded object parameter's part of `query`: its object type. A parameter that may be left\n * out sends none of its keys then, so they are optional: `Partial<…>`.\n */\nfunction explodedPart(\n  entry: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const type = entryType(entry, location, context);\n  return entry.resolved.required ? type : irReference(\"Partial\", [type]);\n}\n\n/** A location's parameters as members, and the object types of its exploded parameters. */\ninterface LocationParts {\n  readonly members: readonly IrPropertySignature[];\n  readonly exploded: readonly IrType[];\n  readonly isOptional: boolean;\n}\n\n/** Each parameter in document order, so the declarations they add keep their order. */\nfunction locationParts(\n  entries: readonly ResolvedEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): LocationParts {\n  const members: IrPropertySignature[] = [];\n  const exploded: IrType[] = [];\n  let isOptional = true;\n  for (const entry of entries) {\n    if (isExplodedEntry(entry, context)) {\n      exploded.push(explodedPart(entry, location, context));\n      isOptional &&= !entry.resolved.required;\n      continue;\n    }\n    const member = parameterMember(entry, location, context);\n    members.push(member);\n    isOptional &&= member.isOptional;\n  }\n  return { members, exploded, isOptional };\n}\n\n/** The members' object, intersected with the exploded parameters' types; `never` for none. */\nfunction locationType({ members, exploded }: LocationParts): IrType {\n  const types = [...(members.length > 0 ? [irObject(members)] : []), ...exploded];\n  const [first] = types;\n  if (first === undefined) {\n    return irKeyword(\"never\");\n  }\n  return types.length === 1 ? first : irIntersection(types);\n}\n\n/** One location's parameters; optional when all of them are, and `never` when there are none. */\nfunction locationMember(\n  parameterIn: ParameterLocation,\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const located = entries.filter(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === parameterIn,\n  );\n  const parts = locationParts(located, location, context);\n  return irProperty(toPropertyName(parameterIn), locationType(parts), {\n    isOptional: parts.isOptional,\n    isReadonly: context.options.immutable,\n  });\n}\n\n/**\n * The `parameters` property of an operation or path item: one member per location, each an object\n * of that location's parameters. `location.path` is the path template for\n * `--generate-path-params`.\n */\nexport function parametersMember(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const entries = parameterEntries(\n    withPathTemplateParameters(parameters, location, context),\n    context,\n  );\n  const querystring = querystringMember(entries, location, context);\n  const members = PARAMETER_LOCATIONS.map((parameterIn) =>\n    parameterIn === \"query\" && querystring\n      ? querystring\n      : locationMember(parameterIn, entries, location, context),\n  );\n  return irProperty(toPropertyName(\"parameters\"), irObject(members), {\n    isReadonly: context.options.immutable,\n  });\n}\n"],"names":["resolveParameter","toPropertyName","appendPointer","referencedParameterType","parameterType","irProperty","withSchemaComment","QUERYSTRING_LOCATION","FIX","isExplodedQueryObject","irReference","irObject","irKeyword","irIntersection","parameterEntries","PARAMETER_LOCATIONS"],"mappings":";;;;;;;;;;;;;AAgCA,MAAM,gBAAA,GAAmB,eAAA;AAGzB,SAAS,uBAAuB,IAAA,EAAiC;AAC/D,EAAA,OAAA,CAAQ,IAAA,CAAK,MAAM,gBAAgB,CAAA,IAAK,EAAC,EAAG,GAAA,CAAI,CAAC,KAAA,MAAW;AAAA,IAC1D,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA;AAAA,IACvB,EAAA,EAAI,MAAA;AAAA,IACJ,QAAA,EAAU,IAAA;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA;AAAS,GAC3B,CAAE,CAAA;AACJ;AAGA,SAAS,0BAAA,CACP,UAAA,EACA,QAAA,EACA,OAAA,EACwB;AACxB,EAAA,MAAM,MAAA,GAAS,CAAC,GAAG,UAAU,CAAA;AAC7B,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,kBAAA,IAAsB,CAAC,SAAS,IAAA,EAAM;AACzD,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,KAAA,MAAW,SAAA,IAAa,sBAAA,CAAuB,QAAA,CAAS,IAAI,CAAA,EAAG;AAC7D,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,CAAC,SAAA,KAAc;AAC3C,MAAA,MAAM,QAAA,GAAWA,iCAAA,CAAiB,SAAA,EAAW,OAAA,CAAQ,IAAI,CAAA;AACzD,MAAA,OAAO,QAAA,EAAU,EAAA,KAAO,MAAA,IAAU,QAAA,CAAS,SAAS,SAAA,CAAU,IAAA;AAAA,IAChE,CAAC,CAAA;AACD,IAAA,IAAI,CAAC,SAAA,EAAW;AACd,MAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AAAA,IACvB;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGA,SAAS,cAAc,IAAA,EAA+B;AACpD,EAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,SAAS,QAAA,GAC/CC,2BAAA,CAAe,IAAI,CAAA,GACnB,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA,EAAE;AAC5C;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAOC,yBAAA,CAAc,QAAA,CAAS,IAAA,EAAM,CAAC,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AACpF,EAAA,OAAO,MAAA,IAAU,QAAA,GACbC,2CAAA,CAAwB,QAAA,CAAS,MAAM,QAAA,EAAU,OAAO,CAAA,GACxDC,uBAAA,CAAc,UAAU,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC5D;AAEA,SAAS,eAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAS,GAAI,KAAA;AACrB,EAAA,MAAM,QAAA,GAAWC,uBAAA,CAAW,aAAA,CAAc,QAAA,CAAS,IAAI,GAAG,SAAA,CAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC7F,UAAA,EAAY,QAAA,CAAS,EAAA,KAAO,MAAA,IAAU,CAAC,QAAA,CAAS,QAAA;AAAA,IAChD,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAOC,+BAAA,CAAkB,UAAU,QAAQ,CAAA;AAC7C;AAOA,SAAS,iBAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EAC4B;AAC5B,EAAA,MAAM,cAAc,OAAA,CAAQ,IAAA;AAAA,IAC1B,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAOC;AAAA,GAC5D;AACA,EAAA,IAAI,CAAC,WAAA,IAAe,OAAA,CAAQ,IAAA,CAAK,CAAC,UAAU,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO,OAAO,CAAA,EAAG;AAC3E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAWF,wBAAWJ,2BAAA,CAAe,OAAO,GAAG,SAAA,CAAU,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC9F,UAAA,EAAY,CAAC,WAAA,CAAY,QAAA,CAAS,QAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAOK,+BAAA,CAAkB,QAAA,EAAU,WAAA,CAAY,QAAQ,CAAA;AACzD;AAGA,SAAS,eAAA,CAAgB,OAAsB,OAAA,EAAoC;AACjF,EAAA,OACE,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIE,eAAA,CAAI,sBAAsB,CAAA,IACpDC,mCAAA,CAAsB,KAAA,CAAM,QAAA,EAAU,OAAA,CAAQ,IAAI,CAAA;AAEtD;AAMA,SAAS,YAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA;AAC/C,EAAA,OAAO,KAAA,CAAM,SAAS,QAAA,GAAW,IAAA,GAAOC,yBAAY,SAAA,EAAW,CAAC,IAAI,CAAC,CAAA;AACvE;AAUA,SAAS,aAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,UAAiC,EAAC;AACxC,EAAA,MAAM,WAAqB,EAAC;AAC5B,EAAA,IAAI,UAAA,GAAa,IAAA;AACjB,EAAA,KAAA,MAAW,SAAS,OAAA,EAAS;AAC3B,IAAA,IAAI,eAAA,CAAgB,KAAA,EAAO,OAAO,CAAA,EAAG;AACnC,MAAA,QAAA,CAAS,IAAA,CAAK,YAAA,CAAa,KAAA,EAAO,QAAA,EAAU,OAAO,CAAC,CAAA;AACpD,MAAA,UAAA,KAAe,CAAC,MAAM,QAAA,CAAS,QAAA;AAC/B,MAAA;AAAA,IACF;AACA,IAAA,MAAM,MAAA,GAAS,eAAA,CAAgB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA;AACvD,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,UAAA,KAAe,MAAA,CAAO,UAAA;AAAA,EACxB;AACA,EAAA,OAAO,EAAE,OAAA,EAAS,QAAA,EAAU,UAAA,EAAW;AACzC;AAGA,SAAS,YAAA,CAAa,EAAE,OAAA,EAAS,QAAA,EAAS,EAA0B;AAClE,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAACC,qBAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,GAAG,QAAQ,CAAA;AAC9E,EAAA,MAAM,CAAC,KAAK,CAAA,GAAI,KAAA;AAChB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,OAAOC,uBAAU,OAAO,CAAA;AAAA,EAC1B;AACA,EAAA,OAAO,KAAA,CAAM,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQC,4BAAe,KAAK,CAAA;AAC1D;AAGA,SAAS,cAAA,CACP,WAAA,EACA,OAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAU,OAAA,CAAQ,MAAA;AAAA,IACtB,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO;AAAA,GAC5D;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AACtD,EAAA,OAAOR,wBAAWJ,2BAAA,CAAe,WAAW,CAAA,EAAG,YAAA,CAAa,KAAK,CAAA,EAAG;AAAA,IAClE,YAAY,KAAA,CAAM,UAAA;AAAA,IAClB,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;AAOO,SAAS,gBAAA,CACd,UAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,OAAA,GAAUa,iCAAA;AAAA,IACd,0BAAA,CAA2B,UAAA,EAAY,QAAA,EAAU,OAAO,CAAA;AAAA,IACxD;AAAA,GACF;AACA,EAAA,MAAM,WAAA,GAAc,iBAAA,CAAkB,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AAChE,EAAA,MAAM,UAAUC,mCAAA,CAAoB,GAAA;AAAA,IAAI,CAAC,WAAA,KACvC,WAAA,KAAgB,OAAA,IAAW,WAAA,GACvB,cACA,cAAA,CAAe,WAAA,EAAa,OAAA,EAAS,QAAA,EAAU,OAAO;AAAA,GAC5D;AACA,EAAA,OAAOV,wBAAWJ,2BAAA,CAAe,YAAY,CAAA,EAAGU,qBAAA,CAAS,OAAO,CAAA,EAAG;AAAA,IACjE,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;;"}
+{"version":3,"file":"parameters.cjs","sources":["../../../../src/application/transform/document/parameters.ts"],"sourcesContent":["import {\n  irIntersection,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertyName, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  PARAMETER_LOCATIONS,\n  type ParameterLocation,\n  type ParameterObject,\n  type ParameterOrReference,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { declaredValueTypes } from \"../declared-value-types.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { isExplodedQueryObject } from \"./exploded-query.js\";\nimport { declaredObjectType, hasIndexSignature, withIndexValues } from \"./exploded-query-values.js\";\nimport { parameterType } from \"./parameter.js\";\nimport {\n  type ParameterEntry,\n  parameterEntries,\n  type ResolvedEntry,\n  resolveParameter,\n} from \"./parameter-entries.js\";\nimport { referencedParameterType } from \"./referenced-parameter.js\";\n\n/** `[^{}]` keeps the scan linear: `[^}]` retried from every `{` of a long run of them. */\nconst PATH_TEMPLATE_RE = /\\{([^{}]+)\\}/g;\n\n/** Required string parameters for every `{name}` in a path template. */\nfunction pathTemplateParameters(path: string): ParameterObject[] {\n  return (path.match(PATH_TEMPLATE_RE) ?? []).map((match) => ({\n    name: match.slice(1, -1),\n    in: \"path\",\n    required: true,\n    schema: { type: \"string\" },\n  }));\n}\n\n/** `--generate-path-params`: add the path template parameters the list does not define. */\nfunction withPathTemplateParameters(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): ParameterOrReference[] {\n  const result = [...parameters];\n  if (!context.options.generatePathParams || !location.path) {\n    return result;\n  }\n  for (const parameter of pathTemplateParameters(location.path)) {\n    const isDefined = result.some((candidate) => {\n      const resolved = resolveParameter(candidate, context.refs);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\n/** The original quotes a name that is not text (a missing name prints as `\"undefined\"`). */\nfunction parameterName(name: unknown): IrPropertyName {\n  return typeof name === \"string\" || typeof name === \"number\"\n    ? toPropertyName(name)\n    : { kind: \"string\", value: String(name) };\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = appendPointer(location.path, [\"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved, context)\n    : parameterType(resolved, { ...location, path }, context);\n}\n\nfunction parameterMember(\n  entry: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const { resolved } = entry;\n  const property = irProperty(parameterName(resolved.name), entryType(entry, location, context), {\n    isOptional: resolved.in !== \"path\" && !resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, resolved);\n}\n\n/**\n * The `query` member typed by an `in: querystring` parameter (OpenAPI 3.2, ADR-020): the parameter\n * is the whole query string. Null when there is none, or when `in: query` parameters sit next to\n * it, which 3.2 does not allow; those keep their types, and a warning names the parameter.\n */\nfunction querystringMember(\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature | null {\n  const querystring = entries.find(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === QUERYSTRING_LOCATION,\n  );\n  if (!querystring || entries.some((entry) => entry.resolved?.in === \"query\")) {\n    return null;\n  }\n  const property = irProperty(toPropertyName(\"query\"), entryType(querystring, location, context), {\n    isOptional: !querystring.resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, querystring.resolved);\n}\n\n/** With `exploded-query-objects`, whether the parameter's object keys are keys of `query`. */\nfunction isExplodedEntry(entry: ResolvedEntry, context: TransformContext): boolean {\n  return (\n    context.options.fixes.has(FIX.EXPLODED_QUERY_OBJECTS) &&\n    isExplodedQueryObject(entry.resolved, context.refs)\n  );\n}\n\n/** An exploded object parameter with its type, typed in document order. */\ninterface ExplodedEntry {\n  readonly entry: ResolvedEntry;\n  readonly type: IrType;\n}\n\n/**\n * The object type of an exploded parameter, written out when it is a reference to a type with an\n * index signature and `query` has other keys, which that signature must then admit. Without\n * other keys the reference is kept.\n */\nfunction explodedObjectType(\n  { entry, type }: ExplodedEntry,\n  hasOtherKeys: boolean,\n  context: TransformContext,\n): IrType {\n  if (!hasOtherKeys) {\n    return type;\n  }\n  const declared = declaredObjectType(entry, context);\n  return declared !== null && hasIndexSignature(declared) ? declared : type;\n}\n\n/**\n * The exploded object parameters' parts of `query`: their object types, each index signature\n * widened by the value types of the other keys (see `exploded-query-values.ts`). A parameter that\n * may be left out sends none of its keys then, so they are optional: `Partial<…>`.\n */\nfunction explodedParts(\n  exploded: readonly ExplodedEntry[],\n  members: readonly IrPropertySignature[],\n  context: TransformContext,\n): IrType[] {\n  const hasOtherKeys = members.length > 0 || exploded.length > 1;\n  const types = exploded.map((part) => explodedObjectType(part, hasOtherKeys, context));\n  const others = (index: number) => [\n    ...(members.length > 0 ? [irObject(members)] : []),\n    ...types.filter((_type, other) => other !== index),\n  ];\n  return types.map((type, index) => {\n    const values = others(index).flatMap((other) => declaredValueTypes(other, context.footer));\n    const widened = withIndexValues(type, values);\n    return exploded[index]?.entry.resolved.required ? widened : irReference(\"Partial\", [widened]);\n  });\n}\n\n/** A location's parameters as members, and the object types of its exploded parameters. */\ninterface LocationParts {\n  readonly members: readonly IrPropertySignature[];\n  readonly exploded: readonly IrType[];\n  readonly isOptional: boolean;\n}\n\n/** Each parameter in document order, so the declarations they add keep their order. */\nfunction locationParts(\n  entries: readonly ResolvedEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): LocationParts {\n  const members: IrPropertySignature[] = [];\n  const exploded: ExplodedEntry[] = [];\n  let isOptional = true;\n  for (const entry of entries) {\n    if (isExplodedEntry(entry, context)) {\n      exploded.push({ entry, type: entryType(entry, location, context) });\n      isOptional &&= !entry.resolved.required;\n      continue;\n    }\n    const member = parameterMember(entry, location, context);\n    members.push(member);\n    isOptional &&= member.isOptional;\n  }\n  return { members, exploded: explodedParts(exploded, members, context), isOptional };\n}\n\n/** The members' object, intersected with the exploded parameters' types; `never` for none. */\nfunction locationType({ members, exploded }: LocationParts): IrType {\n  const types = [...(members.length > 0 ? [irObject(members)] : []), ...exploded];\n  const [first] = types;\n  if (first === undefined) {\n    return irKeyword(\"never\");\n  }\n  return types.length === 1 ? first : irIntersection(types);\n}\n\n/** One location's parameters; optional when all of them are, and `never` when there are none. */\nfunction locationMember(\n  parameterIn: ParameterLocation,\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const located = entries.filter(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === parameterIn,\n  );\n  const parts = locationParts(located, location, context);\n  return irProperty(toPropertyName(parameterIn), locationType(parts), {\n    isOptional: parts.isOptional,\n    isReadonly: context.options.immutable,\n  });\n}\n\n/**\n * The `parameters` property of an operation or path item: one member per location, each an object\n * of that location's parameters. `location.path` is the path template for\n * `--generate-path-params`.\n */\nexport function parametersMember(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const entries = parameterEntries(\n    withPathTemplateParameters(parameters, location, context),\n    context,\n  );\n  const querystring = querystringMember(entries, location, context);\n  const members = PARAMETER_LOCATIONS.map((parameterIn) =>\n    parameterIn === \"query\" && querystring\n      ? querystring\n      : locationMember(parameterIn, entries, location, context),\n  );\n  return irProperty(toPropertyName(\"parameters\"), irObject(members), {\n    isReadonly: context.options.immutable,\n  });\n}\n"],"names":["resolveParameter","toPropertyName","appendPointer","referencedParameterType","parameterType","irProperty","withSchemaComment","QUERYSTRING_LOCATION","FIX","isExplodedQueryObject","declaredObjectType","hasIndexSignature","irObject","declaredValueTypes","withIndexValues","irReference","irKeyword","irIntersection","parameterEntries","PARAMETER_LOCATIONS"],"mappings":";;;;;;;;;;;;;;;AAkCA,MAAM,gBAAA,GAAmB,eAAA;AAGzB,SAAS,uBAAuB,IAAA,EAAiC;AAC/D,EAAA,OAAA,CAAQ,IAAA,CAAK,MAAM,gBAAgB,CAAA,IAAK,EAAC,EAAG,GAAA,CAAI,CAAC,KAAA,MAAW;AAAA,IAC1D,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA;AAAA,IACvB,EAAA,EAAI,MAAA;AAAA,IACJ,QAAA,EAAU,IAAA;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA;AAAS,GAC3B,CAAE,CAAA;AACJ;AAGA,SAAS,0BAAA,CACP,UAAA,EACA,QAAA,EACA,OAAA,EACwB;AACxB,EAAA,MAAM,MAAA,GAAS,CAAC,GAAG,UAAU,CAAA;AAC7B,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,kBAAA,IAAsB,CAAC,SAAS,IAAA,EAAM;AACzD,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,KAAA,MAAW,SAAA,IAAa,sBAAA,CAAuB,QAAA,CAAS,IAAI,CAAA,EAAG;AAC7D,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,CAAC,SAAA,KAAc;AAC3C,MAAA,MAAM,QAAA,GAAWA,iCAAA,CAAiB,SAAA,EAAW,OAAA,CAAQ,IAAI,CAAA;AACzD,MAAA,OAAO,QAAA,EAAU,EAAA,KAAO,MAAA,IAAU,QAAA,CAAS,SAAS,SAAA,CAAU,IAAA;AAAA,IAChE,CAAC,CAAA;AACD,IAAA,IAAI,CAAC,SAAA,EAAW;AACd,MAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AAAA,IACvB;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGA,SAAS,cAAc,IAAA,EAA+B;AACpD,EAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,SAAS,QAAA,GAC/CC,2BAAA,CAAe,IAAI,CAAA,GACnB,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA,EAAE;AAC5C;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAOC,yBAAA,CAAc,QAAA,CAAS,IAAA,EAAM,CAAC,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AACpF,EAAA,OAAO,MAAA,IAAU,QAAA,GACbC,2CAAA,CAAwB,QAAA,CAAS,MAAM,QAAA,EAAU,OAAO,CAAA,GACxDC,uBAAA,CAAc,UAAU,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC5D;AAEA,SAAS,eAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAS,GAAI,KAAA;AACrB,EAAA,MAAM,QAAA,GAAWC,uBAAA,CAAW,aAAA,CAAc,QAAA,CAAS,IAAI,GAAG,SAAA,CAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC7F,UAAA,EAAY,QAAA,CAAS,EAAA,KAAO,MAAA,IAAU,CAAC,QAAA,CAAS,QAAA;AAAA,IAChD,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAOC,+BAAA,CAAkB,UAAU,QAAQ,CAAA;AAC7C;AAOA,SAAS,iBAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EAC4B;AAC5B,EAAA,MAAM,cAAc,OAAA,CAAQ,IAAA;AAAA,IAC1B,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAOC;AAAA,GAC5D;AACA,EAAA,IAAI,CAAC,WAAA,IAAe,OAAA,CAAQ,IAAA,CAAK,CAAC,UAAU,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO,OAAO,CAAA,EAAG;AAC3E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAWF,wBAAWJ,2BAAA,CAAe,OAAO,GAAG,SAAA,CAAU,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC9F,UAAA,EAAY,CAAC,WAAA,CAAY,QAAA,CAAS,QAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAOK,+BAAA,CAAkB,QAAA,EAAU,WAAA,CAAY,QAAQ,CAAA;AACzD;AAGA,SAAS,eAAA,CAAgB,OAAsB,OAAA,EAAoC;AACjF,EAAA,OACE,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAIE,eAAA,CAAI,sBAAsB,CAAA,IACpDC,mCAAA,CAAsB,KAAA,CAAM,QAAA,EAAU,OAAA,CAAQ,IAAI,CAAA;AAEtD;AAaA,SAAS,mBACP,EAAE,KAAA,EAAO,IAAA,EAAK,EACd,cACA,OAAA,EACQ;AACR,EAAA,IAAI,CAAC,YAAA,EAAc;AACjB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAWC,sCAAA,CAAmB,KAAA,EAAO,OAAO,CAAA;AAClD,EAAA,OAAO,QAAA,KAAa,IAAA,IAAQC,qCAAA,CAAkB,QAAQ,IAAI,QAAA,GAAW,IAAA;AACvE;AAOA,SAAS,aAAA,CACP,QAAA,EACA,OAAA,EACA,OAAA,EACU;AACV,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,GAAS,CAAA,IAAK,SAAS,MAAA,GAAS,CAAA;AAC7D,EAAA,MAAM,KAAA,GAAQ,SAAS,GAAA,CAAI,CAAC,SAAS,kBAAA,CAAmB,IAAA,EAAM,YAAA,EAAc,OAAO,CAAC,CAAA;AACpF,EAAA,MAAM,MAAA,GAAS,CAAC,KAAA,KAAkB;AAAA,IAChC,GAAI,QAAQ,MAAA,GAAS,CAAA,GAAI,CAACC,qBAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC;AAAA,IAChD,GAAG,KAAA,CAAM,MAAA,CAAO,CAAC,KAAA,EAAO,KAAA,KAAU,UAAU,KAAK;AAAA,GACnD;AACA,EAAA,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,EAAM,KAAA,KAAU;AAChC,IAAA,MAAM,MAAA,GAAS,MAAA,CAAO,KAAK,CAAA,CAAE,OAAA,CAAQ,CAAC,KAAA,KAAUC,qCAAA,CAAmB,KAAA,EAAO,OAAA,CAAQ,MAAM,CAAC,CAAA;AACzF,IAAA,MAAM,OAAA,GAAUC,mCAAA,CAAgB,IAAA,EAAM,MAAM,CAAA;AAC5C,IAAA,OAAO,QAAA,CAAS,KAAK,CAAA,EAAG,KAAA,CAAM,QAAA,CAAS,QAAA,GAAW,OAAA,GAAUC,wBAAA,CAAY,SAAA,EAAW,CAAC,OAAO,CAAC,CAAA;AAAA,EAC9F,CAAC,CAAA;AACH;AAUA,SAAS,aAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,UAAiC,EAAC;AACxC,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,IAAI,UAAA,GAAa,IAAA;AACjB,EAAA,KAAA,MAAW,SAAS,OAAA,EAAS;AAC3B,IAAA,IAAI,eAAA,CAAgB,KAAA,EAAO,OAAO,CAAA,EAAG;AACnC,MAAA,QAAA,CAAS,IAAA,CAAK,EAAE,KAAA,EAAO,IAAA,EAAM,UAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,EAAG,CAAA;AAClE,MAAA,UAAA,KAAe,CAAC,MAAM,QAAA,CAAS,QAAA;AAC/B,MAAA;AAAA,IACF;AACA,IAAA,MAAM,MAAA,GAAS,eAAA,CAAgB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA;AACvD,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,UAAA,KAAe,MAAA,CAAO,UAAA;AAAA,EACxB;AACA,EAAA,OAAO,EAAE,SAAS,QAAA,EAAU,aAAA,CAAc,UAAU,OAAA,EAAS,OAAO,GAAG,UAAA,EAAW;AACpF;AAGA,SAAS,YAAA,CAAa,EAAE,OAAA,EAAS,QAAA,EAAS,EAA0B;AAClE,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAACH,qBAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,GAAG,QAAQ,CAAA;AAC9E,EAAA,MAAM,CAAC,KAAK,CAAA,GAAI,KAAA;AAChB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,OAAOI,uBAAU,OAAO,CAAA;AAAA,EAC1B;AACA,EAAA,OAAO,KAAA,CAAM,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQC,4BAAe,KAAK,CAAA;AAC1D;AAGA,SAAS,cAAA,CACP,WAAA,EACA,OAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAU,OAAA,CAAQ,MAAA;AAAA,IACtB,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO;AAAA,GAC5D;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AACtD,EAAA,OAAOZ,wBAAWJ,2BAAA,CAAe,WAAW,CAAA,EAAG,YAAA,CAAa,KAAK,CAAA,EAAG;AAAA,IAClE,YAAY,KAAA,CAAM,UAAA;AAAA,IAClB,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;AAOO,SAAS,gBAAA,CACd,UAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,OAAA,GAAUiB,iCAAA;AAAA,IACd,0BAAA,CAA2B,UAAA,EAAY,QAAA,EAAU,OAAO,CAAA;AAAA,IACxD;AAAA,GACF;AACA,EAAA,MAAM,WAAA,GAAc,iBAAA,CAAkB,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AAChE,EAAA,MAAM,UAAUC,mCAAA,CAAoB,GAAA;AAAA,IAAI,CAAC,WAAA,KACvC,WAAA,KAAgB,OAAA,IAAW,WAAA,GACvB,cACA,cAAA,CAAe,WAAA,EAAa,OAAA,EAAS,QAAA,EAAU,OAAO;AAAA,GAC5D;AACA,EAAA,OAAOd,wBAAWJ,2BAAA,CAAe,YAAY,CAAA,EAAGW,qBAAA,CAAS,OAAO,CAAA,EAAG;AAAA,IACjE,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;;"}

package/dist/application/transform/document/parameters.mjs

@@ -3,8 +3,10 @@ import { toPropertyName } from '../../../domain/ir/property-name.mjs';
 import { appendPointer } from '../../../domain/openapi/json-pointer.mjs';
 import { PARAMETER_LOCATIONS, QUERYSTRING_LOCATION } from '../../../domain/openapi/parameter-object.mjs';
 import { FIX } from '../../../domain/output-fixes.mjs';
+import { declaredValueTypes } from '../declared-value-types.mjs';
 import { withSchemaComment } from '../schema-comment.mjs';
 import { isExplodedQueryObject } from './exploded-query.mjs';
+import { withIndexValues, declaredObjectType, hasIndexSignature } from './exploded-query-values.mjs';
 import { parameterType } from './parameter.mjs';
 import { parameterEntries, resolveParameter } from './parameter-entries.mjs';
 import { referencedParameterType } from './referenced-parameter.mjs';
@@ -65,9 +67,25 @@ function querystringMember(entries, location, context) {
 function isExplodedEntry(entry, context) {
   return context.options.fixes.has(FIX.EXPLODED_QUERY_OBJECTS) && isExplodedQueryObject(entry.resolved, context.refs);
 }
-function explodedPart(entry, location, context) {
-  const type = entryType(entry, location, context);
-  return entry.resolved.required ? type : irReference("Partial", [type]);
+function explodedObjectType({ entry, type }, hasOtherKeys, context) {
+  if (!hasOtherKeys) {
+    return type;
+  }
+  const declared = declaredObjectType(entry, context);
+  return declared !== null && hasIndexSignature(declared) ? declared : type;
+}
+function explodedParts(exploded, members, context) {
+  const hasOtherKeys = members.length > 0 || exploded.length > 1;
+  const types = exploded.map((part) => explodedObjectType(part, hasOtherKeys, context));
+  const others = (index) => [
+    ...members.length > 0 ? [irObject(members)] : [],
+    ...types.filter((_type, other) => other !== index)
+  ];
+  return types.map((type, index) => {
+    const values = others(index).flatMap((other) => declaredValueTypes(other, context.footer));
+    const widened = withIndexValues(type, values);
+    return exploded[index]?.entry.resolved.required ? widened : irReference("Partial", [widened]);
+  });
 }
 function locationParts(entries, location, context) {
   const members = [];
@@ -75,7 +93,7 @@ function locationParts(entries, location, context) {
   let isOptional = true;
   for (const entry of entries) {
     if (isExplodedEntry(entry, context)) {
-      exploded.push(explodedPart(entry, location, context));
+      exploded.push({ entry, type: entryType(entry, location, context) });
       isOptional &&= !entry.resolved.required;
       continue;
     }
@@ -83,7 +101,7 @@ function locationParts(entries, location, context) {
     members.push(member);
     isOptional &&= member.isOptional;
   }
-  return { members, exploded, isOptional };
+  return { members, exploded: explodedParts(exploded, members, context), isOptional };
 }
 function locationType({ members, exploded }) {
   const types = [...members.length > 0 ? [irObject(members)] : [], ...exploded];

package/dist/application/transform/document/parameters.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.mjs","sources":["../../../../src/application/transform/document/parameters.ts"],"sourcesContent":["import {\n  irIntersection,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertyName, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  PARAMETER_LOCATIONS,\n  type ParameterLocation,\n  type ParameterObject,\n  type ParameterOrReference,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { isExplodedQueryObject } from \"./exploded-query.js\";\nimport { parameterType } from \"./parameter.js\";\nimport {\n  type ParameterEntry,\n  parameterEntries,\n  type ResolvedEntry,\n  resolveParameter,\n} from \"./parameter-entries.js\";\nimport { referencedParameterType } from \"./referenced-parameter.js\";\n\n/** `[^{}]` keeps the scan linear: `[^}]` retried from every `{` of a long run of them. */\nconst PATH_TEMPLATE_RE = /\\{([^{}]+)\\}/g;\n\n/** Required string parameters for every `{name}` in a path template. */\nfunction pathTemplateParameters(path: string): ParameterObject[] {\n  return (path.match(PATH_TEMPLATE_RE) ?? []).map((match) => ({\n    name: match.slice(1, -1),\n    in: \"path\",\n    required: true,\n    schema: { type: \"string\" },\n  }));\n}\n\n/** `--generate-path-params`: add the path template parameters the list does not define. */\nfunction withPathTemplateParameters(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): ParameterOrReference[] {\n  const result = [...parameters];\n  if (!context.options.generatePathParams || !location.path) {\n    return result;\n  }\n  for (const parameter of pathTemplateParameters(location.path)) {\n    const isDefined = result.some((candidate) => {\n      const resolved = resolveParameter(candidate, context.refs);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\n/** The original quotes a name that is not text (a missing name prints as `\"undefined\"`). */\nfunction parameterName(name: unknown): IrPropertyName {\n  return typeof name === \"string\" || typeof name === \"number\"\n    ? toPropertyName(name)\n    : { kind: \"string\", value: String(name) };\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = appendPointer(location.path, [\"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved, context)\n    : parameterType(resolved, { ...location, path }, context);\n}\n\nfunction parameterMember(\n  entry: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const { resolved } = entry;\n  const property = irProperty(parameterName(resolved.name), entryType(entry, location, context), {\n    isOptional: resolved.in !== \"path\" && !resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, resolved);\n}\n\n/**\n * The `query` member typed by an `in: querystring` parameter (OpenAPI 3.2, ADR-020): the parameter\n * is the whole query string. Null when there is none, or when `in: query` parameters sit next to\n * it, which 3.2 does not allow; those keep their types, and a warning names the parameter.\n */\nfunction querystringMember(\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature | null {\n  const querystring = entries.find(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === QUERYSTRING_LOCATION,\n  );\n  if (!querystring || entries.some((entry) => entry.resolved?.in === \"query\")) {\n    return null;\n  }\n  const property = irProperty(toPropertyName(\"query\"), entryType(querystring, location, context), {\n    isOptional: !querystring.resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, querystring.resolved);\n}\n\n/** With `exploded-query-objects`, whether the parameter's object keys are keys of `query`. */\nfunction isExplodedEntry(entry: ResolvedEntry, context: TransformContext): boolean {\n  return (\n    context.options.fixes.has(FIX.EXPLODED_QUERY_OBJECTS) &&\n    isExplodedQueryObject(entry.resolved, context.refs)\n  );\n}\n\n/**\n * An exploded object parameter's part of `query`: its object type. A parameter that may be left\n * out sends none of its keys then, so they are optional: `Partial<…>`.\n */\nfunction explodedPart(\n  entry: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const type = entryType(entry, location, context);\n  return entry.resolved.required ? type : irReference(\"Partial\", [type]);\n}\n\n/** A location's parameters as members, and the object types of its exploded parameters. */\ninterface LocationParts {\n  readonly members: readonly IrPropertySignature[];\n  readonly exploded: readonly IrType[];\n  readonly isOptional: boolean;\n}\n\n/** Each parameter in document order, so the declarations they add keep their order. */\nfunction locationParts(\n  entries: readonly ResolvedEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): LocationParts {\n  const members: IrPropertySignature[] = [];\n  const exploded: IrType[] = [];\n  let isOptional = true;\n  for (const entry of entries) {\n    if (isExplodedEntry(entry, context)) {\n      exploded.push(explodedPart(entry, location, context));\n      isOptional &&= !entry.resolved.required;\n      continue;\n    }\n    const member = parameterMember(entry, location, context);\n    members.push(member);\n    isOptional &&= member.isOptional;\n  }\n  return { members, exploded, isOptional };\n}\n\n/** The members' object, intersected with the exploded parameters' types; `never` for none. */\nfunction locationType({ members, exploded }: LocationParts): IrType {\n  const types = [...(members.length > 0 ? [irObject(members)] : []), ...exploded];\n  const [first] = types;\n  if (first === undefined) {\n    return irKeyword(\"never\");\n  }\n  return types.length === 1 ? first : irIntersection(types);\n}\n\n/** One location's parameters; optional when all of them are, and `never` when there are none. */\nfunction locationMember(\n  parameterIn: ParameterLocation,\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const located = entries.filter(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === parameterIn,\n  );\n  const parts = locationParts(located, location, context);\n  return irProperty(toPropertyName(parameterIn), locationType(parts), {\n    isOptional: parts.isOptional,\n    isReadonly: context.options.immutable,\n  });\n}\n\n/**\n * The `parameters` property of an operation or path item: one member per location, each an object\n * of that location's parameters. `location.path` is the path template for\n * `--generate-path-params`.\n */\nexport function parametersMember(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const entries = parameterEntries(\n    withPathTemplateParameters(parameters, location, context),\n    context,\n  );\n  const querystring = querystringMember(entries, location, context);\n  const members = PARAMETER_LOCATIONS.map((parameterIn) =>\n    parameterIn === \"query\" && querystring\n      ? querystring\n      : locationMember(parameterIn, entries, location, context),\n  );\n  return irProperty(toPropertyName(\"parameters\"), irObject(members), {\n    isReadonly: context.options.immutable,\n  });\n}\n"],"names":[],"mappings":";;;;;;;;;;;AAgCA,MAAM,gBAAA,GAAmB,eAAA;AAGzB,SAAS,uBAAuB,IAAA,EAAiC;AAC/D,EAAA,OAAA,CAAQ,IAAA,CAAK,MAAM,gBAAgB,CAAA,IAAK,EAAC,EAAG,GAAA,CAAI,CAAC,KAAA,MAAW;AAAA,IAC1D,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA;AAAA,IACvB,EAAA,EAAI,MAAA;AAAA,IACJ,QAAA,EAAU,IAAA;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA;AAAS,GAC3B,CAAE,CAAA;AACJ;AAGA,SAAS,0BAAA,CACP,UAAA,EACA,QAAA,EACA,OAAA,EACwB;AACxB,EAAA,MAAM,MAAA,GAAS,CAAC,GAAG,UAAU,CAAA;AAC7B,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,kBAAA,IAAsB,CAAC,SAAS,IAAA,EAAM;AACzD,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,KAAA,MAAW,SAAA,IAAa,sBAAA,CAAuB,QAAA,CAAS,IAAI,CAAA,EAAG;AAC7D,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,CAAC,SAAA,KAAc;AAC3C,MAAA,MAAM,QAAA,GAAW,gBAAA,CAAiB,SAAA,EAAW,OAAA,CAAQ,IAAI,CAAA;AACzD,MAAA,OAAO,QAAA,EAAU,EAAA,KAAO,MAAA,IAAU,QAAA,CAAS,SAAS,SAAA,CAAU,IAAA;AAAA,IAChE,CAAC,CAAA;AACD,IAAA,IAAI,CAAC,SAAA,EAAW;AACd,MAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AAAA,IACvB;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGA,SAAS,cAAc,IAAA,EAA+B;AACpD,EAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,SAAS,QAAA,GAC/C,cAAA,CAAe,IAAI,CAAA,GACnB,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA,EAAE;AAC5C;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,aAAA,CAAc,QAAA,CAAS,IAAA,EAAM,CAAC,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AACpF,EAAA,OAAO,MAAA,IAAU,QAAA,GACb,uBAAA,CAAwB,QAAA,CAAS,MAAM,QAAA,EAAU,OAAO,CAAA,GACxD,aAAA,CAAc,UAAU,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC5D;AAEA,SAAS,eAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAS,GAAI,KAAA;AACrB,EAAA,MAAM,QAAA,GAAW,UAAA,CAAW,aAAA,CAAc,QAAA,CAAS,IAAI,GAAG,SAAA,CAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC7F,UAAA,EAAY,QAAA,CAAS,EAAA,KAAO,MAAA,IAAU,CAAC,QAAA,CAAS,QAAA;AAAA,IAChD,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAO,iBAAA,CAAkB,UAAU,QAAQ,CAAA;AAC7C;AAOA,SAAS,iBAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EAC4B;AAC5B,EAAA,MAAM,cAAc,OAAA,CAAQ,IAAA;AAAA,IAC1B,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO;AAAA,GAC5D;AACA,EAAA,IAAI,CAAC,WAAA,IAAe,OAAA,CAAQ,IAAA,CAAK,CAAC,UAAU,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO,OAAO,CAAA,EAAG;AAC3E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,WAAW,cAAA,CAAe,OAAO,GAAG,SAAA,CAAU,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC9F,UAAA,EAAY,CAAC,WAAA,CAAY,QAAA,CAAS,QAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAO,iBAAA,CAAkB,QAAA,EAAU,WAAA,CAAY,QAAQ,CAAA;AACzD;AAGA,SAAS,eAAA,CAAgB,OAAsB,OAAA,EAAoC;AACjF,EAAA,OACE,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,sBAAsB,CAAA,IACpD,qBAAA,CAAsB,KAAA,CAAM,QAAA,EAAU,OAAA,CAAQ,IAAI,CAAA;AAEtD;AAMA,SAAS,YAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA;AAC/C,EAAA,OAAO,KAAA,CAAM,SAAS,QAAA,GAAW,IAAA,GAAO,YAAY,SAAA,EAAW,CAAC,IAAI,CAAC,CAAA;AACvE;AAUA,SAAS,aAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,UAAiC,EAAC;AACxC,EAAA,MAAM,WAAqB,EAAC;AAC5B,EAAA,IAAI,UAAA,GAAa,IAAA;AACjB,EAAA,KAAA,MAAW,SAAS,OAAA,EAAS;AAC3B,IAAA,IAAI,eAAA,CAAgB,KAAA,EAAO,OAAO,CAAA,EAAG;AACnC,MAAA,QAAA,CAAS,IAAA,CAAK,YAAA,CAAa,KAAA,EAAO,QAAA,EAAU,OAAO,CAAC,CAAA;AACpD,MAAA,UAAA,KAAe,CAAC,MAAM,QAAA,CAAS,QAAA;AAC/B,MAAA;AAAA,IACF;AACA,IAAA,MAAM,MAAA,GAAS,eAAA,CAAgB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA;AACvD,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,UAAA,KAAe,MAAA,CAAO,UAAA;AAAA,EACxB;AACA,EAAA,OAAO,EAAE,OAAA,EAAS,QAAA,EAAU,UAAA,EAAW;AACzC;AAGA,SAAS,YAAA,CAAa,EAAE,OAAA,EAAS,QAAA,EAAS,EAA0B;AAClE,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAAC,QAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,GAAG,QAAQ,CAAA;AAC9E,EAAA,MAAM,CAAC,KAAK,CAAA,GAAI,KAAA;AAChB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,OAAO,UAAU,OAAO,CAAA;AAAA,EAC1B;AACA,EAAA,OAAO,KAAA,CAAM,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQ,eAAe,KAAK,CAAA;AAC1D;AAGA,SAAS,cAAA,CACP,WAAA,EACA,OAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAU,OAAA,CAAQ,MAAA;AAAA,IACtB,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO;AAAA,GAC5D;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AACtD,EAAA,OAAO,WAAW,cAAA,CAAe,WAAW,CAAA,EAAG,YAAA,CAAa,KAAK,CAAA,EAAG;AAAA,IAClE,YAAY,KAAA,CAAM,UAAA;AAAA,IAClB,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;AAOO,SAAS,gBAAA,CACd,UAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,OAAA,GAAU,gBAAA;AAAA,IACd,0BAAA,CAA2B,UAAA,EAAY,QAAA,EAAU,OAAO,CAAA;AAAA,IACxD;AAAA,GACF;AACA,EAAA,MAAM,WAAA,GAAc,iBAAA,CAAkB,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AAChE,EAAA,MAAM,UAAU,mBAAA,CAAoB,GAAA;AAAA,IAAI,CAAC,WAAA,KACvC,WAAA,KAAgB,OAAA,IAAW,WAAA,GACvB,cACA,cAAA,CAAe,WAAA,EAAa,OAAA,EAAS,QAAA,EAAU,OAAO;AAAA,GAC5D;AACA,EAAA,OAAO,WAAW,cAAA,CAAe,YAAY,CAAA,EAAG,QAAA,CAAS,OAAO,CAAA,EAAG;AAAA,IACjE,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;;"}
+{"version":3,"file":"parameters.mjs","sources":["../../../../src/application/transform/document/parameters.ts"],"sourcesContent":["import {\n  irIntersection,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n} from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertyName, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { appendPointer } from \"../../../domain/openapi/json-pointer.js\";\nimport {\n  PARAMETER_LOCATIONS,\n  type ParameterLocation,\n  type ParameterObject,\n  type ParameterOrReference,\n  QUERYSTRING_LOCATION,\n} from \"../../../domain/openapi/parameter-object.js\";\nimport { FIX } from \"../../../domain/output-fixes.js\";\nimport { declaredValueTypes } from \"../declared-value-types.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { isExplodedQueryObject } from \"./exploded-query.js\";\nimport { declaredObjectType, hasIndexSignature, withIndexValues } from \"./exploded-query-values.js\";\nimport { parameterType } from \"./parameter.js\";\nimport {\n  type ParameterEntry,\n  parameterEntries,\n  type ResolvedEntry,\n  resolveParameter,\n} from \"./parameter-entries.js\";\nimport { referencedParameterType } from \"./referenced-parameter.js\";\n\n/** `[^{}]` keeps the scan linear: `[^}]` retried from every `{` of a long run of them. */\nconst PATH_TEMPLATE_RE = /\\{([^{}]+)\\}/g;\n\n/** Required string parameters for every `{name}` in a path template. */\nfunction pathTemplateParameters(path: string): ParameterObject[] {\n  return (path.match(PATH_TEMPLATE_RE) ?? []).map((match) => ({\n    name: match.slice(1, -1),\n    in: \"path\",\n    required: true,\n    schema: { type: \"string\" },\n  }));\n}\n\n/** `--generate-path-params`: add the path template parameters the list does not define. */\nfunction withPathTemplateParameters(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): ParameterOrReference[] {\n  const result = [...parameters];\n  if (!context.options.generatePathParams || !location.path) {\n    return result;\n  }\n  for (const parameter of pathTemplateParameters(location.path)) {\n    const isDefined = result.some((candidate) => {\n      const resolved = resolveParameter(candidate, context.refs);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\n/** The original quotes a name that is not text (a missing name prints as `\"undefined\"`). */\nfunction parameterName(name: unknown): IrPropertyName {\n  return typeof name === \"string\" || typeof name === \"number\"\n    ? toPropertyName(name)\n    : { kind: \"string\", value: String(name) };\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = appendPointer(location.path, [\"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved, context)\n    : parameterType(resolved, { ...location, path }, context);\n}\n\nfunction parameterMember(\n  entry: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const { resolved } = entry;\n  const property = irProperty(parameterName(resolved.name), entryType(entry, location, context), {\n    isOptional: resolved.in !== \"path\" && !resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, resolved);\n}\n\n/**\n * The `query` member typed by an `in: querystring` parameter (OpenAPI 3.2, ADR-020): the parameter\n * is the whole query string. Null when there is none, or when `in: query` parameters sit next to\n * it, which 3.2 does not allow; those keep their types, and a warning names the parameter.\n */\nfunction querystringMember(\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature | null {\n  const querystring = entries.find(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === QUERYSTRING_LOCATION,\n  );\n  if (!querystring || entries.some((entry) => entry.resolved?.in === \"query\")) {\n    return null;\n  }\n  const property = irProperty(toPropertyName(\"query\"), entryType(querystring, location, context), {\n    isOptional: !querystring.resolved.required,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, querystring.resolved);\n}\n\n/** With `exploded-query-objects`, whether the parameter's object keys are keys of `query`. */\nfunction isExplodedEntry(entry: ResolvedEntry, context: TransformContext): boolean {\n  return (\n    context.options.fixes.has(FIX.EXPLODED_QUERY_OBJECTS) &&\n    isExplodedQueryObject(entry.resolved, context.refs)\n  );\n}\n\n/** An exploded object parameter with its type, typed in document order. */\ninterface ExplodedEntry {\n  readonly entry: ResolvedEntry;\n  readonly type: IrType;\n}\n\n/**\n * The object type of an exploded parameter, written out when it is a reference to a type with an\n * index signature and `query` has other keys, which that signature must then admit. Without\n * other keys the reference is kept.\n */\nfunction explodedObjectType(\n  { entry, type }: ExplodedEntry,\n  hasOtherKeys: boolean,\n  context: TransformContext,\n): IrType {\n  if (!hasOtherKeys) {\n    return type;\n  }\n  const declared = declaredObjectType(entry, context);\n  return declared !== null && hasIndexSignature(declared) ? declared : type;\n}\n\n/**\n * The exploded object parameters' parts of `query`: their object types, each index signature\n * widened by the value types of the other keys (see `exploded-query-values.ts`). A parameter that\n * may be left out sends none of its keys then, so they are optional: `Partial<…>`.\n */\nfunction explodedParts(\n  exploded: readonly ExplodedEntry[],\n  members: readonly IrPropertySignature[],\n  context: TransformContext,\n): IrType[] {\n  const hasOtherKeys = members.length > 0 || exploded.length > 1;\n  const types = exploded.map((part) => explodedObjectType(part, hasOtherKeys, context));\n  const others = (index: number) => [\n    ...(members.length > 0 ? [irObject(members)] : []),\n    ...types.filter((_type, other) => other !== index),\n  ];\n  return types.map((type, index) => {\n    const values = others(index).flatMap((other) => declaredValueTypes(other, context.footer));\n    const widened = withIndexValues(type, values);\n    return exploded[index]?.entry.resolved.required ? widened : irReference(\"Partial\", [widened]);\n  });\n}\n\n/** A location's parameters as members, and the object types of its exploded parameters. */\ninterface LocationParts {\n  readonly members: readonly IrPropertySignature[];\n  readonly exploded: readonly IrType[];\n  readonly isOptional: boolean;\n}\n\n/** Each parameter in document order, so the declarations they add keep their order. */\nfunction locationParts(\n  entries: readonly ResolvedEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): LocationParts {\n  const members: IrPropertySignature[] = [];\n  const exploded: ExplodedEntry[] = [];\n  let isOptional = true;\n  for (const entry of entries) {\n    if (isExplodedEntry(entry, context)) {\n      exploded.push({ entry, type: entryType(entry, location, context) });\n      isOptional &&= !entry.resolved.required;\n      continue;\n    }\n    const member = parameterMember(entry, location, context);\n    members.push(member);\n    isOptional &&= member.isOptional;\n  }\n  return { members, exploded: explodedParts(exploded, members, context), isOptional };\n}\n\n/** The members' object, intersected with the exploded parameters' types; `never` for none. */\nfunction locationType({ members, exploded }: LocationParts): IrType {\n  const types = [...(members.length > 0 ? [irObject(members)] : []), ...exploded];\n  const [first] = types;\n  if (first === undefined) {\n    return irKeyword(\"never\");\n  }\n  return types.length === 1 ? first : irIntersection(types);\n}\n\n/** One location's parameters; optional when all of them are, and `never` when there are none. */\nfunction locationMember(\n  parameterIn: ParameterLocation,\n  entries: readonly ParameterEntry[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const located = entries.filter(\n    (entry): entry is ResolvedEntry => entry.resolved?.in === parameterIn,\n  );\n  const parts = locationParts(located, location, context);\n  return irProperty(toPropertyName(parameterIn), locationType(parts), {\n    isOptional: parts.isOptional,\n    isReadonly: context.options.immutable,\n  });\n}\n\n/**\n * The `parameters` property of an operation or path item: one member per location, each an object\n * of that location's parameters. `location.path` is the path template for\n * `--generate-path-params`.\n */\nexport function parametersMember(\n  parameters: readonly ParameterOrReference[],\n  location: SchemaLocation,\n  context: TransformContext,\n): IrPropertySignature {\n  const entries = parameterEntries(\n    withPathTemplateParameters(parameters, location, context),\n    context,\n  );\n  const querystring = querystringMember(entries, location, context);\n  const members = PARAMETER_LOCATIONS.map((parameterIn) =>\n    parameterIn === \"query\" && querystring\n      ? querystring\n      : locationMember(parameterIn, entries, location, context),\n  );\n  return irProperty(toPropertyName(\"parameters\"), irObject(members), {\n    isReadonly: context.options.immutable,\n  });\n}\n"],"names":[],"mappings":";;;;;;;;;;;;;AAkCA,MAAM,gBAAA,GAAmB,eAAA;AAGzB,SAAS,uBAAuB,IAAA,EAAiC;AAC/D,EAAA,OAAA,CAAQ,IAAA,CAAK,MAAM,gBAAgB,CAAA,IAAK,EAAC,EAAG,GAAA,CAAI,CAAC,KAAA,MAAW;AAAA,IAC1D,IAAA,EAAM,KAAA,CAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA;AAAA,IACvB,EAAA,EAAI,MAAA;AAAA,IACJ,QAAA,EAAU,IAAA;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA;AAAS,GAC3B,CAAE,CAAA;AACJ;AAGA,SAAS,0BAAA,CACP,UAAA,EACA,QAAA,EACA,OAAA,EACwB;AACxB,EAAA,MAAM,MAAA,GAAS,CAAC,GAAG,UAAU,CAAA;AAC7B,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,kBAAA,IAAsB,CAAC,SAAS,IAAA,EAAM;AACzD,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,KAAA,MAAW,SAAA,IAAa,sBAAA,CAAuB,QAAA,CAAS,IAAI,CAAA,EAAG;AAC7D,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,CAAC,SAAA,KAAc;AAC3C,MAAA,MAAM,QAAA,GAAW,gBAAA,CAAiB,SAAA,EAAW,OAAA,CAAQ,IAAI,CAAA;AACzD,MAAA,OAAO,QAAA,EAAU,EAAA,KAAO,MAAA,IAAU,QAAA,CAAS,SAAS,SAAA,CAAU,IAAA;AAAA,IAChE,CAAC,CAAA;AACD,IAAA,IAAI,CAAC,SAAA,EAAW;AACd,MAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AAAA,IACvB;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGA,SAAS,cAAc,IAAA,EAA+B;AACpD,EAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,SAAS,QAAA,GAC/C,cAAA,CAAe,IAAI,CAAA,GACnB,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA,EAAE;AAC5C;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,aAAA,CAAc,QAAA,CAAS,IAAA,EAAM,CAAC,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AACpF,EAAA,OAAO,MAAA,IAAU,QAAA,GACb,uBAAA,CAAwB,QAAA,CAAS,MAAM,QAAA,EAAU,OAAO,CAAA,GACxD,aAAA,CAAc,UAAU,EAAE,GAAG,QAAA,EAAU,IAAA,IAAQ,OAAO,CAAA;AAC5D;AAEA,SAAS,eAAA,CACP,KAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAS,GAAI,KAAA;AACrB,EAAA,MAAM,QAAA,GAAW,UAAA,CAAW,aAAA,CAAc,QAAA,CAAS,IAAI,GAAG,SAAA,CAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC7F,UAAA,EAAY,QAAA,CAAS,EAAA,KAAO,MAAA,IAAU,CAAC,QAAA,CAAS,QAAA;AAAA,IAChD,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAO,iBAAA,CAAkB,UAAU,QAAQ,CAAA;AAC7C;AAOA,SAAS,iBAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EAC4B;AAC5B,EAAA,MAAM,cAAc,OAAA,CAAQ,IAAA;AAAA,IAC1B,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO;AAAA,GAC5D;AACA,EAAA,IAAI,CAAC,WAAA,IAAe,OAAA,CAAQ,IAAA,CAAK,CAAC,UAAU,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO,OAAO,CAAA,EAAG;AAC3E,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,WAAW,cAAA,CAAe,OAAO,GAAG,SAAA,CAAU,WAAA,EAAa,QAAA,EAAU,OAAO,CAAA,EAAG;AAAA,IAC9F,UAAA,EAAY,CAAC,WAAA,CAAY,QAAA,CAAS,QAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAO,iBAAA,CAAkB,QAAA,EAAU,WAAA,CAAY,QAAQ,CAAA;AACzD;AAGA,SAAS,eAAA,CAAgB,OAAsB,OAAA,EAAoC;AACjF,EAAA,OACE,OAAA,CAAQ,OAAA,CAAQ,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,sBAAsB,CAAA,IACpD,qBAAA,CAAsB,KAAA,CAAM,QAAA,EAAU,OAAA,CAAQ,IAAI,CAAA;AAEtD;AAaA,SAAS,mBACP,EAAE,KAAA,EAAO,IAAA,EAAK,EACd,cACA,OAAA,EACQ;AACR,EAAA,IAAI,CAAC,YAAA,EAAc;AACjB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,kBAAA,CAAmB,KAAA,EAAO,OAAO,CAAA;AAClD,EAAA,OAAO,QAAA,KAAa,IAAA,IAAQ,iBAAA,CAAkB,QAAQ,IAAI,QAAA,GAAW,IAAA;AACvE;AAOA,SAAS,aAAA,CACP,QAAA,EACA,OAAA,EACA,OAAA,EACU;AACV,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,GAAS,CAAA,IAAK,SAAS,MAAA,GAAS,CAAA;AAC7D,EAAA,MAAM,KAAA,GAAQ,SAAS,GAAA,CAAI,CAAC,SAAS,kBAAA,CAAmB,IAAA,EAAM,YAAA,EAAc,OAAO,CAAC,CAAA;AACpF,EAAA,MAAM,MAAA,GAAS,CAAC,KAAA,KAAkB;AAAA,IAChC,GAAI,QAAQ,MAAA,GAAS,CAAA,GAAI,CAAC,QAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC;AAAA,IAChD,GAAG,KAAA,CAAM,MAAA,CAAO,CAAC,KAAA,EAAO,KAAA,KAAU,UAAU,KAAK;AAAA,GACnD;AACA,EAAA,OAAO,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,EAAM,KAAA,KAAU;AAChC,IAAA,MAAM,MAAA,GAAS,MAAA,CAAO,KAAK,CAAA,CAAE,OAAA,CAAQ,CAAC,KAAA,KAAU,kBAAA,CAAmB,KAAA,EAAO,OAAA,CAAQ,MAAM,CAAC,CAAA;AACzF,IAAA,MAAM,OAAA,GAAU,eAAA,CAAgB,IAAA,EAAM,MAAM,CAAA;AAC5C,IAAA,OAAO,QAAA,CAAS,KAAK,CAAA,EAAG,KAAA,CAAM,QAAA,CAAS,QAAA,GAAW,OAAA,GAAU,WAAA,CAAY,SAAA,EAAW,CAAC,OAAO,CAAC,CAAA;AAAA,EAC9F,CAAC,CAAA;AACH;AAUA,SAAS,aAAA,CACP,OAAA,EACA,QAAA,EACA,OAAA,EACe;AACf,EAAA,MAAM,UAAiC,EAAC;AACxC,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,IAAI,UAAA,GAAa,IAAA;AACjB,EAAA,KAAA,MAAW,SAAS,OAAA,EAAS;AAC3B,IAAA,IAAI,eAAA,CAAgB,KAAA,EAAO,OAAO,CAAA,EAAG;AACnC,MAAA,QAAA,CAAS,IAAA,CAAK,EAAE,KAAA,EAAO,IAAA,EAAM,UAAU,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA,EAAG,CAAA;AAClE,MAAA,UAAA,KAAe,CAAC,MAAM,QAAA,CAAS,QAAA;AAC/B,MAAA;AAAA,IACF;AACA,IAAA,MAAM,MAAA,GAAS,eAAA,CAAgB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAA;AACvD,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,UAAA,KAAe,MAAA,CAAO,UAAA;AAAA,EACxB;AACA,EAAA,OAAO,EAAE,SAAS,QAAA,EAAU,aAAA,CAAc,UAAU,OAAA,EAAS,OAAO,GAAG,UAAA,EAAW;AACpF;AAGA,SAAS,YAAA,CAAa,EAAE,OAAA,EAAS,QAAA,EAAS,EAA0B;AAClE,EAAA,MAAM,KAAA,GAAQ,CAAC,GAAI,OAAA,CAAQ,SAAS,CAAA,GAAI,CAAC,QAAA,CAAS,OAAO,CAAC,CAAA,GAAI,EAAC,EAAI,GAAG,QAAQ,CAAA;AAC9E,EAAA,MAAM,CAAC,KAAK,CAAA,GAAI,KAAA;AAChB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,OAAO,UAAU,OAAO,CAAA;AAAA,EAC1B;AACA,EAAA,OAAO,KAAA,CAAM,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQ,eAAe,KAAK,CAAA;AAC1D;AAGA,SAAS,cAAA,CACP,WAAA,EACA,OAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAU,OAAA,CAAQ,MAAA;AAAA,IACtB,CAAC,KAAA,KAAkC,KAAA,CAAM,QAAA,EAAU,EAAA,KAAO;AAAA,GAC5D;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AACtD,EAAA,OAAO,WAAW,cAAA,CAAe,WAAW,CAAA,EAAG,YAAA,CAAa,KAAK,CAAA,EAAG;AAAA,IAClE,YAAY,KAAA,CAAM,UAAA;AAAA,IAClB,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;AAOO,SAAS,gBAAA,CACd,UAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,OAAA,GAAU,gBAAA;AAAA,IACd,0BAAA,CAA2B,UAAA,EAAY,QAAA,EAAU,OAAO,CAAA;AAAA,IACxD;AAAA,GACF;AACA,EAAA,MAAM,WAAA,GAAc,iBAAA,CAAkB,OAAA,EAAS,QAAA,EAAU,OAAO,CAAA;AAChE,EAAA,MAAM,UAAU,mBAAA,CAAoB,GAAA;AAAA,IAAI,CAAC,WAAA,KACvC,WAAA,KAAgB,OAAA,IAAW,WAAA,GACvB,cACA,cAAA,CAAe,WAAA,EAAa,OAAA,EAAS,QAAA,EAAU,OAAO;AAAA,GAC5D;AACA,EAAA,OAAO,WAAW,cAAA,CAAe,YAAY,CAAA,EAAG,QAAA,CAAS,OAAO,CAAA,EAAG;AAAA,IACjE,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;;"}