@fairfox/polly 0.77.0 → 0.77.1

package/dist/tools/verify/src/cli.js

@@ -2541,6 +2541,9 @@ var init_tla = __esm(() => {
           const paramName = value.substring(6);
           return `payload.${this.sanitizeFieldName(paramName)}`;
         }
+        if (value.startsWith("EXPR:")) {
+          return this.tsExpressionToTLA(value.substring(5), false);
+        }
         if (this.isTLAExpression(value)) {
           return this.sanitizeTLAExpression(value);
         }
@@ -5833,7 +5836,19 @@ class HandlerExtractor {
     const paramName = this.extractPayloadPropertyParam(initializer);
     if (paramName !== null) {
       assignments.push({ field, value: `param:${paramName}` });
+      return;
+    }
+    if (this.isTranslatableInitializer(initializer)) {
+      assignments.push({ field, value: `EXPR:${initializer.getText()}` });
+      return;
     }
+    if (process.env["POLLY_DEBUG"]) {
+      const on = signalName ? ` on ${signalName}.value` : "";
+      console.log(`[WARN] dropped object-literal property '${name}'${on} — initializer kind ${initializer.getKindName()} is not translatable to TLA+`);
+    }
+  }
+  isTranslatableInitializer(node) {
+    return Node2.isBinaryExpression(node) || Node2.isPropertyAccessExpression(node) || Node2.isElementAccessExpression(node) || Node2.isPrefixUnaryExpression(node) || Node2.isPostfixUnaryExpression(node) || Node2.isParenthesizedExpression(node);
   }
   extractPayloadPropertyParam(initializer) {
     if (!Node2.isPropertyAccessExpression(initializer))
@@ -8373,4 +8388,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=CD834265BD94F24164756E2164756E21
+//# debugId=2F2FDDDA92F1E27664756E2164756E21