@formspec/build 0.1.0-alpha.37 → 0.1.0-alpha.39

package/dist/internals.cjs

@@ -33,6 +33,7 @@ __export(internals_exports, {
   analyzeClassToIR: () => analyzeClassToIR,
   analyzeInterfaceToIR: () => analyzeInterfaceToIR,
   analyzeNamedTypeToIRFromProgramContext: () => analyzeNamedTypeToIRFromProgramContext,
+  analyzeNamedTypeToIRFromProgramContextDetailed: () => analyzeNamedTypeToIRFromProgramContextDetailed,
   analyzeTypeAliasToIR: () => analyzeTypeAliasToIR,
   canonicalizeChainDSL: () => canonicalizeChainDSL,
   canonicalizeTSDoc: () => canonicalizeTSDoc,
@@ -44,6 +45,7 @@ __export(internals_exports, {
   findInterfaceByName: () => findInterfaceByName,
   findTypeAliasByName: () => findTypeAliasByName,
   generateClassSchemas: () => generateClassSchemas,
+  generateClassSchemasDetailed: () => generateClassSchemasDetailed,
   generateJsonSchemaFromIR: () => generateJsonSchemaFromIR,
   generateMethodSchemas: () => generateMethodSchemas,
   generateUiSchemaFromIR: () => generateUiSchemaFromIR,
@@ -921,6 +923,16 @@ function buildSupportingDeclarations(sourceFile, extensionTypeNames) {
     return true;
   }).map((statement) => statement.getText(sourceFile));
 }
+function pushUniqueCompilerDiagnostics(target, additions) {
+  for (const diagnostic of additions) {
+    if ((diagnostic.code === "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE" || diagnostic.code === "SYNTHETIC_SETUP_FAILURE") && target.some(
+      (existing) => existing.code === diagnostic.code && existing.message === diagnostic.message
+    )) {
+      continue;
+    }
+    target.push(diagnostic);
+  }
+}
 function renderSyntheticArgumentExpression(valueKind, argumentText) {
   const trimmed = argumentText.trim();
   if (trimmed === "") {
@@ -1187,6 +1199,16 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   if (result.diagnostics.length === 0) {
     return [];
   }
+  const setupDiagnostic = result.diagnostics.find((diagnostic) => diagnostic.kind !== "typescript");
+  if (setupDiagnostic !== void 0) {
+    return [
+      makeDiagnostic(
+        setupDiagnostic.kind === "unsupported-custom-type-override" ? "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE" : "SYNTHETIC_SETUP_FAILURE",
+        setupDiagnostic.message,
+        provenance
+      )
+    ];
+  }
   const expectedLabel = definition.valueKind === null ? "compatible argument" : capabilityLabel(definition.valueKind);
   return [
     makeDiagnostic(
@@ -1352,7 +1374,7 @@ function parseTSDocTags(node, file = "", options) {
           options
         );
         if (compilerDiagnostics.length > 0) {
-          diagnostics.push(...compilerDiagnostics);
+          pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
           continue;
         }
         const constraintNode = (0, import_internal.parseConstraintTagValue)(
@@ -1439,7 +1461,7 @@ function parseTSDocTags(node, file = "", options) {
         options
       );
       if (compilerDiagnostics.length > 0) {
-        diagnostics.push(...compilerDiagnostics);
+        pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
         continue;
       }
       const constraintNode = (0, import_internal.parseConstraintTagValue)(
@@ -1473,7 +1495,7 @@ function parseTSDocTags(node, file = "", options) {
         options
       );
       if (compilerDiagnostics.length > 0) {
-        diagnostics.push(...compilerDiagnostics);
+        pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
         continue;
       }
       const constraintNode = (0, import_internal.parseConstraintTagValue)(
@@ -3886,29 +3908,35 @@ function findFallbackAliasDuplicatePropertyNames(typeNode, checker) {
   }
   return [...duplicates].sort();
 }
-function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
+function analyzeNamedTypeToIRFromProgramContextDetailed(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
   const analysisFilePath = path.resolve(filePath);
   const classDecl = findClassByName(ctx.sourceFile, typeName);
   if (classDecl !== null) {
-    return analyzeClassToIR(
-      classDecl,
-      ctx.checker,
-      analysisFilePath,
-      extensionRegistry,
-      metadataPolicy,
-      discriminatorOptions
-    );
+    return {
+      ok: true,
+      analysis: analyzeClassToIR(
+        classDecl,
+        ctx.checker,
+        analysisFilePath,
+        extensionRegistry,
+        metadataPolicy,
+        discriminatorOptions
+      )
+    };
   }
   const interfaceDecl = findInterfaceByName(ctx.sourceFile, typeName);
   if (interfaceDecl !== null) {
-    return analyzeInterfaceToIR(
-      interfaceDecl,
-      ctx.checker,
-      analysisFilePath,
-      extensionRegistry,
-      metadataPolicy,
-      discriminatorOptions
-    );
+    return {
+      ok: true,
+      analysis: analyzeInterfaceToIR(
+        interfaceDecl,
+        ctx.checker,
+        analysisFilePath,
+        extensionRegistry,
+        metadataPolicy,
+        discriminatorOptions
+      )
+    };
   }
   const typeAlias = findTypeAliasByName(ctx.sourceFile, typeName);
   if (typeAlias !== null) {
@@ -3921,11 +3949,20 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       discriminatorOptions
     );
     if (result.ok) {
-      return result.analysis;
+      return { ok: true, analysis: result.analysis };
     }
     const fallbackEligible = result.kind === "not-object-like" && isResolvableObjectLikeAliasTypeNode(typeAlias.type) && containsTypeReferenceInObjectLikeAlias(typeAlias.type);
     if (!fallbackEligible) {
-      throw new Error(result.error);
+      return {
+        ok: false,
+        diagnostics: [
+          makeProgramDiagnostic(
+            result.kind === "duplicate-properties" ? "DUPLICATE_ROOT_PROPERTIES" : "UNSUPPORTED_ROOT_TYPE",
+            result.error,
+            makeNodeProvenance(typeAlias, analysisFilePath)
+          )
+        ]
+      };
     }
     const duplicatePropertyNames = findFallbackAliasDuplicatePropertyNames(
       typeAlias.type,
@@ -3934,9 +3971,16 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
     if (duplicatePropertyNames.length > 0) {
       const sourceFile = typeAlias.getSourceFile();
       const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
-      throw new Error(
-        `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} contains duplicate property names across object-like members: ${duplicatePropertyNames.join(", ")}`
-      );
+      return {
+        ok: false,
+        diagnostics: [
+          makeProgramDiagnostic(
+            "DUPLICATE_ROOT_PROPERTIES",
+            `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} contains duplicate property names across object-like members: ${duplicatePropertyNames.join(", ")}`,
+            makeNodeProvenance(typeAlias, analysisFilePath)
+          )
+        ]
+      };
     }
     const rootInfo = analyzeDeclarationRootInfo(
       typeAlias,
@@ -3966,17 +4010,75 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       diagnostics
     );
     if (fallbackAnalysis !== null) {
-      return fallbackAnalysis;
+      return { ok: true, analysis: fallbackAnalysis };
     }
-    throw new Error(result.error);
+    return {
+      ok: false,
+      diagnostics: [
+        makeProgramDiagnostic(
+          "UNSUPPORTED_ROOT_TYPE",
+          result.error,
+          makeNodeProvenance(typeAlias, analysisFilePath)
+        )
+      ]
+    };
   }
-  throw new Error(
-    `Type "${typeName}" not found as a class, interface, or type alias in ${analysisFilePath}`
+  return {
+    ok: false,
+    diagnostics: [
+      makeProgramDiagnostic(
+        "TYPE_NOT_FOUND",
+        `Type "${typeName}" not found as a class, interface, or type alias in ${analysisFilePath}`,
+        makeFileProvenance(analysisFilePath)
+      )
+    ]
+  };
+}
+function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const result = analyzeNamedTypeToIRFromProgramContextDetailed(
+    ctx,
+    filePath,
+    typeName,
+    extensionRegistry,
+    metadataPolicy,
+    discriminatorOptions
   );
+  if (result.ok) {
+    return result.analysis;
+  }
+  throw new Error(result.diagnostics.map((diagnostic) => diagnostic.message).join("\n"));
+}
+function makeProgramDiagnostic(code, message, primaryLocation) {
+  return {
+    code,
+    message,
+    severity: "error",
+    primaryLocation,
+    relatedLocations: []
+  };
+}
+function makeNodeProvenance(node, filePath) {
+  const sourceFile = node.getSourceFile();
+  const position = sourceFile.getLineAndCharacterOfPosition(node.getStart());
+  return {
+    surface: "tsdoc",
+    file: filePath,
+    line: position.line + 1,
+    column: position.character,
+    length: node.getWidth()
+  };
+}
+function makeFileProvenance(filePath) {
+  return {
+    surface: "tsdoc",
+    file: filePath,
+    line: 1,
+    column: 0
+  };
 }
 
 // src/generators/class-schema.ts
-var ts5 = require("typescript");
+var ts5 = __toESM(require("typescript"), 1);
 
 // src/metadata/collision-guards.ts
 function assertUniqueSerializedNames(entries, scope) {
@@ -5038,11 +5140,25 @@ function validateIR(ir, options) {
 
 // src/generators/class-schema.ts
 function generateClassSchemas(analysis, source, options) {
-  const errorDiagnostics = analysis.diagnostics?.filter(
+  const result = generateClassSchemasDetailed(analysis, source, options);
+  if (!result.ok || result.jsonSchema === void 0 || result.uiSchema === void 0) {
+    throw new Error(formatValidationError(result.diagnostics));
+  }
+  return {
+    jsonSchema: result.jsonSchema,
+    uiSchema: result.uiSchema
+  };
+}
+function generateClassSchemasDetailed(analysis, source, options) {
+  const analysisDiagnostics = analysis.diagnostics ?? [];
+  const errorDiagnostics = analysisDiagnostics.filter(
     (diagnostic) => diagnostic.severity === "error"
   );
-  if (errorDiagnostics !== void 0 && errorDiagnostics.length > 0) {
-    throw new Error(formatValidationError(errorDiagnostics));
+  if (errorDiagnostics.length > 0) {
+    return {
+      ok: false,
+      diagnostics: analysisDiagnostics
+    };
   }
   const ir = canonicalizeTSDoc(
     analysis,
@@ -5056,9 +5172,14 @@ function generateClassSchemas(analysis, source, options) {
     ...options?.vendorPrefix !== void 0 && { vendorPrefix: options.vendorPrefix }
   });
   if (!validationResult.valid) {
-    throw new Error(formatValidationError(validationResult.diagnostics));
+    return {
+      ok: false,
+      diagnostics: [...analysisDiagnostics, ...validationResult.diagnostics]
+    };
   }
   return {
+    ok: true,
+    diagnostics: [...analysisDiagnostics, ...validationResult.diagnostics],
     jsonSchema: generateJsonSchemaFromIR(ir, options),
     uiSchema: generateUiSchemaFromIR(ir)
   };
@@ -5338,6 +5459,7 @@ function collectFormSpecReferences(methods) {
   analyzeClassToIR,
   analyzeInterfaceToIR,
   analyzeNamedTypeToIRFromProgramContext,
+  analyzeNamedTypeToIRFromProgramContextDetailed,
   analyzeTypeAliasToIR,
   canonicalizeChainDSL,
   canonicalizeTSDoc,
@@ -5349,6 +5471,7 @@ function collectFormSpecReferences(methods) {
   findInterfaceByName,
   findTypeAliasByName,
   generateClassSchemas,
+  generateClassSchemasDetailed,
   generateJsonSchemaFromIR,
   generateMethodSchemas,
   generateUiSchemaFromIR,