@formspec/build 0.1.0-alpha.30 → 0.1.0-alpha.32

package/dist/internals.js

@@ -2116,10 +2116,7 @@ function resolveLiteralDiscriminatorPropertyValue(boundType, fieldName, checker,
   if (resolvedAnchorNode === null) {
     return void 0;
   }
-  const propertyType = checker.getTypeOfSymbolAtLocation(
-    propertySymbol,
-    resolvedAnchorNode
-  );
+  const propertyType = checker.getTypeOfSymbolAtLocation(propertySymbol, resolvedAnchorNode);
   if (propertyType.isStringLiteral()) {
     return propertyType.value;
   }
@@ -3078,14 +3075,39 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       collectedDiagnostics
     );
     const fieldNodeInfo = fieldInfoMap?.get(prop.name);
+    const inlineFieldNodeInfo = fieldNodeInfo === void 0 ? ts3.isPropertySignature(declaration) ? analyzeInterfacePropertyToIR(
+      declaration,
+      checker,
+      file,
+      typeRegistry,
+      visiting,
+      collectedDiagnostics,
+      type,
+      metadataPolicy,
+      extensionRegistry
+    ) : ts3.isPropertyDeclaration(declaration) ? analyzeFieldToIR(
+      declaration,
+      checker,
+      file,
+      typeRegistry,
+      visiting,
+      collectedDiagnostics,
+      type,
+      metadataPolicy,
+      extensionRegistry
+    ) : null : null;
+    const resolvedFieldNodeInfo = fieldNodeInfo ?? inlineFieldNodeInfo;
+    const resolvedPropertyType = inlineFieldNodeInfo?.type ?? propTypeNode;
     properties.push({
       name: prop.name,
-      ...fieldNodeInfo?.metadata !== void 0 && { metadata: fieldNodeInfo.metadata },
-      type: propTypeNode,
+      ...resolvedFieldNodeInfo?.metadata !== void 0 && {
+        metadata: resolvedFieldNodeInfo.metadata
+      },
+      type: resolvedPropertyType,
       optional,
-      constraints: fieldNodeInfo?.constraints ?? [],
-      annotations: fieldNodeInfo?.annotations ?? [],
-      provenance: fieldNodeInfo?.provenance ?? provenanceForFile(file)
+      constraints: resolvedFieldNodeInfo?.constraints ?? [],
+      annotations: resolvedFieldNodeInfo?.annotations ?? [],
+      provenance: resolvedFieldNodeInfo?.provenance ?? provenanceForFile(file)
     });
   }
   visiting.delete(type);
