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

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

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

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

@@ -0,0 +1,144 @@
+'use strict';
+
+const typeResolution = require('./type-resolution.cjs');
+
+function everyOf(items, relate) {
+  let result = "assignable";
+  for (const [index, item] of items.entries()) {
+    const each = relate(item, index);
+    if (each === "rejected") {
+      return "rejected";
+    }
+    if (each === "undecided") {
+      result = "undecided";
+    }
+  }
+  return result;
+}
+function someOf(items, relate) {
+  let result = "rejected";
+  for (const item of items) {
+    const each = relate(item);
+    if (each === "assignable") {
+      return "assignable";
+    }
+    if (each === "undecided") {
+      result = "undecided";
+    }
+  }
+  return result;
+}
+function provenBy(condition) {
+  return condition ? "assignable" : "rejected";
+}
+function categoryOf(type) {
+  switch (type.kind) {
+    case "keyword":
+    case "stringLiteral":
+    case "numberLiteral":
+    case "booleanLiteral":
+      return "primitive";
+    case "array":
+    case "tuple":
+    case "readonly":
+      return "list";
+    case "object":
+      return "object";
+    default:
+      return "opaque";
+  }
+}
+const NO_OBJECT_KEYWORDS = /* @__PURE__ */ new Set(["null", "undefined", "unknown", "never"]);
+const ARRAY_MEMBER_NAMES = /* @__PURE__ */ new Set([
+  "length",
+  "toString",
+  "toLocaleString",
+  "pop",
+  "push",
+  "concat",
+  "join",
+  "reverse",
+  "shift",
+  "slice",
+  "sort",
+  "splice",
+  "unshift",
+  "indexOf",
+  "lastIndexOf",
+  "every",
+  "some",
+  "forEach",
+  "map",
+  "filter",
+  "reduce",
+  "reduceRight",
+  "find",
+  "findIndex",
+  "fill",
+  "copyWithin",
+  "entries",
+  "keys",
+  "values",
+  "includes",
+  "flatMap",
+  "flat",
+  "at",
+  "findLast",
+  "findLastIndex",
+  "toReversed",
+  "toSorted",
+  "toSpliced",
+  "with"
+]);
+const ARRAY_LENGTH = "length";
+const ELEMENT_NAME_RE = /^\d+$/;
+function isListMemberName(name) {
+  return ARRAY_MEMBER_NAMES.has(name) || ELEMENT_NAME_RE.test(name);
+}
+function listToObject(target) {
+  const properties = [...typeResolution.propertiesOf(target).values()];
+  const isForeign = (property) => !isListMemberName(typeResolution.nameOf(property));
+  const needsForeign = properties.some((property) => !property.isOptional && isForeign(property));
+  const isWeak = properties.length > 0 && typeResolution.indexSignaturesOf(target).length === 0 && properties.every((property) => property.isOptional);
+  return needsForeign || isWeak && properties.every(isForeign) ? "rejected" : "undecided";
+}
+function primitiveToObject(source) {
+  const isNoObject = source.kind === "keyword" && NO_OBJECT_KEYWORDS.has(source.keyword);
+  return isNoObject ? "rejected" : "undecided";
+}
+function objectToList(source) {
+  return typeResolution.propertiesOf(source).has(ARRAY_LENGTH) ? "undecided" : "rejected";
+}
+function crossCategoryRelation(source, target) {
+  const from = categoryOf(source);
+  const to = categoryOf(target);
+  if (from === "opaque" || to === "opaque") {
+    return "undecided";
+  }
+  if (from === to) {
+    return null;
+  }
+  if (to !== "object") {
+    return source.kind === "object" && to === "list" ? objectToList(source) : "rejected";
+  }
+  return from === "primitive" ? primitiveToObject(source) : listToObject(target);
+}
+const LITERAL_KEYWORDS = {
+  stringLiteral: "string",
+  numberLiteral: "number",
+  booleanLiteral: "boolean"
+};
+function primitiveRelation(source, target) {
+  if (target.kind !== "keyword" || source.kind === "keyword") {
+    return "rejected";
+  }
+  const keyword = LITERAL_KEYWORDS[source.kind];
+  return provenBy(keyword === target.keyword);
+}
+
+exports.crossCategoryRelation = crossCategoryRelation;
+exports.everyOf = everyOf;
+exports.primitiveRelation = primitiveRelation;
+exports.provenBy = provenBy;
+exports.someOf = someOf;
+//# sourceMappingURL=assignability.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assignability.cjs","sources":["../../../../src/application/transform/document/assignability.ts"],"sourcesContent":["import type { IrObjectType, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { indexSignaturesOf, nameOf, propertiesOf } from \"./type-resolution.js\";\n\n/**\n * What the `--path-params-as-types` overlap check knows about one type where another is expected.\n * `assignable` and `rejected` are proofs of what TypeScript decides (`strict`, without\n * `exactOptionalPropertyTypes`); `undecided` is a pair the check does not model, such as a utility\n * type or raw text. Only a rejection changes the output, so an undecided pair keeps the original.\n */\nexport type Assignability = \"assignable\" | \"rejected\" | \"undecided\";\n\n/**\n * All of the relations: rejected when one is, assignable when each is. The relations are computed\n * lazily, so a rejection stops the rest.\n */\nexport function everyOf<T>(\n  items: readonly T[],\n  relate: (item: T, index: number) => Assignability,\n): Assignability {\n  let result: Assignability = \"assignable\";\n  for (const [index, item] of items.entries()) {\n    const each = relate(item, index);\n    if (each === \"rejected\") {\n      return \"rejected\";\n    }\n    if (each === \"undecided\") {\n      result = \"undecided\";\n    }\n  }\n  return result;\n}\n\n/** One of the relations: assignable when one is, rejected when each is. */\nexport function someOf<T>(items: readonly T[], relate: (item: T) => Assignability): Assignability {\n  let result: Assignability = \"rejected\";\n  for (const item of items) {\n    const each = relate(item);\n    if (each === \"assignable\") {\n      return \"assignable\";\n    }\n    if (each === \"undecided\") {\n      result = \"undecided\";\n    }\n  }\n  return result;\n}\n\n/** Assignable when the condition holds, rejected when it does not. */\nexport function provenBy(condition: boolean): Assignability {\n  return condition ? \"assignable\" : \"rejected\";\n}\n\n/**\n * The kinds of resolved types the check tells apart. A type of one kind is never assignable to a\n * type of another, except that a primitive or a list may fit an object type (`string` fits\n * `{ length: number }`), which the check models only in part. `opaque` is any type it cannot\n * read.\n */\ntype TypeCategory = \"primitive\" | \"list\" | \"object\" | \"opaque\";\n\nfunction categoryOf(type: IrType): TypeCategory {\n  switch (type.kind) {\n    case \"keyword\":\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n    case \"booleanLiteral\":\n      return \"primitive\";\n    case \"array\":\n    case \"tuple\":\n    case \"readonly\":\n      return \"list\";\n    case \"object\":\n      return \"object\";\n    default:\n      return \"opaque\";\n  }\n}\n\n/** Keywords that are no object: `{}` rejects them under `strictNullChecks`. */\nconst NO_OBJECT_KEYWORDS: ReadonlySet<string> = new Set([\"null\", \"undefined\", \"unknown\", \"never\"]);\n\n/**\n * The members of `ReadonlyArray` and `Array` in the TypeScript libraries up to ESNext. An object\n * type that needs a property of another name is no list; a numeric name may be a tuple element.\n */\nconst ARRAY_MEMBER_NAMES: ReadonlySet<string> = new Set([\n  \"length\",\n  \"toString\",\n  \"toLocaleString\",\n  \"pop\",\n  \"push\",\n  \"concat\",\n  \"join\",\n  \"reverse\",\n  \"shift\",\n  \"slice\",\n  \"sort\",\n  \"splice\",\n  \"unshift\",\n  \"indexOf\",\n  \"lastIndexOf\",\n  \"every\",\n  \"some\",\n  \"forEach\",\n  \"map\",\n  \"filter\",\n  \"reduce\",\n  \"reduceRight\",\n  \"find\",\n  \"findIndex\",\n  \"fill\",\n  \"copyWithin\",\n  \"entries\",\n  \"keys\",\n  \"values\",\n  \"includes\",\n  \"flatMap\",\n  \"flat\",\n  \"at\",\n  \"findLast\",\n  \"findLastIndex\",\n  \"toReversed\",\n  \"toSorted\",\n  \"toSpliced\",\n  \"with\",\n]);\n\nconst ARRAY_LENGTH = \"length\";\n/** A tuple element's name: `\"0\"`, `\"1\"`. */\nconst ELEMENT_NAME_RE = /^\\d+$/;\n\nfunction isListMemberName(name: string): boolean {\n  return ARRAY_MEMBER_NAMES.has(name) || ELEMENT_NAME_RE.test(name);\n}\n\n/**\n * Whether a list fits an object type. It does not when the object needs a property no list has\n * (TS2741), or when the object is a weak type and no list has one of its properties (TS2559).\n */\nfunction listToObject(target: IrObjectType): Assignability {\n  const properties = [...propertiesOf(target).values()];\n  const isForeign = (property: IrPropertySignature) => !isListMemberName(nameOf(property));\n  const needsForeign = properties.some((property) => !property.isOptional && isForeign(property));\n  const isWeak =\n    properties.length > 0 &&\n    indexSignaturesOf(target).length === 0 &&\n    properties.every((property) => property.isOptional);\n  return needsForeign || (isWeak && properties.every(isForeign)) ? \"rejected\" : \"undecided\";\n}\n\n/**\n * Whether a primitive fits an object type: `null`, `undefined` and `unknown` never do; any other\n * may (`{}`, `{ length: number }`), which is not modelled.\n */\nfunction primitiveToObject(source: IrType): Assignability {\n  const isNoObject = source.kind === \"keyword\" && NO_OBJECT_KEYWORDS.has(source.keyword);\n  return isNoObject ? \"rejected\" : \"undecided\";\n}\n\n/** An object type fits an array only with all of its members; `length` is the first it needs. */\nfunction objectToList(source: IrObjectType): Assignability {\n  return propertiesOf(source).has(ARRAY_LENGTH) ? \"undecided\" : \"rejected\";\n}\n\n/**\n * The relation of two types of different categories, or null when they are of the same one.\n * Primitive and list targets accept nothing of another category; see `TypeCategory`.\n */\nexport function crossCategoryRelation(source: IrType, target: IrType): Assignability | null {\n  const from = categoryOf(source);\n  const to = categoryOf(target);\n  if (from === \"opaque\" || to === \"opaque\") {\n    return \"undecided\";\n  }\n  if (from === to) {\n    return null;\n  }\n  if (to !== \"object\") {\n    return source.kind === \"object\" && to === \"list\" ? objectToList(source) : \"rejected\";\n  }\n  return from === \"primitive\" ? primitiveToObject(source) : listToObject(target as IrObjectType);\n}\n\n/** The keyword a literal type belongs to. */\nconst LITERAL_KEYWORDS = {\n  stringLiteral: \"string\",\n  numberLiteral: \"number\",\n  booleanLiteral: \"boolean\",\n} as const;\n\n/**\n * The relation of two primitive types written differently (the same text is assignable). A\n * literal fits its keyword; any other pair is rejected: different keywords, different literals,\n * a keyword for one literal (a union of literals is compared in `type-assignability.ts`), and\n * anything for `never`.\n */\nexport function primitiveRelation(source: IrType, target: IrType): Assignability {\n  if (target.kind !== \"keyword\" || source.kind === \"keyword\") {\n    return \"rejected\";\n  }\n  const keyword = (LITERAL_KEYWORDS as Partial<Record<IrType[\"kind\"], string>>)[source.kind];\n  return provenBy(keyword === target.keyword);\n}\n"],"names":["propertiesOf","nameOf","indexSignaturesOf"],"mappings":";;;;AAeO,SAAS,OAAA,CACd,OACA,MAAA,EACe;AACf,EAAA,IAAI,MAAA,GAAwB,YAAA;AAC5B,EAAA,KAAA,MAAW,CAAC,KAAA,EAAO,IAAI,CAAA,IAAK,KAAA,CAAM,SAAQ,EAAG;AAC3C,IAAA,MAAM,IAAA,GAAO,MAAA,CAAO,IAAA,EAAM,KAAK,CAAA;AAC/B,IAAA,IAAI,SAAS,UAAA,EAAY;AACvB,MAAA,OAAO,UAAA;AAAA,IACT;AACA,IAAA,IAAI,SAAS,WAAA,EAAa;AACxB,MAAA,MAAA,GAAS,WAAA;AAAA,IACX;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,MAAA,CAAU,OAAqB,MAAA,EAAmD;AAChG,EAAA,IAAI,MAAA,GAAwB,UAAA;AAC5B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,IAAA,GAAO,OAAO,IAAI,CAAA;AACxB,IAAA,IAAI,SAAS,YAAA,EAAc;AACzB,MAAA,OAAO,YAAA;AAAA,IACT;AACA,IAAA,IAAI,SAAS,WAAA,EAAa;AACxB,MAAA,MAAA,GAAS,WAAA;AAAA,IACX;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,SAAS,SAAA,EAAmC;AAC1D,EAAA,OAAO,YAAY,YAAA,GAAe,UAAA;AACpC;AAUA,SAAS,WAAW,IAAA,EAA4B;AAC9C,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,gBAAA;AACH,MAAA,OAAO,WAAA;AAAA,IACT,KAAK,OAAA;AAAA,IACL,KAAK,OAAA;AAAA,IACL,KAAK,UAAA;AACH,MAAA,OAAO,MAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,QAAA;AAAA,IACT;AACE,MAAA,OAAO,QAAA;AAAA;AAEb;AAGA,MAAM,kBAAA,uBAA8C,GAAA,CAAI,CAAC,QAAQ,WAAA,EAAa,SAAA,EAAW,OAAO,CAAC,CAAA;AAMjG,MAAM,kBAAA,uBAA8C,GAAA,CAAI;AAAA,EACtD,QAAA;AAAA,EACA,UAAA;AAAA,EACA,gBAAA;AAAA,EACA,KAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,OAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA,SAAA;AAAA,EACA,aAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,KAAA;AAAA,EACA,QAAA;AAAA,EACA,QAAA;AAAA,EACA,aAAA;AAAA,EACA,MAAA;AAAA,EACA,WAAA;AAAA,EACA,MAAA;AAAA,EACA,YAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,IAAA;AAAA,EACA,UAAA;AAAA,EACA,eAAA;AAAA,EACA,YAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,YAAA,GAAe,QAAA;AAErB,MAAM,eAAA,GAAkB,OAAA;AAExB,SAAS,iBAAiB,IAAA,EAAuB;AAC/C,EAAA,OAAO,mBAAmB,GAAA,CAAI,IAAI,CAAA,IAAK,eAAA,CAAgB,KAAK,IAAI,CAAA;AAClE;AAMA,SAAS,aAAa,MAAA,EAAqC;AACzD,EAAA,MAAM,aAAa,CAAC,GAAGA,4BAAa,MAAM,CAAA,CAAE,QAAQ,CAAA;AACpD,EAAA,MAAM,YAAY,CAAC,QAAA,KAAkC,CAAC,gBAAA,CAAiBC,qBAAA,CAAO,QAAQ,CAAC,CAAA;AACvF,EAAA,MAAM,YAAA,GAAe,UAAA,CAAW,IAAA,CAAK,CAAC,QAAA,KAAa,CAAC,QAAA,CAAS,UAAA,IAAc,SAAA,CAAU,QAAQ,CAAC,CAAA;AAC9F,EAAA,MAAM,MAAA,GACJ,UAAA,CAAW,MAAA,GAAS,CAAA,IACpBC,iCAAkB,MAAM,CAAA,CAAE,MAAA,KAAW,CAAA,IACrC,UAAA,CAAW,KAAA,CAAM,CAAC,QAAA,KAAa,SAAS,UAAU,CAAA;AACpD,EAAA,OAAO,gBAAiB,MAAA,IAAU,UAAA,CAAW,KAAA,CAAM,SAAS,IAAK,UAAA,GAAa,WAAA;AAChF;AAMA,SAAS,kBAAkB,MAAA,EAA+B;AACxD,EAAA,MAAM,aAAa,MAAA,CAAO,IAAA,KAAS,aAAa,kBAAA,CAAmB,GAAA,CAAI,OAAO,OAAO,CAAA;AACrF,EAAA,OAAO,aAAa,UAAA,GAAa,WAAA;AACnC;AAGA,SAAS,aAAa,MAAA,EAAqC;AACzD,EAAA,OAAOF,4BAAa,MAAM,CAAA,CAAE,GAAA,CAAI,YAAY,IAAI,WAAA,GAAc,UAAA;AAChE;AAMO,SAAS,qBAAA,CAAsB,QAAgB,MAAA,EAAsC;AAC1F,EAAA,MAAM,IAAA,GAAO,WAAW,MAAM,CAAA;AAC9B,EAAA,MAAM,EAAA,GAAK,WAAW,MAAM,CAAA;AAC5B,EAAA,IAAI,IAAA,KAAS,QAAA,IAAY,EAAA,KAAO,QAAA,EAAU;AACxC,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAS,EAAA,EAAI;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAO,QAAA,EAAU;AACnB,IAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,MAAA,GAAS,YAAA,CAAa,MAAM,CAAA,GAAI,UAAA;AAAA,EAC5E;AACA,EAAA,OAAO,SAAS,WAAA,GAAc,iBAAA,CAAkB,MAAM,CAAA,GAAI,aAAa,MAAsB,CAAA;AAC/F;AAGA,MAAM,gBAAA,GAAmB;AAAA,EACvB,aAAA,EAAe,QAAA;AAAA,EACf,aAAA,EAAe,QAAA;AAAA,EACf,cAAA,EAAgB;AAClB,CAAA;AAQO,SAAS,iBAAA,CAAkB,QAAgB,MAAA,EAA+B;AAC/E,EAAA,IAAI,MAAA,CAAO,IAAA,KAAS,SAAA,IAAa,MAAA,CAAO,SAAS,SAAA,EAAW;AAC1D,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAW,gBAAA,CAA6D,MAAA,CAAO,IAAI,CAAA;AACzF,EAAA,OAAO,QAAA,CAAS,OAAA,KAAY,MAAA,CAAO,OAAO,CAAA;AAC5C;;;;;;"}

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

