@formspec/build 0.1.0-alpha.47 → 0.1.0-alpha.49

package/dist/internals.js

@@ -999,6 +999,92 @@ function supportsConstraintCapability(type, checker, capability) {
   }
   return false;
 }
+var MAX_HINT_CANDIDATES = 5;
+var MAX_HINT_DEPTH = 3;
+function stripHintNullishUnion(type) {
+  if (!type.isUnion()) {
+    return type;
+  }
+  const nonNullish = type.types.filter(
+    (member) => (member.flags & (ts.TypeFlags.Null | ts.TypeFlags.Undefined)) === 0
+  );
+  if (nonNullish.length === 1 && nonNullish[0] !== void 0) {
+    return nonNullish[0];
+  }
+  return type;
+}
+function isCallableType(type) {
+  return type.getCallSignatures().length > 0 || type.getConstructSignatures().length > 0;
+}
+function isUserEmittableHintProperty(property, declaration) {
+  if (property.name.startsWith("__")) {
+    return false;
+  }
+  if ("name" in declaration && declaration.name !== void 0) {
+    const name = declaration.name;
+    if (ts.isComputedPropertyName(name) || ts.isPrivateIdentifier(name)) {
+      return false;
+    }
+    if (!ts.isIdentifier(name) && !ts.isStringLiteral(name) && !ts.isNumericLiteral(name)) {
+      return false;
+    }
+  }
+  return true;
+}
+function collectObjectSubfieldCandidates(type, checker, capability) {
+  const out = [];
+  const visit = (current, prefix, depth) => {
+    if (depth > MAX_HINT_DEPTH) {
+      return;
+    }
+    const stripped = stripHintNullishUnion(current);
+    if (isCallableType(stripped)) {
+      return;
+    }
+    if (!hasTypeSemanticCapability(stripped, checker, "object-like")) {
+      return;
+    }
+    for (const property of stripped.getProperties()) {
+      const declaration = property.valueDeclaration ?? property.declarations?.[0];
+      if (declaration === void 0) {
+        continue;
+      }
+      if (!isUserEmittableHintProperty(property, declaration)) {
+        continue;
+      }
+      const propertyType = checker.getTypeOfSymbolAtLocation(property, declaration);
+      const path3 = [...prefix, property.name];
+      if (supportsConstraintCapability(propertyType, checker, capability)) {
+        out.push(path3.join("."));
+        continue;
+      }
+      const strippedPropertyType = stripHintNullishUnion(propertyType);
+      if (!isCallableType(strippedPropertyType) && hasTypeSemanticCapability(strippedPropertyType, checker, "object-like")) {
+        visit(strippedPropertyType, path3, depth + 1);
+      }
+    }
+  };
+  visit(type, [], 0);
+  return out;
+}
+function buildPathTargetHint(subjectType, checker, capability, tagName, argumentText) {
+  if (!hasTypeSemanticCapability(subjectType, checker, "object-like")) {
+    return null;
+  }
+  const candidates = collectObjectSubfieldCandidates(subjectType, checker, capability);
+  const primary = candidates[0];
+  if (primary === void 0) {
+    return null;
+  }
+  const argText = argumentText?.trim() ?? "";
+  const renderExample = (path3) => argText === "" ? `@${tagName} :${path3}` : `@${tagName} :${path3} ${argText}`;
+  if (candidates.length === 1) {
+    return `Hint: use a path target to constrain a subfield, e.g. ${renderExample(primary)}`;
+  }
+  const shown = candidates.slice(0, MAX_HINT_CANDIDATES);
+  const overflow = candidates.length > MAX_HINT_CANDIDATES ? ", \u2026" : "";
+  return `Hint: use a path target to constrain a subfield (candidates: ${shown.join(", ")}${overflow}), e.g. ${renderExample(primary)}`;
+}
 function makeDiagnostic(code, message, provenance) {
   return {
     code,
@@ -1166,10 +1252,18 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
     const requiredCapability = definition.capabilities[0];
     if (requiredCapability !== void 0 && !supportsConstraintCapability(subjectType, checker, requiredCapability)) {
       const actualType = checker.typeToString(subjectType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
+      const baseMessage = `Target "${node.getText(sourceFile)}": constraint "${tagName}" is only valid on ${capabilityLabel(requiredCapability)} targets, but field type is "${actualType}"`;
+      const hint = buildPathTargetHint(
+        subjectType,
+        checker,
+        requiredCapability,
+        tagName,
+        parsedTag?.argumentText
+      );
       return [
         makeDiagnostic(
           "TYPE_MISMATCH",
-          `Target "${node.getText(sourceFile)}": constraint "${tagName}" is only valid on ${capabilityLabel(requiredCapability)} targets, but field type is "${actualType}"`,
+          hint === null ? baseMessage : `${baseMessage}. ${hint}`,
           provenance
         )
       ];
@@ -2819,6 +2913,9 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
   if (type.flags & ts3.TypeFlags.Undefined) {
     return { kind: "primitive", primitiveKind: "null" };
   }
+  if (type.flags & ts3.TypeFlags.Void) {
+    return { kind: "primitive", primitiveKind: "null" };
+  }
   if (type.isStringLiteral()) {
     return {
       kind: "enum",