@@ -3688,9 +3710,9 @@ function collectFields(elements, properties, required, ctx) {
   for (const element of elements) {
     switch (element.kind) {
       case "field":
-        properties[getSerializedName(element.name, element.metadata)] = generateFieldSchema(element, ctx);
+        properties[getSerializedFieldName(element)] = generateFieldSchema(element, ctx);
         if (element.required) {
-          required.push(getSerializedName(element.name, element.metadata));
+          required.push(getSerializedFieldName(element));
         }
         break;
       case "group":
@@ -3761,19 +3783,21 @@ function applyPathTargetedConstraints(schema, pathConstraints, ctx, typeNode) {
     schema.items = applyPathTargetedConstraints(schema.items, pathConstraints, ctx, nestedType);
     return schema;
   }
-  const byTarget = /* @__PURE__ */ new Map();
-  for (const c of pathConstraints) {
-    const target = c.path?.segments[0];
-    if (!target) continue;
-    const group = byTarget.get(target) ?? [];
-    group.push(c);
-    byTarget.set(target, group);
-  }
-  const propertyOverrides = {};
-  for (const [target, constraints] of byTarget) {
-    const subSchema = {};
-    applyConstraints(subSchema, constraints, ctx);
-    propertyOverrides[resolveSerializedPropertyName(target, typeNode, ctx)] = subSchema;
+  const propertyOverrides = buildPropertyOverrides(pathConstraints, typeNode, ctx);
+  const nullableValueBranch = getNullableUnionValueSchema(schema);
+  if (nullableValueBranch !== void 0) {
+    const updatedNullableValueBranch = applyPathTargetedConstraints(
+      nullableValueBranch,
+      pathConstraints,
+      ctx,
+      resolveTraversableTypeNode(typeNode, ctx)
+    );
+    if (schema.oneOf !== void 0) {
+      schema.oneOf = schema.oneOf.map(
+        (branch) => branch === nullableValueBranch ? updatedNullableValueBranch : branch
+      );
+    }
+    return schema;
   }
   if (schema.$ref) {
     const { $ref, ...rest } = schema;
@@ -3788,7 +3812,7 @@ function applyPathTargetedConstraints(schema, pathConstraints, ctx, typeNode) {
     const missingOverrides = {};
     for (const [target, overrideSchema] of Object.entries(propertyOverrides)) {
       if (schema.properties[target]) {
-        Object.assign(schema.properties[target], overrideSchema);
+        mergeSchemaOverride(schema.properties[target], overrideSchema);
       } else {
         missingOverrides[target] = overrideSchema;
       }
@@ -3862,7 +3886,7 @@ function generateObjectType(type, ctx) {
   const properties = {};
   const required = [];
   for (const prop of type.properties) {
-    const propertyName = getSerializedName(prop.name, prop.metadata);
+    const propertyName = getSerializedObjectPropertyName(prop);
     properties[propertyName] = generatePropertySchema(prop, ctx);
     if (!prop.optional) {
       required.push(propertyName);
@@ -3916,7 +3940,16 @@ function isNullableUnion(type) {
   return nullCount === 1;
 }
 function generateReferenceType(type, ctx) {
-  return { $ref: `#/$defs/${ctx.typeNameMap[type.name] ?? type.name}` };
+  return { $ref: `#/$defs/${getSerializedTypeName(type.name, ctx)}` };
+}
+function getSerializedFieldName(field) {
+  return getSerializedName(field.name, field.metadata);
+}
+function getSerializedObjectPropertyName(property) {
+  return getSerializedName(property.name, property.metadata);
+}
+function getSerializedTypeName(logicalName, ctx) {
+  return ctx.typeNameMap[logicalName] ?? logicalName;
 }
 function applyResolvedMetadata(schema, metadata) {
   const displayName = getDisplayName(metadata);
@@ -3927,17 +3960,148 @@ function applyResolvedMetadata(schema, metadata) {
 function resolveReferencedType(type, ctx) {
   return ctx.typeRegistry[type.name]?.type;
 }
+function dereferenceTypeNode(typeNode, ctx) {
+  if (typeNode?.kind !== "reference") {
+    return typeNode;
+  }
+  return resolveReferencedType(typeNode, ctx);
+}
+function unwrapNullableTypeNode(typeNode) {
+  if (typeNode?.kind !== "union" || !isNullableUnion(typeNode)) {
+    return typeNode;
+  }
+  return typeNode.members.find(
+    (member) => !(member.kind === "primitive" && member.primitiveKind === "null")
+  );
+}
+function resolveTraversableTypeNode(typeNode, ctx) {
+  const dereferenced = dereferenceTypeNode(typeNode, ctx);
+  const unwrapped = unwrapNullableTypeNode(dereferenced);
+  if (unwrapped !== dereferenced) {
+    return resolveTraversableTypeNode(unwrapped, ctx);
+  }
+  return dereferenced;
+}
 function resolveSerializedPropertyName(logicalName, typeNode, ctx) {
-  if (typeNode?.kind === "object") {
-    const property = typeNode.properties.find((candidate) => candidate.name === logicalName);
-    return property === void 0 ? logicalName : getSerializedName(property.name, property.metadata);
+  const effectiveType = resolveTraversableTypeNode(typeNode, ctx);
+  if (effectiveType?.kind === "array") {
+    return resolveSerializedPropertyName(logicalName, effectiveType.items, ctx);
   }
-  if (typeNode?.kind === "reference") {
-    const referencedType = resolveReferencedType(typeNode, ctx);
-    return referencedType === void 0 ? logicalName : resolveSerializedPropertyName(logicalName, referencedType, ctx);
+  if (effectiveType?.kind === "object") {
+    const property = effectiveType.properties.find((candidate) => candidate.name === logicalName);
+    return property === void 0 ? logicalName : getSerializedObjectPropertyName(property);
   }
   return logicalName;
 }
+function resolveTargetTypeNode(logicalName, typeNode, ctx) {
+  const effectiveType = resolveTraversableTypeNode(typeNode, ctx);
+  if (effectiveType?.kind === "array") {
+    return resolveTargetTypeNode(logicalName, effectiveType.items, ctx);
+  }
+  if (effectiveType?.kind !== "object") {
+    return void 0;
+  }
+  return effectiveType.properties.find((candidate) => candidate.name === logicalName)?.type;
+}
+function buildPropertyOverrides(pathConstraints, typeNode, ctx) {
+  const byTarget = /* @__PURE__ */ new Map();
+  for (const constraint of pathConstraints) {
+    const target = constraint.path?.segments[0];
+    if (!target) {
+      continue;
+    }
+    const grouped = byTarget.get(target) ?? [];
+    grouped.push(constraint);
+    byTarget.set(target, grouped);
+  }
+  const overrides = {};
+  for (const [target, constraints] of byTarget) {
+    overrides[resolveSerializedPropertyName(target, typeNode, ctx)] = buildPathOverrideSchema(
+      constraints.map(stripLeadingPathSegment),
+      resolveTargetTypeNode(target, typeNode, ctx),
+      ctx
+    );
+  }
+  return overrides;
+}
+function buildPathOverrideSchema(constraints, typeNode, ctx) {
+  const schema = {};
+  const directConstraints = [];
+  const nestedConstraints = [];
+  for (const constraint of constraints) {
+    if (constraint.path === void 0 || constraint.path.segments.length === 0) {
+      directConstraints.push(constraint);
+    } else {
+      nestedConstraints.push(constraint);
+    }
+  }
+  applyConstraints(schema, directConstraints, ctx);
+  if (nestedConstraints.length === 0) {
+    return schema;
+  }
+  const effectiveType = resolveTraversableTypeNode(typeNode, ctx);
+  if (effectiveType?.kind === "array") {
+    schema.items = buildPathOverrideSchema(nestedConstraints, effectiveType.items, ctx);
+    return schema;
+  }
+  schema.properties = buildPropertyOverrides(nestedConstraints, effectiveType, ctx);
+  return schema;
+}
+function mergeSchemaOverride(target, override) {
+  const nullableValueBranch = getNullableUnionValueSchema(target);
+  if (nullableValueBranch !== void 0) {
+    mergeSchemaOverride(nullableValueBranch, override);
+    return;
+  }
+  if (override.properties !== void 0) {
+    const mergedProperties = target.properties ?? {};
+    for (const [name, propertyOverride] of Object.entries(override.properties)) {
+      const existing = mergedProperties[name];
+      if (existing === void 0) {
+        mergedProperties[name] = propertyOverride;
+      } else {
+        mergeSchemaOverride(existing, propertyOverride);
+      }
+    }
+    target.properties = mergedProperties;
+  }
+  if (override.items !== void 0) {
+    if (target.items === void 0) {
+      target.items = override.items;
+    } else {
+      mergeSchemaOverride(target.items, override.items);
+    }
+  }
+  for (const [key, value] of Object.entries(override)) {
+    if (key === "properties" || key === "items") {
+      continue;
+    }
+    target[key] = value;
+  }
+}
+function stripLeadingPathSegment(constraint) {
+  const segments = constraint.path?.segments;
+  if (segments === void 0 || segments.length === 0) {
+    return constraint;
+  }
+  const [, ...rest] = segments;
+  if (rest.length === 0) {
+    const { path: _path, ...stripped } = constraint;
+    return stripped;
+  }
+  return {
+    ...constraint,
+    path: { segments: rest }
+  };
+}
+function getNullableUnionValueSchema(schema) {
+  if (schema.oneOf?.length !== 2) {
+    return void 0;
+  }
+  const valueSchema = schema.oneOf.find((branch) => branch.type !== "null");
+  const nullSchema = schema.oneOf.find((branch) => branch.type === "null");
+  return valueSchema !== void 0 && nullSchema !== void 0 ? valueSchema : void 0;
+}
 function generateDynamicType(type) {
   if (type.dynamicKind === "enum") {
     const schema = {