openapi-typesafe 0.0.0 → 1.0.0-rc.1

package/dist/application/transform/ref-pointer/typed-walk.cjs

@@ -0,0 +1,124 @@
+'use strict';
+
+const constructors = require('../../../domain/ir/constructors.cjs');
+const refType = require('../ref-type.cjs');
+const generatedShape = require('./generated-shape.cjs');
+const pointerWalk = require('./pointer-walk.cjs');
+
+const DEFS_KEYWORD = "$defs";
+function present(walk) {
+  return walk.presence === "present" ? walk.type : constructors.irReference("NonNullable", [walk.type]);
+}
+function indexEntries(walk, key, keyword, refs) {
+  const owner = generatedShape.followRefs(walk.node, refs);
+  const child = generatedShape.isJsonObject(owner) ? owner[keyword] : void 0;
+  return {
+    ...walk,
+    type: constructors.irIndexedAccess(present(walk), constructors.irKeyword(key)),
+    node: child,
+    presence: generatedShape.schemaPresence(child, refs)
+  };
+}
+function nameStep(walk, name, isLast, input) {
+  const owner = generatedShape.followRefs(walk.node, input.refs);
+  const properties = generatedShape.isJsonObject(owner) && generatedShape.isJsonObject(owner.properties) ? owner.properties : {};
+  const type = walk.presence === "present" ? refType.indexKeyword(walk.type, name, isLast) : refType.indexBy(present(walk), name);
+  return {
+    ...walk,
+    type,
+    node: properties[name],
+    isName: false,
+    presence: generatedShape.propertyPresence(walk.node, name, input.options, input.refs)
+  };
+}
+function defsStep(walk, owner, isLast) {
+  const defs = generatedShape.isJsonObject(owner) && generatedShape.isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};
+  return {
+    ...walk,
+    type: refType.indexKeyword(present(walk), DEFS_KEYWORD, isLast),
+    node: { properties: defs, required: Object.keys(defs) },
+    isName: true,
+    presence: "present"
+  };
+}
+const SHAPED_KEYWORDS = /* @__PURE__ */ new Set([
+  "properties",
+  "items",
+  "additionalProperties"
+]);
+function hasKeywordMember(owner, segment) {
+  if (!SHAPED_KEYWORDS.has(segment) || !generatedShape.isJsonObject(owner)) {
+    return true;
+  }
+  return segment === "items" ? generatedShape.isArrayShape(owner) : generatedShape.isObjectShape(owner);
+}
+function keywordStep(walk, segment, isLast, input) {
+  const owner = generatedShape.followRefs(walk.node, input.refs);
+  if (!hasKeywordMember(owner, segment)) {
+    return null;
+  }
+  switch (segment) {
+    case "properties":
+      return { ...walk, isName: true };
+    case "items":
+      return indexEntries(walk, "number", "items", input.refs);
+    case "additionalProperties":
+      return indexEntries(walk, "string", "additionalProperties", input.refs);
+    case DEFS_KEYWORD:
+      return defsStep(walk, owner, isLast);
+    default:
+      return null;
+  }
+}
+function containerStep(walk, index, input) {
+  const segment = input.pointer.segments[index];
+  const owner = generatedShape.followRefs(walk.node, input.refs);
+  const isOptional = segment === "requestBody" && pointerWalk.isOptionalRequestBody(owner, input.refs) || pointerWalk.isOptionalHeader(input.pointer, index, owner);
+  return {
+    ...walk,
+    type: refType.indexBy(present(walk), segment),
+    node: generatedShape.isJsonObject(owner) ? owner[segment] : void 0,
+    presence: isOptional ? "absent" : "present"
+  };
+}
+function step(walk, index, input) {
+  const { segments } = input.pointer;
+  const segment = segments[index];
+  const isLast = index === segments.length - 1;
+  if (walk.isSchema) {
+    return walk.isName ? nameStep(walk, segment, isLast, input) : keywordStep(walk, segment, isLast, input);
+  }
+  if (segment === "schema" && pointerWalk.isTypedAsSchema(input.pointer, index)) {
+    const owner = generatedShape.followRefs(walk.node, input.refs);
+    const schema = generatedShape.isJsonObject(owner) ? owner.schema : void 0;
+    const presence = walk.presence === "absent" ? "absent" : generatedShape.schemaPresence(schema, input.refs);
+    return { ...walk, node: schema, isSchema: true, presence };
+  }
+  return pointerWalk.isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);
+}
+function typedWalk(input) {
+  const { pointer } = input;
+  const node = pointerWalk.leadingNode(pointer, input.refs);
+  const isSchema = pointerWalk.startsInSchema(pointer);
+  let walk = {
+    type: refType.indexBy(
+      refType.rootType(pointer.rootSegment, false),
+      ...pointer.segments.slice(0, pointerWalk.leadingSegmentsOf(pointer))
+    ),
+    node,
+    isSchema,
+    isName: false,
+    presence: isSchema ? generatedShape.schemaPresence(node, input.refs) : "present"
+  };
+  for (let index = pointerWalk.leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {
+    const next = step(walk, index, input);
+    if (next === null) {
+      return { kind: "untyped", index };
+    }
+    walk = next;
+  }
+  return { kind: "typed", walk };
+}
+
+exports.typedWalk = typedWalk;
+//# sourceMappingURL=typed-walk.cjs.map

package/dist/application/transform/ref-pointer/typed-walk.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-walk.cjs","sources":["../../../../src/application/transform/ref-pointer/typed-walk.ts"],"sourcesContent":["import { irIndexedAccess, irKeyword, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrKeyword, IrType } from \"../../../domain/ir/nodes.js\";\nimport { indexBy, indexKeyword, rootType } from \"../ref-type.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  followRefs,\n  isArrayShape,\n  isJsonObject,\n  isObjectShape,\n  type Presence,\n  propertyPresence,\n  schemaPresence,\n} from \"./generated-shape.js\";\nimport {\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingNode,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * The type of a `$ref` pointer as the generated types have it: the `schema` of a media type,\n * header or component parameter is its type, `items` is indexed by `number`,\n * `additionalProperties` by `string`, and a value that may be `undefined` or `null` is wrapped in\n * `NonNullable` before it is indexed. The walk stops at a segment with no type of its own\n * (`allOf/0`, `definitions/A`, operation `parameters/0`): the caller types the target itself.\n */\n\nconst DEFS_KEYWORD = \"$defs\";\n\nexport interface TypedWalk {\n  readonly type: IrType;\n  /** The document node the type stands for (not followed through a `$ref`). */\n  readonly node: unknown;\n  readonly isSchema: boolean;\n  /** The segment is a property or `$defs` name, not a keyword. */\n  readonly isName: boolean;\n  readonly presence: Presence;\n}\n\nexport interface TypedWalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\n/** The walk result: a type, or the index of the first segment that has no type. */\nexport type TypedWalkResult =\n  | { readonly kind: \"typed\"; readonly walk: TypedWalk }\n  | { readonly kind: \"untyped\"; readonly index: number };\n\nfunction present(walk: TypedWalk): IrType {\n  return walk.presence === \"present\" ? walk.type : irReference(\"NonNullable\", [walk.type]);\n}\n\nfunction indexEntries(walk: TypedWalk, key: IrKeyword, keyword: string, refs: RefResolver) {\n  const owner = followRefs(walk.node, refs);\n  const child = isJsonObject(owner) ? owner[keyword] : undefined;\n  return {\n    ...walk,\n    type: irIndexedAccess(present(walk), irKeyword(key)),\n    node: child,\n    presence: schemaPresence(child, refs),\n  };\n}\n\nfunction nameStep(walk: TypedWalk, name: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  const properties = isJsonObject(owner) && isJsonObject(owner.properties) ? owner.properties : {};\n  const type =\n    walk.presence === \"present\"\n      ? indexKeyword(walk.type, name, isLast)\n      : indexBy(present(walk), name);\n  return {\n    ...walk,\n    type,\n    node: properties[name],\n    isName: false,\n    presence: propertyPresence(walk.node, name, input.options, input.refs),\n  };\n}\n\n/** `$defs` is optional (`NonNullable` when more follows); its members are present. */\nfunction defsStep(walk: TypedWalk, owner: unknown, isLast: boolean): TypedWalk {\n  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};\n  return {\n    ...walk,\n    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),\n    node: { properties: defs, required: Object.keys(defs) },\n    isName: true,\n    presence: \"present\",\n  };\n}\n\nconst SHAPED_KEYWORDS: ReadonlySet<string> = new Set([\n  \"properties\",\n  \"items\",\n  \"additionalProperties\",\n]);\n\n/**\n * Whether the keyword gives the owner's generated type a member: `items` only an array,\n * `properties` and `additionalProperties` only an object (`type: string` ignores them). A node\n * that is not in the document is indexed as the keyword says.\n */\nfunction hasKeywordMember(owner: unknown, segment: string): boolean {\n  if (!SHAPED_KEYWORDS.has(segment) || !isJsonObject(owner)) {\n    return true;\n  }\n  return segment === \"items\" ? isArrayShape(owner) : isObjectShape(owner);\n}\n\nfunction keywordStep(walk: TypedWalk, segment: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  if (!hasKeywordMember(owner, segment)) {\n    return null;\n  }\n  switch (segment) {\n    case \"properties\":\n      return { ...walk, isName: true };\n    case \"items\":\n      return indexEntries(walk, \"number\", \"items\", input.refs);\n    case \"additionalProperties\":\n      return indexEntries(walk, \"string\", \"additionalProperties\", input.refs);\n    case DEFS_KEYWORD:\n      return defsStep(walk, owner, isLast);\n    default:\n      return null;\n  }\n}\n\nfunction containerStep(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk {\n  const segment = input.pointer.segments[index] as string;\n  const owner = followRefs(walk.node, input.refs);\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(owner, input.refs)) ||\n    isOptionalHeader(input.pointer, index, owner);\n  return {\n    ...walk,\n    type: indexBy(present(walk), segment),\n    node: isJsonObject(owner) ? owner[segment] : undefined,\n    presence: isOptional ? \"absent\" : \"present\",\n  };\n}\n\nfunction step(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk | null {\n  const { segments } = input.pointer;\n  const segment = segments[index] as string;\n  const isLast = index === segments.length - 1;\n  if (walk.isSchema) {\n    return walk.isName\n      ? nameStep(walk, segment, isLast, input)\n      : keywordStep(walk, segment, isLast, input);\n  }\n  if (segment === \"schema\" && isTypedAsSchema(input.pointer, index)) {\n    const owner = followRefs(walk.node, input.refs);\n    const schema = isJsonObject(owner) ? owner.schema : undefined;\n    // The container's type is its schema's type: an optional header stays optional.\n    const presence = walk.presence === \"absent\" ? \"absent\" : schemaPresence(schema, input.refs);\n    return { ...walk, node: schema, isSchema: true, presence };\n  }\n  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);\n}\n\n/** Walk the whole pointer; see the module comment. */\nexport function typedWalk(input: TypedWalkInput): TypedWalkResult {\n  const { pointer } = input;\n  const node = leadingNode(pointer, input.refs);\n  const isSchema = startsInSchema(pointer);\n  let walk: TypedWalk = {\n    type: indexBy(\n      rootType(pointer.rootSegment, false),\n      ...pointer.segments.slice(0, leadingSegmentsOf(pointer)),\n    ),\n    node,\n    isSchema,\n    isName: false,\n    presence: isSchema ? schemaPresence(node, input.refs) : \"present\",\n  };\n  for (let index = leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {\n    const next = step(walk, index, input);\n    if (next === null) {\n      return { kind: \"untyped\", index };\n    }\n    walk = next;\n  }\n  return { kind: \"typed\", walk };\n}\n"],"names":["irReference","followRefs","isJsonObject","irIndexedAccess","irKeyword","schemaPresence","indexKeyword","indexBy","propertyPresence","isArrayShape","isObjectShape","isOptionalRequestBody","isOptionalHeader","isTypedAsSchema","isParameterList","leadingNode","startsInSchema","rootType","leadingSegmentsOf"],"mappings":";;;;;;;AAgCA,MAAM,YAAA,GAAe,OAAA;AAuBrB,SAAS,QAAQ,IAAA,EAAyB;AACxC,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,SAAA,GAAY,IAAA,CAAK,IAAA,GAAOA,yBAAY,aAAA,EAAe,CAAC,IAAA,CAAK,IAAI,CAAC,CAAA;AACzF;AAEA,SAAS,YAAA,CAAa,IAAA,EAAiB,GAAA,EAAgB,OAAA,EAAiB,IAAA,EAAmB;AACzF,EAAA,MAAM,KAAA,GAAQC,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AACxC,EAAA,MAAM,QAAQC,2BAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAMC,4BAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA,EAAGC,sBAAA,CAAU,GAAG,CAAC,CAAA;AAAA,IACnD,IAAA,EAAM,KAAA;AAAA,IACN,QAAA,EAAUC,6BAAA,CAAe,KAAA,EAAO,IAAI;AAAA,GACtC;AACF;AAEA,SAAS,QAAA,CAAS,IAAA,EAAiB,IAAA,EAAc,MAAA,EAAiB,KAAA,EAAuB;AACvF,EAAA,MAAM,KAAA,GAAQJ,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GAAaC,2BAAA,CAAa,KAAK,CAAA,IAAKA,2BAAA,CAAa,MAAM,UAAU,CAAA,GAAI,KAAA,CAAM,UAAA,GAAa,EAAC;AAC/F,EAAA,MAAM,IAAA,GACJ,IAAA,CAAK,QAAA,KAAa,SAAA,GACdI,qBAAa,IAAA,CAAK,IAAA,EAAM,IAAA,EAAM,MAAM,CAAA,GACpCC,eAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,IAAI,CAAA;AACjC,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA;AAAA,IACA,IAAA,EAAM,WAAW,IAAI,CAAA;AAAA,IACrB,MAAA,EAAQ,KAAA;AAAA,IACR,QAAA,EAAUC,gCAAiB,IAAA,CAAK,IAAA,EAAM,MAAM,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI;AAAA,GACvE;AACF;AAGA,SAAS,QAAA,CAAS,IAAA,EAAiB,KAAA,EAAgB,MAAA,EAA4B;AAC7E,EAAA,MAAM,IAAA,GAAON,2BAAA,CAAa,KAAK,CAAA,IAAKA,2BAAA,CAAa,KAAA,CAAM,YAAY,CAAC,CAAA,GAAI,KAAA,CAAM,YAAY,CAAA,GAAI,EAAC;AAC/F,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAMI,oBAAA,CAAa,OAAA,CAAQ,IAAI,CAAA,EAAG,cAAc,MAAM,CAAA;AAAA,IACtD,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,UAAU,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,IACtD,MAAA,EAAQ,IAAA;AAAA,IACR,QAAA,EAAU;AAAA,GACZ;AACF;AAEA,MAAM,eAAA,uBAA2C,GAAA,CAAI;AAAA,EACnD,YAAA;AAAA,EACA,OAAA;AAAA,EACA;AACF,CAAC,CAAA;AAOD,SAAS,gBAAA,CAAiB,OAAgB,OAAA,EAA0B;AAClE,EAAA,IAAI,CAAC,gBAAgB,GAAA,CAAI,OAAO,KAAK,CAACJ,2BAAA,CAAa,KAAK,CAAA,EAAG;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,OAAA,GAAUO,2BAAA,CAAa,KAAK,CAAA,GAAIC,6BAAc,KAAK,CAAA;AACxE;AAEA,SAAS,WAAA,CAAY,IAAA,EAAiB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAuB;AAC7F,EAAA,MAAM,KAAA,GAAQT,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,IAAI,CAAC,gBAAA,CAAiB,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,QAAQ,OAAA;AAAS,IACf,KAAK,YAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAK;AAAA,IACjC,KAAK,OAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IACzD,KAAK,sBAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,sBAAA,EAAwB,MAAM,IAAI,CAAA;AAAA,IACxE,KAAK,YAAA;AACH,MAAA,OAAO,QAAA,CAAS,IAAA,EAAM,KAAA,EAAO,MAAM,CAAA;AAAA,IACrC;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAkC;AACvF,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,KAAA,GAAQA,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiBU,iCAAA,CAAsB,KAAA,EAAO,KAAA,CAAM,IAAI,CAAA,IACrEC,4BAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,CAAA;AAC9C,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA,EAAML,eAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,OAAO,CAAA;AAAA,IACpC,MAAML,2BAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AAAA,IAC7C,QAAA,EAAU,aAAa,QAAA,GAAW;AAAA,GACpC;AACF;AAEA,SAAS,IAAA,CAAK,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAyC;AACrF,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,EAAA,IAAI,KAAK,QAAA,EAAU;AACjB,IAAA,OAAO,IAAA,CAAK,MAAA,GACR,QAAA,CAAS,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA,GACrC,WAAA,CAAY,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,YAAY,QAAA,IAAYW,2BAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AACjE,IAAA,MAAM,KAAA,GAAQZ,yBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,IAAA,MAAM,MAAA,GAASC,2BAAA,CAAa,KAAK,CAAA,GAAI,MAAM,MAAA,GAAS,MAAA;AAEpD,IAAA,MAAM,QAAA,GAAW,KAAK,QAAA,KAAa,QAAA,GAAW,WAAWG,6BAAA,CAAe,MAAA,EAAQ,MAAM,IAAI,CAAA;AAC1F,IAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAM,MAAA,EAAQ,QAAA,EAAU,MAAM,QAAA,EAAS;AAAA,EAC3D;AACA,EAAA,OAAOS,2BAAA,CAAgB,MAAM,OAAA,EAAS,KAAK,IAAI,IAAA,GAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACxF;AAGO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,IAAA,GAAOC,uBAAA,CAAY,OAAA,EAAS,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,MAAM,QAAA,GAAWC,2BAAe,OAAO,CAAA;AACvC,EAAA,IAAI,IAAA,GAAkB;AAAA,IACpB,IAAA,EAAMT,eAAA;AAAA,MACJU,gBAAA,CAAS,OAAA,CAAQ,WAAA,EAAa,KAAK,CAAA;AAAA,MACnC,GAAG,OAAA,CAAQ,QAAA,CAAS,MAAM,CAAA,EAAGC,6BAAA,CAAkB,OAAO,CAAC;AAAA,KACzD;AAAA,IACA,IAAA;AAAA,IACA,QAAA;AAAA,IACA,MAAA,EAAQ,KAAA;AAAA,IACR,UAAU,QAAA,GAAWb,6BAAA,CAAe,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,GAAI;AAAA,GAC1D;AACA,EAAA,KAAA,IAAS,KAAA,GAAQa,8BAAkB,OAAO,CAAA,EAAG,QAAQ,OAAA,CAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACrF,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACpC,IAAA,IAAI,SAAS,IAAA,EAAM;AACjB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,KAAA,EAAM;AAAA,IAClC;AACA,IAAA,IAAA,GAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAK;AAC/B;;"}

