bugfix context in stepOverreverse

rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/StepIntoReverseCommand.java

@@ -16,10 +16,9 @@ public class StepIntoReverseCommand<T> extends DebuggerCommand<T> {
             } else{
                 dbg.setStatePointer(statePointer);
 
-            } else {
-                if (statePointer.isLastNode() || statePointer.isFirstNode()) {
+                /*if (statePointer.isLastNode() || statePointer.isFirstNode()) {
                     System.out.println("We need Sonderbehandlung here");
-                }
+                }*/
             }
         }
     }

rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/StepOverReverseCommand.java

@@ -6,14 +6,19 @@ public class StepOverReverseCommand<T> extends DebuggerCommand<T> {
     @Override
     public void execute(DebuggerFramework<T> dbg) throws DebuggerException {
         val statePointer = dbg.getCurrentStatePointer();
-        PTreeNode<T> stepOverReverse = statePointer.getStepInvInto() != null ?
-                statePointer.getStepInvInto() :
-                statePointer.getStepInvOver();
-
+        PTreeNode<T> stepOverReverse = statePointer.getStepInvOver();
         if (stepOverReverse == null) {
-            info("There is no previous state to the current one.");
-        }
-        dbg.setStatePointer(stepOverReverse);
+            int size = statePointer.getContextNodes().size();
+            dbg.setStatePointer(statePointer.getContextNodes().get(size - 1));
+            /*if(statePointer.isAtomic()) {
+                dbg.setStatePointer(statePointer);
+            }else{
+                info("There is no previous state to the current one.");
 
+            }*/
+            //state before statement
+        } else {
+            dbg.setStatePointer(stepOverReverse);
+        }
     }
 }

ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java

@@ -282,6 +282,7 @@ public class DebuggerMain implements Initializable {
      * @see {@link #handleStatePointer(PTreeNode)}
      */
     private void handleStatePointerUI(PTreeNode<KeyData> node) {
+
         graph.addPartiallyAndMark(node);
 
         if (node != null) {