openapi-typesafe 1.0.0-rc.3 → 1.0.0-rc.5

package/dist/application/transform/ref-pointer/property-shape.cjs

@@ -0,0 +1,52 @@
+'use strict';
+
+const accessFlags = require('../schema/access-flags.cjs');
+const inputLocation = require('../schema/input-location.cjs');
+const locatedNode = require('./located-node.cjs');
+
+function isNullableSchema(node) {
+  if (!locatedNode.isJsonObject(node)) {
+    return false;
+  }
+  return node.nullable === true || Array.isArray(node.type) && node.type.includes("null");
+}
+function isOptionalProperty(owner, key, options) {
+  const { node } = owner;
+  const required = Array.isArray(node.required) ? node.required : void 0;
+  const property = node.properties[key];
+  const hasDefault = locatedNode.isJsonObject(property) && property.default !== void 0;
+  const isDefaultRequired = hasDefault && options.defaultNonNullable && !inputLocation.isInputLocation(owner.location, options.fixes);
+  const isRequired = required?.includes(key) === true || required === void 0 && options.propertiesRequiredByDefault || isDefaultRequired;
+  return !isRequired;
+}
+function isExcludedProperty(property, options, refs) {
+  const resolved = locatedNode.followRefs(property, refs);
+  return options.excludeDeprecated && locatedNode.isJsonObject(resolved) && Boolean(resolved.deprecated);
+}
+function isMarkedProperty(value, options, refs) {
+  if (!options.readWriteMarkers || !locatedNode.isJsonObject(value)) {
+    return false;
+  }
+  const flags = accessFlags.propertyAccessFlags(value, { options, refs });
+  return flags.isReadOnly !== flags.isWriteOnly;
+}
+function schemaPresence(schema, refs) {
+  return isNullableSchema(locatedNode.followRefs(schema, refs)) ? "absent" : "present";
+}
+function propertyPresence(schema, key, options, refs) {
+  const owner = locatedNode.followLocated(schema, refs);
+  const { node } = owner;
+  const properties = locatedNode.isJsonObject(node) && locatedNode.isJsonObject(node.properties) ? node.properties : {};
+  if (!locatedNode.isJsonObject(node) || !Object.hasOwn(properties, key)) {
+    return "unknown";
+  }
+  return isOptionalProperty({ ...owner, node }, key, options) ? "absent" : schemaPresence(properties[key], refs);
+}
+
+exports.isExcludedProperty = isExcludedProperty;
+exports.isMarkedProperty = isMarkedProperty;
+exports.isNullableSchema = isNullableSchema;
+exports.isOptionalProperty = isOptionalProperty;
+exports.propertyPresence = propertyPresence;
+exports.schemaPresence = schemaPresence;
+//# sourceMappingURL=property-shape.cjs.map

package/dist/application/transform/ref-pointer/property-shape.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-shape.cjs","sources":["../../../../src/application/transform/ref-pointer/property-shape.ts"],"sourcesContent":["import type { Schema } from \"../../../domain/openapi/schema-object.js\";\nimport { propertyAccessFlags } from \"../schema/access-flags.js\";\nimport { isInputLocation } from \"../schema/input-location.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  followLocated,\n  followRefs,\n  isJsonObject,\n  type JsonObject,\n  type LocatedNode,\n} from \"./located-node.js\";\n\n/**\n * What the generated type of an object schema makes of one of its properties: optional, left\n * out, wrapped in a read or write marker, or a value that may be `undefined` or `null`.\n */\n\n/** `nullable: true` or a `type` list with `null`: the generated type includes `null`. */\nexport function isNullableSchema(node: unknown): boolean {\n  if (!isJsonObject(node)) {\n    return false;\n  }\n  return node.nullable === true || (Array.isArray(node.type) && node.type.includes(\"null\"));\n}\n\n/**\n * Whether the generated type has the property as optional, as `objectType` decides: a `default`\n * makes a property required except in an input location, where the client may leave it out.\n */\nexport function isOptionalProperty(\n  owner: LocatedNode & { node: JsonObject },\n  key: string,\n  options: SchemaOptions,\n): boolean {\n  const { node } = owner;\n  const required = Array.isArray(node.required) ? node.required : undefined;\n  const property = (node.properties as JsonObject)[key];\n  const hasDefault = isJsonObject(property) && property.default !== undefined;\n  const isDefaultRequired =\n    hasDefault && options.defaultNonNullable && !isInputLocation(owner.location, options.fixes);\n  const isRequired =\n    required?.includes(key) === true ||\n    (required === undefined && options.propertiesRequiredByDefault) ||\n    isDefaultRequired;\n  return !isRequired;\n}\n\n/**\n * Whether `--exclude-deprecated` leaves the property out: its object, or the one its `$ref`\n * names, is deprecated (`objectType`). The key is then not in the generated type at all.\n */\nexport function isExcludedProperty(\n  property: unknown,\n  options: SchemaOptions,\n  refs: RefResolver,\n): boolean {\n  const resolved = followRefs(property, refs);\n  return options.excludeDeprecated && isJsonObject(resolved) && Boolean(resolved.deprecated);\n}\n\n/**\n * Whether `--read-write-markers` wraps the type of a property or `$defs` member: one that is only\n * `readOnly` or only `writeOnly` is `$Read<T>` or `$Write<T>` (object-type.ts).\n */\nexport function isMarkedProperty(value: unknown, options: SchemaOptions, refs: RefResolver) {\n  if (!options.readWriteMarkers || !isJsonObject(value)) {\n    return false;\n  }\n  const flags = propertyAccessFlags(value as Schema, { options, refs });\n  return flags.isReadOnly !== flags.isWriteOnly;\n}\n\n/** Whether a value is there: `present`, `absent` (may be `undefined` or `null`) or `unknown`. */\nexport type Presence = \"present\" | \"absent\" | \"unknown\";\n\n/** The presence of a value of `schema` itself: `absent` when its type includes `null`. */\nexport function schemaPresence(schema: unknown, refs: RefResolver): Presence {\n  return isNullableSchema(followRefs(schema, refs)) ? \"absent\" : \"present\";\n}\n\n/** The presence of property `key` of `schema`: optional or nullable is `absent`. */\nexport function propertyPresence(\n  schema: LocatedNode,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): Presence {\n  const owner = followLocated(schema, refs);\n  const { node } = owner;\n  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};\n  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {\n    return \"unknown\";\n  }\n  return isOptionalProperty({ ...owner, node }, key, options)\n    ? \"absent\"\n    : schemaPresence(properties[key], refs);\n}\n"],"names":["isJsonObject","isInputLocation","followRefs","propertyAccessFlags","followLocated"],"mappings":";;;;;;AAkBO,SAAS,iBAAiB,IAAA,EAAwB;AACvD,EAAA,IAAI,CAACA,wBAAA,CAAa,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,IAAA,IAAS,KAAA,CAAM,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA,IAAK,IAAA,CAAK,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA;AACzF;AAMO,SAAS,kBAAA,CACd,KAAA,EACA,GAAA,EACA,OAAA,EACS;AACT,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,QAAQ,CAAA,GAAI,KAAK,QAAA,GAAW,MAAA;AAChE,EAAA,MAAM,QAAA,GAAY,IAAA,CAAK,UAAA,CAA0B,GAAG,CAAA;AACpD,EAAA,MAAM,UAAA,GAAaA,wBAAA,CAAa,QAAQ,CAAA,IAAK,SAAS,OAAA,KAAY,MAAA;AAClE,EAAA,MAAM,iBAAA,GACJ,cAAc,OAAA,CAAQ,kBAAA,IAAsB,CAACC,6BAAA,CAAgB,KAAA,CAAM,QAAA,EAAU,OAAA,CAAQ,KAAK,CAAA;AAC5F,EAAA,MAAM,UAAA,GACJ,UAAU,QAAA,CAAS,GAAG,MAAM,IAAA,IAC3B,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IACnC,iBAAA;AACF,EAAA,OAAO,CAAC,UAAA;AACV;AAMO,SAAS,kBAAA,CACd,QAAA,EACA,OAAA,EACA,IAAA,EACS;AACT,EAAA,MAAM,QAAA,GAAWC,sBAAA,CAAW,QAAA,EAAU,IAAI,CAAA;AAC1C,EAAA,OAAO,QAAQ,iBAAA,IAAqBF,wBAAA,CAAa,QAAQ,CAAA,IAAK,OAAA,CAAQ,SAAS,UAAU,CAAA;AAC3F;AAMO,SAAS,gBAAA,CAAiB,KAAA,EAAgB,OAAA,EAAwB,IAAA,EAAmB;AAC1F,EAAA,IAAI,CAAC,OAAA,CAAQ,gBAAA,IAAoB,CAACA,wBAAA,CAAa,KAAK,CAAA,EAAG;AACrD,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAQG,+BAAA,CAAoB,KAAA,EAAiB,EAAE,OAAA,EAAS,MAAM,CAAA;AACpE,EAAA,OAAO,KAAA,CAAM,eAAe,KAAA,CAAM,WAAA;AACpC;AAMO,SAAS,cAAA,CAAe,QAAiB,IAAA,EAA6B;AAC3E,EAAA,OAAO,iBAAiBD,sBAAA,CAAW,MAAA,EAAQ,IAAI,CAAC,IAAI,QAAA,GAAW,SAAA;AACjE;AAGO,SAAS,gBAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACU;AACV,EAAA,MAAM,KAAA,GAAQE,yBAAA,CAAc,MAAA,EAAQ,IAAI,CAAA;AACxC,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,UAAA,GAAaJ,wBAAA,CAAa,IAAI,CAAA,IAAKA,wBAAA,CAAa,KAAK,UAAU,CAAA,GAAI,IAAA,CAAK,UAAA,GAAa,EAAC;AAC5F,EAAA,IAAI,CAACA,yBAAa,IAAI,CAAA,IAAK,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AAC1D,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO,kBAAA,CAAmB,EAAE,GAAG,KAAA,EAAO,MAAK,EAAG,GAAA,EAAK,OAAO,CAAA,GACtD,QAAA,GACA,cAAA,CAAe,UAAA,CAAW,GAAG,GAAG,IAAI,CAAA;AAC1C;;;;;;;"}

