@formspec/build 0.1.0-alpha.10 → 0.1.0-alpha.12

package/dist/generators/class-schema.d.ts

@@ -1,46 +1,34 @@
 /**
  * Class schema generator.
  *
- * Generates JSON Schema and FormSpec/UI Schema from statically analyzed
- * class fields and decorators.
+ * Generates JSON Schema 2020-12 and JSON Forms UI Schema from statically
+ * analyzed class/interface/type alias declarations, routing through the
+ * canonical FormIR pipeline.
  */
-import type * as ts from "typescript";
-import type { ClassAnalysis, FieldInfo } from "../analyzer/class-analyzer.js";
-import { type FormSpecField } from "../analyzer/type-converter.js";
-import type { ExtendedJSONSchema7 } from "../json-schema/types.js";
+import type { UISchema } from "../ui-schema/types.js";
+import { type IRClassAnalysis } from "../analyzer/class-analyzer.js";
+import { type TSDocSource } from "../canonicalize/index.js";
+import { type JsonSchema2020 } from "../json-schema/ir-generator.js";
 /**
  * Generated schemas for a class.
  */
 export interface ClassSchemas {
-    /** JSON Schema for validation */
-    jsonSchema: ExtendedJSONSchema7;
-    /** FormSpec/UI Schema for rendering */
-    uiSchema: {
-        elements: FormSpecField[];
-    };
+    /** JSON Schema 2020-12 for validation */
+    jsonSchema: JsonSchema2020;
+    /** JSON Forms UI Schema for rendering */
+    uiSchema: UISchema;
 }
 /**
- * Generates JSON Schema and FormSpec from a class analysis.
+ * Generates JSON Schema 2020-12 and UI Schema from an IR class analysis.
  *
- * Uses static type information and decorator metadata to build
- * complete schema definitions for a class's fields.
+ * Routes through the canonical IR pipeline:
+ *   IRClassAnalysis → canonicalizeTSDoc → FormIR → JSON Schema / UI Schema
  *
- * @param analysis - The class analysis result
- * @param checker - TypeScript type checker
- * @returns Generated JSON Schema and FormSpec
+ * @param analysis - The IR analysis result (from analyzeClassToIR, analyzeInterfaceToIR, or analyzeTypeAliasToIR)
+ * @param source - Optional source file metadata for provenance
+ * @returns Generated JSON Schema and UI Schema
  */
-export declare function generateClassSchemas(analysis: ClassAnalysis, checker: ts.TypeChecker): ClassSchemas;
-/**
- * Generates JSON Schema for a single field.
- *
- * Useful for generating schemas for method return types
- * or individual field extraction.
- *
- * @param field - The field information
- * @param checker - TypeScript type checker
- * @returns JSON Schema for the field's type
- */
-export declare function generateFieldSchema(field: FieldInfo, checker: ts.TypeChecker): ExtendedJSONSchema7;
+export declare function generateClassSchemas(analysis: IRClassAnalysis, source?: TSDocSource): ClassSchemas;
 /**
  * Options for generating schemas from a decorated class.
  */
