openapi-typesafe 0.0.0 → 1.0.0-rc.0

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

@@ -0,0 +1,214 @@
+'use strict';
+
+const assertNever = require('../../domain/assert-never.cjs');
+const commentWriter = require('./comment-writer.cjs');
+const literalText = require('./literal-text.cjs');
+
+const isUnionOrIntersection = (type) => type.kind === "union" || type.kind === "intersection";
+const needsParensAsConstituent = isUnionOrIntersection;
+const needsParensAsPostfixOperand = (type) => type.kind === "readonly" || isUnionOrIntersection(type);
+const needsParensAsReadonlyOperand = needsParensAsPostfixOperand;
+function writeTypeIn(writer, type, needsParens) {
+  if (!needsParens(type)) {
+    writeType(writer, type);
+    return;
+  }
+  writer.write("(");
+  writeType(writer, type);
+  writer.write(")");
+}
+function writeInlineList(writer, items, separator, writeItem) {
+  items.forEach((item, index) => {
+    if (index > 0) {
+      writer.write(separator);
+    }
+    writeItem(item);
+  });
+}
+function writeMultiLineList(writer, items, format, writeItem) {
+  if (items.length === 0) {
+    if (format.isLineBreakWhenEmpty) {
+      writer.writeLine();
+    }
+    return;
+  }
+  writer.writeLine();
+  writer.increaseIndent();
+  items.forEach((item, index) => {
+    if (index > 0) {
+      writer.write(format.delimiter);
+      writer.writeLine();
+    }
+    writeItem(item);
+  });
+  writer.decreaseIndent();
+  writer.writeLine();
+}
+function writePropertyName(writer, name) {
+  switch (name.kind) {
+    case "identifier":
+    case "number":
+      writer.write(name.text);
+      break;
+    case "string":
+      writer.write(literalText.printEscapedString(name.value));
+      break;
+    default:
+      assertNever.assertNever(name);
+  }
+}
+function writeIndexSignatureParameter(writer, name, type) {
+  writer.write(`[${name}: `);
+  writer.increaseIndent();
+  writeType(writer, type);
+  writer.decreaseIndent();
+  writer.write("]");
+}
+function writeMember(writer, member) {
+  for (const comment of member.comments) {
+    commentWriter.writeLeadingComment(writer, comment);
+  }
+  if (member.isReadonly) {
+    writer.write("readonly ");
+  }
+  if (member.kind === "property") {
+    writePropertyName(writer, member.name);
+    writer.write(member.isOptional ? "?: " : ": ");
+  } else {
+    writeIndexSignatureParameter(writer, member.parameterName, member.parameterType);
+    writer.write(": ");
+  }
+  writeType(writer, member.type);
+  writer.write(";");
+}
+function writeTupleElement(writer, element) {
+  if (element.isRest) {
+    writer.write("...");
+  }
+  writeType(writer, element.type);
+}
+function writeObjectType(writer, members) {
+  writer.write("{");
+  writeMultiLineList(
+    writer,
+    members,
+    { delimiter: "", isLineBreakWhenEmpty: false },
+    (member) => writeMember(writer, member)
+  );
+  writer.write("}");
+}
+function writeTupleType(writer, elements) {
+  writer.write("[");
+  writeMultiLineList(
+    writer,
+    elements,
+    { delimiter: ",", isLineBreakWhenEmpty: true },
+    (element) => writeTupleElement(writer, element)
+  );
+  writer.write("]");
+}
+function writeReferenceType(writer, name, typeArguments) {
+  writer.write(name);
+  if (typeArguments.length > 0) {
+    writer.write("<");
+    writeInlineList(writer, typeArguments, ", ", (argument) => writeType(writer, argument));
+    writer.write(">");
+  }
+}
+function writeIndexedAccessType(writer, type) {
+  writeTypeIn(writer, type.object, needsParensAsPostfixOperand);
+  writer.write("[");
+  writeType(writer, type.index);
+  writer.write("]");
+}
+function writeConstituents(writer, types, separator) {
+  writeInlineList(
+    writer,
+    types,
+    separator,
+    (member) => writeTypeIn(writer, member, needsParensAsConstituent)
+  );
+}
+function printLeafType(type) {
+  switch (type.kind) {
+    case "keyword":
+      return type.keyword;
+    case "stringLiteral":
+      return literalText.printStringLiteral(type.value, type.encoding);
+    case "numberLiteral":
+      return literalText.printNumberLiteral(type.value);
+    case "booleanLiteral":
+      return String(type.value);
+    default:
+      return assertNever.assertNever(type);
+  }
+}
+function writeRawType(writer, text) {
+  text.split("\n").forEach((line, index) => {
+    if (index > 0) {
+      writer.rawWrite(writer.options.newLine);
+    }
+    writer.write(line);
+  });
+}
+function writeArrayType(writer, element) {
+  writeTypeIn(writer, element, needsParensAsPostfixOperand);
+  writer.write("[]");
+}
+function writeReadonlyType(writer, operand) {
+  writer.write("readonly ");
+  writeTypeIn(writer, operand, needsParensAsReadonlyOperand);
+}
+function writeOperatorType(writer, type) {
+  if (type.kind === "array") {
+    writeArrayType(writer, type.element);
+  } else if (type.kind === "indexedAccess") {
+    writeIndexedAccessType(writer, type);
+  } else {
+    writeReadonlyType(writer, type.type);
+  }
+}
+const CONSTITUENT_SEPARATORS = { union: " | ", intersection: " & " };
+function writeLeafType(writer, type) {
+  if (type.kind === "raw") {
+    writeRawType(writer, type.text);
+  } else {
+    writer.write(printLeafType(type));
+  }
+}
+function writeType(writer, type) {
+  switch (type.kind) {
+    case "keyword":
+    case "stringLiteral":
+    case "numberLiteral":
+    case "booleanLiteral":
+    case "raw":
+      writeLeafType(writer, type);
+      break;
+    case "reference":
+      writeReferenceType(writer, type.name, type.typeArguments);
+      break;
+    case "array":
+    case "indexedAccess":
+    case "readonly":
+      writeOperatorType(writer, type);
+      break;
+    case "union":
+    case "intersection":
+      writeConstituents(writer, type.types, CONSTITUENT_SEPARATORS[type.kind]);
+      break;
+    case "object":
+      writeObjectType(writer, type.members);
+      break;
+    case "tuple":
+      writeTupleType(writer, type.elements);
+      break;
+    default:
+      assertNever.assertNever(type);
+  }
+}
+
+exports.writeMember = writeMember;
+exports.writeMultiLineList = writeMultiLineList;
+exports.writeType = writeType;
+//# sourceMappingURL=type-printer.cjs.map

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

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

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

