From d220e34080dc2c49cbb93ad8a56d5312b3d9c2ca Mon Sep 17 00:00:00 2001
From: Dirk Ziegelmeier <dirk@ziegelmeier.net>
Date: Fri, 23 Aug 2024 08:25:50 +0200
Subject: [PATCH] Add one more sanity check

---
 generator/src/generator/Transformations.egl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/generator/src/generator/Transformations.egl b/generator/src/generator/Transformations.egl
index f359d78..b519988 100644
--- a/generator/src/generator/Transformations.egl
+++ b/generator/src/generator/Transformations.egl
@@ -212,6 +212,10 @@ operation Tuple transitionTransform(statemachine : Tuple, state : Tuple, trigger
     new_all_actions.addAll(all_actions);
     transition.transitionTransform(statemachine, state, trigger, new_all_actions);
       
+    if (transition.trigger != null) {
+      ("Transition starting from state " + state.name + " with trigger " + trigger + " has a trigger in a choice transition " + transition.trigger + " - this is not supported").errln();
+    }
+      
     if (not transition.guards.isEmpty()) {
       self.trans_conditional.add(transition);
     } else {