package/dist/application/transform/ref-pointer/property-shape.mjs

@@ -0,0 +1,45 @@
+import { propertyAccessFlags } from '../schema/access-flags.mjs';
+import { isInputLocation } from '../schema/input-location.mjs';
+import { followRefs, isJsonObject, followLocated } from './located-node.mjs';
+
+function isNullableSchema(node) {
+  if (!isJsonObject(node)) {
+    return false;
+  }
+  return node.nullable === true || Array.isArray(node.type) && node.type.includes("null");
+}
+function isOptionalProperty(owner, key, options) {
+  const { node } = owner;
+  const required = Array.isArray(node.required) ? node.required : void 0;
+  const property = node.properties[key];
+  const hasDefault = isJsonObject(property) && property.default !== void 0;
+  const isDefaultRequired = hasDefault && options.defaultNonNullable && !isInputLocation(owner.location, options.fixes);
+  const isRequired = required?.includes(key) === true || required === void 0 && options.propertiesRequiredByDefault || isDefaultRequired;
+  return !isRequired;
+}
+function isExcludedProperty(property, options, refs) {
+  const resolved = followRefs(property, refs);
+  return options.excludeDeprecated && isJsonObject(resolved) && Boolean(resolved.deprecated);
+}
+function isMarkedProperty(value, options, refs) {
+  if (!options.readWriteMarkers || !isJsonObject(value)) {
+    return false;
+  }
+  const flags = propertyAccessFlags(value, { options, refs });
+  return flags.isReadOnly !== flags.isWriteOnly;
+}
+function schemaPresence(schema, refs) {
+  return isNullableSchema(followRefs(schema, refs)) ? "absent" : "present";
+}
+function propertyPresence(schema, key, options, refs) {
+  const owner = followLocated(schema, refs);
+  const { node } = owner;
+  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};
+  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {
+    return "unknown";
+  }
+  return isOptionalProperty({ ...owner, node }, key, options) ? "absent" : schemaPresence(properties[key], refs);
+}
+
+export { isExcludedProperty, isMarkedProperty, isNullableSchema, isOptionalProperty, propertyPresence, schemaPresence };
+//# sourceMappingURL=property-shape.mjs.map