package/dist/application/transform/ref-pointer/typed-walk.mjs

@@ -0,0 +1,122 @@
+import { irReference, irIndexedAccess, irKeyword } from '../../../domain/ir/constructors.mjs';
+import { indexBy, rootType, indexKeyword } from '../ref-type.mjs';
+import { schemaPresence, followRefs, isJsonObject, propertyPresence, isArrayShape, isObjectShape } from './generated-shape.mjs';
+import { leadingNode, startsInSchema, leadingSegmentsOf, isTypedAsSchema, isParameterList, isOptionalRequestBody, isOptionalHeader } from './pointer-walk.mjs';
+
+const DEFS_KEYWORD = "$defs";
+function present(walk) {
+  return walk.presence === "present" ? walk.type : irReference("NonNullable", [walk.type]);
+}
+function indexEntries(walk, key, keyword, refs) {
+  const owner = followRefs(walk.node, refs);
+  const child = isJsonObject(owner) ? owner[keyword] : void 0;
+  return {
+    ...walk,
+    type: irIndexedAccess(present(walk), irKeyword(key)),
+    node: child,
+    presence: schemaPresence(child, refs)
+  };
+}
+function nameStep(walk, name, isLast, input) {
+  const owner = followRefs(walk.node, input.refs);
+  const properties = isJsonObject(owner) && isJsonObject(owner.properties) ? owner.properties : {};
+  const type = walk.presence === "present" ? indexKeyword(walk.type, name, isLast) : indexBy(present(walk), name);
+  return {
+    ...walk,
+    type,
+    node: properties[name],
+    isName: false,
+    presence: propertyPresence(walk.node, name, input.options, input.refs)
+  };
+}
+function defsStep(walk, owner, isLast) {
+  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};
+  return {
+    ...walk,
+    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),
+    node: { properties: defs, required: Object.keys(defs) },
+    isName: true,
+    presence: "present"
+  };
+}
+const SHAPED_KEYWORDS = /* @__PURE__ */ new Set([
+  "properties",
+  "items",
+  "additionalProperties"
+]);
+function hasKeywordMember(owner, segment) {
+  if (!SHAPED_KEYWORDS.has(segment) || !isJsonObject(owner)) {
+    return true;
+  }
+  return segment === "items" ? isArrayShape(owner) : isObjectShape(owner);
+}
+function keywordStep(walk, segment, isLast, input) {
+  const owner = followRefs(walk.node, input.refs);
+  if (!hasKeywordMember(owner, segment)) {
+    return null;
+  }
+  switch (segment) {
+    case "properties":
+      return { ...walk, isName: true };
+    case "items":
+      return indexEntries(walk, "number", "items", input.refs);
+    case "additionalProperties":
+      return indexEntries(walk, "string", "additionalProperties", input.refs);
+    case DEFS_KEYWORD:
+      return defsStep(walk, owner, isLast);
+    default:
+      return null;
+  }
+}
+function containerStep(walk, index, input) {
+  const segment = input.pointer.segments[index];
+  const owner = followRefs(walk.node, input.refs);
+  const isOptional = segment === "requestBody" && isOptionalRequestBody(owner, input.refs) || isOptionalHeader(input.pointer, index, owner);
+  return {
+    ...walk,
+    type: indexBy(present(walk), segment),
+    node: isJsonObject(owner) ? owner[segment] : void 0,
+    presence: isOptional ? "absent" : "present"
+  };
+}
+function step(walk, index, input) {
+  const { segments } = input.pointer;
+  const segment = segments[index];
+  const isLast = index === segments.length - 1;
+  if (walk.isSchema) {
+    return walk.isName ? nameStep(walk, segment, isLast, input) : keywordStep(walk, segment, isLast, input);
+  }
+  if (segment === "schema" && isTypedAsSchema(input.pointer, index)) {
+    const owner = followRefs(walk.node, input.refs);
+    const schema = isJsonObject(owner) ? owner.schema : void 0;
+    const presence = walk.presence === "absent" ? "absent" : schemaPresence(schema, input.refs);
+    return { ...walk, node: schema, isSchema: true, presence };
+  }
+  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);
+}
+function typedWalk(input) {
+  const { pointer } = input;
+  const node = leadingNode(pointer, input.refs);
+  const isSchema = startsInSchema(pointer);
+  let walk = {
+    type: indexBy(
+      rootType(pointer.rootSegment, false),
+      ...pointer.segments.slice(0, leadingSegmentsOf(pointer))
+    ),
+    node,
+    isSchema,
+    isName: false,
+    presence: isSchema ? schemaPresence(node, input.refs) : "present"
+  };
+  for (let index = leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {
+    const next = step(walk, index, input);
+    if (next === null) {
+      return { kind: "untyped", index };
+    }
+    walk = next;
+  }
+  return { kind: "typed", walk };
+}
+
+export { typedWalk };
+//# sourceMappingURL=typed-walk.mjs.map

package/dist/application/transform/ref-pointer/typed-walk.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-walk.mjs","sources":["../../../../src/application/transform/ref-pointer/typed-walk.ts"],"sourcesContent":["import { irIndexedAccess, irKeyword, irReference } from \"../../../domain/ir/constructors.js\";\nimport type { IrKeyword, IrType } from \"../../../domain/ir/nodes.js\";\nimport { indexBy, indexKeyword, rootType } from \"../ref-type.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  followRefs,\n  isArrayShape,\n  isJsonObject,\n  isObjectShape,\n  type Presence,\n  propertyPresence,\n  schemaPresence,\n} from \"./generated-shape.js\";\nimport {\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingNode,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\n\n/**\n * The type of a `$ref` pointer as the generated types have it: the `schema` of a media type,\n * header or component parameter is its type, `items` is indexed by `number`,\n * `additionalProperties` by `string`, and a value that may be `undefined` or `null` is wrapped in\n * `NonNullable` before it is indexed. The walk stops at a segment with no type of its own\n * (`allOf/0`, `definitions/A`, operation `parameters/0`): the caller types the target itself.\n */\n\nconst DEFS_KEYWORD = \"$defs\";\n\nexport interface TypedWalk {\n  readonly type: IrType;\n  /** The document node the type stands for (not followed through a `$ref`). */\n  readonly node: unknown;\n  readonly isSchema: boolean;\n  /** The segment is a property or `$defs` name, not a keyword. */\n  readonly isName: boolean;\n  readonly presence: Presence;\n}\n\nexport interface TypedWalkInput {\n  readonly pointer: RefPointer;\n  readonly options: SchemaOptions;\n  readonly refs: RefResolver;\n}\n\n/** The walk result: a type, or the index of the first segment that has no type. */\nexport type TypedWalkResult =\n  | { readonly kind: \"typed\"; readonly walk: TypedWalk }\n  | { readonly kind: \"untyped\"; readonly index: number };\n\nfunction present(walk: TypedWalk): IrType {\n  return walk.presence === \"present\" ? walk.type : irReference(\"NonNullable\", [walk.type]);\n}\n\nfunction indexEntries(walk: TypedWalk, key: IrKeyword, keyword: string, refs: RefResolver) {\n  const owner = followRefs(walk.node, refs);\n  const child = isJsonObject(owner) ? owner[keyword] : undefined;\n  return {\n    ...walk,\n    type: irIndexedAccess(present(walk), irKeyword(key)),\n    node: child,\n    presence: schemaPresence(child, refs),\n  };\n}\n\nfunction nameStep(walk: TypedWalk, name: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  const properties = isJsonObject(owner) && isJsonObject(owner.properties) ? owner.properties : {};\n  const type =\n    walk.presence === \"present\"\n      ? indexKeyword(walk.type, name, isLast)\n      : indexBy(present(walk), name);\n  return {\n    ...walk,\n    type,\n    node: properties[name],\n    isName: false,\n    presence: propertyPresence(walk.node, name, input.options, input.refs),\n  };\n}\n\n/** `$defs` is optional (`NonNullable` when more follows); its members are present. */\nfunction defsStep(walk: TypedWalk, owner: unknown, isLast: boolean): TypedWalk {\n  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};\n  return {\n    ...walk,\n    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),\n    node: { properties: defs, required: Object.keys(defs) },\n    isName: true,\n    presence: \"present\",\n  };\n}\n\nconst SHAPED_KEYWORDS: ReadonlySet<string> = new Set([\n  \"properties\",\n  \"items\",\n  \"additionalProperties\",\n]);\n\n/**\n * Whether the keyword gives the owner's generated type a member: `items` only an array,\n * `properties` and `additionalProperties` only an object (`type: string` ignores them). A node\n * that is not in the document is indexed as the keyword says.\n */\nfunction hasKeywordMember(owner: unknown, segment: string): boolean {\n  if (!SHAPED_KEYWORDS.has(segment) || !isJsonObject(owner)) {\n    return true;\n  }\n  return segment === \"items\" ? isArrayShape(owner) : isObjectShape(owner);\n}\n\nfunction keywordStep(walk: TypedWalk, segment: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followRefs(walk.node, input.refs);\n  if (!hasKeywordMember(owner, segment)) {\n    return null;\n  }\n  switch (segment) {\n    case \"properties\":\n      return { ...walk, isName: true };\n    case \"items\":\n      return indexEntries(walk, \"number\", \"items\", input.refs);\n    case \"additionalProperties\":\n      return indexEntries(walk, \"string\", \"additionalProperties\", input.refs);\n    case DEFS_KEYWORD:\n      return defsStep(walk, owner, isLast);\n    default:\n      return null;\n  }\n}\n\nfunction containerStep(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk {\n  const segment = input.pointer.segments[index] as string;\n  const owner = followRefs(walk.node, input.refs);\n  const isOptional =\n    (segment === \"requestBody\" && isOptionalRequestBody(owner, input.refs)) ||\n    isOptionalHeader(input.pointer, index, owner);\n  return {\n    ...walk,\n    type: indexBy(present(walk), segment),\n    node: isJsonObject(owner) ? owner[segment] : undefined,\n    presence: isOptional ? \"absent\" : \"present\",\n  };\n}\n\nfunction step(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk | null {\n  const { segments } = input.pointer;\n  const segment = segments[index] as string;\n  const isLast = index === segments.length - 1;\n  if (walk.isSchema) {\n    return walk.isName\n      ? nameStep(walk, segment, isLast, input)\n      : keywordStep(walk, segment, isLast, input);\n  }\n  if (segment === \"schema\" && isTypedAsSchema(input.pointer, index)) {\n    const owner = followRefs(walk.node, input.refs);\n    const schema = isJsonObject(owner) ? owner.schema : undefined;\n    // The container's type is its schema's type: an optional header stays optional.\n    const presence = walk.presence === \"absent\" ? \"absent\" : schemaPresence(schema, input.refs);\n    return { ...walk, node: schema, isSchema: true, presence };\n  }\n  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);\n}\n\n/** Walk the whole pointer; see the module comment. */\nexport function typedWalk(input: TypedWalkInput): TypedWalkResult {\n  const { pointer } = input;\n  const node = leadingNode(pointer, input.refs);\n  const isSchema = startsInSchema(pointer);\n  let walk: TypedWalk = {\n    type: indexBy(\n      rootType(pointer.rootSegment, false),\n      ...pointer.segments.slice(0, leadingSegmentsOf(pointer)),\n    ),\n    node,\n    isSchema,\n    isName: false,\n    presence: isSchema ? schemaPresence(node, input.refs) : \"present\",\n  };\n  for (let index = leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {\n    const next = step(walk, index, input);\n    if (next === null) {\n      return { kind: \"untyped\", index };\n    }\n    walk = next;\n  }\n  return { kind: \"typed\", walk };\n}\n"],"names":[],"mappings":";;;;;AAgCA,MAAM,YAAA,GAAe,OAAA;AAuBrB,SAAS,QAAQ,IAAA,EAAyB;AACxC,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,SAAA,GAAY,IAAA,CAAK,IAAA,GAAO,YAAY,aAAA,EAAe,CAAC,IAAA,CAAK,IAAI,CAAC,CAAA;AACzF;AAEA,SAAS,YAAA,CAAa,IAAA,EAAiB,GAAA,EAAgB,OAAA,EAAiB,IAAA,EAAmB;AACzF,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,IAAI,CAAA;AACxC,EAAA,MAAM,QAAQ,YAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AACrD,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAM,eAAA,CAAgB,OAAA,CAAQ,IAAI,CAAA,EAAG,SAAA,CAAU,GAAG,CAAC,CAAA;AAAA,IACnD,IAAA,EAAM,KAAA;AAAA,IACN,QAAA,EAAU,cAAA,CAAe,KAAA,EAAO,IAAI;AAAA,GACtC;AACF;AAEA,SAAS,QAAA,CAAS,IAAA,EAAiB,IAAA,EAAc,MAAA,EAAiB,KAAA,EAAuB;AACvF,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,KAAK,CAAA,IAAK,YAAA,CAAa,MAAM,UAAU,CAAA,GAAI,KAAA,CAAM,UAAA,GAAa,EAAC;AAC/F,EAAA,MAAM,IAAA,GACJ,IAAA,CAAK,QAAA,KAAa,SAAA,GACd,aAAa,IAAA,CAAK,IAAA,EAAM,IAAA,EAAM,MAAM,CAAA,GACpC,OAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,IAAI,CAAA;AACjC,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA;AAAA,IACA,IAAA,EAAM,WAAW,IAAI,CAAA;AAAA,IACrB,MAAA,EAAQ,KAAA;AAAA,IACR,QAAA,EAAU,iBAAiB,IAAA,CAAK,IAAA,EAAM,MAAM,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI;AAAA,GACvE;AACF;AAGA,SAAS,QAAA,CAAS,IAAA,EAAiB,KAAA,EAAgB,MAAA,EAA4B;AAC7E,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,KAAK,CAAA,IAAK,YAAA,CAAa,KAAA,CAAM,YAAY,CAAC,CAAA,GAAI,KAAA,CAAM,YAAY,CAAA,GAAI,EAAC;AAC/F,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAM,YAAA,CAAa,OAAA,CAAQ,IAAI,CAAA,EAAG,cAAc,MAAM,CAAA;AAAA,IACtD,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,UAAU,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,IACtD,MAAA,EAAQ,IAAA;AAAA,IACR,QAAA,EAAU;AAAA,GACZ;AACF;AAEA,MAAM,eAAA,uBAA2C,GAAA,CAAI;AAAA,EACnD,YAAA;AAAA,EACA,OAAA;AAAA,EACA;AACF,CAAC,CAAA;AAOD,SAAS,gBAAA,CAAiB,OAAgB,OAAA,EAA0B;AAClE,EAAA,IAAI,CAAC,gBAAgB,GAAA,CAAI,OAAO,KAAK,CAAC,YAAA,CAAa,KAAK,CAAA,EAAG;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,OAAA,GAAU,YAAA,CAAa,KAAK,CAAA,GAAI,cAAc,KAAK,CAAA;AACxE;AAEA,SAAS,WAAA,CAAY,IAAA,EAAiB,OAAA,EAAiB,MAAA,EAAiB,KAAA,EAAuB;AAC7F,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,IAAI,CAAC,gBAAA,CAAiB,KAAA,EAAO,OAAO,CAAA,EAAG;AACrC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,QAAQ,OAAA;AAAS,IACf,KAAK,YAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAK;AAAA,IACjC,KAAK,OAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,MAAM,IAAI,CAAA;AAAA,IACzD,KAAK,sBAAA;AACH,MAAA,OAAO,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,sBAAA,EAAwB,MAAM,IAAI,CAAA;AAAA,IACxE,KAAK,YAAA;AACH,MAAA,OAAO,QAAA,CAAS,IAAA,EAAM,KAAA,EAAO,MAAM,CAAA;AAAA,IACrC;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEA,SAAS,aAAA,CAAc,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAkC;AACvF,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,KAAK,CAAA;AAC5C,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiB,qBAAA,CAAsB,KAAA,EAAO,KAAA,CAAM,IAAI,CAAA,IACrE,gBAAA,CAAiB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAK,CAAA;AAC9C,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,IAAA,EAAM,OAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,OAAO,CAAA;AAAA,IACpC,MAAM,YAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AAAA,IAC7C,QAAA,EAAU,aAAa,QAAA,GAAW;AAAA,GACpC;AACF;AAEA,SAAS,IAAA,CAAK,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAyC;AACrF,EAAA,MAAM,EAAE,QAAA,EAAS,GAAI,KAAA,CAAM,OAAA;AAC3B,EAAA,MAAM,OAAA,GAAU,SAAS,KAAK,CAAA;AAC9B,EAAA,MAAM,MAAA,GAAS,KAAA,KAAU,QAAA,CAAS,MAAA,GAAS,CAAA;AAC3C,EAAA,IAAI,KAAK,QAAA,EAAU;AACjB,IAAA,OAAO,IAAA,CAAK,MAAA,GACR,QAAA,CAAS,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA,GACrC,WAAA,CAAY,IAAA,EAAM,OAAA,EAAS,MAAA,EAAQ,KAAK,CAAA;AAAA,EAC9C;AACA,EAAA,IAAI,YAAY,QAAA,IAAY,eAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AACjE,IAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,IAAA,MAAM,MAAA,GAAS,YAAA,CAAa,KAAK,CAAA,GAAI,MAAM,MAAA,GAAS,MAAA;AAEpD,IAAA,MAAM,QAAA,GAAW,KAAK,QAAA,KAAa,QAAA,GAAW,WAAW,cAAA,CAAe,MAAA,EAAQ,MAAM,IAAI,CAAA;AAC1F,IAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAM,MAAA,EAAQ,QAAA,EAAU,MAAM,QAAA,EAAS;AAAA,EAC3D;AACA,EAAA,OAAO,eAAA,CAAgB,MAAM,OAAA,EAAS,KAAK,IAAI,IAAA,GAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACxF;AAGO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,IAAA,GAAO,WAAA,CAAY,OAAA,EAAS,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,MAAM,QAAA,GAAW,eAAe,OAAO,CAAA;AACvC,EAAA,IAAI,IAAA,GAAkB;AAAA,IACpB,IAAA,EAAM,OAAA;AAAA,MACJ,QAAA,CAAS,OAAA,CAAQ,WAAA,EAAa,KAAK,CAAA;AAAA,MACnC,GAAG,OAAA,CAAQ,QAAA,CAAS,MAAM,CAAA,EAAG,iBAAA,CAAkB,OAAO,CAAC;AAAA,KACzD;AAAA,IACA,IAAA;AAAA,IACA,QAAA;AAAA,IACA,MAAA,EAAQ,KAAA;AAAA,IACR,UAAU,QAAA,GAAW,cAAA,CAAe,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,GAAI;AAAA,GAC1D;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,kBAAkB,OAAO,CAAA,EAAG,QAAQ,OAAA,CAAQ,QAAA,CAAS,QAAQ,KAAA,EAAA,EAAS;AACrF,IAAA,MAAM,IAAA,GAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACpC,IAAA,IAAI,SAAS,IAAA,EAAM;AACjB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,KAAA,EAAM;AAAA,IAClC;AACA,IAAA,IAAA,GAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAK;AAC/B;;"}

