openapi-typesafe 0.0.0 → 1.0.0-rc.1

package/dist/application/transform/footer/enum-naming.cjs

@@ -0,0 +1,138 @@
+'use strict';
+
+const errors = require('../../../domain/errors.cjs');
+const numberedNames = require('../numbered-names.cjs');
+
+const IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;
+const INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;
+const INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;
+const INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;
+const INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;
+const STARTS_WITH_DIGIT_RE = /^[0-9]/;
+const SPECIAL_CHARACTERS = /* @__PURE__ */ new Map([["+", "Plus"]]);
+const NUMBER_PREFIX = "Value";
+const NEGATIVE_PREFIX = "ValueMinus";
+class EmptyEnumNameError extends errors.OpenAPITypesafeError {
+  constructor(name) {
+    super({
+      code: errors.ERROR_CODES.ENUM_NAME_EMPTY,
+      message: `Cannot build an enum or enum values name from "${name}": no valid characters`,
+      details: { name }
+    });
+    this.name = "EmptyEnumNameError";
+  }
+}
+class EnumNaming {
+  isNextCheckSkipped = false;
+  /** `my-status` → `MyStatus`. */
+  enumName(name) {
+    const sanitized = this.sanitize(name);
+    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;
+  }
+  /** `MyStatusValues` → `myStatusValues`. */
+  arrayName(name) {
+    const sanitized = this.sanitize(name);
+    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;
+  }
+  /** A member name: a valid identifier, a rewritten one, or a quoted name. */
+  memberName(value, metadata = {}) {
+    const name = metadata.name ?? String(value);
+    if (IDENTIFIER_RE.test(name)) {
+      return name;
+    }
+    this.isNextCheckSkipped = false;
+    const prefixed = prefixedMemberName(name);
+    const invalidRun = INVALID_RUN_RE.exec(prefixed);
+    if (!invalidRun) {
+      return prefixed === "" ? quotedMemberName(prefixed) : prefixed;
+    }
+    return invalidRun[0] === prefixed ? quotedMemberName(prefixed) : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? "_");
+  }
+  sanitize(name) {
+    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {
+      const next = run.charAt(run.length - 1);
+      return this.isInvalid(next) ? "" : next.toUpperCase();
+    });
+    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;
+  }
+  isInvalid(character) {
+    if (this.isNextCheckSkipped) {
+      this.isNextCheckSkipped = false;
+      return false;
+    }
+    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);
+    return this.isNextCheckSkipped;
+  }
+}
+function firstCharacter(sanitized, name) {
+  const first = sanitized[0];
+  if (first === void 0) {
+    throw new EmptyEnumNameError(name);
+  }
+  return first;
+}
+function quotedMemberName(name) {
+  return JSON.stringify(name);
+}
+function prefixedMemberName(name) {
+  if (Number(name[0]) >= 0) {
+    return `${NUMBER_PREFIX}${name}`.replace(".", "_");
+  }
+  return name[0] === "-" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;
+}
+const LINE_TERMINATORS_RE = /\r\n|[\n\r\u2028\u2029]/g;
+function enumMemberDescription(description) {
+  return description?.trim().replace(LINE_TERMINATORS_RE, " ") ?? "";
+}
+function enumMemberComments(metadata = {}) {
+  const description = enumMemberDescription(metadata.description);
+  return description ? [{ kind: "line", text: ` ${description}` }] : [];
+}
+const MEMBER_NUMBER_SEPARATOR = "_";
+function numberedMemberName(name, count) {
+  const isQuoted = name.startsWith('"');
+  const raw = isQuoted ? JSON.parse(name) : name;
+  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;
+  return isQuoted ? quotedMemberName(numbered) : numbered;
+}
+function enumDeclaration(name, members, naming) {
+  const names = members.values.map(
+    (value, index) => naming.memberName(value, members.metadata[index])
+  );
+  const uniqueNames = numberedNames.withNumberedRepeats(names, numberedMemberName);
+  return {
+    kind: "enum",
+    name,
+    isExported: true,
+    members: members.values.map((value, index) => ({
+      name: uniqueNames[index],
+      value,
+      comments: enumMemberComments(members.metadata[index])
+    })),
+    comments: []
+  };
+}
+function withoutDeclaredMembers(declaration, declared) {
+  const taken = new Set(declared.keys());
+  const members = [];
+  for (const member of declaration.members) {
+    if (declared.get(member.name) === member.value) {
+      continue;
+    }
+    let name = member.name;
+    for (let count = 2; taken.has(name); count++) {
+      name = numberedMemberName(member.name, count);
+    }
+    taken.add(name);
+    members.push(name === member.name ? member : { ...member, name });
+  }
+  return { ...declaration, members };
+}
+
+exports.EmptyEnumNameError = EmptyEnumNameError;
+exports.EnumNaming = EnumNaming;
+exports.enumDeclaration = enumDeclaration;
+exports.enumMemberDescription = enumMemberDescription;
+exports.quotedMemberName = quotedMemberName;
+exports.withoutDeclaredMembers = withoutDeclaredMembers;
+//# sourceMappingURL=enum-naming.cjs.map

