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

package/dist/application/transform/document/global-type-references.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"global-type-references.cjs","sources":["../../../../src/application/transform/document/global-type-references.ts"],"sourcesContent":["import type { IrDeclaration } from \"../../../domain/ir/nodes.js\";\n\n/**\n * The TypeScript global types that generated code can refer to: in references (`Record<string,\n * never>`, `Omit<…>`, the `Blob` of `--binary-as-blob`) and in the text of footer helpers\n * (`Exclude<…>`, `Readonly<…>`). A module declaration of the same name shadows the global: every\n * use of it then fails to compile, or silently names the module's type (`Blob`).\n */\nconst GLOBAL_TYPE_NAMES: ReadonlySet<string> = new Set([\n  \"Array\",\n  \"Blob\",\n  \"Exclude\",\n  \"Extract\",\n  \"NonNullable\",\n  \"Omit\",\n  \"Partial\",\n  \"Pick\",\n  \"Readonly\",\n  \"ReadonlyArray\",\n  \"Record\",\n  \"Required\",\n]);\n\nconst GENERIC_USE = /\\b([A-Z][A-Za-z]*)\\s*</g;\n\n/** `origin` holds the outside node a raw type was printed from; it is not part of the output. */\nconst SKIPPED_KEYS: ReadonlySet<string> = new Set([\"origin\", \"comments\"]);\n\nfunction isObject(value: unknown): value is Readonly<Record<string, unknown>> {\n  return typeof value === \"object\" && value !== null;\n}\n\nfunction addTextUses(text: string, used: Set<string>): void {\n  for (const match of text.matchAll(GENERIC_USE)) {\n    const name = match[1] ?? \"\";\n    if (GLOBAL_TYPE_NAMES.has(name)) {\n      used.add(name);\n    }\n  }\n}\n\nfunction addNodeUses(node: Readonly<Record<string, unknown>>, used: Set<string>): void {\n  if (node.kind === \"reference\" && typeof node.name === \"string\") {\n    if (GLOBAL_TYPE_NAMES.has(node.name)) {\n      used.add(node.name);\n    }\n  } else if (\n    (node.kind === \"raw\" || node.kind === \"rawDeclaration\") &&\n    typeof node.text === \"string\"\n  ) {\n    addTextUses(node.text, used);\n  }\n}\n\nfunction visit(value: unknown, used: Set<string>): void {\n  if (Array.isArray(value)) {\n    for (const item of value) {\n      visit(item, used);\n    }\n    return;\n  }\n  if (!isObject(value)) {\n    return;\n  }\n  addNodeUses(value, used);\n  for (const [key, child] of Object.entries(value)) {\n    if (!SKIPPED_KEYS.has(key)) {\n      visit(child, used);\n    }\n  }\n}\n\n/** The TypeScript global type names that the declarations refer to. */\nexport function globalTypeReferences(declarations: readonly IrDeclaration[]): Set<string> {\n  const used = new Set<string>();\n  visit(declarations, used);\n  return used;\n}\n"],"names":[],"mappings":";;AAQA,MAAM,iBAAA,uBAA6C,GAAA,CAAI;AAAA,EACrD,OAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,SAAA;AAAA,EACA,aAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,UAAA;AAAA,EACA,eAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,WAAA,GAAc,yBAAA;AAGpB,MAAM,+BAAoC,IAAI,GAAA,CAAI,CAAC,QAAA,EAAU,UAAU,CAAC,CAAA;AAExE,SAAS,SAAS,KAAA,EAA4D;AAC5E,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,IAAA;AAChD;AAEA,SAAS,WAAA,CAAY,MAAc,IAAA,EAAyB;AAC1D,EAAA,KAAA,MAAW,KAAA,IAAS,IAAA,CAAK,QAAA,CAAS,WAAW,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAA,GAAO,KAAA,CAAM,CAAC,CAAA,IAAK,EAAA;AACzB,IAAA,IAAI,iBAAA,CAAkB,GAAA,CAAI,IAAI,CAAA,EAAG;AAC/B,MAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AAAA,IACf;AAAA,EACF;AACF;AAEA,SAAS,WAAA,CAAY,MAAyC,IAAA,EAAyB;AACrF,EAAA,IAAI,KAAK,IAAA,KAAS,WAAA,IAAe,OAAO,IAAA,CAAK,SAAS,QAAA,EAAU;AAC9D,IAAA,IAAI,iBAAA,CAAkB,GAAA,CAAI,IAAA,CAAK,IAAI,CAAA,EAAG;AACpC,MAAA,IAAA,CAAK,GAAA,CAAI,KAAK,IAAI,CAAA;AAAA,IACpB;AAAA,EACF,CAAA,MAAA,IAAA,CACG,IAAA,CAAK,IAAA,KAAS,KAAA,IAAS,IAAA,CAAK,SAAS,gBAAA,KACtC,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EACrB;AACA,IAAA,WAAA,CAAY,IAAA,CAAK,MAAM,IAAI,CAAA;AAAA,EAC7B;AACF;AAEA,SAAS,KAAA,CAAM,OAAgB,IAAA,EAAyB;AACtD,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,KAAA,CAAM,MAAM,IAAI,CAAA;AAAA,IAClB;AACA,IAAA;AAAA,EACF;AACA,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA;AAAA,EACF;AACA,EAAA,WAAA,CAAY,OAAO,IAAI,CAAA;AACvB,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,KAAK,KAAK,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,EAAG;AAChD,IAAA,IAAI,CAAC,YAAA,CAAa,GAAA,CAAI,GAAG,CAAA,EAAG;AAC1B,MAAA,KAAA,CAAM,OAAO,IAAI,CAAA;AAAA,IACnB;AAAA,EACF;AACF;AAGO,SAAS,qBAAqB,YAAA,EAAqD;AACxF,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,CAAM,cAAc,IAAI,CAAA;AACxB,EAAA,OAAO,IAAA;AACT;;"}

package/dist/application/transform/document/global-type-references.mjs

@@ -0,0 +1,61 @@
+const GLOBAL_TYPE_NAMES = /* @__PURE__ */ new Set([
+  "Array",
+  "Blob",
+  "Exclude",
+  "Extract",
+  "NonNullable",
+  "Omit",
+  "Partial",
+  "Pick",
+  "Readonly",
+  "ReadonlyArray",
+  "Record",
+  "Required"
+]);
+const GENERIC_USE = /\b([A-Z][A-Za-z]*)\s*</g;
+const SKIPPED_KEYS = /* @__PURE__ */ new Set(["origin", "comments"]);
+function isObject(value) {
+  return typeof value === "object" && value !== null;
+}
+function addTextUses(text, used) {
+  for (const match of text.matchAll(GENERIC_USE)) {
+    const name = match[1] ?? "";
+    if (GLOBAL_TYPE_NAMES.has(name)) {
+      used.add(name);
+    }
+  }
+}
+function addNodeUses(node, used) {
+  if (node.kind === "reference" && typeof node.name === "string") {
+    if (GLOBAL_TYPE_NAMES.has(node.name)) {
+      used.add(node.name);
+    }
+  } else if ((node.kind === "raw" || node.kind === "rawDeclaration") && typeof node.text === "string") {
+    addTextUses(node.text, used);
+  }
+}
+function visit(value, used) {
+  if (Array.isArray(value)) {
+    for (const item of value) {
+      visit(item, used);
+    }
+    return;
+  }
+  if (!isObject(value)) {
+    return;
+  }
+  addNodeUses(value, used);
+  for (const [key, child] of Object.entries(value)) {
+    if (!SKIPPED_KEYS.has(key)) {
+      visit(child, used);
+    }
+  }
+}
+function globalTypeReferences(declarations) {
+  const used = /* @__PURE__ */ new Set();
+  visit(declarations, used);
+  return used;
+}
+
+export { globalTypeReferences };
+//# sourceMappingURL=global-type-references.mjs.map