package/dist/application/transform/ref-type.cjs

@@ -0,0 +1,62 @@
+'use strict';
+
+const errors = require('../../domain/errors.cjs');
+const constructors = require('../../domain/ir/constructors.cjs');
+const propertyName = require('../../domain/ir/property-name.cjs');
+const jsonPointer = require('../../domain/openapi/json-pointer.cjs');
+
+class InvalidRefError extends errors.OpenAPITypesafeError {
+  constructor(ref) {
+    super({
+      code: errors.ERROR_CODES.SCHEMA_REF_INVALID,
+      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,
+      details: { ref }
+    });
+    this.name = "InvalidRefError";
+  }
+}
+function indexBy(type, ...segments) {
+  return segments.reduce(
+    (object, segment) => constructors.irIndexedAccess(object, constructors.irString(segment, "escaped")),
+    type
+  );
+}
+function extractVariantsWith(type, propertyName$1) {
+  const probe = constructors.irProperty(propertyName.toPropertyName(propertyName$1), constructors.irKeyword("unknown"));
+  return constructors.irReference("Extract", [type, constructors.irObject([probe])]);
+}
+const DEFS_KEYWORD = "$defs";
+function indexKeyword(type, segment, isLast) {
+  const indexed = indexBy(type, segment);
+  return segment === DEFS_KEYWORD && !isLast ? constructors.irReference("NonNullable", [indexed]) : indexed;
+}
+function rootType(rootSegment, isDeep) {
+  return constructors.irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);
+}
+function refType(ref, options = {}) {
+  const [rootSegment, ...pointer] = jsonPointer.parseRefPointer(ref);
+  if (rootSegment === void 0) {
+    throw new InvalidRefError(ref);
+  }
+  const extracted = new Set(options.extractProperties ?? []);
+  const lastIndex = pointer.length - 1;
+  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));
+  return pointer.slice(2).reduce((type, segment, offset) => {
+    if (segment === "properties") {
+      return type;
+    }
+    if (options.parameter && offset + 2 === lastIndex) {
+      return indexBy(type, options.parameter.in, options.parameter.name);
+    }
+    const isLast = offset + 2 === lastIndex;
+    return extracted.has(segment) ? indexBy(extractVariantsWith(type, segment), segment) : indexKeyword(type, segment, isLast);
+  }, leading);
+}
+
+exports.InvalidRefError = InvalidRefError;
+exports.extractVariantsWith = extractVariantsWith;
+exports.indexBy = indexBy;
+exports.indexKeyword = indexKeyword;
+exports.refType = refType;
+exports.rootType = rootType;
+//# sourceMappingURL=ref-type.cjs.map

