Merge pull request #99 from DecwLK/start_state_on_remove_fix

fixed bug where states were not removed from automaton on delete
DecwLK · Feb 12, 2024 · 3a55b84 · 3a55b84
2 parents fd71083 + d6298d8
commit 3a55b84
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/java/org/gecko/actions/DeleteStateViewModelElementAction.java b/src/main/java/org/gecko/actions/DeleteStateViewModelElementAction.java
@@ -22,7 +22,7 @@ public class DeleteStateViewModelElementAction extends AbstractPositionableViewM
     private final StateViewModel stateViewModel;
     private final Automaton automaton;
     private final SystemViewModel systemViewModel;
-    private boolean wasStartState;
+    private final boolean wasStartState;
 
     DeleteStateViewModelElementAction(
         GeckoViewModel geckoViewModel, StateViewModel stateViewModel, SystemViewModel systemViewModel) {
@@ -56,6 +56,7 @@ boolean run() throws GeckoException {
             systemViewModel.setStartState(null);
         }
         systemViewModel.updateTarget();
+        automaton.removeState(stateViewModel.getTarget());
         geckoViewModel.deleteViewModelElement(stateViewModel);
         return true;
     }