package/dist/application/transform/footer/enum-naming.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-naming.cjs","sources":["../../../../src/application/transform/footer/enum-naming.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport type { IrComment, IrEnumDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { withNumberedRepeats } from \"../numbered-names.js\";\n\nconst IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;\n/** A run of invalid characters and the character after it, which starts the next word. */\nconst INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;\nconst INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;\nconst INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;\nconst INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;\nconst STARTS_WITH_DIGIT_RE = /^[0-9]/;\n/** Invalid character runs with a readable replacement; any other run becomes `_`. */\nconst SPECIAL_CHARACTERS: ReadonlyMap<string, string> = new Map([[\"+\", \"Plus\"]]);\nconst NUMBER_PREFIX = \"Value\";\nconst NEGATIVE_PREFIX = \"ValueMinus\";\n\nexport class EmptyEnumNameError extends OpenAPITypesafeError {\n  constructor(name: string) {\n    super({\n      code: ERROR_CODES.ENUM_NAME_EMPTY,\n      message: `Cannot build an enum or enum values name from \"${name}\": no valid characters`,\n      details: { name },\n    });\n    this.name = \"EmptyEnumNameError\";\n  }\n}\n\n/** Metadata of one enum member (`x-enum-varnames`, `x-enum-descriptions`). */\nexport interface EnumMemberNaming {\n  readonly name?: string | undefined;\n  readonly description?: string | null | undefined;\n}\n\n/**\n * Names of `--enum` declarations, their members and `--enum-values` arrays, as the original\n * builds them. One instance per run.\n *\n * The original checks the character after an invalid run with a global regex and `.test()`,\n * which keeps `lastIndex`: after a check that finds an invalid character, the next check fails,\n * and a later member name with invalid characters resets it. `isNextCheckSkipped` keeps that\n * behavior within a run (research/legacy-bugs.md, item 2; fixed in Phase 7).\n */\nexport class EnumNaming {\n  private isNextCheckSkipped = false;\n\n  /** `my-status` → `MyStatus`. */\n  enumName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;\n  }\n\n  /** `MyStatusValues` → `myStatusValues`. */\n  arrayName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;\n  }\n\n  /** A member name: a valid identifier, a rewritten one, or a quoted name. */\n  memberName(value: string | number, metadata: EnumMemberNaming = {}): string {\n    const name = metadata.name ?? String(value);\n    if (IDENTIFIER_RE.test(name)) {\n      return name;\n    }\n    // The original runs a global `match` here, which resets the regex state.\n    this.isNextCheckSkipped = false;\n    const prefixed = prefixedMemberName(name);\n    const invalidRun = INVALID_RUN_RE.exec(prefixed);\n    if (!invalidRun) {\n      // Only the empty name has no invalid run and is no identifier (upstream #2807).\n      return prefixed === \"\" ? quotedMemberName(prefixed) : prefixed;\n    }\n    return invalidRun[0] === prefixed\n      ? quotedMemberName(prefixed)\n      : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? \"_\");\n  }\n\n  private sanitize(name: string): string {\n    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {\n      const next = run.charAt(run.length - 1);\n      return this.isInvalid(next) ? \"\" : next.toUpperCase();\n    });\n    // The original prefixed the unsanitized name, which kept invalid characters after a leading\n    // digit, and missed a digit that only became first after sanitizing (research/legacy-bugs.md,\n    // item 15). Prefixing the sanitized name gives the same name wherever the original was valid.\n    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;\n  }\n\n  private isInvalid(character: string): boolean {\n    if (this.isNextCheckSkipped) {\n      this.isNextCheckSkipped = false;\n      return false;\n    }\n    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);\n    return this.isNextCheckSkipped;\n  }\n}\n\nfunction firstCharacter(sanitized: string, name: string): string {\n  const first = sanitized[0];\n  if (first === undefined) {\n    throw new EmptyEnumNameError(name);\n  }\n  return first;\n}\n\n/**\n * A string-literal member name. The original wrapped the name in quotes without escaping, so `\\`\n * and `\"` gave invalid output (upstream #2614); a JSON string is a valid TypeScript string.\n */\nexport function quotedMemberName(name: string): string {\n  return JSON.stringify(name);\n}\n\nfunction prefixedMemberName(name: string): string {\n  if (Number(name[0]) >= 0) {\n    // Only the first dot: `1.5` → `Value1_5`.\n    return `${NUMBER_PREFIX}${name}`.replace(\".\", \"_\");\n  }\n  return name[0] === \"-\" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;\n}\n\n/** Every line terminator of JavaScript, which would end a `//` comment. */\nconst LINE_TERMINATORS_RE = /\\r\\n|[\\n\\r\\u2028\\u2029]/g;\n\n/** The text of a member's `//` comment: trimmed, on one line; empty when there is none. */\nexport function enumMemberDescription(description: string | null | undefined): string {\n  return description?.trim().replace(LINE_TERMINATORS_RE, \" \") ?? \"\";\n}\n\n/**\n * The member comment: the trimmed description as a line comment, as in the original. Line breaks\n * become spaces: in a `//` comment they ended the comment early (upstream #2838).\n */\nfunction enumMemberComments(metadata: EnumMemberNaming = {}): IrComment[] {\n  const description = enumMemberDescription(metadata.description);\n  return description ? [{ kind: \"line\", text: ` ${description}` }] : [];\n}\n\n/** The members of an enum, by value, with optional metadata at the same index. */\nexport interface EnumMembers {\n  readonly values: readonly (string | number)[];\n  readonly metadata: readonly (EnumMemberNaming | undefined)[];\n}\n\n/** Separates a repeated member name from its number: `reactions_1` → `reactions_1_2`. */\nconst MEMBER_NUMBER_SEPARATOR = \"_\";\n\n/** The `count`-th use of a member name; a quoted name gets the number inside the quotes. */\nfunction numberedMemberName(name: string, count: number): string {\n  const isQuoted = name.startsWith('\"');\n  const raw = isQuoted ? (JSON.parse(name) as string) : name;\n  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;\n  return isQuoted ? quotedMemberName(numbered) : numbered;\n}\n\n/**\n * An exported enum with an already built `name`; member names advance the naming state. Values\n * whose names come out the same (`reactions-+1` and `reactions--1` are both `reactions_1`) would\n * not compile, so a repeated name gets a number (`reactions_1_2`).\n */\nexport function enumDeclaration(\n  name: string,\n  members: EnumMembers,\n  naming: EnumNaming,\n): IrEnumDeclaration {\n  const names = members.values.map((value, index) =>\n    naming.memberName(value, members.metadata[index]),\n  );\n  const uniqueNames = withNumberedRepeats(names, numberedMemberName);\n  return {\n    kind: \"enum\",\n    name,\n    isExported: true,\n    members: members.values.map((value, index) => ({\n      name: uniqueNames[index] as string,\n      value,\n      comments: enumMemberComments(members.metadata[index]),\n    })),\n    comments: [],\n  };\n}\n\n/** The member names an enum name has so far, with their values. */\nexport type DeclaredMembers = ReadonlyMap<string, string | number>;\n\n/**\n * A later declaration of an enum name merges with the earlier ones, and a member name declared\n * twice does not compile (TS2300): a property and an inline `allOf` item of one schema give one\n * name. A member that repeats one by name and value is left out; one whose name another value has\n * gets the next free number (`a_b_2`).\n */\nexport function withoutDeclaredMembers(\n  declaration: IrEnumDeclaration,\n  declared: DeclaredMembers,\n): IrEnumDeclaration {\n  const taken = new Set(declared.keys());\n  const members: IrEnumDeclaration[\"members\"][number][] = [];\n  for (const member of declaration.members) {\n    if (declared.get(member.name) === member.value) {\n      continue;\n    }\n    let name = member.name;\n    for (let count = 2; taken.has(name); count++) {\n      name = numberedMemberName(member.name, count);\n    }\n    taken.add(name);\n    members.push(name === member.name ? member : { ...member, name });\n  }\n  return { ...declaration, members };\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","withNumberedRepeats"],"mappings":";;;;;AAIA,MAAM,aAAA,GAAgB,4BAAA;AAEtB,MAAM,6BAAA,GAAgC,sBAAA;AACtC,MAAM,cAAA,GAAiB,iBAAA;AACvB,MAAM,eAAA,GAAkB,kBAAA;AACxB,MAAM,oBAAA,GAAuB,gBAAA;AAC7B,MAAM,oBAAA,GAAuB,QAAA;AAE7B,MAAM,kBAAA,uBAAsD,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,MAAM,CAAC,CAAC,CAAA;AAC/E,MAAM,aAAA,GAAgB,OAAA;AACtB,MAAM,eAAA,GAAkB,YAAA;AAEjB,MAAM,2BAA2BA,2BAAA,CAAqB;AAAA,EAC3D,YAAY,IAAA,EAAc;AACxB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,eAAA;AAAA,MAClB,OAAA,EAAS,kDAAkD,IAAI,CAAA,sBAAA,CAAA;AAAA,MAC/D,OAAA,EAAS,EAAE,IAAA;AAAK,KACjB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AAAA,EACd;AACF;AAiBO,MAAM,UAAA,CAAW;AAAA,EACd,kBAAA,GAAqB,KAAA;AAAA;AAAA,EAG7B,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAU,IAAA,EAAsB;AAC9B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAA,CAAW,KAAA,EAAwB,QAAA,GAA6B,EAAC,EAAW;AAC1E,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,IAAA,IAAQ,MAAA,CAAO,KAAK,CAAA;AAC1C,IAAA,IAAI,aAAA,CAAc,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,IAAA,MAAM,QAAA,GAAW,mBAAmB,IAAI,CAAA;AACxC,IAAA,MAAM,UAAA,GAAa,cAAA,CAAe,IAAA,CAAK,QAAQ,CAAA;AAC/C,IAAA,IAAI,CAAC,UAAA,EAAY;AAEf,MAAA,OAAO,QAAA,KAAa,EAAA,GAAK,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AAAA,IACxD;AACA,IAAA,OAAO,WAAW,CAAC,CAAA,KAAM,QAAA,GACrB,gBAAA,CAAiB,QAAQ,CAAA,GACzB,QAAA,CAAS,OAAA,CAAQ,eAAA,EAAiB,CAAC,GAAA,KAAQ,kBAAA,CAAmB,GAAA,CAAI,GAAG,KAAK,GAAG,CAAA;AAAA,EACnF;AAAA,EAEQ,SAAS,IAAA,EAAsB;AACrC,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,OAAA,CAAQ,6BAAA,EAA+B,CAAC,GAAA,KAAQ;AACrE,MAAA,MAAM,IAAA,GAAO,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,SAAS,CAAC,CAAA;AACtC,MAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA,GAAK,KAAK,WAAA,EAAY;AAAA,IACtD,CAAC,CAAA;AAID,IAAA,OAAO,oBAAA,CAAqB,KAAK,SAAS,CAAA,GAAI,GAAG,aAAa,CAAA,EAAG,SAAS,CAAA,CAAA,GAAK,SAAA;AAAA,EACjF;AAAA,EAEQ,UAAU,SAAA,EAA4B;AAC5C,IAAA,IAAI,KAAK,kBAAA,EAAoB;AAC3B,MAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,IAAA,CAAK,kBAAA,GAAqB,oBAAA,CAAqB,IAAA,CAAK,SAAS,CAAA;AAC7D,IAAA,OAAO,IAAA,CAAK,kBAAA;AAAA,EACd;AACF;AAEA,SAAS,cAAA,CAAe,WAAmB,IAAA,EAAsB;AAC/D,EAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,mBAAmB,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,iBAAiB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,UAAU,IAAI,CAAA;AAC5B;AAEA,SAAS,mBAAmB,IAAA,EAAsB;AAChD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,KAAK,CAAA,EAAG;AAExB,IAAA,OAAO,GAAG,aAAa,CAAA,EAAG,IAAI,CAAA,CAAA,CAAG,OAAA,CAAQ,KAAK,GAAG,CAAA;AAAA,EACnD;AACA,EAAA,OAAO,IAAA,CAAK,CAAC,CAAA,KAAM,GAAA,GAAM,CAAA,EAAG,eAAe,CAAA,EAAG,IAAA,CAAK,KAAA,CAAM,CAAC,CAAC,CAAA,CAAA,GAAK,IAAA;AAClE;AAGA,MAAM,mBAAA,GAAsB,0BAAA;AAGrB,SAAS,sBAAsB,WAAA,EAAgD;AACpF,EAAA,OAAO,aAAa,IAAA,EAAK,CAAE,OAAA,CAAQ,mBAAA,EAAqB,GAAG,CAAA,IAAK,EAAA;AAClE;AAMA,SAAS,kBAAA,CAAmB,QAAA,GAA6B,EAAC,EAAgB;AACxE,EAAA,MAAM,WAAA,GAAc,qBAAA,CAAsB,QAAA,CAAS,WAAW,CAAA;AAC9D,EAAA,OAAO,WAAA,GAAc,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,CAAA,CAAA,EAAI,WAAW,CAAA,CAAA,EAAI,CAAA,GAAI,EAAC;AACtE;AASA,MAAM,uBAAA,GAA0B,GAAA;AAGhC,SAAS,kBAAA,CAAmB,MAAc,KAAA,EAAuB;AAC/D,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,UAAA,CAAW,GAAG,CAAA;AACpC,EAAA,MAAM,GAAA,GAAM,QAAA,GAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,GAAe,IAAA;AACtD,EAAA,MAAM,WAAW,CAAA,EAAG,GAAG,CAAA,EAAG,uBAAuB,GAAG,KAAK,CAAA,CAAA;AACzD,EAAA,OAAO,QAAA,GAAW,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AACjD;AAOO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,MAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,QAAQ,MAAA,CAAO,GAAA;AAAA,IAAI,CAAC,OAAO,KAAA,KACvC,MAAA,CAAO,WAAW,KAAA,EAAO,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,GAClD;AACA,EAAA,MAAM,WAAA,GAAcC,iCAAA,CAAoB,KAAA,EAAO,kBAAkB,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,MAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA,IACZ,SAAS,OAAA,CAAQ,MAAA,CAAO,GAAA,CAAI,CAAC,OAAO,KAAA,MAAW;AAAA,MAC7C,IAAA,EAAM,YAAY,KAAK,CAAA;AAAA,MACvB,KAAA;AAAA,MACA,QAAA,EAAU,kBAAA,CAAmB,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,KACtD,CAAE,CAAA;AAAA,IACF,UAAU;AAAC,GACb;AACF;AAWO,SAAS,sBAAA,CACd,aACA,QAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,QAAA,CAAS,MAAM,CAAA;AACrC,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,IAAA,IAAI,SAAS,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,KAAM,OAAO,KAAA,EAAO;AAC9C,MAAA;AAAA,IACF;AACA,IAAA,IAAI,OAAO,MAAA,CAAO,IAAA;AAClB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,IAAI,GAAG,KAAA,EAAA,EAAS;AAC5C,MAAA,IAAA,GAAO,kBAAA,CAAmB,MAAA,CAAO,IAAA,EAAM,KAAK,CAAA;AAAA,IAC9C;AACA,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAA,CAAQ,IAAA,CAAK,SAAS,MAAA,CAAO,IAAA,GAAO,SAAS,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,CAAA;AAAA,EAClE;AACA,EAAA,OAAO,EAAE,GAAG,WAAA,EAAa,OAAA,EAAQ;AACnC;;;;;;;"}

package/dist/application/transform/footer/enum-naming.mjs