package/dist/application/transform/ref-type.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-type.cjs","sources":["../../../src/application/transform/ref-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../domain/errors.js\";\nimport {\n  irIndexedAccess,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n  irString,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../domain/ir/property-name.js\";\nimport { parseRefPointer } from \"../../domain/openapi/json-pointer.js\";\n\n/** Where a referenced parameter lives in the generated `parameters` type. */\nexport interface RefParameterTarget {\n  readonly in: string;\n  readonly name: string;\n}\n\nexport interface RefTypeOptions {\n  /** Wrap the root in `FlattenedDeepRequired<…>`. */\n  readonly isDeep?: boolean;\n  /** Segments to narrow with `Extract<T, { segment: unknown }>` before indexing. */\n  readonly extractProperties?: readonly string[];\n  /** Set when the `$ref` resolves to a parameter object: its last segment indexes `in`, `name`. */\n  readonly parameter?: RefParameterTarget | null;\n}\n\nexport class InvalidRefError extends OpenAPITypesafeError {\n  constructor(ref: string) {\n    super({\n      code: ERROR_CODES.SCHEMA_REF_INVALID,\n      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,\n      details: { ref },\n    });\n    this.name = \"InvalidRefError\";\n  }\n}\n\n/** Segments that index into the root type, always as escaped string literal types. */\nexport function indexBy(type: IrType, ...segments: readonly string[]): IrType {\n  return segments.reduce<IrType>(\n    (object, segment) => irIndexedAccess(object, irString(segment, \"escaped\")),\n    type,\n  );\n}\n\n/**\n * `Extract<T, { name: unknown }>`. The original wrote the name as an identifier even when it is\n * not one (`{ content-type: unknown }`), which is a syntax error; it is now quoted like any other\n * property name, and an identifier stays as it was.\n */\nexport function extractVariantsWith(type: IrType, propertyName: string): IrType {\n  const probe = irProperty(toPropertyName(propertyName), irKeyword(\"unknown\"));\n  return irReference(\"Extract\", [type, irObject([probe])]);\n}\n\nconst DEFS_KEYWORD = \"$defs\";\n\n/**\n * Index by `segment`. A `$defs` member is optional (it is a keyword, not data), so when more\n * segments follow it is wrapped in `NonNullable<…>` first; otherwise the next index fails on\n * `undefined` (upstream #2664).\n */\nexport function indexKeyword(type: IrType, segment: string, isLast: boolean): IrType {\n  const indexed = indexBy(type, segment);\n  return segment === DEFS_KEYWORD && !isLast ? irReference(\"NonNullable\", [indexed]) : indexed;\n}\n\nexport function rootType(rootSegment: string, isDeep: boolean): IrType {\n  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);\n}\n\n/**\n * The indexed-access type of a `$ref` into the generated types (the original `oapiRef`), for\n * example `components[\"schemas\"][\"Foo\"]`. The first three segments index directly. After them,\n * `properties` segments are skipped (objects are flattened, upstream issue 1742), a parameter's\n * last segment becomes `[in][name]`, and listed segments are narrowed with `Extract` first.\n *\n * Throws InvalidRefError when the `$ref` has no pointer.\n */\nexport function refType(ref: string, options: RefTypeOptions = {}): IrType {\n  const [rootSegment, ...pointer] = parseRefPointer(ref);\n  if (rootSegment === undefined) {\n    throw new InvalidRefError(ref);\n  }\n  const extracted = new Set(options.extractProperties ?? []);\n  const lastIndex = pointer.length - 1;\n  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));\n  return pointer.slice(2).reduce<IrType>((type, segment, offset) => {\n    if (segment === \"properties\") {\n      return type;\n    }\n    if (options.parameter && offset + 2 === lastIndex) {\n      return indexBy(type, options.parameter.in, options.parameter.name);\n    }\n    const isLast = offset + 2 === lastIndex;\n    return extracted.has(segment)\n      ? indexBy(extractVariantsWith(type, segment), segment)\n      : indexKeyword(type, segment, isLast);\n  }, leading);\n}\n"],"names":["OpenAPITypesafeError","ERROR_CODES","irIndexedAccess","irString","propertyName","irProperty","toPropertyName","irKeyword","irReference","irObject","parseRefPointer"],"mappings":";;;;;;;AA4BO,MAAM,wBAAwBA,2BAAA,CAAqB;AAAA,EACxD,YAAY,GAAA,EAAa;AACvB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAMC,kBAAA,CAAY,kBAAA;AAAA,MAClB,OAAA,EAAS,uBAAuB,GAAG,CAAA,uBAAA,CAAA;AAAA,MACnC,OAAA,EAAS,EAAE,GAAA;AAAI,KAChB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,iBAAA;AAAA,EACd;AACF;AAGO,SAAS,OAAA,CAAQ,SAAiB,QAAA,EAAqC;AAC5E,EAAA,OAAO,QAAA,CAAS,MAAA;AAAA,IACd,CAAC,QAAQ,OAAA,KAAYC,4BAAA,CAAgB,QAAQC,qBAAA,CAAS,OAAA,EAAS,SAAS,CAAC,CAAA;AAAA,IACzE;AAAA,GACF;AACF;AAOO,SAAS,mBAAA,CAAoB,MAAcC,cAAA,EAA8B;AAC9E,EAAA,MAAM,QAAQC,uBAAA,CAAWC,2BAAA,CAAeF,cAAY,CAAA,EAAGG,sBAAA,CAAU,SAAS,CAAC,CAAA;AAC3E,EAAA,OAAOC,wBAAA,CAAY,WAAW,CAAC,IAAA,EAAMC,sBAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzD;AAEA,MAAM,YAAA,GAAe,OAAA;AAOd,SAAS,YAAA,CAAa,IAAA,EAAc,OAAA,EAAiB,MAAA,EAAyB;AACnF,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACrC,EAAA,OAAO,OAAA,KAAY,gBAAgB,CAAC,MAAA,GAASD,yBAAY,aAAA,EAAe,CAAC,OAAO,CAAC,CAAA,GAAI,OAAA;AACvF;AAEO,SAAS,QAAA,CAAS,aAAqB,MAAA,EAAyB;AACrE,EAAA,OAAOA,wBAAA,CAAY,MAAA,GAAS,CAAA,sBAAA,EAAyB,WAAW,MAAM,WAAW,CAAA;AACnF;AAUO,SAAS,OAAA,CAAQ,GAAA,EAAa,OAAA,GAA0B,EAAC,EAAW;AACzE,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAIE,4BAAgB,GAAG,CAAA;AACrD,EAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,OAAA,CAAQ,iBAAA,IAAqB,EAAE,CAAA;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAA,GAAS,CAAA;AACnC,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,CAAQ,MAAA,IAAU,KAAK,CAAA,EAAG,GAAG,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA;AAC9F,EAAA,OAAO,OAAA,CAAQ,MAAM,CAAC,CAAA,CAAE,OAAe,CAAC,IAAA,EAAM,SAAS,MAAA,KAAW;AAChE,IAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,OAAA,CAAQ,SAAA,IAAa,MAAA,GAAS,CAAA,KAAM,SAAA,EAAW;AACjD,MAAA,OAAO,QAAQ,IAAA,EAAM,OAAA,CAAQ,UAAU,EAAA,EAAI,OAAA,CAAQ,UAAU,IAAI,CAAA;AAAA,IACnE;AACA,IAAA,MAAM,MAAA,GAAS,SAAS,CAAA,KAAM,SAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,OAAO,CAAA,GACxB,QAAQ,mBAAA,CAAoB,IAAA,EAAM,OAAO,CAAA,EAAG,OAAO,CAAA,GACnD,YAAA,CAAa,IAAA,EAAM,SAAS,MAAM,CAAA;AAAA,EACxC,GAAG,OAAO,CAAA;AACZ;;;;;;;"}