@@ -0,0 +1,210 @@
+import { assertNever } from '../../domain/assert-never.mjs';
+import { writeLeadingComment } from './comment-writer.mjs';
+import { printEscapedString, printNumberLiteral, printStringLiteral } from './literal-text.mjs';
+
+const isUnionOrIntersection = (type) => type.kind === "union" || type.kind === "intersection";
+const needsParensAsConstituent = isUnionOrIntersection;
+const needsParensAsPostfixOperand = (type) => type.kind === "readonly" || isUnionOrIntersection(type);
+const needsParensAsReadonlyOperand = needsParensAsPostfixOperand;
+function writeTypeIn(writer, type, needsParens) {
+  if (!needsParens(type)) {
+    writeType(writer, type);
+    return;
+  }
+  writer.write("(");
+  writeType(writer, type);
+  writer.write(")");
+}
+function writeInlineList(writer, items, separator, writeItem) {
+  items.forEach((item, index) => {
+    if (index > 0) {
+      writer.write(separator);
+    }
+    writeItem(item);
+  });
+}
+function writeMultiLineList(writer, items, format, writeItem) {
+  if (items.length === 0) {
+    if (format.isLineBreakWhenEmpty) {
+      writer.writeLine();
+    }
+    return;
+  }
+  writer.writeLine();
+  writer.increaseIndent();
+  items.forEach((item, index) => {
+    if (index > 0) {
+      writer.write(format.delimiter);
+      writer.writeLine();
+    }
+    writeItem(item);
+  });
+  writer.decreaseIndent();
+  writer.writeLine();
+}
+function writePropertyName(writer, name) {
+  switch (name.kind) {
+    case "identifier":
+    case "number":
+      writer.write(name.text);
+      break;
+    case "string":
+      writer.write(printEscapedString(name.value));
+      break;
+    default:
+      assertNever(name);
+  }
+}
+function writeIndexSignatureParameter(writer, name, type) {
+  writer.write(`[${name}: `);
+  writer.increaseIndent();
+  writeType(writer, type);
+  writer.decreaseIndent();
+  writer.write("]");
+}
+function writeMember(writer, member) {
+  for (const comment of member.comments) {
+    writeLeadingComment(writer, comment);
+  }
+  if (member.isReadonly) {
+    writer.write("readonly ");
+  }
+  if (member.kind === "property") {
+    writePropertyName(writer, member.name);
+    writer.write(member.isOptional ? "?: " : ": ");
+  } else {
+    writeIndexSignatureParameter(writer, member.parameterName, member.parameterType);
+    writer.write(": ");
+  }
+  writeType(writer, member.type);
+  writer.write(";");
+}
+function writeTupleElement(writer, element) {
+  if (element.isRest) {
+    writer.write("...");
+  }
+  writeType(writer, element.type);
+}
+function writeObjectType(writer, members) {
+  writer.write("{");
+  writeMultiLineList(
+    writer,
+    members,
+    { delimiter: "", isLineBreakWhenEmpty: false },
+    (member) => writeMember(writer, member)
+  );
+  writer.write("}");
+}
+function writeTupleType(writer, elements) {
+  writer.write("[");
+  writeMultiLineList(
+    writer,
+    elements,
+    { delimiter: ",", isLineBreakWhenEmpty: true },
+    (element) => writeTupleElement(writer, element)
+  );
+  writer.write("]");
+}
+function writeReferenceType(writer, name, typeArguments) {
+  writer.write(name);
+  if (typeArguments.length > 0) {
+    writer.write("<");
+    writeInlineList(writer, typeArguments, ", ", (argument) => writeType(writer, argument));
+    writer.write(">");
+  }
+}
+function writeIndexedAccessType(writer, type) {
+  writeTypeIn(writer, type.object, needsParensAsPostfixOperand);
+  writer.write("[");
+  writeType(writer, type.index);
+  writer.write("]");
+}
+function writeConstituents(writer, types, separator) {
+  writeInlineList(
+    writer,
+    types,
+    separator,
+    (member) => writeTypeIn(writer, member, needsParensAsConstituent)
+  );
+}
+function printLeafType(type) {
+  switch (type.kind) {
+    case "keyword":
+      return type.keyword;
+    case "stringLiteral":
+      return printStringLiteral(type.value, type.encoding);
+    case "numberLiteral":
+      return printNumberLiteral(type.value);
+    case "booleanLiteral":
+      return String(type.value);
+    default:
+      return assertNever(type);
+  }
+}
+function writeRawType(writer, text) {
+  text.split("\n").forEach((line, index) => {
+    if (index > 0) {
+      writer.rawWrite(writer.options.newLine);
+    }
+    writer.write(line);
+  });
+}
+function writeArrayType(writer, element) {
+  writeTypeIn(writer, element, needsParensAsPostfixOperand);
+  writer.write("[]");
+}
+function writeReadonlyType(writer, operand) {
+  writer.write("readonly ");
+  writeTypeIn(writer, operand, needsParensAsReadonlyOperand);
+}
+function writeOperatorType(writer, type) {
+  if (type.kind === "array") {
+    writeArrayType(writer, type.element);
+  } else if (type.kind === "indexedAccess") {
+    writeIndexedAccessType(writer, type);
+  } else {
+    writeReadonlyType(writer, type.type);
+  }
+}
+const CONSTITUENT_SEPARATORS = { union: " | ", intersection: " & " };
+function writeLeafType(writer, type) {
+  if (type.kind === "raw") {
+    writeRawType(writer, type.text);
+  } else {
+    writer.write(printLeafType(type));
+  }
+}
+function writeType(writer, type) {
+  switch (type.kind) {
+    case "keyword":
+    case "stringLiteral":
+    case "numberLiteral":
+    case "booleanLiteral":
+    case "raw":
+      writeLeafType(writer, type);
+      break;
+    case "reference":
+      writeReferenceType(writer, type.name, type.typeArguments);
+      break;
+    case "array":
+    case "indexedAccess":
+    case "readonly":
+      writeOperatorType(writer, type);
+      break;
+    case "union":
+    case "intersection":
+      writeConstituents(writer, type.types, CONSTITUENT_SEPARATORS[type.kind]);
+      break;
+    case "object":
+      writeObjectType(writer, type.members);
+      break;
+    case "tuple":
+      writeTupleType(writer, type.elements);
+      break;
+    default:
+      assertNever(type);
+  }
+}
+
+export { writeMember, writeMultiLineList, writeType };
+//# sourceMappingURL=type-printer.mjs.map

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

