@vertz/compiler 0.2.0 → 0.2.3

package/dist/index.d.ts

@@ -1,5 +1,5 @@
 type DiagnosticSeverity = "error" | "warning" | "info";
-type DiagnosticCode = "VERTZ_SCHEMA_NAMING" | "VERTZ_SCHEMA_PLACEMENT" | "VERTZ_SCHEMA_EXECUTION" | "VERTZ_SCHEMA_MISSING_ID" | "VERTZ_SCHEMA_DYNAMIC_NAME" | "VERTZ_MODULE_CIRCULAR" | "VERTZ_MODULE_EXPORT_INVALID" | "VERTZ_MODULE_IMPORT_MISSING" | "VERTZ_MODULE_DUPLICATE_NAME" | "VERTZ_MODULE_DYNAMIC_NAME" | "VERTZ_MODULE_OPTIONS_INVALID" | "VERTZ_MODULE_WRONG_OWNERSHIP" | "VERTZ_SERVICE_INJECT_MISSING" | "VERTZ_SERVICE_UNUSED" | "VERTZ_SERVICE_DYNAMIC_NAME" | "VERTZ_ENV_MISSING_DEFAULT" | "VERTZ_ENV_DUPLICATE" | "VERTZ_ENV_DYNAMIC_CONFIG" | "VERTZ_MW_MISSING_NAME" | "VERTZ_MW_MISSING_HANDLER" | "VERTZ_MW_DYNAMIC_NAME" | "VERTZ_MW_NON_OBJECT_CONFIG" | "VERTZ_MW_REQUIRES_UNSATISFIED" | "VERTZ_MW_PROVIDES_COLLISION" | "VERTZ_MW_ORDER_INVALID" | "VERTZ_RT_UNKNOWN_MODULE_DEF" | "VERTZ_RT_DYNAMIC_PATH" | "VERTZ_RT_MISSING_HANDLER" | "VERTZ_RT_MISSING_PREFIX" | "VERTZ_RT_DYNAMIC_CONFIG" | "VERTZ_RT_INVALID_PATH" | "VERTZ_ROUTE_DUPLICATE" | "VERTZ_ROUTE_PARAM_MISMATCH" | "VERTZ_ROUTE_MISSING_RESPONSE" | "VERTZ_APP_MISSING" | "VERTZ_APP_NOT_FOUND" | "VERTZ_APP_DUPLICATE" | "VERTZ_APP_BASEPATH_FORMAT" | "VERTZ_APP_INLINE_MODULE" | "VERTZ_DEP_CYCLE" | "VERTZ_DEP_CIRCULAR" | "VERTZ_DEP_UNRESOLVED_INJECT" | "VERTZ_DEP_INIT_ORDER" | "VERTZ_CTX_COLLISION" | "VERTZ_DEAD_CODE";
+type DiagnosticCode = "VERTZ_SCHEMA_NAMING" | "VERTZ_SCHEMA_PLACEMENT" | "VERTZ_SCHEMA_EXECUTION" | "VERTZ_SCHEMA_MISSING_ID" | "VERTZ_SCHEMA_DYNAMIC_NAME" | "VERTZ_MODULE_CIRCULAR" | "VERTZ_MODULE_EXPORT_INVALID" | "VERTZ_MODULE_IMPORT_MISSING" | "VERTZ_MODULE_DUPLICATE_NAME" | "VERTZ_MODULE_DYNAMIC_NAME" | "VERTZ_MODULE_OPTIONS_INVALID" | "VERTZ_MODULE_WRONG_OWNERSHIP" | "VERTZ_SERVICE_INJECT_MISSING" | "VERTZ_SERVICE_UNUSED" | "VERTZ_SERVICE_DYNAMIC_NAME" | "VERTZ_ENV_MISSING_DEFAULT" | "VERTZ_ENV_DUPLICATE" | "VERTZ_ENV_DYNAMIC_CONFIG" | "VERTZ_MW_MISSING_NAME" | "VERTZ_MW_MISSING_HANDLER" | "VERTZ_MW_DYNAMIC_NAME" | "VERTZ_MW_NON_OBJECT_CONFIG" | "VERTZ_MW_REQUIRES_UNSATISFIED" | "VERTZ_MW_PROVIDES_COLLISION" | "VERTZ_MW_ORDER_INVALID" | "VERTZ_RT_UNKNOWN_MODULE_DEF" | "VERTZ_RT_DYNAMIC_PATH" | "VERTZ_RT_MISSING_HANDLER" | "VERTZ_RT_MISSING_PREFIX" | "VERTZ_RT_DYNAMIC_CONFIG" | "VERTZ_RT_INVALID_PATH" | "VERTZ_ROUTE_DUPLICATE" | "VERTZ_ROUTE_PARAM_MISMATCH" | "VERTZ_ROUTE_MISSING_RESPONSE" | "VERTZ_APP_MISSING" | "VERTZ_APP_NOT_FOUND" | "VERTZ_APP_DUPLICATE" | "VERTZ_APP_BASEPATH_FORMAT" | "VERTZ_APP_INLINE_MODULE" | "VERTZ_DEP_CYCLE" | "VERTZ_DEP_CIRCULAR" | "VERTZ_DEP_UNRESOLVED_INJECT" | "VERTZ_DEP_INIT_ORDER" | "VERTZ_CTX_COLLISION" | "VERTZ_DEAD_CODE" | "ENTITY_MISSING_ARGS" | "ENTITY_NON_LITERAL_NAME" | "ENTITY_INVALID_NAME" | "ENTITY_DUPLICATE_NAME" | "ENTITY_CONFIG_NOT_OBJECT" | "ENTITY_MISSING_MODEL" | "ENTITY_MODEL_UNRESOLVABLE" | "ENTITY_ACTION_NAME_COLLISION" | "ENTITY_ACTION_MISSING_SCHEMA" | "ENTITY_ACTION_INVALID_METHOD" | "ENTITY_UNKNOWN_ACCESS_OP" | "ENTITY_UNRESOLVED_IMPORT" | "ENTITY_ROUTE_COLLISION" | "ENTITY_NO_ROUTES";
 interface SourceContext {
 	lines: {
 		number: number;
@@ -37,6 +37,7 @@ interface AppIR {
 	modules: ModuleIR[];
 	middleware: MiddlewareIR[];
 	schemas: SchemaIR[];
+	entities: EntityIR[];
 	dependencyGraph: DependencyGraphIR;
 	diagnostics: Diagnostic[];
 }
@@ -154,6 +155,60 @@ interface InlineSchemaRef {
 	kind: "inline";
 	sourceFile: string;
 	jsonSchema?: Record<string, unknown>;
+	resolvedFields?: ResolvedField[];
+}
+/** Structured field info extracted from resolved TypeScript types. */
+interface ResolvedField {
+	name: string;
+	tsType: "string" | "number" | "boolean" | "date" | "unknown";
+	optional: boolean;
+}
+interface EntityIR extends SourceLocation {
+	name: string;
+	modelRef: EntityModelRef;
+	access: EntityAccessIR;
+	hooks: EntityHooksIR;
+	actions: EntityActionIR[];
+	relations: EntityRelationIR[];
+}
+interface EntityModelRef {
+	variableName: string;
+	importSource?: string;
+	tableName?: string;
+	schemaRefs: EntityModelSchemaRefs;
+}
+interface EntityModelSchemaRefs {
+	response?: SchemaRef;
+	createInput?: SchemaRef;
+	updateInput?: SchemaRef;
+	resolved: boolean;
+}
+interface EntityAccessIR {
+	list: EntityAccessRuleKind;
+	get: EntityAccessRuleKind;
+	create: EntityAccessRuleKind;
+	update: EntityAccessRuleKind;
+	delete: EntityAccessRuleKind;
+	custom: Record<string, EntityAccessRuleKind>;
+}
+type EntityAccessRuleKind = "none" | "false" | "function";
+interface EntityHooksIR {
+	before: ("create" | "update")[];
+	after: ("create" | "update" | "delete")[];
+}
+interface EntityActionIR extends SourceLocation {
+	name: string;
+	method: HttpMethod;
+	path?: string;
+	params?: SchemaRef;
+	query?: SchemaRef;
+	headers?: SchemaRef;
+	body?: SchemaRef;
+	response?: SchemaRef;
+}
+interface EntityRelationIR {
+	name: string;
+	selection: "all" | string[];
 }
 interface ModuleDefContext {
 	moduleDefVariables: Map<string, string>;
@@ -216,6 +271,7 @@ declare function defineConfig(config: VertzConfig): VertzConfig;
 declare function resolveConfig(config?: VertzConfig): ResolvedConfig;
 interface Analyzer<T> {
 	analyze(): Promise<T>;
+	getDiagnostics(): Diagnostic[];
 }
 declare abstract class BaseAnalyzer<T> implements Analyzer<T> {
 	protected readonly project: Project;
@@ -293,6 +349,49 @@ declare class RouteAnalyzer extends BaseAnalyzer<RouteAnalyzerResult> {
 	private extractMiddlewareRefs;
 	private generateOperationId;
 }
+interface EntityAnalyzerResult {
+	entities: EntityIR[];
+}
+declare class EntityAnalyzer extends BaseAnalyzer<EntityAnalyzerResult> {
+	private debug;
+	analyze(): Promise<EntityAnalyzerResult>;
+	private findEntityCalls;
+	private extractEntity;
+	private extractModelRef;
+	private findImportForIdentifier;
+	private resolveModelSchemas;
+	private extractSchemaType;
+	/**
+	* Build JSON Schema from resolved fields.
+	* Maps tsType ('string' | 'number' | 'boolean' | 'date' | 'unknown') to JSON Schema types.
+	*/
+	private buildJsonSchema;
+	/**
+	* Map tsType to JSON Schema type.
+	* Handles column types like text → string, boolean → boolean, uuid → string with format,
+	* timestamp with time zone → string with date-time format, integer → integer, real/float → number.
+	*/
+	private tsTypeToJsonSchema;
+	/**
+	* Navigate through SchemaLike<T> to extract T's field info.
+	* SchemaLike<T>.parse() returns { ok: true; data: T } | { ok: false; error: Error }.
+	* We unwrap the Result union to get T from the success branch's `data` property.
+	*/
+	private resolveFieldsFromSchemaType;
+	/**
+	* Unwrap a Result type to extract T from the success branch.
+	* Handles: { ok: true; data: T } | { ok: false; error: Error } → T
+	* Falls back to the type itself if it's not a Result union (backward compat).
+	*/
+	private unwrapResultType;
+	private mapTsType;
+	private extractAccess;
+	private classifyAccessRule;
+	private extractHooks;
+	private extractActions;
+	private resolveSchemaFromExpression;
+	private extractRelations;
+}
 import { Expression as Expression2, SourceFile } from "ts-morph";
 interface SchemaAnalyzerResult {
 	schemas: SchemaIR[];
@@ -339,6 +438,7 @@ interface CompilerDependencies {
 		middleware: Analyzer<MiddlewareAnalyzerResult>;
 		module: Analyzer<ModuleAnalyzerResult>;
 		app: Analyzer<AppAnalyzerResult>;
+		entity: Analyzer<EntityAnalyzerResult>;
 		dependencyGraph: Analyzer<DependencyGraphResult>;
 	};
 	validators: Validator[];
@@ -630,6 +730,8 @@ declare class IncrementalCompiler {
 declare function createEmptyDependencyGraph(): DependencyGraphIR;
 declare function createEmptyAppIR(): AppIR;
 declare function addDiagnosticsToIR(ir: AppIR, diagnostics: readonly Diagnostic[]): AppIR;
+declare function injectEntityRoutes(ir: AppIR): void;
+declare function detectRouteCollisions(ir: AppIR): Diagnostic[];
 declare function mergeIR(base: AppIR, partial: Partial<AppIR>): AppIR;
 import { ChildProcess } from "node:child_process";
 interface TypecheckDiagnostic {
@@ -722,4 +824,4 @@ declare class PlacementValidator implements Validator {
 	private checkFileLocation;
 	private checkMixedExports;
 }
-export { typecheckWatch, typecheck, resolveImportPath, resolveIdentifier, resolveExport, resolveConfig, renderSchemaRegistryFile, renderRouteTableFile, renderBootFile, parseWatchBlock, parseTscOutput, parseSchemaName2 as parseSchemaName, parseInjectRefs, parseImports, mergeIR, mergeDiagnostics, isSchemaFile, isSchemaExpression, isFromImport, hasErrors, getVariableNameForCall, getStringValue, getSourceLocation, getPropertyValue, getProperties, getNumberValue, getBooleanValue, getArrayElements, findMethodCallsOnVariable, findCallExpressions, findAffectedModules, filterBySeverity, extractSchemaId, extractObjectLiteral, extractMethodSignatures, extractIdentifierNames, defineConfig, createSchemaExecutor, createNamedSchemaRef, createInlineSchemaRef, createEmptyDependencyGraph, createEmptyAppIR, createDiagnosticFromLocation, createDiagnostic, createCompiler, categorizeChanges, buildSchemaRegistry, buildRouteTable, buildManifest, buildBootManifest, addDiagnosticsToIR, VertzConfig, Validator, ValidationConfig, ValidPart, ValidOperation, TypecheckWatchOptions, TypecheckResult, TypecheckOptions, TypecheckDiagnostic, SourceLocation, SourceContext, ServiceMethodParam, ServiceMethodIR, ServiceIR, ServiceAnalyzerResult, ServiceAnalyzer, SchemaRegistryManifest, SchemaRegistryGenerator, SchemaRegistryEntry, SchemaRef, SchemaNameParts, SchemaIR, SchemaExecutor, SchemaExecutionResult, SchemaConfig, SchemaAnalyzerResult, SchemaAnalyzer, RouterIR, RouteTableSchemas, RouteTableManifest, RouteTableGenerator, RouteTableEntry, RouteIR, RouteAnalyzerResult, RouteAnalyzer, ResolvedImport, ResolvedConfig, PlacementValidator, ParsedSchemaName, OpenAPITag, OpenAPIServer, OpenAPIResponse, OpenAPIRequestBody, OpenAPIPathItem, OpenAPIParameter, OpenAPIOperation, OpenAPIInfo, OpenAPIGenerator, OpenAPIDocument, OpenAPIConfig, NamingValidator, NamedSchemaRef, ModuleValidator, ModuleRegistration, ModuleIR, ModuleDefContext, ModuleAnalyzerResult, ModuleAnalyzer, MiddlewareRef, MiddlewareIR, MiddlewareAnalyzerResult, MiddlewareAnalyzer, ManifestRoute, ManifestModule, ManifestMiddleware, ManifestGenerator, ManifestDiagnostic, ManifestDependencyEdge, JSONSchemaObject, InlineSchemaRef, InjectRef, IncrementalResult, IncrementalCompiler, ImportRef, HttpMethod, Generator, FileChange, FileCategory, EnvVariableIR, EnvIR, EnvAnalyzerResult, EnvAnalyzer, DiagnosticSeverity, DiagnosticCode, Diagnostic, DependencyNodeKind, DependencyNode, DependencyGraphResult, DependencyGraphInput, DependencyGraphIR, DependencyGraphAnalyzer, DependencyEdgeKind, DependencyEdge, CreateDiagnosticOptions, CompletenessValidator, CompilerDependencies, CompilerConfig, Compiler, CompileResult, CategorizedChanges, CategorizeOptions, BootModuleEntry, BootMiddlewareEntry, BootManifest, BootGenerator, BaseGenerator, BaseAnalyzer, AppManifest, AppIR, AppDefinition, AppAnalyzerResult, AppAnalyzer, Analyzer };
+export { typecheckWatch, typecheck, resolveImportPath, resolveIdentifier, resolveExport, resolveConfig, renderSchemaRegistryFile, renderRouteTableFile, renderBootFile, parseWatchBlock, parseTscOutput, parseSchemaName2 as parseSchemaName, parseInjectRefs, parseImports, mergeIR, mergeDiagnostics, isSchemaFile, isSchemaExpression, isFromImport, injectEntityRoutes, hasErrors, getVariableNameForCall, getStringValue, getSourceLocation, getPropertyValue, getProperties, getNumberValue, getBooleanValue, getArrayElements, findMethodCallsOnVariable, findCallExpressions, findAffectedModules, filterBySeverity, extractSchemaId, extractObjectLiteral, extractMethodSignatures, extractIdentifierNames, detectRouteCollisions, defineConfig, createSchemaExecutor, createNamedSchemaRef, createInlineSchemaRef, createEmptyDependencyGraph, createEmptyAppIR, createDiagnosticFromLocation, createDiagnostic, createCompiler, categorizeChanges, buildSchemaRegistry, buildRouteTable, buildManifest, buildBootManifest, addDiagnosticsToIR, VertzConfig, Validator, ValidationConfig, ValidPart, ValidOperation, TypecheckWatchOptions, TypecheckResult, TypecheckOptions, TypecheckDiagnostic, SourceLocation, SourceContext, ServiceMethodParam, ServiceMethodIR, ServiceIR, ServiceAnalyzerResult, ServiceAnalyzer, SchemaRegistryManifest, SchemaRegistryGenerator, SchemaRegistryEntry, SchemaRef, SchemaNameParts, SchemaIR, SchemaExecutor, SchemaExecutionResult, SchemaConfig, SchemaAnalyzerResult, SchemaAnalyzer, RouterIR, RouteTableSchemas, RouteTableManifest, RouteTableGenerator, RouteTableEntry, RouteIR, RouteAnalyzerResult, RouteAnalyzer, ResolvedImport, ResolvedConfig, PlacementValidator, ParsedSchemaName, OpenAPITag, OpenAPIServer, OpenAPIResponse, OpenAPIRequestBody, OpenAPIPathItem, OpenAPIParameter, OpenAPIOperation, OpenAPIInfo, OpenAPIGenerator, OpenAPIDocument, OpenAPIConfig, NamingValidator, NamedSchemaRef, ModuleValidator, ModuleRegistration, ModuleIR, ModuleDefContext, ModuleAnalyzerResult, ModuleAnalyzer, MiddlewareRef, MiddlewareIR, MiddlewareAnalyzerResult, MiddlewareAnalyzer, ManifestRoute, ManifestModule, ManifestMiddleware, ManifestGenerator, ManifestDiagnostic, ManifestDependencyEdge, JSONSchemaObject, InlineSchemaRef, InjectRef, IncrementalResult, IncrementalCompiler, ImportRef, HttpMethod, Generator, FileChange, FileCategory, EnvVariableIR, EnvIR, EnvAnalyzerResult, EnvAnalyzer, EntityRelationIR, EntityModelSchemaRefs, EntityModelRef, EntityIR, EntityHooksIR, EntityAnalyzerResult, EntityAnalyzer, EntityActionIR, EntityAccessRuleKind, EntityAccessIR, DiagnosticSeverity, DiagnosticCode, Diagnostic, DependencyNodeKind, DependencyNode, DependencyGraphResult, DependencyGraphInput, DependencyGraphIR, DependencyGraphAnalyzer, DependencyEdgeKind, DependencyEdge, CreateDiagnosticOptions, CompletenessValidator, CompilerDependencies, CompilerConfig, Compiler, CompileResult, CategorizedChanges, CategorizeOptions, BootModuleEntry, BootMiddlewareEntry, BootManifest, BootGenerator, BaseGenerator, BaseAnalyzer, AppManifest, AppIR, AppDefinition, AppAnalyzerResult, AppAnalyzer, Analyzer };