package/dist/application/transform/ref-type.mjs

@@ -0,0 +1,55 @@
+import { OpenAPITypesafeError, ERROR_CODES } from '../../domain/errors.mjs';
+import { irIndexedAccess, irReference, irProperty, irKeyword, irObject, irString } from '../../domain/ir/constructors.mjs';
+import { toPropertyName } from '../../domain/ir/property-name.mjs';
+import { parseRefPointer } from '../../domain/openapi/json-pointer.mjs';
+
+class InvalidRefError extends OpenAPITypesafeError {
+  constructor(ref) {
+    super({
+      code: ERROR_CODES.SCHEMA_REF_INVALID,
+      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,
+      details: { ref }
+    });
+    this.name = "InvalidRefError";
+  }
+}
+function indexBy(type, ...segments) {
+  return segments.reduce(
+    (object, segment) => irIndexedAccess(object, irString(segment, "escaped")),
+    type
+  );
+}
+function extractVariantsWith(type, propertyName) {
+  const probe = irProperty(toPropertyName(propertyName), irKeyword("unknown"));
+  return irReference("Extract", [type, irObject([probe])]);
+}
+const DEFS_KEYWORD = "$defs";
+function indexKeyword(type, segment, isLast) {
+  const indexed = indexBy(type, segment);
+  return segment === DEFS_KEYWORD && !isLast ? irReference("NonNullable", [indexed]) : indexed;
+}
+function rootType(rootSegment, isDeep) {
+  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);
+}
+function refType(ref, options = {}) {
+  const [rootSegment, ...pointer] = parseRefPointer(ref);
+  if (rootSegment === void 0) {
+    throw new InvalidRefError(ref);
+  }
+  const extracted = new Set(options.extractProperties ?? []);
+  const lastIndex = pointer.length - 1;
+  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));
+  return pointer.slice(2).reduce((type, segment, offset) => {
+    if (segment === "properties") {
+      return type;
+    }
+    if (options.parameter && offset + 2 === lastIndex) {
+      return indexBy(type, options.parameter.in, options.parameter.name);
+    }
+    const isLast = offset + 2 === lastIndex;
+    return extracted.has(segment) ? indexBy(extractVariantsWith(type, segment), segment) : indexKeyword(type, segment, isLast);
+  }, leading);
+}
+
+export { InvalidRefError, extractVariantsWith, indexBy, indexKeyword, refType, rootType };
+//# sourceMappingURL=ref-type.mjs.map