@@ -0,0 +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;;"}

package/dist/application/stack-overflow.cjs

@@ -0,0 +1,36 @@
+'use strict';
+
+const errors = require('../domain/errors.cjs');
+
+const STACK_OVERFLOW_MESSAGE = /maximum call stack size exceeded/i;
+function isStackOverflowError(error) {
+  return error instanceof RangeError && STACK_OVERFLOW_MESSAGE.test(error.message);
+}
+function schemaTooDeepError(step, cause) {
+  return new errors.OpenAPITypesafeError({
+    code: errors.ERROR_CODES.SCHEMA_TOO_DEEP,
+    message: `The schema is nested too deeply to ${step}: the call stack ran out. Both inline schemas and chains of $ref (each schema referring to the next) count; shorten the deepest.`,
+    details: { step },
+    cause
+  });
+}
+function withStackOverflowReported(step, run) {
+  try {
+    return run();
+  } catch (error) {
+    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;
+  }
+}
+async function withStackOverflowReportedAsync(step, run) {
+  try {
+    return await run();
+  } catch (error) {
+    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;
+  }
+}
+
+exports.isStackOverflowError = isStackOverflowError;
+exports.schemaTooDeepError = schemaTooDeepError;
+exports.withStackOverflowReported = withStackOverflowReported;
+exports.withStackOverflowReportedAsync = withStackOverflowReportedAsync;
+//# sourceMappingURL=stack-overflow.cjs.map