@@ -0,0 +1,138 @@
+import { propertiesOf, indexSignaturesOf, nameOf } from './type-resolution.mjs';
+
+function everyOf(items, relate) {
+  let result = "assignable";
+  for (const [index, item] of items.entries()) {
+    const each = relate(item, index);
+    if (each === "rejected") {
+      return "rejected";
+    }
+    if (each === "undecided") {
+      result = "undecided";
+    }
+  }
+  return result;
+}
+function someOf(items, relate) {
+  let result = "rejected";
+  for (const item of items) {
+    const each = relate(item);
+    if (each === "assignable") {
+      return "assignable";
+    }
+    if (each === "undecided") {
+      result = "undecided";
+    }
+  }
+  return result;
+}
+function provenBy(condition) {
+  return condition ? "assignable" : "rejected";
+}
+function categoryOf(type) {
+  switch (type.kind) {
+    case "keyword":
+    case "stringLiteral":
+    case "numberLiteral":
+    case "booleanLiteral":
+      return "primitive";
+    case "array":
+    case "tuple":
+    case "readonly":
+      return "list";
+    case "object":
+      return "object";
+    default:
+      return "opaque";
+  }
+}
+const NO_OBJECT_KEYWORDS = /* @__PURE__ */ new Set(["null", "undefined", "unknown", "never"]);
+const ARRAY_MEMBER_NAMES = /* @__PURE__ */ new Set([
+  "length",
+  "toString",
+  "toLocaleString",
+  "pop",
+  "push",
+  "concat",
+  "join",
+  "reverse",
+  "shift",
+  "slice",
+  "sort",
+  "splice",
+  "unshift",
+  "indexOf",
+  "lastIndexOf",
+  "every",
+  "some",
+  "forEach",
+  "map",
+  "filter",
+  "reduce",
+  "reduceRight",
+  "find",
+  "findIndex",
+  "fill",
+  "copyWithin",
+  "entries",
+  "keys",
+  "values",
+  "includes",
+  "flatMap",
+  "flat",
+  "at",
+  "findLast",
+  "findLastIndex",
+  "toReversed",
+  "toSorted",
+  "toSpliced",
+  "with"
+]);
+const ARRAY_LENGTH = "length";
+const ELEMENT_NAME_RE = /^\d+$/;
+function isListMemberName(name) {
+  return ARRAY_MEMBER_NAMES.has(name) || ELEMENT_NAME_RE.test(name);
+}
+function listToObject(target) {
+  const properties = [...propertiesOf(target).values()];
+  const isForeign = (property) => !isListMemberName(nameOf(property));
+  const needsForeign = properties.some((property) => !property.isOptional && isForeign(property));
+  const isWeak = properties.length > 0 && indexSignaturesOf(target).length === 0 && properties.every((property) => property.isOptional);
+  return needsForeign || isWeak && properties.every(isForeign) ? "rejected" : "undecided";
+}
+function primitiveToObject(source) {
+  const isNoObject = source.kind === "keyword" && NO_OBJECT_KEYWORDS.has(source.keyword);
+  return isNoObject ? "rejected" : "undecided";
+}
+function objectToList(source) {
+  return propertiesOf(source).has(ARRAY_LENGTH) ? "undecided" : "rejected";
+}
+function crossCategoryRelation(source, target) {
+  const from = categoryOf(source);
+  const to = categoryOf(target);
+  if (from === "opaque" || to === "opaque") {
+    return "undecided";
+  }
+  if (from === to) {
+    return null;
+  }
+  if (to !== "object") {
+    return source.kind === "object" && to === "list" ? objectToList(source) : "rejected";
+  }
+  return from === "primitive" ? primitiveToObject(source) : listToObject(target);
+}
+const LITERAL_KEYWORDS = {
+  stringLiteral: "string",
+  numberLiteral: "number",
+  booleanLiteral: "boolean"
+};
+function primitiveRelation(source, target) {
+  if (target.kind !== "keyword" || source.kind === "keyword") {
+    return "rejected";
+  }
+  const keyword = LITERAL_KEYWORDS[source.kind];
+  return provenBy(keyword === target.keyword);
+}
+
+export { crossCategoryRelation, everyOf, primitiveRelation, provenBy, someOf };
+//# sourceMappingURL=assignability.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assignability.mjs","sources":["../../../../src/application/transform/document/assignability.ts"],"sourcesContent":["import type { IrObjectType, IrPropertySignature, IrType } from \"../../../domain/ir/nodes.js\";\nimport { indexSignaturesOf, nameOf, propertiesOf } from \"./type-resolution.js\";\n\n/**\n * What the `--path-params-as-types` overlap check knows about one type where another is expected.\n * `assignable` and `rejected` are proofs of what TypeScript decides (`strict`, without\n * `exactOptionalPropertyTypes`); `undecided` is a pair the check does not model, such as a utility\n * type or raw text. Only a rejection changes the output, so an undecided pair keeps the original.\n */\nexport type Assignability = \"assignable\" | \"rejected\" | \"undecided\";\n\n/**\n * All of the relations: rejected when one is, assignable when each is. The relations are computed\n * lazily, so a rejection stops the rest.\n */\nexport function everyOf<T>(\n  items: readonly T[],\n  relate: (item: T, index: number) => Assignability,\n): Assignability {\n  let result: Assignability = \"assignable\";\n  for (const [index, item] of items.entries()) {\n    const each = relate(item, index);\n    if (each === \"rejected\") {\n      return \"rejected\";\n    }\n    if (each === \"undecided\") {\n      result = \"undecided\";\n    }\n  }\n  return result;\n}\n\n/** One of the relations: assignable when one is, rejected when each is. */\nexport function someOf<T>(items: readonly T[], relate: (item: T) => Assignability): Assignability {\n  let result: Assignability = \"rejected\";\n  for (const item of items) {\n    const each = relate(item);\n    if (each === \"assignable\") {\n      return \"assignable\";\n    }\n    if (each === \"undecided\") {\n      result = \"undecided\";\n    }\n  }\n  return result;\n}\n\n/** Assignable when the condition holds, rejected when it does not. */\nexport function provenBy(condition: boolean): Assignability {\n  return condition ? \"assignable\" : \"rejected\";\n}\n\n/**\n * The kinds of resolved types the check tells apart. A type of one kind is never assignable to a\n * type of another, except that a primitive or a list may fit an object type (`string` fits\n * `{ length: number }`), which the check models only in part. `opaque` is any type it cannot\n * read.\n */\ntype TypeCategory = \"primitive\" | \"list\" | \"object\" | \"opaque\";\n\nfunction categoryOf(type: IrType): TypeCategory {\n  switch (type.kind) {\n    case \"keyword\":\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n    case \"booleanLiteral\":\n      return \"primitive\";\n    case \"array\":\n    case \"tuple\":\n    case \"readonly\":\n      return \"list\";\n    case \"object\":\n      return \"object\";\n    default:\n      return \"opaque\";\n  }\n}\n\n/** Keywords that are no object: `{}` rejects them under `strictNullChecks`. */\nconst NO_OBJECT_KEYWORDS: ReadonlySet<string> = new Set([\"null\", \"undefined\", \"unknown\", \"never\"]);\n\n/**\n * The members of `ReadonlyArray` and `Array` in the TypeScript libraries up to ESNext. An object\n * type that needs a property of another name is no list; a numeric name may be a tuple element.\n */\nconst ARRAY_MEMBER_NAMES: ReadonlySet<string> = new Set([\n  \"length\",\n  \"toString\",\n  \"toLocaleString\",\n  \"pop\",\n  \"push\",\n  \"concat\",\n  \"join\",\n  \"reverse\",\n  \"shift\",\n  \"slice\",\n  \"sort\",\n  \"splice\",\n  \"unshift\",\n  \"indexOf\",\n  \"lastIndexOf\",\n  \"every\",\n  \"some\",\n  \"forEach\",\n  \"map\",\n  \"filter\",\n  \"reduce\",\n  \"reduceRight\",\n  \"find\",\n  \"findIndex\",\n  \"fill\",\n  \"copyWithin\",\n  \"entries\",\n  \"keys\",\n  \"values\",\n  \"includes\",\n  \"flatMap\",\n  \"flat\",\n  \"at\",\n  \"findLast\",\n  \"findLastIndex\",\n  \"toReversed\",\n  \"toSorted\",\n  \"toSpliced\",\n  \"with\",\n]);\n\nconst ARRAY_LENGTH = \"length\";\n/** A tuple element's name: `\"0\"`, `\"1\"`. */\nconst ELEMENT_NAME_RE = /^\\d+$/;\n\nfunction isListMemberName(name: string): boolean {\n  return ARRAY_MEMBER_NAMES.has(name) || ELEMENT_NAME_RE.test(name);\n}\n\n/**\n * Whether a list fits an object type. It does not when the object needs a property no list has\n * (TS2741), or when the object is a weak type and no list has one of its properties (TS2559).\n */\nfunction listToObject(target: IrObjectType): Assignability {\n  const properties = [...propertiesOf(target).values()];\n  const isForeign = (property: IrPropertySignature) => !isListMemberName(nameOf(property));\n  const needsForeign = properties.some((property) => !property.isOptional && isForeign(property));\n  const isWeak =\n    properties.length > 0 &&\n    indexSignaturesOf(target).length === 0 &&\n    properties.every((property) => property.isOptional);\n  return needsForeign || (isWeak && properties.every(isForeign)) ? \"rejected\" : \"undecided\";\n}\n\n/**\n * Whether a primitive fits an object type: `null`, `undefined` and `unknown` never do; any other\n * may (`{}`, `{ length: number }`), which is not modelled.\n */\nfunction primitiveToObject(source: IrType): Assignability {\n  const isNoObject = source.kind === \"keyword\" && NO_OBJECT_KEYWORDS.has(source.keyword);\n  return isNoObject ? \"rejected\" : \"undecided\";\n}\n\n/** An object type fits an array only with all of its members; `length` is the first it needs. */\nfunction objectToList(source: IrObjectType): Assignability {\n  return propertiesOf(source).has(ARRAY_LENGTH) ? \"undecided\" : \"rejected\";\n}\n\n/**\n * The relation of two types of different categories, or null when they are of the same one.\n * Primitive and list targets accept nothing of another category; see `TypeCategory`.\n */\nexport function crossCategoryRelation(source: IrType, target: IrType): Assignability | null {\n  const from = categoryOf(source);\n  const to = categoryOf(target);\n  if (from === \"opaque\" || to === \"opaque\") {\n    return \"undecided\";\n  }\n  if (from === to) {\n    return null;\n  }\n  if (to !== \"object\") {\n    return source.kind === \"object\" && to === \"list\" ? objectToList(source) : \"rejected\";\n  }\n  return from === \"primitive\" ? primitiveToObject(source) : listToObject(target as IrObjectType);\n}\n\n/** The keyword a literal type belongs to. */\nconst LITERAL_KEYWORDS = {\n  stringLiteral: \"string\",\n  numberLiteral: \"number\",\n  booleanLiteral: \"boolean\",\n} as const;\n\n/**\n * The relation of two primitive types written differently (the same text is assignable). A\n * literal fits its keyword; any other pair is rejected: different keywords, different literals,\n * a keyword for one literal (a union of literals is compared in `type-assignability.ts`), and\n * anything for `never`.\n */\nexport function primitiveRelation(source: IrType, target: IrType): Assignability {\n  if (target.kind !== \"keyword\" || source.kind === \"keyword\") {\n    return \"rejected\";\n  }\n  const keyword = (LITERAL_KEYWORDS as Partial<Record<IrType[\"kind\"], string>>)[source.kind];\n  return provenBy(keyword === target.keyword);\n}\n"],"names":[],"mappings":";;AAeO,SAAS,OAAA,CACd,OACA,MAAA,EACe;AACf,EAAA,IAAI,MAAA,GAAwB,YAAA;AAC5B,EAAA,KAAA,MAAW,CAAC,KAAA,EAAO,IAAI,CAAA,IAAK,KAAA,CAAM,SAAQ,EAAG;AAC3C,IAAA,MAAM,IAAA,GAAO,MAAA,CAAO,IAAA,EAAM,KAAK,CAAA;AAC/B,IAAA,IAAI,SAAS,UAAA,EAAY;AACvB,MAAA,OAAO,UAAA;AAAA,IACT;AACA,IAAA,IAAI,SAAS,WAAA,EAAa;AACxB,MAAA,MAAA,GAAS,WAAA;AAAA,IACX;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,MAAA,CAAU,OAAqB,MAAA,EAAmD;AAChG,EAAA,IAAI,MAAA,GAAwB,UAAA;AAC5B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,IAAA,GAAO,OAAO,IAAI,CAAA;AACxB,IAAA,IAAI,SAAS,YAAA,EAAc;AACzB,MAAA,OAAO,YAAA;AAAA,IACT;AACA,IAAA,IAAI,SAAS,WAAA,EAAa;AACxB,MAAA,MAAA,GAAS,WAAA;AAAA,IACX;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAGO,SAAS,SAAS,SAAA,EAAmC;AAC1D,EAAA,OAAO,YAAY,YAAA,GAAe,UAAA;AACpC;AAUA,SAAS,WAAW,IAAA,EAA4B;AAC9C,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,SAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AAAA,IACL,KAAK,gBAAA;AACH,MAAA,OAAO,WAAA;AAAA,IACT,KAAK,OAAA;AAAA,IACL,KAAK,OAAA;AAAA,IACL,KAAK,UAAA;AACH,MAAA,OAAO,MAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,QAAA;AAAA,IACT;AACE,MAAA,OAAO,QAAA;AAAA;AAEb;AAGA,MAAM,kBAAA,uBAA8C,GAAA,CAAI,CAAC,QAAQ,WAAA,EAAa,SAAA,EAAW,OAAO,CAAC,CAAA;AAMjG,MAAM,kBAAA,uBAA8C,GAAA,CAAI;AAAA,EACtD,QAAA;AAAA,EACA,UAAA;AAAA,EACA,gBAAA;AAAA,EACA,KAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,OAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA,SAAA;AAAA,EACA,aAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,KAAA;AAAA,EACA,QAAA;AAAA,EACA,QAAA;AAAA,EACA,aAAA;AAAA,EACA,MAAA;AAAA,EACA,WAAA;AAAA,EACA,MAAA;AAAA,EACA,YAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,IAAA;AAAA,EACA,UAAA;AAAA,EACA,eAAA;AAAA,EACA,YAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,MAAM,YAAA,GAAe,QAAA;AAErB,MAAM,eAAA,GAAkB,OAAA;AAExB,SAAS,iBAAiB,IAAA,EAAuB;AAC/C,EAAA,OAAO,mBAAmB,GAAA,CAAI,IAAI,CAAA,IAAK,eAAA,CAAgB,KAAK,IAAI,CAAA;AAClE;AAMA,SAAS,aAAa,MAAA,EAAqC;AACzD,EAAA,MAAM,aAAa,CAAC,GAAG,aAAa,MAAM,CAAA,CAAE,QAAQ,CAAA;AACpD,EAAA,MAAM,YAAY,CAAC,QAAA,KAAkC,CAAC,gBAAA,CAAiB,MAAA,CAAO,QAAQ,CAAC,CAAA;AACvF,EAAA,MAAM,YAAA,GAAe,UAAA,CAAW,IAAA,CAAK,CAAC,QAAA,KAAa,CAAC,QAAA,CAAS,UAAA,IAAc,SAAA,CAAU,QAAQ,CAAC,CAAA;AAC9F,EAAA,MAAM,MAAA,GACJ,UAAA,CAAW,MAAA,GAAS,CAAA,IACpB,kBAAkB,MAAM,CAAA,CAAE,MAAA,KAAW,CAAA,IACrC,UAAA,CAAW,KAAA,CAAM,CAAC,QAAA,KAAa,SAAS,UAAU,CAAA;AACpD,EAAA,OAAO,gBAAiB,MAAA,IAAU,UAAA,CAAW,KAAA,CAAM,SAAS,IAAK,UAAA,GAAa,WAAA;AAChF;AAMA,SAAS,kBAAkB,MAAA,EAA+B;AACxD,EAAA,MAAM,aAAa,MAAA,CAAO,IAAA,KAAS,aAAa,kBAAA,CAAmB,GAAA,CAAI,OAAO,OAAO,CAAA;AACrF,EAAA,OAAO,aAAa,UAAA,GAAa,WAAA;AACnC;AAGA,SAAS,aAAa,MAAA,EAAqC;AACzD,EAAA,OAAO,aAAa,MAAM,CAAA,CAAE,GAAA,CAAI,YAAY,IAAI,WAAA,GAAc,UAAA;AAChE;AAMO,SAAS,qBAAA,CAAsB,QAAgB,MAAA,EAAsC;AAC1F,EAAA,MAAM,IAAA,GAAO,WAAW,MAAM,CAAA;AAC9B,EAAA,MAAM,EAAA,GAAK,WAAW,MAAM,CAAA;AAC5B,EAAA,IAAI,IAAA,KAAS,QAAA,IAAY,EAAA,KAAO,QAAA,EAAU;AACxC,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAS,EAAA,EAAI;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAO,QAAA,EAAU;AACnB,IAAA,OAAO,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,MAAA,GAAS,YAAA,CAAa,MAAM,CAAA,GAAI,UAAA;AAAA,EAC5E;AACA,EAAA,OAAO,SAAS,WAAA,GAAc,iBAAA,CAAkB,MAAM,CAAA,GAAI,aAAa,MAAsB,CAAA;AAC/F;AAGA,MAAM,gBAAA,GAAmB;AAAA,EACvB,aAAA,EAAe,QAAA;AAAA,EACf,aAAA,EAAe,QAAA;AAAA,EACf,cAAA,EAAgB;AAClB,CAAA;AAQO,SAAS,iBAAA,CAAkB,QAAgB,MAAA,EAA+B;AAC/E,EAAA,IAAI,MAAA,CAAO,IAAA,KAAS,SAAA,IAAa,MAAA,CAAO,SAAS,SAAA,EAAW;AAC1D,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,MAAM,OAAA,GAAW,gBAAA,CAA6D,MAAA,CAAO,IAAI,CAAA;AACzF,EAAA,OAAO,QAAA,CAAS,OAAA,KAAY,MAAA,CAAO,OAAO,CAAA;AAC5C;;"}

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