@@ -0,0 +1,131 @@
+import { OpenAPITypesafeError, ERROR_CODES } from '../../../domain/errors.mjs';
+import { withNumberedRepeats } from '../numbered-names.mjs';
+
+const IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;
+const INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;
+const INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;
+const INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;
+const INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;
+const STARTS_WITH_DIGIT_RE = /^[0-9]/;
+const SPECIAL_CHARACTERS = /* @__PURE__ */ new Map([["+", "Plus"]]);
+const NUMBER_PREFIX = "Value";
+const NEGATIVE_PREFIX = "ValueMinus";
+class EmptyEnumNameError extends OpenAPITypesafeError {
+  constructor(name) {
+    super({
+      code: ERROR_CODES.ENUM_NAME_EMPTY,
+      message: `Cannot build an enum or enum values name from "${name}": no valid characters`,
+      details: { name }
+    });
+    this.name = "EmptyEnumNameError";
+  }
+}
+class EnumNaming {
+  isNextCheckSkipped = false;
+  /** `my-status` → `MyStatus`. */
+  enumName(name) {
+    const sanitized = this.sanitize(name);
+    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;
+  }
+  /** `MyStatusValues` → `myStatusValues`. */
+  arrayName(name) {
+    const sanitized = this.sanitize(name);
+    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;
+  }
+  /** A member name: a valid identifier, a rewritten one, or a quoted name. */
+  memberName(value, metadata = {}) {
+    const name = metadata.name ?? String(value);
+    if (IDENTIFIER_RE.test(name)) {
+      return name;
+    }
+    this.isNextCheckSkipped = false;
+    const prefixed = prefixedMemberName(name);
+    const invalidRun = INVALID_RUN_RE.exec(prefixed);
+    if (!invalidRun) {
+      return prefixed === "" ? quotedMemberName(prefixed) : prefixed;
+    }
+    return invalidRun[0] === prefixed ? quotedMemberName(prefixed) : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? "_");
+  }
+  sanitize(name) {
+    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {
+      const next = run.charAt(run.length - 1);
+      return this.isInvalid(next) ? "" : next.toUpperCase();
+    });
+    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;
+  }
+  isInvalid(character) {
+    if (this.isNextCheckSkipped) {
+      this.isNextCheckSkipped = false;
+      return false;
+    }
+    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);
+    return this.isNextCheckSkipped;
+  }
+}
+function firstCharacter(sanitized, name) {
+  const first = sanitized[0];
+  if (first === void 0) {
+    throw new EmptyEnumNameError(name);
+  }
+  return first;
+}
+function quotedMemberName(name) {
+  return JSON.stringify(name);
+}
+function prefixedMemberName(name) {
+  if (Number(name[0]) >= 0) {
+    return `${NUMBER_PREFIX}${name}`.replace(".", "_");
+  }
+  return name[0] === "-" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;
+}
+const LINE_TERMINATORS_RE = /\r\n|[\n\r\u2028\u2029]/g;
+function enumMemberDescription(description) {
+  return description?.trim().replace(LINE_TERMINATORS_RE, " ") ?? "";
+}
+function enumMemberComments(metadata = {}) {
+  const description = enumMemberDescription(metadata.description);
+  return description ? [{ kind: "line", text: ` ${description}` }] : [];
+}
+const MEMBER_NUMBER_SEPARATOR = "_";
+function numberedMemberName(name, count) {
+  const isQuoted = name.startsWith('"');
+  const raw = isQuoted ? JSON.parse(name) : name;
+  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;
+  return isQuoted ? quotedMemberName(numbered) : numbered;
+}
+function enumDeclaration(name, members, naming) {
+  const names = members.values.map(
+    (value, index) => naming.memberName(value, members.metadata[index])
+  );
+  const uniqueNames = withNumberedRepeats(names, numberedMemberName);
+  return {
+    kind: "enum",
+    name,
+    isExported: true,
+    members: members.values.map((value, index) => ({
+      name: uniqueNames[index],
+      value,
+      comments: enumMemberComments(members.metadata[index])
+    })),
+    comments: []
+  };
+}
+function withoutDeclaredMembers(declaration, declared) {
+  const taken = new Set(declared.keys());
+  const members = [];
+  for (const member of declaration.members) {
+    if (declared.get(member.name) === member.value) {
+      continue;
+    }
+    let name = member.name;
+    for (let count = 2; taken.has(name); count++) {
+      name = numberedMemberName(member.name, count);
+    }
+    taken.add(name);
+    members.push(name === member.name ? member : { ...member, name });
+  }
+  return { ...declaration, members };
+}
+
+export { EmptyEnumNameError, EnumNaming, enumDeclaration, enumMemberDescription, quotedMemberName, withoutDeclaredMembers };
+//# sourceMappingURL=enum-naming.mjs.map