package/dist/application/transform/ref-pointer/property-shape.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-shape.mjs","sources":["../../../../src/application/transform/ref-pointer/property-shape.ts"],"sourcesContent":["import type { Schema } from \"../../../domain/openapi/schema-object.js\";\nimport { propertyAccessFlags } from \"../schema/access-flags.js\";\nimport { isInputLocation } from \"../schema/input-location.js\";\nimport type { RefResolver, SchemaOptions } from \"../schema/schema-context.js\";\nimport {\n  followLocated,\n  followRefs,\n  isJsonObject,\n  type JsonObject,\n  type LocatedNode,\n} from \"./located-node.js\";\n\n/**\n * What the generated type of an object schema makes of one of its properties: optional, left\n * out, wrapped in a read or write marker, or a value that may be `undefined` or `null`.\n */\n\n/** `nullable: true` or a `type` list with `null`: the generated type includes `null`. */\nexport function isNullableSchema(node: unknown): boolean {\n  if (!isJsonObject(node)) {\n    return false;\n  }\n  return node.nullable === true || (Array.isArray(node.type) && node.type.includes(\"null\"));\n}\n\n/**\n * Whether the generated type has the property as optional, as `objectType` decides: a `default`\n * makes a property required except in an input location, where the client may leave it out.\n */\nexport function isOptionalProperty(\n  owner: LocatedNode & { node: JsonObject },\n  key: string,\n  options: SchemaOptions,\n): boolean {\n  const { node } = owner;\n  const required = Array.isArray(node.required) ? node.required : undefined;\n  const property = (node.properties as JsonObject)[key];\n  const hasDefault = isJsonObject(property) && property.default !== undefined;\n  const isDefaultRequired =\n    hasDefault && options.defaultNonNullable && !isInputLocation(owner.location, options.fixes);\n  const isRequired =\n    required?.includes(key) === true ||\n    (required === undefined && options.propertiesRequiredByDefault) ||\n    isDefaultRequired;\n  return !isRequired;\n}\n\n/**\n * Whether `--exclude-deprecated` leaves the property out: its object, or the one its `$ref`\n * names, is deprecated (`objectType`). The key is then not in the generated type at all.\n */\nexport function isExcludedProperty(\n  property: unknown,\n  options: SchemaOptions,\n  refs: RefResolver,\n): boolean {\n  const resolved = followRefs(property, refs);\n  return options.excludeDeprecated && isJsonObject(resolved) && Boolean(resolved.deprecated);\n}\n\n/**\n * Whether `--read-write-markers` wraps the type of a property or `$defs` member: one that is only\n * `readOnly` or only `writeOnly` is `$Read<T>` or `$Write<T>` (object-type.ts).\n */\nexport function isMarkedProperty(value: unknown, options: SchemaOptions, refs: RefResolver) {\n  if (!options.readWriteMarkers || !isJsonObject(value)) {\n    return false;\n  }\n  const flags = propertyAccessFlags(value as Schema, { options, refs });\n  return flags.isReadOnly !== flags.isWriteOnly;\n}\n\n/** Whether a value is there: `present`, `absent` (may be `undefined` or `null`) or `unknown`. */\nexport type Presence = \"present\" | \"absent\" | \"unknown\";\n\n/** The presence of a value of `schema` itself: `absent` when its type includes `null`. */\nexport function schemaPresence(schema: unknown, refs: RefResolver): Presence {\n  return isNullableSchema(followRefs(schema, refs)) ? \"absent\" : \"present\";\n}\n\n/** The presence of property `key` of `schema`: optional or nullable is `absent`. */\nexport function propertyPresence(\n  schema: LocatedNode,\n  key: string,\n  options: SchemaOptions,\n  refs: RefResolver,\n): Presence {\n  const owner = followLocated(schema, refs);\n  const { node } = owner;\n  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};\n  if (!isJsonObject(node) || !Object.hasOwn(properties, key)) {\n    return \"unknown\";\n  }\n  return isOptionalProperty({ ...owner, node }, key, options)\n    ? \"absent\"\n    : schemaPresence(properties[key], refs);\n}\n"],"names":[],"mappings":";;;;AAkBO,SAAS,iBAAiB,IAAA,EAAwB;AACvD,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA,CAAK,QAAA,KAAa,IAAA,IAAS,KAAA,CAAM,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA,IAAK,IAAA,CAAK,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA;AACzF;AAMO,SAAS,kBAAA,CACd,KAAA,EACA,GAAA,EACA,OAAA,EACS;AACT,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,WAAW,KAAA,CAAM,OAAA,CAAQ,KAAK,QAAQ,CAAA,GAAI,KAAK,QAAA,GAAW,MAAA;AAChE,EAAA,MAAM,QAAA,GAAY,IAAA,CAAK,UAAA,CAA0B,GAAG,CAAA;AACpD,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,QAAQ,CAAA,IAAK,SAAS,OAAA,KAAY,MAAA;AAClE,EAAA,MAAM,iBAAA,GACJ,cAAc,OAAA,CAAQ,kBAAA,IAAsB,CAAC,eAAA,CAAgB,KAAA,CAAM,QAAA,EAAU,OAAA,CAAQ,KAAK,CAAA;AAC5F,EAAA,MAAM,UAAA,GACJ,UAAU,QAAA,CAAS,GAAG,MAAM,IAAA,IAC3B,QAAA,KAAa,MAAA,IAAa,OAAA,CAAQ,2BAAA,IACnC,iBAAA;AACF,EAAA,OAAO,CAAC,UAAA;AACV;AAMO,SAAS,kBAAA,CACd,QAAA,EACA,OAAA,EACA,IAAA,EACS;AACT,EAAA,MAAM,QAAA,GAAW,UAAA,CAAW,QAAA,EAAU,IAAI,CAAA;AAC1C,EAAA,OAAO,QAAQ,iBAAA,IAAqB,YAAA,CAAa,QAAQ,CAAA,IAAK,OAAA,CAAQ,SAAS,UAAU,CAAA;AAC3F;AAMO,SAAS,gBAAA,CAAiB,KAAA,EAAgB,OAAA,EAAwB,IAAA,EAAmB;AAC1F,EAAA,IAAI,CAAC,OAAA,CAAQ,gBAAA,IAAoB,CAAC,YAAA,CAAa,KAAK,CAAA,EAAG;AACrD,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAQ,mBAAA,CAAoB,KAAA,EAAiB,EAAE,OAAA,EAAS,MAAM,CAAA;AACpE,EAAA,OAAO,KAAA,CAAM,eAAe,KAAA,CAAM,WAAA;AACpC;AAMO,SAAS,cAAA,CAAe,QAAiB,IAAA,EAA6B;AAC3E,EAAA,OAAO,iBAAiB,UAAA,CAAW,MAAA,EAAQ,IAAI,CAAC,IAAI,QAAA,GAAW,SAAA;AACjE;AAGO,SAAS,gBAAA,CACd,MAAA,EACA,GAAA,EACA,OAAA,EACA,IAAA,EACU;AACV,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,EAAQ,IAAI,CAAA;AACxC,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,IAAI,CAAA,IAAK,YAAA,CAAa,KAAK,UAAU,CAAA,GAAI,IAAA,CAAK,UAAA,GAAa,EAAC;AAC5F,EAAA,IAAI,CAAC,aAAa,IAAI,CAAA,IAAK,CAAC,MAAA,CAAO,MAAA,CAAO,UAAA,EAAY,GAAG,CAAA,EAAG;AAC1D,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO,kBAAA,CAAmB,EAAE,GAAG,KAAA,EAAO,MAAK,EAAG,GAAA,EAAK,OAAO,CAAA,GACtD,QAAA,GACA,cAAA,CAAe,UAAA,CAAW,GAAG,GAAG,IAAI,CAAA;AAC1C;;"}

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

@@ -3,40 +3,56 @@
 const constructors = require('../../../domain/ir/constructors.cjs');
 const refType = require('../ref-type.cjs');
 const generatedShape = require('./generated-shape.cjs');
+const locatedNode = require('./located-node.cjs');
 const pointerWalk = require('./pointer-walk.cjs');