package/dist/application/transform/document/global-type-references.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"global-type-references.mjs","sources":["../../../../src/application/transform/document/global-type-references.ts"],"sourcesContent":["import type { IrDeclaration } from \"../../../domain/ir/nodes.js\";\n\n/**\n * The TypeScript global types that generated code can refer to: in references (`Record<string,\n * never>`, `Omit<…>`, the `Blob` of `--binary-as-blob`) and in the text of footer helpers\n * (`Exclude<…>`, `Readonly<…>`). A module declaration of the same name shadows the global: every\n * use of it then fails to compile, or silently names the module's type (`Blob`).\n */\nconst GLOBAL_TYPE_NAMES: ReadonlySet<string> = new Set([\n  \"Array\",\n  \"Blob\",\n  \"Exclude\",\n  \"Extract\",\n  \"NonNullable\",\n  \"Omit\",\n  \"Partial\",\n  \"Pick\",\n  \"Readonly\",\n  \"ReadonlyArray\",\n  \"Record\",\n  \"Required\",\n]);\n\nconst GENERIC_USE = /\\b([A-Z][A-Za-z]*)\\s*</g;\n\n/** `origin` holds the outside node a raw type was printed from; it is not part of the output. */\nconst SKIPPED_KEYS: ReadonlySet<string> = new Set([\"origin\", \"comments\"]);\n\nfunction isObject(value: unknown): value is Readonly<Record<string, unknown>> {\n  return typeof value === \"object\" && value !== null;\n}\n\nfunction addTextUses(text: string, used: Set<string>): void {\n  for (const match of text.matchAll(GENERIC_USE)) {\n    const name = match[1] ?? \"\";\n    if (GLOBAL_TYPE_NAMES.has(name)) {\n      used.add(name);\n    }\n  }\n}\n\nfunction addNodeUses(node: Readonly<Record<string, unknown>>, used: Set<string>): void {\n  if (node.kind === \"reference\" && typeof node.name === \"string\") {\n    if (GLOBAL_TYPE_NAMES.has(node.name)) {\n      used.add(node.name);\n    }\n  } else if (\n    (node.kind === \"raw\" || node.kind === \"rawDeclaration\") &&\n    typeof node.text === \"string\"\n  ) {\n    addTextUses(node.text, used);\n  }\n}\n\nfunction visit(value: unknown, used: Set<string>): void {\n  if (Array.isArray(value)) {\n    for (const item of value) {\n      visit(item, used);\n    }\n    return;\n  }\n  if (!isObject(value)) {\n    return;\n  }\n  addNodeUses(value, used);\n  for (const [key, child] of Object.entries(value)) {\n    if (!SKIPPED_KEYS.has(key)) {\n      visit(child, used);\n    }\n  }\n}\n\n/** The TypeScript global type names that the declarations refer to. */\nexport function globalTypeReferences(declarations: readonly IrDeclaration[]): Set<string> {\n  const used = new Set<string>();\n  visit(declarations, used);\n  return used;\n}\n"],"names":[],"mappings":"AAQA,MAAM,iBAAA,uBAA6C,GAAA,CAAI;AAAA,EACrD,OAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,SAAA;AAAA,EACA,aAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,UAAA;AAAA,EACA,eAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,WAAA,GAAc,yBAAA;AAGpB,MAAM,+BAAoC,IAAI,GAAA,CAAI,CAAC,QAAA,EAAU,UAAU,CAAC,CAAA;AAExE,SAAS,SAAS,KAAA,EAA4D;AAC5E,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,IAAA;AAChD;AAEA,SAAS,WAAA,CAAY,MAAc,IAAA,EAAyB;AAC1D,EAAA,KAAA,MAAW,KAAA,IAAS,IAAA,CAAK,QAAA,CAAS,WAAW,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAA,GAAO,KAAA,CAAM,CAAC,CAAA,IAAK,EAAA;AACzB,IAAA,IAAI,iBAAA,CAAkB,GAAA,CAAI,IAAI,CAAA,EAAG;AAC/B,MAAA,IAAA,CAAK,IAAI,IAAI,CAAA;AAAA,IACf;AAAA,EACF;AACF;AAEA,SAAS,WAAA,CAAY,MAAyC,IAAA,EAAyB;AACrF,EAAA,IAAI,KAAK,IAAA,KAAS,WAAA,IAAe,OAAO,IAAA,CAAK,SAAS,QAAA,EAAU;AAC9D,IAAA,IAAI,iBAAA,CAAkB,GAAA,CAAI,IAAA,CAAK,IAAI,CAAA,EAAG;AACpC,MAAA,IAAA,CAAK,GAAA,CAAI,KAAK,IAAI,CAAA;AAAA,IACpB;AAAA,EACF,CAAA,MAAA,IAAA,CACG,IAAA,CAAK,IAAA,KAAS,KAAA,IAAS,IAAA,CAAK,SAAS,gBAAA,KACtC,OAAO,IAAA,CAAK,IAAA,KAAS,QAAA,EACrB;AACA,IAAA,WAAA,CAAY,IAAA,CAAK,MAAM,IAAI,CAAA;AAAA,EAC7B;AACF;AAEA,SAAS,KAAA,CAAM,OAAgB,IAAA,EAAyB;AACtD,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,KAAA,CAAM,MAAM,IAAI,CAAA;AAAA,IAClB;AACA,IAAA;AAAA,EACF;AACA,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA;AAAA,EACF;AACA,EAAA,WAAA,CAAY,OAAO,IAAI,CAAA;AACvB,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,KAAK,KAAK,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,EAAG;AAChD,IAAA,IAAI,CAAC,YAAA,CAAa,GAAA,CAAI,GAAG,CAAA,EAAG;AAC1B,MAAA,KAAA,CAAM,OAAO,IAAI,CAAA;AAAA,IACnB;AAAA,EACF;AACF;AAGO,SAAS,qBAAqB,YAAA,EAAqD;AACxF,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,KAAA,CAAM,cAAc,IAAI,CAAA;AACxB,EAAA,OAAO,IAAA;AACT;;"}

package/dist/application/transform/document/list-assignability.cjs

@@ -0,0 +1,54 @@
+'use strict';
+
+const assignability = require('./assignability.cjs');
+
+const UNDEFINED = { kind: "keyword", keyword: "undefined" };
+function elementType(element) {
+  if (element.isRest && element.type.kind === "array") {
+    return element.type.element;
+  }
+  return element.isOptional ? { kind: "union", types: [element.type, UNDEFINED] } : element.type;
+}
+function isRequired(element) {
+  return !element.isRest && !element.isOptional;
+}
+function arrayToTuple(target) {
+  return target.elements.some(isRequired) ? "rejected" : "undecided";
+}
+function relateTuples(source, target, relate) {
+  if (source.elements.length !== target.elements.length) {
+    const isFixed = source.elements.every(isRequired) && target.elements.every(isRequired);
+    return isFixed ? "rejected" : "undecided";
+  }
+  return assignability.everyOf(source.elements, (element, index) => {
+    const other = target.elements[index];
+    if (element.isRest !== other.isRest) {
+      return "undecided";
+    }
+    if (element.isOptional && !other.isOptional) {
+      return "rejected";
+    }
+    return relate(element.type, other.type);
+  });
+}
+function relateMutableLists(source, target, relate) {
+  if (source.kind === "array") {
+    return target.kind === "array" ? relate(source.element, target.element) : arrayToTuple(target);
+  }
+  if (target.kind === "array") {
+    return assignability.everyOf(source.elements, (element) => relate(elementType(element), target.element));
+  }
+  return relateTuples(source, target, relate);
+}
+function relateLists(source, target, relate) {
+  if (source.kind === "readonly") {
+    return target.kind === "readonly" ? relate(source.type, target.type) : "rejected";
+  }
+  if (target.kind === "readonly") {
+    return relate(source, target.type);
+  }
+  return relateMutableLists(source, target, relate);
+}
+
+exports.relateLists = relateLists;
+//# sourceMappingURL=list-assignability.cjs.map