package/dist/application/transform/ref-type.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-type.mjs","sources":["../../../src/application/transform/ref-type.ts"],"sourcesContent":["import { ERROR_CODES, OpenAPITypesafeError } from \"../../domain/errors.js\";\nimport {\n  irIndexedAccess,\n  irKeyword,\n  irObject,\n  irProperty,\n  irReference,\n  irString,\n} from \"../../domain/ir/constructors.js\";\nimport type { IrType } from \"../../domain/ir/nodes.js\";\nimport { toPropertyName } from \"../../domain/ir/property-name.js\";\nimport { parseRefPointer } from \"../../domain/openapi/json-pointer.js\";\n\n/** Where a referenced parameter lives in the generated `parameters` type. */\nexport interface RefParameterTarget {\n  readonly in: string;\n  readonly name: string;\n}\n\nexport interface RefTypeOptions {\n  /** Wrap the root in `FlattenedDeepRequired<…>`. */\n  readonly isDeep?: boolean;\n  /** Segments to narrow with `Extract<T, { segment: unknown }>` before indexing. */\n  readonly extractProperties?: readonly string[];\n  /** Set when the `$ref` resolves to a parameter object: its last segment indexes `in`, `name`. */\n  readonly parameter?: RefParameterTarget | null;\n}\n\nexport class InvalidRefError extends OpenAPITypesafeError {\n  constructor(ref: string) {\n    super({\n      code: ERROR_CODES.SCHEMA_REF_INVALID,\n      message: `Error parsing $ref: ${ref}. Is this a valid $ref?`,\n      details: { ref },\n    });\n    this.name = \"InvalidRefError\";\n  }\n}\n\n/** Segments that index into the root type, always as escaped string literal types. */\nexport function indexBy(type: IrType, ...segments: readonly string[]): IrType {\n  return segments.reduce<IrType>(\n    (object, segment) => irIndexedAccess(object, irString(segment, \"escaped\")),\n    type,\n  );\n}\n\n/**\n * `Extract<T, { name: unknown }>`. The original wrote the name as an identifier even when it is\n * not one (`{ content-type: unknown }`), which is a syntax error; it is now quoted like any other\n * property name, and an identifier stays as it was.\n */\nexport function extractVariantsWith(type: IrType, propertyName: string): IrType {\n  const probe = irProperty(toPropertyName(propertyName), irKeyword(\"unknown\"));\n  return irReference(\"Extract\", [type, irObject([probe])]);\n}\n\nconst DEFS_KEYWORD = \"$defs\";\n\n/**\n * Index by `segment`. A `$defs` member is optional (it is a keyword, not data), so when more\n * segments follow it is wrapped in `NonNullable<…>` first; otherwise the next index fails on\n * `undefined` (upstream #2664).\n */\nexport function indexKeyword(type: IrType, segment: string, isLast: boolean): IrType {\n  const indexed = indexBy(type, segment);\n  return segment === DEFS_KEYWORD && !isLast ? irReference(\"NonNullable\", [indexed]) : indexed;\n}\n\nexport function rootType(rootSegment: string, isDeep: boolean): IrType {\n  return irReference(isDeep ? `FlattenedDeepRequired<${rootSegment}>` : rootSegment);\n}\n\n/**\n * The indexed-access type of a `$ref` into the generated types (the original `oapiRef`), for\n * example `components[\"schemas\"][\"Foo\"]`. The first three segments index directly. After them,\n * `properties` segments are skipped (objects are flattened, upstream issue 1742), a parameter's\n * last segment becomes `[in][name]`, and listed segments are narrowed with `Extract` first.\n *\n * Throws InvalidRefError when the `$ref` has no pointer.\n */\nexport function refType(ref: string, options: RefTypeOptions = {}): IrType {\n  const [rootSegment, ...pointer] = parseRefPointer(ref);\n  if (rootSegment === undefined) {\n    throw new InvalidRefError(ref);\n  }\n  const extracted = new Set(options.extractProperties ?? []);\n  const lastIndex = pointer.length - 1;\n  const leading = indexBy(rootType(rootSegment, options.isDeep ?? false), ...pointer.slice(0, 2));\n  return pointer.slice(2).reduce<IrType>((type, segment, offset) => {\n    if (segment === \"properties\") {\n      return type;\n    }\n    if (options.parameter && offset + 2 === lastIndex) {\n      return indexBy(type, options.parameter.in, options.parameter.name);\n    }\n    const isLast = offset + 2 === lastIndex;\n    return extracted.has(segment)\n      ? indexBy(extractVariantsWith(type, segment), segment)\n      : indexKeyword(type, segment, isLast);\n  }, leading);\n}\n"],"names":[],"mappings":";;;;;AA4BO,MAAM,wBAAwB,oBAAA,CAAqB;AAAA,EACxD,YAAY,GAAA,EAAa;AACvB,IAAA,KAAA,CAAM;AAAA,MACJ,MAAM,WAAA,CAAY,kBAAA;AAAA,MAClB,OAAA,EAAS,uBAAuB,GAAG,CAAA,uBAAA,CAAA;AAAA,MACnC,OAAA,EAAS,EAAE,GAAA;AAAI,KAChB,CAAA;AACD,IAAA,IAAA,CAAK,IAAA,GAAO,iBAAA;AAAA,EACd;AACF;AAGO,SAAS,OAAA,CAAQ,SAAiB,QAAA,EAAqC;AAC5E,EAAA,OAAO,QAAA,CAAS,MAAA;AAAA,IACd,CAAC,QAAQ,OAAA,KAAY,eAAA,CAAgB,QAAQ,QAAA,CAAS,OAAA,EAAS,SAAS,CAAC,CAAA;AAAA,IACzE;AAAA,GACF;AACF;AAOO,SAAS,mBAAA,CAAoB,MAAc,YAAA,EAA8B;AAC9E,EAAA,MAAM,QAAQ,UAAA,CAAW,cAAA,CAAe,YAAY,CAAA,EAAG,SAAA,CAAU,SAAS,CAAC,CAAA;AAC3E,EAAA,OAAO,WAAA,CAAY,WAAW,CAAC,IAAA,EAAM,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzD;AAEA,MAAM,YAAA,GAAe,OAAA;AAOd,SAAS,YAAA,CAAa,IAAA,EAAc,OAAA,EAAiB,MAAA,EAAyB;AACnF,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,IAAA,EAAM,OAAO,CAAA;AACrC,EAAA,OAAO,OAAA,KAAY,gBAAgB,CAAC,MAAA,GAAS,YAAY,aAAA,EAAe,CAAC,OAAO,CAAC,CAAA,GAAI,OAAA;AACvF;AAEO,SAAS,QAAA,CAAS,aAAqB,MAAA,EAAyB;AACrE,EAAA,OAAO,WAAA,CAAY,MAAA,GAAS,CAAA,sBAAA,EAAyB,WAAW,MAAM,WAAW,CAAA;AACnF;AAUO,SAAS,OAAA,CAAQ,GAAA,EAAa,OAAA,GAA0B,EAAC,EAAW;AACzE,EAAA,MAAM,CAAC,WAAA,EAAa,GAAG,OAAO,CAAA,GAAI,gBAAgB,GAAG,CAAA;AACrD,EAAA,IAAI,gBAAgB,MAAA,EAAW;AAC7B,IAAA,MAAM,IAAI,gBAAgB,GAAG,CAAA;AAAA,EAC/B;AACA,EAAA,MAAM,YAAY,IAAI,GAAA,CAAI,OAAA,CAAQ,iBAAA,IAAqB,EAAE,CAAA;AACzD,EAAA,MAAM,SAAA,GAAY,QAAQ,MAAA,GAAS,CAAA;AACnC,EAAA,MAAM,OAAA,GAAU,OAAA,CAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,CAAQ,MAAA,IAAU,KAAK,CAAA,EAAG,GAAG,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA;AAC9F,EAAA,OAAO,OAAA,CAAQ,MAAM,CAAC,CAAA,CAAE,OAAe,CAAC,IAAA,EAAM,SAAS,MAAA,KAAW;AAChE,IAAA,IAAI,YAAY,YAAA,EAAc;AAC5B,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,IAAI,OAAA,CAAQ,SAAA,IAAa,MAAA,GAAS,CAAA,KAAM,SAAA,EAAW;AACjD,MAAA,OAAO,QAAQ,IAAA,EAAM,OAAA,CAAQ,UAAU,EAAA,EAAI,OAAA,CAAQ,UAAU,IAAI,CAAA;AAAA,IACnE;AACA,IAAA,MAAM,MAAA,GAAS,SAAS,CAAA,KAAM,SAAA;AAC9B,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,OAAO,CAAA,GACxB,QAAQ,mBAAA,CAAoB,IAAA,EAAM,OAAO,CAAA,EAAG,OAAO,CAAA,GACnD,YAAA,CAAa,IAAA,EAAM,SAAS,MAAM,CAAA;AAAA,EACxC,GAAG,OAAO,CAAA;AACZ;;"}

