Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 1 | """Debugger basics""" |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 2 | |
Georg Brandl | 243ad66 | 2009-05-05 09:00:19 +0000 | [diff] [blame] | 3 | import fnmatch |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 4 | import sys |
Barry Warsaw | 148ffbc | 1999-09-09 23:24:33 +0000 | [diff] [blame] | 5 | import os |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 6 | from inspect import CO_GENERATOR, CO_COROUTINE, CO_ASYNC_GENERATOR |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 7 | |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 8 | __all__ = ["BdbQuit", "Bdb", "Breakpoint"] |
Skip Montanaro | e99d5ea | 2001-01-20 19:54:20 +0000 | [diff] [blame] | 9 | |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 10 | GENERATOR_AND_COROUTINE_FLAGS = CO_GENERATOR | CO_COROUTINE | CO_ASYNC_GENERATOR |
| 11 | |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 12 | |
Neal Norwitz | 93cf79f | 2002-03-31 14:06:41 +0000 | [diff] [blame] | 13 | class BdbQuit(Exception): |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 14 | """Exception to give up completely.""" |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 15 | |
| 16 | |
Guido van Rossum | 6ea27cc | 1999-01-25 20:51:34 +0000 | [diff] [blame] | 17 | class Bdb: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 18 | """Generic Python debugger base class. |
Guido van Rossum | 6ea27cc | 1999-01-25 20:51:34 +0000 | [diff] [blame] | 19 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 20 | This class takes care of details of the trace facility; |
| 21 | a derived class should implement user interaction. |
| 22 | The standard debugger class (pdb.Pdb) is an example. |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 23 | |
| 24 | The optional skip argument must be an iterable of glob-style |
| 25 | module name patterns. The debugger will not step into frames |
| 26 | that originate in a module that matches one of these patterns. |
| 27 | Whether a frame is considered to originate in a certain module |
| 28 | is determined by the __name__ in the frame globals. |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 29 | """ |
Guido van Rossum | 6ea27cc | 1999-01-25 20:51:34 +0000 | [diff] [blame] | 30 | |
Georg Brandl | 243ad66 | 2009-05-05 09:00:19 +0000 | [diff] [blame] | 31 | def __init__(self, skip=None): |
| 32 | self.skip = set(skip) if skip else None |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 33 | self.breaks = {} |
| 34 | self.fncache = {} |
Senthil Kumaran | 42d7081 | 2012-05-01 10:07:49 +0800 | [diff] [blame] | 35 | self.frame_returning = None |
Barry Warsaw | 148ffbc | 1999-09-09 23:24:33 +0000 | [diff] [blame] | 36 | |
Irit Katriel | ad442a6 | 2021-04-02 17:15:21 +0100 | [diff] [blame] | 37 | self._load_breaks() |
| 38 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 39 | def canonic(self, filename): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 40 | """Return canonical form of filename. |
| 41 | |
| 42 | For real filenames, the canonical form is a case-normalized (on |
Min ho Kim | 39d87b5 | 2019-08-31 06:21:19 +1000 | [diff] [blame] | 43 | case insensitive filesystems) absolute path. 'Filenames' with |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 44 | angle brackets, such as "<stdin>", generated in interactive |
| 45 | mode, are returned unchanged. |
| 46 | """ |
Guido van Rossum | 42f5332 | 2001-11-29 02:50:15 +0000 | [diff] [blame] | 47 | if filename == "<" + filename[1:-1] + ">": |
| 48 | return filename |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 49 | canonic = self.fncache.get(filename) |
| 50 | if not canonic: |
| 51 | canonic = os.path.abspath(filename) |
Guido van Rossum | bdba320 | 2002-02-25 23:23:24 +0000 | [diff] [blame] | 52 | canonic = os.path.normcase(canonic) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 53 | self.fncache[filename] = canonic |
| 54 | return canonic |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 55 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 56 | def reset(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 57 | """Set values of attributes as ready to start debugging.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 58 | import linecache |
| 59 | linecache.checkcache() |
| 60 | self.botframe = None |
Alexandre Vassalotti | 5f8ced2 | 2008-05-16 00:03:33 +0000 | [diff] [blame] | 61 | self._set_stopinfo(None, None) |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 62 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 63 | def trace_dispatch(self, frame, event, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 64 | """Dispatch a trace function for debugged frames based on the event. |
| 65 | |
| 66 | This function is installed as the trace function for debugged |
| 67 | frames. Its return value is the new trace function, which is |
| 68 | usually itself. The default implementation decides how to |
| 69 | dispatch a frame, depending on the type of event (passed in as a |
| 70 | string) that is about to be executed. |
| 71 | |
| 72 | The event can be one of the following: |
| 73 | line: A new line of code is going to be executed. |
| 74 | call: A function is about to be called or another code block |
| 75 | is entered. |
| 76 | return: A function or other code block is about to return. |
| 77 | exception: An exception has occurred. |
| 78 | c_call: A C function is about to be called. |
Stéphane Wirtel | 07fbbfd | 2018-10-05 16:17:18 +0200 | [diff] [blame] | 79 | c_return: A C function has returned. |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 80 | c_exception: A C function has raised an exception. |
| 81 | |
| 82 | For the Python events, specialized functions (see the dispatch_*() |
| 83 | methods) are called. For the C events, no action is taken. |
| 84 | |
| 85 | The arg parameter depends on the previous event. |
| 86 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 87 | if self.quitting: |
| 88 | return # None |
| 89 | if event == 'line': |
| 90 | return self.dispatch_line(frame) |
| 91 | if event == 'call': |
| 92 | return self.dispatch_call(frame, arg) |
| 93 | if event == 'return': |
| 94 | return self.dispatch_return(frame, arg) |
| 95 | if event == 'exception': |
| 96 | return self.dispatch_exception(frame, arg) |
Nicholas Bastin | c69ebe8 | 2004-03-24 21:57:10 +0000 | [diff] [blame] | 97 | if event == 'c_call': |
| 98 | return self.trace_dispatch |
| 99 | if event == 'c_exception': |
| 100 | return self.trace_dispatch |
| 101 | if event == 'c_return': |
| 102 | return self.trace_dispatch |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 103 | print('bdb.Bdb.dispatch: unknown debugging event:', repr(event)) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 104 | return self.trace_dispatch |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 105 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 106 | def dispatch_line(self, frame): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 107 | """Invoke user function and return trace function for line event. |
| 108 | |
| 109 | If the debugger stops on the current line, invoke |
| 110 | self.user_line(). Raise BdbQuit if self.quitting is set. |
| 111 | Return self.trace_dispatch to continue tracing in this scope. |
| 112 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 113 | if self.stop_here(frame) or self.break_here(frame): |
| 114 | self.user_line(frame) |
| 115 | if self.quitting: raise BdbQuit |
| 116 | return self.trace_dispatch |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 117 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 118 | def dispatch_call(self, frame, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 119 | """Invoke user function and return trace function for call event. |
| 120 | |
| 121 | If the debugger stops on this function call, invoke |
Miss Islington (bot) | d22fa22 | 2021-05-16 16:42:56 -0700 | [diff] [blame] | 122 | self.user_call(). Raise BdbQuit if self.quitting is set. |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 123 | Return self.trace_dispatch to continue tracing in this scope. |
| 124 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 125 | # XXX 'arg' is no longer used |
| 126 | if self.botframe is None: |
| 127 | # First call of dispatch since reset() |
Christian Tismer | 313a751 | 2002-05-28 08:04:00 +0000 | [diff] [blame] | 128 | self.botframe = frame.f_back # (CT) Note that this may also be None! |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 129 | return self.trace_dispatch |
| 130 | if not (self.stop_here(frame) or self.break_anywhere(frame)): |
| 131 | # No need to trace this function |
| 132 | return # None |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 133 | # Ignore call events in generator except when stepping. |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 134 | if self.stopframe and frame.f_code.co_flags & GENERATOR_AND_COROUTINE_FLAGS: |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 135 | return self.trace_dispatch |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 136 | self.user_call(frame, arg) |
| 137 | if self.quitting: raise BdbQuit |
| 138 | return self.trace_dispatch |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 139 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 140 | def dispatch_return(self, frame, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 141 | """Invoke user function and return trace function for return event. |
| 142 | |
| 143 | If the debugger stops on this function return, invoke |
| 144 | self.user_return(). Raise BdbQuit if self.quitting is set. |
| 145 | Return self.trace_dispatch to continue tracing in this scope. |
| 146 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 147 | if self.stop_here(frame) or frame == self.returnframe: |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 148 | # Ignore return events in generator except when stepping. |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 149 | if self.stopframe and frame.f_code.co_flags & GENERATOR_AND_COROUTINE_FLAGS: |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 150 | return self.trace_dispatch |
Senthil Kumaran | 42d7081 | 2012-05-01 10:07:49 +0800 | [diff] [blame] | 151 | try: |
| 152 | self.frame_returning = frame |
| 153 | self.user_return(frame, arg) |
| 154 | finally: |
| 155 | self.frame_returning = None |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 156 | if self.quitting: raise BdbQuit |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 157 | # The user issued a 'next' or 'until' command. |
| 158 | if self.stopframe is frame and self.stoplineno != -1: |
| 159 | self._set_stopinfo(None, None) |
Just van Rossum | ae1f65f | 2001-06-25 18:01:24 +0000 | [diff] [blame] | 160 | return self.trace_dispatch |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 161 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 162 | def dispatch_exception(self, frame, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 163 | """Invoke user function and return trace function for exception event. |
| 164 | |
| 165 | If the debugger stops on this exception, invoke |
| 166 | self.user_exception(). Raise BdbQuit if self.quitting is set. |
| 167 | Return self.trace_dispatch to continue tracing in this scope. |
| 168 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 169 | if self.stop_here(frame): |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 170 | # When stepping with next/until/return in a generator frame, skip |
| 171 | # the internal StopIteration exception (with no traceback) |
| 172 | # triggered by a subiterator run with the 'yield from' statement. |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 173 | if not (frame.f_code.co_flags & GENERATOR_AND_COROUTINE_FLAGS |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 174 | and arg[0] is StopIteration and arg[2] is None): |
| 175 | self.user_exception(frame, arg) |
| 176 | if self.quitting: raise BdbQuit |
| 177 | # Stop at the StopIteration or GeneratorExit exception when the user |
| 178 | # has set stopframe in a generator by issuing a return command, or a |
| 179 | # next/until command at the last statement in the generator before the |
| 180 | # exception. |
| 181 | elif (self.stopframe and frame is not self.stopframe |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 182 | and self.stopframe.f_code.co_flags & GENERATOR_AND_COROUTINE_FLAGS |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 183 | and arg[0] in (StopIteration, GeneratorExit)): |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 184 | self.user_exception(frame, arg) |
| 185 | if self.quitting: raise BdbQuit |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 186 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 187 | return self.trace_dispatch |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 188 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 189 | # Normally derived classes don't override the following |
| 190 | # methods, but they may if they want to redefine the |
| 191 | # definition of stopping and breakpoints. |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 192 | |
Georg Brandl | 243ad66 | 2009-05-05 09:00:19 +0000 | [diff] [blame] | 193 | def is_skipped_module(self, module_name): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 194 | "Return True if module_name matches any skip pattern." |
Anthony Sottile | 86900a4 | 2019-03-12 20:57:09 -0700 | [diff] [blame] | 195 | if module_name is None: # some modules do not have names |
| 196 | return False |
Georg Brandl | 243ad66 | 2009-05-05 09:00:19 +0000 | [diff] [blame] | 197 | for pattern in self.skip: |
| 198 | if fnmatch.fnmatch(module_name, pattern): |
| 199 | return True |
| 200 | return False |
| 201 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 202 | def stop_here(self, frame): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 203 | "Return True if frame is below the starting frame in the stack." |
Neal Norwitz | 72a2b4d | 2002-05-29 00:54:38 +0000 | [diff] [blame] | 204 | # (CT) stopframe may now also be None, see dispatch_call. |
| 205 | # (CT) the former test for None is therefore removed from here. |
Georg Brandl | 243ad66 | 2009-05-05 09:00:19 +0000 | [diff] [blame] | 206 | if self.skip and \ |
| 207 | self.is_skipped_module(frame.f_globals.get('__name__')): |
| 208 | return False |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 209 | if frame is self.stopframe: |
Georg Brandl | 3f94089 | 2010-07-30 10:29:19 +0000 | [diff] [blame] | 210 | if self.stoplineno == -1: |
| 211 | return False |
Alexandre Vassalotti | 5f8ced2 | 2008-05-16 00:03:33 +0000 | [diff] [blame] | 212 | return frame.f_lineno >= self.stoplineno |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 213 | if not self.stopframe: |
| 214 | return True |
Tim Peters | bc0e910 | 2002-04-04 22:55:58 +0000 | [diff] [blame] | 215 | return False |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 216 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 217 | def break_here(self, frame): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 218 | """Return True if there is an effective breakpoint for this line. |
| 219 | |
| 220 | Check for line or function breakpoint and if in effect. |
| 221 | Delete temporary breakpoints if effective() says to. |
| 222 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 223 | filename = self.canonic(frame.f_code.co_filename) |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 224 | if filename not in self.breaks: |
Tim Peters | bc0e910 | 2002-04-04 22:55:58 +0000 | [diff] [blame] | 225 | return False |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 226 | lineno = frame.f_lineno |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 227 | if lineno not in self.breaks[filename]: |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 228 | # The line itself has no breakpoint, but maybe the line is the |
| 229 | # first line of a function with breakpoint set by function name. |
| 230 | lineno = frame.f_code.co_firstlineno |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 231 | if lineno not in self.breaks[filename]: |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 232 | return False |
| 233 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 234 | # flag says ok to delete temp. bp |
| 235 | (bp, flag) = effective(filename, lineno, frame) |
| 236 | if bp: |
| 237 | self.currentbp = bp.number |
| 238 | if (flag and bp.temporary): |
| 239 | self.do_clear(str(bp.number)) |
Tim Peters | bc0e910 | 2002-04-04 22:55:58 +0000 | [diff] [blame] | 240 | return True |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 241 | else: |
Tim Peters | bc0e910 | 2002-04-04 22:55:58 +0000 | [diff] [blame] | 242 | return False |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 243 | |
Guido van Rossum | 9cec8fb | 2001-04-08 15:05:16 +0000 | [diff] [blame] | 244 | def do_clear(self, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 245 | """Remove temporary breakpoint. |
| 246 | |
| 247 | Must implement in derived classes or get NotImplementedError. |
| 248 | """ |
Collin Winter | ce36ad8 | 2007-08-30 01:19:48 +0000 | [diff] [blame] | 249 | raise NotImplementedError("subclass of bdb must implement do_clear()") |
Guido van Rossum | 9cec8fb | 2001-04-08 15:05:16 +0000 | [diff] [blame] | 250 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 251 | def break_anywhere(self, frame): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 252 | """Return True if there is any breakpoint for frame's filename. |
| 253 | """ |
Guido van Rossum | e2b70bc | 2006-08-18 22:13:04 +0000 | [diff] [blame] | 254 | return self.canonic(frame.f_code.co_filename) in self.breaks |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 255 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 256 | # Derived classes should override the user_* methods |
| 257 | # to gain control. |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 258 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 259 | def user_call(self, frame, argument_list): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 260 | """Called if we might stop in a function.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 261 | pass |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 262 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 263 | def user_line(self, frame): |
Eitan Adler | b5c246f | 2018-06-02 07:16:19 -0700 | [diff] [blame] | 264 | """Called when we stop or break at a line.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 265 | pass |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 266 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 267 | def user_return(self, frame, return_value): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 268 | """Called when a return trap is set here.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 269 | pass |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 270 | |
Guido van Rossum | 1bc535d | 2007-05-15 18:46:22 +0000 | [diff] [blame] | 271 | def user_exception(self, frame, exc_info): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 272 | """Called when we stop on an exception.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 273 | pass |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 274 | |
Georg Brandl | 3f94089 | 2010-07-30 10:29:19 +0000 | [diff] [blame] | 275 | def _set_stopinfo(self, stopframe, returnframe, stoplineno=0): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 276 | """Set the attributes for stopping. |
| 277 | |
| 278 | If stoplineno is greater than or equal to 0, then stop at line |
| 279 | greater than or equal to the stopline. If stoplineno is -1, then |
| 280 | don't stop at all. |
| 281 | """ |
Alexandre Vassalotti | 5f8ced2 | 2008-05-16 00:03:33 +0000 | [diff] [blame] | 282 | self.stopframe = stopframe |
| 283 | self.returnframe = returnframe |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 284 | self.quitting = False |
Georg Brandl | 3f94089 | 2010-07-30 10:29:19 +0000 | [diff] [blame] | 285 | # stoplineno >= 0 means: stop at line >= the stoplineno |
| 286 | # stoplineno -1 means: don't stop at all |
Alexandre Vassalotti | 5f8ced2 | 2008-05-16 00:03:33 +0000 | [diff] [blame] | 287 | self.stoplineno = stoplineno |
| 288 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 289 | # Derived classes and clients can call the following methods |
| 290 | # to affect the stepping state. |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 291 | |
Georg Brandl | 2dfec55 | 2010-07-30 08:43:32 +0000 | [diff] [blame] | 292 | def set_until(self, frame, lineno=None): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 293 | """Stop when the line with the lineno greater than the current one is |
| 294 | reached or when returning from current frame.""" |
Georg Brandl | 2dfec55 | 2010-07-30 08:43:32 +0000 | [diff] [blame] | 295 | # the name "until" is borrowed from gdb |
| 296 | if lineno is None: |
| 297 | lineno = frame.f_lineno + 1 |
| 298 | self._set_stopinfo(frame, frame, lineno) |
Alexandre Vassalotti | 5f8ced2 | 2008-05-16 00:03:33 +0000 | [diff] [blame] | 299 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 300 | def set_step(self): |
| 301 | """Stop after one line of code.""" |
Senthil Kumaran | 42d7081 | 2012-05-01 10:07:49 +0800 | [diff] [blame] | 302 | # Issue #13183: pdb skips frames after hitting a breakpoint and running |
| 303 | # step commands. |
| 304 | # Restore the trace function in the caller (that may not have been set |
| 305 | # for performance reasons) when returning from the current frame. |
| 306 | if self.frame_returning: |
| 307 | caller_frame = self.frame_returning.f_back |
| 308 | if caller_frame and not caller_frame.f_trace: |
| 309 | caller_frame.f_trace = self.trace_dispatch |
Georg Brandl | 3f94089 | 2010-07-30 10:29:19 +0000 | [diff] [blame] | 310 | self._set_stopinfo(None, None) |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 311 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 312 | def set_next(self, frame): |
| 313 | """Stop on the next line in or below the given frame.""" |
Alexandre Vassalotti | 5f8ced2 | 2008-05-16 00:03:33 +0000 | [diff] [blame] | 314 | self._set_stopinfo(frame, None) |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 315 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 316 | def set_return(self, frame): |
| 317 | """Stop when returning from the given frame.""" |
Pablo Galindo | c7ab581 | 2018-01-29 01:31:00 +0000 | [diff] [blame] | 318 | if frame.f_code.co_flags & GENERATOR_AND_COROUTINE_FLAGS: |
Guido van Rossum | 8820c23 | 2013-11-21 11:30:06 -0800 | [diff] [blame] | 319 | self._set_stopinfo(frame, None, -1) |
| 320 | else: |
| 321 | self._set_stopinfo(frame.f_back, frame) |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 322 | |
Johannes Gijsbers | 84a6c20 | 2004-11-07 11:35:30 +0000 | [diff] [blame] | 323 | def set_trace(self, frame=None): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 324 | """Start debugging from frame. |
Johannes Gijsbers | 84a6c20 | 2004-11-07 11:35:30 +0000 | [diff] [blame] | 325 | |
| 326 | If frame is not specified, debugging starts from caller's frame. |
| 327 | """ |
| 328 | if frame is None: |
| 329 | frame = sys._getframe().f_back |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 330 | self.reset() |
| 331 | while frame: |
| 332 | frame.f_trace = self.trace_dispatch |
| 333 | self.botframe = frame |
| 334 | frame = frame.f_back |
| 335 | self.set_step() |
| 336 | sys.settrace(self.trace_dispatch) |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 337 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 338 | def set_continue(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 339 | """Stop only at breakpoints or when finished. |
| 340 | |
| 341 | If there are no breakpoints, set the system trace function to None. |
| 342 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 343 | # Don't stop except at breakpoints or when finished |
Georg Brandl | 3f94089 | 2010-07-30 10:29:19 +0000 | [diff] [blame] | 344 | self._set_stopinfo(self.botframe, None, -1) |
Georg Brandl | f8b893e | 2010-12-04 16:22:44 +0000 | [diff] [blame] | 345 | if not self.breaks: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 346 | # no breakpoints; run without debugger overhead |
| 347 | sys.settrace(None) |
Christian Tismer | 313a751 | 2002-05-28 08:04:00 +0000 | [diff] [blame] | 348 | frame = sys._getframe().f_back |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 349 | while frame and frame is not self.botframe: |
| 350 | del frame.f_trace |
| 351 | frame = frame.f_back |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 352 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 353 | def set_quit(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 354 | """Set quitting attribute to True. |
| 355 | |
| 356 | Raises BdbQuit exception in the next call to a dispatch_*() method. |
| 357 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 358 | self.stopframe = self.botframe |
| 359 | self.returnframe = None |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 360 | self.quitting = True |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 361 | sys.settrace(None) |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 362 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 363 | # Derived classes and clients can call the following methods |
| 364 | # to manipulate breakpoints. These methods return an |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 365 | # error message if something went wrong, None if all is well. |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 366 | # Set_break prints out the breakpoint line and file:lineno. |
| 367 | # Call self.get_*break*() to see the breakpoints or better |
| 368 | # for bp in Breakpoint.bpbynumber: if bp: bp.bpprint(). |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 369 | |
Irit Katriel | ad442a6 | 2021-04-02 17:15:21 +0100 | [diff] [blame] | 370 | def _add_to_breaks(self, filename, lineno): |
| 371 | """Add breakpoint to breaks, if not already there.""" |
| 372 | bp_linenos = self.breaks.setdefault(filename, []) |
| 373 | if lineno not in bp_linenos: |
| 374 | bp_linenos.append(lineno) |
| 375 | |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 376 | def set_break(self, filename, lineno, temporary=False, cond=None, |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 377 | funcname=None): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 378 | """Set a new breakpoint for filename:lineno. |
| 379 | |
| 380 | If lineno doesn't exist for the filename, return an error message. |
| 381 | The filename should be in canonical form. |
| 382 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 383 | filename = self.canonic(filename) |
| 384 | import linecache # Import as late as possible |
| 385 | line = linecache.getline(filename, lineno) |
| 386 | if not line: |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 387 | return 'Line %s:%d does not exist' % (filename, lineno) |
Irit Katriel | ad442a6 | 2021-04-02 17:15:21 +0100 | [diff] [blame] | 388 | self._add_to_breaks(filename, lineno) |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 389 | bp = Breakpoint(filename, lineno, temporary, cond, funcname) |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 390 | return None |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 391 | |
Irit Katriel | ad442a6 | 2021-04-02 17:15:21 +0100 | [diff] [blame] | 392 | def _load_breaks(self): |
| 393 | """Apply all breakpoints (set in other instances) to this one. |
| 394 | |
| 395 | Populates this instance's breaks list from the Breakpoint class's |
| 396 | list, which can have breakpoints set by another Bdb instance. This |
| 397 | is necessary for interactive sessions to keep the breakpoints |
| 398 | active across multiple calls to run(). |
| 399 | """ |
| 400 | for (filename, lineno) in Breakpoint.bplist.keys(): |
| 401 | self._add_to_breaks(filename, lineno) |
| 402 | |
Senthil Kumaran | 6f10704 | 2010-11-29 11:54:17 +0000 | [diff] [blame] | 403 | def _prune_breaks(self, filename, lineno): |
Xtreak | 0d70227 | 2019-06-03 04:42:33 +0530 | [diff] [blame] | 404 | """Prune breakpoints for filename:lineno. |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 405 | |
| 406 | A list of breakpoints is maintained in the Bdb instance and in |
| 407 | the Breakpoint class. If a breakpoint in the Bdb instance no |
| 408 | longer exists in the Breakpoint class, then it's removed from the |
| 409 | Bdb instance. |
| 410 | """ |
Senthil Kumaran | 6f10704 | 2010-11-29 11:54:17 +0000 | [diff] [blame] | 411 | if (filename, lineno) not in Breakpoint.bplist: |
| 412 | self.breaks[filename].remove(lineno) |
| 413 | if not self.breaks[filename]: |
| 414 | del self.breaks[filename] |
| 415 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 416 | def clear_break(self, filename, lineno): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 417 | """Delete breakpoints for filename:lineno. |
| 418 | |
| 419 | If no breakpoints were set, return an error message. |
| 420 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 421 | filename = self.canonic(filename) |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 422 | if filename not in self.breaks: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 423 | return 'There are no breakpoints in %s' % filename |
| 424 | if lineno not in self.breaks[filename]: |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 425 | return 'There is no breakpoint at %s:%d' % (filename, lineno) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 426 | # If there's only one bp in the list for that file,line |
| 427 | # pair, then remove the breaks entry |
| 428 | for bp in Breakpoint.bplist[filename, lineno][:]: |
| 429 | bp.deleteMe() |
Senthil Kumaran | 6f10704 | 2010-11-29 11:54:17 +0000 | [diff] [blame] | 430 | self._prune_breaks(filename, lineno) |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 431 | return None |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 432 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 433 | def clear_bpbynumber(self, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 434 | """Delete a breakpoint by its index in Breakpoint.bpbynumber. |
| 435 | |
| 436 | If arg is invalid, return an error message. |
| 437 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 438 | try: |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 439 | bp = self.get_bpbynumber(arg) |
| 440 | except ValueError as err: |
| 441 | return str(err) |
Senthil Kumaran | 6f10704 | 2010-11-29 11:54:17 +0000 | [diff] [blame] | 442 | bp.deleteMe() |
| 443 | self._prune_breaks(bp.file, bp.line) |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 444 | return None |
Guido van Rossum | 6ea27cc | 1999-01-25 20:51:34 +0000 | [diff] [blame] | 445 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 446 | def clear_all_file_breaks(self, filename): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 447 | """Delete all breakpoints in filename. |
| 448 | |
| 449 | If none were set, return an error message. |
| 450 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 451 | filename = self.canonic(filename) |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 452 | if filename not in self.breaks: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 453 | return 'There are no breakpoints in %s' % filename |
| 454 | for line in self.breaks[filename]: |
| 455 | blist = Breakpoint.bplist[filename, line] |
| 456 | for bp in blist: |
| 457 | bp.deleteMe() |
| 458 | del self.breaks[filename] |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 459 | return None |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 460 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 461 | def clear_all_breaks(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 462 | """Delete all existing breakpoints. |
| 463 | |
| 464 | If none were set, return an error message. |
| 465 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 466 | if not self.breaks: |
| 467 | return 'There are no breakpoints' |
| 468 | for bp in Breakpoint.bpbynumber: |
| 469 | if bp: |
| 470 | bp.deleteMe() |
| 471 | self.breaks = {} |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 472 | return None |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 473 | |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 474 | def get_bpbynumber(self, arg): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 475 | """Return a breakpoint by its index in Breakpoint.bybpnumber. |
| 476 | |
| 477 | For invalid arg values or if the breakpoint doesn't exist, |
| 478 | raise a ValueError. |
| 479 | """ |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 480 | if not arg: |
| 481 | raise ValueError('Breakpoint number expected') |
| 482 | try: |
| 483 | number = int(arg) |
| 484 | except ValueError: |
Serhiy Storchaka | 5affd23 | 2017-04-05 09:37:24 +0300 | [diff] [blame] | 485 | raise ValueError('Non-numeric breakpoint number %s' % arg) from None |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 486 | try: |
| 487 | bp = Breakpoint.bpbynumber[number] |
| 488 | except IndexError: |
Serhiy Storchaka | 5affd23 | 2017-04-05 09:37:24 +0300 | [diff] [blame] | 489 | raise ValueError('Breakpoint number %d out of range' % number) from None |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 490 | if bp is None: |
| 491 | raise ValueError('Breakpoint %d already deleted' % number) |
| 492 | return bp |
| 493 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 494 | def get_break(self, filename, lineno): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 495 | """Return True if there is a breakpoint for filename:lineno.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 496 | filename = self.canonic(filename) |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 497 | return filename in self.breaks and \ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 498 | lineno in self.breaks[filename] |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 499 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 500 | def get_breaks(self, filename, lineno): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 501 | """Return all breakpoints for filename:lineno. |
| 502 | |
| 503 | If no breakpoints are set, return an empty list. |
| 504 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 505 | filename = self.canonic(filename) |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 506 | return filename in self.breaks and \ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 507 | lineno in self.breaks[filename] and \ |
| 508 | Breakpoint.bplist[filename, lineno] or [] |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 509 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 510 | def get_file_breaks(self, filename): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 511 | """Return all lines with breakpoints for filename. |
| 512 | |
| 513 | If no breakpoints are set, return an empty list. |
| 514 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 515 | filename = self.canonic(filename) |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 516 | if filename in self.breaks: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 517 | return self.breaks[filename] |
| 518 | else: |
| 519 | return [] |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 520 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 521 | def get_all_breaks(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 522 | """Return all breakpoints that are set.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 523 | return self.breaks |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 524 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 525 | # Derived classes and clients can call the following method |
| 526 | # to get a data structure representing a stack trace. |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 527 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 528 | def get_stack(self, f, t): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 529 | """Return a list of (frame, lineno) in a stack trace and a size. |
| 530 | |
| 531 | List starts with original calling frame, if there is one. |
| 532 | Size may be number of frames above or below f. |
| 533 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 534 | stack = [] |
| 535 | if t and t.tb_frame is f: |
| 536 | t = t.tb_next |
| 537 | while f is not None: |
| 538 | stack.append((f, f.f_lineno)) |
| 539 | if f is self.botframe: |
| 540 | break |
| 541 | f = f.f_back |
| 542 | stack.reverse() |
| 543 | i = max(0, len(stack) - 1) |
| 544 | while t is not None: |
| 545 | stack.append((t.tb_frame, t.tb_lineno)) |
| 546 | t = t.tb_next |
Benjamin Peterson | 1a6e0d0 | 2008-10-25 15:49:17 +0000 | [diff] [blame] | 547 | if f is None: |
| 548 | i = max(0, len(stack) - 1) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 549 | return stack, i |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 550 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 551 | def format_stack_entry(self, frame_lineno, lprefix=': '): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 552 | """Return a string with information about a stack entry. |
| 553 | |
| 554 | The stack entry frame_lineno is a (frame, lineno) tuple. The |
| 555 | return string contains the canonical filename, the function name |
| 556 | or '<lambda>', the input arguments, the return value, and the |
| 557 | line of code (if it exists). |
| 558 | |
| 559 | """ |
Alexandre Vassalotti | 1f2ba4b | 2008-05-16 07:12:44 +0000 | [diff] [blame] | 560 | import linecache, reprlib |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 561 | frame, lineno = frame_lineno |
| 562 | filename = self.canonic(frame.f_code.co_filename) |
Walter Dörwald | 70a6b49 | 2004-02-12 17:35:32 +0000 | [diff] [blame] | 563 | s = '%s(%r)' % (filename, lineno) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 564 | if frame.f_code.co_name: |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 565 | s += frame.f_code.co_name |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 566 | else: |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 567 | s += "<lambda>" |
Daniel Hahler | 4015d1c | 2020-02-24 04:14:53 +0100 | [diff] [blame] | 568 | s += '()' |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 569 | if '__return__' in frame.f_locals: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 570 | rv = frame.f_locals['__return__'] |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 571 | s += '->' |
| 572 | s += reprlib.repr(rv) |
Nick Coghlan | f088e5e | 2008-12-14 11:50:48 +0000 | [diff] [blame] | 573 | line = linecache.getline(filename, lineno, frame.f_globals) |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 574 | if line: |
| 575 | s += lprefix + line.strip() |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 576 | return s |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 577 | |
Georg Brandl | 46b9afc | 2010-07-30 09:14:20 +0000 | [diff] [blame] | 578 | # The following methods can be called by clients to use |
| 579 | # a debugger to debug a statement or an expression. |
| 580 | # Both can be given as a string, or a code object. |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 581 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 582 | def run(self, cmd, globals=None, locals=None): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 583 | """Debug a statement executed via the exec() function. |
| 584 | |
| 585 | globals defaults to __main__.dict; locals defaults to globals. |
| 586 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 587 | if globals is None: |
| 588 | import __main__ |
| 589 | globals = __main__.__dict__ |
| 590 | if locals is None: |
| 591 | locals = globals |
| 592 | self.reset() |
Victor Stinner | 4bd8172 | 2011-01-06 00:49:38 +0000 | [diff] [blame] | 593 | if isinstance(cmd, str): |
| 594 | cmd = compile(cmd, "<string>", "exec") |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 595 | sys.settrace(self.trace_dispatch) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 596 | try: |
Martin v. Löwis | ede8ffb | 2008-03-30 20:43:50 +0000 | [diff] [blame] | 597 | exec(cmd, globals, locals) |
| 598 | except BdbQuit: |
| 599 | pass |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 600 | finally: |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 601 | self.quitting = True |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 602 | sys.settrace(None) |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 603 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 604 | def runeval(self, expr, globals=None, locals=None): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 605 | """Debug an expression executed via the eval() function. |
| 606 | |
| 607 | globals defaults to __main__.dict; locals defaults to globals. |
| 608 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 609 | if globals is None: |
| 610 | import __main__ |
| 611 | globals = __main__.__dict__ |
| 612 | if locals is None: |
| 613 | locals = globals |
| 614 | self.reset() |
| 615 | sys.settrace(self.trace_dispatch) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 616 | try: |
Martin v. Löwis | ede8ffb | 2008-03-30 20:43:50 +0000 | [diff] [blame] | 617 | return eval(expr, globals, locals) |
| 618 | except BdbQuit: |
| 619 | pass |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 620 | finally: |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 621 | self.quitting = True |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 622 | sys.settrace(None) |
Guido van Rossum | 5e38b6f | 1995-02-27 13:13:40 +0000 | [diff] [blame] | 623 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 624 | def runctx(self, cmd, globals, locals): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 625 | """For backwards-compatibility. Defers to run().""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 626 | # B/W compatibility |
| 627 | self.run(cmd, globals, locals) |
Guido van Rossum | 4e16098 | 1992-09-02 20:43:20 +0000 | [diff] [blame] | 628 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 629 | # This method is more useful to debug a single function call. |
Guido van Rossum | 4e16098 | 1992-09-02 20:43:20 +0000 | [diff] [blame] | 630 | |
Serhiy Storchaka | 142566c | 2019-06-05 18:22:31 +0300 | [diff] [blame] | 631 | def runcall(self, func, /, *args, **kwds): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 632 | """Debug a single function call. |
| 633 | |
| 634 | Return the result of the function call. |
| 635 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 636 | self.reset() |
| 637 | sys.settrace(self.trace_dispatch) |
| 638 | res = None |
| 639 | try: |
Martin v. Löwis | ede8ffb | 2008-03-30 20:43:50 +0000 | [diff] [blame] | 640 | res = func(*args, **kwds) |
| 641 | except BdbQuit: |
| 642 | pass |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 643 | finally: |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 644 | self.quitting = True |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 645 | sys.settrace(None) |
| 646 | return res |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 647 | |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 648 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 649 | def set_trace(): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 650 | """Start debugging with a Bdb instance from the caller's frame.""" |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 651 | Bdb().set_trace() |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 652 | |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 653 | |
| 654 | class Breakpoint: |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 655 | """Breakpoint class. |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 656 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 657 | Implements temporary breakpoints, ignore counts, disabling and |
| 658 | (re)-enabling, and conditionals. |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 659 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 660 | Breakpoints are indexed by number through bpbynumber and by |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 661 | the (file, line) tuple using bplist. The former points to a |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 662 | single instance of class Breakpoint. The latter points to a |
| 663 | list of such instances since there may be more than one |
| 664 | breakpoint per line. |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 665 | |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 666 | When creating a breakpoint, its associated filename should be |
| 667 | in canonical form. If funcname is defined, a breakpoint hit will be |
| 668 | counted when the first line of that function is executed. A |
| 669 | conditional breakpoint always counts a hit. |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 670 | """ |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 671 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 672 | # XXX Keeping state in the class is a mistake -- this means |
| 673 | # you cannot have more than one active Bdb instance. |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 674 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 675 | next = 1 # Next bp to be assigned |
| 676 | bplist = {} # indexed by (file, lineno) tuple |
| 677 | bpbynumber = [None] # Each entry is None or an instance of Bpt |
| 678 | # index 0 is unused, except for marking an |
| 679 | # effective break .... see effective() |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 680 | |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 681 | def __init__(self, file, line, temporary=False, cond=None, funcname=None): |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 682 | self.funcname = funcname |
| 683 | # Needed if funcname is not None. |
| 684 | self.func_first_executable_line = None |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 685 | self.file = file # This better be in canonical form! |
| 686 | self.line = line |
| 687 | self.temporary = temporary |
| 688 | self.cond = cond |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 689 | self.enabled = True |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 690 | self.ignore = 0 |
| 691 | self.hits = 0 |
| 692 | self.number = Breakpoint.next |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 693 | Breakpoint.next += 1 |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 694 | # Build the two lists |
| 695 | self.bpbynumber.append(self) |
Guido van Rossum | e2b70bc | 2006-08-18 22:13:04 +0000 | [diff] [blame] | 696 | if (file, line) in self.bplist: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 697 | self.bplist[file, line].append(self) |
| 698 | else: |
| 699 | self.bplist[file, line] = [self] |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 700 | |
Irit Katriel | ad442a6 | 2021-04-02 17:15:21 +0100 | [diff] [blame] | 701 | @staticmethod |
| 702 | def clearBreakpoints(): |
| 703 | Breakpoint.next = 1 |
| 704 | Breakpoint.bplist = {} |
| 705 | Breakpoint.bpbynumber = [None] |
| 706 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 707 | def deleteMe(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 708 | """Delete the breakpoint from the list associated to a file:line. |
| 709 | |
| 710 | If it is the last breakpoint in that position, it also deletes |
| 711 | the entry for the file:line. |
| 712 | """ |
| 713 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 714 | index = (self.file, self.line) |
| 715 | self.bpbynumber[self.number] = None # No longer in list |
| 716 | self.bplist[index].remove(self) |
| 717 | if not self.bplist[index]: |
| 718 | # No more bp for this f:l combo |
| 719 | del self.bplist[index] |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 720 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 721 | def enable(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 722 | """Mark the breakpoint as enabled.""" |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 723 | self.enabled = True |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 724 | |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 725 | def disable(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 726 | """Mark the breakpoint as disabled.""" |
Georg Brandl | ac9a2bb | 2010-11-29 20:19:15 +0000 | [diff] [blame] | 727 | self.enabled = False |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 728 | |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 729 | def bpprint(self, out=None): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 730 | """Print the output of bpformat(). |
| 731 | |
| 732 | The optional out argument directs where the output is sent |
| 733 | and defaults to standard output. |
| 734 | """ |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 735 | if out is None: |
| 736 | out = sys.stdout |
Georg Brandl | d2fd4ca | 2010-07-30 15:01:23 +0000 | [diff] [blame] | 737 | print(self.bpformat(), file=out) |
| 738 | |
| 739 | def bpformat(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 740 | """Return a string with information about the breakpoint. |
| 741 | |
| 742 | The information includes the breakpoint number, temporary |
| 743 | status, file:line position, break condition, number of times to |
| 744 | ignore, and number of times hit. |
| 745 | |
| 746 | """ |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 747 | if self.temporary: |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 748 | disp = 'del ' |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 749 | else: |
Tim Peters | 11cf605 | 2001-01-14 21:54:20 +0000 | [diff] [blame] | 750 | disp = 'keep ' |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 751 | if self.enabled: |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 752 | disp = disp + 'yes ' |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 753 | else: |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 754 | disp = disp + 'no ' |
Georg Brandl | d2fd4ca | 2010-07-30 15:01:23 +0000 | [diff] [blame] | 755 | ret = '%-4dbreakpoint %s at %s:%d' % (self.number, disp, |
| 756 | self.file, self.line) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 757 | if self.cond: |
Georg Brandl | d2fd4ca | 2010-07-30 15:01:23 +0000 | [diff] [blame] | 758 | ret += '\n\tstop only if %s' % (self.cond,) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 759 | if self.ignore: |
Georg Brandl | d2fd4ca | 2010-07-30 15:01:23 +0000 | [diff] [blame] | 760 | ret += '\n\tignore next %d hits' % (self.ignore,) |
| 761 | if self.hits: |
| 762 | if self.hits > 1: |
| 763 | ss = 's' |
| 764 | else: |
| 765 | ss = '' |
| 766 | ret += '\n\tbreakpoint already hit %d time%s' % (self.hits, ss) |
| 767 | return ret |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 768 | |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 769 | def __str__(self): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 770 | "Return a condensed description of the breakpoint." |
Georg Brandl | 7410dd1 | 2010-07-30 12:01:20 +0000 | [diff] [blame] | 771 | return 'breakpoint %s at %s:%s' % (self.number, self.file, self.line) |
| 772 | |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 773 | # -----------end of Breakpoint class---------- |
| 774 | |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 775 | |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 776 | def checkfuncname(b, frame): |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 777 | """Return True if break should happen here. |
| 778 | |
| 779 | Whether a break should happen depends on the way that b (the breakpoint) |
| 780 | was set. If it was set via line number, check if b.line is the same as |
| 781 | the one in the frame. If it was set via function name, check if this is |
| 782 | the right function and if it is on the first executable line. |
| 783 | """ |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 784 | if not b.funcname: |
| 785 | # Breakpoint was set via line number. |
| 786 | if b.line != frame.f_lineno: |
| 787 | # Breakpoint was set at a line with a def statement and the function |
| 788 | # defined is called: don't break. |
| 789 | return False |
| 790 | return True |
| 791 | |
| 792 | # Breakpoint set via function name. |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 793 | if frame.f_code.co_name != b.funcname: |
| 794 | # It's not a function call, but rather execution of def statement. |
| 795 | return False |
| 796 | |
| 797 | # We are in the right frame. |
| 798 | if not b.func_first_executable_line: |
| 799 | # The function is entered for the 1st time. |
| 800 | b.func_first_executable_line = frame.f_lineno |
| 801 | |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 802 | if b.func_first_executable_line != frame.f_lineno: |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 803 | # But we are not at the first line number: don't break. |
| 804 | return False |
| 805 | return True |
| 806 | |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 807 | |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 808 | # Determines if there is an effective (active) breakpoint at this |
| 809 | # line of code. Returns breakpoint number or 0 if none |
| 810 | def effective(file, line, frame): |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 811 | """Determine which breakpoint for this file:line is to be acted upon. |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 812 | |
csabella | 0774e79 | 2017-05-16 18:28:02 -0400 | [diff] [blame] | 813 | Called only if we know there is a breakpoint at this location. Return |
| 814 | the breakpoint that was triggered and a boolean that indicates if it is |
| 815 | ok to delete a temporary breakpoint. Return (None, None) if there is no |
| 816 | matching breakpoint. |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 817 | """ |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 818 | possibles = Breakpoint.bplist[file, line] |
| 819 | for b in possibles: |
| 820 | if not b.enabled: |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 821 | continue |
Johannes Gijsbers | 4a9faa1 | 2004-08-30 13:29:44 +0000 | [diff] [blame] | 822 | if not checkfuncname(b, frame): |
| 823 | continue |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 824 | # Count every hit when bp is enabled |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 825 | b.hits += 1 |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 826 | if not b.cond: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 827 | # If unconditional, and ignoring go on to next, else break |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 828 | if b.ignore > 0: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 829 | b.ignore -= 1 |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 830 | continue |
| 831 | else: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 832 | # breakpoint and marker that it's ok to delete if temporary |
| 833 | return (b, True) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 834 | else: |
| 835 | # Conditional bp. |
| 836 | # Ignore count applies only to those bpt hits where the |
| 837 | # condition evaluates to true. |
| 838 | try: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 839 | val = eval(b.cond, frame.f_globals, frame.f_locals) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 840 | if val: |
| 841 | if b.ignore > 0: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 842 | b.ignore -= 1 |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 843 | # continue |
| 844 | else: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 845 | return (b, True) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 846 | # else: |
| 847 | # continue |
| 848 | except: |
Georg Brandl | 9aed6cc | 2010-11-26 12:05:27 +0000 | [diff] [blame] | 849 | # if eval fails, most conservative thing is to stop on |
| 850 | # breakpoint regardless of ignore count. Don't delete |
| 851 | # temporary, as another hint to user. |
| 852 | return (b, False) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 853 | return (None, None) |
Guido van Rossum | d93643f | 1998-09-11 22:38:35 +0000 | [diff] [blame] | 854 | |
Georg Brandl | 2660747 | 2010-11-29 20:12:24 +0000 | [diff] [blame] | 855 | |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 856 | # -------------------- testing -------------------- |
| 857 | |
| 858 | class Tdb(Bdb): |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 859 | def user_call(self, frame, args): |
| 860 | name = frame.f_code.co_name |
| 861 | if not name: name = '???' |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 862 | print('+++ call', name, args) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 863 | def user_line(self, frame): |
Eric S. Raymond | b49f4a4 | 2001-02-09 05:07:04 +0000 | [diff] [blame] | 864 | import linecache |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 865 | name = frame.f_code.co_name |
| 866 | if not name: name = '???' |
| 867 | fn = self.canonic(frame.f_code.co_filename) |
Nick Coghlan | f088e5e | 2008-12-14 11:50:48 +0000 | [diff] [blame] | 868 | line = linecache.getline(fn, frame.f_lineno, frame.f_globals) |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 869 | print('+++', fn, frame.f_lineno, name, ':', line.strip()) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 870 | def user_return(self, frame, retval): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 871 | print('+++ return', retval) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 872 | def user_exception(self, frame, exc_stuff): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 873 | print('+++ exception', exc_stuff) |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 874 | self.set_continue() |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 875 | |
| 876 | def foo(n): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 877 | print('foo(', n, ')') |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 878 | x = bar(n*10) |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 879 | print('bar returned', x) |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 880 | |
| 881 | def bar(a): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 882 | print('bar(', a, ')') |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 883 | return a/2 |
Guido van Rossum | babe2bf | 1992-01-22 22:21:31 +0000 | [diff] [blame] | 884 | |
| 885 | def test(): |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 886 | t = Tdb() |
| 887 | t.run('import bdb; bdb.foo(10)') |