package/dist/application/transform/footer/enum-naming.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-naming.mjs","sources":["../../../../src/application/transform/footer/enum-naming.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../../domain/errors.js\";\nimport type { IrComment, IrEnumDeclaration } from \"../../../domain/ir/nodes.js\";\nimport { withNumberedRepeats } from \"../numbered-names.js\";\n\nconst IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z_$0-9]*$/;\n/** A run of invalid characters and the character after it, which starts the next word. */\nconst INVALID_RUN_THEN_CHARACTER_RE = /[^A-Za-z_$0-9]+(.)?/g;\nconst INVALID_RUN_RE = /[^A-Za-z_$0-9]+/;\nconst INVALID_RUNS_RE = /[^A-Za-z_$0-9]+/g;\nconst INVALID_CHARACTER_RE = /[^A-Za-z_$0-9]/;\nconst STARTS_WITH_DIGIT_RE = /^[0-9]/;\n/** Invalid character runs with a readable replacement; any other run becomes `_`. */\nconst SPECIAL_CHARACTERS: ReadonlyMap<string, string> = new Map([[\"+\", \"Plus\"]]);\nconst NUMBER_PREFIX = \"Value\";\nconst NEGATIVE_PREFIX = \"ValueMinus\";\n\nexport class EmptyEnumNameError extends OpenAPITypesafeError {\n  constructor(name: string) {\n    super({\n      code: ERROR_CODES.ENUM_NAME_EMPTY,\n      message: `Cannot build an enum or enum values name from \"${name}\": no valid characters`,\n      details: { name },\n    });\n    this.name = \"EmptyEnumNameError\";\n  }\n}\n\n/** Metadata of one enum member (`x-enum-varnames`, `x-enum-descriptions`). */\nexport interface EnumMemberNaming {\n  readonly name?: string | undefined;\n  readonly description?: string | null | undefined;\n}\n\n/**\n * Names of `--enum` declarations, their members and `--enum-values` arrays, as the original\n * builds them. One instance per run.\n *\n * The original checks the character after an invalid run with a global regex and `.test()`,\n * which keeps `lastIndex`: after a check that finds an invalid character, the next check fails,\n * and a later member name with invalid characters resets it. `isNextCheckSkipped` keeps that\n * behavior within a run (research/legacy-bugs.md, item 2; fixed in Phase 7).\n */\nexport class EnumNaming {\n  private isNextCheckSkipped = false;\n\n  /** `my-status` → `MyStatus`. */\n  enumName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toUpperCase()}${sanitized.substring(1)}`;\n  }\n\n  /** `MyStatusValues` → `myStatusValues`. */\n  arrayName(name: string): string {\n    const sanitized = this.sanitize(name);\n    return `${firstCharacter(sanitized, name).toLowerCase()}${sanitized.substring(1)}`;\n  }\n\n  /** A member name: a valid identifier, a rewritten one, or a quoted name. */\n  memberName(value: string | number, metadata: EnumMemberNaming = {}): string {\n    const name = metadata.name ?? String(value);\n    if (IDENTIFIER_RE.test(name)) {\n      return name;\n    }\n    // The original runs a global `match` here, which resets the regex state.\n    this.isNextCheckSkipped = false;\n    const prefixed = prefixedMemberName(name);\n    const invalidRun = INVALID_RUN_RE.exec(prefixed);\n    if (!invalidRun) {\n      // Only the empty name has no invalid run and is no identifier (upstream #2807).\n      return prefixed === \"\" ? quotedMemberName(prefixed) : prefixed;\n    }\n    return invalidRun[0] === prefixed\n      ? quotedMemberName(prefixed)\n      : prefixed.replace(INVALID_RUNS_RE, (run) => SPECIAL_CHARACTERS.get(run) ?? \"_\");\n  }\n\n  private sanitize(name: string): string {\n    const sanitized = name.replace(INVALID_RUN_THEN_CHARACTER_RE, (run) => {\n      const next = run.charAt(run.length - 1);\n      return this.isInvalid(next) ? \"\" : next.toUpperCase();\n    });\n    // The original prefixed the unsanitized name, which kept invalid characters after a leading\n    // digit, and missed a digit that only became first after sanitizing (research/legacy-bugs.md,\n    // item 15). Prefixing the sanitized name gives the same name wherever the original was valid.\n    return STARTS_WITH_DIGIT_RE.test(sanitized) ? `${NUMBER_PREFIX}${sanitized}` : sanitized;\n  }\n\n  private isInvalid(character: string): boolean {\n    if (this.isNextCheckSkipped) {\n      this.isNextCheckSkipped = false;\n      return false;\n    }\n    this.isNextCheckSkipped = INVALID_CHARACTER_RE.test(character);\n    return this.isNextCheckSkipped;\n  }\n}\n\nfunction firstCharacter(sanitized: string, name: string): string {\n  const first = sanitized[0];\n  if (first === undefined) {\n    throw new EmptyEnumNameError(name);\n  }\n  return first;\n}\n\n/**\n * A string-literal member name. The original wrapped the name in quotes without escaping, so `\\`\n * and `\"` gave invalid output (upstream #2614); a JSON string is a valid TypeScript string.\n */\nexport function quotedMemberName(name: string): string {\n  return JSON.stringify(name);\n}\n\nfunction prefixedMemberName(name: string): string {\n  if (Number(name[0]) >= 0) {\n    // Only the first dot: `1.5` → `Value1_5`.\n    return `${NUMBER_PREFIX}${name}`.replace(\".\", \"_\");\n  }\n  return name[0] === \"-\" ? `${NEGATIVE_PREFIX}${name.slice(1)}` : name;\n}\n\n/** Every line terminator of JavaScript, which would end a `//` comment. */\nconst LINE_TERMINATORS_RE = /\\r\\n|[\\n\\r\\u2028\\u2029]/g;\n\n/** The text of a member's `//` comment: trimmed, on one line; empty when there is none. */\nexport function enumMemberDescription(description: string | null | undefined): string {\n  return description?.trim().replace(LINE_TERMINATORS_RE, \" \") ?? \"\";\n}\n\n/**\n * The member comment: the trimmed description as a line comment, as in the original. Line breaks\n * become spaces: in a `//` comment they ended the comment early (upstream #2838).\n */\nfunction enumMemberComments(metadata: EnumMemberNaming = {}): IrComment[] {\n  const description = enumMemberDescription(metadata.description);\n  return description ? [{ kind: \"line\", text: ` ${description}` }] : [];\n}\n\n/** The members of an enum, by value, with optional metadata at the same index. */\nexport interface EnumMembers {\n  readonly values: readonly (string | number)[];\n  readonly metadata: readonly (EnumMemberNaming | undefined)[];\n}\n\n/** Separates a repeated member name from its number: `reactions_1` → `reactions_1_2`. */\nconst MEMBER_NUMBER_SEPARATOR = \"_\";\n\n/** The `count`-th use of a member name; a quoted name gets the number inside the quotes. */\nfunction numberedMemberName(name: string, count: number): string {\n  const isQuoted = name.startsWith('\"');\n  const raw = isQuoted ? (JSON.parse(name) as string) : name;\n  const numbered = `${raw}${MEMBER_NUMBER_SEPARATOR}${count}`;\n  return isQuoted ? quotedMemberName(numbered) : numbered;\n}\n\n/**\n * An exported enum with an already built `name`; member names advance the naming state. Values\n * whose names come out the same (`reactions-+1` and `reactions--1` are both `reactions_1`) would\n * not compile, so a repeated name gets a number (`reactions_1_2`).\n */\nexport function enumDeclaration(\n  name: string,\n  members: EnumMembers,\n  naming: EnumNaming,\n): IrEnumDeclaration {\n  const names = members.values.map((value, index) =>\n    naming.memberName(value, members.metadata[index]),\n  );\n  const uniqueNames = withNumberedRepeats(names, numberedMemberName);\n  return {\n    kind: \"enum\",\n    name,\n    isExported: true,\n    members: members.values.map((value, index) => ({\n      name: uniqueNames[index] as string,\n      value,\n      comments: enumMemberComments(members.metadata[index]),\n    })),\n    comments: [],\n  };\n}\n\n/** The member names an enum name has so far, with their values. */\nexport type DeclaredMembers = ReadonlyMap<string, string | number>;\n\n/**\n * A later declaration of an enum name merges with the earlier ones, and a member name declared\n * twice does not compile (TS2300): a property and an inline `allOf` item of one schema give one\n * name. A member that repeats one by name and value is left out; one whose name another value has\n * gets the next free number (`a_b_2`).\n */\nexport function withoutDeclaredMembers(\n  declaration: IrEnumDeclaration,\n  declared: DeclaredMembers,\n): IrEnumDeclaration {\n  const taken = new Set(declared.keys());\n  const members: IrEnumDeclaration[\"members\"][number][] = [];\n  for (const member of declaration.members) {\n    if (declared.get(member.name) === member.value) {\n      continue;\n    }\n    let name = member.name;\n    for (let count = 2; taken.has(name); count++) {\n      name = numberedMemberName(member.name, count);\n    }\n    taken.add(name);\n    members.push(name === member.name ? member : { ...member, name });\n  }\n  return { ...declaration, members };\n}\n"],"names":[],"mappings":";;;AAIA,MAAM,aAAA,GAAgB,4BAAA;AAEtB,MAAM,6BAAA,GAAgC,sBAAA;AACtC,MAAM,cAAA,GAAiB,iBAAA;AACvB,MAAM,eAAA,GAAkB,kBAAA;AACxB,MAAM,oBAAA,GAAuB,gBAAA;AAC7B,MAAM,oBAAA,GAAuB,QAAA;AAE7B,MAAM,kBAAA,uBAAsD,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,MAAM,CAAC,CAAC,CAAA;AAC/E,MAAM,aAAA,GAAgB,OAAA;AACtB,MAAM,eAAA,GAAkB,YAAA;AAEjB,MAAM,2BAA2B,oBAAA,CAAqB;AAAA,EAC3D,YAAY,IAAA,EAAc;AACxB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,eAAA;AAAA,MAClB,OAAA,EAAS,kDAAkD,IAAI,CAAA,sBAAA,CAAA;AAAA,MAC/D,OAAA,EAAS,EAAE,IAAA;AAAK,KACjB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AAAA,EACd;AACF;AAiBO,MAAM,UAAA,CAAW;AAAA,EACd,kBAAA,GAAqB,KAAA;AAAA;AAAA,EAG7B,SAAS,IAAA,EAAsB;AAC7B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAU,IAAA,EAAsB;AAC9B,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA;AACpC,IAAA,OAAO,CAAA,EAAG,cAAA,CAAe,SAAA,EAAW,IAAI,CAAA,CAAE,WAAA,EAAa,CAAA,EAAG,SAAA,CAAU,SAAA,CAAU,CAAC,CAAC,CAAA,CAAA;AAAA,EAClF;AAAA;AAAA,EAGA,UAAA,CAAW,KAAA,EAAwB,QAAA,GAA6B,EAAC,EAAW;AAC1E,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,IAAA,IAAQ,MAAA,CAAO,KAAK,CAAA;AAC1C,IAAA,IAAI,aAAA,CAAc,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AAEA,IAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,IAAA,MAAM,QAAA,GAAW,mBAAmB,IAAI,CAAA;AACxC,IAAA,MAAM,UAAA,GAAa,cAAA,CAAe,IAAA,CAAK,QAAQ,CAAA;AAC/C,IAAA,IAAI,CAAC,UAAA,EAAY;AAEf,MAAA,OAAO,QAAA,KAAa,EAAA,GAAK,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AAAA,IACxD;AACA,IAAA,OAAO,WAAW,CAAC,CAAA,KAAM,QAAA,GACrB,gBAAA,CAAiB,QAAQ,CAAA,GACzB,QAAA,CAAS,OAAA,CAAQ,eAAA,EAAiB,CAAC,GAAA,KAAQ,kBAAA,CAAmB,GAAA,CAAI,GAAG,KAAK,GAAG,CAAA;AAAA,EACnF;AAAA,EAEQ,SAAS,IAAA,EAAsB;AACrC,IAAA,MAAM,SAAA,GAAY,IAAA,CAAK,OAAA,CAAQ,6BAAA,EAA+B,CAAC,GAAA,KAAQ;AACrE,MAAA,MAAM,IAAA,GAAO,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,SAAS,CAAC,CAAA;AACtC,MAAA,OAAO,KAAK,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA,GAAK,KAAK,WAAA,EAAY;AAAA,IACtD,CAAC,CAAA;AAID,IAAA,OAAO,oBAAA,CAAqB,KAAK,SAAS,CAAA,GAAI,GAAG,aAAa,CAAA,EAAG,SAAS,CAAA,CAAA,GAAK,SAAA;AAAA,EACjF;AAAA,EAEQ,UAAU,SAAA,EAA4B;AAC5C,IAAA,IAAI,KAAK,kBAAA,EAAoB;AAC3B,MAAA,IAAA,CAAK,kBAAA,GAAqB,KAAA;AAC1B,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,IAAA,CAAK,kBAAA,GAAqB,oBAAA,CAAqB,IAAA,CAAK,SAAS,CAAA;AAC7D,IAAA,OAAO,IAAA,CAAK,kBAAA;AAAA,EACd;AACF;AAEA,SAAS,cAAA,CAAe,WAAmB,IAAA,EAAsB;AAC/D,EAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,mBAAmB,IAAI,CAAA;AAAA,EACnC;AACA,EAAA,OAAO,KAAA;AACT;AAMO,SAAS,iBAAiB,IAAA,EAAsB;AACrD,EAAA,OAAO,IAAA,CAAK,UAAU,IAAI,CAAA;AAC5B;AAEA,SAAS,mBAAmB,IAAA,EAAsB;AAChD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,CAAC,CAAC,KAAK,CAAA,EAAG;AAExB,IAAA,OAAO,GAAG,aAAa,CAAA,EAAG,IAAI,CAAA,CAAA,CAAG,OAAA,CAAQ,KAAK,GAAG,CAAA;AAAA,EACnD;AACA,EAAA,OAAO,IAAA,CAAK,CAAC,CAAA,KAAM,GAAA,GAAM,CAAA,EAAG,eAAe,CAAA,EAAG,IAAA,CAAK,KAAA,CAAM,CAAC,CAAC,CAAA,CAAA,GAAK,IAAA;AAClE;AAGA,MAAM,mBAAA,GAAsB,0BAAA;AAGrB,SAAS,sBAAsB,WAAA,EAAgD;AACpF,EAAA,OAAO,aAAa,IAAA,EAAK,CAAE,OAAA,CAAQ,mBAAA,EAAqB,GAAG,CAAA,IAAK,EAAA;AAClE;AAMA,SAAS,kBAAA,CAAmB,QAAA,GAA6B,EAAC,EAAgB;AACxE,EAAA,MAAM,WAAA,GAAc,qBAAA,CAAsB,QAAA,CAAS,WAAW,CAAA;AAC9D,EAAA,OAAO,WAAA,GAAc,CAAC,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,CAAA,CAAA,EAAI,WAAW,CAAA,CAAA,EAAI,CAAA,GAAI,EAAC;AACtE;AASA,MAAM,uBAAA,GAA0B,GAAA;AAGhC,SAAS,kBAAA,CAAmB,MAAc,KAAA,EAAuB;AAC/D,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,UAAA,CAAW,GAAG,CAAA;AACpC,EAAA,MAAM,GAAA,GAAM,QAAA,GAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,GAAe,IAAA;AACtD,EAAA,MAAM,WAAW,CAAA,EAAG,GAAG,CAAA,EAAG,uBAAuB,GAAG,KAAK,CAAA,CAAA;AACzD,EAAA,OAAO,QAAA,GAAW,gBAAA,CAAiB,QAAQ,CAAA,GAAI,QAAA;AACjD;AAOO,SAAS,eAAA,CACd,IAAA,EACA,OAAA,EACA,MAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,QAAQ,MAAA,CAAO,GAAA;AAAA,IAAI,CAAC,OAAO,KAAA,KACvC,MAAA,CAAO,WAAW,KAAA,EAAO,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,GAClD;AACA,EAAA,MAAM,WAAA,GAAc,mBAAA,CAAoB,KAAA,EAAO,kBAAkB,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,MAAA;AAAA,IACN,IAAA;AAAA,IACA,UAAA,EAAY,IAAA;AAAA,IACZ,SAAS,OAAA,CAAQ,MAAA,CAAO,GAAA,CAAI,CAAC,OAAO,KAAA,MAAW;AAAA,MAC7C,IAAA,EAAM,YAAY,KAAK,CAAA;AAAA,MACvB,KAAA;AAAA,MACA,QAAA,EAAU,kBAAA,CAAmB,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAC;AAAA,KACtD,CAAE,CAAA;AAAA,IACF,UAAU;AAAC,GACb;AACF;AAWO,SAAS,sBAAA,CACd,aACA,QAAA,EACmB;AACnB,EAAA,MAAM,KAAA,GAAQ,IAAI,GAAA,CAAI,QAAA,CAAS,MAAM,CAAA;AACrC,EAAA,MAAM,UAAkD,EAAC;AACzD,EAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,IAAA,IAAI,SAAS,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,KAAM,OAAO,KAAA,EAAO;AAC9C,MAAA;AAAA,IACF;AACA,IAAA,IAAI,OAAO,MAAA,CAAO,IAAA;AAClB,IAAA,KAAA,IAAS,QAAQ,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,IAAI,GAAG,KAAA,EAAA,EAAS;AAC5C,MAAA,IAAA,GAAO,kBAAA,CAAmB,MAAA,CAAO,IAAA,EAAM,KAAK,CAAA;AAAA,IAC9C;AACA,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAA,CAAQ,IAAA,CAAK,SAAS,MAAA,CAAO,IAAA,GAAO,SAAS,EAAE,GAAG,MAAA,EAAQ,IAAA,EAAM,CAAA;AAAA,EAClE;AACA,EAAA,OAAO,EAAE,GAAG,WAAA,EAAa,OAAA,EAAQ;AACnC;;"}