package/dist/application/stack-overflow.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"stack-overflow.cjs","sources":["../../src/application/stack-overflow.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../domain/errors.js\";\n\n/**\n * Deeply nested schemas (ENGINEERING_PLAN 8.5). Loading, bundling, transforming and printing walk\n * schemas recursively, and Redocly follows each `$ref` inside the walk. On the default Node.js\n * stack, about 550 levels of inline schemas or a chain of about 900 `$ref`s (each schema refers to\n * the next) run out of call stack. Real documents stay far below: every YAML or JSON file goes\n * through the YAML parser, which stops at 100 levels, and the whole corpus passes. The overflow is\n * reported as a typed error instead of a `RangeError` with a stack trace.\n */\n\n/** The step that ran out of call stack; named in the message and the details. */\nexport type DeepSchemaStep = \"load\" | \"transform\" | \"print\";\n\n/** V8 and JavaScriptCore (Node.js, Deno, Bun) throw a `RangeError` with this message. */\nconst STACK_OVERFLOW_MESSAGE = /maximum call stack size exceeded/i;\n\n/** Whether a thrown value is a call stack overflow. */\nexport function isStackOverflowError(error: unknown): boolean {\n  return error instanceof RangeError && STACK_OVERFLOW_MESSAGE.test(error.message);\n}\n\n/** The typed error for a document nested too deeply for the call stack. */\nexport function schemaTooDeepError(step: DeepSchemaStep, cause: unknown): OpenAPITypesafeError {\n  return new OpenAPITypesafeError({\n    code: ERROR_CODES.SCHEMA_TOO_DEEP,\n    message:\n      `The schema is nested too deeply to ${step}: the call stack ran out. Both inline ` +\n      \"schemas and chains of $ref (each schema referring to the next) count; shorten the deepest.\",\n    details: { step },\n    cause,\n  });\n}\n\n/** Run a step and report a stack overflow in it as SCHEMA_TOO_DEEP; other errors pass through. */\nexport function withStackOverflowReported<T>(step: DeepSchemaStep, run: () => T): T {\n  try {\n    return run();\n  } catch (error) {\n    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;\n  }\n}\n\n/** The asynchronous form of `withStackOverflowReported`. */\nexport async function withStackOverflowReportedAsync<T>(\n  step: DeepSchemaStep,\n  run: () => Promise<T>,\n): Promise<T> {\n  try {\n    return await run();\n  } catch (error) {\n    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;\n  }\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES"],"mappings":";;;;AAeA,MAAM,sBAAA,GAAyB,mCAAA;AAGxB,SAAS,qBAAqB,KAAA,EAAyB;AAC5D,EAAA,OAAO,KAAA,YAAiB,UAAA,IAAc,sBAAA,CAAuB,IAAA,CAAK,MAAM,OAAO,CAAA;AACjF;AAGO,SAAS,kBAAA,CAAmB,MAAsB,KAAA,EAAsC;AAC7F,EAAA,OAAO,IAAIA,2BAAA,CAAqB;AAAA,IAC9B,MAAMC,kBAAA,CAAY,eAAA;AAAA,IAClB,OAAA,EACE,sCAAsC,IAAI,CAAA,gIAAA,CAAA;AAAA,IAE5C,OAAA,EAAS,EAAE,IAAA,EAAK;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAGO,SAAS,yBAAA,CAA6B,MAAsB,GAAA,EAAiB;AAClF,EAAA,IAAI;AACF,IAAA,OAAO,GAAA,EAAI;AAAA,EACb,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,qBAAqB,KAAK,CAAA,GAAI,kBAAA,CAAmB,IAAA,EAAM,KAAK,CAAA,GAAI,KAAA;AAAA,EACxE;AACF;AAGA,eAAsB,8BAAA,CACpB,MACA,GAAA,EACY;AACZ,EAAA,IAAI;AACF,IAAA,OAAO,MAAM,GAAA,EAAI;AAAA,EACnB,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,qBAAqB,KAAK,CAAA,GAAI,kBAAA,CAAmB,IAAA,EAAM,KAAK,CAAA,GAAI,KAAA;AAAA,EACxE;AACF;;;;;"}

