@vertz/compiler 0.2.19 → 0.2.20

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" | "ENTITY_MODEL_NOT_REGISTERED" | "ENTITY_EXPOSE_EMPTY_SELECT" | "ACCESS_MULTIPLE_DEFINITIONS" | "ACCESS_NON_LITERAL_KEY" | "ACCESS_NON_LITERAL_ROLE" | "ACCESS_DUPLICATE_ENTITLEMENT" | "ACCESS_WHERE_NOT_TRANSLATABLE";
+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" | "ENTITY_EXPOSE_EMPTY_SELECT" | "ENTITY_EXPOSE_NON_LITERAL" | "ENTITY_EXPOSE_RELATION_UNRESOLVED" | "ACCESS_MULTIPLE_DEFINITIONS" | "ACCESS_NON_LITERAL_KEY" | "ACCESS_NON_LITERAL_ROLE" | "ACCESS_DUPLICATE_ENTITLEMENT" | "ACCESS_WHERE_NOT_TRANSLATABLE";
 interface SourceContext {
 	lines: {
 		number: number;
@@ -440,6 +440,7 @@ declare class EntityAnalyzer extends BaseAnalyzer<EntityAnalyzerResult> {
 	private extractRelations;
 	private extractExpose;
 	private extractExposeFields;
+	private checkExposeNonLiteral;
 	/**
 	* Extract primaryKey and hiddenFields from the model's table type.
 	* Navigates ModelDef.table._columns to inspect column metadata.
@@ -451,6 +452,13 @@ declare class EntityAnalyzer extends BaseAnalyzer<EntityAnalyzerResult> {
 	*/
 	private resolveModelRelationTypes;
 	/**
+	* Post-processing: validate expose.include relations after entity resolution.
+	* Emits ENTITY_EXPOSE_RELATION_UNRESOLVED for relations whose target entity
+	* could not be resolved. The IR preserves the entries; the ir-adapter handles
+	* omission from codegen output.
+	*/
+	private validateExposeRelations;
+	/**
 	* Post-processing: resolve relation `entity` fields by matching
 	* each relation's _target return type to the table type of known entities.
 	*/

package/dist/index.js

@@ -985,6 +985,7 @@ class EntityAnalyzer extends BaseAnalyzer {
       }
     }
     this.resolveRelationEntities(entities, modelExprs);
+    this.validateExposeRelations(entities);
     return { entities };
   }
   findEntityCalls(file) {
@@ -1454,6 +1455,7 @@ class EntityAnalyzer extends BaseAnalyzer {
     const selectExpr = getPropertyValue(exposeExpr, "select");
     if (!selectExpr || !selectExpr.isKind(SyntaxKind5.ObjectLiteralExpression))
       return;
+    this.checkExposeNonLiteral(selectExpr, "expose.select", loc);
     const select = this.extractExposeFields(selectExpr);
     if (select.length === 0) {
       this.addDiagnostic({
@@ -1466,6 +1468,7 @@ class EntityAnalyzer extends BaseAnalyzer {
     const includeExpr = getPropertyValue(exposeExpr, "include");
     let include;
     if (includeExpr?.isKind(SyntaxKind5.ObjectLiteralExpression)) {
+      this.checkExposeNonLiteral(includeExpr, "expose.include", loc);
       include = getProperties(includeExpr).filter(({ value }) => getBooleanValue(value) !== false).map(({ name, value }) => {
         const boolVal = getBooleanValue(value);
         if (boolVal === true || !value.isKind(SyntaxKind5.ObjectLiteralExpression)) {
@@ -1491,6 +1494,19 @@ class EntityAnalyzer extends BaseAnalyzer {
       conditional: getBooleanValue(value) !== true
     }));
   }
+  checkExposeNonLiteral(obj, context, loc) {
+    for (const prop of obj.getProperties()) {
+      if (prop.isKind(SyntaxKind5.SpreadAssignment) || prop.isKind(SyntaxKind5.PropertyAssignment) && prop.getNameNode().isKind(SyntaxKind5.ComputedPropertyName)) {
+        this.addDiagnostic({
+          code: "ENTITY_EXPOSE_NON_LITERAL",
+          severity: "warning",
+          message: `${context} contains non-literal properties (spread or computed) that can't be statically analyzed`,
+          ...loc
+        });
+        return;
+      }
+    }
+  }
   extractModelTableMetadata(modelExpr, modelRef) {
     try {
       const modelType = modelExpr.getType();
@@ -1561,6 +1577,26 @@ class EntityAnalyzer extends BaseAnalyzer {
     } catch {}
     return result;
   }
+  validateExposeRelations(entities) {
+    for (const entity of entities) {
+      if (!entity.expose?.include)
+        continue;
+      const relationMap = new Map(entity.relations.map((r) => [r.name, r]));
+      for (const rel of entity.expose.include) {
+        const matchedRelation = relationMap.get(rel.name);
+        if (!matchedRelation || !matchedRelation.entity) {
+          this.addDiagnostic({
+            code: "ENTITY_EXPOSE_RELATION_UNRESOLVED",
+            severity: "warning",
+            message: `expose.include references relation "${rel.name}" whose target entity could not be resolved`,
+            file: entity.sourceFile,
+            line: entity.sourceLine,
+            column: entity.sourceColumn
+          });
+        }
+      }
+    }
+  }
   resolveRelationEntities(entities, modelExprs) {
     try {
       const tableToEntity = new Map;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vertz/compiler",
-  "version": "0.2.19",
+  "version": "0.2.20",
   "type": "module",
   "license": "MIT",
   "description": "Vertz compiler — internal, no stability guarantee",