+const propertyShape = require('./property-shape.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;
+  const owner = locatedNode.followLocated(walk, refs);
+  const child = locatedNode.isJsonObject(owner.node) ? owner.node[keyword] : void 0;
   return {
     ...walk,
     type: constructors.irIndexedAccess(present(walk), constructors.irKeyword(key)),
     node: child,
-    presence: generatedShape.schemaPresence(child, refs)
+    location: locatedNode.childLocation(owner.location, keyword),
+    presence: propertyShape.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 owner = locatedNode.followLocated(walk, input.refs);
+  const { node } = owner;
+  const properties = locatedNode.isJsonObject(node) && locatedNode.isJsonObject(node.properties) ? node.properties : {};
+  const value = properties[name];
+  const { options, refs } = input;
+  const isMarkedOnTheWay = !isLast && propertyShape.isMarkedProperty(value, options, refs);
+  if (propertyShape.isExcludedProperty(value, options, refs) || isMarkedOnTheWay) {
+    return null;
+  }
   const type = walk.presence === "present" ? refType.indexKeyword(walk.type, name, isLast) : refType.indexBy(present(walk), name);
   return {
     ...walk,
     type,
-    node: properties[name],
+    node: value,
+    location: locatedNode.childLocation(walk.namesLocation, name),
     isName: false,
-    presence: generatedShape.propertyPresence(walk.node, name, input.options, input.refs)
+    presence: propertyShape.propertyPresence(walk, name, input.options, input.refs)
   };
 }
 function defsStep(walk, owner, isLast) {
-  const defs = generatedShape.isJsonObject(owner) && generatedShape.isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};
+  const { node } = owner;
+  const defs = locatedNode.isJsonObject(node) && locatedNode.isJsonObject(node[DEFS_KEYWORD]) ? node[DEFS_KEYWORD] : {};
+  const namesLocation = locatedNode.childLocation(owner.location, DEFS_KEYWORD);
   return {
     ...walk,
     type: refType.indexKeyword(present(walk), DEFS_KEYWORD, isLast),
+    // A node of its own, not in the document: its properties are the definitions.
     node: { properties: defs, required: Object.keys(defs) },
+    location: namesLocation,
+    namesLocation,
     isName: true,
     presence: "present"
   };
@@ -47,19 +63,19 @@ const SHAPED_KEYWORDS = /* @__PURE__ */ new Set([
   "additionalProperties"
 ]);
 function hasKeywordMember(owner, segment) {
-  if (!SHAPED_KEYWORDS.has(segment) || !generatedShape.isJsonObject(owner)) {
+  if (!SHAPED_KEYWORDS.has(segment) || !locatedNode.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)) {
+  const owner = locatedNode.followLocated(walk, input.refs);
+  if (!hasKeywordMember(owner.node, segment)) {
     return null;
   }
   switch (segment) {
     case "properties":
-      return { ...walk, isName: true };
+      return { ...walk, isName: true, namesLocation: locatedNode.childLocation(owner.location, segment) };
     case "items":
       return indexEntries(walk, "number", "items", input.refs);
     case "additionalProperties":
@@ -72,15 +88,56 @@ function keywordStep(walk, segment, isLast, input) {
 }
 function containerStep(walk, index, input) {
   const segment = input.pointer.segments[index];
-  const owner = generatedShape.followRefs(walk.node, input.refs);
+  const owner = locatedNode.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,
+    node: locatedNode.isJsonObject(owner) ? owner[segment] : void 0,
+    location: locatedNode.childLocation(locatedNode.followLocated(walk, input.refs).location, segment),
     presence: isOptional ? "absent" : "present"
   };
 }
+function contentStep(walk, form, isLast, refs) {
+  const isMapTyped = form === "media-type-members" || form === "first-media-type" && !isLast;
+  if (!isMapTyped) {
+    return null;
+  }
+  const owner = locatedNode.followLocated(walk, refs);
+  return {
+    ...walk,
+    node: locatedNode.isJsonObject(owner.node) ? owner.node.content : void 0,
+    location: locatedNode.childLocation(owner.location, "content"),
+    isFirstMediaType: form === "first-media-type"
+  };
+}
+function firstMediaTypeStep(walk, segment) {
+  const content = locatedNode.isJsonObject(walk.node) ? walk.node : {};
+  if (Object.keys(content)[0] !== segment) {
+    return null;
+  }
+  const location = locatedNode.childLocation(walk.location, segment);
+  return { ...walk, node: content[segment], location, isFirstMediaType: false };
+}
+function schemaStep(walk, refs) {
+  const owner = locatedNode.followLocated(walk, refs);
+  const schema = locatedNode.isJsonObject(owner.node) ? owner.node.schema : void 0;
+  const location = locatedNode.childLocation(owner.location, "schema");
+  const presence = walk.presence === "absent" ? "absent" : propertyShape.schemaPresence(schema, refs);
+  return { ...walk, node: schema, location, isSchema: true, presence };
+}
+function documentStep(walk, index, input) {
+  const owner = locatedNode.followRefs(walk.node, input.refs);
+  const form = pointerWalk.headerParameterContentForm(input.pointer, index, owner, input.options);
+  if (form !== null) {
+    const isLast = index === input.pointer.segments.length - 1;
+    return contentStep(walk, form, isLast, input.refs);
+  }
+  if (pointerWalk.isParameterList(input.pointer, index) || pointerWalk.isExcludedOperation(input.pointer, index, owner, input)) {
+    return null;
+  }
+  return containerStep(walk, index, input);
+}
 function step(walk, index, input) {
   const { segments } = input.pointer;
   const segment = segments[index];
@@ -88,17 +145,17 @@ function step(walk, index, input) {
   if (walk.isSchema) {
     return walk.isName ? nameStep(walk, segment, isLast, input) : keywordStep(walk, segment, isLast, input);
   }
+  if (walk.isFirstMediaType) {
+    return firstMediaTypeStep(walk, segment);
+  }
   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 schemaStep(walk, input.refs);
   }
-  return pointerWalk.isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);
+  return documentStep(walk, index, input);
 }
 function typedWalk(input) {
   const { pointer } = input;
-  const node = pointerWalk.leadingNode(pointer, input.refs);
+  const { node, location } = pointerWalk.leadingLocated(pointer, input.refs);
   const isSchema = pointerWalk.startsInSchema(pointer);
   let walk = {
     type: refType.indexBy(
@@ -106,9 +163,10 @@ function typedWalk(input) {
       ...pointer.segments.slice(0, pointerWalk.leadingSegmentsOf(pointer))
     ),
     node,
+    location,
     isSchema,
     isName: false,
-    presence: isSchema ? generatedShape.schemaPresence(node, input.refs) : "present"
+    presence: isSchema ? propertyShape.schemaPresence(node, input.refs) : "present"
   };
   for (let index = pointerWalk.leadingSegmentsOf(pointer); index < pointer.segments.length; index++) {
     const next = step(walk, index, input);

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

@@ -1 +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;;"}
+{"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 { isArrayShape, isObjectShape } from \"./generated-shape.js\";\nimport {\n  childLocation,\n  followLocated,\n  followRefs,\n  isJsonObject,\n  type LocatedNode,\n} from \"./located-node.js\";\nimport {\n  type ContentForm,\n  headerParameterContentForm,\n  isExcludedOperation,\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingLocated,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\nimport {\n  isExcludedProperty,\n  isMarkedProperty,\n  type Presence,\n  propertyPresence,\n  schemaPresence,\n} from \"./property-shape.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  /** The node's JSON Pointer, where the generator writes its type (`LocatedNode`). */\n  readonly location: string | undefined;\n  readonly isSchema: boolean;\n  /** The segment is a property or `$defs` name, not a keyword. */\n  readonly isName: boolean;\n  /** The location of the map of names (`properties` or `$defs`) when `isName`. */\n  readonly namesLocation?: string | undefined;\n  /**\n   * The node is the `content` of a header or parameter typed as its first media type, so the\n   * next segment must name that media type and adds no member.\n   */\n  readonly isFirstMediaType?: 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 = followLocated(walk, refs);\n  const child = isJsonObject(owner.node) ? owner.node[keyword] : undefined;\n  return {\n    ...walk,\n    type: irIndexedAccess(present(walk), irKeyword(key)),\n    node: child,\n    location: childLocation(owner.location, keyword),\n    presence: schemaPresence(child, refs),\n  };\n}\n\n/**\n * A property `--exclude-deprecated` left out has no member to index, and the `$Read<T>` or\n * `$Write<T>` of a marked property has no member but the marker's: such a pointer is typed in\n * place.\n */\nfunction nameStep(walk: TypedWalk, name: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followLocated(walk, input.refs);\n  const { node } = owner;\n  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};\n  const value = properties[name];\n  const { options, refs } = input;\n  const isMarkedOnTheWay = !isLast && isMarkedProperty(value, options, refs);\n  if (isExcludedProperty(value, options, refs) || isMarkedOnTheWay) {\n    return null;\n  }\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: value,\n    location: childLocation(walk.namesLocation, name),\n    isName: false,\n    presence: propertyPresence(walk, 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: LocatedNode, isLast: boolean): TypedWalk {\n  const { node } = owner;\n  const defs = isJsonObject(node) && isJsonObject(node[DEFS_KEYWORD]) ? node[DEFS_KEYWORD] : {};\n  const namesLocation = childLocation(owner.location, DEFS_KEYWORD);\n  return {\n    ...walk,\n    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),\n    // A node of its own, not in the document: its properties are the definitions.\n    node: { properties: defs, required: Object.keys(defs) },\n    location: namesLocation,\n    namesLocation,\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 = followLocated(walk, input.refs);\n  if (!hasKeywordMember(owner.node, segment)) {\n    return null;\n  }\n  switch (segment) {\n    case \"properties\":\n      return { ...walk, isName: true, namesLocation: childLocation(owner.location, segment) };\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    location: childLocation(followLocated(walk, input.refs).location, segment),\n    presence: isOptional ? \"absent\" : \"present\",\n  };\n}\n\n/**\n * The `content` of a header or parameter: no member of its own, since the type holds its media\n * types (or the first one's type). Untyped where the type is `string` or a `schema`'s, and as the\n * last segment of the first media type form, whose type is not the map's.\n */\nfunction contentStep(walk: TypedWalk, form: ContentForm, isLast: boolean, refs: RefResolver) {\n  const isMapTyped = form === \"media-type-members\" || (form === \"first-media-type\" && !isLast);\n  if (!isMapTyped) {\n    return null;\n  }\n  const owner = followLocated(walk, refs);\n  return {\n    ...walk,\n    node: isJsonObject(owner.node) ? owner.node.content : undefined,\n    location: childLocation(owner.location, \"content\"),\n    isFirstMediaType: form === \"first-media-type\",\n  };\n}\n\n/** The first media type of such a `content` is the type itself; another one has no type. */\nfunction firstMediaTypeStep(walk: TypedWalk, segment: string): TypedWalk | null {\n  const content = isJsonObject(walk.node) ? walk.node : {};\n  if (Object.keys(content)[0] !== segment) {\n    return null;\n  }\n  const location = childLocation(walk.location, segment);\n  return { ...walk, node: content[segment], location, isFirstMediaType: false };\n}\n\nfunction schemaStep(walk: TypedWalk, refs: RefResolver): TypedWalk {\n  const owner = followLocated(walk, refs);\n  const schema = isJsonObject(owner.node) ? owner.node.schema : undefined;\n  const location = childLocation(owner.location, \"schema\");\n  // The container's type is its schema's type: an optional header stays optional.\n  const presence = walk.presence === \"absent\" ? \"absent\" : schemaPresence(schema, refs);\n  return { ...walk, node: schema, location, isSchema: true, presence };\n}\n\nfunction documentStep(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk | null {\n  const owner = followRefs(walk.node, input.refs);\n  const form = headerParameterContentForm(input.pointer, index, owner, input.options);\n  if (form !== null) {\n    const isLast = index === input.pointer.segments.length - 1;\n    return contentStep(walk, form, isLast, input.refs);\n  }\n  if (\n    isParameterList(input.pointer, index) ||\n    isExcludedOperation(input.pointer, index, owner, input)\n  ) {\n    return null;\n  }\n  return containerStep(walk, index, input);\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 (walk.isFirstMediaType) {\n    return firstMediaTypeStep(walk, segment);\n  }\n  if (segment === \"schema\" && isTypedAsSchema(input.pointer, index)) {\n    return schemaStep(walk, input.refs);\n  }\n  return documentStep(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, location } = leadingLocated(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    location,\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","followLocated","isJsonObject","irIndexedAccess","irKeyword","childLocation","schemaPresence","isMarkedProperty","isExcludedProperty","indexKeyword","indexBy","propertyPresence","isArrayShape","isObjectShape","followRefs","isOptionalRequestBody","isOptionalHeader","headerParameterContentForm","isParameterList","isExcludedOperation","isTypedAsSchema","leadingLocated","startsInSchema","rootType","leadingSegmentsOf"],"mappings":";;;;;;;;;AAyCA,MAAM,YAAA,GAAe,OAAA;AAgCrB,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,CAAc,IAAA,EAAM,IAAI,CAAA;AACtC,EAAA,MAAM,KAAA,GAAQC,yBAAa,KAAA,CAAM,IAAI,IAAI,KAAA,CAAM,IAAA,CAAK,OAAO,CAAA,GAAI,MAAA;AAC/D,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,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,OAAO,CAAA;AAAA,IAC/C,QAAA,EAAUC,4BAAA,CAAe,KAAA,EAAO,IAAI;AAAA,GACtC;AACF;AAOA,SAAS,QAAA,CAAS,IAAA,EAAiB,IAAA,EAAc,MAAA,EAAiB,KAAA,EAAuB;AACvF,EAAA,MAAM,KAAA,GAAQL,yBAAA,CAAc,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,UAAA,GAAaC,wBAAA,CAAa,IAAI,CAAA,IAAKA,wBAAA,CAAa,KAAK,UAAU,CAAA,GAAI,IAAA,CAAK,UAAA,GAAa,EAAC;AAC5F,EAAA,MAAM,KAAA,GAAQ,WAAW,IAAI,CAAA;AAC7B,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,KAAA;AAC1B,EAAA,MAAM,mBAAmB,CAAC,MAAA,IAAUK,8BAAA,CAAiB,KAAA,EAAO,SAAS,IAAI,CAAA;AACzE,EAAA,IAAIC,gCAAA,CAAmB,KAAA,EAAO,OAAA,EAAS,IAAI,KAAK,gBAAA,EAAkB;AAChE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GACJ,IAAA,CAAK,QAAA,KAAa,SAAA,GACdC,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,KAAA;AAAA,IACN,QAAA,EAAUL,yBAAA,CAAc,IAAA,CAAK,aAAA,EAAe,IAAI,CAAA;AAAA,IAChD,MAAA,EAAQ,KAAA;AAAA,IACR,UAAUM,8BAAA,CAAiB,IAAA,EAAM,MAAM,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI;AAAA,GAClE;AACF;AAGA,SAAS,QAAA,CAAS,IAAA,EAAiB,KAAA,EAAoB,MAAA,EAA4B;AACjF,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,IAAA,GAAOT,wBAAA,CAAa,IAAI,CAAA,IAAKA,wBAAA,CAAa,IAAA,CAAK,YAAY,CAAC,CAAA,GAAI,IAAA,CAAK,YAAY,CAAA,GAAI,EAAC;AAC5F,EAAA,MAAM,aAAA,GAAgBG,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,YAAY,CAAA;AAChE,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAMI,oBAAA,CAAa,OAAA,CAAQ,IAAI,CAAA,EAAG,cAAc,MAAM,CAAA;AAAA;AAAA,IAEtD,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,UAAU,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,IACtD,QAAA,EAAU,aAAA;AAAA,IACV,aAAA;AAAA,IACA,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,CAACP,wBAAA,CAAa,KAAK,CAAA,EAAG;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,YAAY,OAAA,GAAUU,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,GAAQZ,yBAAA,CAAc,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,IAAI,CAAC,gBAAA,CAAiB,KAAA,CAAM,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,QAAQ,OAAA;AAAS,IACf,KAAK,YAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,eAAeI,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,OAAO,CAAA,EAAE;AAAA,IACxF,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,GAAQS,sBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,UAAA,GACH,OAAA,KAAY,aAAA,IAAiBC,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,EAAMN,eAAA,CAAQ,OAAA,CAAQ,IAAI,GAAG,OAAO,CAAA;AAAA,IACpC,MAAMR,wBAAA,CAAa,KAAK,CAAA,GAAI,KAAA,CAAM,OAAO,CAAA,GAAI,MAAA;AAAA,IAC7C,QAAA,EAAUG,0BAAcJ,yBAAA,CAAc,IAAA,EAAM,MAAM,IAAI,CAAA,CAAE,UAAU,OAAO,CAAA;AAAA,IACzE,QAAA,EAAU,aAAa,QAAA,GAAW;AAAA,GACpC;AACF;AAOA,SAAS,WAAA,CAAY,IAAA,EAAiB,IAAA,EAAmB,MAAA,EAAiB,IAAA,EAAmB;AAC3F,EAAA,MAAM,UAAA,GAAa,IAAA,KAAS,oBAAA,IAAyB,IAAA,KAAS,sBAAsB,CAAC,MAAA;AACrF,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQA,yBAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACtC,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAMC,wBAAA,CAAa,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA,CAAM,KAAK,OAAA,GAAU,MAAA;AAAA,IACtD,QAAA,EAAUG,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,SAAS,CAAA;AAAA,IACjD,kBAAkB,IAAA,KAAS;AAAA,GAC7B;AACF;AAGA,SAAS,kBAAA,CAAmB,MAAiB,OAAA,EAAmC;AAC9E,EAAA,MAAM,UAAUH,wBAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,OAAO,EAAC;AACvD,EAAA,IAAI,OAAO,IAAA,CAAK,OAAO,CAAA,CAAE,CAAC,MAAM,OAAA,EAAS;AACvC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAWG,yBAAA,CAAc,IAAA,CAAK,QAAA,EAAU,OAAO,CAAA;AACrD,EAAA,OAAO,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,QAAQ,OAAO,CAAA,EAAG,QAAA,EAAU,gBAAA,EAAkB,KAAA,EAAM;AAC9E;AAEA,SAAS,UAAA,CAAW,MAAiB,IAAA,EAA8B;AACjE,EAAA,MAAM,KAAA,GAAQJ,yBAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACtC,EAAA,MAAM,SAASC,wBAAA,CAAa,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA,CAAM,KAAK,MAAA,GAAS,MAAA;AAC9D,EAAA,MAAM,QAAA,GAAWG,yBAAA,CAAc,KAAA,CAAM,QAAA,EAAU,QAAQ,CAAA;AAEvD,EAAA,MAAM,WAAW,IAAA,CAAK,QAAA,KAAa,WAAW,QAAA,GAAWC,4BAAA,CAAe,QAAQ,IAAI,CAAA;AACpF,EAAA,OAAO,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,QAAQ,QAAA,EAAU,QAAA,EAAU,MAAM,QAAA,EAAS;AACrE;AAEA,SAAS,YAAA,CAAa,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAyC;AAC7F,EAAA,MAAM,KAAA,GAAQQ,sBAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,OAAOG,sCAAA,CAA2B,KAAA,CAAM,SAAS,KAAA,EAAO,KAAA,EAAO,MAAM,OAAO,CAAA;AAClF,EAAA,IAAI,SAAS,IAAA,EAAM;AACjB,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,IAAA,OAAO,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,MAAA,EAAQ,MAAM,IAAI,CAAA;AAAA,EACnD;AACA,EAAA,IACEC,2BAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,IACpCC,+BAAA,CAAoB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAA,EAAO,KAAK,CAAA,EACtD;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACzC;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,KAAK,gBAAA,EAAkB;AACzB,IAAA,OAAO,kBAAA,CAAmB,MAAM,OAAO,CAAA;AAAA,EACzC;AACA,EAAA,IAAI,YAAY,QAAA,IAAYC,2BAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AACjE,IAAA,OAAO,UAAA,CAAW,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAAA,EACpC;AACA,EAAA,OAAO,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACxC;AAGO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,EAAE,IAAA,EAAM,QAAA,KAAaC,0BAAA,CAAe,OAAA,EAAS,MAAM,IAAI,CAAA;AAC7D,EAAA,MAAM,QAAA,GAAWC,2BAAe,OAAO,CAAA;AACvC,EAAA,IAAI,IAAA,GAAkB;AAAA,IACpB,IAAA,EAAMZ,eAAA;AAAA,MACJa,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,QAAA;AAAA,IACA,MAAA,EAAQ,KAAA;AAAA,IACR,UAAU,QAAA,GAAWlB,4BAAA,CAAe,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA,GAAI;AAAA,GAC1D;AACA,EAAA,KAAA,IAAS,KAAA,GAAQkB,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

@@ -1,40 +1,56 @@
 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';
+import { isArrayShape, isObjectShape } from './generated-shape.mjs';
+import { followLocated, isJsonObject, childLocation, followRefs } from './located-node.mjs';
+import { leadingLocated, startsInSchema, leadingSegmentsOf, isTypedAsSchema, headerParameterContentForm, isParameterList, isExcludedOperation, isOptionalRequestBody, isOptionalHeader } from './pointer-walk.mjs';
+import { schemaPresence, isMarkedProperty, isExcludedProperty, propertyPresence } from './property-shape.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;
+  const owner = followLocated(walk, refs);
+  const child = isJsonObject(owner.node) ? owner.node[keyword] : void 0;
   return {
     ...walk,
     type: irIndexedAccess(present(walk), irKeyword(key)),
     node: child,
+    location: childLocation(owner.location, keyword),
     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 owner = followLocated(walk, input.refs);
+  const { node } = owner;
+  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};
+  const value = properties[name];
+  const { options, refs } = input;
+  const isMarkedOnTheWay = !isLast && isMarkedProperty(value, options, refs);
+  if (isExcludedProperty(value, options, refs) || isMarkedOnTheWay) {
+    return null;
+  }
   const type = walk.presence === "present" ? indexKeyword(walk.type, name, isLast) : indexBy(present(walk), name);
   return {
     ...walk,
     type,
-    node: properties[name],
+    node: value,
+    location: childLocation(walk.namesLocation, name),
     isName: false,
-    presence: propertyPresence(walk.node, name, input.options, input.refs)
+    presence: propertyPresence(walk, name, input.options, input.refs)
   };
 }
 function defsStep(walk, owner, isLast) {
-  const defs = isJsonObject(owner) && isJsonObject(owner[DEFS_KEYWORD]) ? owner[DEFS_KEYWORD] : {};
+  const { node } = owner;
+  const defs = isJsonObject(node) && isJsonObject(node[DEFS_KEYWORD]) ? node[DEFS_KEYWORD] : {};
+  const namesLocation = childLocation(owner.location, DEFS_KEYWORD);
   return {
     ...walk,
     type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),
+    // A node of its own, not in the document: its properties are the definitions.
     node: { properties: defs, required: Object.keys(defs) },
+    location: namesLocation,
+    namesLocation,
     isName: true,
     presence: "present"
   };
@@ -51,13 +67,13 @@ function hasKeywordMember(owner, segment) {
   return segment === "items" ? isArrayShape(owner) : isObjectShape(owner);
 }
 function keywordStep(walk, segment, isLast, input) {
-  const owner = followRefs(walk.node, input.refs);
-  if (!hasKeywordMember(owner, segment)) {
+  const owner = followLocated(walk, input.refs);
+  if (!hasKeywordMember(owner.node, segment)) {
     return null;
   }
   switch (segment) {
     case "properties":
-      return { ...walk, isName: true };
+      return { ...walk, isName: true, namesLocation: childLocation(owner.location, segment) };
     case "items":
       return indexEntries(walk, "number", "items", input.refs);
     case "additionalProperties":
@@ -76,9 +92,50 @@ function containerStep(walk, index, input) {
     ...walk,
     type: indexBy(present(walk), segment),
     node: isJsonObject(owner) ? owner[segment] : void 0,
+    location: childLocation(followLocated(walk, input.refs).location, segment),
     presence: isOptional ? "absent" : "present"
   };
 }
+function contentStep(walk, form, isLast, refs) {
+  const isMapTyped = form === "media-type-members" || form === "first-media-type" && !isLast;
+  if (!isMapTyped) {
+    return null;
+  }
+  const owner = followLocated(walk, refs);
+  return {
+    ...walk,
+    node: isJsonObject(owner.node) ? owner.node.content : void 0,
+    location: childLocation(owner.location, "content"),
+    isFirstMediaType: form === "first-media-type"
+  };
+}
+function firstMediaTypeStep(walk, segment) {
+  const content = isJsonObject(walk.node) ? walk.node : {};
+  if (Object.keys(content)[0] !== segment) {
+    return null;
+  }
+  const location = childLocation(walk.location, segment);
+  return { ...walk, node: content[segment], location, isFirstMediaType: false };
+}
+function schemaStep(walk, refs) {
+  const owner = followLocated(walk, refs);
+  const schema = isJsonObject(owner.node) ? owner.node.schema : void 0;
+  const location = childLocation(owner.location, "schema");
+  const presence = walk.presence === "absent" ? "absent" : schemaPresence(schema, refs);
+  return { ...walk, node: schema, location, isSchema: true, presence };
+}
+function documentStep(walk, index, input) {
+  const owner = followRefs(walk.node, input.refs);
+  const form = headerParameterContentForm(input.pointer, index, owner, input.options);
+  if (form !== null) {
+    const isLast = index === input.pointer.segments.length - 1;
+    return contentStep(walk, form, isLast, input.refs);
+  }
+  if (isParameterList(input.pointer, index) || isExcludedOperation(input.pointer, index, owner, input)) {
+    return null;
+  }
+  return containerStep(walk, index, input);
+}
 function step(walk, index, input) {
   const { segments } = input.pointer;
   const segment = segments[index];
@@ -86,17 +143,17 @@ function step(walk, index, input) {
   if (walk.isSchema) {
     return walk.isName ? nameStep(walk, segment, isLast, input) : keywordStep(walk, segment, isLast, input);
   }
+  if (walk.isFirstMediaType) {
+    return firstMediaTypeStep(walk, segment);
+  }
   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 schemaStep(walk, input.refs);
   }
-  return isParameterList(input.pointer, index) ? null : containerStep(walk, index, input);
+  return documentStep(walk, index, input);
 }
 function typedWalk(input) {
   const { pointer } = input;
-  const node = leadingNode(pointer, input.refs);
+  const { node, location } = leadingLocated(pointer, input.refs);
   const isSchema = startsInSchema(pointer);
   let walk = {
     type: indexBy(
@@ -104,6 +161,7 @@ function typedWalk(input) {
       ...pointer.segments.slice(0, leadingSegmentsOf(pointer))
     ),
     node,
+    location,
     isSchema,
     isName: false,
     presence: isSchema ? schemaPresence(node, input.refs) : "present"

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

@@ -1 +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;;"}
+{"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 { isArrayShape, isObjectShape } from \"./generated-shape.js\";\nimport {\n  childLocation,\n  followLocated,\n  followRefs,\n  isJsonObject,\n  type LocatedNode,\n} from \"./located-node.js\";\nimport {\n  type ContentForm,\n  headerParameterContentForm,\n  isExcludedOperation,\n  isOptionalHeader,\n  isOptionalRequestBody,\n  isParameterList,\n  isTypedAsSchema,\n  leadingLocated,\n  leadingSegmentsOf,\n  type RefPointer,\n  startsInSchema,\n} from \"./pointer-walk.js\";\nimport {\n  isExcludedProperty,\n  isMarkedProperty,\n  type Presence,\n  propertyPresence,\n  schemaPresence,\n} from \"./property-shape.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  /** The node's JSON Pointer, where the generator writes its type (`LocatedNode`). */\n  readonly location: string | undefined;\n  readonly isSchema: boolean;\n  /** The segment is a property or `$defs` name, not a keyword. */\n  readonly isName: boolean;\n  /** The location of the map of names (`properties` or `$defs`) when `isName`. */\n  readonly namesLocation?: string | undefined;\n  /**\n   * The node is the `content` of a header or parameter typed as its first media type, so the\n   * next segment must name that media type and adds no member.\n   */\n  readonly isFirstMediaType?: 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 = followLocated(walk, refs);\n  const child = isJsonObject(owner.node) ? owner.node[keyword] : undefined;\n  return {\n    ...walk,\n    type: irIndexedAccess(present(walk), irKeyword(key)),\n    node: child,\n    location: childLocation(owner.location, keyword),\n    presence: schemaPresence(child, refs),\n  };\n}\n\n/**\n * A property `--exclude-deprecated` left out has no member to index, and the `$Read<T>` or\n * `$Write<T>` of a marked property has no member but the marker's: such a pointer is typed in\n * place.\n */\nfunction nameStep(walk: TypedWalk, name: string, isLast: boolean, input: TypedWalkInput) {\n  const owner = followLocated(walk, input.refs);\n  const { node } = owner;\n  const properties = isJsonObject(node) && isJsonObject(node.properties) ? node.properties : {};\n  const value = properties[name];\n  const { options, refs } = input;\n  const isMarkedOnTheWay = !isLast && isMarkedProperty(value, options, refs);\n  if (isExcludedProperty(value, options, refs) || isMarkedOnTheWay) {\n    return null;\n  }\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: value,\n    location: childLocation(walk.namesLocation, name),\n    isName: false,\n    presence: propertyPresence(walk, 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: LocatedNode, isLast: boolean): TypedWalk {\n  const { node } = owner;\n  const defs = isJsonObject(node) && isJsonObject(node[DEFS_KEYWORD]) ? node[DEFS_KEYWORD] : {};\n  const namesLocation = childLocation(owner.location, DEFS_KEYWORD);\n  return {\n    ...walk,\n    type: indexKeyword(present(walk), DEFS_KEYWORD, isLast),\n    // A node of its own, not in the document: its properties are the definitions.\n    node: { properties: defs, required: Object.keys(defs) },\n    location: namesLocation,\n    namesLocation,\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 = followLocated(walk, input.refs);\n  if (!hasKeywordMember(owner.node, segment)) {\n    return null;\n  }\n  switch (segment) {\n    case \"properties\":\n      return { ...walk, isName: true, namesLocation: childLocation(owner.location, segment) };\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    location: childLocation(followLocated(walk, input.refs).location, segment),\n    presence: isOptional ? \"absent\" : \"present\",\n  };\n}\n\n/**\n * The `content` of a header or parameter: no member of its own, since the type holds its media\n * types (or the first one's type). Untyped where the type is `string` or a `schema`'s, and as the\n * last segment of the first media type form, whose type is not the map's.\n */\nfunction contentStep(walk: TypedWalk, form: ContentForm, isLast: boolean, refs: RefResolver) {\n  const isMapTyped = form === \"media-type-members\" || (form === \"first-media-type\" && !isLast);\n  if (!isMapTyped) {\n    return null;\n  }\n  const owner = followLocated(walk, refs);\n  return {\n    ...walk,\n    node: isJsonObject(owner.node) ? owner.node.content : undefined,\n    location: childLocation(owner.location, \"content\"),\n    isFirstMediaType: form === \"first-media-type\",\n  };\n}\n\n/** The first media type of such a `content` is the type itself; another one has no type. */\nfunction firstMediaTypeStep(walk: TypedWalk, segment: string): TypedWalk | null {\n  const content = isJsonObject(walk.node) ? walk.node : {};\n  if (Object.keys(content)[0] !== segment) {\n    return null;\n  }\n  const location = childLocation(walk.location, segment);\n  return { ...walk, node: content[segment], location, isFirstMediaType: false };\n}\n\nfunction schemaStep(walk: TypedWalk, refs: RefResolver): TypedWalk {\n  const owner = followLocated(walk, refs);\n  const schema = isJsonObject(owner.node) ? owner.node.schema : undefined;\n  const location = childLocation(owner.location, \"schema\");\n  // The container's type is its schema's type: an optional header stays optional.\n  const presence = walk.presence === \"absent\" ? \"absent\" : schemaPresence(schema, refs);\n  return { ...walk, node: schema, location, isSchema: true, presence };\n}\n\nfunction documentStep(walk: TypedWalk, index: number, input: TypedWalkInput): TypedWalk | null {\n  const owner = followRefs(walk.node, input.refs);\n  const form = headerParameterContentForm(input.pointer, index, owner, input.options);\n  if (form !== null) {\n    const isLast = index === input.pointer.segments.length - 1;\n    return contentStep(walk, form, isLast, input.refs);\n  }\n  if (\n    isParameterList(input.pointer, index) ||\n    isExcludedOperation(input.pointer, index, owner, input)\n  ) {\n    return null;\n  }\n  return containerStep(walk, index, input);\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 (walk.isFirstMediaType) {\n    return firstMediaTypeStep(walk, segment);\n  }\n  if (segment === \"schema\" && isTypedAsSchema(input.pointer, index)) {\n    return schemaStep(walk, input.refs);\n  }\n  return documentStep(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, location } = leadingLocated(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    location,\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":";;;;;;;AAyCA,MAAM,YAAA,GAAe,OAAA;AAgCrB,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,aAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACtC,EAAA,MAAM,KAAA,GAAQ,aAAa,KAAA,CAAM,IAAI,IAAI,KAAA,CAAM,IAAA,CAAK,OAAO,CAAA,GAAI,MAAA;AAC/D,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,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,OAAO,CAAA;AAAA,IAC/C,QAAA,EAAU,cAAA,CAAe,KAAA,EAAO,IAAI;AAAA,GACtC;AACF;AAOA,SAAS,QAAA,CAAS,IAAA,EAAiB,IAAA,EAAc,MAAA,EAAiB,KAAA,EAAuB;AACvF,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,UAAA,GAAa,YAAA,CAAa,IAAI,CAAA,IAAK,YAAA,CAAa,KAAK,UAAU,CAAA,GAAI,IAAA,CAAK,UAAA,GAAa,EAAC;AAC5F,EAAA,MAAM,KAAA,GAAQ,WAAW,IAAI,CAAA;AAC7B,EAAA,MAAM,EAAE,OAAA,EAAS,IAAA,EAAK,GAAI,KAAA;AAC1B,EAAA,MAAM,mBAAmB,CAAC,MAAA,IAAU,gBAAA,CAAiB,KAAA,EAAO,SAAS,IAAI,CAAA;AACzE,EAAA,IAAI,kBAAA,CAAmB,KAAA,EAAO,OAAA,EAAS,IAAI,KAAK,gBAAA,EAAkB;AAChE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,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,KAAA;AAAA,IACN,QAAA,EAAU,aAAA,CAAc,IAAA,CAAK,aAAA,EAAe,IAAI,CAAA;AAAA,IAChD,MAAA,EAAQ,KAAA;AAAA,IACR,UAAU,gBAAA,CAAiB,IAAA,EAAM,MAAM,KAAA,CAAM,OAAA,EAAS,MAAM,IAAI;AAAA,GAClE;AACF;AAGA,SAAS,QAAA,CAAS,IAAA,EAAiB,KAAA,EAAoB,MAAA,EAA4B;AACjF,EAAA,MAAM,EAAE,MAAK,GAAI,KAAA;AACjB,EAAA,MAAM,IAAA,GAAO,YAAA,CAAa,IAAI,CAAA,IAAK,YAAA,CAAa,IAAA,CAAK,YAAY,CAAC,CAAA,GAAI,IAAA,CAAK,YAAY,CAAA,GAAI,EAAC;AAC5F,EAAA,MAAM,aAAA,GAAgB,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,YAAY,CAAA;AAChE,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAM,YAAA,CAAa,OAAA,CAAQ,IAAI,CAAA,EAAG,cAAc,MAAM,CAAA;AAAA;AAAA,IAEtD,IAAA,EAAM,EAAE,UAAA,EAAY,IAAA,EAAM,UAAU,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,IACtD,QAAA,EAAU,aAAA;AAAA,IACV,aAAA;AAAA,IACA,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,aAAA,CAAc,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAC5C,EAAA,IAAI,CAAC,gBAAA,CAAiB,KAAA,CAAM,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,QAAQ,OAAA;AAAS,IACf,KAAK,YAAA;AACH,MAAA,OAAO,EAAE,GAAG,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,eAAe,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,OAAO,CAAA,EAAE;AAAA,IACxF,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,cAAc,aAAA,CAAc,IAAA,EAAM,MAAM,IAAI,CAAA,CAAE,UAAU,OAAO,CAAA;AAAA,IACzE,QAAA,EAAU,aAAa,QAAA,GAAW;AAAA,GACpC;AACF;AAOA,SAAS,WAAA,CAAY,IAAA,EAAiB,IAAA,EAAmB,MAAA,EAAiB,IAAA,EAAmB;AAC3F,EAAA,MAAM,UAAA,GAAa,IAAA,KAAS,oBAAA,IAAyB,IAAA,KAAS,sBAAsB,CAAC,MAAA;AACrF,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACtC,EAAA,OAAO;AAAA,IACL,GAAG,IAAA;AAAA,IACH,MAAM,YAAA,CAAa,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA,CAAM,KAAK,OAAA,GAAU,MAAA;AAAA,IACtD,QAAA,EAAU,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,SAAS,CAAA;AAAA,IACjD,kBAAkB,IAAA,KAAS;AAAA,GAC7B;AACF;AAGA,SAAS,kBAAA,CAAmB,MAAiB,OAAA,EAAmC;AAC9E,EAAA,MAAM,UAAU,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,GAAI,IAAA,CAAK,OAAO,EAAC;AACvD,EAAA,IAAI,OAAO,IAAA,CAAK,OAAO,CAAA,CAAE,CAAC,MAAM,OAAA,EAAS;AACvC,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,aAAA,CAAc,IAAA,CAAK,QAAA,EAAU,OAAO,CAAA;AACrD,EAAA,OAAO,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,QAAQ,OAAO,CAAA,EAAG,QAAA,EAAU,gBAAA,EAAkB,KAAA,EAAM;AAC9E;AAEA,SAAS,UAAA,CAAW,MAAiB,IAAA,EAA8B;AACjE,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,IAAA,EAAM,IAAI,CAAA;AACtC,EAAA,MAAM,SAAS,YAAA,CAAa,KAAA,CAAM,IAAI,CAAA,GAAI,KAAA,CAAM,KAAK,MAAA,GAAS,MAAA;AAC9D,EAAA,MAAM,QAAA,GAAW,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,QAAQ,CAAA;AAEvD,EAAA,MAAM,WAAW,IAAA,CAAK,QAAA,KAAa,WAAW,QAAA,GAAW,cAAA,CAAe,QAAQ,IAAI,CAAA;AACpF,EAAA,OAAO,EAAE,GAAG,IAAA,EAAM,IAAA,EAAM,QAAQ,QAAA,EAAU,QAAA,EAAU,MAAM,QAAA,EAAS;AACrE;AAEA,SAAS,YAAA,CAAa,IAAA,EAAiB,KAAA,EAAe,KAAA,EAAyC;AAC7F,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,IAAA,CAAK,IAAA,EAAM,MAAM,IAAI,CAAA;AAC9C,EAAA,MAAM,OAAO,0BAAA,CAA2B,KAAA,CAAM,SAAS,KAAA,EAAO,KAAA,EAAO,MAAM,OAAO,CAAA;AAClF,EAAA,IAAI,SAAS,IAAA,EAAM;AACjB,IAAA,MAAM,MAAA,GAAS,KAAA,KAAU,KAAA,CAAM,OAAA,CAAQ,SAAS,MAAA,GAAS,CAAA;AACzD,IAAA,OAAO,WAAA,CAAY,IAAA,EAAM,IAAA,EAAM,MAAA,EAAQ,MAAM,IAAI,CAAA;AAAA,EACnD;AACA,EAAA,IACE,eAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,IACpC,mBAAA,CAAoB,KAAA,CAAM,OAAA,EAAS,KAAA,EAAO,KAAA,EAAO,KAAK,CAAA,EACtD;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACzC;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,KAAK,gBAAA,EAAkB;AACzB,IAAA,OAAO,kBAAA,CAAmB,MAAM,OAAO,CAAA;AAAA,EACzC;AACA,EAAA,IAAI,YAAY,QAAA,IAAY,eAAA,CAAgB,KAAA,CAAM,OAAA,EAAS,KAAK,CAAA,EAAG;AACjE,IAAA,OAAO,UAAA,CAAW,IAAA,EAAM,KAAA,CAAM,IAAI,CAAA;AAAA,EACpC;AACA,EAAA,OAAO,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AACxC;AAGO,SAAS,UAAU,KAAA,EAAwC;AAChE,EAAA,MAAM,EAAE,SAAQ,GAAI,KAAA;AACpB,EAAA,MAAM,EAAE,IAAA,EAAM,QAAA,KAAa,cAAA,CAAe,OAAA,EAAS,MAAM,IAAI,CAAA;AAC7D,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,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;;"}