package/dist/application/stack-overflow.mjs

@@ -0,0 +1,31 @@
+import { OpenAPITypesafeError, ERROR_CODES } from '../domain/errors.mjs';
+
+const STACK_OVERFLOW_MESSAGE = /maximum call stack size exceeded/i;
+function isStackOverflowError(error) {
+  return error instanceof RangeError && STACK_OVERFLOW_MESSAGE.test(error.message);
+}
+function schemaTooDeepError(step, cause) {
+  return new OpenAPITypesafeError({
+    code: ERROR_CODES.SCHEMA_TOO_DEEP,
+    message: `The schema is nested too deeply to ${step}: the call stack ran out. Both inline schemas and chains of $ref (each schema referring to the next) count; shorten the deepest.`,
+    details: { step },
+    cause
+  });
+}
+function withStackOverflowReported(step, run) {
+  try {
+    return run();
+  } catch (error) {
+    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;
+  }
+}
+async function withStackOverflowReportedAsync(step, run) {
+  try {
+    return await run();
+  } catch (error) {
+    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;
+  }
+}
+
+export { isStackOverflowError, schemaTooDeepError, withStackOverflowReported, withStackOverflowReportedAsync };
+//# sourceMappingURL=stack-overflow.mjs.map

package/dist/application/stack-overflow.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"stack-overflow.mjs","sources":["../../src/application/stack-overflow.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../domain/errors.js\";\n\n/**\n * Deeply nested schemas (ENGINEERING_PLAN 8.5). Loading, bundling, transforming and printing walk\n * schemas recursively, and Redocly follows each `$ref` inside the walk. On the default Node.js\n * stack, about 550 levels of inline schemas or a chain of about 900 `$ref`s (each schema refers to\n * the next) run out of call stack. Real documents stay far below: every YAML or JSON file goes\n * through the YAML parser, which stops at 100 levels, and the whole corpus passes. The overflow is\n * reported as a typed error instead of a `RangeError` with a stack trace.\n */\n\n/** The step that ran out of call stack; named in the message and the details. */\nexport type DeepSchemaStep = \"load\" | \"transform\" | \"print\";\n\n/** V8 and JavaScriptCore (Node.js, Deno, Bun) throw a `RangeError` with this message. */\nconst STACK_OVERFLOW_MESSAGE = /maximum call stack size exceeded/i;\n\n/** Whether a thrown value is a call stack overflow. */\nexport function isStackOverflowError(error: unknown): boolean {\n  return error instanceof RangeError && STACK_OVERFLOW_MESSAGE.test(error.message);\n}\n\n/** The typed error for a document nested too deeply for the call stack. */\nexport function schemaTooDeepError(step: DeepSchemaStep, cause: unknown): OpenAPITypesafeError {\n  return new OpenAPITypesafeError({\n    code: ERROR_CODES.SCHEMA_TOO_DEEP,\n    message:\n      `The schema is nested too deeply to ${step}: the call stack ran out. Both inline ` +\n      \"schemas and chains of $ref (each schema referring to the next) count; shorten the deepest.\",\n    details: { step },\n    cause,\n  });\n}\n\n/** Run a step and report a stack overflow in it as SCHEMA_TOO_DEEP; other errors pass through. */\nexport function withStackOverflowReported<T>(step: DeepSchemaStep, run: () => T): T {\n  try {\n    return run();\n  } catch (error) {\n    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;\n  }\n}\n\n/** The asynchronous form of `withStackOverflowReported`. */\nexport async function withStackOverflowReportedAsync<T>(\n  step: DeepSchemaStep,\n  run: () => Promise<T>,\n): Promise<T> {\n  try {\n    return await run();\n  } catch (error) {\n    throw isStackOverflowError(error) ? schemaTooDeepError(step, error) : error;\n  }\n}\n"],"names":[],"mappings":";;AAeA,MAAM,sBAAA,GAAyB,mCAAA;AAGxB,SAAS,qBAAqB,KAAA,EAAyB;AAC5D,EAAA,OAAO,KAAA,YAAiB,UAAA,IAAc,sBAAA,CAAuB,IAAA,CAAK,MAAM,OAAO,CAAA;AACjF;AAGO,SAAS,kBAAA,CAAmB,MAAsB,KAAA,EAAsC;AAC7F,EAAA,OAAO,IAAI,oBAAA,CAAqB;AAAA,IAC9B,MAAM,WAAA,CAAY,eAAA;AAAA,IAClB,OAAA,EACE,sCAAsC,IAAI,CAAA,gIAAA,CAAA;AAAA,IAE5C,OAAA,EAAS,EAAE,IAAA,EAAK;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAGO,SAAS,yBAAA,CAA6B,MAAsB,GAAA,EAAiB;AAClF,EAAA,IAAI;AACF,IAAA,OAAO,GAAA,EAAI;AAAA,EACb,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,qBAAqB,KAAK,CAAA,GAAI,kBAAA,CAAmB,IAAA,EAAM,KAAK,CAAA,GAAI,KAAA;AAAA,EACxE;AACF;AAGA,eAAsB,8BAAA,CACpB,MACA,GAAA,EACY;AACZ,EAAA,IAAI;AACF,IAAA,OAAO,MAAM,GAAA,EAAI;AAAA,EACnB,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,qBAAqB,KAAK,CAAA,GAAI,kBAAA,CAAmB,IAAA,EAAM,KAAK,CAAA,GAAI,KAAA;AAAA,EACxE;AACF;;"}