@zenstackhq/language 3.0.0-beta.32 → 3.0.0-beta.34

package/dist/index.js

@@ -6704,6 +6704,9 @@ var ExpressionValidator = class {
       case "BinaryExpr":
         this.validateBinaryExpr(expr, accept);
         break;
+      case "UnaryExpr":
+        this.validateUnaryExpr(expr, accept);
+        break;
     }
   }
   validateMemberAccessExpr(expr, accept) {
@@ -6845,6 +6848,13 @@ var ExpressionValidator = class {
         break;
     }
   }
+  validateUnaryExpr(expr, accept) {
+    if (expr.operand.$resolvedType && expr.operand.$resolvedType.decl !== "Boolean") {
+      accept("error", `operand of "${expr.operator}" must be of Boolean type`, {
+        node: expr.operand
+      });
+    }
+  }
   validateCollectionPredicate(expr, accept) {
     if (!expr.$resolvedType) {
       accept("error", "collection predicate can only be used on an array of model type", {
@@ -6914,7 +6924,7 @@ var FunctionInvocationValidator = class {
       });
       return;
     }
-    if (!this.validateArgs(funcDecl, expr.args, accept)) {
+    if (!this.validateArgs(funcDecl, expr, accept)) {
       return;
     }
     let curr = expr.$container;
@@ -6969,18 +6979,18 @@ var FunctionInvocationValidator = class {
   isValidationAttribute(attr) {
     return !!attr.decl.ref?.attributes.some((attr2) => attr2.decl.$refText === "@@@validation");
   }
-  validateArgs(funcDecl, args, accept) {
+  validateArgs(funcDecl, expr, accept) {
     let success = true;
     for (let i = 0; i < funcDecl.params.length; i++) {
       const param = funcDecl.params[i];
       if (!param) {
         continue;
       }
-      const arg = args[i];
+      const arg = expr.args[i];
       if (!arg) {
         if (!param.optional) {
           accept("error", `missing argument for parameter "${param.name}"`, {
-            node: funcDecl
+            node: expr
           });
           success = false;
         }