@@ -34,7 +34,7 @@ function componentMember(kind, name, item, context) {
     isOptional: custom?.isOptional ?? false,
     isReadonly: context.options.immutable
   });
-  return schemaComment.withSchemaComment(property, item);
+  return schemaComment.withSchemaComment(property, item, schemaComment.schemaCommentOptionsOf(context.options.fixes));
 }
 function rootTypeName(kind, name, aliases, context) {
   const { options, casing } = context;
@@ -96,7 +96,7 @@ function componentsType(components, context, kept = /* @__PURE__ */ new Set()) {
   const rootTypes = Object.values(aliases);
   return {
     type: constructors.irObject(members),
-    rootTypes: [...rootTypes, ...rootTypeAliases.numberDisplacedAliases(displaced ?? [], rootTypes)]
+    rootTypes: [...rootTypes, ...displaced ?? []]
   };
 }
 

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

@@ -1 +1 @@
-{"version":3,"file":"components.cjs","sources":["../../../../src/application/transform/document/components.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport {\n  hasIdentifierStart,\n  isReservedTypeName,\n  withIdentifierParts,\n} from \"../../../domain/ir/identifier-text.js\";\nimport type {\n  IrPropertySignature,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport {\n  COMPONENT_KINDS,\n  type ComponentKind,\n  type ComponentsObject,\n  DECLARED_COMPONENT_KINDS,\n  isEnumSchema,\n  singularizeComponentKind,\n} from \"../../../domain/openapi/components-object.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { type DeprecatedEntryFilter, documentEntries } from \"../document-entries.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { headerType } from \"./header.js\";\nimport { contentEntryType } from \"./media-type.js\";\nimport { parameterType } from \"./parameter.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport { requestBodyType } from \"./request-body.js\";\nimport { responseType } from \"./response.js\";\nimport { numberDisplacedAliases, rootTypeAlias } from \"./root-type-aliases.js\";\n\ntype ComponentTransform = (\n  item: never,\n  location: SchemaLocation,\n  context: TransformContext,\n) => IrType;\n\nconst COMPONENT_TRANSFORMS: Readonly<Record<ComponentKind, ComponentTransform>> = {\n  schemas: transformSchema,\n  responses: responseType,\n  parameters: parameterType,\n  requestBodies: requestBodyType,\n  headers: headerType,\n  pathItems: pathItemType,\n  mediaTypes: contentEntryType,\n};\n\n/** The `components` type and the `--root-types` aliases. */\nexport interface ComponentsResult {\n  readonly type: IrType;\n  readonly rootTypes: readonly IrTypeAliasDeclaration[];\n}\n\n/** One component; the `transform` callback may replace its type, as for nested schemas. */\nfunction componentMember(\n  kind: ComponentKind,\n  name: string,\n  item: unknown,\n  context: TransformContext,\n): IrPropertySignature {\n  const location = { path: createRef([\"components\", kind, name]), schema: item };\n  const type = COMPONENT_TRANSFORMS[kind](item as never, location, context);\n  const custom = context.callbacks.transform(item, location);\n  const property = irProperty(toPropertyName(name), custom?.type ?? type, {\n    isOptional: custom?.isOptional ?? false,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, item);\n}\n\n/**\n * The root alias name: `SchemaPet`, `ResponseNotFound`, … A taken name gets `_2`, `_3`, … The\n * original checks for conflicts before it removes the schema prefix, and so does this; for a clash\n * of exported names see `addRootAlias`.\n *\n * The original could build a name that is no identifier, so the generated file did not parse\n * (research/legacy-bugs.md, item 16): a kept casing keeps spaces and symbols, which become `_`;\n * and a name without the prefix can start with a digit, so it keeps the prefix (`Schema1`). A\n * kept casing without the prefix can also give a reserved name (`void`, `class`), which keeps the\n * prefix too (`Schemavoid`).\n */\nfunction rootTypeName(\n  kind: ComponentKind,\n  name: string,\n  aliases: Readonly<Record<string, IrTypeAliasDeclaration>>,\n  context: TransformContext,\n): string {\n  const { options, casing } = context;\n  const prefix = casing.pascalCase(singularizeComponentKind(kind));\n  const isSchema = kind === \"schemas\";\n  const base = withIdentifierParts(\n    options.rootTypesKeepCasing && isSchema ? name : casing.pascalCase(name),\n  );\n  const exportedName = (alias: string): string => {\n    const unprefixed = alias.replace(prefix, \"\");\n    const isUnprefixed = options.rootTypesNoSchemaPrefix && isSchema;\n    const isTypeName = hasIdentifierStart(unprefixed) && !isReservedTypeName(unprefixed);\n    return isUnprefixed && isTypeName ? unprefixed : alias;\n  };\n  let alias = `${prefix}${base}`;\n  for (let counter = 2; aliases[alias] !== undefined; counter++) {\n    alias = `${prefix}${base}_${counter}`;\n  }\n  return exportedName(alias);\n}\n\n/**\n * Add a root alias. When its exported name is taken (two schemas of one PascalCase name without\n * the prefix), the later schema takes the name, as in the original. Without the\n * `root-type-numbering` fix the earlier one then has no alias: that output is valid, so a number\n * for it would change it (backlog 30). With the fix the earlier alias is kept aside and numbered\n * at the end.\n */\nfunction addRootAlias(request: ComponentsRequest, alias: IrTypeAliasDeclaration): void {\n  const { aliases, displaced } = request;\n  const previous = aliases[alias.name];\n  if (previous !== undefined && displaced !== null) {\n    displaced.push(previous);\n  }\n  aliases[alias.name] = alias;\n}\n\n/** `--root-types` skips enum schemas under `--enum`: the enum itself is exported. */\nfunction hasRootType(kind: ComponentKind, item: unknown, context: TransformContext): boolean {\n  const { options } = context;\n  return options.rootTypes && !(options.enum && kind === \"schemas\" && isEnumSchema(item));\n}\n\n/** The components of one run, and the deprecated ones that kept output still references. */\ninterface ComponentsRequest {\n  readonly components: ComponentsObject;\n  readonly isKept: DeprecatedEntryFilter;\n  readonly aliases: Record<string, IrTypeAliasDeclaration>;\n  /** With the `root-type-numbering` fix: the aliases a later schema took the name of, in order. */\n  readonly displaced: IrTypeAliasDeclaration[] | null;\n}\n\nfunction kindMember(\n  kind: ComponentKind,\n  request: ComponentsRequest,\n  context: TransformContext,\n): IrPropertySignature {\n  const { components, isKept, aliases } = request;\n  const startedAt = context.diagnostics.now();\n  const items: IrPropertySignature[] = [];\n  for (const [name, item] of documentEntries(components[kind] ?? {}, context.options, isKept)) {\n    items.push(componentMember(kind, name, item, context));\n    if (hasRootType(kind, item, context)) {\n      addRootAlias(request, rootTypeAlias(rootTypeName(kind, name, aliases, context), kind, name));\n    }\n  }\n  const type = items.length > 0 ? irObject(items) : irKeyword(\"never\");\n  context.diagnostics.debug(\n    `Transformed components → ${kind}`,\n    context.diagnostics.now() - startedAt,\n  );\n  return irProperty(toPropertyName(kind), type);\n}\n\n/**\n * The `components` interface body (OpenAPI 3.1 §4.8.7), one member per component kind. With\n * `--exclude-deprecated`, `kept` holds the deprecated components that kept output references\n * (`keptDeprecatedComponents`); they stay, so no reference names a missing key.\n */\nexport function componentsType(\n  components: ComponentsObject,\n  context: TransformContext,\n  kept: ReadonlySet<object> = new Set(),\n): ComponentsResult {\n  // A plain object, as in the original: its key order (integer-like names first) is the\n  // output order.\n  const aliases: Record<string, IrTypeAliasDeclaration> = {};\n  const displaced = context.options.fixes.has(OutputFix.ROOT_TYPE_NUMBERING) ? [] : null;\n  const isKept = (item: unknown) => kept.has(item as object);\n  const request = { components, isKept, aliases, displaced };\n  const declaredKinds = DECLARED_COMPONENT_KINDS.filter((kind) => components[kind] !== undefined);\n  const members = [...COMPONENT_KINDS, ...declaredKinds].map((kind) =>\n    kindMember(kind, request, context),\n  );\n  const rootTypes = Object.values(aliases);\n  return {\n    type: irObject(members),\n    rootTypes: [...rootTypes, ...numberDisplacedAliases(displaced ?? [], rootTypes)],\n  };\n}\n"],"names":["transformSchema","responseType","parameterType","requestBodyType","headerType","pathItemType","contentEntryType","createRef","irProperty","toPropertyName","withSchemaComment","singularizeComponentKind","withIdentifierParts","alias","hasIdentifierStart","isReservedTypeName","isEnumSchema","documentEntries","rootTypeAlias","irObject","irKeyword","OutputFix","DECLARED_COMPONENT_KINDS","COMPONENT_KINDS","numberDisplacedAliases"],"mappings":";;;;;;;;;;;;;;;;;;;AAyCA,MAAM,oBAAA,GAA4E;AAAA,EAChF,OAAA,EAASA,+BAAA;AAAA,EACT,SAAA,EAAWC,qBAAA;AAAA,EACX,UAAA,EAAYC,uBAAA;AAAA,EACZ,aAAA,EAAeC,2BAAA;AAAA,EACf,OAAA,EAASC,iBAAA;AAAA,EACT,SAAA,EAAWC,qBAAA;AAAA,EACX,UAAA,EAAYC;AACd,CAAA;AASA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAMC,qBAAA,CAAU,CAAC,YAAA,EAAc,IAAA,EAAM,IAAI,CAAC,CAAA,EAAG,MAAA,EAAQ,IAAA,EAAK;AAC7E,EAAA,MAAM,OAAO,oBAAA,CAAqB,IAAI,CAAA,CAAE,IAAA,EAAe,UAAU,OAAO,CAAA;AACxE,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,SAAA,CAAU,SAAA,CAAU,MAAM,QAAQ,CAAA;AACzD,EAAA,MAAM,WAAWC,uBAAA,CAAWC,2BAAA,CAAe,IAAI,CAAA,EAAG,MAAA,EAAQ,QAAQ,IAAA,EAAM;AAAA,IACtE,UAAA,EAAY,QAAQ,UAAA,IAAc,KAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAOC,+BAAA,CAAkB,UAAU,IAAI,CAAA;AACzC;AAaA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,EAAE,OAAA,EAAS,MAAA,EAAO,GAAI,OAAA;AAC5B,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,UAAA,CAAWC,yCAAA,CAAyB,IAAI,CAAC,CAAA;AAC/D,EAAA,MAAM,WAAW,IAAA,KAAS,SAAA;AAC1B,EAAA,MAAM,IAAA,GAAOC,kCAAA;AAAA,IACX,QAAQ,mBAAA,IAAuB,QAAA,GAAW,IAAA,GAAO,MAAA,CAAO,WAAW,IAAI;AAAA,GACzE;AACA,EAAA,MAAM,YAAA,GAAe,CAACC,MAAAA,KAA0B;AAC9C,IAAA,MAAM,UAAA,GAAaA,MAAAA,CAAM,OAAA,CAAQ,MAAA,EAAQ,EAAE,CAAA;AAC3C,IAAA,MAAM,YAAA,GAAe,QAAQ,uBAAA,IAA2B,QAAA;AACxD,IAAA,MAAM,aAAaC,iCAAA,CAAmB,UAAU,CAAA,IAAK,CAACC,kCAAmB,UAAU,CAAA;AACnF,IAAA,OAAO,YAAA,IAAgB,aAAa,UAAA,GAAaF,MAAAA;AAAA,EACnD,CAAA;AACA,EAAA,IAAI,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,CAAA,CAAA;AAC5B,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,OAAA,CAAQ,KAAK,CAAA,KAAM,QAAW,OAAA,EAAA,EAAW;AAC7D,IAAA,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,IAAI,OAAO,CAAA,CAAA;AAAA,EACrC;AACA,EAAA,OAAO,aAAa,KAAK,CAAA;AAC3B;AASA,SAAS,YAAA,CAAa,SAA4B,KAAA,EAAqC;AACrF,EAAA,MAAM,EAAE,OAAA,EAAS,SAAA,EAAU,GAAI,OAAA;AAC/B,EAAA,MAAM,QAAA,GAAW,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA;AACnC,EAAA,IAAI,QAAA,KAAa,MAAA,IAAa,SAAA,KAAc,IAAA,EAAM;AAChD,IAAA,SAAA,CAAU,KAAK,QAAQ,CAAA;AAAA,EACzB;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA;AACxB;AAGA,SAAS,WAAA,CAAY,IAAA,EAAqB,IAAA,EAAe,OAAA,EAAoC;AAC3F,EAAA,MAAM,EAAE,SAAQ,GAAI,OAAA;AACpB,EAAA,OAAO,OAAA,CAAQ,aAAa,EAAE,OAAA,CAAQ,QAAQ,IAAA,KAAS,SAAA,IAAaG,8BAAa,IAAI,CAAA,CAAA;AACvF;AAWA,SAAS,UAAA,CACP,IAAA,EACA,OAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAA,EAAY,MAAA,EAAQ,OAAA,EAAQ,GAAI,OAAA;AACxC,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,QAA+B,EAAC;AACtC,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,IAAI,CAAA,IAAKC,+BAAA,CAAgB,UAAA,CAAW,IAAI,CAAA,IAAK,EAAC,EAAG,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA,EAAG;AAC3F,IAAA,KAAA,CAAM,KAAK,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AACrD,IAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,OAAO,CAAA,EAAG;AACpC,MAAA,YAAA,CAAa,OAAA,EAASC,6BAAA,CAAc,YAAA,CAAa,IAAA,EAAM,IAAA,EAAM,SAAS,OAAO,CAAA,EAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,IAC7F;AAAA,EACF;AACA,EAAA,MAAM,IAAA,GAAO,MAAM,MAAA,GAAS,CAAA,GAAIC,sBAAS,KAAK,CAAA,GAAIC,uBAAU,OAAO,CAAA;AACnE,EAAA,OAAA,CAAQ,WAAA,CAAY,KAAA;AAAA,IAClB,iCAA4B,IAAI,CAAA,CAAA;AAAA,IAChC,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI;AAAA,GAC9B;AACA,EAAA,OAAOZ,uBAAA,CAAWC,2BAAA,CAAe,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9C;AAOO,SAAS,eACd,UAAA,EACA,OAAA,EACA,IAAA,mBAA4B,IAAI,KAAI,EAClB;AAGlB,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,OAAA,CAAQ,KAAA,CAAM,IAAIY,qBAAA,CAAU,mBAAmB,CAAA,GAAI,EAAC,GAAI,IAAA;AAClF,EAAA,MAAM,MAAA,GAAS,CAAC,IAAA,KAAkB,IAAA,CAAK,IAAI,IAAc,CAAA;AACzD,EAAA,MAAM,OAAA,GAAU,EAAE,UAAA,EAAY,MAAA,EAAQ,SAAS,SAAA,EAAU;AACzD,EAAA,MAAM,aAAA,GAAgBC,0CAAyB,MAAA,CAAO,CAAC,SAAS,UAAA,CAAW,IAAI,MAAM,MAAS,CAAA;AAC9F,EAAA,MAAM,UAAU,CAAC,GAAGC,gCAAA,EAAiB,GAAG,aAAa,CAAA,CAAE,GAAA;AAAA,IAAI,CAAC,IAAA,KAC1D,UAAA,CAAW,IAAA,EAAM,SAAS,OAAO;AAAA,GACnC;AACA,EAAA,MAAM,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,OAAO,CAAA;AACvC,EAAA,OAAO;AAAA,IACL,IAAA,EAAMJ,sBAAS,OAAO,CAAA;AAAA,IACtB,SAAA,EAAW,CAAC,GAAG,SAAA,EAAW,GAAGK,uCAAuB,SAAA,IAAa,EAAC,EAAG,SAAS,CAAC;AAAA,GACjF;AACF;;"}
+{"version":3,"file":"components.cjs","sources":["../../../../src/application/transform/document/components.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport {\n  hasIdentifierStart,\n  isReservedTypeName,\n  withIdentifierParts,\n} from \"../../../domain/ir/identifier-text.js\";\nimport type {\n  IrPropertySignature,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport {\n  COMPONENT_KINDS,\n  type ComponentKind,\n  type ComponentsObject,\n  DECLARED_COMPONENT_KINDS,\n  isEnumSchema,\n  singularizeComponentKind,\n} from \"../../../domain/openapi/components-object.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { type DeprecatedEntryFilter, documentEntries } from \"../document-entries.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { schemaCommentOptionsOf, withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { headerType } from \"./header.js\";\nimport { contentEntryType } from \"./media-type.js\";\nimport { parameterType } from \"./parameter.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport { requestBodyType } from \"./request-body.js\";\nimport { responseType } from \"./response.js\";\nimport { rootTypeAlias } from \"./root-type-aliases.js\";\n\ntype ComponentTransform = (\n  item: never,\n  location: SchemaLocation,\n  context: TransformContext,\n) => IrType;\n\nconst COMPONENT_TRANSFORMS: Readonly<Record<ComponentKind, ComponentTransform>> = {\n  schemas: transformSchema,\n  responses: responseType,\n  parameters: parameterType,\n  requestBodies: requestBodyType,\n  headers: headerType,\n  pathItems: pathItemType,\n  mediaTypes: contentEntryType,\n};\n\n/** The `components` type and the `--root-types` aliases. */\nexport interface ComponentsResult {\n  readonly type: IrType;\n  readonly rootTypes: readonly IrTypeAliasDeclaration[];\n}\n\n/** One component; the `transform` callback may replace its type, as for nested schemas. */\nfunction componentMember(\n  kind: ComponentKind,\n  name: string,\n  item: unknown,\n  context: TransformContext,\n): IrPropertySignature {\n  const location = { path: createRef([\"components\", kind, name]), schema: item };\n  const type = COMPONENT_TRANSFORMS[kind](item as never, location, context);\n  const custom = context.callbacks.transform(item, location);\n  const property = irProperty(toPropertyName(name), custom?.type ?? type, {\n    isOptional: custom?.isOptional ?? false,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, item, schemaCommentOptionsOf(context.options.fixes));\n}\n\n/**\n * The root alias name: `SchemaPet`, `ResponseNotFound`, … A taken name gets `_2`, `_3`, … The\n * original checks for conflicts before it removes the schema prefix, and so does this; for a clash\n * of exported names see `addRootAlias`.\n *\n * The original could build a name that is no identifier, so the generated file did not parse\n * (research/legacy-bugs.md, item 16): a kept casing keeps spaces and symbols, which become `_`;\n * and a name without the prefix can start with a digit, so it keeps the prefix (`Schema1`). A\n * kept casing without the prefix can also give a reserved name (`void`, `class`), which keeps the\n * prefix too (`Schemavoid`).\n */\nfunction rootTypeName(\n  kind: ComponentKind,\n  name: string,\n  aliases: Readonly<Record<string, IrTypeAliasDeclaration>>,\n  context: TransformContext,\n): string {\n  const { options, casing } = context;\n  const prefix = casing.pascalCase(singularizeComponentKind(kind));\n  const isSchema = kind === \"schemas\";\n  const base = withIdentifierParts(\n    options.rootTypesKeepCasing && isSchema ? name : casing.pascalCase(name),\n  );\n  const exportedName = (alias: string): string => {\n    const unprefixed = alias.replace(prefix, \"\");\n    const isUnprefixed = options.rootTypesNoSchemaPrefix && isSchema;\n    const isTypeName = hasIdentifierStart(unprefixed) && !isReservedTypeName(unprefixed);\n    return isUnprefixed && isTypeName ? unprefixed : alias;\n  };\n  let alias = `${prefix}${base}`;\n  for (let counter = 2; aliases[alias] !== undefined; counter++) {\n    alias = `${prefix}${base}_${counter}`;\n  }\n  return exportedName(alias);\n}\n\n/**\n * Add a root alias. When its exported name is taken (two schemas of one PascalCase name without\n * the prefix), the later schema takes the name, as in the original. Without the\n * `root-type-numbering` fix the earlier one then has no alias: that output is valid, so a number\n * for it would change it (backlog 30). With the fix the earlier alias is kept aside and follows\n * the others under the same name; `renameTakenAliases` numbers it once every name is known.\n */\nfunction addRootAlias(request: ComponentsRequest, alias: IrTypeAliasDeclaration): void {\n  const { aliases, displaced } = request;\n  const previous = aliases[alias.name];\n  if (previous !== undefined && displaced !== null) {\n    displaced.push(previous);\n  }\n  aliases[alias.name] = alias;\n}\n\n/** `--root-types` skips enum schemas under `--enum`: the enum itself is exported. */\nfunction hasRootType(kind: ComponentKind, item: unknown, context: TransformContext): boolean {\n  const { options } = context;\n  return options.rootTypes && !(options.enum && kind === \"schemas\" && isEnumSchema(item));\n}\n\n/** The components of one run, and the deprecated ones that kept output still references. */\ninterface ComponentsRequest {\n  readonly components: ComponentsObject;\n  readonly isKept: DeprecatedEntryFilter;\n  readonly aliases: Record<string, IrTypeAliasDeclaration>;\n  /** With the `root-type-numbering` fix: the aliases a later schema took the name of, in order. */\n  readonly displaced: IrTypeAliasDeclaration[] | null;\n}\n\nfunction kindMember(\n  kind: ComponentKind,\n  request: ComponentsRequest,\n  context: TransformContext,\n): IrPropertySignature {\n  const { components, isKept, aliases } = request;\n  const startedAt = context.diagnostics.now();\n  const items: IrPropertySignature[] = [];\n  for (const [name, item] of documentEntries(components[kind] ?? {}, context.options, isKept)) {\n    items.push(componentMember(kind, name, item, context));\n    if (hasRootType(kind, item, context)) {\n      addRootAlias(request, rootTypeAlias(rootTypeName(kind, name, aliases, context), kind, name));\n    }\n  }\n  const type = items.length > 0 ? irObject(items) : irKeyword(\"never\");\n  context.diagnostics.debug(\n    `Transformed components → ${kind}`,\n    context.diagnostics.now() - startedAt,\n  );\n  return irProperty(toPropertyName(kind), type);\n}\n\n/**\n * The `components` interface body (OpenAPI 3.1 §4.8.7), one member per component kind. With\n * `--exclude-deprecated`, `kept` holds the deprecated components that kept output references\n * (`keptDeprecatedComponents`); they stay, so no reference names a missing key.\n */\nexport function componentsType(\n  components: ComponentsObject,\n  context: TransformContext,\n  kept: ReadonlySet<object> = new Set(),\n): ComponentsResult {\n  // A plain object, as in the original: its key order (integer-like names first) is the\n  // output order.\n  const aliases: Record<string, IrTypeAliasDeclaration> = {};\n  const displaced = context.options.fixes.has(OutputFix.ROOT_TYPE_NUMBERING) ? [] : null;\n  const isKept = (item: unknown) => kept.has(item as object);\n  const request = { components, isKept, aliases, displaced };\n  const declaredKinds = DECLARED_COMPONENT_KINDS.filter((kind) => components[kind] !== undefined);\n  const members = [...COMPONENT_KINDS, ...declaredKinds].map((kind) =>\n    kindMember(kind, request, context),\n  );\n  const rootTypes = Object.values(aliases);\n  return {\n    type: irObject(members),\n    rootTypes: [...rootTypes, ...(displaced ?? [])],\n  };\n}\n"],"names":["transformSchema","responseType","parameterType","requestBodyType","headerType","pathItemType","contentEntryType","createRef","irProperty","toPropertyName","withSchemaComment","schemaCommentOptionsOf","singularizeComponentKind","withIdentifierParts","alias","hasIdentifierStart","isReservedTypeName","isEnumSchema","documentEntries","rootTypeAlias","irObject","irKeyword","OutputFix","DECLARED_COMPONENT_KINDS","COMPONENT_KINDS"],"mappings":";;;;;;;;;;;;;;;;;;;AAyCA,MAAM,oBAAA,GAA4E;AAAA,EAChF,OAAA,EAASA,+BAAA;AAAA,EACT,SAAA,EAAWC,qBAAA;AAAA,EACX,UAAA,EAAYC,uBAAA;AAAA,EACZ,aAAA,EAAeC,2BAAA;AAAA,EACf,OAAA,EAASC,iBAAA;AAAA,EACT,SAAA,EAAWC,qBAAA;AAAA,EACX,UAAA,EAAYC;AACd,CAAA;AASA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAMC,qBAAA,CAAU,CAAC,YAAA,EAAc,IAAA,EAAM,IAAI,CAAC,CAAA,EAAG,MAAA,EAAQ,IAAA,EAAK;AAC7E,EAAA,MAAM,OAAO,oBAAA,CAAqB,IAAI,CAAA,CAAE,IAAA,EAAe,UAAU,OAAO,CAAA;AACxE,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,SAAA,CAAU,SAAA,CAAU,MAAM,QAAQ,CAAA;AACzD,EAAA,MAAM,WAAWC,uBAAA,CAAWC,2BAAA,CAAe,IAAI,CAAA,EAAG,MAAA,EAAQ,QAAQ,IAAA,EAAM;AAAA,IACtE,UAAA,EAAY,QAAQ,UAAA,IAAc,KAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAOC,gCAAkB,QAAA,EAAU,IAAA,EAAMC,qCAAuB,OAAA,CAAQ,OAAA,CAAQ,KAAK,CAAC,CAAA;AACxF;AAaA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,EAAE,OAAA,EAAS,MAAA,EAAO,GAAI,OAAA;AAC5B,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,UAAA,CAAWC,yCAAA,CAAyB,IAAI,CAAC,CAAA;AAC/D,EAAA,MAAM,WAAW,IAAA,KAAS,SAAA;AAC1B,EAAA,MAAM,IAAA,GAAOC,kCAAA;AAAA,IACX,QAAQ,mBAAA,IAAuB,QAAA,GAAW,IAAA,GAAO,MAAA,CAAO,WAAW,IAAI;AAAA,GACzE;AACA,EAAA,MAAM,YAAA,GAAe,CAACC,MAAAA,KAA0B;AAC9C,IAAA,MAAM,UAAA,GAAaA,MAAAA,CAAM,OAAA,CAAQ,MAAA,EAAQ,EAAE,CAAA;AAC3C,IAAA,MAAM,YAAA,GAAe,QAAQ,uBAAA,IAA2B,QAAA;AACxD,IAAA,MAAM,aAAaC,iCAAA,CAAmB,UAAU,CAAA,IAAK,CAACC,kCAAmB,UAAU,CAAA;AACnF,IAAA,OAAO,YAAA,IAAgB,aAAa,UAAA,GAAaF,MAAAA;AAAA,EACnD,CAAA;AACA,EAAA,IAAI,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,CAAA,CAAA;AAC5B,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,OAAA,CAAQ,KAAK,CAAA,KAAM,QAAW,OAAA,EAAA,EAAW;AAC7D,IAAA,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,IAAI,OAAO,CAAA,CAAA;AAAA,EACrC;AACA,EAAA,OAAO,aAAa,KAAK,CAAA;AAC3B;AASA,SAAS,YAAA,CAAa,SAA4B,KAAA,EAAqC;AACrF,EAAA,MAAM,EAAE,OAAA,EAAS,SAAA,EAAU,GAAI,OAAA;AAC/B,EAAA,MAAM,QAAA,GAAW,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA;AACnC,EAAA,IAAI,QAAA,KAAa,MAAA,IAAa,SAAA,KAAc,IAAA,EAAM;AAChD,IAAA,SAAA,CAAU,KAAK,QAAQ,CAAA;AAAA,EACzB;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA;AACxB;AAGA,SAAS,WAAA,CAAY,IAAA,EAAqB,IAAA,EAAe,OAAA,EAAoC;AAC3F,EAAA,MAAM,EAAE,SAAQ,GAAI,OAAA;AACpB,EAAA,OAAO,OAAA,CAAQ,aAAa,EAAE,OAAA,CAAQ,QAAQ,IAAA,KAAS,SAAA,IAAaG,8BAAa,IAAI,CAAA,CAAA;AACvF;AAWA,SAAS,UAAA,CACP,IAAA,EACA,OAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAA,EAAY,MAAA,EAAQ,OAAA,EAAQ,GAAI,OAAA;AACxC,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,QAA+B,EAAC;AACtC,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,IAAI,CAAA,IAAKC,+BAAA,CAAgB,UAAA,CAAW,IAAI,CAAA,IAAK,EAAC,EAAG,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA,EAAG;AAC3F,IAAA,KAAA,CAAM,KAAK,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AACrD,IAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,OAAO,CAAA,EAAG;AACpC,MAAA,YAAA,CAAa,OAAA,EAASC,6BAAA,CAAc,YAAA,CAAa,IAAA,EAAM,IAAA,EAAM,SAAS,OAAO,CAAA,EAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,IAC7F;AAAA,EACF;AACA,EAAA,MAAM,IAAA,GAAO,MAAM,MAAA,GAAS,CAAA,GAAIC,sBAAS,KAAK,CAAA,GAAIC,uBAAU,OAAO,CAAA;AACnE,EAAA,OAAA,CAAQ,WAAA,CAAY,KAAA;AAAA,IAClB,iCAA4B,IAAI,CAAA,CAAA;AAAA,IAChC,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI;AAAA,GAC9B;AACA,EAAA,OAAOb,uBAAA,CAAWC,2BAAA,CAAe,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9C;AAOO,SAAS,eACd,UAAA,EACA,OAAA,EACA,IAAA,mBAA4B,IAAI,KAAI,EAClB;AAGlB,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,OAAA,CAAQ,KAAA,CAAM,IAAIa,qBAAA,CAAU,mBAAmB,CAAA,GAAI,EAAC,GAAI,IAAA;AAClF,EAAA,MAAM,MAAA,GAAS,CAAC,IAAA,KAAkB,IAAA,CAAK,IAAI,IAAc,CAAA;AACzD,EAAA,MAAM,OAAA,GAAU,EAAE,UAAA,EAAY,MAAA,EAAQ,SAAS,SAAA,EAAU;AACzD,EAAA,MAAM,aAAA,GAAgBC,0CAAyB,MAAA,CAAO,CAAC,SAAS,UAAA,CAAW,IAAI,MAAM,MAAS,CAAA;AAC9F,EAAA,MAAM,UAAU,CAAC,GAAGC,gCAAA,EAAiB,GAAG,aAAa,CAAA,CAAE,GAAA;AAAA,IAAI,CAAC,IAAA,KAC1D,UAAA,CAAW,IAAA,EAAM,SAAS,OAAO;AAAA,GACnC;AACA,EAAA,MAAM,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,OAAO,CAAA;AACvC,EAAA,OAAO;AAAA,IACL,IAAA,EAAMJ,sBAAS,OAAO,CAAA;AAAA,IACtB,WAAW,CAAC,GAAG,WAAW,GAAI,SAAA,IAAa,EAAG;AAAA,GAChD;AACF;;"}

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

@@ -6,14 +6,14 @@ import { createRef } from '../../../domain/openapi/json-pointer.mjs';
 import { OutputFix } from '../../../domain/output-fixes.mjs';
 import { documentEntries } from '../document-entries.mjs';
 import { transformSchema } from '../schema/schema-transform.mjs';
-import { withSchemaComment } from '../schema-comment.mjs';
+import { withSchemaComment, schemaCommentOptionsOf } from '../schema-comment.mjs';
 import { headerType } from './header.mjs';
 import { contentEntryType } from './media-type.mjs';
 import { parameterType } from './parameter.mjs';
 import { pathItemType } from './path-item.mjs';
 import { requestBodyType } from './request-body.mjs';
 import { responseType } from './response.mjs';
-import { numberDisplacedAliases, rootTypeAlias } from './root-type-aliases.mjs';
+import { rootTypeAlias } from './root-type-aliases.mjs';
 
 const COMPONENT_TRANSFORMS = {
   schemas: transformSchema,
@@ -32,7 +32,7 @@ function componentMember(kind, name, item, context) {
     isOptional: custom?.isOptional ?? false,
     isReadonly: context.options.immutable
   });
-  return withSchemaComment(property, item);
+  return withSchemaComment(property, item, schemaCommentOptionsOf(context.options.fixes));
 }
 function rootTypeName(kind, name, aliases, context) {
   const { options, casing } = context;
@@ -94,7 +94,7 @@ function componentsType(components, context, kept = /* @__PURE__ */ new Set()) {
   const rootTypes = Object.values(aliases);
   return {
     type: irObject(members),
-    rootTypes: [...rootTypes, ...numberDisplacedAliases(displaced ?? [], rootTypes)]
+    rootTypes: [...rootTypes, ...displaced ?? []]
   };
 }
 

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

@@ -1 +1 @@
-{"version":3,"file":"components.mjs","sources":["../../../../src/application/transform/document/components.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport {\n  hasIdentifierStart,\n  isReservedTypeName,\n  withIdentifierParts,\n} from \"../../../domain/ir/identifier-text.js\";\nimport type {\n  IrPropertySignature,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport {\n  COMPONENT_KINDS,\n  type ComponentKind,\n  type ComponentsObject,\n  DECLARED_COMPONENT_KINDS,\n  isEnumSchema,\n  singularizeComponentKind,\n} from \"../../../domain/openapi/components-object.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { type DeprecatedEntryFilter, documentEntries } from \"../document-entries.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { headerType } from \"./header.js\";\nimport { contentEntryType } from \"./media-type.js\";\nimport { parameterType } from \"./parameter.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport { requestBodyType } from \"./request-body.js\";\nimport { responseType } from \"./response.js\";\nimport { numberDisplacedAliases, rootTypeAlias } from \"./root-type-aliases.js\";\n\ntype ComponentTransform = (\n  item: never,\n  location: SchemaLocation,\n  context: TransformContext,\n) => IrType;\n\nconst COMPONENT_TRANSFORMS: Readonly<Record<ComponentKind, ComponentTransform>> = {\n  schemas: transformSchema,\n  responses: responseType,\n  parameters: parameterType,\n  requestBodies: requestBodyType,\n  headers: headerType,\n  pathItems: pathItemType,\n  mediaTypes: contentEntryType,\n};\n\n/** The `components` type and the `--root-types` aliases. */\nexport interface ComponentsResult {\n  readonly type: IrType;\n  readonly rootTypes: readonly IrTypeAliasDeclaration[];\n}\n\n/** One component; the `transform` callback may replace its type, as for nested schemas. */\nfunction componentMember(\n  kind: ComponentKind,\n  name: string,\n  item: unknown,\n  context: TransformContext,\n): IrPropertySignature {\n  const location = { path: createRef([\"components\", kind, name]), schema: item };\n  const type = COMPONENT_TRANSFORMS[kind](item as never, location, context);\n  const custom = context.callbacks.transform(item, location);\n  const property = irProperty(toPropertyName(name), custom?.type ?? type, {\n    isOptional: custom?.isOptional ?? false,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, item);\n}\n\n/**\n * The root alias name: `SchemaPet`, `ResponseNotFound`, … A taken name gets `_2`, `_3`, … The\n * original checks for conflicts before it removes the schema prefix, and so does this; for a clash\n * of exported names see `addRootAlias`.\n *\n * The original could build a name that is no identifier, so the generated file did not parse\n * (research/legacy-bugs.md, item 16): a kept casing keeps spaces and symbols, which become `_`;\n * and a name without the prefix can start with a digit, so it keeps the prefix (`Schema1`). A\n * kept casing without the prefix can also give a reserved name (`void`, `class`), which keeps the\n * prefix too (`Schemavoid`).\n */\nfunction rootTypeName(\n  kind: ComponentKind,\n  name: string,\n  aliases: Readonly<Record<string, IrTypeAliasDeclaration>>,\n  context: TransformContext,\n): string {\n  const { options, casing } = context;\n  const prefix = casing.pascalCase(singularizeComponentKind(kind));\n  const isSchema = kind === \"schemas\";\n  const base = withIdentifierParts(\n    options.rootTypesKeepCasing && isSchema ? name : casing.pascalCase(name),\n  );\n  const exportedName = (alias: string): string => {\n    const unprefixed = alias.replace(prefix, \"\");\n    const isUnprefixed = options.rootTypesNoSchemaPrefix && isSchema;\n    const isTypeName = hasIdentifierStart(unprefixed) && !isReservedTypeName(unprefixed);\n    return isUnprefixed && isTypeName ? unprefixed : alias;\n  };\n  let alias = `${prefix}${base}`;\n  for (let counter = 2; aliases[alias] !== undefined; counter++) {\n    alias = `${prefix}${base}_${counter}`;\n  }\n  return exportedName(alias);\n}\n\n/**\n * Add a root alias. When its exported name is taken (two schemas of one PascalCase name without\n * the prefix), the later schema takes the name, as in the original. Without the\n * `root-type-numbering` fix the earlier one then has no alias: that output is valid, so a number\n * for it would change it (backlog 30). With the fix the earlier alias is kept aside and numbered\n * at the end.\n */\nfunction addRootAlias(request: ComponentsRequest, alias: IrTypeAliasDeclaration): void {\n  const { aliases, displaced } = request;\n  const previous = aliases[alias.name];\n  if (previous !== undefined && displaced !== null) {\n    displaced.push(previous);\n  }\n  aliases[alias.name] = alias;\n}\n\n/** `--root-types` skips enum schemas under `--enum`: the enum itself is exported. */\nfunction hasRootType(kind: ComponentKind, item: unknown, context: TransformContext): boolean {\n  const { options } = context;\n  return options.rootTypes && !(options.enum && kind === \"schemas\" && isEnumSchema(item));\n}\n\n/** The components of one run, and the deprecated ones that kept output still references. */\ninterface ComponentsRequest {\n  readonly components: ComponentsObject;\n  readonly isKept: DeprecatedEntryFilter;\n  readonly aliases: Record<string, IrTypeAliasDeclaration>;\n  /** With the `root-type-numbering` fix: the aliases a later schema took the name of, in order. */\n  readonly displaced: IrTypeAliasDeclaration[] | null;\n}\n\nfunction kindMember(\n  kind: ComponentKind,\n  request: ComponentsRequest,\n  context: TransformContext,\n): IrPropertySignature {\n  const { components, isKept, aliases } = request;\n  const startedAt = context.diagnostics.now();\n  const items: IrPropertySignature[] = [];\n  for (const [name, item] of documentEntries(components[kind] ?? {}, context.options, isKept)) {\n    items.push(componentMember(kind, name, item, context));\n    if (hasRootType(kind, item, context)) {\n      addRootAlias(request, rootTypeAlias(rootTypeName(kind, name, aliases, context), kind, name));\n    }\n  }\n  const type = items.length > 0 ? irObject(items) : irKeyword(\"never\");\n  context.diagnostics.debug(\n    `Transformed components → ${kind}`,\n    context.diagnostics.now() - startedAt,\n  );\n  return irProperty(toPropertyName(kind), type);\n}\n\n/**\n * The `components` interface body (OpenAPI 3.1 §4.8.7), one member per component kind. With\n * `--exclude-deprecated`, `kept` holds the deprecated components that kept output references\n * (`keptDeprecatedComponents`); they stay, so no reference names a missing key.\n */\nexport function componentsType(\n  components: ComponentsObject,\n  context: TransformContext,\n  kept: ReadonlySet<object> = new Set(),\n): ComponentsResult {\n  // A plain object, as in the original: its key order (integer-like names first) is the\n  // output order.\n  const aliases: Record<string, IrTypeAliasDeclaration> = {};\n  const displaced = context.options.fixes.has(OutputFix.ROOT_TYPE_NUMBERING) ? [] : null;\n  const isKept = (item: unknown) => kept.has(item as object);\n  const request = { components, isKept, aliases, displaced };\n  const declaredKinds = DECLARED_COMPONENT_KINDS.filter((kind) => components[kind] !== undefined);\n  const members = [...COMPONENT_KINDS, ...declaredKinds].map((kind) =>\n    kindMember(kind, request, context),\n  );\n  const rootTypes = Object.values(aliases);\n  return {\n    type: irObject(members),\n    rootTypes: [...rootTypes, ...numberDisplacedAliases(displaced ?? [], rootTypes)],\n  };\n}\n"],"names":["alias"],"mappings":";;;;;;;;;;;;;;;;;AAyCA,MAAM,oBAAA,GAA4E;AAAA,EAChF,OAAA,EAAS,eAAA;AAAA,EACT,SAAA,EAAW,YAAA;AAAA,EACX,UAAA,EAAY,aAAA;AAAA,EACZ,aAAA,EAAe,eAAA;AAAA,EACf,OAAA,EAAS,UAAA;AAAA,EACT,SAAA,EAAW,YAAA;AAAA,EACX,UAAA,EAAY;AACd,CAAA;AASA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAM,SAAA,CAAU,CAAC,YAAA,EAAc,IAAA,EAAM,IAAI,CAAC,CAAA,EAAG,MAAA,EAAQ,IAAA,EAAK;AAC7E,EAAA,MAAM,OAAO,oBAAA,CAAqB,IAAI,CAAA,CAAE,IAAA,EAAe,UAAU,OAAO,CAAA;AACxE,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,SAAA,CAAU,SAAA,CAAU,MAAM,QAAQ,CAAA;AACzD,EAAA,MAAM,WAAW,UAAA,CAAW,cAAA,CAAe,IAAI,CAAA,EAAG,MAAA,EAAQ,QAAQ,IAAA,EAAM;AAAA,IACtE,UAAA,EAAY,QAAQ,UAAA,IAAc,KAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAO,iBAAA,CAAkB,UAAU,IAAI,CAAA;AACzC;AAaA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,EAAE,OAAA,EAAS,MAAA,EAAO,GAAI,OAAA;AAC5B,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,UAAA,CAAW,wBAAA,CAAyB,IAAI,CAAC,CAAA;AAC/D,EAAA,MAAM,WAAW,IAAA,KAAS,SAAA;AAC1B,EAAA,MAAM,IAAA,GAAO,mBAAA;AAAA,IACX,QAAQ,mBAAA,IAAuB,QAAA,GAAW,IAAA,GAAO,MAAA,CAAO,WAAW,IAAI;AAAA,GACzE;AACA,EAAA,MAAM,YAAA,GAAe,CAACA,MAAAA,KAA0B;AAC9C,IAAA,MAAM,UAAA,GAAaA,MAAAA,CAAM,OAAA,CAAQ,MAAA,EAAQ,EAAE,CAAA;AAC3C,IAAA,MAAM,YAAA,GAAe,QAAQ,uBAAA,IAA2B,QAAA;AACxD,IAAA,MAAM,aAAa,kBAAA,CAAmB,UAAU,CAAA,IAAK,CAAC,mBAAmB,UAAU,CAAA;AACnF,IAAA,OAAO,YAAA,IAAgB,aAAa,UAAA,GAAaA,MAAAA;AAAA,EACnD,CAAA;AACA,EAAA,IAAI,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,CAAA,CAAA;AAC5B,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,OAAA,CAAQ,KAAK,CAAA,KAAM,QAAW,OAAA,EAAA,EAAW;AAC7D,IAAA,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,IAAI,OAAO,CAAA,CAAA;AAAA,EACrC;AACA,EAAA,OAAO,aAAa,KAAK,CAAA;AAC3B;AASA,SAAS,YAAA,CAAa,SAA4B,KAAA,EAAqC;AACrF,EAAA,MAAM,EAAE,OAAA,EAAS,SAAA,EAAU,GAAI,OAAA;AAC/B,EAAA,MAAM,QAAA,GAAW,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA;AACnC,EAAA,IAAI,QAAA,KAAa,MAAA,IAAa,SAAA,KAAc,IAAA,EAAM;AAChD,IAAA,SAAA,CAAU,KAAK,QAAQ,CAAA;AAAA,EACzB;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA;AACxB;AAGA,SAAS,WAAA,CAAY,IAAA,EAAqB,IAAA,EAAe,OAAA,EAAoC;AAC3F,EAAA,MAAM,EAAE,SAAQ,GAAI,OAAA;AACpB,EAAA,OAAO,OAAA,CAAQ,aAAa,EAAE,OAAA,CAAQ,QAAQ,IAAA,KAAS,SAAA,IAAa,aAAa,IAAI,CAAA,CAAA;AACvF;AAWA,SAAS,UAAA,CACP,IAAA,EACA,OAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAA,EAAY,MAAA,EAAQ,OAAA,EAAQ,GAAI,OAAA;AACxC,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,QAA+B,EAAC;AACtC,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,IAAI,CAAA,IAAK,eAAA,CAAgB,UAAA,CAAW,IAAI,CAAA,IAAK,EAAC,EAAG,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA,EAAG;AAC3F,IAAA,KAAA,CAAM,KAAK,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AACrD,IAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,OAAO,CAAA,EAAG;AACpC,MAAA,YAAA,CAAa,OAAA,EAAS,aAAA,CAAc,YAAA,CAAa,IAAA,EAAM,IAAA,EAAM,SAAS,OAAO,CAAA,EAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,IAC7F;AAAA,EACF;AACA,EAAA,MAAM,IAAA,GAAO,MAAM,MAAA,GAAS,CAAA,GAAI,SAAS,KAAK,CAAA,GAAI,UAAU,OAAO,CAAA;AACnE,EAAA,OAAA,CAAQ,WAAA,CAAY,KAAA;AAAA,IAClB,iCAA4B,IAAI,CAAA,CAAA;AAAA,IAChC,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI;AAAA,GAC9B;AACA,EAAA,OAAO,UAAA,CAAW,cAAA,CAAe,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9C;AAOO,SAAS,eACd,UAAA,EACA,OAAA,EACA,IAAA,mBAA4B,IAAI,KAAI,EAClB;AAGlB,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,OAAA,CAAQ,KAAA,CAAM,IAAI,SAAA,CAAU,mBAAmB,CAAA,GAAI,EAAC,GAAI,IAAA;AAClF,EAAA,MAAM,MAAA,GAAS,CAAC,IAAA,KAAkB,IAAA,CAAK,IAAI,IAAc,CAAA;AACzD,EAAA,MAAM,OAAA,GAAU,EAAE,UAAA,EAAY,MAAA,EAAQ,SAAS,SAAA,EAAU;AACzD,EAAA,MAAM,aAAA,GAAgB,yBAAyB,MAAA,CAAO,CAAC,SAAS,UAAA,CAAW,IAAI,MAAM,MAAS,CAAA;AAC9F,EAAA,MAAM,UAAU,CAAC,GAAG,eAAA,EAAiB,GAAG,aAAa,CAAA,CAAE,GAAA;AAAA,IAAI,CAAC,IAAA,KAC1D,UAAA,CAAW,IAAA,EAAM,SAAS,OAAO;AAAA,GACnC;AACA,EAAA,MAAM,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,OAAO,CAAA;AACvC,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,SAAS,OAAO,CAAA;AAAA,IACtB,SAAA,EAAW,CAAC,GAAG,SAAA,EAAW,GAAG,uBAAuB,SAAA,IAAa,EAAC,EAAG,SAAS,CAAC;AAAA,GACjF;AACF;;"}
+{"version":3,"file":"components.mjs","sources":["../../../../src/application/transform/document/components.ts"],"sourcesContent":["import { irKeyword, irObject, irProperty } from \"../../../domain/ir/constructors.js\";\nimport {\n  hasIdentifierStart,\n  isReservedTypeName,\n  withIdentifierParts,\n} from \"../../../domain/ir/identifier-text.js\";\nimport type {\n  IrPropertySignature,\n  IrType,\n  IrTypeAliasDeclaration,\n} from \"../../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../../domain/ir/property-name.js\";\nimport {\n  COMPONENT_KINDS,\n  type ComponentKind,\n  type ComponentsObject,\n  DECLARED_COMPONENT_KINDS,\n  isEnumSchema,\n  singularizeComponentKind,\n} from \"../../../domain/openapi/components-object.js\";\nimport { createRef } from \"../../../domain/openapi/json-pointer.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport { type DeprecatedEntryFilter, documentEntries } from \"../document-entries.js\";\nimport type { SchemaLocation } from \"../schema/schema-context.js\";\nimport { transformSchema } from \"../schema/schema-transform.js\";\nimport { schemaCommentOptionsOf, withSchemaComment } from \"../schema-comment.js\";\nimport type { TransformContext } from \"../transform-context.js\";\nimport { headerType } from \"./header.js\";\nimport { contentEntryType } from \"./media-type.js\";\nimport { parameterType } from \"./parameter.js\";\nimport { pathItemType } from \"./path-item.js\";\nimport { requestBodyType } from \"./request-body.js\";\nimport { responseType } from \"./response.js\";\nimport { rootTypeAlias } from \"./root-type-aliases.js\";\n\ntype ComponentTransform = (\n  item: never,\n  location: SchemaLocation,\n  context: TransformContext,\n) => IrType;\n\nconst COMPONENT_TRANSFORMS: Readonly<Record<ComponentKind, ComponentTransform>> = {\n  schemas: transformSchema,\n  responses: responseType,\n  parameters: parameterType,\n  requestBodies: requestBodyType,\n  headers: headerType,\n  pathItems: pathItemType,\n  mediaTypes: contentEntryType,\n};\n\n/** The `components` type and the `--root-types` aliases. */\nexport interface ComponentsResult {\n  readonly type: IrType;\n  readonly rootTypes: readonly IrTypeAliasDeclaration[];\n}\n\n/** One component; the `transform` callback may replace its type, as for nested schemas. */\nfunction componentMember(\n  kind: ComponentKind,\n  name: string,\n  item: unknown,\n  context: TransformContext,\n): IrPropertySignature {\n  const location = { path: createRef([\"components\", kind, name]), schema: item };\n  const type = COMPONENT_TRANSFORMS[kind](item as never, location, context);\n  const custom = context.callbacks.transform(item, location);\n  const property = irProperty(toPropertyName(name), custom?.type ?? type, {\n    isOptional: custom?.isOptional ?? false,\n    isReadonly: context.options.immutable,\n  });\n  return withSchemaComment(property, item, schemaCommentOptionsOf(context.options.fixes));\n}\n\n/**\n * The root alias name: `SchemaPet`, `ResponseNotFound`, … A taken name gets `_2`, `_3`, … The\n * original checks for conflicts before it removes the schema prefix, and so does this; for a clash\n * of exported names see `addRootAlias`.\n *\n * The original could build a name that is no identifier, so the generated file did not parse\n * (research/legacy-bugs.md, item 16): a kept casing keeps spaces and symbols, which become `_`;\n * and a name without the prefix can start with a digit, so it keeps the prefix (`Schema1`). A\n * kept casing without the prefix can also give a reserved name (`void`, `class`), which keeps the\n * prefix too (`Schemavoid`).\n */\nfunction rootTypeName(\n  kind: ComponentKind,\n  name: string,\n  aliases: Readonly<Record<string, IrTypeAliasDeclaration>>,\n  context: TransformContext,\n): string {\n  const { options, casing } = context;\n  const prefix = casing.pascalCase(singularizeComponentKind(kind));\n  const isSchema = kind === \"schemas\";\n  const base = withIdentifierParts(\n    options.rootTypesKeepCasing && isSchema ? name : casing.pascalCase(name),\n  );\n  const exportedName = (alias: string): string => {\n    const unprefixed = alias.replace(prefix, \"\");\n    const isUnprefixed = options.rootTypesNoSchemaPrefix && isSchema;\n    const isTypeName = hasIdentifierStart(unprefixed) && !isReservedTypeName(unprefixed);\n    return isUnprefixed && isTypeName ? unprefixed : alias;\n  };\n  let alias = `${prefix}${base}`;\n  for (let counter = 2; aliases[alias] !== undefined; counter++) {\n    alias = `${prefix}${base}_${counter}`;\n  }\n  return exportedName(alias);\n}\n\n/**\n * Add a root alias. When its exported name is taken (two schemas of one PascalCase name without\n * the prefix), the later schema takes the name, as in the original. Without the\n * `root-type-numbering` fix the earlier one then has no alias: that output is valid, so a number\n * for it would change it (backlog 30). With the fix the earlier alias is kept aside and follows\n * the others under the same name; `renameTakenAliases` numbers it once every name is known.\n */\nfunction addRootAlias(request: ComponentsRequest, alias: IrTypeAliasDeclaration): void {\n  const { aliases, displaced } = request;\n  const previous = aliases[alias.name];\n  if (previous !== undefined && displaced !== null) {\n    displaced.push(previous);\n  }\n  aliases[alias.name] = alias;\n}\n\n/** `--root-types` skips enum schemas under `--enum`: the enum itself is exported. */\nfunction hasRootType(kind: ComponentKind, item: unknown, context: TransformContext): boolean {\n  const { options } = context;\n  return options.rootTypes && !(options.enum && kind === \"schemas\" && isEnumSchema(item));\n}\n\n/** The components of one run, and the deprecated ones that kept output still references. */\ninterface ComponentsRequest {\n  readonly components: ComponentsObject;\n  readonly isKept: DeprecatedEntryFilter;\n  readonly aliases: Record<string, IrTypeAliasDeclaration>;\n  /** With the `root-type-numbering` fix: the aliases a later schema took the name of, in order. */\n  readonly displaced: IrTypeAliasDeclaration[] | null;\n}\n\nfunction kindMember(\n  kind: ComponentKind,\n  request: ComponentsRequest,\n  context: TransformContext,\n): IrPropertySignature {\n  const { components, isKept, aliases } = request;\n  const startedAt = context.diagnostics.now();\n  const items: IrPropertySignature[] = [];\n  for (const [name, item] of documentEntries(components[kind] ?? {}, context.options, isKept)) {\n    items.push(componentMember(kind, name, item, context));\n    if (hasRootType(kind, item, context)) {\n      addRootAlias(request, rootTypeAlias(rootTypeName(kind, name, aliases, context), kind, name));\n    }\n  }\n  const type = items.length > 0 ? irObject(items) : irKeyword(\"never\");\n  context.diagnostics.debug(\n    `Transformed components → ${kind}`,\n    context.diagnostics.now() - startedAt,\n  );\n  return irProperty(toPropertyName(kind), type);\n}\n\n/**\n * The `components` interface body (OpenAPI 3.1 §4.8.7), one member per component kind. With\n * `--exclude-deprecated`, `kept` holds the deprecated components that kept output references\n * (`keptDeprecatedComponents`); they stay, so no reference names a missing key.\n */\nexport function componentsType(\n  components: ComponentsObject,\n  context: TransformContext,\n  kept: ReadonlySet<object> = new Set(),\n): ComponentsResult {\n  // A plain object, as in the original: its key order (integer-like names first) is the\n  // output order.\n  const aliases: Record<string, IrTypeAliasDeclaration> = {};\n  const displaced = context.options.fixes.has(OutputFix.ROOT_TYPE_NUMBERING) ? [] : null;\n  const isKept = (item: unknown) => kept.has(item as object);\n  const request = { components, isKept, aliases, displaced };\n  const declaredKinds = DECLARED_COMPONENT_KINDS.filter((kind) => components[kind] !== undefined);\n  const members = [...COMPONENT_KINDS, ...declaredKinds].map((kind) =>\n    kindMember(kind, request, context),\n  );\n  const rootTypes = Object.values(aliases);\n  return {\n    type: irObject(members),\n    rootTypes: [...rootTypes, ...(displaced ?? [])],\n  };\n}\n"],"names":["alias"],"mappings":";;;;;;;;;;;;;;;;;AAyCA,MAAM,oBAAA,GAA4E;AAAA,EAChF,OAAA,EAAS,eAAA;AAAA,EACT,SAAA,EAAW,YAAA;AAAA,EACX,UAAA,EAAY,aAAA;AAAA,EACZ,aAAA,EAAe,eAAA;AAAA,EACf,OAAA,EAAS,UAAA;AAAA,EACT,SAAA,EAAW,YAAA;AAAA,EACX,UAAA,EAAY;AACd,CAAA;AASA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,IAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,QAAA,GAAW,EAAE,IAAA,EAAM,SAAA,CAAU,CAAC,YAAA,EAAc,IAAA,EAAM,IAAI,CAAC,CAAA,EAAG,MAAA,EAAQ,IAAA,EAAK;AAC7E,EAAA,MAAM,OAAO,oBAAA,CAAqB,IAAI,CAAA,CAAE,IAAA,EAAe,UAAU,OAAO,CAAA;AACxE,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,SAAA,CAAU,SAAA,CAAU,MAAM,QAAQ,CAAA;AACzD,EAAA,MAAM,WAAW,UAAA,CAAW,cAAA,CAAe,IAAI,CAAA,EAAG,MAAA,EAAQ,QAAQ,IAAA,EAAM;AAAA,IACtE,UAAA,EAAY,QAAQ,UAAA,IAAc,KAAA;AAAA,IAClC,UAAA,EAAY,QAAQ,OAAA,CAAQ;AAAA,GAC7B,CAAA;AACD,EAAA,OAAO,kBAAkB,QAAA,EAAU,IAAA,EAAM,uBAAuB,OAAA,CAAQ,OAAA,CAAQ,KAAK,CAAC,CAAA;AACxF;AAaA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,OAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,EAAE,OAAA,EAAS,MAAA,EAAO,GAAI,OAAA;AAC5B,EAAA,MAAM,MAAA,GAAS,MAAA,CAAO,UAAA,CAAW,wBAAA,CAAyB,IAAI,CAAC,CAAA;AAC/D,EAAA,MAAM,WAAW,IAAA,KAAS,SAAA;AAC1B,EAAA,MAAM,IAAA,GAAO,mBAAA;AAAA,IACX,QAAQ,mBAAA,IAAuB,QAAA,GAAW,IAAA,GAAO,MAAA,CAAO,WAAW,IAAI;AAAA,GACzE;AACA,EAAA,MAAM,YAAA,GAAe,CAACA,MAAAA,KAA0B;AAC9C,IAAA,MAAM,UAAA,GAAaA,MAAAA,CAAM,OAAA,CAAQ,MAAA,EAAQ,EAAE,CAAA;AAC3C,IAAA,MAAM,YAAA,GAAe,QAAQ,uBAAA,IAA2B,QAAA;AACxD,IAAA,MAAM,aAAa,kBAAA,CAAmB,UAAU,CAAA,IAAK,CAAC,mBAAmB,UAAU,CAAA;AACnF,IAAA,OAAO,YAAA,IAAgB,aAAa,UAAA,GAAaA,MAAAA;AAAA,EACnD,CAAA;AACA,EAAA,IAAI,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,CAAA,CAAA;AAC5B,EAAA,KAAA,IAAS,UAAU,CAAA,EAAG,OAAA,CAAQ,KAAK,CAAA,KAAM,QAAW,OAAA,EAAA,EAAW;AAC7D,IAAA,KAAA,GAAQ,CAAA,EAAG,MAAM,CAAA,EAAG,IAAI,IAAI,OAAO,CAAA,CAAA;AAAA,EACrC;AACA,EAAA,OAAO,aAAa,KAAK,CAAA;AAC3B;AASA,SAAS,YAAA,CAAa,SAA4B,KAAA,EAAqC;AACrF,EAAA,MAAM,EAAE,OAAA,EAAS,SAAA,EAAU,GAAI,OAAA;AAC/B,EAAA,MAAM,QAAA,GAAW,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA;AACnC,EAAA,IAAI,QAAA,KAAa,MAAA,IAAa,SAAA,KAAc,IAAA,EAAM;AAChD,IAAA,SAAA,CAAU,KAAK,QAAQ,CAAA;AAAA,EACzB;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA;AACxB;AAGA,SAAS,WAAA,CAAY,IAAA,EAAqB,IAAA,EAAe,OAAA,EAAoC;AAC3F,EAAA,MAAM,EAAE,SAAQ,GAAI,OAAA;AACpB,EAAA,OAAO,OAAA,CAAQ,aAAa,EAAE,OAAA,CAAQ,QAAQ,IAAA,KAAS,SAAA,IAAa,aAAa,IAAI,CAAA,CAAA;AACvF;AAWA,SAAS,UAAA,CACP,IAAA,EACA,OAAA,EACA,OAAA,EACqB;AACrB,EAAA,MAAM,EAAE,UAAA,EAAY,MAAA,EAAQ,OAAA,EAAQ,GAAI,OAAA;AACxC,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI;AAC1C,EAAA,MAAM,QAA+B,EAAC;AACtC,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,IAAI,CAAA,IAAK,eAAA,CAAgB,UAAA,CAAW,IAAI,CAAA,IAAK,EAAC,EAAG,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA,EAAG;AAC3F,IAAA,KAAA,CAAM,KAAK,eAAA,CAAgB,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AACrD,IAAA,IAAI,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,OAAO,CAAA,EAAG;AACpC,MAAA,YAAA,CAAa,OAAA,EAAS,aAAA,CAAc,YAAA,CAAa,IAAA,EAAM,IAAA,EAAM,SAAS,OAAO,CAAA,EAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,IAC7F;AAAA,EACF;AACA,EAAA,MAAM,IAAA,GAAO,MAAM,MAAA,GAAS,CAAA,GAAI,SAAS,KAAK,CAAA,GAAI,UAAU,OAAO,CAAA;AACnE,EAAA,OAAA,CAAQ,WAAA,CAAY,KAAA;AAAA,IAClB,iCAA4B,IAAI,CAAA,CAAA;AAAA,IAChC,OAAA,CAAQ,WAAA,CAAY,GAAA,EAAI,GAAI;AAAA,GAC9B;AACA,EAAA,OAAO,UAAA,CAAW,cAAA,CAAe,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9C;AAOO,SAAS,eACd,UAAA,EACA,OAAA,EACA,IAAA,mBAA4B,IAAI,KAAI,EAClB;AAGlB,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,OAAA,CAAQ,KAAA,CAAM,IAAI,SAAA,CAAU,mBAAmB,CAAA,GAAI,EAAC,GAAI,IAAA;AAClF,EAAA,MAAM,MAAA,GAAS,CAAC,IAAA,KAAkB,IAAA,CAAK,IAAI,IAAc,CAAA;AACzD,EAAA,MAAM,OAAA,GAAU,EAAE,UAAA,EAAY,MAAA,EAAQ,SAAS,SAAA,EAAU;AACzD,EAAA,MAAM,aAAA,GAAgB,yBAAyB,MAAA,CAAO,CAAC,SAAS,UAAA,CAAW,IAAI,MAAM,MAAS,CAAA;AAC9F,EAAA,MAAM,UAAU,CAAC,GAAG,eAAA,EAAiB,GAAG,aAAa,CAAA,CAAE,GAAA;AAAA,IAAI,CAAC,IAAA,KAC1D,UAAA,CAAW,IAAA,EAAM,SAAS,OAAO;AAAA,GACnC;AACA,EAAA,MAAM,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,OAAO,CAAA;AACvC,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,SAAS,OAAO,CAAA;AAAA,IACtB,WAAW,CAAC,GAAG,WAAW,GAAI,SAAA,IAAa,EAAG;AAAA,GAChD;AACF;;"}