package/dist/application/transform/document/list-assignability.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-assignability.cjs","sources":["../../../../src/application/transform/document/list-assignability.ts"],"sourcesContent":["import type {\n  IrArrayType,\n  IrReadonlyType,\n  IrTupleElement,\n  IrTupleType,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { type Assignability, everyOf } from \"./assignability.js\";\n\n/**\n * How the `--path-params-as-types` overlap check relates two lists: arrays, tuples and their\n * `readonly` forms. `relate` compares two item types with the whole check.\n */\n\ntype Relate = (source: IrType, target: IrType) => Assignability;\n\n/** The types of the `list` category of `assignability.ts`. */\nexport type IrListType = IrArrayType | IrTupleType | IrReadonlyType;\n\ntype IrMutableListType = IrArrayType | IrTupleType;\n\nconst UNDEFINED: IrType = { kind: \"keyword\", keyword: \"undefined\" };\n\n/**\n * The type of a tuple element's items: a rest element `...T[]` stands for its items, and an\n * optional element `T?` may be `undefined` (`[string?]` is no `string[]` under `strict`).\n */\nfunction elementType(element: IrTupleElement): IrType {\n  if (element.isRest && element.type.kind === \"array\") {\n    return element.type.element;\n  }\n  return element.isOptional ? { kind: \"union\", types: [element.type, UNDEFINED] } : element.type;\n}\n\nfunction isRequired(element: IrTupleElement): boolean {\n  return !element.isRest && !element.isOptional;\n}\n\n/** A tuple with a required element rejects an array, which may be empty. */\nfunction arrayToTuple(target: IrTupleType): Assignability {\n  return target.elements.some(isRequired) ? \"rejected\" : \"undecided\";\n}\n\n/** Tuples of the same shape compare element by element; fixed lengths must be the same. */\nfunction relateTuples(source: IrTupleType, target: IrTupleType, relate: Relate): Assignability {\n  if (source.elements.length !== target.elements.length) {\n    const isFixed = source.elements.every(isRequired) && target.elements.every(isRequired);\n    return isFixed ? \"rejected\" : \"undecided\";\n  }\n  return everyOf(source.elements, (element, index) => {\n    const other = target.elements[index] as IrTupleElement;\n    if (element.isRest !== other.isRest) {\n      return \"undecided\";\n    }\n    // An optional element may be missing where the target requires one.\n    if (element.isOptional && !other.isOptional) {\n      return \"rejected\";\n    }\n    return relate(element.type, other.type);\n  });\n}\n\nfunction relateMutableLists(\n  source: IrMutableListType,\n  target: IrMutableListType,\n  relate: Relate,\n): Assignability {\n  if (source.kind === \"array\") {\n    return target.kind === \"array\" ? relate(source.element, target.element) : arrayToTuple(target);\n  }\n  if (target.kind === \"array\") {\n    return everyOf(source.elements, (element) => relate(elementType(element), target.element));\n  }\n  return relateTuples(source, target, relate);\n}\n\n/** Whether one list type fits another. */\nexport function relateLists(source: IrListType, target: IrListType, relate: Relate): Assignability {\n  if (source.kind === \"readonly\") {\n    // A readonly array is no mutable array (TS4104); to a readonly target it is the same type.\n    return target.kind === \"readonly\" ? relate(source.type, target.type) : \"rejected\";\n  }\n  if (target.kind === \"readonly\") {\n    return relate(source, target.type);\n  }\n  return relateMutableLists(source, target, relate);\n}\n"],"names":["everyOf"],"mappings":";;;;AAqBA,MAAM,SAAA,GAAoB,EAAE,IAAA,EAAM,SAAA,EAAW,SAAS,WAAA,EAAY;AAMlE,SAAS,YAAY,OAAA,EAAiC;AACpD,EAAA,IAAI,OAAA,CAAQ,MAAA,IAAU,OAAA,CAAQ,IAAA,CAAK,SAAS,OAAA,EAAS;AACnD,IAAA,OAAO,QAAQ,IAAA,CAAK,OAAA;AAAA,EACtB;AACA,EAAA,OAAO,OAAA,CAAQ,UAAA,GAAa,EAAE,IAAA,EAAM,OAAA,EAAS,KAAA,EAAO,CAAC,OAAA,CAAQ,IAAA,EAAM,SAAS,CAAA,EAAE,GAAI,OAAA,CAAQ,IAAA;AAC5F;AAEA,SAAS,WAAW,OAAA,EAAkC;AACpD,EAAA,OAAO,CAAC,OAAA,CAAQ,MAAA,IAAU,CAAC,OAAA,CAAQ,UAAA;AACrC;AAGA,SAAS,aAAa,MAAA,EAAoC;AACxD,EAAA,OAAO,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,UAAU,IAAI,UAAA,GAAa,WAAA;AACzD;AAGA,SAAS,YAAA,CAAa,MAAA,EAAqB,MAAA,EAAqB,MAAA,EAA+B;AAC7F,EAAA,IAAI,MAAA,CAAO,QAAA,CAAS,MAAA,KAAW,MAAA,CAAO,SAAS,MAAA,EAAQ;AACrD,IAAA,MAAM,OAAA,GAAU,OAAO,QAAA,CAAS,KAAA,CAAM,UAAU,CAAA,IAAK,MAAA,CAAO,QAAA,CAAS,KAAA,CAAM,UAAU,CAAA;AACrF,IAAA,OAAO,UAAU,UAAA,GAAa,WAAA;AAAA,EAChC;AACA,EAAA,OAAOA,qBAAA,CAAQ,MAAA,CAAO,QAAA,EAAU,CAAC,SAAS,KAAA,KAAU;AAClD,IAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA;AACnC,IAAA,IAAI,OAAA,CAAQ,MAAA,KAAW,KAAA,CAAM,MAAA,EAAQ;AACnC,MAAA,OAAO,WAAA;AAAA,IACT;AAEA,IAAA,IAAI,OAAA,CAAQ,UAAA,IAAc,CAAC,KAAA,CAAM,UAAA,EAAY;AAC3C,MAAA,OAAO,UAAA;AAAA,IACT;AACA,IAAA,OAAO,MAAA,CAAO,OAAA,CAAQ,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAAA,EACxC,CAAC,CAAA;AACH;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,MAAA,EACA,MAAA,EACe;AACf,EAAA,IAAI,MAAA,CAAO,SAAS,OAAA,EAAS;AAC3B,IAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,MAAA,CAAO,SAAS,MAAA,CAAO,OAAO,CAAA,GAAI,YAAA,CAAa,MAAM,CAAA;AAAA,EAC/F;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,OAAA,EAAS;AAC3B,IAAA,OAAOA,qBAAA,CAAQ,MAAA,CAAO,QAAA,EAAU,CAAC,OAAA,KAAY,MAAA,CAAO,WAAA,CAAY,OAAO,CAAA,EAAG,MAAA,CAAO,OAAO,CAAC,CAAA;AAAA,EAC3F;AACA,EAAA,OAAO,YAAA,CAAa,MAAA,EAAQ,MAAA,EAAQ,MAAM,CAAA;AAC5C;AAGO,SAAS,WAAA,CAAY,MAAA,EAAoB,MAAA,EAAoB,MAAA,EAA+B;AACjG,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAE9B,IAAA,OAAO,MAAA,CAAO,SAAS,UAAA,GAAa,MAAA,CAAO,OAAO,IAAA,EAAM,MAAA,CAAO,IAAI,CAAA,GAAI,UAAA;AAAA,EACzE;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,IAAA,OAAO,MAAA,CAAO,MAAA,EAAQ,MAAA,CAAO,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,kBAAA,CAAmB,MAAA,EAAQ,MAAA,EAAQ,MAAM,CAAA;AAClD;;"}

package/dist/application/transform/document/list-assignability.mjs