@@ -54,18 +42,16 @@ export interface GenerateFromClassOptions {
  * Result of generating schemas from a decorated class.
  */
 export interface GenerateFromClassResult {
-    /** JSON Schema for validation */
-    jsonSchema: ExtendedJSONSchema7;
-    /** FormSpec/UI Schema for rendering */
-    uiSchema: {
-        elements: FormSpecField[];
-    };
+    /** JSON Schema 2020-12 for validation */
+    jsonSchema: JsonSchema2020;
+    /** JSON Forms UI Schema for rendering */
+    uiSchema: UISchema;
 }
 /**
- * Generates JSON Schema and FormSpec/UI Schema from a decorated TypeScript class.
+ * Generates JSON Schema and UI Schema from a decorated TypeScript class.
  *
  * This is a high-level entry point that handles the entire pipeline:
- * creating a TypeScript program, finding the class, analyzing it,
+ * creating a TypeScript program, finding the class, analyzing it to IR,
  * and generating schemas — all in one call.
  *
  * @example
@@ -78,7 +64,7 @@ export interface GenerateFromClassResult {
  * ```
  *
  * @param options - File path, class name, and optional compiler options
- * @returns Generated JSON Schema and FormSpec/UI Schema
+ * @returns Generated JSON Schema and UI Schema
  */
 export declare function generateSchemasFromClass(options: GenerateFromClassOptions): GenerateFromClassResult;
 /**
@@ -91,20 +77,15 @@ export interface GenerateSchemasOptions {
     typeName: string;
 }
 /**
- * Generates JSON Schema and FormSpec/UI Schema from a named TypeScript
+ * Generates JSON Schema and UI Schema from a named TypeScript
  * type — a decorated class, an interface with TSDoc tags, or a type alias.
  *
  * This is the recommended entry point. It automatically detects whether
  * the name resolves to a class, interface, or type alias and uses the
- * appropriate analysis pipeline:
- *
- * - **Classes**: extracts decorators and JSDoc constraints
- * - **Interfaces**: extracts TSDoc tags (`@Field_displayName`, `@Minimum`, etc.)
- * - **Type aliases**: object literal bodies analyzed like interfaces
+ * appropriate IR analysis pipeline.
  *
  * @example
  * ```typescript
- * // Works with both classes and interfaces — caller doesn't need to know
  * const result = generateSchemas({
  *   filePath: "./src/config.ts",
  *   typeName: "DiscountConfig",
@@ -112,7 +93,7 @@ export interface GenerateSchemasOptions {
  * ```
  *
  * @param options - File path and type name
- * @returns Generated JSON Schema and FormSpec/UI Schema
+ * @returns Generated JSON Schema and UI Schema
  */
 export declare function generateSchemas(options: GenerateSchemasOptions): GenerateFromClassResult;
 //# sourceMappingURL=class-schema.d.ts.map

package/dist/generators/class-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"class-schema.d.ts","sourceRoot":"","sources":["../../src/generators/class-schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAIL,KAAK,aAAa,EACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AASnE;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,iCAAiC;IACjC,UAAU,EAAE,mBAAmB,CAAC;IAChC,uCAAuC;IACvC,QAAQ,EAAE;QACR,QAAQ,EAAE,aAAa,EAAE,CAAC;KAC3B,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,YAAY,CAwCd;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,mBAAmB,CAGrB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,iCAAiC;IACjC,UAAU,EAAE,mBAAmB,CAAC;IAChC,uCAAuC;IACvC,QAAQ,EAAE;QAAE,QAAQ,EAAE,aAAa,EAAE,CAAA;KAAE,CAAC;CACzC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,wBAAwB,GAChC,uBAAuB,CAUzB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,uBAAuB,CA8BxF"}
+{"version":3,"file":"class-schema.d.ts","sourceRoot":"","sources":["../../src/generators/class-schema.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAOtD,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAA4B,KAAK,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAG/F;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,yCAAyC;IACzC,UAAU,EAAE,cAAc,CAAC;IAC3B,yCAAyC;IACzC,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,eAAe,EACzB,MAAM,CAAC,EAAE,WAAW,GACnB,YAAY,CAMd;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,yCAAyC;IACzC,UAAU,EAAE,cAAc,CAAC;IAC3B,yCAAyC;IACzC,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,wBAAwB,GAChC,uBAAuB,CAUzB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,uBAAuB,CA+BxF"}

package/dist/generators/method-schema.d.ts

@@ -1,14 +1,12 @@
 /**
  * Method schema generator.
  *
- * Generates schemas for method parameters and return types:
- * - Parameters using FormSpec (InferSchema<typeof X>) -> runtime generation
- * - Parameters with regular types -> static type conversion
- * - Return types -> static type conversion
+ * Generates schemas for method parameters and return types, routing through
+ * the canonical IR pipeline (TypeScript type → TypeNode → JSON Schema 2020-12).
  */
 import type * as ts from "typescript";
 import type { MethodInfo } from "../analyzer/class-analyzer.js";
-import type { ExtendedJSONSchema7 } from "../json-schema/types.js";
+import { type JsonSchema2020 } from "../json-schema/ir-generator.js";
 /**
  * Runtime-loaded FormSpec schemas, compatible with the CLI's FormSpecSchemas type.
  */
@@ -29,14 +27,14 @@ export interface MethodSchemas {
     /** Parameter schemas (from FormSpec or static analysis) */
     params: MethodParamsSchemas | null;
     /** Return type schema */
-    returnType: ExtendedJSONSchema7;
+    returnType: JsonSchema2020;
 }
 /**
  * Parameter schemas for a method.
  */
 export interface MethodParamsSchemas {
     /** JSON Schema for parameters */
-    jsonSchema: ExtendedJSONSchema7;
+    jsonSchema: JsonSchema2020;
     /** UI Schema / FormSpec for parameters (if available) */
     uiSchema: object | null;
     /** Name of the FormSpec export used (if any) */
@@ -47,7 +45,7 @@ export interface MethodParamsSchemas {
  *
  * If a parameter references a FormSpec via `InferSchema<typeof X>`,
  * the schemas are taken from the loaded FormSpec at runtime.
- * Otherwise, schemas are generated from static type analysis.
+ * Otherwise, schemas are generated from static type analysis via the IR.
  *
  * @param method - The method information from static analysis
  * @param checker - TypeScript type checker

package/dist/generators/method-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"method-schema.d.ts","sourceRoot":"","sources":["../../src/generators/method-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAiB,MAAM,+BAA+B,CAAC;AAE/E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAEnE;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,UAAU,EAAE,OAAO,CAAC;IACpB,gDAAgD;IAChD,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACnC,yBAAyB;IACzB,UAAU,EAAE,mBAAmB,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,iCAAiC;IACjC,UAAU,EAAE,mBAAmB,CAAC;IAChC,yDAAyD;IACzD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,gDAAgD;IAChD,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,GAClD,aAAa,CAYf;AAuED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAY5E"}
+{"version":3,"file":"method-schema.d.ts","sourceRoot":"","sources":["../../src/generators/method-schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAiB,MAAM,+BAA+B,CAAC;AAG/E,OAAO,EAA4B,KAAK,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAG/F;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,UAAU,EAAE,OAAO,CAAC;IACpB,gDAAgD;IAChD,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACnC,yBAAyB;IACzB,UAAU,EAAE,cAAc,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,iCAAiC;IACjC,UAAU,EAAE,cAAc,CAAC;IAC3B,yDAAyD;IACzD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,gDAAgD;IAChD,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AA4CD;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,GAClD,aAAa,CAYf;AAmED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAY5E"}