package/dist/application/transform/schema/access-flags.cjs

@@ -0,0 +1,38 @@
+'use strict';
+
+const outputFixes = require('../../../domain/output-fixes.cjs');
+
+const NO_FLAGS = { isReadOnly: false, isWriteOnly: false };
+function ownFlags(schema) {
+  return { isReadOnly: Boolean(schema.readOnly), isWriteOnly: Boolean(schema.writeOnly) };
+}
+function merged(left, right) {
+  return {
+    isReadOnly: left.isReadOnly || right.isReadOnly,
+    isWriteOnly: left.isWriteOnly || right.isWriteOnly
+  };
+}
+function appliedFlags(schema, context, seen) {
+  if (typeof schema !== "object" || schema === null || seen.has(schema)) {
+    return NO_FLAGS;
+  }
+  const inner = /* @__PURE__ */ new Set([...seen, schema]);
+  const object = schema;
+  const target = typeof object.$ref === "string" ? context.refs.resolve(object.$ref) : void 0;
+  return (object.allOf ?? []).reduce(
+    (flags, member) => merged(flags, appliedFlags(member, context, inner)),
+    merged(ownFlags(object), appliedFlags(target, context, inner))
+  );
+}
+function propertyAccessFlags(value, context) {
+  if (typeof value !== "object") {
+    return NO_FLAGS;
+  }
+  if (!context.options.fixes.has(outputFixes.OutputFix.READ_WRITE_REFS)) {
+    return ownFlags(value);
+  }
+  return appliedFlags(value, context, /* @__PURE__ */ new Set());
+}
+
+exports.propertyAccessFlags = propertyAccessFlags;
+//# sourceMappingURL=access-flags.cjs.map

package/dist/application/transform/schema/access-flags.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-flags.cjs","sources":["../../../../src/application/transform/schema/access-flags.ts"],"sourcesContent":["import type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext } from \"./schema-context.js\";\n\n/** Whether a property is `readOnly` or `writeOnly` (JSON Schema 2020-12 Validation §9.4). */\nexport interface AccessFlags {\n  readonly isReadOnly: boolean;\n  readonly isWriteOnly: boolean;\n}\n\nconst NO_FLAGS: AccessFlags = { isReadOnly: false, isWriteOnly: false };\n\nfunction ownFlags(schema: SchemaObject): AccessFlags {\n  return { isReadOnly: Boolean(schema.readOnly), isWriteOnly: Boolean(schema.writeOnly) };\n}\n\nfunction merged(left: AccessFlags, right: AccessFlags): AccessFlags {\n  return {\n    isReadOnly: left.isReadOnly || right.isReadOnly,\n    isWriteOnly: left.isWriteOnly || right.isWriteOnly,\n  };\n}\n\n/**\n * The flags of a schema and of the schemas that always apply to the same value: the one its\n * `$ref` names and its `allOf` members, followed until a schema repeats. `readOnly` is an\n * annotation, and the annotations of those schemas are the value's (2020-12 Core §7.7.1); in\n * OpenAPI 3.0 a referenced schema is the property's definition. `anyOf` and `oneOf` members apply\n * only when they match, which the type cannot tell, so they are not read.\n */\nfunction appliedFlags(\n  schema: Schema | undefined,\n  context: SchemaContext,\n  seen: ReadonlySet<Schema>,\n): AccessFlags {\n  if (typeof schema !== \"object\" || schema === null || seen.has(schema)) {\n    return NO_FLAGS;\n  }\n  const inner = new Set([...seen, schema]);\n  // `readOnly` next to a `$ref` is read too, as the generator always has.\n  const object = schema as SchemaObject & { readonly $ref?: unknown };\n  const target =\n    typeof object.$ref === \"string\" ? (context.refs.resolve(object.$ref) as Schema) : undefined;\n  return (object.allOf ?? []).reduce<AccessFlags>(\n    (flags, member) => merged(flags, appliedFlags(member, context, inner)),\n    merged(ownFlags(object), appliedFlags(target, context, inner)),\n  );\n}\n\n/**\n * The flags of a property schema. Without the `read-write-refs` fix only the keywords written on\n * it count, as in openapi-typescript; with it, also those of the schemas its `$ref` and `allOf`\n * apply (upstream #1938).\n */\nexport function propertyAccessFlags(value: Schema, context: SchemaContext): AccessFlags {\n  if (typeof value !== \"object\") {\n    return NO_FLAGS;\n  }\n  if (!context.options.fixes.has(OutputFix.READ_WRITE_REFS)) {\n    return ownFlags(value as SchemaObject);\n  }\n  return appliedFlags(value, context, new Set());\n}\n"],"names":["OutputFix"],"mappings":";;;;AAUA,MAAM,QAAA,GAAwB,EAAE,UAAA,EAAY,KAAA,EAAO,aAAa,KAAA,EAAM;AAEtE,SAAS,SAAS,MAAA,EAAmC;AACnD,EAAA,OAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,MAAA,CAAO,QAAQ,GAAG,WAAA,EAAa,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAA,EAAE;AACxF;AAEA,SAAS,MAAA,CAAO,MAAmB,KAAA,EAAiC;AAClE,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,IAAA,CAAK,UAAA,IAAc,KAAA,CAAM,UAAA;AAAA,IACrC,WAAA,EAAa,IAAA,CAAK,WAAA,IAAe,KAAA,CAAM;AAAA,GACzC;AACF;AASA,SAAS,YAAA,CACP,MAAA,EACA,OAAA,EACA,IAAA,EACa;AACb,EAAA,IAAI,OAAO,WAAW,QAAA,IAAY,MAAA,KAAW,QAAQ,IAAA,CAAK,GAAA,CAAI,MAAM,CAAA,EAAG;AACrE,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,MAAM,wBAAQ,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAEvC,EAAA,MAAM,MAAA,GAAS,MAAA;AACf,EAAA,MAAM,MAAA,GACJ,OAAO,MAAA,CAAO,IAAA,KAAS,QAAA,GAAY,QAAQ,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA,GAAe,MAAA;AACpF,EAAA,OAAA,CAAQ,MAAA,CAAO,KAAA,IAAS,EAAC,EAAG,MAAA;AAAA,IAC1B,CAAC,OAAO,MAAA,KAAW,MAAA,CAAO,OAAO,YAAA,CAAa,MAAA,EAAQ,OAAA,EAAS,KAAK,CAAC,CAAA;AAAA,IACrE,MAAA,CAAO,SAAS,MAAM,CAAA,EAAG,aAAa,MAAA,EAAQ,OAAA,EAAS,KAAK,CAAC;AAAA,GAC/D;AACF;AAOO,SAAS,mBAAA,CAAoB,OAAe,OAAA,EAAqC;AACtF,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,MAAM,GAAA,CAAIA,qBAAA,CAAU,eAAe,CAAA,EAAG;AACzD,IAAA,OAAO,SAAS,KAAqB,CAAA;AAAA,EACvC;AACA,EAAA,OAAO,YAAA,CAAa,KAAA,EAAO,OAAA,kBAAS,IAAI,KAAK,CAAA;AAC/C;;"}