@@ -0,0 +1,52 @@
+import { everyOf } from './assignability.mjs';
+
+const UNDEFINED = { kind: "keyword", keyword: "undefined" };
+function elementType(element) {
+  if (element.isRest && element.type.kind === "array") {
+    return element.type.element;
+  }
+  return element.isOptional ? { kind: "union", types: [element.type, UNDEFINED] } : element.type;
+}
+function isRequired(element) {
+  return !element.isRest && !element.isOptional;
+}
+function arrayToTuple(target) {
+  return target.elements.some(isRequired) ? "rejected" : "undecided";
+}
+function relateTuples(source, target, relate) {
+  if (source.elements.length !== target.elements.length) {
+    const isFixed = source.elements.every(isRequired) && target.elements.every(isRequired);
+    return isFixed ? "rejected" : "undecided";
+  }
+  return everyOf(source.elements, (element, index) => {
+    const other = target.elements[index];
+    if (element.isRest !== other.isRest) {
+      return "undecided";
+    }
+    if (element.isOptional && !other.isOptional) {
+      return "rejected";
+    }
+    return relate(element.type, other.type);
+  });
+}
+function relateMutableLists(source, target, relate) {
+  if (source.kind === "array") {
+    return target.kind === "array" ? relate(source.element, target.element) : arrayToTuple(target);
+  }
+  if (target.kind === "array") {
+    return everyOf(source.elements, (element) => relate(elementType(element), target.element));
+  }
+  return relateTuples(source, target, relate);
+}
+function relateLists(source, target, relate) {
+  if (source.kind === "readonly") {
+    return target.kind === "readonly" ? relate(source.type, target.type) : "rejected";
+  }
+  if (target.kind === "readonly") {
+    return relate(source, target.type);
+  }
+  return relateMutableLists(source, target, relate);
+}
+
+export { relateLists };
+//# sourceMappingURL=list-assignability.mjs.map

package/dist/application/transform/document/list-assignability.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-assignability.mjs","sources":["../../../../src/application/transform/document/list-assignability.ts"],"sourcesContent":["import type {\n  IrArrayType,\n  IrReadonlyType,\n  IrTupleElement,\n  IrTupleType,\n  IrType,\n} from \"../../../domain/ir/nodes.js\";\nimport { type Assignability, everyOf } from \"./assignability.js\";\n\n/**\n * How the `--path-params-as-types` overlap check relates two lists: arrays, tuples and their\n * `readonly` forms. `relate` compares two item types with the whole check.\n */\n\ntype Relate = (source: IrType, target: IrType) => Assignability;\n\n/** The types of the `list` category of `assignability.ts`. */\nexport type IrListType = IrArrayType | IrTupleType | IrReadonlyType;\n\ntype IrMutableListType = IrArrayType | IrTupleType;\n\nconst UNDEFINED: IrType = { kind: \"keyword\", keyword: \"undefined\" };\n\n/**\n * The type of a tuple element's items: a rest element `...T[]` stands for its items, and an\n * optional element `T?` may be `undefined` (`[string?]` is no `string[]` under `strict`).\n */\nfunction elementType(element: IrTupleElement): IrType {\n  if (element.isRest && element.type.kind === \"array\") {\n    return element.type.element;\n  }\n  return element.isOptional ? { kind: \"union\", types: [element.type, UNDEFINED] } : element.type;\n}\n\nfunction isRequired(element: IrTupleElement): boolean {\n  return !element.isRest && !element.isOptional;\n}\n\n/** A tuple with a required element rejects an array, which may be empty. */\nfunction arrayToTuple(target: IrTupleType): Assignability {\n  return target.elements.some(isRequired) ? \"rejected\" : \"undecided\";\n}\n\n/** Tuples of the same shape compare element by element; fixed lengths must be the same. */\nfunction relateTuples(source: IrTupleType, target: IrTupleType, relate: Relate): Assignability {\n  if (source.elements.length !== target.elements.length) {\n    const isFixed = source.elements.every(isRequired) && target.elements.every(isRequired);\n    return isFixed ? \"rejected\" : \"undecided\";\n  }\n  return everyOf(source.elements, (element, index) => {\n    const other = target.elements[index] as IrTupleElement;\n    if (element.isRest !== other.isRest) {\n      return \"undecided\";\n    }\n    // An optional element may be missing where the target requires one.\n    if (element.isOptional && !other.isOptional) {\n      return \"rejected\";\n    }\n    return relate(element.type, other.type);\n  });\n}\n\nfunction relateMutableLists(\n  source: IrMutableListType,\n  target: IrMutableListType,\n  relate: Relate,\n): Assignability {\n  if (source.kind === \"array\") {\n    return target.kind === \"array\" ? relate(source.element, target.element) : arrayToTuple(target);\n  }\n  if (target.kind === \"array\") {\n    return everyOf(source.elements, (element) => relate(elementType(element), target.element));\n  }\n  return relateTuples(source, target, relate);\n}\n\n/** Whether one list type fits another. */\nexport function relateLists(source: IrListType, target: IrListType, relate: Relate): Assignability {\n  if (source.kind === \"readonly\") {\n    // A readonly array is no mutable array (TS4104); to a readonly target it is the same type.\n    return target.kind === \"readonly\" ? relate(source.type, target.type) : \"rejected\";\n  }\n  if (target.kind === \"readonly\") {\n    return relate(source, target.type);\n  }\n  return relateMutableLists(source, target, relate);\n}\n"],"names":[],"mappings":";;AAqBA,MAAM,SAAA,GAAoB,EAAE,IAAA,EAAM,SAAA,EAAW,SAAS,WAAA,EAAY;AAMlE,SAAS,YAAY,OAAA,EAAiC;AACpD,EAAA,IAAI,OAAA,CAAQ,MAAA,IAAU,OAAA,CAAQ,IAAA,CAAK,SAAS,OAAA,EAAS;AACnD,IAAA,OAAO,QAAQ,IAAA,CAAK,OAAA;AAAA,EACtB;AACA,EAAA,OAAO,OAAA,CAAQ,UAAA,GAAa,EAAE,IAAA,EAAM,OAAA,EAAS,KAAA,EAAO,CAAC,OAAA,CAAQ,IAAA,EAAM,SAAS,CAAA,EAAE,GAAI,OAAA,CAAQ,IAAA;AAC5F;AAEA,SAAS,WAAW,OAAA,EAAkC;AACpD,EAAA,OAAO,CAAC,OAAA,CAAQ,MAAA,IAAU,CAAC,OAAA,CAAQ,UAAA;AACrC;AAGA,SAAS,aAAa,MAAA,EAAoC;AACxD,EAAA,OAAO,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,UAAU,IAAI,UAAA,GAAa,WAAA;AACzD;AAGA,SAAS,YAAA,CAAa,MAAA,EAAqB,MAAA,EAAqB,MAAA,EAA+B;AAC7F,EAAA,IAAI,MAAA,CAAO,QAAA,CAAS,MAAA,KAAW,MAAA,CAAO,SAAS,MAAA,EAAQ;AACrD,IAAA,MAAM,OAAA,GAAU,OAAO,QAAA,CAAS,KAAA,CAAM,UAAU,CAAA,IAAK,MAAA,CAAO,QAAA,CAAS,KAAA,CAAM,UAAU,CAAA;AACrF,IAAA,OAAO,UAAU,UAAA,GAAa,WAAA;AAAA,EAChC;AACA,EAAA,OAAO,OAAA,CAAQ,MAAA,CAAO,QAAA,EAAU,CAAC,SAAS,KAAA,KAAU;AAClD,IAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA;AACnC,IAAA,IAAI,OAAA,CAAQ,MAAA,KAAW,KAAA,CAAM,MAAA,EAAQ;AACnC,MAAA,OAAO,WAAA;AAAA,IACT;AAEA,IAAA,IAAI,OAAA,CAAQ,UAAA,IAAc,CAAC,KAAA,CAAM,UAAA,EAAY;AAC3C,MAAA,OAAO,UAAA;AAAA,IACT;AACA,IAAA,OAAO,MAAA,CAAO,OAAA,CAAQ,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAAA,EACxC,CAAC,CAAA;AACH;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,MAAA,EACA,MAAA,EACe;AACf,EAAA,IAAI,MAAA,CAAO,SAAS,OAAA,EAAS;AAC3B,IAAA,OAAO,MAAA,CAAO,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,MAAA,CAAO,SAAS,MAAA,CAAO,OAAO,CAAA,GAAI,YAAA,CAAa,MAAM,CAAA;AAAA,EAC/F;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,OAAA,EAAS;AAC3B,IAAA,OAAO,OAAA,CAAQ,MAAA,CAAO,QAAA,EAAU,CAAC,OAAA,KAAY,MAAA,CAAO,WAAA,CAAY,OAAO,CAAA,EAAG,MAAA,CAAO,OAAO,CAAC,CAAA;AAAA,EAC3F;AACA,EAAA,OAAO,YAAA,CAAa,MAAA,EAAQ,MAAA,EAAQ,MAAM,CAAA;AAC5C;AAGO,SAAS,WAAA,CAAY,MAAA,EAAoB,MAAA,EAAoB,MAAA,EAA+B;AACjG,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAE9B,IAAA,OAAO,MAAA,CAAO,SAAS,UAAA,GAAa,MAAA,CAAO,OAAO,IAAA,EAAM,MAAA,CAAO,IAAI,CAAA,GAAI,UAAA;AAAA,EACzE;AACA,EAAA,IAAI,MAAA,CAAO,SAAS,UAAA,EAAY;AAC9B,IAAA,OAAO,MAAA,CAAO,MAAA,EAAQ,MAAA,CAAO,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,kBAAA,CAAmB,MAAA,EAAQ,MAAA,EAAQ,MAAM,CAAA;AAClD;;"}

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

