blob: 9d75a01894e5f834ec86ef36eb21b0a2d5814db0 [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 Peterson4469d0c2008-11-30 22:46:23 +0000110 See the documentation for :func:`sys.settrace` for more information on the
111 trace function. For more information on code and frame objects, refer to
112 :ref:`types`.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000113
Benjamin Petersone41251e2008-04-25 01:59:09 +0000114 .. method:: dispatch_line(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000115
Benjamin Petersone41251e2008-04-25 01:59:09 +0000116 If the debugger should stop on the current line, invoke the
117 :meth:`user_line` method (which should be overridden in subclasses).
118 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
119 (which can be set from :meth:`user_line`). Return a reference to the
120 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000121
Benjamin Petersone41251e2008-04-25 01:59:09 +0000122 .. method:: dispatch_call(frame, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000123
Benjamin Petersone41251e2008-04-25 01:59:09 +0000124 If the debugger should stop on this function call, invoke the
125 :meth:`user_call` method (which should be overridden in subclasses).
126 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
127 (which can be set from :meth:`user_call`). Return a reference to the
128 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000129
Benjamin Petersone41251e2008-04-25 01:59:09 +0000130 .. method:: dispatch_return(frame, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000131
Benjamin Petersone41251e2008-04-25 01:59:09 +0000132 If the debugger should stop on this function return, invoke the
133 :meth:`user_return` method (which should be overridden in subclasses).
134 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
135 (which can be set from :meth:`user_return`). Return a reference to the
136 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000137
Benjamin Petersone41251e2008-04-25 01:59:09 +0000138 .. method:: dispatch_exception(frame, arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000139
Benjamin Petersone41251e2008-04-25 01:59:09 +0000140 If the debugger should stop at this exception, invokes the
141 :meth:`user_exception` method (which should be overridden in subclasses).
142 Raise a :exc:`BdbQuit` exception if the :attr:`Bdb.quitting` flag is set
143 (which can be set from :meth:`user_exception`). Return a reference to the
144 :meth:`trace_dispatch` method for further tracing in that scope.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000145
Benjamin Petersone41251e2008-04-25 01:59:09 +0000146 Normally derived classes don't override the following methods, but they may
147 if they want to redefine the definition of stopping and breakpoints.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000148
Benjamin Petersone41251e2008-04-25 01:59:09 +0000149 .. method:: stop_here(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000150
Benjamin Petersone41251e2008-04-25 01:59:09 +0000151 This method checks if the *frame* is somewhere below :attr:`botframe` in
152 the call stack. :attr:`botframe` is the frame in which debugging started.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000153
Benjamin Petersone41251e2008-04-25 01:59:09 +0000154 .. method:: break_here(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000155
Benjamin Petersone41251e2008-04-25 01:59:09 +0000156 This method checks if there is a breakpoint in the filename and line
157 belonging to *frame* or, at least, in the current function. If the
158 breakpoint is a temporary one, this method deletes it.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000159
Benjamin Petersone41251e2008-04-25 01:59:09 +0000160 .. method:: break_anywhere(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000161
Benjamin Petersone41251e2008-04-25 01:59:09 +0000162 This method checks if there is a breakpoint in the filename of the current
163 frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000164
Benjamin Petersone41251e2008-04-25 01:59:09 +0000165 Derived classes should override these methods to gain control over debugger
166 operation.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000167
Benjamin Petersone41251e2008-04-25 01:59:09 +0000168 .. method:: user_call(frame, argument_list)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000169
Benjamin Petersone41251e2008-04-25 01:59:09 +0000170 This method is called from :meth:`dispatch_call` when there is the
171 possibility that a break might be necessary anywhere inside the called
172 function.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000173
Benjamin Petersone41251e2008-04-25 01:59:09 +0000174 .. method:: user_line(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000175
Benjamin Petersone41251e2008-04-25 01:59:09 +0000176 This method is called from :meth:`dispatch_line` when either
177 :meth:`stop_here` or :meth:`break_here` yields True.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000178
Benjamin Petersone41251e2008-04-25 01:59:09 +0000179 .. method:: user_return(frame, return_value)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000180
Benjamin Petersone41251e2008-04-25 01:59:09 +0000181 This method is called from :meth:`dispatch_return` when :meth:`stop_here`
182 yields True.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000183
Benjamin Petersone41251e2008-04-25 01:59:09 +0000184 .. method:: user_exception(frame, exc_info)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000185
Benjamin Petersone41251e2008-04-25 01:59:09 +0000186 This method is called from :meth:`dispatch_exception` when
187 :meth:`stop_here` yields True.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000188
Benjamin Petersone41251e2008-04-25 01:59:09 +0000189 .. method:: do_clear(arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000190
Benjamin Petersone41251e2008-04-25 01:59:09 +0000191 Handle how a breakpoint must be removed when it is a temporary one.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000192
Benjamin Petersone41251e2008-04-25 01:59:09 +0000193 This method must be implemented by derived classes.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000194
195
Benjamin Petersone41251e2008-04-25 01:59:09 +0000196 Derived classes and clients can call the following methods to affect the
197 stepping state.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000198
Benjamin Petersone41251e2008-04-25 01:59:09 +0000199 .. method:: set_step()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000200
Benjamin Petersone41251e2008-04-25 01:59:09 +0000201 Stop after one line of code.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000202
Benjamin Petersone41251e2008-04-25 01:59:09 +0000203 .. method:: set_next(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000204
Benjamin Petersone41251e2008-04-25 01:59:09 +0000205 Stop on the next line in or below the given frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000206
Benjamin Petersone41251e2008-04-25 01:59:09 +0000207 .. method:: set_return(frame)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000208
Benjamin Petersone41251e2008-04-25 01:59:09 +0000209 Stop when returning from the given frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000210
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +0000211 .. method:: set_until(frame)
212
213 Stop when the line with the line no greater than the current one is
214 reached or when returning from current frame
215
Benjamin Petersone41251e2008-04-25 01:59:09 +0000216 .. method:: set_trace([frame])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000217
Benjamin Petersone41251e2008-04-25 01:59:09 +0000218 Start debugging from *frame*. If *frame* is not specified, debugging
219 starts from caller's frame.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000220
Benjamin Petersone41251e2008-04-25 01:59:09 +0000221 .. method:: set_continue()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000222
Benjamin Petersone41251e2008-04-25 01:59:09 +0000223 Stop only at breakpoints or when finished. If there are no breakpoints,
224 set the system trace function to None.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000225
Benjamin Petersone41251e2008-04-25 01:59:09 +0000226 .. method:: set_quit()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000227
Benjamin Petersone41251e2008-04-25 01:59:09 +0000228 Set the :attr:`quitting` attribute to True. This raises :exc:`BdbQuit` in
229 the next call to one of the :meth:`dispatch_\*` methods.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000230
231
Benjamin Petersone41251e2008-04-25 01:59:09 +0000232 Derived classes and clients can call the following methods to manipulate
233 breakpoints. These methods return a string containing an error message if
234 something went wrong, or ``None`` if all is well.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000235
Benjamin Petersone41251e2008-04-25 01:59:09 +0000236 .. method:: set_break(filename, lineno[, temporary=0[, cond[, funcname]]])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000237
Benjamin Petersone41251e2008-04-25 01:59:09 +0000238 Set a new breakpoint. If the *lineno* line doesn't exist for the
239 *filename* passed as argument, return an error message. The *filename*
240 should be in canonical form, as described in the :meth:`canonic` method.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000241
Benjamin Petersone41251e2008-04-25 01:59:09 +0000242 .. method:: clear_break(filename, lineno)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000243
Benjamin Petersone41251e2008-04-25 01:59:09 +0000244 Delete the breakpoints in *filename* and *lineno*. If none were set, an
245 error message is returned.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000246
Benjamin Petersone41251e2008-04-25 01:59:09 +0000247 .. method:: clear_bpbynumber(arg)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000248
Benjamin Petersone41251e2008-04-25 01:59:09 +0000249 Delete the breakpoint which has the index *arg* in the
250 :attr:`Breakpoint.bpbynumber`. If *arg* is not numeric or out of range,
251 return an error message.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000252
Benjamin Petersone41251e2008-04-25 01:59:09 +0000253 .. method:: clear_all_file_breaks(filename)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000254
Benjamin Petersone41251e2008-04-25 01:59:09 +0000255 Delete all breakpoints in *filename*. If none were set, an error message
256 is returned.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000257
Benjamin Petersone41251e2008-04-25 01:59:09 +0000258 .. method:: clear_all_breaks()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000259
Benjamin Petersone41251e2008-04-25 01:59:09 +0000260 Delete all existing breakpoints.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000261
Benjamin Petersone41251e2008-04-25 01:59:09 +0000262 .. method:: get_break(filename, lineno)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000263
Benjamin Petersone41251e2008-04-25 01:59:09 +0000264 Check if there is a breakpoint for *lineno* of *filename*.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000265
Benjamin Petersone41251e2008-04-25 01:59:09 +0000266 .. method:: get_breaks(filename, lineno)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000267
Benjamin Petersone41251e2008-04-25 01:59:09 +0000268 Return all breakpoints for *lineno* in *filename*, or an empty list if
269 none are set.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000270
Benjamin Petersone41251e2008-04-25 01:59:09 +0000271 .. method:: get_file_breaks(filename)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000272
Benjamin Petersone41251e2008-04-25 01:59:09 +0000273 Return all breakpoints in *filename*, or an empty list if none are set.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000274
Benjamin Petersone41251e2008-04-25 01:59:09 +0000275 .. method:: get_all_breaks()
Christian Heimesd8654cf2007-12-02 15:22:16 +0000276
Benjamin Petersone41251e2008-04-25 01:59:09 +0000277 Return all breakpoints that are set.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000278
279
Benjamin Petersone41251e2008-04-25 01:59:09 +0000280 Derived classes and clients can call the following methods to get a data
281 structure representing a stack trace.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000282
Benjamin Petersone41251e2008-04-25 01:59:09 +0000283 .. method:: get_stack(f, t)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000284
Benjamin Petersone41251e2008-04-25 01:59:09 +0000285 Get a list of records for a frame and all higher (calling) and lower
286 frames, and the size of the higher part.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000287
Benjamin Petersone41251e2008-04-25 01:59:09 +0000288 .. method:: format_stack_entry(frame_lineno, [lprefix=': '])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000289
Benjamin Petersone41251e2008-04-25 01:59:09 +0000290 Return a string with information about a stack entry, identified by a
291 ``(frame, lineno)`` tuple:
Christian Heimesd8654cf2007-12-02 15:22:16 +0000292
Benjamin Petersone41251e2008-04-25 01:59:09 +0000293 * The canonical form of the filename which contains the frame.
294 * The function name, or ``"<lambda>"``.
295 * The input arguments.
296 * The return value.
297 * The line of code (if it exists).
Christian Heimesd8654cf2007-12-02 15:22:16 +0000298
299
Benjamin Petersone41251e2008-04-25 01:59:09 +0000300 The following two methods can be called by clients to use a debugger to debug
301 a :term:`statement`, given as a string.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000302
Benjamin Petersone41251e2008-04-25 01:59:09 +0000303 .. method:: run(cmd, [globals, [locals]])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000304
Benjamin Petersone41251e2008-04-25 01:59:09 +0000305 Debug a statement executed via the :func:`exec` function. *globals*
306 defaults to :attr:`__main__.__dict__`, *locals* defaults to *globals*.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000307
Benjamin Petersone41251e2008-04-25 01:59:09 +0000308 .. method:: runeval(expr, [globals, [locals]])
Christian Heimesd8654cf2007-12-02 15:22:16 +0000309
Benjamin Petersone41251e2008-04-25 01:59:09 +0000310 Debug an expression executed via the :func:`eval` function. *globals* and
311 *locals* have the same meaning as in :meth:`run`.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000312
Benjamin Petersone41251e2008-04-25 01:59:09 +0000313 .. method:: runctx(cmd, globals, locals)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000314
Benjamin Petersone41251e2008-04-25 01:59:09 +0000315 For backwards compatibility. Calls the :meth:`run` method.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000316
Benjamin Petersone41251e2008-04-25 01:59:09 +0000317 .. method:: runcall(func, *args, **kwds)
Christian Heimesd8654cf2007-12-02 15:22:16 +0000318
Benjamin Petersone41251e2008-04-25 01:59:09 +0000319 Debug a single function call, and return its result.
Christian Heimesd8654cf2007-12-02 15:22:16 +0000320
321
322Finally, the module defines the following functions:
323
324.. function:: checkfuncname(b, frame)
325
326 Check whether we should break here, depending on the way the breakpoint *b*
327 was set.
Georg Brandl48310cd2009-01-03 21:18:54 +0000328
Christian Heimesd8654cf2007-12-02 15:22:16 +0000329 If it was set via line number, it checks if ``b.line`` is the same as the one
330 in the frame also passed as argument. If the breakpoint was set via function
331 name, we have to check we are in the right frame (the right function) and if
332 we are in its first executable line.
333
334.. function:: effective(file, line, frame)
335
336 Determine if there is an effective (active) breakpoint at this line of code.
337 Return breakpoint number or 0 if none.
Georg Brandl06788c92009-01-03 21:31:47 +0000338
Christian Heimesd8654cf2007-12-02 15:22:16 +0000339 Called only if we know there is a breakpoint at this location. Returns the
340 breakpoint that was triggered and a flag that indicates if it is ok to delete
341 a temporary breakpoint.
342
343.. function:: set_trace()
344
345 Starts debugging with a :class:`Bdb` instance from caller's frame.