@vertz/compiler 0.2.12 → 0.2.14

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" | "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";
+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" | "ENTITY_MODEL_NOT_REGISTERED";
 interface SourceContext {
 	lines: {
 		number: number;
@@ -38,6 +38,7 @@ interface AppIR {
 	middleware: MiddlewareIR[];
 	schemas: SchemaIR[];
 	entities: EntityIR[];
+	databases: DatabaseIR[];
 	dependencyGraph: DependencyGraphIR;
 	diagnostics: Diagnostic[];
 }
@@ -163,6 +164,9 @@ interface ResolvedField {
 	tsType: "string" | "number" | "boolean" | "date" | "unknown";
 	optional: boolean;
 }
+interface DatabaseIR extends SourceLocation {
+	modelKeys: string[];
+}
 interface EntityIR extends SourceLocation {
 	name: string;
 	modelRef: EntityModelRef;
@@ -208,6 +212,8 @@ interface EntityActionIR extends SourceLocation {
 }
 interface EntityRelationIR {
 	name: string;
+	type?: "one" | "many";
+	entity?: string;
 	selection: "all" | string[];
 }
 interface ModuleDefContext {
@@ -291,6 +297,24 @@ declare class AppAnalyzer extends BaseAnalyzer<AppAnalyzerResult> {
 	private extractRegistrations;
 	private extractOptions;
 }
+interface DatabaseAnalyzerResult {
+	databases: DatabaseIR[];
+}
+declare class DatabaseAnalyzer extends BaseAnalyzer<DatabaseAnalyzerResult> {
+	analyze(): Promise<DatabaseAnalyzerResult>;
+	private findCreateDbCalls;
+	private extractDatabase;
+	/**
+	* Resolves an expression to an ObjectLiteralExpression.
+	* Handles inline object literals and variable references.
+	*/
+	private resolveObjectLiteral;
+	/**
+	* Extracts property keys from a models object, emitting warnings for
+	* spread assignments and computed property names that can't be resolved.
+	*/
+	private extractModelKeys;
+}
 interface DependencyGraphInput {
 	modules: ModuleIR[];
 	middleware: MiddlewareIR[];
@@ -312,43 +336,6 @@ declare class DependencyGraphAnalyzer extends BaseAnalyzer<DependencyGraphResult
 	private emitUnresolvedInjectDiagnostics;
 	private warnUnresolvedInjects;
 }
-interface EnvAnalyzerResult {
-	env: EnvIR | undefined;
-}
-declare class EnvAnalyzer extends BaseAnalyzer<EnvAnalyzerResult> {
-	analyze(): Promise<EnvAnalyzerResult>;
-}
-interface MiddlewareAnalyzerResult {
-	middleware: MiddlewareIR[];
-}
-declare class MiddlewareAnalyzer extends BaseAnalyzer<MiddlewareAnalyzerResult> {
-	analyze(): Promise<MiddlewareAnalyzerResult>;
-	private resolveSchemaRef;
-}
-import { Expression, ObjectLiteralExpression } from "ts-morph";
-interface ModuleAnalyzerResult {
-	modules: ModuleIR[];
-}
-declare class ModuleAnalyzer extends BaseAnalyzer<ModuleAnalyzerResult> {
-	analyze(): Promise<ModuleAnalyzerResult>;
-}
-declare function parseImports(obj: ObjectLiteralExpression): ImportRef[];
-declare function extractIdentifierNames(expr: Expression): string[];
-interface RouteAnalyzerResult {
-	routers: RouterIR[];
-}
-declare class RouteAnalyzer extends BaseAnalyzer<RouteAnalyzerResult> {
-	analyze(): Promise<RouteAnalyzerResult>;
-	analyzeForModules(context: ModuleDefContext): Promise<RouteAnalyzerResult>;
-	private detectUnknownRouterCalls;
-	private extractRoutes;
-	private findChainedHttpCalls;
-	private chainResolvesToVariable;
-	private extractRoute;
-	private resolveSchemaRef;
-	private extractMiddlewareRefs;
-	private generateOperationId;
-}
 interface EntityAnalyzerResult {
 	entities: EntityIR[];
 }
@@ -391,6 +378,53 @@ declare class EntityAnalyzer extends BaseAnalyzer<EntityAnalyzerResult> {
 	private extractActions;
 	private resolveSchemaFromExpression;
 	private extractRelations;
+	/**
+	* Resolve relation types from the model's TypeScript type.
+	* Navigates ModelDef.relations to extract _type ('one'/'many') for each relation.
+	*/
+	private resolveModelRelationTypes;
+	/**
+	* Post-processing: resolve relation `entity` fields by matching
+	* each relation's _target return type to the table type of known entities.
+	*/
+	private resolveRelationEntities;
+}
+interface EnvAnalyzerResult {
+	env: EnvIR | undefined;
+}
+declare class EnvAnalyzer extends BaseAnalyzer<EnvAnalyzerResult> {
+	analyze(): Promise<EnvAnalyzerResult>;
+}
+interface MiddlewareAnalyzerResult {
+	middleware: MiddlewareIR[];
+}
+declare class MiddlewareAnalyzer extends BaseAnalyzer<MiddlewareAnalyzerResult> {
+	analyze(): Promise<MiddlewareAnalyzerResult>;
+	private resolveSchemaRef;
+}
+import { Expression, ObjectLiteralExpression } from "ts-morph";
+interface ModuleAnalyzerResult {
+	modules: ModuleIR[];
+}
+declare class ModuleAnalyzer extends BaseAnalyzer<ModuleAnalyzerResult> {
+	analyze(): Promise<ModuleAnalyzerResult>;
+}
+declare function parseImports(obj: ObjectLiteralExpression): ImportRef[];
+declare function extractIdentifierNames(expr: Expression): string[];
+interface RouteAnalyzerResult {
+	routers: RouterIR[];
+}
+declare class RouteAnalyzer extends BaseAnalyzer<RouteAnalyzerResult> {
+	analyze(): Promise<RouteAnalyzerResult>;
+	analyzeForModules(context: ModuleDefContext): Promise<RouteAnalyzerResult>;
+	private detectUnknownRouterCalls;
+	private extractRoutes;
+	private findChainedHttpCalls;
+	private chainResolvesToVariable;
+	private extractRoute;
+	private resolveSchemaRef;
+	private extractMiddlewareRefs;
+	private generateOperationId;
 }
 import { Expression as Expression2, SourceFile } from "ts-morph";
 interface SchemaAnalyzerResult {
@@ -439,6 +473,7 @@ interface CompilerDependencies {
 		module: Analyzer<ModuleAnalyzerResult>;
 		app: Analyzer<AppAnalyzerResult>;
 		entity: Analyzer<EntityAnalyzerResult>;
+		database: Analyzer<DatabaseAnalyzerResult>;
 		dependencyGraph: Analyzer<DependencyGraphResult>;
 	};
 	validators: Validator[];
@@ -799,6 +834,7 @@ declare class CompletenessValidator implements Validator {
 	private checkRoutePathFormat;
 	private checkPathParamMatch;
 	private checkDuplicateRoutes;
+	private checkEntityModelRegistration;
 	private checkCtxKeyCollisions;
 }
 declare class ModuleValidator implements Validator {
@@ -824,4 +860,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, 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 };
+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, DatabaseIR, DatabaseAnalyzerResult, DatabaseAnalyzer, CreateDiagnosticOptions, CompletenessValidator, CompilerDependencies, CompilerConfig, Compiler, CompileResult, CategorizedChanges, CategorizeOptions, BootModuleEntry, BootMiddlewareEntry, BootManifest, BootGenerator, BaseGenerator, BaseAnalyzer, AppManifest, AppIR, AppDefinition, AppAnalyzerResult, AppAnalyzer, Analyzer };