blob: fefb2ad7e30b860defb940eb18897dbc177a6004 [file] [log] [blame]
Christian Heimesd8654cf2007-12-02 15:22:16 +00001:mod:`bdb` --- Debugger framework
2=================================
3
4.. module:: bdb
5 :synopsis: Debugger framework.
6
7The :mod:`bdb` module handles basic debugger functions, like setting breakpoints
8or managing execution via the debugger.
9
10The following exception is defined:
11
12.. exception:: BdbQuit
13
14 Exception raised by the :class:`Bdb` class for quitting the debugger.
15
16
17The :mod:`bdb` module also defines two classes:
18
19.. class:: Breakpoint(self, file, line[, temporary=0[, cond=None [, funcname=None]]])
20
21 This class implements temporary breakpoints, ignore counts, disabling and
22 (re-)enabling, and conditionals.
23
24 Breakpoints are indexed by number through a list called :attr:`bpbynumber`
25 and by ``(file, line)`` pairs through :attr:`bplist`. The former points to a
26 single instance of class :class:`Breakpoint`. The latter points to a list of
27 such instances since there may be more than one breakpoint per line.
28
29 When creating a breakpoint, its associated filename should be in canonical
30 form. If a *funcname* is defined, a breakpoint hit will be counted when the
31 first line of that function is executed. A conditional breakpoint always
32 counts a hit.
33
Benjamin Petersone41251e2008-04-25 01:59:09 +000034 :class:`Breakpoint` instances have the following methods:
Christian Heimesd8654cf2007-12-02 15:22:16 +000035
Benjamin Petersone41251e2008-04-25 01:59:09 +000036 .. method:: deleteMe()
Christian Heimesd8654cf2007-12-02 15:22:16 +000037
Benjamin Petersone41251e2008-04-25 01:59:09 +000038 Delete the breakpoint from the list associated to a file/line. If it is
39 the last breakpoint in that position, it also deletes the entry for the
40 file/line.
Christian Heimesd8654cf2007-12-02 15:22:16 +000041
Christian Heimesd8654cf2007-12-02 15:22:16 +000042
Benjamin Petersone41251e2008-04-25 01:59:09 +000043 .. method:: enable()
Christian Heimesd8654cf2007-12-02 15:22:16 +000044
Benjamin Petersone41251e2008-04-25 01:59:09 +000045 Mark the breakpoint as enabled.
Christian Heimesd8654cf2007-12-02 15:22:16 +000046
Christian Heimesd8654cf2007-12-02 15:22:16 +000047
Benjamin Petersone41251e2008-04-25 01:59:09 +000048 .. method:: disable()
Christian Heimesd8654cf2007-12-02 15:22:16 +000049
Benjamin Petersone41251e2008-04-25 01:59:09 +000050 Mark the breakpoint as disabled.
Christian Heimesd8654cf2007-12-02 15:22:16 +000051
Benjamin Petersone41251e2008-04-25 01:59:09 +000052
53 .. method:: pprint([out])
54
55 Print all the information about the breakpoint:
56
57 * The breakpoint number.
58 * If it is temporary or not.
59 * Its file,line position.
60 * The condition that causes a break.
61 * If it must be ignored the next N times.
62 * The breakpoint hit count.
Christian Heimesd8654cf2007-12-02 15:22:16 +000063
64
65.. class:: Bdb()
66
67 The :class:`Bdb` acts as a generic Python debugger base class.
68
69 This class takes care of the details of the trace facility; a derived class
70 should implement user interaction. The standard debugger class
71 (:class:`pdb.Pdb`) is an example.
72
73
Benjamin Petersone41251e2008-04-25 01:59:09 +000074 The following methods of :class:`Bdb` normally don't need to be overridden.
Christian Heimesd8654cf2007-12-02 15:22:16 +000075
Benjamin Petersone41251e2008-04-25 01:59:09 +000076 .. method:: canonic(filename)
Christian Heimesd8654cf2007-12-02 15:22:16 +000077
Benjamin Petersone41251e2008-04-25 01:59:09 +000078 Auxiliary method for getting a filename in a canonical form, that is, as a
79 case-normalized (on case-insensitive filesystems) absolute path, stripped
80 of surrounding angle brackets.
Christian Heimesd8654cf2007-12-02 15:22:16 +000081
Benjamin Petersone41251e2008-04-25 01:59:09 +000082 .. method:: reset()
Christian Heimesd8654cf2007-12-02 15:22:16 +000083
Benjamin Petersone41251e2008-04-25 01:59:09 +000084 Set the :attr:`botframe`, :attr:`stopframe`, :attr:`returnframe` and
85 :attr:`quitting` attributes with values ready to start debugging.
Christian Heimesd8654cf2007-12-02 15:22:16 +000086
Benjamin Petersone41251e2008-04-25 01:59:09 +000087 .. method:: trace_dispatch(frame, event, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +000088
Benjamin Petersone41251e2008-04-25 01:59:09 +000089 This function is installed as the trace function of debugged frames. Its
90 return value is the new trace function (in most cases, that is, itself).
Christian Heimesd8654cf2007-12-02 15:22:16 +000091
Benjamin Petersone41251e2008-04-25 01:59:09 +000092 The default implementation decides how to dispatch a frame, depending on
93 the type of event (passed as a string) that is about to be executed.
94 *event* can be one of the following:
Christian Heimesd8654cf2007-12-02 15:22:16 +000095
Benjamin Petersone41251e2008-04-25 01:59:09 +000096 * ``"line"``: A new line of code is going to be executed.
97 * ``"call"``: A function is about to be called, or another code block
98 entered.
99 * ``"return"``: A function or other code block is about to return.
100 * ``"exception"``: An exception has occurred.
101 * ``"c_call"``: A C function is about to be called.
102 * ``"c_return"``: A C function has returned.
103 * ``"c_exception"``: A C function has thrown an exception.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000104
Benjamin Petersone41251e2008-04-25 01:59:09 +0000105 For the Python events, specialized functions (see below) are called. For
106 the C events, no action is taken.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000107
Benjamin Petersone41251e2008-04-25 01:59:09 +0000108 The *arg* parameter depends on the previous event.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000109
Benjamin Petersone41251e2008-04-25 01:59:09 +0000110 For more information on trace functions, see :ref:`debugger-hooks`. For
111 more information on code and frame objects, refer to :ref:`types`.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000112
Benjamin Petersone41251e2008-04-25 01:59:09 +0000113 .. method:: dispatch_line(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000114
Benjamin Petersone41251e2008-04-25 01:59:09 +0000115 If the debugger should stop on the current line, invoke the
116 :meth:`user_line` method (which should be overridden in subclasses).
117 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
118 (which can be set from :meth:`user_line`). Return a reference to the
119 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000120
Benjamin Petersone41251e2008-04-25 01:59:09 +0000121 .. method:: dispatch_call(frame, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000122
Benjamin Petersone41251e2008-04-25 01:59:09 +0000123 If the debugger should stop on this function call, invoke the
124 :meth:`user_call` method (which should be overridden in subclasses).
125 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
126 (which can be set from :meth:`user_call`). Return a reference to the
127 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000128
Benjamin Petersone41251e2008-04-25 01:59:09 +0000129 .. method:: dispatch_return(frame, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000130
Benjamin Petersone41251e2008-04-25 01:59:09 +0000131 If the debugger should stop on this function return, invoke the
132 :meth:`user_return` method (which should be overridden in subclasses).
133 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
134 (which can be set from :meth:`user_return`). Return a reference to the
135 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000136
Benjamin Petersone41251e2008-04-25 01:59:09 +0000137 .. method:: dispatch_exception(frame, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000138
Benjamin Petersone41251e2008-04-25 01:59:09 +0000139 If the debugger should stop at this exception, invokes the
140 :meth:`user_exception` method (which should be overridden in subclasses).
141 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
142 (which can be set from :meth:`user_exception`). Return a reference to the
143 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000144
Benjamin Petersone41251e2008-04-25 01:59:09 +0000145 Normally derived classes don't override the following methods, but they may
146 if they want to redefine the definition of stopping and breakpoints.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000147
Benjamin Petersone41251e2008-04-25 01:59:09 +0000148 .. method:: stop_here(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000149
Benjamin Petersone41251e2008-04-25 01:59:09 +0000150 This method checks if the *frame* is somewhere below :attr:`botframe` in
151 the call stack. :attr:`botframe` is the frame in which debugging started.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000152
Benjamin Petersone41251e2008-04-25 01:59:09 +0000153 .. method:: break_here(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000154
Benjamin Petersone41251e2008-04-25 01:59:09 +0000155 This method checks if there is a breakpoint in the filename and line
156 belonging to *frame* or, at least, in the current function. If the
157 breakpoint is a temporary one, this method deletes it.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000158
Benjamin Petersone41251e2008-04-25 01:59:09 +0000159 .. method:: break_anywhere(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000160
Benjamin Petersone41251e2008-04-25 01:59:09 +0000161 This method checks if there is a breakpoint in the filename of the current
162 frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000163
Benjamin Petersone41251e2008-04-25 01:59:09 +0000164 Derived classes should override these methods to gain control over debugger
165 operation.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000166
Benjamin Petersone41251e2008-04-25 01:59:09 +0000167 .. method:: user_call(frame, argument_list)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000168
Benjamin Petersone41251e2008-04-25 01:59:09 +0000169 This method is called from :meth:`dispatch_call` when there is the
170 possibility that a break might be necessary anywhere inside the called
171 function.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000172
Benjamin Petersone41251e2008-04-25 01:59:09 +0000173 .. method:: user_line(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000174
Benjamin Petersone41251e2008-04-25 01:59:09 +0000175 This method is called from :meth:`dispatch_line` when either
176 :meth:`stop_here` or :meth:`break_here` yields True.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000177
Benjamin Petersone41251e2008-04-25 01:59:09 +0000178 .. method:: user_return(frame, return_value)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000179
Benjamin Petersone41251e2008-04-25 01:59:09 +0000180 This method is called from :meth:`dispatch_return` when :meth:`stop_here`
181 yields True.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000182
Benjamin Petersone41251e2008-04-25 01:59:09 +0000183 .. method:: user_exception(frame, exc_info)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000184
Benjamin Petersone41251e2008-04-25 01:59:09 +0000185 This method is called from :meth:`dispatch_exception` when
186 :meth:`stop_here` yields True.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000187
Benjamin Petersone41251e2008-04-25 01:59:09 +0000188 .. method:: do_clear(arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000189
Benjamin Petersone41251e2008-04-25 01:59:09 +0000190 Handle how a breakpoint must be removed when it is a temporary one.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000191
Benjamin Petersone41251e2008-04-25 01:59:09 +0000192 This method must be implemented by derived classes.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000193
194
Benjamin Petersone41251e2008-04-25 01:59:09 +0000195 Derived classes and clients can call the following methods to affect the
196 stepping state.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000197
Benjamin Petersone41251e2008-04-25 01:59:09 +0000198 .. method:: set_step()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000199
Benjamin Petersone41251e2008-04-25 01:59:09 +0000200 Stop after one line of code.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000201
Benjamin Petersone41251e2008-04-25 01:59:09 +0000202 .. method:: set_next(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000203
Benjamin Petersone41251e2008-04-25 01:59:09 +0000204 Stop on the next line in or below the given frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000205
Benjamin Petersone41251e2008-04-25 01:59:09 +0000206 .. method:: set_return(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000207
Benjamin Petersone41251e2008-04-25 01:59:09 +0000208 Stop when returning from the given frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000209
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000210 .. method:: set_until(frame)
211
212 Stop when the line with the line no greater than the current one is
213 reached or when returning from current frame
214
Benjamin Petersone41251e2008-04-25 01:59:09 +0000215 .. method:: set_trace([frame])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000216
Benjamin Petersone41251e2008-04-25 01:59:09 +0000217 Start debugging from *frame*. If *frame* is not specified, debugging
218 starts from caller's frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000219
Benjamin Petersone41251e2008-04-25 01:59:09 +0000220 .. method:: set_continue()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000221
Benjamin Petersone41251e2008-04-25 01:59:09 +0000222 Stop only at breakpoints or when finished. If there are no breakpoints,
223 set the system trace function to None.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000224
Benjamin Petersone41251e2008-04-25 01:59:09 +0000225 .. method:: set_quit()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000226
Benjamin Petersone41251e2008-04-25 01:59:09 +0000227 Set the :attr:`quitting` attribute to True. This raises :exc:`BdbQuit` in
228 the next call to one of the :meth:`dispatch_\*` methods.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000229
230
Benjamin Petersone41251e2008-04-25 01:59:09 +0000231 Derived classes and clients can call the following methods to manipulate
232 breakpoints. These methods return a string containing an error message if
233 something went wrong, or ``None`` if all is well.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000234
Benjamin Petersone41251e2008-04-25 01:59:09 +0000235 .. method:: set_break(filename, lineno[, temporary=0[, cond[, funcname]]])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000236
Benjamin Petersone41251e2008-04-25 01:59:09 +0000237 Set a new breakpoint. If the *lineno* line doesn't exist for the
238 *filename* passed as argument, return an error message. The *filename*
239 should be in canonical form, as described in the :meth:`canonic` method.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000240
Benjamin Petersone41251e2008-04-25 01:59:09 +0000241 .. method:: clear_break(filename, lineno)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000242
Benjamin Petersone41251e2008-04-25 01:59:09 +0000243 Delete the breakpoints in *filename* and *lineno*. If none were set, an
244 error message is returned.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000245
Benjamin Petersone41251e2008-04-25 01:59:09 +0000246 .. method:: clear_bpbynumber(arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000247
Benjamin Petersone41251e2008-04-25 01:59:09 +0000248 Delete the breakpoint which has the index *arg* in the
249 :attr:`Breakpoint.bpbynumber`. If *arg* is not numeric or out of range,
250 return an error message.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000251
Benjamin Petersone41251e2008-04-25 01:59:09 +0000252 .. method:: clear_all_file_breaks(filename)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000253
Benjamin Petersone41251e2008-04-25 01:59:09 +0000254 Delete all breakpoints in *filename*. If none were set, an error message
255 is returned.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000256
Benjamin Petersone41251e2008-04-25 01:59:09 +0000257 .. method:: clear_all_breaks()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000258
Benjamin Petersone41251e2008-04-25 01:59:09 +0000259 Delete all existing breakpoints.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000260
Benjamin Petersone41251e2008-04-25 01:59:09 +0000261 .. method:: get_break(filename, lineno)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000262
Benjamin Petersone41251e2008-04-25 01:59:09 +0000263 Check if there is a breakpoint for *lineno* of *filename*.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000264
Benjamin Petersone41251e2008-04-25 01:59:09 +0000265 .. method:: get_breaks(filename, lineno)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000266
Benjamin Petersone41251e2008-04-25 01:59:09 +0000267 Return all breakpoints for *lineno* in *filename*, or an empty list if
268 none are set.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000269
Benjamin Petersone41251e2008-04-25 01:59:09 +0000270 .. method:: get_file_breaks(filename)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000271
Benjamin Petersone41251e2008-04-25 01:59:09 +0000272 Return all breakpoints in *filename*, or an empty list if none are set.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000273
Benjamin Petersone41251e2008-04-25 01:59:09 +0000274 .. method:: get_all_breaks()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000275
Benjamin Petersone41251e2008-04-25 01:59:09 +0000276 Return all breakpoints that are set.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000277
278
Benjamin Petersone41251e2008-04-25 01:59:09 +0000279 Derived classes and clients can call the following methods to get a data
280 structure representing a stack trace.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000281
Benjamin Petersone41251e2008-04-25 01:59:09 +0000282 .. method:: get_stack(f, t)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000283
Benjamin Petersone41251e2008-04-25 01:59:09 +0000284 Get a list of records for a frame and all higher (calling) and lower
285 frames, and the size of the higher part.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000286
Benjamin Petersone41251e2008-04-25 01:59:09 +0000287 .. method:: format_stack_entry(frame_lineno, [lprefix=': '])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000288
Benjamin Petersone41251e2008-04-25 01:59:09 +0000289 Return a string with information about a stack entry, identified by a
290 ``(frame, lineno)`` tuple:
Christian Heimesd8654cf2007-12-02 15:22:16 +0000291
Benjamin Petersone41251e2008-04-25 01:59:09 +0000292 * The canonical form of the filename which contains the frame.
293 * The function name, or ``"<lambda>"``.
294 * The input arguments.
295 * The return value.
296 * The line of code (if it exists).
Christian Heimesd8654cf2007-12-02 15:22:16 +0000297
298
Benjamin Petersone41251e2008-04-25 01:59:09 +0000299 The following two methods can be called by clients to use a debugger to debug
300 a :term:`statement`, given as a string.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000301
Benjamin Petersone41251e2008-04-25 01:59:09 +0000302 .. method:: run(cmd, [globals, [locals]])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000303
Benjamin Petersone41251e2008-04-25 01:59:09 +0000304 Debug a statement executed via the :func:`exec` function. *globals*
305 defaults to :attr:`__main__.__dict__`, *locals* defaults to *globals*.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000306
Benjamin Petersone41251e2008-04-25 01:59:09 +0000307 .. method:: runeval(expr, [globals, [locals]])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000308
Benjamin Petersone41251e2008-04-25 01:59:09 +0000309 Debug an expression executed via the :func:`eval` function. *globals* and
310 *locals* have the same meaning as in :meth:`run`.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000311
Benjamin Petersone41251e2008-04-25 01:59:09 +0000312 .. method:: runctx(cmd, globals, locals)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000313
Benjamin Petersone41251e2008-04-25 01:59:09 +0000314 For backwards compatibility. Calls the :meth:`run` method.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000315
Benjamin Petersone41251e2008-04-25 01:59:09 +0000316 .. method:: runcall(func, *args, **kwds)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000317
Benjamin Petersone41251e2008-04-25 01:59:09 +0000318 Debug a single function call, and return its result.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000319
320
321Finally, the module defines the following functions:
322
323.. function:: checkfuncname(b, frame)
324
325 Check whether we should break here, depending on the way the breakpoint *b*
326 was set.
327
328 If it was set via line number, it checks if ``b.line`` is the same as the one
329 in the frame also passed as argument. If the breakpoint was set via function
330 name, we have to check we are in the right frame (the right function) and if
331 we are in its first executable line.
332
333.. function:: effective(file, line, frame)
334
335 Determine if there is an effective (active) breakpoint at this line of code.
336 Return breakpoint number or 0 if none.
337
338 Called only if we know there is a breakpoint at this location. Returns the
339 breakpoint that was triggered and a flag that indicates if it is ok to delete
340 a temporary breakpoint.
341
342.. function:: set_trace()
343
344 Starts debugging with a :class:`Bdb` instance from caller's frame.