package/dist/application/transform/footer/enum-values-check.cjs

@@ -0,0 +1,129 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const helperTypes = require('../helper-types.cjs');
+const literalType = require('../literal-type.cjs');
+const typeCombinators = require('../type-combinators.cjs');
+const evaluation = require('./evaluation.cjs');
+const typeEvaluation = require('./type-evaluation.cjs');
+
+function literalAdmission(type, value) {
+  switch (type.kind) {
+    case "stringLiteral":
+    case "numberLiteral":
+      return type.value === value ? "yes" : "no";
+    case "booleanLiteral":
+      return "no";
+    case "keyword":
+      if (type.keyword === "unknown") {
+        return "yes";
+      }
+      return type.keyword === typeof value ? "yes" : "no";
+    case "object":
+      return type.members.length === 0 ? "yes" : "no";
+    case "array":
+      return "no";
+    default:
+      return "opaque";
+  }
+}
+function admission(evaluator, value, item) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    const parts = type.types.map((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" ? admission(evaluator, expanded, item) : "opaque";
+    });
+    const decisive = type.kind === "union" ? "yes" : "no";
+    if (parts.includes(decisive)) {
+      return decisive;
+    }
+    return parts.includes("opaque") ? "opaque" : decisive === "yes" ? "no" : "yes";
+  }
+  return literalAdmission(type, item);
+}
+function elementOf(evaluator, value) {
+  const members = evaluator.membersOf(value);
+  const elements = members.map(
+    (member) => member.kind === "type" && member.type.kind === "array" ? member.type.element : null
+  );
+  if (members.length === 0 || elements.some((element) => element === null)) {
+    return value;
+  }
+  return evaluator.expand({ ...value, type: typeCombinators.unionOf(elements) });
+}
+const LITERAL_KINDS = /* @__PURE__ */ new Set([
+  "stringLiteral",
+  "numberLiteral",
+  "booleanLiteral"
+]);
+function isFiniteType(evaluator, value) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    return type.types.every((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" && isFiniteType(evaluator, expanded);
+    });
+  }
+  return LITERAL_KINDS.has(type.kind) || type.kind === "keyword" && type.keyword === "never";
+}
+function locationType(declaration) {
+  const { type } = declaration;
+  const isTyped = type.kind === "reference" && type.name === helperTypes.HELPER_TYPES.readonlyArray.name;
+  return isTyped ? type.typeArguments[0] ?? null : null;
+}
+function retypeOf(evaluator, declaration) {
+  const location = locationType(declaration);
+  const evaluated = location === null ? null : evaluator.evaluate(location);
+  if (evaluated === null || evaluated.kind === "opaque") {
+    return null;
+  }
+  if (evaluated.kind === "missing") {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const element = elementOf(evaluator, evaluated);
+  if (element.kind !== "type") {
+    return element.kind === "missing" ? { kind: "untyped", name: declaration.name } : null;
+  }
+  if (declaration.values.length === 0 && isNever(element.type)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const results = declaration.values.map((value) => admission(evaluator, element, value));
+  if (!results.includes("no")) {
+    return null;
+  }
+  if (!isFiniteType(evaluator, element)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const excluded = declaration.values.filter((_, index) => results[index] === "no");
+  return { kind: "excluded", name: declaration.name, excluded };
+}
+function isNever(type) {
+  return type.kind === "keyword" && type.keyword === "never";
+}
+function ownValuesType(declaration) {
+  if (declaration.values.length === 0) {
+    return constructors.irReadonly(constructors.irArray(evaluation.NEVER));
+  }
+  const values = typeCombinators.unionOf(declaration.values.map((value) => literalType.literalType(value)));
+  return constructors.irReference(helperTypes.HELPER_TYPES.readonlyArray.name, [values]);
+}
+function checkedEnumValues(footer, declarations, isDeclaration) {
+  const evaluator = new typeEvaluation.TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);
+  const retyped = [];
+  const checked = footer.map((entry) => {
+    if (!isDeclaration(entry) || entry.kind !== "constArray") {
+      return entry;
+    }
+    const retype = retypeOf(evaluator, entry);
+    if (retype === null) {
+      return entry;
+    }
+    retyped.push(retype);
+    return { ...entry, type: ownValuesType(entry) };
+  });
+  return { footer: checked, retyped };
+}
+
+exports.checkedEnumValues = checkedEnumValues;
+//# sourceMappingURL=enum-values-check.cjs.map

package/dist/application/transform/footer/enum-values-check.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-values-check.cjs","sources":["../../../../src/application/transform/footer/enum-values-check.ts"],"sourcesContent":["import { irArray, irReadonly, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrConstArrayDeclaration, IrDeclaration, IrType } from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES } from \"../helper-types.js\";\nimport { literalType } from \"../literal-type.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport { type Evaluated, type Evaluation, NEVER } from \"./evaluation.js\";\nimport { TypeEvaluator } from \"./type-evaluation.js\";\n\n/**\n * `--enum-values` arrays are typed by the location of their schema in the generated types\n * (`FlattenedDeepRequired<components>[\"schemas\"][\"A\"][\"status\"]`). Where that type surely does not\n * hold the values (ADR-027), the array is typed by its own values instead, so it compiles:\n * - the location indexes a key the generated type does not have (`definitions`, `allOf`, a\n *   property of `unknown`), or\n * - the type there does not admit a listed value (an `allOf` of different enums, a discriminator\n *   value the property enum does not list, an array next to other `anyOf` members).\n * Everything else stays as it was.\n */\n\n/** Why an array got its own values as its type. */\nexport type EnumValuesRetype =\n  /** The location's type admits only other values, or none: the document contradicts itself. */\n  | { readonly kind: \"excluded\"; readonly name: string; readonly excluded: readonly unknown[] }\n  /** The location could not be typed; nothing to report, the array is right now. */\n  | { readonly kind: \"untyped\"; readonly name: string };\n\ntype Admission = \"yes\" | \"no\" | \"opaque\";\n\nfunction literalAdmission(type: IrType, value: string | number): Admission {\n  switch (type.kind) {\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n      return type.value === value ? \"yes\" : \"no\";\n    case \"booleanLiteral\":\n      return \"no\";\n    case \"keyword\":\n      if (type.keyword === \"unknown\") {\n        return \"yes\";\n      }\n      return type.keyword === typeof value ? \"yes\" : \"no\";\n    case \"object\":\n      // `{}` (as in `string & {}`) admits every value but `null` and `undefined`.\n      return type.members.length === 0 ? \"yes\" : \"no\";\n    case \"array\":\n      return \"no\";\n    default:\n      return \"opaque\";\n  }\n}\n\nfunction admission(evaluator: TypeEvaluator, value: Evaluated, item: string | number): Admission {\n  const { type } = value;\n  if (type.kind === \"union\" || type.kind === \"intersection\") {\n    const parts = type.types.map((part) => {\n      const expanded = evaluator.expand({ ...value, type: part });\n      return expanded.kind === \"type\" ? admission(evaluator, expanded, item) : \"opaque\";\n    });\n    // A union admits a value one member admits; an intersection excludes one a part excludes.\n    const decisive: Admission = type.kind === \"union\" ? \"yes\" : \"no\";\n    if (parts.includes(decisive)) {\n      return decisive;\n    }\n    return parts.includes(\"opaque\") ? \"opaque\" : decisive === \"yes\" ? \"no\" : \"yes\";\n  }\n  return literalAdmission(type, item);\n}\n\n/** `ReadonlyArray<T>`: an array type `T` is the array itself, so its elements are checked. */\nfunction elementOf(evaluator: TypeEvaluator, value: Evaluated): Evaluation {\n  const members = evaluator.membersOf(value);\n  const elements = members.map((member) =>\n    member.kind === \"type\" && member.type.kind === \"array\" ? member.type.element : null,\n  );\n  if (members.length === 0 || elements.some((element) => element === null)) {\n    return value;\n  }\n  return evaluator.expand({ ...value, type: unionOf(elements as IrType[]) });\n}\n\nconst LITERAL_KINDS: ReadonlySet<string> = new Set([\n  \"stringLiteral\",\n  \"numberLiteral\",\n  \"booleanLiteral\",\n]);\n\n/** Whether a type is made of literals only (or `never`): a finite set of values. */\nfunction isFiniteType(evaluator: TypeEvaluator, value: Evaluated): boolean {\n  const { type } = value;\n  if (type.kind === \"union\" || type.kind === \"intersection\") {\n    return type.types.every((part) => {\n      const expanded = evaluator.expand({ ...value, type: part });\n      return expanded.kind === \"type\" && isFiniteType(evaluator, expanded);\n    });\n  }\n  return LITERAL_KINDS.has(type.kind) || (type.kind === \"keyword\" && type.keyword === \"never\");\n}\n\nfunction locationType(declaration: IrConstArrayDeclaration): IrType | null {\n  const { type } = declaration;\n  const isTyped = type.kind === \"reference\" && type.name === HELPER_TYPES.readonlyArray.name;\n  return isTyped ? (type.typeArguments[0] ?? null) : null;\n}\n\nfunction retypeOf(\n  evaluator: TypeEvaluator,\n  declaration: IrConstArrayDeclaration,\n): EnumValuesRetype | null {\n  const location = locationType(declaration);\n  const evaluated = location === null ? null : evaluator.evaluate(location);\n  if (evaluated === null || evaluated.kind === \"opaque\") {\n    return null;\n  }\n  if (evaluated.kind === \"missing\") {\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const element = elementOf(evaluator, evaluated);\n  if (element.kind !== \"type\") {\n    return element.kind === \"missing\" ? { kind: \"untyped\", name: declaration.name } : null;\n  }\n  if (declaration.values.length === 0 && isNever(element.type)) {\n    // The `ReadonlyArray` helper of `never` is `never` (`never` extends an array): not even `[]`.\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const results = declaration.values.map((value) => admission(evaluator, element, value));\n  if (!results.includes(\"no\")) {\n    return null;\n  }\n  if (!isFiniteType(evaluator, element)) {\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const excluded = declaration.values.filter((_, index) => results[index] === \"no\");\n  return { kind: \"excluded\", name: declaration.name, excluded };\n}\n\nfunction isNever(type: IrType): boolean {\n  return type.kind === \"keyword\" && type.keyword === \"never\";\n}\n\n/** The values' own type; with no values `readonly never[]` (`ReadonlyArray<never>` is never). */\nfunction ownValuesType(declaration: IrConstArrayDeclaration): IrType {\n  if (declaration.values.length === 0) {\n    return irReadonly(irArray(NEVER));\n  }\n  const values = unionOf(declaration.values.map((value) => literalType(value)));\n  return irReference(HELPER_TYPES.readonlyArray.name, [values]);\n}\n\n/**\n * The footer with each `--enum-values` array whose location type does not hold its values typed\n * by its own values, and why each one changed. `declarations` are the document's types.\n */\nexport function checkedEnumValues<T>(\n  footer: readonly (T | IrDeclaration)[],\n  declarations: readonly IrDeclaration[],\n  isDeclaration: (entry: T | IrDeclaration) => entry is IrDeclaration,\n): { footer: (T | IrDeclaration)[]; retyped: EnumValuesRetype[] } {\n  const evaluator = new TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);\n  const retyped: EnumValuesRetype[] = [];\n  const checked = footer.map((entry) => {\n    if (!isDeclaration(entry) || entry.kind !== \"constArray\") {\n      return entry;\n    }\n    const retype = retypeOf(evaluator, entry);\n    if (retype === null) {\n      return entry;\n    }\n    retyped.push(retype);\n    return { ...entry, type: ownValuesType(entry) };\n  });\n  return { footer: checked, retyped };\n}\n"],"names":["unionOf","HELPER_TYPES","irReadonly","irArray","NEVER","literalType","irReference","TypeEvaluator"],"mappings":";;;;;;;;;AA4BA,SAAS,gBAAA,CAAiB,MAAc,KAAA,EAAmC;AACzE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,KAAU,KAAA,GAAQ,KAAA,GAAQ,IAAA;AAAA,IACxC,KAAK,gBAAA;AACH,MAAA,OAAO,IAAA;AAAA,IACT,KAAK,SAAA;AACH,MAAA,IAAI,IAAA,CAAK,YAAY,SAAA,EAAW;AAC9B,QAAA,OAAO,KAAA;AAAA,MACT;AACA,MAAA,OAAO,IAAA,CAAK,OAAA,KAAY,OAAO,KAAA,GAAQ,KAAA,GAAQ,IAAA;AAAA,IACjD,KAAK,QAAA;AAEH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQ,IAAA;AAAA,IAC7C,KAAK,OAAA;AACH,MAAA,OAAO,IAAA;AAAA,IACT;AACE,MAAA,OAAO,QAAA;AAAA;AAEb;AAEA,SAAS,SAAA,CAAU,SAAA,EAA0B,KAAA,EAAkB,IAAA,EAAkC;AAC/F,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,OAAA,IAAW,IAAA,CAAK,SAAS,cAAA,EAAgB;AACzD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACrC,MAAA,MAAM,QAAA,GAAW,UAAU,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AAC1D,MAAA,OAAO,SAAS,IAAA,KAAS,MAAA,GAAS,UAAU,SAAA,EAAW,QAAA,EAAU,IAAI,CAAA,GAAI,QAAA;AAAA,IAC3E,CAAC,CAAA;AAED,IAAA,MAAM,QAAA,GAAsB,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,KAAA,GAAQ,IAAA;AAC5D,IAAA,IAAI,KAAA,CAAM,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC5B,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,MAAM,QAAA,CAAS,QAAQ,IAAI,QAAA,GAAW,QAAA,KAAa,QAAQ,IAAA,GAAO,KAAA;AAAA,EAC3E;AACA,EAAA,OAAO,gBAAA,CAAiB,MAAM,IAAI,CAAA;AACpC;AAGA,SAAS,SAAA,CAAU,WAA0B,KAAA,EAA8B;AACzE,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,SAAA,CAAU,KAAK,CAAA;AACzC,EAAA,MAAM,WAAW,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,MAAA,KAC5B,MAAA,CAAO,IAAA,KAAS,MAAA,IAAU,MAAA,CAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAA,GAAU;AAAA,GACjF;AACA,EAAA,IAAI,OAAA,CAAQ,WAAW,CAAA,IAAK,QAAA,CAAS,KAAK,CAAC,OAAA,KAAY,OAAA,KAAY,IAAI,CAAA,EAAG;AACxE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAA,CAAU,OAAO,EAAE,GAAG,OAAO,IAAA,EAAMA,uBAAA,CAAQ,QAAoB,CAAA,EAAG,CAAA;AAC3E;AAEA,MAAM,aAAA,uBAAyC,GAAA,CAAI;AAAA,EACjD,eAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAC,CAAA;AAGD,SAAS,YAAA,CAAa,WAA0B,KAAA,EAA2B;AACzE,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,OAAA,IAAW,IAAA,CAAK,SAAS,cAAA,EAAgB;AACzD,IAAA,OAAO,IAAA,CAAK,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS;AAChC,MAAA,MAAM,QAAA,GAAW,UAAU,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AAC1D,MAAA,OAAO,QAAA,CAAS,IAAA,KAAS,MAAA,IAAU,YAAA,CAAa,WAAW,QAAQ,CAAA;AAAA,IACrE,CAAC,CAAA;AAAA,EACH;AACA,EAAA,OAAO,aAAA,CAAc,IAAI,IAAA,CAAK,IAAI,KAAM,IAAA,CAAK,IAAA,KAAS,SAAA,IAAa,IAAA,CAAK,OAAA,KAAY,OAAA;AACtF;AAEA,SAAS,aAAa,WAAA,EAAqD;AACzE,EAAA,MAAM,EAAE,MAAK,GAAI,WAAA;AACjB,EAAA,MAAM,UAAU,IAAA,CAAK,IAAA,KAAS,eAAe,IAAA,CAAK,IAAA,KAASC,yBAAa,aAAA,CAAc,IAAA;AACtF,EAAA,OAAO,OAAA,GAAW,IAAA,CAAK,aAAA,CAAc,CAAC,KAAK,IAAA,GAAQ,IAAA;AACrD;AAEA,SAAS,QAAA,CACP,WACA,WAAA,EACyB;AACzB,EAAA,MAAM,QAAA,GAAW,aAAa,WAAW,CAAA;AACzC,EAAA,MAAM,YAAY,QAAA,KAAa,IAAA,GAAO,IAAA,GAAO,SAAA,CAAU,SAAS,QAAQ,CAAA;AACxE,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,SAAA,CAAU,IAAA,KAAS,QAAA,EAAU;AACrD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,SAAS,SAAA,EAAW;AAChC,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,SAAA,EAAW,SAAS,CAAA;AAC9C,EAAA,IAAI,OAAA,CAAQ,SAAS,MAAA,EAAQ;AAC3B,IAAA,OAAO,OAAA,CAAQ,SAAS,SAAA,GAAY,EAAE,MAAM,SAAA,EAAW,IAAA,EAAM,WAAA,CAAY,IAAA,EAAK,GAAI,IAAA;AAAA,EACpF;AACA,EAAA,IAAI,YAAY,MAAA,CAAO,MAAA,KAAW,KAAK,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAE5D,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,OAAA,GAAU,WAAA,CAAY,MAAA,CAAO,GAAA,CAAI,CAAC,UAAU,SAAA,CAAU,SAAA,EAAW,OAAA,EAAS,KAAK,CAAC,CAAA;AACtF,EAAA,IAAI,CAAC,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA,EAAG;AAC3B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,CAAC,YAAA,CAAa,SAAA,EAAW,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,QAAA,GAAW,WAAA,CAAY,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,KAAA,KAAU,OAAA,CAAQ,KAAK,CAAA,KAAM,IAAI,CAAA;AAChF,EAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,WAAA,CAAY,MAAM,QAAA,EAAS;AAC9D;AAEA,SAAS,QAAQ,IAAA,EAAuB;AACtC,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,SAAA,IAAa,IAAA,CAAK,OAAA,KAAY,OAAA;AACrD;AAGA,SAAS,cAAc,WAAA,EAA8C;AACnE,EAAA,IAAI,WAAA,CAAY,MAAA,CAAO,MAAA,KAAW,CAAA,EAAG;AACnC,IAAA,OAAOC,uBAAA,CAAWC,oBAAA,CAAQC,gBAAK,CAAC,CAAA;AAAA,EAClC;AACA,EAAA,MAAM,MAAA,GAASJ,uBAAA,CAAQ,WAAA,CAAY,MAAA,CAAO,GAAA,CAAI,CAAC,KAAA,KAAUK,uBAAA,CAAY,KAAK,CAAC,CAAC,CAAA;AAC5E,EAAA,OAAOC,yBAAYL,wBAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,MAAM,CAAC,CAAA;AAC9D;AAMO,SAAS,iBAAA,CACd,MAAA,EACA,YAAA,EACA,aAAA,EACgE;AAChE,EAAA,MAAM,SAAA,GAAY,IAAIM,4BAAA,CAAc,CAAC,GAAG,YAAA,EAAc,GAAG,MAAA,CAAO,MAAA,CAAO,aAAa,CAAC,CAAC,CAAA;AACtF,EAAA,MAAM,UAA8B,EAAC;AACrC,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,GAAA,CAAI,CAAC,KAAA,KAAU;AACpC,IAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,IAAK,KAAA,CAAM,SAAS,YAAA,EAAc;AACxD,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,EAAW,KAAK,CAAA;AACxC,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,aAAA,CAAc,KAAK,CAAA,EAAE;AAAA,EAChD,CAAC,CAAA;AACD,EAAA,OAAO,EAAE,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAQ;AACpC;;"}