package/dist/application/transform/schema/access-flags.mjs

@@ -0,0 +1,36 @@
+import { OutputFix } from '../../../domain/output-fixes.mjs';
+
+const NO_FLAGS = { isReadOnly: false, isWriteOnly: false };
+function ownFlags(schema) {
+  return { isReadOnly: Boolean(schema.readOnly), isWriteOnly: Boolean(schema.writeOnly) };
+}
+function merged(left, right) {
+  return {
+    isReadOnly: left.isReadOnly || right.isReadOnly,
+    isWriteOnly: left.isWriteOnly || right.isWriteOnly
+  };
+}
+function appliedFlags(schema, context, seen) {
+  if (typeof schema !== "object" || schema === null || seen.has(schema)) {
+    return NO_FLAGS;
+  }
+  const inner = /* @__PURE__ */ new Set([...seen, schema]);
+  const object = schema;
+  const target = typeof object.$ref === "string" ? context.refs.resolve(object.$ref) : void 0;
+  return (object.allOf ?? []).reduce(
+    (flags, member) => merged(flags, appliedFlags(member, context, inner)),
+    merged(ownFlags(object), appliedFlags(target, context, inner))
+  );
+}
+function propertyAccessFlags(value, context) {
+  if (typeof value !== "object") {
+    return NO_FLAGS;
+  }
+  if (!context.options.fixes.has(OutputFix.READ_WRITE_REFS)) {
+    return ownFlags(value);
+  }
+  return appliedFlags(value, context, /* @__PURE__ */ new Set());
+}
+
+export { propertyAccessFlags };
+//# sourceMappingURL=access-flags.mjs.map

package/dist/application/transform/schema/access-flags.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-flags.mjs","sources":["../../../../src/application/transform/schema/access-flags.ts"],"sourcesContent":["import type { Schema, SchemaObject } from \"../../../domain/openapi/schema-object.js\";\nimport { OutputFix } from \"../../../domain/output-fixes.js\";\nimport type { SchemaContext } from \"./schema-context.js\";\n\n/** Whether a property is `readOnly` or `writeOnly` (JSON Schema 2020-12 Validation §9.4). */\nexport interface AccessFlags {\n  readonly isReadOnly: boolean;\n  readonly isWriteOnly: boolean;\n}\n\nconst NO_FLAGS: AccessFlags = { isReadOnly: false, isWriteOnly: false };\n\nfunction ownFlags(schema: SchemaObject): AccessFlags {\n  return { isReadOnly: Boolean(schema.readOnly), isWriteOnly: Boolean(schema.writeOnly) };\n}\n\nfunction merged(left: AccessFlags, right: AccessFlags): AccessFlags {\n  return {\n    isReadOnly: left.isReadOnly || right.isReadOnly,\n    isWriteOnly: left.isWriteOnly || right.isWriteOnly,\n  };\n}\n\n/**\n * The flags of a schema and of the schemas that always apply to the same value: the one its\n * `$ref` names and its `allOf` members, followed until a schema repeats. `readOnly` is an\n * annotation, and the annotations of those schemas are the value's (2020-12 Core §7.7.1); in\n * OpenAPI 3.0 a referenced schema is the property's definition. `anyOf` and `oneOf` members apply\n * only when they match, which the type cannot tell, so they are not read.\n */\nfunction appliedFlags(\n  schema: Schema | undefined,\n  context: SchemaContext,\n  seen: ReadonlySet<Schema>,\n): AccessFlags {\n  if (typeof schema !== \"object\" || schema === null || seen.has(schema)) {\n    return NO_FLAGS;\n  }\n  const inner = new Set([...seen, schema]);\n  // `readOnly` next to a `$ref` is read too, as the generator always has.\n  const object = schema as SchemaObject & { readonly $ref?: unknown };\n  const target =\n    typeof object.$ref === \"string\" ? (context.refs.resolve(object.$ref) as Schema) : undefined;\n  return (object.allOf ?? []).reduce<AccessFlags>(\n    (flags, member) => merged(flags, appliedFlags(member, context, inner)),\n    merged(ownFlags(object), appliedFlags(target, context, inner)),\n  );\n}\n\n/**\n * The flags of a property schema. Without the `read-write-refs` fix only the keywords written on\n * it count, as in openapi-typescript; with it, also those of the schemas its `$ref` and `allOf`\n * apply (upstream #1938).\n */\nexport function propertyAccessFlags(value: Schema, context: SchemaContext): AccessFlags {\n  if (typeof value !== \"object\") {\n    return NO_FLAGS;\n  }\n  if (!context.options.fixes.has(OutputFix.READ_WRITE_REFS)) {\n    return ownFlags(value as SchemaObject);\n  }\n  return appliedFlags(value, context, new Set());\n}\n"],"names":[],"mappings":";;AAUA,MAAM,QAAA,GAAwB,EAAE,UAAA,EAAY,KAAA,EAAO,aAAa,KAAA,EAAM;AAEtE,SAAS,SAAS,MAAA,EAAmC;AACnD,EAAA,OAAO,EAAE,UAAA,EAAY,OAAA,CAAQ,MAAA,CAAO,QAAQ,GAAG,WAAA,EAAa,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAA,EAAE;AACxF;AAEA,SAAS,MAAA,CAAO,MAAmB,KAAA,EAAiC;AAClE,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,IAAA,CAAK,UAAA,IAAc,KAAA,CAAM,UAAA;AAAA,IACrC,WAAA,EAAa,IAAA,CAAK,WAAA,IAAe,KAAA,CAAM;AAAA,GACzC;AACF;AASA,SAAS,YAAA,CACP,MAAA,EACA,OAAA,EACA,IAAA,EACa;AACb,EAAA,IAAI,OAAO,WAAW,QAAA,IAAY,MAAA,KAAW,QAAQ,IAAA,CAAK,GAAA,CAAI,MAAM,CAAA,EAAG;AACrE,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,MAAM,wBAAQ,IAAI,GAAA,CAAI,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAEvC,EAAA,MAAM,MAAA,GAAS,MAAA;AACf,EAAA,MAAM,MAAA,GACJ,OAAO,MAAA,CAAO,IAAA,KAAS,QAAA,GAAY,QAAQ,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,IAAI,CAAA,GAAe,MAAA;AACpF,EAAA,OAAA,CAAQ,MAAA,CAAO,KAAA,IAAS,EAAC,EAAG,MAAA;AAAA,IAC1B,CAAC,OAAO,MAAA,KAAW,MAAA,CAAO,OAAO,YAAA,CAAa,MAAA,EAAQ,OAAA,EAAS,KAAK,CAAC,CAAA;AAAA,IACrE,MAAA,CAAO,SAAS,MAAM,CAAA,EAAG,aAAa,MAAA,EAAQ,OAAA,EAAS,KAAK,CAAC;AAAA,GAC/D;AACF;AAOO,SAAS,mBAAA,CAAoB,OAAe,OAAA,EAAqC;AACtF,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,IAAI,CAAC,OAAA,CAAQ,OAAA,CAAQ,MAAM,GAAA,CAAI,SAAA,CAAU,eAAe,CAAA,EAAG;AACzD,IAAA,OAAO,SAAS,KAAqB,CAAA;AAAA,EACvC;AACA,EAAA,OAAO,YAAA,CAAa,KAAA,EAAO,OAAA,kBAAS,IAAI,KAAK,CAAA;AAC/C;;"}