blob: 67a08463fa1bd358d83c6a6a60e5740c12537e89 [file] [log] [blame]
Guido van Rossum4acc25b2000-02-02 15:10:15 +00001"""Debugger basics"""
Guido van Rossumbabe2bf1992-01-22 22:21:31 +00002
Georg Brandl243ad662009-05-05 09:00:19 +00003import fnmatch
Guido van Rossumbabe2bf1992-01-22 22:21:31 +00004import sys
Barry Warsaw148ffbc1999-09-09 23:24:33 +00005import os
Guido van Rossum8820c232013-11-21 11:30:06 -08006from inspect import CO_GENERATOR
Guido van Rossumbabe2bf1992-01-22 22:21:31 +00007
Georg Brandl26607472010-11-29 20:12:24 +00008__all__ = ["BdbQuit", "Bdb", "Breakpoint"]
Skip Montanaroe99d5ea2001-01-20 19:54:20 +00009
Neal Norwitz93cf79f2002-03-31 14:06:41 +000010class BdbQuit(Exception):
Georg Brandl26607472010-11-29 20:12:24 +000011 """Exception to give up completely."""
Guido van Rossumbabe2bf1992-01-22 22:21:31 +000012
13
Guido van Rossum6ea27cc1999-01-25 20:51:34 +000014class Bdb:
Guido van Rossum4acc25b2000-02-02 15:10:15 +000015 """Generic Python debugger base class.
Guido van Rossum6ea27cc1999-01-25 20:51:34 +000016
Guido van Rossum4acc25b2000-02-02 15:10:15 +000017 This class takes care of details of the trace facility;
18 a derived class should implement user interaction.
19 The standard debugger class (pdb.Pdb) is an example.
20 """
Guido van Rossum6ea27cc1999-01-25 20:51:34 +000021
Georg Brandl243ad662009-05-05 09:00:19 +000022 def __init__(self, skip=None):
23 self.skip = set(skip) if skip else None
Guido van Rossum4acc25b2000-02-02 15:10:15 +000024 self.breaks = {}
25 self.fncache = {}
Senthil Kumaran42d70812012-05-01 10:07:49 +080026 self.frame_returning = None
Barry Warsaw148ffbc1999-09-09 23:24:33 +000027
Guido van Rossum4acc25b2000-02-02 15:10:15 +000028 def canonic(self, filename):
Guido van Rossum42f53322001-11-29 02:50:15 +000029 if filename == "<" + filename[1:-1] + ">":
30 return filename
Guido van Rossum4acc25b2000-02-02 15:10:15 +000031 canonic = self.fncache.get(filename)
32 if not canonic:
33 canonic = os.path.abspath(filename)
Guido van Rossumbdba3202002-02-25 23:23:24 +000034 canonic = os.path.normcase(canonic)
Guido van Rossum4acc25b2000-02-02 15:10:15 +000035 self.fncache[filename] = canonic
36 return canonic
Tim Peters11cf6052001-01-14 21:54:20 +000037
Guido van Rossum4acc25b2000-02-02 15:10:15 +000038 def reset(self):
39 import linecache
40 linecache.checkcache()
41 self.botframe = None
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +000042 self._set_stopinfo(None, None)
Tim Peters11cf6052001-01-14 21:54:20 +000043
Guido van Rossum4acc25b2000-02-02 15:10:15 +000044 def trace_dispatch(self, frame, event, arg):
45 if self.quitting:
46 return # None
47 if event == 'line':
48 return self.dispatch_line(frame)
49 if event == 'call':
50 return self.dispatch_call(frame, arg)
51 if event == 'return':
52 return self.dispatch_return(frame, arg)
53 if event == 'exception':
54 return self.dispatch_exception(frame, arg)
Nicholas Bastinc69ebe82004-03-24 21:57:10 +000055 if event == 'c_call':
56 return self.trace_dispatch
57 if event == 'c_exception':
58 return self.trace_dispatch
59 if event == 'c_return':
60 return self.trace_dispatch
Guido van Rossumbe19ed72007-02-09 05:37:30 +000061 print('bdb.Bdb.dispatch: unknown debugging event:', repr(event))
Guido van Rossum4acc25b2000-02-02 15:10:15 +000062 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000063
Guido van Rossum4acc25b2000-02-02 15:10:15 +000064 def dispatch_line(self, frame):
65 if self.stop_here(frame) or self.break_here(frame):
66 self.user_line(frame)
67 if self.quitting: raise BdbQuit
68 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000069
Guido van Rossum4acc25b2000-02-02 15:10:15 +000070 def dispatch_call(self, frame, arg):
71 # XXX 'arg' is no longer used
72 if self.botframe is None:
73 # First call of dispatch since reset()
Christian Tismer313a7512002-05-28 08:04:00 +000074 self.botframe = frame.f_back # (CT) Note that this may also be None!
Guido van Rossum4acc25b2000-02-02 15:10:15 +000075 return self.trace_dispatch
76 if not (self.stop_here(frame) or self.break_anywhere(frame)):
77 # No need to trace this function
78 return # None
Guido van Rossum8820c232013-11-21 11:30:06 -080079 # Ignore call events in generator except when stepping.
80 if self.stopframe and frame.f_code.co_flags & CO_GENERATOR:
81 return self.trace_dispatch
Guido van Rossum4acc25b2000-02-02 15:10:15 +000082 self.user_call(frame, arg)
83 if self.quitting: raise BdbQuit
84 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000085
Guido van Rossum4acc25b2000-02-02 15:10:15 +000086 def dispatch_return(self, frame, arg):
87 if self.stop_here(frame) or frame == self.returnframe:
Guido van Rossum8820c232013-11-21 11:30:06 -080088 # Ignore return events in generator except when stepping.
89 if self.stopframe and frame.f_code.co_flags & CO_GENERATOR:
90 return self.trace_dispatch
Senthil Kumaran42d70812012-05-01 10:07:49 +080091 try:
92 self.frame_returning = frame
93 self.user_return(frame, arg)
94 finally:
95 self.frame_returning = None
Guido van Rossum4acc25b2000-02-02 15:10:15 +000096 if self.quitting: raise BdbQuit
Guido van Rossum8820c232013-11-21 11:30:06 -080097 # The user issued a 'next' or 'until' command.
98 if self.stopframe is frame and self.stoplineno != -1:
99 self._set_stopinfo(None, None)
Just van Rossumae1f65f2001-06-25 18:01:24 +0000100 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +0000101
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000102 def dispatch_exception(self, frame, arg):
103 if self.stop_here(frame):
Guido van Rossum8820c232013-11-21 11:30:06 -0800104 # When stepping with next/until/return in a generator frame, skip
105 # the internal StopIteration exception (with no traceback)
106 # triggered by a subiterator run with the 'yield from' statement.
107 if not (frame.f_code.co_flags & CO_GENERATOR
108 and arg[0] is StopIteration and arg[2] is None):
109 self.user_exception(frame, arg)
110 if self.quitting: raise BdbQuit
111 # Stop at the StopIteration or GeneratorExit exception when the user
112 # has set stopframe in a generator by issuing a return command, or a
113 # next/until command at the last statement in the generator before the
114 # exception.
115 elif (self.stopframe and frame is not self.stopframe
116 and self.stopframe.f_code.co_flags & CO_GENERATOR
117 and arg[0] in (StopIteration, GeneratorExit)):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000118 self.user_exception(frame, arg)
119 if self.quitting: raise BdbQuit
Guido van Rossum8820c232013-11-21 11:30:06 -0800120
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000121 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +0000122
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000123 # Normally derived classes don't override the following
124 # methods, but they may if they want to redefine the
125 # definition of stopping and breakpoints.
Tim Peters11cf6052001-01-14 21:54:20 +0000126
Georg Brandl243ad662009-05-05 09:00:19 +0000127 def is_skipped_module(self, module_name):
128 for pattern in self.skip:
129 if fnmatch.fnmatch(module_name, pattern):
130 return True
131 return False
132
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000133 def stop_here(self, frame):
Neal Norwitz72a2b4d2002-05-29 00:54:38 +0000134 # (CT) stopframe may now also be None, see dispatch_call.
135 # (CT) the former test for None is therefore removed from here.
Georg Brandl243ad662009-05-05 09:00:19 +0000136 if self.skip and \
137 self.is_skipped_module(frame.f_globals.get('__name__')):
138 return False
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000139 if frame is self.stopframe:
Georg Brandl3f940892010-07-30 10:29:19 +0000140 if self.stoplineno == -1:
141 return False
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000142 return frame.f_lineno >= self.stoplineno
Guido van Rossum8820c232013-11-21 11:30:06 -0800143 if not self.stopframe:
144 return True
Tim Petersbc0e9102002-04-04 22:55:58 +0000145 return False
Guido van Rossumd93643f1998-09-11 22:38:35 +0000146
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000147 def break_here(self, frame):
148 filename = self.canonic(frame.f_code.co_filename)
Georg Brandl26607472010-11-29 20:12:24 +0000149 if filename not in self.breaks:
Tim Petersbc0e9102002-04-04 22:55:58 +0000150 return False
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000151 lineno = frame.f_lineno
Georg Brandl26607472010-11-29 20:12:24 +0000152 if lineno not in self.breaks[filename]:
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000153 # The line itself has no breakpoint, but maybe the line is the
154 # first line of a function with breakpoint set by function name.
155 lineno = frame.f_code.co_firstlineno
Georg Brandl26607472010-11-29 20:12:24 +0000156 if lineno not in self.breaks[filename]:
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000157 return False
158
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000159 # flag says ok to delete temp. bp
160 (bp, flag) = effective(filename, lineno, frame)
161 if bp:
162 self.currentbp = bp.number
163 if (flag and bp.temporary):
164 self.do_clear(str(bp.number))
Tim Petersbc0e9102002-04-04 22:55:58 +0000165 return True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000166 else:
Tim Petersbc0e9102002-04-04 22:55:58 +0000167 return False
Tim Peters11cf6052001-01-14 21:54:20 +0000168
Guido van Rossum9cec8fb2001-04-08 15:05:16 +0000169 def do_clear(self, arg):
Collin Winterce36ad82007-08-30 01:19:48 +0000170 raise NotImplementedError("subclass of bdb must implement do_clear()")
Guido van Rossum9cec8fb2001-04-08 15:05:16 +0000171
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000172 def break_anywhere(self, frame):
Guido van Rossume2b70bc2006-08-18 22:13:04 +0000173 return self.canonic(frame.f_code.co_filename) in self.breaks
Tim Peters11cf6052001-01-14 21:54:20 +0000174
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000175 # Derived classes should override the user_* methods
176 # to gain control.
Tim Peters11cf6052001-01-14 21:54:20 +0000177
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000178 def user_call(self, frame, argument_list):
179 """This method is called when there is the remote possibility
180 that we ever need to stop in this function."""
181 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000182
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000183 def user_line(self, frame):
184 """This method is called when we stop or break at this line."""
185 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000186
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000187 def user_return(self, frame, return_value):
188 """This method is called when a return trap is set here."""
189 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000190
Guido van Rossum1bc535d2007-05-15 18:46:22 +0000191 def user_exception(self, frame, exc_info):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000192 """This method is called if an exception occurs,
193 but only if we are to stop at or just below this level."""
194 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000195
Georg Brandl3f940892010-07-30 10:29:19 +0000196 def _set_stopinfo(self, stopframe, returnframe, stoplineno=0):
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000197 self.stopframe = stopframe
198 self.returnframe = returnframe
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000199 self.quitting = False
Georg Brandl3f940892010-07-30 10:29:19 +0000200 # stoplineno >= 0 means: stop at line >= the stoplineno
201 # stoplineno -1 means: don't stop at all
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000202 self.stoplineno = stoplineno
203
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000204 # Derived classes and clients can call the following methods
205 # to affect the stepping state.
Tim Peters11cf6052001-01-14 21:54:20 +0000206
Georg Brandl2dfec552010-07-30 08:43:32 +0000207 def set_until(self, frame, lineno=None):
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000208 """Stop when the line with the line no greater than the current one is
209 reached or when returning from current frame"""
Georg Brandl2dfec552010-07-30 08:43:32 +0000210 # the name "until" is borrowed from gdb
211 if lineno is None:
212 lineno = frame.f_lineno + 1
213 self._set_stopinfo(frame, frame, lineno)
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000214
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000215 def set_step(self):
216 """Stop after one line of code."""
Senthil Kumaran42d70812012-05-01 10:07:49 +0800217 # Issue #13183: pdb skips frames after hitting a breakpoint and running
218 # step commands.
219 # Restore the trace function in the caller (that may not have been set
220 # for performance reasons) when returning from the current frame.
221 if self.frame_returning:
222 caller_frame = self.frame_returning.f_back
223 if caller_frame and not caller_frame.f_trace:
224 caller_frame.f_trace = self.trace_dispatch
Georg Brandl3f940892010-07-30 10:29:19 +0000225 self._set_stopinfo(None, None)
Tim Peters11cf6052001-01-14 21:54:20 +0000226
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000227 def set_next(self, frame):
228 """Stop on the next line in or below the given frame."""
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000229 self._set_stopinfo(frame, None)
Tim Peters11cf6052001-01-14 21:54:20 +0000230
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000231 def set_return(self, frame):
232 """Stop when returning from the given frame."""
Guido van Rossum8820c232013-11-21 11:30:06 -0800233 if frame.f_code.co_flags & CO_GENERATOR:
234 self._set_stopinfo(frame, None, -1)
235 else:
236 self._set_stopinfo(frame.f_back, frame)
Tim Peters11cf6052001-01-14 21:54:20 +0000237
Johannes Gijsbers84a6c202004-11-07 11:35:30 +0000238 def set_trace(self, frame=None):
239 """Start debugging from `frame`.
240
241 If frame is not specified, debugging starts from caller's frame.
242 """
243 if frame is None:
244 frame = sys._getframe().f_back
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000245 self.reset()
246 while frame:
247 frame.f_trace = self.trace_dispatch
248 self.botframe = frame
249 frame = frame.f_back
250 self.set_step()
251 sys.settrace(self.trace_dispatch)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000252
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000253 def set_continue(self):
254 # Don't stop except at breakpoints or when finished
Georg Brandl3f940892010-07-30 10:29:19 +0000255 self._set_stopinfo(self.botframe, None, -1)
Georg Brandlf8b893e2010-12-04 16:22:44 +0000256 if not self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000257 # no breakpoints; run without debugger overhead
258 sys.settrace(None)
Christian Tismer313a7512002-05-28 08:04:00 +0000259 frame = sys._getframe().f_back
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000260 while frame and frame is not self.botframe:
261 del frame.f_trace
262 frame = frame.f_back
Tim Peters11cf6052001-01-14 21:54:20 +0000263
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000264 def set_quit(self):
265 self.stopframe = self.botframe
266 self.returnframe = None
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000267 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000268 sys.settrace(None)
Tim Peters11cf6052001-01-14 21:54:20 +0000269
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000270 # Derived classes and clients can call the following methods
271 # to manipulate breakpoints. These methods return an
272 # error message is something went wrong, None if all is well.
273 # Set_break prints out the breakpoint line and file:lineno.
274 # Call self.get_*break*() to see the breakpoints or better
275 # for bp in Breakpoint.bpbynumber: if bp: bp.bpprint().
Tim Peters11cf6052001-01-14 21:54:20 +0000276
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000277 def set_break(self, filename, lineno, temporary=False, cond=None,
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000278 funcname=None):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000279 filename = self.canonic(filename)
280 import linecache # Import as late as possible
281 line = linecache.getline(filename, lineno)
282 if not line:
Georg Brandl26607472010-11-29 20:12:24 +0000283 return 'Line %s:%d does not exist' % (filename, lineno)
284 list = self.breaks.setdefault(filename, [])
285 if lineno not in list:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000286 list.append(lineno)
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000287 bp = Breakpoint(filename, lineno, temporary, cond, funcname)
Guido van Rossumd93643f1998-09-11 22:38:35 +0000288
Senthil Kumaran6f107042010-11-29 11:54:17 +0000289 def _prune_breaks(self, filename, lineno):
290 if (filename, lineno) not in Breakpoint.bplist:
291 self.breaks[filename].remove(lineno)
292 if not self.breaks[filename]:
293 del self.breaks[filename]
294
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000295 def clear_break(self, filename, lineno):
296 filename = self.canonic(filename)
Georg Brandl26607472010-11-29 20:12:24 +0000297 if filename not in self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000298 return 'There are no breakpoints in %s' % filename
299 if lineno not in self.breaks[filename]:
Georg Brandl26607472010-11-29 20:12:24 +0000300 return 'There is no breakpoint at %s:%d' % (filename, lineno)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000301 # If there's only one bp in the list for that file,line
302 # pair, then remove the breaks entry
303 for bp in Breakpoint.bplist[filename, lineno][:]:
304 bp.deleteMe()
Senthil Kumaran6f107042010-11-29 11:54:17 +0000305 self._prune_breaks(filename, lineno)
Tim Peters11cf6052001-01-14 21:54:20 +0000306
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000307 def clear_bpbynumber(self, arg):
308 try:
Georg Brandl7410dd12010-07-30 12:01:20 +0000309 bp = self.get_bpbynumber(arg)
310 except ValueError as err:
311 return str(err)
Senthil Kumaran6f107042010-11-29 11:54:17 +0000312 bp.deleteMe()
313 self._prune_breaks(bp.file, bp.line)
Guido van Rossum6ea27cc1999-01-25 20:51:34 +0000314
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000315 def clear_all_file_breaks(self, filename):
316 filename = self.canonic(filename)
Georg Brandl26607472010-11-29 20:12:24 +0000317 if filename not in self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000318 return 'There are no breakpoints in %s' % filename
319 for line in self.breaks[filename]:
320 blist = Breakpoint.bplist[filename, line]
321 for bp in blist:
322 bp.deleteMe()
323 del self.breaks[filename]
Tim Peters11cf6052001-01-14 21:54:20 +0000324
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000325 def clear_all_breaks(self):
326 if not self.breaks:
327 return 'There are no breakpoints'
328 for bp in Breakpoint.bpbynumber:
329 if bp:
330 bp.deleteMe()
331 self.breaks = {}
Tim Peters11cf6052001-01-14 21:54:20 +0000332
Georg Brandl7410dd12010-07-30 12:01:20 +0000333 def get_bpbynumber(self, arg):
334 if not arg:
335 raise ValueError('Breakpoint number expected')
336 try:
337 number = int(arg)
338 except ValueError:
339 raise ValueError('Non-numeric breakpoint number %s' % arg)
340 try:
341 bp = Breakpoint.bpbynumber[number]
342 except IndexError:
343 raise ValueError('Breakpoint number %d out of range' % number)
344 if bp is None:
345 raise ValueError('Breakpoint %d already deleted' % number)
346 return bp
347
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000348 def get_break(self, filename, lineno):
349 filename = self.canonic(filename)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000350 return filename in self.breaks and \
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000351 lineno in self.breaks[filename]
Tim Peters11cf6052001-01-14 21:54:20 +0000352
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000353 def get_breaks(self, filename, lineno):
354 filename = self.canonic(filename)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000355 return filename in self.breaks and \
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000356 lineno in self.breaks[filename] and \
357 Breakpoint.bplist[filename, lineno] or []
Tim Peters11cf6052001-01-14 21:54:20 +0000358
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000359 def get_file_breaks(self, filename):
360 filename = self.canonic(filename)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000361 if filename in self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000362 return self.breaks[filename]
363 else:
364 return []
Tim Peters11cf6052001-01-14 21:54:20 +0000365
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000366 def get_all_breaks(self):
367 return self.breaks
Tim Peters11cf6052001-01-14 21:54:20 +0000368
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000369 # Derived classes and clients can call the following method
370 # to get a data structure representing a stack trace.
Tim Peters11cf6052001-01-14 21:54:20 +0000371
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000372 def get_stack(self, f, t):
373 stack = []
374 if t and t.tb_frame is f:
375 t = t.tb_next
376 while f is not None:
377 stack.append((f, f.f_lineno))
378 if f is self.botframe:
379 break
380 f = f.f_back
381 stack.reverse()
382 i = max(0, len(stack) - 1)
383 while t is not None:
384 stack.append((t.tb_frame, t.tb_lineno))
385 t = t.tb_next
Benjamin Peterson1a6e0d02008-10-25 15:49:17 +0000386 if f is None:
387 i = max(0, len(stack) - 1)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000388 return stack, i
Tim Peters11cf6052001-01-14 21:54:20 +0000389
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000390 def format_stack_entry(self, frame_lineno, lprefix=': '):
Alexandre Vassalotti1f2ba4b2008-05-16 07:12:44 +0000391 import linecache, reprlib
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000392 frame, lineno = frame_lineno
393 filename = self.canonic(frame.f_code.co_filename)
Walter Dörwald70a6b492004-02-12 17:35:32 +0000394 s = '%s(%r)' % (filename, lineno)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000395 if frame.f_code.co_name:
Georg Brandl26607472010-11-29 20:12:24 +0000396 s += frame.f_code.co_name
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000397 else:
Georg Brandl26607472010-11-29 20:12:24 +0000398 s += "<lambda>"
Raymond Hettinger54f02222002-06-01 14:18:47 +0000399 if '__args__' in frame.f_locals:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000400 args = frame.f_locals['__args__']
401 else:
402 args = None
403 if args:
Georg Brandl26607472010-11-29 20:12:24 +0000404 s += reprlib.repr(args)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000405 else:
Georg Brandl26607472010-11-29 20:12:24 +0000406 s += '()'
Raymond Hettinger54f02222002-06-01 14:18:47 +0000407 if '__return__' in frame.f_locals:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000408 rv = frame.f_locals['__return__']
Georg Brandl26607472010-11-29 20:12:24 +0000409 s += '->'
410 s += reprlib.repr(rv)
Nick Coghlanf088e5e2008-12-14 11:50:48 +0000411 line = linecache.getline(filename, lineno, frame.f_globals)
Georg Brandl26607472010-11-29 20:12:24 +0000412 if line:
413 s += lprefix + line.strip()
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000414 return s
Tim Peters11cf6052001-01-14 21:54:20 +0000415
Georg Brandl46b9afc2010-07-30 09:14:20 +0000416 # The following methods can be called by clients to use
417 # a debugger to debug a statement or an expression.
418 # Both can be given as a string, or a code object.
Tim Peters11cf6052001-01-14 21:54:20 +0000419
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000420 def run(self, cmd, globals=None, locals=None):
421 if globals is None:
422 import __main__
423 globals = __main__.__dict__
424 if locals is None:
425 locals = globals
426 self.reset()
Victor Stinner4bd81722011-01-06 00:49:38 +0000427 if isinstance(cmd, str):
428 cmd = compile(cmd, "<string>", "exec")
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000429 sys.settrace(self.trace_dispatch)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000430 try:
Martin v. Löwisede8ffb2008-03-30 20:43:50 +0000431 exec(cmd, globals, locals)
432 except BdbQuit:
433 pass
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000434 finally:
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000435 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000436 sys.settrace(None)
Tim Peters11cf6052001-01-14 21:54:20 +0000437
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000438 def runeval(self, expr, globals=None, locals=None):
439 if globals is None:
440 import __main__
441 globals = __main__.__dict__
442 if locals is None:
443 locals = globals
444 self.reset()
445 sys.settrace(self.trace_dispatch)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000446 try:
Martin v. Löwisede8ffb2008-03-30 20:43:50 +0000447 return eval(expr, globals, locals)
448 except BdbQuit:
449 pass
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000450 finally:
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000451 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000452 sys.settrace(None)
Guido van Rossum5e38b6f1995-02-27 13:13:40 +0000453
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000454 def runctx(self, cmd, globals, locals):
455 # B/W compatibility
456 self.run(cmd, globals, locals)
Guido van Rossum4e160981992-09-02 20:43:20 +0000457
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000458 # This method is more useful to debug a single function call.
Guido van Rossum4e160981992-09-02 20:43:20 +0000459
Raymond Hettinger2ef7e6c2004-10-24 00:32:24 +0000460 def runcall(self, func, *args, **kwds):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000461 self.reset()
462 sys.settrace(self.trace_dispatch)
463 res = None
464 try:
Martin v. Löwisede8ffb2008-03-30 20:43:50 +0000465 res = func(*args, **kwds)
466 except BdbQuit:
467 pass
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000468 finally:
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000469 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000470 sys.settrace(None)
471 return res
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000472
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000473
Guido van Rossumb6775db1994-08-01 11:34:53 +0000474def set_trace():
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000475 Bdb().set_trace()
Guido van Rossumb6775db1994-08-01 11:34:53 +0000476
Guido van Rossumd93643f1998-09-11 22:38:35 +0000477
478class Breakpoint:
Georg Brandl26607472010-11-29 20:12:24 +0000479 """Breakpoint class.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000480
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000481 Implements temporary breakpoints, ignore counts, disabling and
482 (re)-enabling, and conditionals.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000483
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000484 Breakpoints are indexed by number through bpbynumber and by
485 the file,line tuple using bplist. The former points to a
486 single instance of class Breakpoint. The latter points to a
487 list of such instances since there may be more than one
488 breakpoint per line.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000489
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000490 """
Guido van Rossumd93643f1998-09-11 22:38:35 +0000491
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000492 # XXX Keeping state in the class is a mistake -- this means
493 # you cannot have more than one active Bdb instance.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000494
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000495 next = 1 # Next bp to be assigned
496 bplist = {} # indexed by (file, lineno) tuple
497 bpbynumber = [None] # Each entry is None or an instance of Bpt
498 # index 0 is unused, except for marking an
499 # effective break .... see effective()
Guido van Rossumd93643f1998-09-11 22:38:35 +0000500
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000501 def __init__(self, file, line, temporary=False, cond=None, funcname=None):
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000502 self.funcname = funcname
503 # Needed if funcname is not None.
504 self.func_first_executable_line = None
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000505 self.file = file # This better be in canonical form!
506 self.line = line
507 self.temporary = temporary
508 self.cond = cond
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000509 self.enabled = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000510 self.ignore = 0
511 self.hits = 0
512 self.number = Breakpoint.next
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000513 Breakpoint.next += 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000514 # Build the two lists
515 self.bpbynumber.append(self)
Guido van Rossume2b70bc2006-08-18 22:13:04 +0000516 if (file, line) in self.bplist:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000517 self.bplist[file, line].append(self)
518 else:
519 self.bplist[file, line] = [self]
Guido van Rossumd93643f1998-09-11 22:38:35 +0000520
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000521 def deleteMe(self):
522 index = (self.file, self.line)
523 self.bpbynumber[self.number] = None # No longer in list
524 self.bplist[index].remove(self)
525 if not self.bplist[index]:
526 # No more bp for this f:l combo
527 del self.bplist[index]
Guido van Rossumd93643f1998-09-11 22:38:35 +0000528
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000529 def enable(self):
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000530 self.enabled = True
Guido van Rossumd93643f1998-09-11 22:38:35 +0000531
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000532 def disable(self):
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000533 self.enabled = False
Guido van Rossumd93643f1998-09-11 22:38:35 +0000534
Thomas Wouters477c8d52006-05-27 19:21:47 +0000535 def bpprint(self, out=None):
536 if out is None:
537 out = sys.stdout
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000538 print(self.bpformat(), file=out)
539
540 def bpformat(self):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000541 if self.temporary:
Tim Peters11cf6052001-01-14 21:54:20 +0000542 disp = 'del '
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000543 else:
Tim Peters11cf6052001-01-14 21:54:20 +0000544 disp = 'keep '
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000545 if self.enabled:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000546 disp = disp + 'yes '
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000547 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000548 disp = disp + 'no '
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000549 ret = '%-4dbreakpoint %s at %s:%d' % (self.number, disp,
550 self.file, self.line)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000551 if self.cond:
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000552 ret += '\n\tstop only if %s' % (self.cond,)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000553 if self.ignore:
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000554 ret += '\n\tignore next %d hits' % (self.ignore,)
555 if self.hits:
556 if self.hits > 1:
557 ss = 's'
558 else:
559 ss = ''
560 ret += '\n\tbreakpoint already hit %d time%s' % (self.hits, ss)
561 return ret
Guido van Rossumd93643f1998-09-11 22:38:35 +0000562
Georg Brandl7410dd12010-07-30 12:01:20 +0000563 def __str__(self):
564 return 'breakpoint %s at %s:%s' % (self.number, self.file, self.line)
565
Guido van Rossumd93643f1998-09-11 22:38:35 +0000566# -----------end of Breakpoint class----------
567
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000568def checkfuncname(b, frame):
569 """Check whether we should break here because of `b.funcname`."""
570 if not b.funcname:
571 # Breakpoint was set via line number.
572 if b.line != frame.f_lineno:
573 # Breakpoint was set at a line with a def statement and the function
574 # defined is called: don't break.
575 return False
576 return True
577
578 # Breakpoint set via function name.
579
580 if frame.f_code.co_name != b.funcname:
581 # It's not a function call, but rather execution of def statement.
582 return False
583
584 # We are in the right frame.
585 if not b.func_first_executable_line:
586 # The function is entered for the 1st time.
587 b.func_first_executable_line = frame.f_lineno
588
589 if b.func_first_executable_line != frame.f_lineno:
590 # But we are not at the first line number: don't break.
591 return False
592 return True
593
Guido van Rossumd93643f1998-09-11 22:38:35 +0000594# Determines if there is an effective (active) breakpoint at this
595# line of code. Returns breakpoint number or 0 if none
596def effective(file, line, frame):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000597 """Determine which breakpoint for this file:line is to be acted upon.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000598
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000599 Called only if we know there is a bpt at this
600 location. Returns breakpoint that was triggered and a flag
601 that indicates if it is ok to delete a temporary bp.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000602
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000603 """
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000604 possibles = Breakpoint.bplist[file, line]
605 for b in possibles:
606 if not b.enabled:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000607 continue
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000608 if not checkfuncname(b, frame):
609 continue
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000610 # Count every hit when bp is enabled
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000611 b.hits += 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000612 if not b.cond:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000613 # If unconditional, and ignoring go on to next, else break
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000614 if b.ignore > 0:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000615 b.ignore -= 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000616 continue
617 else:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000618 # breakpoint and marker that it's ok to delete if temporary
619 return (b, True)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000620 else:
621 # Conditional bp.
622 # Ignore count applies only to those bpt hits where the
623 # condition evaluates to true.
624 try:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000625 val = eval(b.cond, frame.f_globals, frame.f_locals)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000626 if val:
627 if b.ignore > 0:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000628 b.ignore -= 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000629 # continue
630 else:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000631 return (b, True)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000632 # else:
633 # continue
634 except:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000635 # if eval fails, most conservative thing is to stop on
636 # breakpoint regardless of ignore count. Don't delete
637 # temporary, as another hint to user.
638 return (b, False)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000639 return (None, None)
Guido van Rossumd93643f1998-09-11 22:38:35 +0000640
Georg Brandl26607472010-11-29 20:12:24 +0000641
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000642# -------------------- testing --------------------
643
644class Tdb(Bdb):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000645 def user_call(self, frame, args):
646 name = frame.f_code.co_name
647 if not name: name = '???'
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000648 print('+++ call', name, args)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000649 def user_line(self, frame):
Eric S. Raymondb49f4a42001-02-09 05:07:04 +0000650 import linecache
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000651 name = frame.f_code.co_name
652 if not name: name = '???'
653 fn = self.canonic(frame.f_code.co_filename)
Nick Coghlanf088e5e2008-12-14 11:50:48 +0000654 line = linecache.getline(fn, frame.f_lineno, frame.f_globals)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000655 print('+++', fn, frame.f_lineno, name, ':', line.strip())
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000656 def user_return(self, frame, retval):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000657 print('+++ return', retval)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000658 def user_exception(self, frame, exc_stuff):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000659 print('+++ exception', exc_stuff)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000660 self.set_continue()
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000661
662def foo(n):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000663 print('foo(', n, ')')
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000664 x = bar(n*10)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000665 print('bar returned', x)
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000666
667def bar(a):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000668 print('bar(', a, ')')
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000669 return a/2
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000670
671def test():
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000672 t = Tdb()
673 t.run('import bdb; bdb.foo(10)')