Commit b1f5abcc authored by Alexander Weigl's avatar Alexander Weigl

fix to step into

parent e8e9b298
Pipeline #16976 failed with stages
in 1 minute and 25 seconds
package edu.kit.iti.formal.psdbg;
import edu.kit.iti.formal.psdbg.interpreter.dbg.*;
package edu.kit.iti.formal.psdbg.interpreter.dbg;
public class StepIntoCommand<T> extends DebuggerCommand<T> {
@Override
public void execute(DebuggerFramework<T> dbg) {
PTreeNode<T> statePointer = dbg.getStatePointer();
assert statePointer != null;
if (statePointer.isAtomic()) {
if (statePointer.isAtomic()) { // atomic same as step over
new StepOverCommand<T>().execute(dbg);
} else {
dbg.releaseUntil(new Blocker.CounterBlocker(1));
if (statePointer.getStepInto() != null) { // if there is already an step into take it!
dbg.setStatePointer(statePointer.getStepInto());
} else {
if (!statePointer.isLastNode()) { // execute non last commands, one step wide!
dbg.releaseUntil(new Blocker.CounterBlocker(1));
}
}
}
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment