Debugger/DebugServer.py

branch
debugger fine grinding
changeset 5658
e5f6fe5855fd
parent 5624
cdd346d8858b
child 5710
b5809b948010
--- a/Debugger/DebugServer.py	Thu Mar 23 20:27:21 2017 +0100
+++ b/Debugger/DebugServer.py	Thu Mar 23 20:30:49 2017 +0100
@@ -996,6 +996,14 @@
         """
         self.debuggerInterface.remoteContinue(special)
 
+    def remoteMoveIP(self, line):
+        """
+        Public method to move the instruction pointer to a different line.
+        
+        @param line the new line, where execution should be continued
+        """
+        self.debuggerInterface.remoteMoveIP(line)
+
     def remoteBreakpoint(self, fn, line, setBreakpoint, cond=None, temp=False):
         """
         Public method to set or clear a breakpoint.

eric ide

mercurial