package/dist/application/transform/footer/enum-values-check.mjs

@@ -0,0 +1,127 @@
+import { irReadonly, irReference, irArray } from '../../../domain/ir/constructors.mjs';
+import { HELPER_TYPES } from '../helper-types.mjs';
+import { literalType } from '../literal-type.mjs';
+import { unionOf } from '../type-combinators.mjs';
+import { NEVER } from './evaluation.mjs';
+import { TypeEvaluator } from './type-evaluation.mjs';
+
+function literalAdmission(type, value) {
+  switch (type.kind) {
+    case "stringLiteral":
+    case "numberLiteral":
+      return type.value === value ? "yes" : "no";
+    case "booleanLiteral":
+      return "no";
+    case "keyword":
+      if (type.keyword === "unknown") {
+        return "yes";
+      }
+      return type.keyword === typeof value ? "yes" : "no";
+    case "object":
+      return type.members.length === 0 ? "yes" : "no";
+    case "array":
+      return "no";
+    default:
+      return "opaque";
+  }
+}
+function admission(evaluator, value, item) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    const parts = type.types.map((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" ? admission(evaluator, expanded, item) : "opaque";
+    });
+    const decisive = type.kind === "union" ? "yes" : "no";
+    if (parts.includes(decisive)) {
+      return decisive;
+    }
+    return parts.includes("opaque") ? "opaque" : decisive === "yes" ? "no" : "yes";
+  }
+  return literalAdmission(type, item);
+}
+function elementOf(evaluator, value) {
+  const members = evaluator.membersOf(value);
+  const elements = members.map(
+    (member) => member.kind === "type" && member.type.kind === "array" ? member.type.element : null
+  );
+  if (members.length === 0 || elements.some((element) => element === null)) {
+    return value;
+  }
+  return evaluator.expand({ ...value, type: unionOf(elements) });
+}
+const LITERAL_KINDS = /* @__PURE__ */ new Set([
+  "stringLiteral",
+  "numberLiteral",
+  "booleanLiteral"
+]);
+function isFiniteType(evaluator, value) {
+  const { type } = value;
+  if (type.kind === "union" || type.kind === "intersection") {
+    return type.types.every((part) => {
+      const expanded = evaluator.expand({ ...value, type: part });
+      return expanded.kind === "type" && isFiniteType(evaluator, expanded);
+    });
+  }
+  return LITERAL_KINDS.has(type.kind) || type.kind === "keyword" && type.keyword === "never";
+}
+function locationType(declaration) {
+  const { type } = declaration;
+  const isTyped = type.kind === "reference" && type.name === HELPER_TYPES.readonlyArray.name;
+  return isTyped ? type.typeArguments[0] ?? null : null;
+}
+function retypeOf(evaluator, declaration) {
+  const location = locationType(declaration);
+  const evaluated = location === null ? null : evaluator.evaluate(location);
+  if (evaluated === null || evaluated.kind === "opaque") {
+    return null;
+  }
+  if (evaluated.kind === "missing") {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const element = elementOf(evaluator, evaluated);
+  if (element.kind !== "type") {
+    return element.kind === "missing" ? { kind: "untyped", name: declaration.name } : null;
+  }
+  if (declaration.values.length === 0 && isNever(element.type)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const results = declaration.values.map((value) => admission(evaluator, element, value));
+  if (!results.includes("no")) {
+    return null;
+  }
+  if (!isFiniteType(evaluator, element)) {
+    return { kind: "untyped", name: declaration.name };
+  }
+  const excluded = declaration.values.filter((_, index) => results[index] === "no");
+  return { kind: "excluded", name: declaration.name, excluded };
+}
+function isNever(type) {
+  return type.kind === "keyword" && type.keyword === "never";
+}
+function ownValuesType(declaration) {
+  if (declaration.values.length === 0) {
+    return irReadonly(irArray(NEVER));
+  }
+  const values = unionOf(declaration.values.map((value) => literalType(value)));
+  return irReference(HELPER_TYPES.readonlyArray.name, [values]);
+}
+function checkedEnumValues(footer, declarations, isDeclaration) {
+  const evaluator = new TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);
+  const retyped = [];
+  const checked = footer.map((entry) => {
+    if (!isDeclaration(entry) || entry.kind !== "constArray") {
+      return entry;
+    }
+    const retype = retypeOf(evaluator, entry);
+    if (retype === null) {
+      return entry;
+    }
+    retyped.push(retype);
+    return { ...entry, type: ownValuesType(entry) };
+  });
+  return { footer: checked, retyped };
+}
+
+export { checkedEnumValues };
+//# sourceMappingURL=enum-values-check.mjs.map

package/dist/application/transform/footer/enum-values-check.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum-values-check.mjs","sources":["../../../../src/application/transform/footer/enum-values-check.ts"],"sourcesContent":["import { irArray, irReadonly, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrConstArrayDeclaration, IrDeclaration, IrType } from \"../../../domain/ir/nodes.js\";\nimport { HELPER_TYPES } from \"../helper-types.js\";\nimport { literalType } from \"../literal-type.js\";\nimport { unionOf } from \"../type-combinators.js\";\nimport { type Evaluated, type Evaluation, NEVER } from \"./evaluation.js\";\nimport { TypeEvaluator } from \"./type-evaluation.js\";\n\n/**\n * `--enum-values` arrays are typed by the location of their schema in the generated types\n * (`FlattenedDeepRequired<components>[\"schemas\"][\"A\"][\"status\"]`). Where that type surely does not\n * hold the values (ADR-027), the array is typed by its own values instead, so it compiles:\n * - the location indexes a key the generated type does not have (`definitions`, `allOf`, a\n *   property of `unknown`), or\n * - the type there does not admit a listed value (an `allOf` of different enums, a discriminator\n *   value the property enum does not list, an array next to other `anyOf` members).\n * Everything else stays as it was.\n */\n\n/** Why an array got its own values as its type. */\nexport type EnumValuesRetype =\n  /** The location's type admits only other values, or none: the document contradicts itself. */\n  | { readonly kind: \"excluded\"; readonly name: string; readonly excluded: readonly unknown[] }\n  /** The location could not be typed; nothing to report, the array is right now. */\n  | { readonly kind: \"untyped\"; readonly name: string };\n\ntype Admission = \"yes\" | \"no\" | \"opaque\";\n\nfunction literalAdmission(type: IrType, value: string | number): Admission {\n  switch (type.kind) {\n    case \"stringLiteral\":\n    case \"numberLiteral\":\n      return type.value === value ? \"yes\" : \"no\";\n    case \"booleanLiteral\":\n      return \"no\";\n    case \"keyword\":\n      if (type.keyword === \"unknown\") {\n        return \"yes\";\n      }\n      return type.keyword === typeof value ? \"yes\" : \"no\";\n    case \"object\":\n      // `{}` (as in `string & {}`) admits every value but `null` and `undefined`.\n      return type.members.length === 0 ? \"yes\" : \"no\";\n    case \"array\":\n      return \"no\";\n    default:\n      return \"opaque\";\n  }\n}\n\nfunction admission(evaluator: TypeEvaluator, value: Evaluated, item: string | number): Admission {\n  const { type } = value;\n  if (type.kind === \"union\" || type.kind === \"intersection\") {\n    const parts = type.types.map((part) => {\n      const expanded = evaluator.expand({ ...value, type: part });\n      return expanded.kind === \"type\" ? admission(evaluator, expanded, item) : \"opaque\";\n    });\n    // A union admits a value one member admits; an intersection excludes one a part excludes.\n    const decisive: Admission = type.kind === \"union\" ? \"yes\" : \"no\";\n    if (parts.includes(decisive)) {\n      return decisive;\n    }\n    return parts.includes(\"opaque\") ? \"opaque\" : decisive === \"yes\" ? \"no\" : \"yes\";\n  }\n  return literalAdmission(type, item);\n}\n\n/** `ReadonlyArray<T>`: an array type `T` is the array itself, so its elements are checked. */\nfunction elementOf(evaluator: TypeEvaluator, value: Evaluated): Evaluation {\n  const members = evaluator.membersOf(value);\n  const elements = members.map((member) =>\n    member.kind === \"type\" && member.type.kind === \"array\" ? member.type.element : null,\n  );\n  if (members.length === 0 || elements.some((element) => element === null)) {\n    return value;\n  }\n  return evaluator.expand({ ...value, type: unionOf(elements as IrType[]) });\n}\n\nconst LITERAL_KINDS: ReadonlySet<string> = new Set([\n  \"stringLiteral\",\n  \"numberLiteral\",\n  \"booleanLiteral\",\n]);\n\n/** Whether a type is made of literals only (or `never`): a finite set of values. */\nfunction isFiniteType(evaluator: TypeEvaluator, value: Evaluated): boolean {\n  const { type } = value;\n  if (type.kind === \"union\" || type.kind === \"intersection\") {\n    return type.types.every((part) => {\n      const expanded = evaluator.expand({ ...value, type: part });\n      return expanded.kind === \"type\" && isFiniteType(evaluator, expanded);\n    });\n  }\n  return LITERAL_KINDS.has(type.kind) || (type.kind === \"keyword\" && type.keyword === \"never\");\n}\n\nfunction locationType(declaration: IrConstArrayDeclaration): IrType | null {\n  const { type } = declaration;\n  const isTyped = type.kind === \"reference\" && type.name === HELPER_TYPES.readonlyArray.name;\n  return isTyped ? (type.typeArguments[0] ?? null) : null;\n}\n\nfunction retypeOf(\n  evaluator: TypeEvaluator,\n  declaration: IrConstArrayDeclaration,\n): EnumValuesRetype | null {\n  const location = locationType(declaration);\n  const evaluated = location === null ? null : evaluator.evaluate(location);\n  if (evaluated === null || evaluated.kind === \"opaque\") {\n    return null;\n  }\n  if (evaluated.kind === \"missing\") {\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const element = elementOf(evaluator, evaluated);\n  if (element.kind !== \"type\") {\n    return element.kind === \"missing\" ? { kind: \"untyped\", name: declaration.name } : null;\n  }\n  if (declaration.values.length === 0 && isNever(element.type)) {\n    // The `ReadonlyArray` helper of `never` is `never` (`never` extends an array): not even `[]`.\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const results = declaration.values.map((value) => admission(evaluator, element, value));\n  if (!results.includes(\"no\")) {\n    return null;\n  }\n  if (!isFiniteType(evaluator, element)) {\n    return { kind: \"untyped\", name: declaration.name };\n  }\n  const excluded = declaration.values.filter((_, index) => results[index] === \"no\");\n  return { kind: \"excluded\", name: declaration.name, excluded };\n}\n\nfunction isNever(type: IrType): boolean {\n  return type.kind === \"keyword\" && type.keyword === \"never\";\n}\n\n/** The values' own type; with no values `readonly never[]` (`ReadonlyArray<never>` is never). */\nfunction ownValuesType(declaration: IrConstArrayDeclaration): IrType {\n  if (declaration.values.length === 0) {\n    return irReadonly(irArray(NEVER));\n  }\n  const values = unionOf(declaration.values.map((value) => literalType(value)));\n  return irReference(HELPER_TYPES.readonlyArray.name, [values]);\n}\n\n/**\n * The footer with each `--enum-values` array whose location type does not hold its values typed\n * by its own values, and why each one changed. `declarations` are the document's types.\n */\nexport function checkedEnumValues<T>(\n  footer: readonly (T | IrDeclaration)[],\n  declarations: readonly IrDeclaration[],\n  isDeclaration: (entry: T | IrDeclaration) => entry is IrDeclaration,\n): { footer: (T | IrDeclaration)[]; retyped: EnumValuesRetype[] } {\n  const evaluator = new TypeEvaluator([...declarations, ...footer.filter(isDeclaration)]);\n  const retyped: EnumValuesRetype[] = [];\n  const checked = footer.map((entry) => {\n    if (!isDeclaration(entry) || entry.kind !== \"constArray\") {\n      return entry;\n    }\n    const retype = retypeOf(evaluator, entry);\n    if (retype === null) {\n      return entry;\n    }\n    retyped.push(retype);\n    return { ...entry, type: ownValuesType(entry) };\n  });\n  return { footer: checked, retyped };\n}\n"],"names":[],"mappings":";;;;;;;AA4BA,SAAS,gBAAA,CAAiB,MAAc,KAAA,EAAmC;AACzE,EAAA,QAAQ,KAAK,IAAA;AAAM,IACjB,KAAK,eAAA;AAAA,IACL,KAAK,eAAA;AACH,MAAA,OAAO,IAAA,CAAK,KAAA,KAAU,KAAA,GAAQ,KAAA,GAAQ,IAAA;AAAA,IACxC,KAAK,gBAAA;AACH,MAAA,OAAO,IAAA;AAAA,IACT,KAAK,SAAA;AACH,MAAA,IAAI,IAAA,CAAK,YAAY,SAAA,EAAW;AAC9B,QAAA,OAAO,KAAA;AAAA,MACT;AACA,MAAA,OAAO,IAAA,CAAK,OAAA,KAAY,OAAO,KAAA,GAAQ,KAAA,GAAQ,IAAA;AAAA,IACjD,KAAK,QAAA;AAEH,MAAA,OAAO,IAAA,CAAK,OAAA,CAAQ,MAAA,KAAW,CAAA,GAAI,KAAA,GAAQ,IAAA;AAAA,IAC7C,KAAK,OAAA;AACH,MAAA,OAAO,IAAA;AAAA,IACT;AACE,MAAA,OAAO,QAAA;AAAA;AAEb;AAEA,SAAS,SAAA,CAAU,SAAA,EAA0B,KAAA,EAAkB,IAAA,EAAkC;AAC/F,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,OAAA,IAAW,IAAA,CAAK,SAAS,cAAA,EAAgB;AACzD,IAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS;AACrC,MAAA,MAAM,QAAA,GAAW,UAAU,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AAC1D,MAAA,OAAO,SAAS,IAAA,KAAS,MAAA,GAAS,UAAU,SAAA,EAAW,QAAA,EAAU,IAAI,CAAA,GAAI,QAAA;AAAA,IAC3E,CAAC,CAAA;AAED,IAAA,MAAM,QAAA,GAAsB,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,KAAA,GAAQ,IAAA;AAC5D,IAAA,IAAI,KAAA,CAAM,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC5B,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,MAAM,QAAA,CAAS,QAAQ,IAAI,QAAA,GAAW,QAAA,KAAa,QAAQ,IAAA,GAAO,KAAA;AAAA,EAC3E;AACA,EAAA,OAAO,gBAAA,CAAiB,MAAM,IAAI,CAAA;AACpC;AAGA,SAAS,SAAA,CAAU,WAA0B,KAAA,EAA8B;AACzE,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,SAAA,CAAU,KAAK,CAAA;AACzC,EAAA,MAAM,WAAW,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,MAAA,KAC5B,MAAA,CAAO,IAAA,KAAS,MAAA,IAAU,MAAA,CAAO,IAAA,CAAK,IAAA,KAAS,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAA,GAAU;AAAA,GACjF;AACA,EAAA,IAAI,OAAA,CAAQ,WAAW,CAAA,IAAK,QAAA,CAAS,KAAK,CAAC,OAAA,KAAY,OAAA,KAAY,IAAI,CAAA,EAAG;AACxE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAA,CAAU,OAAO,EAAE,GAAG,OAAO,IAAA,EAAM,OAAA,CAAQ,QAAoB,CAAA,EAAG,CAAA;AAC3E;AAEA,MAAM,aAAA,uBAAyC,GAAA,CAAI;AAAA,EACjD,eAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAC,CAAA;AAGD,SAAS,YAAA,CAAa,WAA0B,KAAA,EAA2B;AACzE,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,OAAA,IAAW,IAAA,CAAK,SAAS,cAAA,EAAgB;AACzD,IAAA,OAAO,IAAA,CAAK,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS;AAChC,MAAA,MAAM,QAAA,GAAW,UAAU,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,MAAM,CAAA;AAC1D,MAAA,OAAO,QAAA,CAAS,IAAA,KAAS,MAAA,IAAU,YAAA,CAAa,WAAW,QAAQ,CAAA;AAAA,IACrE,CAAC,CAAA;AAAA,EACH;AACA,EAAA,OAAO,aAAA,CAAc,IAAI,IAAA,CAAK,IAAI,KAAM,IAAA,CAAK,IAAA,KAAS,SAAA,IAAa,IAAA,CAAK,OAAA,KAAY,OAAA;AACtF;AAEA,SAAS,aAAa,WAAA,EAAqD;AACzE,EAAA,MAAM,EAAE,MAAK,GAAI,WAAA;AACjB,EAAA,MAAM,UAAU,IAAA,CAAK,IAAA,KAAS,eAAe,IAAA,CAAK,IAAA,KAAS,aAAa,aAAA,CAAc,IAAA;AACtF,EAAA,OAAO,OAAA,GAAW,IAAA,CAAK,aAAA,CAAc,CAAC,KAAK,IAAA,GAAQ,IAAA;AACrD;AAEA,SAAS,QAAA,CACP,WACA,WAAA,EACyB;AACzB,EAAA,MAAM,QAAA,GAAW,aAAa,WAAW,CAAA;AACzC,EAAA,MAAM,YAAY,QAAA,KAAa,IAAA,GAAO,IAAA,GAAO,SAAA,CAAU,SAAS,QAAQ,CAAA;AACxE,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,SAAA,CAAU,IAAA,KAAS,QAAA,EAAU;AACrD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,SAAS,SAAA,EAAW;AAChC,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,OAAA,GAAU,SAAA,CAAU,SAAA,EAAW,SAAS,CAAA;AAC9C,EAAA,IAAI,OAAA,CAAQ,SAAS,MAAA,EAAQ;AAC3B,IAAA,OAAO,OAAA,CAAQ,SAAS,SAAA,GAAY,EAAE,MAAM,SAAA,EAAW,IAAA,EAAM,WAAA,CAAY,IAAA,EAAK,GAAI,IAAA;AAAA,EACpF;AACA,EAAA,IAAI,YAAY,MAAA,CAAO,MAAA,KAAW,KAAK,OAAA,CAAQ,OAAA,CAAQ,IAAI,CAAA,EAAG;AAE5D,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,OAAA,GAAU,WAAA,CAAY,MAAA,CAAO,GAAA,CAAI,CAAC,UAAU,SAAA,CAAU,SAAA,EAAW,OAAA,EAAS,KAAK,CAAC,CAAA;AACtF,EAAA,IAAI,CAAC,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA,EAAG;AAC3B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,CAAC,YAAA,CAAa,SAAA,EAAW,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,YAAY,IAAA,EAAK;AAAA,EACnD;AACA,EAAA,MAAM,QAAA,GAAW,WAAA,CAAY,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,KAAA,KAAU,OAAA,CAAQ,KAAK,CAAA,KAAM,IAAI,CAAA;AAChF,EAAA,OAAO,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,WAAA,CAAY,MAAM,QAAA,EAAS;AAC9D;AAEA,SAAS,QAAQ,IAAA,EAAuB;AACtC,EAAA,OAAO,IAAA,CAAK,IAAA,KAAS,SAAA,IAAa,IAAA,CAAK,OAAA,KAAY,OAAA;AACrD;AAGA,SAAS,cAAc,WAAA,EAA8C;AACnE,EAAA,IAAI,WAAA,CAAY,MAAA,CAAO,MAAA,KAAW,CAAA,EAAG;AACnC,IAAA,OAAO,UAAA,CAAW,OAAA,CAAQ,KAAK,CAAC,CAAA;AAAA,EAClC;AACA,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,WAAA,CAAY,MAAA,CAAO,GAAA,CAAI,CAAC,KAAA,KAAU,WAAA,CAAY,KAAK,CAAC,CAAC,CAAA;AAC5E,EAAA,OAAO,YAAY,YAAA,CAAa,aAAA,CAAc,IAAA,EAAM,CAAC,MAAM,CAAC,CAAA;AAC9D;AAMO,SAAS,iBAAA,CACd,MAAA,EACA,YAAA,EACA,aAAA,EACgE;AAChE,EAAA,MAAM,SAAA,GAAY,IAAI,aAAA,CAAc,CAAC,GAAG,YAAA,EAAc,GAAG,MAAA,CAAO,MAAA,CAAO,aAAa,CAAC,CAAC,CAAA;AACtF,EAAA,MAAM,UAA8B,EAAC;AACrC,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,GAAA,CAAI,CAAC,KAAA,KAAU;AACpC,IAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,IAAK,KAAA,CAAM,SAAS,YAAA,EAAc;AACxD,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,EAAW,KAAK,CAAA;AACxC,IAAA,IAAI,WAAW,IAAA,EAAM;AACnB,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,OAAA,CAAQ,KAAK,MAAM,CAAA;AACnB,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,IAAA,EAAM,aAAA,CAAc,KAAK,CAAA,EAAE;AAAA,EAChD,CAAC,CAAA;AACD,EAAA,OAAO,EAAE,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAQ;AACpC;;"}