blob: f711004483da66e51845425fa42d359f23f0af9c [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 Rossumbabe2bf1992-01-22 22:21:31 +00006
Georg Brandl26607472010-11-29 20:12:24 +00007__all__ = ["BdbQuit", "Bdb", "Breakpoint"]
Skip Montanaroe99d5ea2001-01-20 19:54:20 +00008
Neal Norwitz93cf79f2002-03-31 14:06:41 +00009class BdbQuit(Exception):
Georg Brandl26607472010-11-29 20:12:24 +000010 """Exception to give up completely."""
Guido van Rossumbabe2bf1992-01-22 22:21:31 +000011
12
Guido van Rossum6ea27cc1999-01-25 20:51:34 +000013class Bdb:
Guido van Rossum4acc25b2000-02-02 15:10:15 +000014 """Generic Python debugger base class.
Guido van Rossum6ea27cc1999-01-25 20:51:34 +000015
Guido van Rossum4acc25b2000-02-02 15:10:15 +000016 This class takes care of details of the trace facility;
17 a derived class should implement user interaction.
18 The standard debugger class (pdb.Pdb) is an example.
19 """
Guido van Rossum6ea27cc1999-01-25 20:51:34 +000020
Georg Brandl243ad662009-05-05 09:00:19 +000021 def __init__(self, skip=None):
22 self.skip = set(skip) if skip else None
Guido van Rossum4acc25b2000-02-02 15:10:15 +000023 self.breaks = {}
24 self.fncache = {}
Barry Warsaw148ffbc1999-09-09 23:24:33 +000025
Guido van Rossum4acc25b2000-02-02 15:10:15 +000026 def canonic(self, filename):
Guido van Rossum42f53322001-11-29 02:50:15 +000027 if filename == "<" + filename[1:-1] + ">":
28 return filename
Guido van Rossum4acc25b2000-02-02 15:10:15 +000029 canonic = self.fncache.get(filename)
30 if not canonic:
31 canonic = os.path.abspath(filename)
Guido van Rossumbdba3202002-02-25 23:23:24 +000032 canonic = os.path.normcase(canonic)
Guido van Rossum4acc25b2000-02-02 15:10:15 +000033 self.fncache[filename] = canonic
34 return canonic
Tim Peters11cf6052001-01-14 21:54:20 +000035
Guido van Rossum4acc25b2000-02-02 15:10:15 +000036 def reset(self):
37 import linecache
38 linecache.checkcache()
39 self.botframe = None
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +000040 self._set_stopinfo(None, None)
Tim Peters11cf6052001-01-14 21:54:20 +000041
Guido van Rossum4acc25b2000-02-02 15:10:15 +000042 def trace_dispatch(self, frame, event, arg):
43 if self.quitting:
44 return # None
45 if event == 'line':
46 return self.dispatch_line(frame)
47 if event == 'call':
48 return self.dispatch_call(frame, arg)
49 if event == 'return':
50 return self.dispatch_return(frame, arg)
51 if event == 'exception':
52 return self.dispatch_exception(frame, arg)
Nicholas Bastinc69ebe82004-03-24 21:57:10 +000053 if event == 'c_call':
54 return self.trace_dispatch
55 if event == 'c_exception':
56 return self.trace_dispatch
57 if event == 'c_return':
58 return self.trace_dispatch
Guido van Rossumbe19ed72007-02-09 05:37:30 +000059 print('bdb.Bdb.dispatch: unknown debugging event:', repr(event))
Guido van Rossum4acc25b2000-02-02 15:10:15 +000060 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000061
Guido van Rossum4acc25b2000-02-02 15:10:15 +000062 def dispatch_line(self, frame):
63 if self.stop_here(frame) or self.break_here(frame):
64 self.user_line(frame)
65 if self.quitting: raise BdbQuit
66 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000067
Guido van Rossum4acc25b2000-02-02 15:10:15 +000068 def dispatch_call(self, frame, arg):
69 # XXX 'arg' is no longer used
70 if self.botframe is None:
71 # First call of dispatch since reset()
Christian Tismer313a7512002-05-28 08:04:00 +000072 self.botframe = frame.f_back # (CT) Note that this may also be None!
Guido van Rossum4acc25b2000-02-02 15:10:15 +000073 return self.trace_dispatch
74 if not (self.stop_here(frame) or self.break_anywhere(frame)):
75 # No need to trace this function
76 return # None
77 self.user_call(frame, arg)
78 if self.quitting: raise BdbQuit
79 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000080
Guido van Rossum4acc25b2000-02-02 15:10:15 +000081 def dispatch_return(self, frame, arg):
82 if self.stop_here(frame) or frame == self.returnframe:
83 self.user_return(frame, arg)
84 if self.quitting: raise BdbQuit
Just van Rossumae1f65f2001-06-25 18:01:24 +000085 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000086
Guido van Rossum4acc25b2000-02-02 15:10:15 +000087 def dispatch_exception(self, frame, arg):
88 if self.stop_here(frame):
89 self.user_exception(frame, arg)
90 if self.quitting: raise BdbQuit
91 return self.trace_dispatch
Tim Peters11cf6052001-01-14 21:54:20 +000092
Guido van Rossum4acc25b2000-02-02 15:10:15 +000093 # Normally derived classes don't override the following
94 # methods, but they may if they want to redefine the
95 # definition of stopping and breakpoints.
Tim Peters11cf6052001-01-14 21:54:20 +000096
Georg Brandl243ad662009-05-05 09:00:19 +000097 def is_skipped_module(self, module_name):
98 for pattern in self.skip:
99 if fnmatch.fnmatch(module_name, pattern):
100 return True
101 return False
102
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000103 def stop_here(self, frame):
Neal Norwitz72a2b4d2002-05-29 00:54:38 +0000104 # (CT) stopframe may now also be None, see dispatch_call.
105 # (CT) the former test for None is therefore removed from here.
Georg Brandl243ad662009-05-05 09:00:19 +0000106 if self.skip and \
107 self.is_skipped_module(frame.f_globals.get('__name__')):
108 return False
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000109 if frame is self.stopframe:
Georg Brandl3f940892010-07-30 10:29:19 +0000110 if self.stoplineno == -1:
111 return False
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000112 return frame.f_lineno >= self.stoplineno
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000113 while frame is not None and frame is not self.stopframe:
114 if frame is self.botframe:
Tim Petersbc0e9102002-04-04 22:55:58 +0000115 return True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000116 frame = frame.f_back
Tim Petersbc0e9102002-04-04 22:55:58 +0000117 return False
Guido van Rossumd93643f1998-09-11 22:38:35 +0000118
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000119 def break_here(self, frame):
120 filename = self.canonic(frame.f_code.co_filename)
Georg Brandl26607472010-11-29 20:12:24 +0000121 if filename not in self.breaks:
Tim Petersbc0e9102002-04-04 22:55:58 +0000122 return False
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000123 lineno = frame.f_lineno
Georg Brandl26607472010-11-29 20:12:24 +0000124 if lineno not in self.breaks[filename]:
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000125 # The line itself has no breakpoint, but maybe the line is the
126 # first line of a function with breakpoint set by function name.
127 lineno = frame.f_code.co_firstlineno
Georg Brandl26607472010-11-29 20:12:24 +0000128 if lineno not in self.breaks[filename]:
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000129 return False
130
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000131 # flag says ok to delete temp. bp
132 (bp, flag) = effective(filename, lineno, frame)
133 if bp:
134 self.currentbp = bp.number
135 if (flag and bp.temporary):
136 self.do_clear(str(bp.number))
Tim Petersbc0e9102002-04-04 22:55:58 +0000137 return True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000138 else:
Tim Petersbc0e9102002-04-04 22:55:58 +0000139 return False
Tim Peters11cf6052001-01-14 21:54:20 +0000140
Guido van Rossum9cec8fb2001-04-08 15:05:16 +0000141 def do_clear(self, arg):
Collin Winterce36ad82007-08-30 01:19:48 +0000142 raise NotImplementedError("subclass of bdb must implement do_clear()")
Guido van Rossum9cec8fb2001-04-08 15:05:16 +0000143
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000144 def break_anywhere(self, frame):
Guido van Rossume2b70bc2006-08-18 22:13:04 +0000145 return self.canonic(frame.f_code.co_filename) in self.breaks
Tim Peters11cf6052001-01-14 21:54:20 +0000146
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000147 # Derived classes should override the user_* methods
148 # to gain control.
Tim Peters11cf6052001-01-14 21:54:20 +0000149
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000150 def user_call(self, frame, argument_list):
151 """This method is called when there is the remote possibility
152 that we ever need to stop in this function."""
153 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000154
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000155 def user_line(self, frame):
156 """This method is called when we stop or break at this line."""
157 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000158
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000159 def user_return(self, frame, return_value):
160 """This method is called when a return trap is set here."""
161 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000162
Guido van Rossum1bc535d2007-05-15 18:46:22 +0000163 def user_exception(self, frame, exc_info):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000164 """This method is called if an exception occurs,
165 but only if we are to stop at or just below this level."""
166 pass
Tim Peters11cf6052001-01-14 21:54:20 +0000167
Georg Brandl3f940892010-07-30 10:29:19 +0000168 def _set_stopinfo(self, stopframe, returnframe, stoplineno=0):
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000169 self.stopframe = stopframe
170 self.returnframe = returnframe
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000171 self.quitting = False
Georg Brandl3f940892010-07-30 10:29:19 +0000172 # stoplineno >= 0 means: stop at line >= the stoplineno
173 # stoplineno -1 means: don't stop at all
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000174 self.stoplineno = stoplineno
175
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000176 # Derived classes and clients can call the following methods
177 # to affect the stepping state.
Tim Peters11cf6052001-01-14 21:54:20 +0000178
Georg Brandl2dfec552010-07-30 08:43:32 +0000179 def set_until(self, frame, lineno=None):
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000180 """Stop when the line with the line no greater than the current one is
181 reached or when returning from current frame"""
Georg Brandl2dfec552010-07-30 08:43:32 +0000182 # the name "until" is borrowed from gdb
183 if lineno is None:
184 lineno = frame.f_lineno + 1
185 self._set_stopinfo(frame, frame, lineno)
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000186
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000187 def set_step(self):
188 """Stop after one line of code."""
Georg Brandl3f940892010-07-30 10:29:19 +0000189 self._set_stopinfo(None, None)
Tim Peters11cf6052001-01-14 21:54:20 +0000190
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000191 def set_next(self, frame):
192 """Stop on the next line in or below the given frame."""
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000193 self._set_stopinfo(frame, None)
Tim Peters11cf6052001-01-14 21:54:20 +0000194
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000195 def set_return(self, frame):
196 """Stop when returning from the given frame."""
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000197 self._set_stopinfo(frame.f_back, frame)
Tim Peters11cf6052001-01-14 21:54:20 +0000198
Johannes Gijsbers84a6c202004-11-07 11:35:30 +0000199 def set_trace(self, frame=None):
200 """Start debugging from `frame`.
201
202 If frame is not specified, debugging starts from caller's frame.
203 """
204 if frame is None:
205 frame = sys._getframe().f_back
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000206 self.reset()
207 while frame:
208 frame.f_trace = self.trace_dispatch
209 self.botframe = frame
210 frame = frame.f_back
211 self.set_step()
212 sys.settrace(self.trace_dispatch)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000213
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000214 def set_continue(self):
215 # Don't stop except at breakpoints or when finished
Georg Brandl3f940892010-07-30 10:29:19 +0000216 self._set_stopinfo(self.botframe, None, -1)
Georg Brandlf8b893e2010-12-04 16:22:44 +0000217 if not self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000218 # no breakpoints; run without debugger overhead
219 sys.settrace(None)
Christian Tismer313a7512002-05-28 08:04:00 +0000220 frame = sys._getframe().f_back
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000221 while frame and frame is not self.botframe:
222 del frame.f_trace
223 frame = frame.f_back
Tim Peters11cf6052001-01-14 21:54:20 +0000224
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000225 def set_quit(self):
226 self.stopframe = self.botframe
227 self.returnframe = None
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000228 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000229 sys.settrace(None)
Tim Peters11cf6052001-01-14 21:54:20 +0000230
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000231 # Derived classes and clients can call the following methods
232 # to manipulate breakpoints. These methods return an
233 # error message is something went wrong, None if all is well.
234 # Set_break prints out the breakpoint line and file:lineno.
235 # Call self.get_*break*() to see the breakpoints or better
236 # for bp in Breakpoint.bpbynumber: if bp: bp.bpprint().
Tim Peters11cf6052001-01-14 21:54:20 +0000237
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000238 def set_break(self, filename, lineno, temporary=False, cond=None,
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000239 funcname=None):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000240 filename = self.canonic(filename)
241 import linecache # Import as late as possible
242 line = linecache.getline(filename, lineno)
243 if not line:
Georg Brandl26607472010-11-29 20:12:24 +0000244 return 'Line %s:%d does not exist' % (filename, lineno)
245 list = self.breaks.setdefault(filename, [])
246 if lineno not in list:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000247 list.append(lineno)
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000248 bp = Breakpoint(filename, lineno, temporary, cond, funcname)
Guido van Rossumd93643f1998-09-11 22:38:35 +0000249
Senthil Kumaran6f107042010-11-29 11:54:17 +0000250 def _prune_breaks(self, filename, lineno):
251 if (filename, lineno) not in Breakpoint.bplist:
252 self.breaks[filename].remove(lineno)
253 if not self.breaks[filename]:
254 del self.breaks[filename]
255
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000256 def clear_break(self, filename, lineno):
257 filename = self.canonic(filename)
Georg Brandl26607472010-11-29 20:12:24 +0000258 if filename not in self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000259 return 'There are no breakpoints in %s' % filename
260 if lineno not in self.breaks[filename]:
Georg Brandl26607472010-11-29 20:12:24 +0000261 return 'There is no breakpoint at %s:%d' % (filename, lineno)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000262 # If there's only one bp in the list for that file,line
263 # pair, then remove the breaks entry
264 for bp in Breakpoint.bplist[filename, lineno][:]:
265 bp.deleteMe()
Senthil Kumaran6f107042010-11-29 11:54:17 +0000266 self._prune_breaks(filename, lineno)
Tim Peters11cf6052001-01-14 21:54:20 +0000267
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000268 def clear_bpbynumber(self, arg):
269 try:
Georg Brandl7410dd12010-07-30 12:01:20 +0000270 bp = self.get_bpbynumber(arg)
271 except ValueError as err:
272 return str(err)
Senthil Kumaran6f107042010-11-29 11:54:17 +0000273 bp.deleteMe()
274 self._prune_breaks(bp.file, bp.line)
Guido van Rossum6ea27cc1999-01-25 20:51:34 +0000275
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000276 def clear_all_file_breaks(self, filename):
277 filename = self.canonic(filename)
Georg Brandl26607472010-11-29 20:12:24 +0000278 if filename not in self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000279 return 'There are no breakpoints in %s' % filename
280 for line in self.breaks[filename]:
281 blist = Breakpoint.bplist[filename, line]
282 for bp in blist:
283 bp.deleteMe()
284 del self.breaks[filename]
Tim Peters11cf6052001-01-14 21:54:20 +0000285
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000286 def clear_all_breaks(self):
287 if not self.breaks:
288 return 'There are no breakpoints'
289 for bp in Breakpoint.bpbynumber:
290 if bp:
291 bp.deleteMe()
292 self.breaks = {}
Tim Peters11cf6052001-01-14 21:54:20 +0000293
Georg Brandl7410dd12010-07-30 12:01:20 +0000294 def get_bpbynumber(self, arg):
295 if not arg:
296 raise ValueError('Breakpoint number expected')
297 try:
298 number = int(arg)
299 except ValueError:
300 raise ValueError('Non-numeric breakpoint number %s' % arg)
301 try:
302 bp = Breakpoint.bpbynumber[number]
303 except IndexError:
304 raise ValueError('Breakpoint number %d out of range' % number)
305 if bp is None:
306 raise ValueError('Breakpoint %d already deleted' % number)
307 return bp
308
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000309 def get_break(self, filename, lineno):
310 filename = self.canonic(filename)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000311 return filename in self.breaks and \
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000312 lineno in self.breaks[filename]
Tim Peters11cf6052001-01-14 21:54:20 +0000313
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000314 def get_breaks(self, filename, lineno):
315 filename = self.canonic(filename)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000316 return filename in self.breaks and \
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000317 lineno in self.breaks[filename] and \
318 Breakpoint.bplist[filename, lineno] or []
Tim Peters11cf6052001-01-14 21:54:20 +0000319
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000320 def get_file_breaks(self, filename):
321 filename = self.canonic(filename)
Raymond Hettinger54f02222002-06-01 14:18:47 +0000322 if filename in self.breaks:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000323 return self.breaks[filename]
324 else:
325 return []
Tim Peters11cf6052001-01-14 21:54:20 +0000326
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000327 def get_all_breaks(self):
328 return self.breaks
Tim Peters11cf6052001-01-14 21:54:20 +0000329
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000330 # Derived classes and clients can call the following method
331 # to get a data structure representing a stack trace.
Tim Peters11cf6052001-01-14 21:54:20 +0000332
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000333 def get_stack(self, f, t):
334 stack = []
335 if t and t.tb_frame is f:
336 t = t.tb_next
337 while f is not None:
338 stack.append((f, f.f_lineno))
339 if f is self.botframe:
340 break
341 f = f.f_back
342 stack.reverse()
343 i = max(0, len(stack) - 1)
344 while t is not None:
345 stack.append((t.tb_frame, t.tb_lineno))
346 t = t.tb_next
Benjamin Peterson1a6e0d02008-10-25 15:49:17 +0000347 if f is None:
348 i = max(0, len(stack) - 1)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000349 return stack, i
Tim Peters11cf6052001-01-14 21:54:20 +0000350
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000351 def format_stack_entry(self, frame_lineno, lprefix=': '):
Alexandre Vassalotti1f2ba4b2008-05-16 07:12:44 +0000352 import linecache, reprlib
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000353 frame, lineno = frame_lineno
354 filename = self.canonic(frame.f_code.co_filename)
Walter Dörwald70a6b492004-02-12 17:35:32 +0000355 s = '%s(%r)' % (filename, lineno)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000356 if frame.f_code.co_name:
Georg Brandl26607472010-11-29 20:12:24 +0000357 s += frame.f_code.co_name
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000358 else:
Georg Brandl26607472010-11-29 20:12:24 +0000359 s += "<lambda>"
Raymond Hettinger54f02222002-06-01 14:18:47 +0000360 if '__args__' in frame.f_locals:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000361 args = frame.f_locals['__args__']
362 else:
363 args = None
364 if args:
Georg Brandl26607472010-11-29 20:12:24 +0000365 s += reprlib.repr(args)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000366 else:
Georg Brandl26607472010-11-29 20:12:24 +0000367 s += '()'
Raymond Hettinger54f02222002-06-01 14:18:47 +0000368 if '__return__' in frame.f_locals:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000369 rv = frame.f_locals['__return__']
Georg Brandl26607472010-11-29 20:12:24 +0000370 s += '->'
371 s += reprlib.repr(rv)
Nick Coghlanf088e5e2008-12-14 11:50:48 +0000372 line = linecache.getline(filename, lineno, frame.f_globals)
Georg Brandl26607472010-11-29 20:12:24 +0000373 if line:
374 s += lprefix + line.strip()
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000375 return s
Tim Peters11cf6052001-01-14 21:54:20 +0000376
Georg Brandl46b9afc2010-07-30 09:14:20 +0000377 # The following methods can be called by clients to use
378 # a debugger to debug a statement or an expression.
379 # Both can be given as a string, or a code object.
Tim Peters11cf6052001-01-14 21:54:20 +0000380
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000381 def run(self, cmd, globals=None, locals=None):
382 if globals is None:
383 import __main__
384 globals = __main__.__dict__
385 if locals is None:
386 locals = globals
387 self.reset()
Victor Stinner4bd81722011-01-06 00:49:38 +0000388 if isinstance(cmd, str):
389 cmd = compile(cmd, "<string>", "exec")
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000390 sys.settrace(self.trace_dispatch)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000391 try:
Martin v. Löwisede8ffb2008-03-30 20:43:50 +0000392 exec(cmd, globals, locals)
393 except BdbQuit:
394 pass
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000395 finally:
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000396 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000397 sys.settrace(None)
Tim Peters11cf6052001-01-14 21:54:20 +0000398
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000399 def runeval(self, expr, globals=None, locals=None):
400 if globals is None:
401 import __main__
402 globals = __main__.__dict__
403 if locals is None:
404 locals = globals
405 self.reset()
406 sys.settrace(self.trace_dispatch)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000407 try:
Martin v. Löwisede8ffb2008-03-30 20:43:50 +0000408 return eval(expr, globals, locals)
409 except BdbQuit:
410 pass
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000411 finally:
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000412 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000413 sys.settrace(None)
Guido van Rossum5e38b6f1995-02-27 13:13:40 +0000414
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000415 def runctx(self, cmd, globals, locals):
416 # B/W compatibility
417 self.run(cmd, globals, locals)
Guido van Rossum4e160981992-09-02 20:43:20 +0000418
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000419 # This method is more useful to debug a single function call.
Guido van Rossum4e160981992-09-02 20:43:20 +0000420
Raymond Hettinger2ef7e6c2004-10-24 00:32:24 +0000421 def runcall(self, func, *args, **kwds):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000422 self.reset()
423 sys.settrace(self.trace_dispatch)
424 res = None
425 try:
Martin v. Löwisede8ffb2008-03-30 20:43:50 +0000426 res = func(*args, **kwds)
427 except BdbQuit:
428 pass
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000429 finally:
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000430 self.quitting = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000431 sys.settrace(None)
432 return res
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000433
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000434
Guido van Rossumb6775db1994-08-01 11:34:53 +0000435def set_trace():
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000436 Bdb().set_trace()
Guido van Rossumb6775db1994-08-01 11:34:53 +0000437
Guido van Rossumd93643f1998-09-11 22:38:35 +0000438
439class Breakpoint:
Georg Brandl26607472010-11-29 20:12:24 +0000440 """Breakpoint class.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000441
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000442 Implements temporary breakpoints, ignore counts, disabling and
443 (re)-enabling, and conditionals.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000444
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000445 Breakpoints are indexed by number through bpbynumber and by
446 the file,line tuple using bplist. The former points to a
447 single instance of class Breakpoint. The latter points to a
448 list of such instances since there may be more than one
449 breakpoint per line.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000450
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000451 """
Guido van Rossumd93643f1998-09-11 22:38:35 +0000452
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000453 # XXX Keeping state in the class is a mistake -- this means
454 # you cannot have more than one active Bdb instance.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000455
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000456 next = 1 # Next bp to be assigned
457 bplist = {} # indexed by (file, lineno) tuple
458 bpbynumber = [None] # Each entry is None or an instance of Bpt
459 # index 0 is unused, except for marking an
460 # effective break .... see effective()
Guido van Rossumd93643f1998-09-11 22:38:35 +0000461
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000462 def __init__(self, file, line, temporary=False, cond=None, funcname=None):
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000463 self.funcname = funcname
464 # Needed if funcname is not None.
465 self.func_first_executable_line = None
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000466 self.file = file # This better be in canonical form!
467 self.line = line
468 self.temporary = temporary
469 self.cond = cond
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000470 self.enabled = True
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000471 self.ignore = 0
472 self.hits = 0
473 self.number = Breakpoint.next
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000474 Breakpoint.next += 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000475 # Build the two lists
476 self.bpbynumber.append(self)
Guido van Rossume2b70bc2006-08-18 22:13:04 +0000477 if (file, line) in self.bplist:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000478 self.bplist[file, line].append(self)
479 else:
480 self.bplist[file, line] = [self]
Guido van Rossumd93643f1998-09-11 22:38:35 +0000481
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000482 def deleteMe(self):
483 index = (self.file, self.line)
484 self.bpbynumber[self.number] = None # No longer in list
485 self.bplist[index].remove(self)
486 if not self.bplist[index]:
487 # No more bp for this f:l combo
488 del self.bplist[index]
Guido van Rossumd93643f1998-09-11 22:38:35 +0000489
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000490 def enable(self):
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000491 self.enabled = True
Guido van Rossumd93643f1998-09-11 22:38:35 +0000492
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000493 def disable(self):
Georg Brandlac9a2bb2010-11-29 20:19:15 +0000494 self.enabled = False
Guido van Rossumd93643f1998-09-11 22:38:35 +0000495
Thomas Wouters477c8d52006-05-27 19:21:47 +0000496 def bpprint(self, out=None):
497 if out is None:
498 out = sys.stdout
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000499 print(self.bpformat(), file=out)
500
501 def bpformat(self):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000502 if self.temporary:
Tim Peters11cf6052001-01-14 21:54:20 +0000503 disp = 'del '
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000504 else:
Tim Peters11cf6052001-01-14 21:54:20 +0000505 disp = 'keep '
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000506 if self.enabled:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000507 disp = disp + 'yes '
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000508 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000509 disp = disp + 'no '
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000510 ret = '%-4dbreakpoint %s at %s:%d' % (self.number, disp,
511 self.file, self.line)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000512 if self.cond:
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000513 ret += '\n\tstop only if %s' % (self.cond,)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000514 if self.ignore:
Georg Brandld2fd4ca2010-07-30 15:01:23 +0000515 ret += '\n\tignore next %d hits' % (self.ignore,)
516 if self.hits:
517 if self.hits > 1:
518 ss = 's'
519 else:
520 ss = ''
521 ret += '\n\tbreakpoint already hit %d time%s' % (self.hits, ss)
522 return ret
Guido van Rossumd93643f1998-09-11 22:38:35 +0000523
Georg Brandl7410dd12010-07-30 12:01:20 +0000524 def __str__(self):
525 return 'breakpoint %s at %s:%s' % (self.number, self.file, self.line)
526
Guido van Rossumd93643f1998-09-11 22:38:35 +0000527# -----------end of Breakpoint class----------
528
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000529def checkfuncname(b, frame):
530 """Check whether we should break here because of `b.funcname`."""
531 if not b.funcname:
532 # Breakpoint was set via line number.
533 if b.line != frame.f_lineno:
534 # Breakpoint was set at a line with a def statement and the function
535 # defined is called: don't break.
536 return False
537 return True
538
539 # Breakpoint set via function name.
540
541 if frame.f_code.co_name != b.funcname:
542 # It's not a function call, but rather execution of def statement.
543 return False
544
545 # We are in the right frame.
546 if not b.func_first_executable_line:
547 # The function is entered for the 1st time.
548 b.func_first_executable_line = frame.f_lineno
549
550 if b.func_first_executable_line != frame.f_lineno:
551 # But we are not at the first line number: don't break.
552 return False
553 return True
554
Guido van Rossumd93643f1998-09-11 22:38:35 +0000555# Determines if there is an effective (active) breakpoint at this
556# line of code. Returns breakpoint number or 0 if none
557def effective(file, line, frame):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000558 """Determine which breakpoint for this file:line is to be acted upon.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000559
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000560 Called only if we know there is a bpt at this
561 location. Returns breakpoint that was triggered and a flag
562 that indicates if it is ok to delete a temporary bp.
Guido van Rossumd93643f1998-09-11 22:38:35 +0000563
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000564 """
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000565 possibles = Breakpoint.bplist[file, line]
566 for b in possibles:
567 if not b.enabled:
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000568 continue
Johannes Gijsbers4a9faa12004-08-30 13:29:44 +0000569 if not checkfuncname(b, frame):
570 continue
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000571 # Count every hit when bp is enabled
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000572 b.hits += 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000573 if not b.cond:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000574 # If unconditional, and ignoring go on to next, else break
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000575 if b.ignore > 0:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000576 b.ignore -= 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000577 continue
578 else:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000579 # breakpoint and marker that it's ok to delete if temporary
580 return (b, True)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000581 else:
582 # Conditional bp.
583 # Ignore count applies only to those bpt hits where the
584 # condition evaluates to true.
585 try:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000586 val = eval(b.cond, frame.f_globals, frame.f_locals)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000587 if val:
588 if b.ignore > 0:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000589 b.ignore -= 1
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000590 # continue
591 else:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000592 return (b, True)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000593 # else:
594 # continue
595 except:
Georg Brandl9aed6cc2010-11-26 12:05:27 +0000596 # if eval fails, most conservative thing is to stop on
597 # breakpoint regardless of ignore count. Don't delete
598 # temporary, as another hint to user.
599 return (b, False)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000600 return (None, None)
Guido van Rossumd93643f1998-09-11 22:38:35 +0000601
Georg Brandl26607472010-11-29 20:12:24 +0000602
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000603# -------------------- testing --------------------
604
605class Tdb(Bdb):
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000606 def user_call(self, frame, args):
607 name = frame.f_code.co_name
608 if not name: name = '???'
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000609 print('+++ call', name, args)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000610 def user_line(self, frame):
Eric S. Raymondb49f4a42001-02-09 05:07:04 +0000611 import linecache
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000612 name = frame.f_code.co_name
613 if not name: name = '???'
614 fn = self.canonic(frame.f_code.co_filename)
Nick Coghlanf088e5e2008-12-14 11:50:48 +0000615 line = linecache.getline(fn, frame.f_lineno, frame.f_globals)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000616 print('+++', fn, frame.f_lineno, name, ':', line.strip())
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000617 def user_return(self, frame, retval):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000618 print('+++ return', retval)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000619 def user_exception(self, frame, exc_stuff):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000620 print('+++ exception', exc_stuff)
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000621 self.set_continue()
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000622
623def foo(n):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000624 print('foo(', n, ')')
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000625 x = bar(n*10)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000626 print('bar returned', x)
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000627
628def bar(a):
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000629 print('bar(', a, ')')
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000630 return a/2
Guido van Rossumbabe2bf1992-01-22 22:21:31 +0000631
632def test():
Guido van Rossum4acc25b2000-02-02 15:10:15 +0000633 t = Tdb()
634 t.run('import bdb; bdb.foo(10)')