@@ -4,8 +4,10 @@ const constructors = require('../../../domain/ir/constructors.cjs');
 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 refType = require('../ref-type.cjs');
 const schemaComment = require('../schema-comment.cjs');
+const explodedQuery = require('./exploded-query.cjs');
 const parameter = require('./parameter.cjs');
 
 const PATH_TEMPLATE_RE = /\{([^}]+)\}/g;
@@ -85,16 +87,46 @@ function querystringMember(entries, location, context) {
   });
   return schemaComment.withSchemaComment(property, querystring.resolved);
 }
-function locationMember(parameterIn, entries, location, context) {
-  const members = entries.filter((entry) => entry.resolved?.in === parameterIn).map((entry) => parameterMember(entry, location, context));
-  return constructors.irProperty(
-    propertyName.toPropertyName(parameterIn),
-    members.length > 0 ? constructors.irObject(members) : constructors.irKeyword("never"),
-    {
-      isOptional: members.every((member) => member.isOptional),
-      isReadonly: context.options.immutable
+function isExplodedEntry(entry, context) {
+  return context.options.fixes.has(outputFixes.OutputFix.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 locationParts(entries, location, context) {
+  const members = [];
+  const exploded = [];
+  let isOptional = true;
+  for (const entry of entries) {
+    if (isExplodedEntry(entry, context)) {
+      exploded.push(explodedPart(entry, location, context));
+      isOptional &&= !entry.resolved.required;
+      continue;
     }
+    const member = parameterMember(entry, location, context);
+    members.push(member);
+    isOptional &&= member.isOptional;
+  }
+  return { members, exploded, isOptional };
+}
+function locationType({ members, exploded }) {
+  const types = [...members.length > 0 ? [constructors.irObject(members)] : [], ...exploded];
+  const [first] = types;
+  if (first === void 0) {
+    return constructors.irKeyword("never");
+  }
+  return types.length === 1 ? first : constructors.irIntersection(types);
+}
+function locationMember(parameterIn, entries, location, context) {
+  const located = entries.filter(
+    (entry) => entry.resolved?.in === parameterIn
   );
+  const parts = locationParts(located, location, context);
+  return constructors.irProperty(propertyName.toPropertyName(parameterIn), locationType(parts), {
+    isOptional: parts.isOptional,
+    isReadonly: context.options.immutable
+  });
 }
 function parametersMember(parameters, location, context) {
   const entries = parameterEntries(

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

@@ -1 +1 @@
-{"version":3,"file":"parameters.cjs","sources":["../../../../src/application/transform/document/parameters.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertyName, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } 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 type { SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { parameterType } from \"./parameter.js\";\n\nconst PATH_TEMPLATE_RE = /\\{([^}]+)\\}/g;\n\n/** A parameter as written in the document, and the object its `$ref` points to. */\ninterface ParameterEntry {\n  readonly original: ParameterOrReference;\n  readonly resolved: ParameterObject | undefined;\n}\n\n/** An entry whose `$ref` resolved, so its location and name are known. */\ntype ResolvedEntry = ParameterEntry & { readonly resolved: ParameterObject };\n\nfunction resolveParameter(\n  parameter: ParameterOrReference,\n  context: TransformContext,\n): ParameterObject | undefined {\n  return \"$ref\" in parameter\n    ? (context.refs.resolve(parameter.$ref) as ParameterObject | undefined)\n    : parameter;\n}\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);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\nfunction isDeprecatedParameter(parameter: ParameterObject | undefined): boolean {\n  const schema = parameter?.schema as SchemaObject | undefined;\n  return Boolean(parameter?.deprecated || schema?.deprecated);\n}\n\n/** Resolved parameters, sorted for `--alphabetize`, without deprecated ones if excluded. */\nfunction parameterEntries(\n  parameters: readonly ParameterOrReference[],\n  context: TransformContext,\n): ParameterEntry[] {\n  const entries = parameters.map((original) => ({\n    original,\n    resolved: resolveParameter(original, context),\n  }));\n  if (context.options.alphabetize) {\n    // Unlike map keys, the original sorts parameters with the default locale's `localeCompare`.\n    entries.sort((left, right) =>\n      (left.resolved?.name ?? \"\").localeCompare(right.resolved?.name ?? \"\"),\n    );\n  }\n  return context.options.excludeDeprecated\n    ? entries.filter(({ resolved }) => !isDeprecatedParameter(resolved))\n    : entries;\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 referencedParameterType(ref: string, resolved: ParameterObject): IrType {\n  // A `$ref` that resolves to another `$ref` is not a parameter object yet: index it as a path.\n  const isParameter = !(resolved as { $ref?: unknown }).$ref;\n  const parameter = isParameter ? { in: resolved.in, name: resolved.name } : null;\n  return refType(ref, { parameter });\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = createRef([location.path, \"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved)\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/** 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 members = entries\n    .filter((entry): entry is ResolvedEntry => entry.resolved?.in === parameterIn)\n    .map((entry) => parameterMember(entry, location, context));\n  return irProperty(\n    toPropertyName(parameterIn),\n    members.length > 0 ? irObject(members) : irKeyword(\"never\"),\n    {\n      isOptional: members.every((member) => member.isOptional),\n      isReadonly: context.options.immutable,\n    },\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":["toPropertyName","refType","createRef","parameterType","irProperty","withSchemaComment","QUERYSTRING_LOCATION","irObject","irKeyword","PARAMETER_LOCATIONS"],"mappings":";;;;;;;;;;AAkBA,MAAM,gBAAA,GAAmB,cAAA;AAWzB,SAAS,gBAAA,CACP,WACA,OAAA,EAC6B;AAC7B,EAAA,OAAO,UAAU,SAAA,GACZ,OAAA,CAAQ,KAAK,OAAA,CAAQ,SAAA,CAAU,IAAI,CAAA,GACpC,SAAA;AACN;AAGA,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,OAAO,CAAA;AACpD,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;AAEA,SAAS,sBAAsB,SAAA,EAAiD;AAC9E,EAAA,MAAM,SAAS,SAAA,EAAW,MAAA;AAC1B,EAAA,OAAO,OAAA,CAAQ,SAAA,EAAW,UAAA,IAAc,MAAA,EAAQ,UAAU,CAAA;AAC5D;AAGA,SAAS,gBAAA,CACP,YACA,OAAA,EACkB;AAClB,EAAA,MAAM,OAAA,GAAU,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,MAAc;AAAA,IAC5C,QAAA;AAAA,IACA,QAAA,EAAU,gBAAA,CAAiB,QAAA,EAAU,OAAO;AAAA,GAC9C,CAAE,CAAA;AACF,EAAA,IAAI,OAAA,CAAQ,QAAQ,WAAA,EAAa;AAE/B,IAAA,OAAA,CAAQ,IAAA;AAAA,MAAK,CAAC,IAAA,EAAM,KAAA,KAAA,CACjB,IAAA,CAAK,QAAA,EAAU,IAAA,IAAQ,EAAA,EAAI,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,IAAA,IAAQ,EAAE;AAAA,KACtE;AAAA,EACF;AACA,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,iBAAA,GACnB,OAAA,CAAQ,MAAA,CAAO,CAAC,EAAE,QAAA,EAAS,KAAM,CAAC,qBAAA,CAAsB,QAAQ,CAAC,CAAA,GACjE,OAAA;AACN;AAGA,SAAS,cAAc,IAAA,EAA+B;AACpD,EAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,SAAS,QAAA,GAC/CA,2BAAA,CAAe,IAAI,CAAA,GACnB,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA,EAAE;AAC5C;AAEA,SAAS,uBAAA,CAAwB,KAAa,QAAA,EAAmC;AAE/E,EAAA,MAAM,WAAA,GAAc,CAAE,QAAA,CAAgC,IAAA;AACtD,EAAA,MAAM,SAAA,GAAY,cAAc,EAAE,EAAA,EAAI,SAAS,EAAA,EAAI,IAAA,EAAM,QAAA,CAAS,IAAA,EAAK,GAAI,IAAA;AAC3E,EAAA,OAAOC,eAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,CAAA;AACnC;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAOC,qBAAA,CAAU,CAAC,QAAA,CAAS,IAAA,EAAM,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AAChF,EAAA,OAAO,MAAA,IAAU,QAAA,GACb,uBAAA,CAAwB,QAAA,CAAS,MAAM,QAAQ,CAAA,GAC/CC,uBAAA,CAAc,QAAA,EAAU,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,cAAA,CACP,WAAA,EACA,OAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAU,OAAA,CACb,MAAA,CAAO,CAAC,KAAA,KAAkC,MAAM,QAAA,EAAU,EAAA,KAAO,WAAW,CAAA,CAC5E,IAAI,CAAC,KAAA,KAAU,gBAAgB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAC,CAAA;AAC3D,EAAA,OAAOD,uBAAA;AAAA,IACLJ,4BAAe,WAAW,CAAA;AAAA,IAC1B,QAAQ,MAAA,GAAS,CAAA,GAAIO,sBAAS,OAAO,CAAA,GAAIC,uBAAU,OAAO,CAAA;AAAA,IAC1D;AAAA,MACE,YAAY,OAAA,CAAQ,KAAA,CAAM,CAAC,MAAA,KAAW,OAAO,UAAU,CAAA;AAAA,MACvD,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA;AAC9B,GACF;AACF;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,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,OAAOL,wBAAWJ,2BAAA,CAAe,YAAY,CAAA,EAAGO,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 { createRef } 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 type { SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { refType } from \"../ref-type.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\";\n\nconst PATH_TEMPLATE_RE = /\\{([^}]+)\\}/g;\n\n/** A parameter as written in the document, and the object its `$ref` points to. */\ninterface ParameterEntry {\n  readonly original: ParameterOrReference;\n  readonly resolved: ParameterObject | undefined;\n}\n\n/** An entry whose `$ref` resolved, so its location and name are known. */\ntype ResolvedEntry = ParameterEntry & { readonly resolved: ParameterObject };\n\nfunction resolveParameter(\n  parameter: ParameterOrReference,\n  context: TransformContext,\n): ParameterObject | undefined {\n  return \"$ref\" in parameter\n    ? (context.refs.resolve(parameter.$ref) as ParameterObject | undefined)\n    : parameter;\n}\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);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\nfunction isDeprecatedParameter(parameter: ParameterObject | undefined): boolean {\n  const schema = parameter?.schema as SchemaObject | undefined;\n  return Boolean(parameter?.deprecated || schema?.deprecated);\n}\n\n/** Resolved parameters, sorted for `--alphabetize`, without deprecated ones if excluded. */\nfunction parameterEntries(\n  parameters: readonly ParameterOrReference[],\n  context: TransformContext,\n): ParameterEntry[] {\n  const entries = parameters.map((original) => ({\n    original,\n    resolved: resolveParameter(original, context),\n  }));\n  if (context.options.alphabetize) {\n    // Unlike map keys, the original sorts parameters with the default locale's `localeCompare`.\n    entries.sort((left, right) =>\n      (left.resolved?.name ?? \"\").localeCompare(right.resolved?.name ?? \"\"),\n    );\n  }\n  return context.options.excludeDeprecated\n    ? entries.filter(({ resolved }) => !isDeprecatedParameter(resolved))\n    : entries;\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 referencedParameterType(ref: string, resolved: ParameterObject): IrType {\n  // A `$ref` that resolves to another `$ref` is not a parameter object yet: index it as a path.\n  const isParameter = !(resolved as { $ref?: unknown }).$ref;\n  const parameter = isParameter ? { in: resolved.in, name: resolved.name } : null;\n  return refType(ref, { parameter });\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = createRef([location.path, \"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved)\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(OutputFix.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":["toPropertyName","refType","createRef","parameterType","irProperty","withSchemaComment","QUERYSTRING_LOCATION","OutputFix","isExplodedQueryObject","irReference","irObject","irKeyword","irIntersection","PARAMETER_LOCATIONS"],"mappings":";;;;;;;;;;;;AA0BA,MAAM,gBAAA,GAAmB,cAAA;AAWzB,SAAS,gBAAA,CACP,WACA,OAAA,EAC6B;AAC7B,EAAA,OAAO,UAAU,SAAA,GACZ,OAAA,CAAQ,KAAK,OAAA,CAAQ,SAAA,CAAU,IAAI,CAAA,GACpC,SAAA;AACN;AAGA,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,OAAO,CAAA;AACpD,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;AAEA,SAAS,sBAAsB,SAAA,EAAiD;AAC9E,EAAA,MAAM,SAAS,SAAA,EAAW,MAAA;AAC1B,EAAA,OAAO,OAAA,CAAQ,SAAA,EAAW,UAAA,IAAc,MAAA,EAAQ,UAAU,CAAA;AAC5D;AAGA,SAAS,gBAAA,CACP,YACA,OAAA,EACkB;AAClB,EAAA,MAAM,OAAA,GAAU,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,MAAc;AAAA,IAC5C,QAAA;AAAA,IACA,QAAA,EAAU,gBAAA,CAAiB,QAAA,EAAU,OAAO;AAAA,GAC9C,CAAE,CAAA;AACF,EAAA,IAAI,OAAA,CAAQ,QAAQ,WAAA,EAAa;AAE/B,IAAA,OAAA,CAAQ,IAAA;AAAA,MAAK,CAAC,IAAA,EAAM,KAAA,KAAA,CACjB,IAAA,CAAK,QAAA,EAAU,IAAA,IAAQ,EAAA,EAAI,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,IAAA,IAAQ,EAAE;AAAA,KACtE;AAAA,EACF;AACA,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,iBAAA,GACnB,OAAA,CAAQ,MAAA,CAAO,CAAC,EAAE,QAAA,EAAS,KAAM,CAAC,qBAAA,CAAsB,QAAQ,CAAC,CAAA,GACjE,OAAA;AACN;AAGA,SAAS,cAAc,IAAA,EAA+B;AACpD,EAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,SAAS,QAAA,GAC/CA,2BAAA,CAAe,IAAI,CAAA,GACnB,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,MAAA,CAAO,IAAI,CAAA,EAAE;AAC5C;AAEA,SAAS,uBAAA,CAAwB,KAAa,QAAA,EAAmC;AAE/E,EAAA,MAAM,WAAA,GAAc,CAAE,QAAA,CAAgC,IAAA;AACtD,EAAA,MAAM,SAAA,GAAY,cAAc,EAAE,EAAA,EAAI,SAAS,EAAA,EAAI,IAAA,EAAM,QAAA,CAAS,IAAA,EAAK,GAAI,IAAA;AAC3E,EAAA,OAAOC,eAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,CAAA;AACnC;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAOC,qBAAA,CAAU,CAAC,QAAA,CAAS,IAAA,EAAM,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AAChF,EAAA,OAAO,MAAA,IAAU,QAAA,GACb,uBAAA,CAAwB,QAAA,CAAS,MAAM,QAAQ,CAAA,GAC/CC,uBAAA,CAAc,QAAA,EAAU,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,qBAAA,CAAU,sBAAsB,CAAA,IAC1DC,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,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,UAAUa,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,OAAOT,wBAAWJ,2BAAA,CAAe,YAAY,CAAA,EAAGU,qBAAA,CAAS,OAAO,CAAA,EAAG;AAAA,IACjE,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACH;;"}

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

@@ -1,9 +1,11 @@
-import { irProperty, irObject, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { irProperty, irObject, irKeyword, irIntersection, irReference } from '../../../domain/ir/constructors.mjs';
 import { toPropertyName } from '../../../domain/ir/property-name.mjs';
 import { createRef } from '../../../domain/openapi/json-pointer.mjs';
 import { PARAMETER_LOCATIONS, QUERYSTRING_LOCATION } from '../../../domain/openapi/parameter-object.mjs';
+import { OutputFix } from '../../../domain/output-fixes.mjs';
 import { refType } from '../ref-type.mjs';
 import { withSchemaComment } from '../schema-comment.mjs';
+import { isExplodedQueryObject } from './exploded-query.mjs';
 import { parameterType } from './parameter.mjs';
 
 const PATH_TEMPLATE_RE = /\{([^}]+)\}/g;
@@ -83,16 +85,46 @@ function querystringMember(entries, location, context) {
   });
   return withSchemaComment(property, querystring.resolved);
 }
-function locationMember(parameterIn, entries, location, context) {
-  const members = entries.filter((entry) => entry.resolved?.in === parameterIn).map((entry) => parameterMember(entry, location, context));
-  return irProperty(
-    toPropertyName(parameterIn),
-    members.length > 0 ? irObject(members) : irKeyword("never"),
-    {
-      isOptional: members.every((member) => member.isOptional),
-      isReadonly: context.options.immutable
+function isExplodedEntry(entry, context) {
+  return context.options.fixes.has(OutputFix.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 locationParts(entries, location, context) {
+  const members = [];
+  const exploded = [];
+  let isOptional = true;
+  for (const entry of entries) {
+    if (isExplodedEntry(entry, context)) {
+      exploded.push(explodedPart(entry, location, context));
+      isOptional &&= !entry.resolved.required;
+      continue;
     }
+    const member = parameterMember(entry, location, context);
+    members.push(member);
+    isOptional &&= member.isOptional;
+  }
+  return { members, exploded, isOptional };
+}
+function locationType({ members, exploded }) {
+  const types = [...members.length > 0 ? [irObject(members)] : [], ...exploded];
+  const [first] = types;
+  if (first === void 0) {
+    return irKeyword("never");
+  }
+  return types.length === 1 ? first : irIntersection(types);
+}
+function locationMember(parameterIn, entries, location, context) {
+  const located = entries.filter(
+    (entry) => entry.resolved?.in === parameterIn
   );
+  const parts = locationParts(located, location, context);
+  return irProperty(toPropertyName(parameterIn), locationType(parts), {
+    isOptional: parts.isOptional,
+    isReadonly: context.options.immutable
+  });
 }
 function parametersMember(parameters, location, context) {
   const entries = parameterEntries(

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

@@ -1 +1 @@
-{"version":3,"file":"parameters.mjs","sources":["../../../../src/application/transform/document/parameters.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport type { IrPropertyName, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport { createRef } 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 type { SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { refType } from \"../ref-type.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { parameterType } from \"./parameter.js\";\n\nconst PATH_TEMPLATE_RE = /\\{([^}]+)\\}/g;\n\n/** A parameter as written in the document, and the object its `$ref` points to. */\ninterface ParameterEntry {\n  readonly original: ParameterOrReference;\n  readonly resolved: ParameterObject | undefined;\n}\n\n/** An entry whose `$ref` resolved, so its location and name are known. */\ntype ResolvedEntry = ParameterEntry & { readonly resolved: ParameterObject };\n\nfunction resolveParameter(\n  parameter: ParameterOrReference,\n  context: TransformContext,\n): ParameterObject | undefined {\n  return \"$ref\" in parameter\n    ? (context.refs.resolve(parameter.$ref) as ParameterObject | undefined)\n    : parameter;\n}\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);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\nfunction isDeprecatedParameter(parameter: ParameterObject | undefined): boolean {\n  const schema = parameter?.schema as SchemaObject | undefined;\n  return Boolean(parameter?.deprecated || schema?.deprecated);\n}\n\n/** Resolved parameters, sorted for `--alphabetize`, without deprecated ones if excluded. */\nfunction parameterEntries(\n  parameters: readonly ParameterOrReference[],\n  context: TransformContext,\n): ParameterEntry[] {\n  const entries = parameters.map((original) => ({\n    original,\n    resolved: resolveParameter(original, context),\n  }));\n  if (context.options.alphabetize) {\n    // Unlike map keys, the original sorts parameters with the default locale's `localeCompare`.\n    entries.sort((left, right) =>\n      (left.resolved?.name ?? \"\").localeCompare(right.resolved?.name ?? \"\"),\n    );\n  }\n  return context.options.excludeDeprecated\n    ? entries.filter(({ resolved }) => !isDeprecatedParameter(resolved))\n    : entries;\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 referencedParameterType(ref: string, resolved: ParameterObject): IrType {\n  // A `$ref` that resolves to another `$ref` is not a parameter object yet: index it as a path.\n  const isParameter = !(resolved as { $ref?: unknown }).$ref;\n  const parameter = isParameter ? { in: resolved.in, name: resolved.name } : null;\n  return refType(ref, { parameter });\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = createRef([location.path, \"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved)\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/** 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 members = entries\n    .filter((entry): entry is ResolvedEntry => entry.resolved?.in === parameterIn)\n    .map((entry) => parameterMember(entry, location, context));\n  return irProperty(\n    toPropertyName(parameterIn),\n    members.length > 0 ? irObject(members) : irKeyword(\"never\"),\n    {\n      isOptional: members.every((member) => member.isOptional),\n      isReadonly: context.options.immutable,\n    },\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":";;;;;;;;AAkBA,MAAM,gBAAA,GAAmB,cAAA;AAWzB,SAAS,gBAAA,CACP,WACA,OAAA,EAC6B;AAC7B,EAAA,OAAO,UAAU,SAAA,GACZ,OAAA,CAAQ,KAAK,OAAA,CAAQ,SAAA,CAAU,IAAI,CAAA,GACpC,SAAA;AACN;AAGA,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,OAAO,CAAA;AACpD,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;AAEA,SAAS,sBAAsB,SAAA,EAAiD;AAC9E,EAAA,MAAM,SAAS,SAAA,EAAW,MAAA;AAC1B,EAAA,OAAO,OAAA,CAAQ,SAAA,EAAW,UAAA,IAAc,MAAA,EAAQ,UAAU,CAAA;AAC5D;AAGA,SAAS,gBAAA,CACP,YACA,OAAA,EACkB;AAClB,EAAA,MAAM,OAAA,GAAU,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,MAAc;AAAA,IAC5C,QAAA;AAAA,IACA,QAAA,EAAU,gBAAA,CAAiB,QAAA,EAAU,OAAO;AAAA,GAC9C,CAAE,CAAA;AACF,EAAA,IAAI,OAAA,CAAQ,QAAQ,WAAA,EAAa;AAE/B,IAAA,OAAA,CAAQ,IAAA;AAAA,MAAK,CAAC,IAAA,EAAM,KAAA,KAAA,CACjB,IAAA,CAAK,QAAA,EAAU,IAAA,IAAQ,EAAA,EAAI,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,IAAA,IAAQ,EAAE;AAAA,KACtE;AAAA,EACF;AACA,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,iBAAA,GACnB,OAAA,CAAQ,MAAA,CAAO,CAAC,EAAE,QAAA,EAAS,KAAM,CAAC,qBAAA,CAAsB,QAAQ,CAAC,CAAA,GACjE,OAAA;AACN;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,uBAAA,CAAwB,KAAa,QAAA,EAAmC;AAE/E,EAAA,MAAM,WAAA,GAAc,CAAE,QAAA,CAAgC,IAAA;AACtD,EAAA,MAAM,SAAA,GAAY,cAAc,EAAE,EAAA,EAAI,SAAS,EAAA,EAAI,IAAA,EAAM,QAAA,CAAS,IAAA,EAAK,GAAI,IAAA;AAC3E,EAAA,OAAO,OAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,CAAA;AACnC;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,CAAC,QAAA,CAAS,IAAA,EAAM,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AAChF,EAAA,OAAO,MAAA,IAAU,QAAA,GACb,uBAAA,CAAwB,QAAA,CAAS,MAAM,QAAQ,CAAA,GAC/C,aAAA,CAAc,QAAA,EAAU,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,cAAA,CACP,WAAA,EACA,OAAA,EACA,QAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,UAAU,OAAA,CACb,MAAA,CAAO,CAAC,KAAA,KAAkC,MAAM,QAAA,EAAU,EAAA,KAAO,WAAW,CAAA,CAC5E,IAAI,CAAC,KAAA,KAAU,gBAAgB,KAAA,EAAO,QAAA,EAAU,OAAO,CAAC,CAAA;AAC3D,EAAA,OAAO,UAAA;AAAA,IACL,eAAe,WAAW,CAAA;AAAA,IAC1B,QAAQ,MAAA,GAAS,CAAA,GAAI,SAAS,OAAO,CAAA,GAAI,UAAU,OAAO,CAAA;AAAA,IAC1D;AAAA,MACE,YAAY,OAAA,CAAQ,KAAA,CAAM,CAAC,MAAA,KAAW,OAAO,UAAU,CAAA;AAAA,MACvD,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA;AAC9B,GACF;AACF;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 { createRef } 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 type { SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { refType } from \"../ref-type.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\";\n\nconst PATH_TEMPLATE_RE = /\\{([^}]+)\\}/g;\n\n/** A parameter as written in the document, and the object its `$ref` points to. */\ninterface ParameterEntry {\n  readonly original: ParameterOrReference;\n  readonly resolved: ParameterObject | undefined;\n}\n\n/** An entry whose `$ref` resolved, so its location and name are known. */\ntype ResolvedEntry = ParameterEntry & { readonly resolved: ParameterObject };\n\nfunction resolveParameter(\n  parameter: ParameterOrReference,\n  context: TransformContext,\n): ParameterObject | undefined {\n  return \"$ref\" in parameter\n    ? (context.refs.resolve(parameter.$ref) as ParameterObject | undefined)\n    : parameter;\n}\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);\n      return resolved?.in === \"path\" && resolved.name === parameter.name;\n    });\n    if (!isDefined) {\n      result.push(parameter);\n    }\n  }\n  return result;\n}\n\nfunction isDeprecatedParameter(parameter: ParameterObject | undefined): boolean {\n  const schema = parameter?.schema as SchemaObject | undefined;\n  return Boolean(parameter?.deprecated || schema?.deprecated);\n}\n\n/** Resolved parameters, sorted for `--alphabetize`, without deprecated ones if excluded. */\nfunction parameterEntries(\n  parameters: readonly ParameterOrReference[],\n  context: TransformContext,\n): ParameterEntry[] {\n  const entries = parameters.map((original) => ({\n    original,\n    resolved: resolveParameter(original, context),\n  }));\n  if (context.options.alphabetize) {\n    // Unlike map keys, the original sorts parameters with the default locale's `localeCompare`.\n    entries.sort((left, right) =>\n      (left.resolved?.name ?? \"\").localeCompare(right.resolved?.name ?? \"\"),\n    );\n  }\n  return context.options.excludeDeprecated\n    ? entries.filter(({ resolved }) => !isDeprecatedParameter(resolved))\n    : entries;\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 referencedParameterType(ref: string, resolved: ParameterObject): IrType {\n  // A `$ref` that resolves to another `$ref` is not a parameter object yet: index it as a path.\n  const isParameter = !(resolved as { $ref?: unknown }).$ref;\n  const parameter = isParameter ? { in: resolved.in, name: resolved.name } : null;\n  return refType(ref, { parameter });\n}\n\nfunction entryType(\n  { original, resolved }: ResolvedEntry,\n  location: SchemaLocation,\n  context: TransformContext,\n): IrType {\n  const path = createRef([location.path, \"parameters\", resolved.in, resolved.name]);\n  return \"$ref\" in original\n    ? referencedParameterType(original.$ref, resolved)\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(OutputFix.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":";;;;;;;;;;AA0BA,MAAM,gBAAA,GAAmB,cAAA;AAWzB,SAAS,gBAAA,CACP,WACA,OAAA,EAC6B;AAC7B,EAAA,OAAO,UAAU,SAAA,GACZ,OAAA,CAAQ,KAAK,OAAA,CAAQ,SAAA,CAAU,IAAI,CAAA,GACpC,SAAA;AACN;AAGA,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,OAAO,CAAA;AACpD,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;AAEA,SAAS,sBAAsB,SAAA,EAAiD;AAC9E,EAAA,MAAM,SAAS,SAAA,EAAW,MAAA;AAC1B,EAAA,OAAO,OAAA,CAAQ,SAAA,EAAW,UAAA,IAAc,MAAA,EAAQ,UAAU,CAAA;AAC5D;AAGA,SAAS,gBAAA,CACP,YACA,OAAA,EACkB;AAClB,EAAA,MAAM,OAAA,GAAU,UAAA,CAAW,GAAA,CAAI,CAAC,QAAA,MAAc;AAAA,IAC5C,QAAA;AAAA,IACA,QAAA,EAAU,gBAAA,CAAiB,QAAA,EAAU,OAAO;AAAA,GAC9C,CAAE,CAAA;AACF,EAAA,IAAI,OAAA,CAAQ,QAAQ,WAAA,EAAa;AAE/B,IAAA,OAAA,CAAQ,IAAA;AAAA,MAAK,CAAC,IAAA,EAAM,KAAA,KAAA,CACjB,IAAA,CAAK,QAAA,EAAU,IAAA,IAAQ,EAAA,EAAI,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,IAAA,IAAQ,EAAE;AAAA,KACtE;AAAA,EACF;AACA,EAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,iBAAA,GACnB,OAAA,CAAQ,MAAA,CAAO,CAAC,EAAE,QAAA,EAAS,KAAM,CAAC,qBAAA,CAAsB,QAAQ,CAAC,CAAA,GACjE,OAAA;AACN;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,uBAAA,CAAwB,KAAa,QAAA,EAAmC;AAE/E,EAAA,MAAM,WAAA,GAAc,CAAE,QAAA,CAAgC,IAAA;AACtD,EAAA,MAAM,SAAA,GAAY,cAAc,EAAE,EAAA,EAAI,SAAS,EAAA,EAAI,IAAA,EAAM,QAAA,CAAS,IAAA,EAAK,GAAI,IAAA;AAC3E,EAAA,OAAO,OAAA,CAAQ,GAAA,EAAK,EAAE,SAAA,EAAW,CAAA;AACnC;AAEA,SAAS,UACP,EAAE,QAAA,EAAU,QAAA,EAAS,EACrB,UACA,OAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,CAAC,QAAA,CAAS,IAAA,EAAM,cAAc,QAAA,CAAS,EAAA,EAAI,QAAA,CAAS,IAAI,CAAC,CAAA;AAChF,EAAA,OAAO,MAAA,IAAU,QAAA,GACb,uBAAA,CAAwB,QAAA,CAAS,MAAM,QAAQ,CAAA,GAC/C,aAAA,CAAc,QAAA,EAAU,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,SAAA,CAAU,sBAAsB,CAAA,IAC1D,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;;"}