Correct sorting of guard evaluation order again

dziegel · Aug 8, 2024 · 10d49a8 · 10d49a8
1 parent 3e48c9e
commit 10d49a8
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/generator/src/generator/Transformations.egl b/generator/src/generator/Transformations.egl
@@ -150,11 +150,13 @@ operation Tuple transformTransition(statemachine : Tuple) {
   }
   self.has_guard = not guards.isEmpty();
   if (self.has_guard) {
-    self.priority = 100-guards.size();
+    self.priority = (100-guards.size()).toString().pad(3, "0", false);
     self.guards_list = guards.concat(" && ");
   } else {
-    self.priority = 100;
+    self.priority = "100";
     self.guards_list = "true";
   }
+
+  (self.guards_list + ": " + self.priority).println();
 }
 %]