blob: ee2ac0a8687325ef4318ac4b68d9cb82ddbfd109 [file] [log] [blame]
Guido van Rossumf4aac481995-03-02 12:37:55 +00001\chapter{The Python Debugger}
Fred Drakeb91e9341998-07-23 17:59:49 +00002\declaremodule{standard}{pdb}
3
4\modulesynopsis{None}
5
Guido van Rossumdc46c7f1995-03-01 15:38:16 +00006\index{debugging}
7
Guido van Rossumf4aac481995-03-02 12:37:55 +00008
9The module \code{pdb} defines an interactive source code debugger for
Guido van Rossum255d7901997-07-11 13:51:17 +000010Python programs. It supports setting
11(conditional) breakpoints and single stepping
Guido van Rossumf4aac481995-03-02 12:37:55 +000012at the source line level, inspection of stack frames, source code
13listing, and evaluation of arbitrary Python code in the context of any
14stack frame. It also supports post-mortem debugging and can be called
15under program control.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000016
17The debugger is extensible --- it is actually defined as a class
Fred Drake82d493f1998-04-07 19:14:17 +000018\class{Pdb}.
19\withsubitem{(class in pdb)}{\ttindex{Pdb}}
20This is currently undocumented but easily understood by reading the
21source. The extension interface uses the (also undocumented) modules
22\module{bdb}\refstmodindex{bdb} and \module{cmd}\refstmodindex{cmd}.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000023
24A primitive windowing version of the debugger also exists --- this is
Fred Drake82d493f1998-04-07 19:14:17 +000025module \module{wdb}, which requires \module{stdwin} (see the chapter
26on STDWIN specific modules).
27\refbimodindex{stdwin}
28\refstmodindex{wdb}
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000029
Fred Drake82d493f1998-04-07 19:14:17 +000030The debugger's prompt is \samp{(Pdb) }.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000031Typical usage to run a program under control of the debugger is:
32
Fred Drake19479911998-02-13 06:58:54 +000033\begin{verbatim}
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000034>>> import pdb
35>>> import mymodule
36>>> pdb.run('mymodule.test()')
Guido van Rossum25f6fcc1995-04-04 12:28:53 +000037> <string>(0)?()
38(Pdb) continue
39> <string>(1)?()
40(Pdb) continue
41NameError: 'spam'
42> <string>(1)?()
43(Pdb)
Fred Drake19479911998-02-13 06:58:54 +000044\end{verbatim}
Fred Drake82d493f1998-04-07 19:14:17 +000045
46\file{pdb.py} can also be invoked as
Guido van Rossum809408e1997-06-02 17:28:16 +000047a script to debug other scripts. For example:
Fred Drake82d493f1998-04-07 19:14:17 +000048
49\begin{verbatim}
50python /usr/local/lib/python1.5/pdb.py myscript.py
51\end{verbatim}
Guido van Rossum809408e1997-06-02 17:28:16 +000052
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000053Typical usage to inspect a crashed program is:
54
Fred Drake19479911998-02-13 06:58:54 +000055\begin{verbatim}
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000056>>> import pdb
57>>> import mymodule
58>>> mymodule.test()
Guido van Rossum25f6fcc1995-04-04 12:28:53 +000059Traceback (innermost last):
60 File "<stdin>", line 1, in ?
61 File "./mymodule.py", line 4, in test
62 test2()
63 File "./mymodule.py", line 3, in test2
64 print spam
65NameError: spam
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000066>>> pdb.pm()
Guido van Rossum25f6fcc1995-04-04 12:28:53 +000067> ./mymodule.py(3)test2()
68-> print spam
69(Pdb)
Fred Drake19479911998-02-13 06:58:54 +000070\end{verbatim}
Fred Drake82d493f1998-04-07 19:14:17 +000071
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000072The module defines the following functions; each enters the debugger
73in a slightly different way:
74
Fred Drakecce10901998-03-17 06:33:25 +000075\begin{funcdesc}{run}{statement\optional{, globals\optional{, locals}}}
Guido van Rossumf4aac481995-03-02 12:37:55 +000076Execute the \var{statement} (given as a string) under debugger
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000077control. The debugger prompt appears before any code is executed; you
Guido van Rossumf4aac481995-03-02 12:37:55 +000078can set breakpoints and type \code{continue}, or you can step through
79the statement using \code{step} or \code{next} (all these commands are
80explained below). The optional \var{globals} and \var{locals}
81arguments specify the environment in which the code is executed; by
82default the dictionary of the module \code{__main__} is used. (See
83the explanation of the \code{exec} statement or the \code{eval()}
84built-in function.)
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000085\end{funcdesc}
86
Fred Drakecce10901998-03-17 06:33:25 +000087\begin{funcdesc}{runeval}{expression\optional{, globals\optional{, locals}}}
Guido van Rossumf4aac481995-03-02 12:37:55 +000088Evaluate the \var{expression} (given as a a string) under debugger
89control. When \code{runeval()} returns, it returns the value of the
90expression. Otherwise this function is similar to
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000091\code{run()}.
92\end{funcdesc}
93
Fred Drakecce10901998-03-17 06:33:25 +000094\begin{funcdesc}{runcall}{function\optional{, argument, ...}}
Guido van Rossumf4aac481995-03-02 12:37:55 +000095Call the \var{function} (a function or method object, not a string)
96with the given arguments. When \code{runcall()} returns, it returns
97whatever the function call returned. The debugger prompt appears as
98soon as the function is entered.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +000099\end{funcdesc}
100
101\begin{funcdesc}{set_trace}{}
102Enter the debugger at the calling stack frame. This is useful to
Guido van Rossumf4aac481995-03-02 12:37:55 +0000103hard-code a breakpoint at a given point in a program, even if the code
104is not otherwise being debugged (e.g. when an assertion fails).
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000105\end{funcdesc}
106
107\begin{funcdesc}{post_mortem}{traceback}
108Enter post-mortem debugging of the given \var{traceback} object.
109\end{funcdesc}
110
111\begin{funcdesc}{pm}{}
Guido van Rossumf4aac481995-03-02 12:37:55 +0000112Enter post-mortem debugging of the traceback found in
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000113\code{sys.last_traceback}.
114\end{funcdesc}
115
Guido van Rossum470be141995-03-17 16:07:09 +0000116\section{Debugger Commands}
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000117
118The debugger recognizes the following commands. Most commands can be
119abbreviated to one or two letters; e.g. ``\code{h(elp)}'' means that
120either ``\code{h}'' or ``\code{help}'' can be used to enter the help
121command (but not ``\code{he}'' or ``\code{hel}'', nor ``\code{H}'' or
122``\code{Help} or ``\code{HELP}''). Arguments to commands must be
123separated by whitespace (spaces or tabs). Optional arguments are
Guido van Rossum6c4f0031995-03-07 10:14:09 +0000124enclosed in square brackets (``\code{[]}'') in the command syntax; the
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000125square brackets must not be typed. Alternatives in the command syntax
126are separated by a vertical bar (``\code{|}'').
127
128Entering a blank line repeats the last command entered. Exception: if
129the last command was a ``\code{list}'' command, the next 11 lines are
130listed.
131
132Commands that the debugger doesn't recognize are assumed to be Python
133statements and are executed in the context of the program being
134debugged. Python statements can also be prefixed with an exclamation
135point (``\code{!}''). This is a powerful way to inspect the program
Guido van Rossum25f6fcc1995-04-04 12:28:53 +0000136being debugged; it is even possible to change a variable or call a
137function. When an
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000138exception occurs in such a statement, the exception name is printed
139but the debugger's state is not changed.
140
141\begin{description}
142
Fred Drake74947ac1998-01-12 15:38:30 +0000143\item[h(elp) \optional{\var{command}}]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000144
Fred Drake74947ac1998-01-12 15:38:30 +0000145Without argument, print the list of available commands. With a
146\var{command} as argument, print help about that command. \samp{help
147pdb} displays the full documentation file; if the environment variable
148\code{PAGER} is defined, the file is piped through that command
149instead. Since the \var{command} argument must be an identifier,
150\samp{help exec} must be entered to get help on the \samp{!} command.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000151
Guido van Rossum470be141995-03-17 16:07:09 +0000152\item[w(here)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000153
Fred Drake74947ac1998-01-12 15:38:30 +0000154Print a stack trace, with the most recent frame at the bottom. An
155arrow indicates the current frame, which determines the context of
156most commands.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000157
Guido van Rossum470be141995-03-17 16:07:09 +0000158\item[d(own)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000159
160Move the current frame one level down in the stack trace
161(to an older frame).
162
Guido van Rossum470be141995-03-17 16:07:09 +0000163\item[u(p)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000164
165Move the current frame one level up in the stack trace
166(to a newer frame).
167
Guido van Rossum897b9f01998-07-20 23:29:10 +0000168\item[b(reak) \optional{\optional{\var{filename}:}\var{lineno}%
169 \code{\Large|}\var{function}%
Fred Drake74947ac1998-01-12 15:38:30 +0000170 \optional{, \code{'}\var{condition}\code{'}}}]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000171
172With a \var{lineno} argument, set a break there in the current
173file. With a \var{function} argument, set a break at the entry of
174that function. Without argument, list all breaks.
Guido van Rossum31cbc841997-07-11 13:57:28 +0000175If a second argument is present, it is a string (included in string
176quotes!) specifying an expression which must evaluate to true before
177the breakpoint is honored.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000178
Guido van Rossum897b9f01998-07-20 23:29:10 +0000179The line number may be prefixed with a filename and a colon,
180to specify a breakpoint in another file (probably one that
181hasn't been loaded yet). The file is searched on \code{sys.path}.
182
183\item[cl(ear) \optional{\optional{\var{filename}:}\var{lineno}}]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000184
185With a \var{lineno} argument, clear that break in the current file.
186Without argument, clear all breaks (but first ask confirmation).
187
Guido van Rossum897b9f01998-07-20 23:29:10 +0000188The line number may be prefixed with a filename and a colon,
189to specify a breakpoint in another file (probably one that
190hasn't been loaded yet). The file is searched on \code{sys.path}.
191
Guido van Rossum470be141995-03-17 16:07:09 +0000192\item[s(tep)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000193
194Execute the current line, stop at the first possible occasion
195(either in a function that is called or on the next line in the
196current function).
197
Guido van Rossum470be141995-03-17 16:07:09 +0000198\item[n(ext)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000199
200Continue execution until the next line in the current function
201is reached or it returns. (The difference between \code{next} and
202\code{step} is that \code{step} stops inside a called function, while
Guido van Rossumf4aac481995-03-02 12:37:55 +0000203\code{next} executes called functions at (nearly) full speed, only
204stopping at the next line in the current function.)
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000205
Guido van Rossum470be141995-03-17 16:07:09 +0000206\item[r(eturn)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000207
208Continue execution until the current function returns.
209
Guido van Rossum470be141995-03-17 16:07:09 +0000210\item[c(ont(inue))]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000211
212Continue execution, only stop when a breakpoint is encountered.
213
Fred Drake74947ac1998-01-12 15:38:30 +0000214\item[l(ist) \optional{\var{first\optional{, last}}}]
Guido van Rossum897b9f01998-07-20 23:29:10 +0000215ppp
Guido van Rossumf4aac481995-03-02 12:37:55 +0000216List source code for the current file. Without arguments, list 11
217lines around the current line or continue the previous listing. With
218one argument, list 11 lines around at that line. With two arguments,
219list the given range; if the second argument is less than the first,
220it is interpreted as a count.
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000221
Guido van Rossum470be141995-03-17 16:07:09 +0000222\item[a(rgs)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000223
224Print the argument list of the current function.
225
Guido van Rossum470be141995-03-17 16:07:09 +0000226\item[p \var{expression}]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000227
228Evaluate the \var{expression} in the current context and print its
Guido van Rossumf4aac481995-03-02 12:37:55 +0000229value. (Note: \code{print} can also be used, but is not a debugger
230command --- this executes the Python \code{print} statement.)
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000231
Fred Drake74947ac1998-01-12 15:38:30 +0000232\item[\optional{!}\var{statement}]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000233
234Execute the (one-line) \var{statement} in the context of
235the current stack frame.
236The exclamation point can be omitted unless the first word
237of the statement resembles a debugger command.
238To set a global variable, you can prefix the assignment
239command with a ``\code{global}'' command on the same line, e.g.:
Fred Drake82d493f1998-04-07 19:14:17 +0000240
Fred Drake19479911998-02-13 06:58:54 +0000241\begin{verbatim}
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000242(Pdb) global list_options; list_options = ['-l']
243(Pdb)
Fred Drake19479911998-02-13 06:58:54 +0000244\end{verbatim}
Fred Drake82d493f1998-04-07 19:14:17 +0000245
Guido van Rossum470be141995-03-17 16:07:09 +0000246\item[q(uit)]
Guido van Rossumdc46c7f1995-03-01 15:38:16 +0000247
248Quit from the debugger.
249The program being executed is aborted.
250
251\end{description}
Guido van Rossum470be141995-03-17 16:07:09 +0000252
253\section{How It Works}
254
255Some changes were made to the interpreter:
256
257\begin{itemize}
Fred Drake74947ac1998-01-12 15:38:30 +0000258\item \code{sys.settrace(\var{func})} sets the global trace function
Guido van Rossum470be141995-03-17 16:07:09 +0000259\item there can also a local trace function (see later)
260\end{itemize}
261
Fred Drake82d493f1998-04-07 19:14:17 +0000262Trace functions have three arguments: \var{frame}, \var{event}, and
263\var{arg}. \var{frame} is the current stack frame. \var{event} is a
264string: \code{'call'}, \code{'line'}, \code{'return'} or
265\code{'exception'}. \var{arg} depends on the event type.
Guido van Rossum470be141995-03-17 16:07:09 +0000266
Guido van Rossum9d37a4d1997-10-27 19:57:20 +0000267The global trace function is invoked (with \var{event} set to
268\code{'call'}) whenever a new local scope is entered; it should return
269a reference to the local trace function to be used that scope, or
270\code{None} if the scope shouldn't be traced.
271
272The local trace function should return a reference to itself (or to
273another function for further tracing in that scope), or \code{None} to
274turn off tracing in that scope.
275
276Instance methods are accepted (and very useful!) as trace functions.
Guido van Rossum470be141995-03-17 16:07:09 +0000277
278The events have the following meaning:
279
280\begin{description}
281
282\item[\code{'call'}]
283A function is called (or some other code block entered). The global
284trace function is called; arg is the argument list to the function;
285the return value specifies the local trace function.
286
287\item[\code{'line'}]
288The interpreter is about to execute a new line of code (sometimes
289multiple line events on one line exist). The local trace function is
290called; arg in None; the return value specifies the new local trace
291function.
292
293\item[\code{'return'}]
294A function (or other code block) is about to return. The local trace
295function is called; arg is the value that will be returned. The trace
296function's return value is ignored.
297
298\item[\code{'exception'}]
299An exception has occurred. The local trace function is called; arg is
300a triple (exception, value, traceback); the return value specifies the
301new local trace function
302
303\end{description}
304
305Note that as an exception is propagated down the chain of callers, an
306\code{'exception'} event is generated at each level.
307
Fred Drakebc8ad5b1998-03-11 06:29:59 +0000308For more information on code and frame objects, refer to the
309\emph{Python Reference Manual}.