blob: bd9bb3dc00fa408ceaec595cf40142639c57b63c [file] [log] [blame]
Tim Peters76882292001-02-17 05:58:44 +00001\section{\module{doctest} ---
2 Test docstrings represent reality}
3
4\declaremodule{standard}{doctest}
5\moduleauthor{Tim Peters}{tim_one@users.sourceforge.net}
6\sectionauthor{Tim Peters}{tim_one@users.sourceforge.net}
7\sectionauthor{Moshe Zadka}{moshez@debian.org}
8
9\modulesynopsis{A framework for verifying examples in docstrings.}
10
11The \module{doctest} module searches a module's docstrings for text that looks
12like an interactive Python session, then executes all such sessions to verify
13they still work exactly as shown. Here's a complete but small example:
14
15\begin{verbatim}
16"""
17This is module example.
18
19Example supplies one function, factorial. For example,
20
21>>> factorial(5)
22120
23"""
24
25def factorial(n):
26 """Return the factorial of n, an exact integer >= 0.
27
28 If the result is small enough to fit in an int, return an int.
29 Else return a long.
30
31 >>> [factorial(n) for n in range(6)]
32 [1, 1, 2, 6, 24, 120]
33 >>> [factorial(long(n)) for n in range(6)]
34 [1, 1, 2, 6, 24, 120]
35 >>> factorial(30)
36 265252859812191058636308480000000L
37 >>> factorial(30L)
38 265252859812191058636308480000000L
39 >>> factorial(-1)
40 Traceback (most recent call last):
41 ...
42 ValueError: n must be >= 0
43
44 Factorials of floats are OK, but the float must be an exact integer:
45 >>> factorial(30.1)
46 Traceback (most recent call last):
47 ...
48 ValueError: n must be exact integer
49 >>> factorial(30.0)
50 265252859812191058636308480000000L
51
52 It must also not be ridiculously large:
53 >>> factorial(1e100)
54 Traceback (most recent call last):
55 ...
56 OverflowError: n too large
57 """
58
59\end{verbatim}
60% allow LaTeX to break here.
61\begin{verbatim}
62
63 import math
64 if not n >= 0:
65 raise ValueError("n must be >= 0")
66 if math.floor(n) != n:
67 raise ValueError("n must be exact integer")
Raymond Hettinger92f21b12003-07-11 22:32:18 +000068 if n+1 == n: # catch a value like 1e300
Tim Peters76882292001-02-17 05:58:44 +000069 raise OverflowError("n too large")
70 result = 1
71 factor = 2
72 while factor <= n:
73 try:
74 result *= factor
75 except OverflowError:
76 result *= long(factor)
77 factor += 1
78 return result
79
80def _test():
Tim Petersc2388a22004-08-10 01:41:28 +000081 import doctest
82 return doctest.testmod()
Tim Peters76882292001-02-17 05:58:44 +000083
84if __name__ == "__main__":
85 _test()
86\end{verbatim}
87
Fred Drake7a6b4f02003-07-17 16:00:01 +000088If you run \file{example.py} directly from the command line,
89\module{doctest} works its magic:
Tim Peters76882292001-02-17 05:58:44 +000090
91\begin{verbatim}
92$ python example.py
93$
94\end{verbatim}
95
Fred Drake7a6b4f02003-07-17 16:00:01 +000096There's no output! That's normal, and it means all the examples
97worked. Pass \programopt{-v} to the script, and \module{doctest}
98prints a detailed log of what it's trying, and prints a summary at the
99end:
Tim Peters76882292001-02-17 05:58:44 +0000100
101\begin{verbatim}
102$ python example.py -v
Tim Peters76882292001-02-17 05:58:44 +0000103Trying: factorial(5)
104Expecting: 120
105ok
Tim Peters76882292001-02-17 05:58:44 +0000106Trying: [factorial(n) for n in range(6)]
107Expecting: [1, 1, 2, 6, 24, 120]
108ok
109Trying: [factorial(long(n)) for n in range(6)]
110Expecting: [1, 1, 2, 6, 24, 120]
Tim Peters41a65ea2004-08-13 03:55:05 +0000111ok
112\end{verbatim}
Tim Peters76882292001-02-17 05:58:44 +0000113
114And so on, eventually ending with:
115
116\begin{verbatim}
117Trying: factorial(1e100)
118Expecting:
Tim Petersc2388a22004-08-10 01:41:28 +0000119 Traceback (most recent call last):
120 ...
121 OverflowError: n too large
Tim Peters76882292001-02-17 05:58:44 +0000122ok
Tim Peters76882292001-02-17 05:58:44 +00001232 items passed all tests:
124 1 tests in example
125 8 tests in example.factorial
1269 tests in 2 items.
1279 passed and 0 failed.
128Test passed.
129$
130\end{verbatim}
131
Fred Drake7a6b4f02003-07-17 16:00:01 +0000132That's all you need to know to start making productive use of
Tim Peters41a65ea2004-08-13 03:55:05 +0000133\module{doctest}! Jump in. The following sections provide full
134details. Note that there are many examples of doctests in
135the standard Python test suite and libraries.
Tim Peters76882292001-02-17 05:58:44 +0000136
Tim Petersc2388a22004-08-10 01:41:28 +0000137\subsection{Simple Usage}
Tim Peters76882292001-02-17 05:58:44 +0000138
Tim Peters41a65ea2004-08-13 03:55:05 +0000139The simplest way to start using doctest (but not necessarily the way
140you'll continue to do it) is to end each module \module{M} with:
Tim Peters76882292001-02-17 05:58:44 +0000141
142\begin{verbatim}
143def _test():
Tim Petersc2388a22004-08-10 01:41:28 +0000144 import doctest
145 return doctest.testmod()
Tim Peters76882292001-02-17 05:58:44 +0000146
147if __name__ == "__main__":
148 _test()
149\end{verbatim}
150
Tim Petersc2388a22004-08-10 01:41:28 +0000151\module{doctest} then examines docstrings in the module calling
Tim Peters41a65ea2004-08-13 03:55:05 +0000152\function{testmod()}.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +0000153
Tim Petersc2388a22004-08-10 01:41:28 +0000154Running the module as a script causes the examples in the docstrings
Tim Peters76882292001-02-17 05:58:44 +0000155to get executed and verified:
156
157\begin{verbatim}
158python M.py
159\end{verbatim}
160
161This won't display anything unless an example fails, in which case the
162failing example(s) and the cause(s) of the failure(s) are printed to stdout,
Tim Petersc2388a22004-08-10 01:41:28 +0000163and the final line of output is
Tim Peters26039602004-08-13 01:49:12 +0000164\samp{'***Test Failed*** \var{N} failures.'}, where \var{N} is the
Tim Petersc2388a22004-08-10 01:41:28 +0000165number of examples that failed.
Tim Peters76882292001-02-17 05:58:44 +0000166
Fred Drake7eb14632001-02-17 17:32:41 +0000167Run it with the \programopt{-v} switch instead:
Tim Peters76882292001-02-17 05:58:44 +0000168
169\begin{verbatim}
170python M.py -v
171\end{verbatim}
172
Fred Drake8836e562003-07-17 15:22:47 +0000173and a detailed report of all examples tried is printed to standard
174output, along with assorted summaries at the end.
Tim Peters76882292001-02-17 05:58:44 +0000175
Tim Petersc2388a22004-08-10 01:41:28 +0000176You can force verbose mode by passing \code{verbose=True} to
Fred Drake5d2f5152003-06-28 03:09:06 +0000177\function{testmod()}, or
Tim Petersc2388a22004-08-10 01:41:28 +0000178prohibit it by passing \code{verbose=False}. In either of those cases,
Fred Drake5d2f5152003-06-28 03:09:06 +0000179\code{sys.argv} is not examined by \function{testmod()}.
Tim Peters76882292001-02-17 05:58:44 +0000180
Fred Drake5d2f5152003-06-28 03:09:06 +0000181In any case, \function{testmod()} returns a 2-tuple of ints \code{(\var{f},
Fred Drake7eb14632001-02-17 17:32:41 +0000182\var{t})}, where \var{f} is the number of docstring examples that
183failed and \var{t} is the total number of docstring examples
184attempted.
Tim Peters76882292001-02-17 05:58:44 +0000185
186\subsection{Which Docstrings Are Examined?}
187
Tim Peters8a3b69c2004-08-12 22:31:25 +0000188The module docstring, and all function, class and method docstrings are
189searched. Objects imported into the module are not searched.
Tim Peters76882292001-02-17 05:58:44 +0000190
Fred Drake7eb14632001-02-17 17:32:41 +0000191In addition, if \code{M.__test__} exists and "is true", it must be a
192dict, and each entry maps a (string) name to a function object, class
193object, or string. Function and class object docstrings found from
Tim Peters8a3b69c2004-08-12 22:31:25 +0000194\code{M.__test__} are searched, and strings are treated as if they
195were docstrings. In output, a key \code{K} in \code{M.__test__} appears
196with name
Tim Peters76882292001-02-17 05:58:44 +0000197
198\begin{verbatim}
Fred Drake8836e562003-07-17 15:22:47 +0000199<name of M>.__test__.K
Tim Peters76882292001-02-17 05:58:44 +0000200\end{verbatim}
201
202Any classes found are recursively searched similarly, to test docstrings in
Tim Peters8a3b69c2004-08-12 22:31:25 +0000203their contained methods and nested classes.
204
205\versionchanged[A "private name" concept is deprecated and no longer
Tim Peters26039602004-08-13 01:49:12 +0000206 documented]{2.4}
Tim Peters8a3b69c2004-08-12 22:31:25 +0000207
Tim Peters76882292001-02-17 05:58:44 +0000208
209\subsection{What's the Execution Context?}
210
Tim Peters41a65ea2004-08-13 03:55:05 +0000211By default, each time \function{testmod()} finds a docstring to test, it
212uses a \emph{shallow copy} of \module{M}'s globals, so that running tests
Tim Peters76882292001-02-17 05:58:44 +0000213doesn't change the module's real globals, and so that one test in
214\module{M} can't leave behind crumbs that accidentally allow another test
215to work. This means examples can freely use any names defined at top-level
Tim Peters0481d242001-10-02 21:01:22 +0000216in \module{M}, and names defined earlier in the docstring being run.
Tim Peters41a65ea2004-08-13 03:55:05 +0000217Examples cannot see names defined in other docstrings.
Tim Peters76882292001-02-17 05:58:44 +0000218
219You can force use of your own dict as the execution context by passing
Tim Peters41a65ea2004-08-13 03:55:05 +0000220\code{globs=your_dict} to \function{testmod()} instead.
Tim Peters76882292001-02-17 05:58:44 +0000221
222\subsection{What About Exceptions?}
223
Tim Petersa07bcd42004-08-26 04:47:31 +0000224No problem, provided that the traceback is the only output produced by
225the example: just paste in the traceback. Since tracebacks contain
226details that are likely to change rapidly (for example, exact file paths
227and line numbers), this is one case where doctest works hard to be
228flexible in what it accepts.
229
230Simple example:
Tim Peters76882292001-02-17 05:58:44 +0000231
232\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000233>>> [1, 2, 3].remove(42)
234Traceback (most recent call last):
235 File "<stdin>", line 1, in ?
236ValueError: list.remove(x): x not in list
Tim Peters76882292001-02-17 05:58:44 +0000237\end{verbatim}
238
Edward Loper19b19582004-08-25 23:07:03 +0000239That doctest succeeds if \exception{ValueError} is raised, with the
Tim Petersa07bcd42004-08-26 04:47:31 +0000240\samp{list.remove(x): x not in list} detail as shown.
Tim Peters41a65ea2004-08-13 03:55:05 +0000241
Edward Loper19b19582004-08-25 23:07:03 +0000242The expected output for an exception must start with a traceback
243header, which may be either of the following two lines, indented the
244same as the first line of the example:
Tim Peters41a65ea2004-08-13 03:55:05 +0000245
246\begin{verbatim}
247Traceback (most recent call last):
248Traceback (innermost last):
249\end{verbatim}
250
Edward Loper19b19582004-08-25 23:07:03 +0000251The traceback header is followed by an optional traceback stack, whose
Tim Petersa07bcd42004-08-26 04:47:31 +0000252contents are ignored by doctest. The traceback stack is typically
253omitted, or copied verbatim from an interactive session.
Edward Loper19b19582004-08-25 23:07:03 +0000254
Tim Petersa07bcd42004-08-26 04:47:31 +0000255The traceback stack is followed by the most interesting part: the
Edward Loper19b19582004-08-25 23:07:03 +0000256line(s) containing the exception type and detail. This is usually the
257last line of a traceback, but can extend across multiple lines if the
Tim Petersa07bcd42004-08-26 04:47:31 +0000258exception has a multi-line detail:
Tim Peters41a65ea2004-08-13 03:55:05 +0000259
260\begin{verbatim}
Edward Loper19b19582004-08-25 23:07:03 +0000261>>> raise ValueError('multi\n line\ndetail')
Tim Peters41a65ea2004-08-13 03:55:05 +0000262Traceback (most recent call last):
Edward Loper19b19582004-08-25 23:07:03 +0000263 File "<stdin>", line 1, in ?
264ValueError: multi
265 line
266detail
Tim Peters41a65ea2004-08-13 03:55:05 +0000267\end{verbatim}
268
Edward Loper19b19582004-08-25 23:07:03 +0000269The last three (starting with \exception{ValueError}) lines are
270compared against the exception's type and detail, and the rest are
271ignored.
Tim Peters41a65ea2004-08-13 03:55:05 +0000272
Edward Loper19b19582004-08-25 23:07:03 +0000273Best practice is to omit the traceback stack, unless it adds
Tim Petersa07bcd42004-08-26 04:47:31 +0000274significant documentation value to the example. So the last example
Tim Peters41a65ea2004-08-13 03:55:05 +0000275is probably better as:
276
277\begin{verbatim}
Edward Loper19b19582004-08-25 23:07:03 +0000278>>> raise ValueError('multi\n line\ndetail')
Tim Peters41a65ea2004-08-13 03:55:05 +0000279Traceback (most recent call last):
Edward Loper19b19582004-08-25 23:07:03 +0000280 ...
281ValueError: multi
282 line
283detail
Tim Peters41a65ea2004-08-13 03:55:05 +0000284\end{verbatim}
285
Tim Petersa07bcd42004-08-26 04:47:31 +0000286Note that tracebacks are treated very specially. In particular, in the
Tim Peters41a65ea2004-08-13 03:55:05 +0000287rewritten example, the use of \samp{...} is independent of doctest's
Tim Petersa07bcd42004-08-26 04:47:31 +0000288\constant{ELLIPSIS} option. The ellipsis in that example could be left
289out, or could just as well be three (or three hundred) commas or digits,
290or an indented transcript of a Monty Python skit.
291
292Some details you should read once, but won't need to remember:
293
294\begin{itemize}
295
296\item Doctest can't guess whether your expected output came from an
297 exception traceback or from ordinary printing. So, e.g., an example
298 that expects \samp{ValueError: 42 is prime} will pass whether
299 \exception{ValueError} is actually raised or if the example merely
300 prints that traceback text. In practice, ordinary output rarely begins
301 with a traceback header line, so this doesn't create real problems.
302
303\item Each line of the traceback stack (if present) must be indented
304 further than the first line of the example, \emph{or} start with a
305 non-alphanumeric character. The first line following the traceback
306 header indented the same and starting with an alphanumeric is taken
307 to be the start of the exception detail. Of course this does the
308 right thing for genuine tracebacks.
309
310\end{itemize}
Tim Peters41a65ea2004-08-13 03:55:05 +0000311
Tim Peters0e448072004-08-26 01:02:08 +0000312\versionchanged[The ability to handle a multi-line exception detail
313 was added]{2.4}
314
Tim Petersa07bcd42004-08-26 04:47:31 +0000315
Tim Peters026f8dc2004-08-19 16:38:58 +0000316\subsection{Option Flags and Directives\label{doctest-options}}
Tim Peters8a3b69c2004-08-12 22:31:25 +0000317
Tim Peterscf533552004-08-26 04:50:38 +0000318A number of option flags control various aspects of doctest's
Tim Peters026f8dc2004-08-19 16:38:58 +0000319behavior. Symbolic names for the flags are supplied as module constants,
Tim Peters83e259a2004-08-13 21:55:21 +0000320which can be or'ed together and passed to various functions. The names
Tim Peters026f8dc2004-08-19 16:38:58 +0000321can also be used in doctest directives (see below).
Tim Peters8a3b69c2004-08-12 22:31:25 +0000322
Tim Petersa07bcd42004-08-26 04:47:31 +0000323The first group of options define test semantics, controlling
324aspects of how doctest decides whether actual output matches an
325example's expected output:
326
Tim Peters8a3b69c2004-08-12 22:31:25 +0000327\begin{datadesc}{DONT_ACCEPT_TRUE_FOR_1}
328 By default, if an expected output block contains just \code{1},
329 an actual output block containing just \code{1} or just
330 \code{True} is considered to be a match, and similarly for \code{0}
331 versus \code{False}. When \constant{DONT_ACCEPT_TRUE_FOR_1} is
332 specified, neither substitution is allowed. The default behavior
333 caters to that Python changed the return type of many functions
334 from integer to boolean; doctests expecting "little integer"
335 output still work in these cases. This option will probably go
336 away, but not for several years.
337\end{datadesc}
338
339\begin{datadesc}{DONT_ACCEPT_BLANKLINE}
340 By default, if an expected output block contains a line
341 containing only the string \code{<BLANKLINE>}, then that line
342 will match a blank line in the actual output. Because a
343 genuinely blank line delimits the expected output, this is
344 the only way to communicate that a blank line is expected. When
345 \constant{DONT_ACCEPT_BLANKLINE} is specified, this substitution
346 is not allowed.
347\end{datadesc}
348
349\begin{datadesc}{NORMALIZE_WHITESPACE}
350 When specified, all sequences of whitespace (blanks and newlines) are
351 treated as equal. Any sequence of whitespace within the expected
352 output will match any sequence of whitespace within the actual output.
353 By default, whitespace must match exactly.
354 \constant{NORMALIZE_WHITESPACE} is especially useful when a line
355 of expected output is very long, and you want to wrap it across
356 multiple lines in your source.
357\end{datadesc}
358
359\begin{datadesc}{ELLIPSIS}
360 When specified, an ellipsis marker (\code{...}) in the expected output
361 can match any substring in the actual output. This includes
Tim Peters026f8dc2004-08-19 16:38:58 +0000362 substrings that span line boundaries, and empty substrings, so it's
363 best to keep usage of this simple. Complicated uses can lead to the
364 same kinds of "oops, it matched too much!" surprises that \regexp{.*}
365 is prone to in regular expressions.
Tim Peters8a3b69c2004-08-12 22:31:25 +0000366\end{datadesc}
367
Tim Peters38330fe2004-08-30 16:19:24 +0000368\begin{datadesc}{COMPARISON_FLAGS}
369 A bitmask or'ing together all the comparison flags above.
370\end{datadesc}
371
Tim Petersf33683f2004-08-26 04:52:46 +0000372The second group of options controls how test failures are reported:
Tim Petersa07bcd42004-08-26 04:47:31 +0000373
Edward Loper71f55af2004-08-26 01:41:51 +0000374\begin{datadesc}{REPORT_UDIFF}
Tim Peters8a3b69c2004-08-12 22:31:25 +0000375 When specified, failures that involve multi-line expected and
376 actual outputs are displayed using a unified diff.
377\end{datadesc}
378
Edward Loper71f55af2004-08-26 01:41:51 +0000379\begin{datadesc}{REPORT_CDIFF}
Tim Peters8a3b69c2004-08-12 22:31:25 +0000380 When specified, failures that involve multi-line expected and
381 actual outputs will be displayed using a context diff.
382\end{datadesc}
383
Edward Loper71f55af2004-08-26 01:41:51 +0000384\begin{datadesc}{REPORT_NDIFF}
Tim Petersc6cbab02004-08-22 19:43:28 +0000385 When specified, differences are computed by \code{difflib.Differ},
386 using the same algorithm as the popular \file{ndiff.py} utility.
387 This is the only method that marks differences within lines as
388 well as across lines. For example, if a line of expected output
389 contains digit \code{1} where actual output contains letter \code{l},
390 a line is inserted with a caret marking the mismatching column
391 positions.
392\end{datadesc}
Tim Peters8a3b69c2004-08-12 22:31:25 +0000393
Edward Lopera89f88d2004-08-26 02:45:51 +0000394\begin{datadesc}{REPORT_ONLY_FIRST_FAILURE}
395 When specified, display the first failing example in each doctest,
396 but suppress output for all remaining examples. This will prevent
397 doctest from reporting correct examples that break because of
398 earlier failures; but it might also hide incorrect examples that
399 fail independently of the first failure. When
400 \constant{REPORT_ONLY_FIRST_FAILURE} is specified, the remaining
401 examples are still run, and still count towards the total number of
402 failures reported; only the output is suppressed.
403\end{datadesc}
404
Tim Peters38330fe2004-08-30 16:19:24 +0000405\begin{datadesc}{REPORTING_FLAGS}
406 A bitmask or'ing together all the reporting flags above.
407\end{datadesc}
408
Tim Peters026f8dc2004-08-19 16:38:58 +0000409A "doctest directive" is a trailing Python comment on a line of a doctest
410example:
411
412\begin{productionlist}[doctest]
413 \production{directive}
Johannes Gijsbersc8906182004-08-20 14:37:05 +0000414 {"\#" "doctest:" \token{on_or_off} \token{directive_name}}
Tim Peters026f8dc2004-08-19 16:38:58 +0000415 \production{on_or_off}
416 {"+" | "-"}
417 \production{directive_name}
418 {"DONT_ACCEPT_BLANKLINE" | "NORMALIZE_WHITESPACE" | ...}
419\end{productionlist}
420
421Whitespace is not allowed between the \code{+} or \code{-} and the
422directive name. The directive name can be any of the option names
423explained above.
424
425The doctest directives appearing in a single example modify doctest's
426behavior for that single example. Use \code{+} to enable the named
427behavior, or \code{-} to disable it.
428
429For example, this test passes:
430
431\begin{verbatim}
432>>> print range(20) #doctest: +NORMALIZE_WHITESPACE
433[0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
43410, 11, 12, 13, 14, 15, 16, 17, 18, 19]
435\end{verbatim}
436
437Without the directive it would fail, both because the actual output
438doesn't have two blanks before the single-digit list elements, and
439because the actual output is on a single line. This test also passes,
Tim Petersa07bcd42004-08-26 04:47:31 +0000440and also requires a directive to do so:
Tim Peters026f8dc2004-08-19 16:38:58 +0000441
442\begin{verbatim}
443>>> print range(20) # doctest:+ELLIPSIS
444[0, 1, ..., 18, 19]
445\end{verbatim}
446
447Only one directive per physical line is accepted. If you want to
448use multiple directives for a single example, you can add
449\samp{...} lines to your example containing only directives:
450
451\begin{verbatim}
452>>> print range(20) #doctest: +ELLIPSIS
453... #doctest: +NORMALIZE_WHITESPACE
454[0, 1, ..., 18, 19]
455\end{verbatim}
456
457Note that since all options are disabled by default, and directives apply
458only to the example they appear in, enabling options (via \code{+} in a
459directive) is usually the only meaningful choice. However, option flags
460can also be passed to functions that run doctests, establishing different
461defaults. In such cases, disabling an option via \code{-} in a directive
462can be useful.
463
Tim Peters8a3b69c2004-08-12 22:31:25 +0000464\versionchanged[Constants \constant{DONT_ACCEPT_BLANKLINE},
465 \constant{NORMALIZE_WHITESPACE}, \constant{ELLIPSIS},
Edward Lopera89f88d2004-08-26 02:45:51 +0000466 \constant{REPORT_UDIFF}, \constant{REPORT_CDIFF},
Tim Peters38330fe2004-08-30 16:19:24 +0000467 \constant{REPORT_NDIFF}, \constant{REPORT_ONLY_FIRST_FAILURE},
468 \constant{COMPARISON_FLAGS} and \constant{REPORTING_FLAGS}
Tim Peters026f8dc2004-08-19 16:38:58 +0000469 were added; by default \code{<BLANKLINE>} in expected output
470 matches an empty line in actual output; and doctest directives
471 were added]{2.4}
472
Tim Peters8a3b69c2004-08-12 22:31:25 +0000473
Tim Peters76882292001-02-17 05:58:44 +0000474\subsection{Advanced Usage}
475
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000476Several module level functions are available for controlling how doctests
477are run.
Tim Peters76882292001-02-17 05:58:44 +0000478
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000479\begin{funcdesc}{debug}{module, name}
480 Debug a single docstring containing doctests.
481
482 Provide the \var{module} (or dotted name of the module) containing the
483 docstring to be debugged and the \var{name} (within the module) of the
484 object with the docstring to be debugged.
485
486 The doctest examples are extracted (see function \function{testsource()}),
487 and written to a temporary file. The Python debugger, \refmodule{pdb},
Fred Drake8836e562003-07-17 15:22:47 +0000488 is then invoked on that file.
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000489 \versionadded{2.3}
490\end{funcdesc}
491
Tim Peters83e259a2004-08-13 21:55:21 +0000492\begin{funcdesc}{testmod}{\optional{m}\optional{, name}\optional{,
493 globs}\optional{, verbose}\optional{,
494 isprivate}\optional{, report}\optional{,
495 optionflags}\optional{, extraglobs}\optional{,
496 raise_on_error}}
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000497
Tim Peters83e259a2004-08-13 21:55:21 +0000498 All arguments are optional, and all except for \var{m} should be
499 specified in keyword form.
500
501 Test examples in docstrings in functions and classes reachable
502 from module \var{m} (or the current module if \var{m} is not supplied
503 or is \code{None}), starting with \code{\var{m}.__doc__}.
504
505 Also test examples reachable from dict \code{\var{m}.__test__}, if it
506 exists and is not \code{None}. \code{\var{m}.__test__} maps
507 names (strings) to functions, classes and strings; function and class
508 docstrings are searched for examples; strings are searched directly,
509 as if they were docstrings.
510
511 Only docstrings attached to objects belonging to module \var{m} are
512 searched.
513
514 Return \samp{(\var{failure_count}, \var{test_count})}.
515
516 Optional argument \var{name} gives the name of the module; by default,
517 or if \code{None}, \code{\var{m}.__name__} is used.
518
519 Optional argument \var{globs} gives a dict to be used as the globals
520 when executing examples; by default, or if \code{None},
521 \code{\var{m}.__dict__} is used. A new shallow copy of this dict is
522 created for each docstring with examples, so that each docstring's
523 examples start with a clean slate.
524
525 Optional argument \var{extraglobs} gives a dict merged into the
526 globals used to execute examples. This works like
527 \method{dict.update()}: if \var{globs} and \var{extraglobs} have a
528 common key, the associated value in \var{extraglobs} appears in the
529 combined dict. By default, or if \code{None}, no extra globals are
530 used. This is an advanced feature that allows parameterization of
531 doctests. For example, a doctest can be written for a base class, using
532 a generic name for the class, then reused to test any number of
533 subclasses by passing an \var{extraglobs} dict mapping the generic
534 name to the subclass to be tested.
535
536 Optional argument \var{verbose} prints lots of stuff if true, and prints
537 only failures if false; by default, or if \code{None}, it's true
538 if and only if \code{'-v'} is in \code{sys.argv}.
539
540 Optional argument \var{report} prints a summary at the end when true,
541 else prints nothing at the end. In verbose mode, the summary is
542 detailed, else the summary is very brief (in fact, empty if all tests
543 passed).
544
545 Optional argument \var{optionflags} or's together option flags. See
546 see section \ref{doctest-options}.
547
548 Optional argument \var{raise_on_error} defaults to false. If true,
549 an exception is raised upon the first failure or unexpected exception
550 in an example. This allows failures to be post-mortem debugged.
551 Default behavior is to continue running examples.
552
553 Optional argument \var{isprivate} specifies a function used to
554 determine whether a name is private. The default function treats
555 all names as public. \var{isprivate} can be set to
556 \code{doctest.is_private} to skip over names that are
557 private according to Python's underscore naming convention.
558 \deprecated{2.4}{\var{isprivate} was a stupid idea -- don't use it.
559 If you need to skip tests based on name, filter the list returned by
560 \code{DocTestFinder.find()} instead.}
561
562 \versionchanged[The parameter \var{optionflags} was added]{2.3}
563
564 \versionchanged[The parameters \var{extraglobs} and \var{raise_on_error}
565 were added]{2.4}
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000566\end{funcdesc}
567
568\begin{funcdesc}{testsource}{module, name}
569 Extract the doctest examples from a docstring.
570
571 Provide the \var{module} (or dotted name of the module) containing the
572 tests to be extracted and the \var{name} (within the module) of the object
573 with the docstring containing the tests to be extracted.
574
575 The doctest examples are returned as a string containing Python
576 code. The expected output blocks in the examples are converted
577 to Python comments.
578 \versionadded{2.3}
579\end{funcdesc}
580
581\begin{funcdesc}{DocTestSuite}{\optional{module}}
Fred Drake7a6b4f02003-07-17 16:00:01 +0000582 Convert doctest tests for a module to a
583 \class{\refmodule{unittest}.TestSuite}.
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000584
585 The returned \class{TestSuite} is to be run by the unittest framework
586 and runs each doctest in the module. If any of the doctests fail,
587 then the synthesized unit test fails, and a \exception{DocTestTestFailure}
588 exception is raised showing the name of the file containing the test and a
589 (sometimes approximate) line number.
590
591 The optional \var{module} argument provides the module to be tested. It
592 can be a module object or a (possibly dotted) module name. If not
Fred Drake8836e562003-07-17 15:22:47 +0000593 specified, the module calling this function is used.
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000594
595 Example using one of the many ways that the \refmodule{unittest} module
596 can use a \class{TestSuite}:
597
598 \begin{verbatim}
599 import unittest
600 import doctest
601 import my_module_with_doctests
602
603 suite = doctest.DocTestSuite(my_module_with_doctests)
604 runner = unittest.TextTestRunner()
605 runner.run(suite)
606 \end{verbatim}
607
608 \versionadded{2.3}
Fred Drake8836e562003-07-17 15:22:47 +0000609 \warning{This function does not currently search \code{M.__test__}
Raymond Hettinger943277e2003-07-17 14:47:12 +0000610 and its search technique does not exactly match \function{testmod()} in
611 every detail. Future versions will bring the two into convergence.}
Raymond Hettinger92f21b12003-07-11 22:32:18 +0000612\end{funcdesc}
Tim Peters76882292001-02-17 05:58:44 +0000613
614
615\subsection{How are Docstring Examples Recognized?}
616
Fred Drake7a6b4f02003-07-17 16:00:01 +0000617In most cases a copy-and-paste of an interactive console session works
Tim Peters83e259a2004-08-13 21:55:21 +0000618fine, but doctest isn't trying to do an exact emulation of any specific
619Python shell. All hard tab characters are expanded to spaces, using
6208-column tab stops. If you don't believe tabs should mean that, too
621bad: don't use hard tabs, or write your own \class{DocTestParser}
622class.
623
624\versionchanged[Expanding tabs to spaces is new; previous versions
625 tried to preserve hard tabs, with confusing results]{2.4}
Tim Peters76882292001-02-17 05:58:44 +0000626
627\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000628>>> # comments are ignored
629>>> x = 12
630>>> x
63112
632>>> if x == 13:
633... print "yes"
634... else:
635... print "no"
636... print "NO"
637... print "NO!!!"
638...
639no
640NO
641NO!!!
642>>>
Tim Peters76882292001-02-17 05:58:44 +0000643\end{verbatim}
644
Fred Drake19f3c522001-02-22 23:15:05 +0000645Any expected output must immediately follow the final
646\code{'>\code{>}>~'} or \code{'...~'} line containing the code, and
647the expected output (if any) extends to the next \code{'>\code{>}>~'}
648or all-whitespace line.
Tim Peters76882292001-02-17 05:58:44 +0000649
650The fine print:
651
652\begin{itemize}
653
654\item Expected output cannot contain an all-whitespace line, since such a
Tim Peters83e259a2004-08-13 21:55:21 +0000655 line is taken to signal the end of expected output. If expected
656 output does contain a blank line, put \code{<BLANKLINE>} in your
657 doctest example each place a blank line is expected.
658 \versionchanged[\code{<BLANKLINE>} was added; there was no way to
659 use expected output containing empty lines in
660 previous versions]{2.4}
Tim Peters76882292001-02-17 05:58:44 +0000661
662\item Output to stdout is captured, but not output to stderr (exception
663 tracebacks are captured via a different means).
664
Martin v. Löwis92816de2004-05-31 19:01:00 +0000665\item If you continue a line via backslashing in an interactive session,
666 or for any other reason use a backslash, you should use a raw
667 docstring, which will preserve your backslahses exactly as you type
668 them:
Tim Peters76882292001-02-17 05:58:44 +0000669
670\begin{verbatim}
Tim Peters336689b2004-07-23 02:48:24 +0000671>>> def f(x):
Martin v. Löwis92816de2004-05-31 19:01:00 +0000672... r'''Backslashes in a raw docstring: m\n'''
673>>> print f.__doc__
674Backslashes in a raw docstring: m\n
675\end{verbatim}
Tim Peters336689b2004-07-23 02:48:24 +0000676
Martin v. Löwis92816de2004-05-31 19:01:00 +0000677 Otherwise, the backslash will be interpreted as part of the string.
Edward Loper19b19582004-08-25 23:07:03 +0000678 E.g., the "{\textbackslash}" above would be interpreted as a newline
Martin v. Löwis92816de2004-05-31 19:01:00 +0000679 character. Alternatively, you can double each backslash in the
680 doctest version (and not use a raw string):
681
682\begin{verbatim}
Tim Peters336689b2004-07-23 02:48:24 +0000683>>> def f(x):
Martin v. Löwis92816de2004-05-31 19:01:00 +0000684... '''Backslashes in a raw docstring: m\\n'''
685>>> print f.__doc__
686Backslashes in a raw docstring: m\n
Tim Peters76882292001-02-17 05:58:44 +0000687\end{verbatim}
688
Tim Petersf0768c82001-02-20 10:57:30 +0000689\item The starting column doesn't matter:
Tim Peters76882292001-02-17 05:58:44 +0000690
691\begin{verbatim}
Tim Petersc4089d82001-02-17 18:03:25 +0000692 >>> assert "Easy!"
693 >>> import math
694 >>> math.floor(1.9)
695 1.0
Tim Peters76882292001-02-17 05:58:44 +0000696\end{verbatim}
697
Fred Drake19f3c522001-02-22 23:15:05 +0000698and as many leading whitespace characters are stripped from the
699expected output as appeared in the initial \code{'>\code{>}>~'} line
Tim Peters83e259a2004-08-13 21:55:21 +0000700that started the example.
Fred Drake7eb14632001-02-17 17:32:41 +0000701\end{itemize}
Tim Peters76882292001-02-17 05:58:44 +0000702
703\subsection{Warnings}
704
705\begin{enumerate}
706
Tim Peters76882292001-02-17 05:58:44 +0000707\item \module{doctest} is serious about requiring exact matches in expected
708 output. If even a single character doesn't match, the test fails. This
709 will probably surprise you a few times, as you learn exactly what Python
710 does and doesn't guarantee about output. For example, when printing a
711 dict, Python doesn't guarantee that the key-value pairs will be printed
712 in any particular order, so a test like
713
714% Hey! What happened to Monty Python examples?
Tim Petersf0768c82001-02-20 10:57:30 +0000715% Tim: ask Guido -- it's his example!
Tim Peters76882292001-02-17 05:58:44 +0000716\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000717>>> foo()
718{"Hermione": "hippogryph", "Harry": "broomstick"}
719>>>
Tim Peters76882292001-02-17 05:58:44 +0000720\end{verbatim}
721
722is vulnerable! One workaround is to do
723
724\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000725>>> foo() == {"Hermione": "hippogryph", "Harry": "broomstick"}
Martin v. Löwisccabed32003-11-27 19:48:03 +0000726True
Fred Drake19f3c522001-02-22 23:15:05 +0000727>>>
Tim Peters76882292001-02-17 05:58:44 +0000728\end{verbatim}
729
730instead. Another is to do
731
732\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000733>>> d = foo().items()
734>>> d.sort()
735>>> d
736[('Harry', 'broomstick'), ('Hermione', 'hippogryph')]
Tim Peters76882292001-02-17 05:58:44 +0000737\end{verbatim}
738
739There are others, but you get the idea.
740
741Another bad idea is to print things that embed an object address, like
742
743\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000744>>> id(1.0) # certain to fail some of the time
7457948648
746>>>
Tim Peters76882292001-02-17 05:58:44 +0000747\end{verbatim}
748
749Floating-point numbers are also subject to small output variations across
750platforms, because Python defers to the platform C library for float
751formatting, and C libraries vary widely in quality here.
752
753\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000754>>> 1./7 # risky
7550.14285714285714285
756>>> print 1./7 # safer
7570.142857142857
758>>> print round(1./7, 6) # much safer
7590.142857
Tim Peters76882292001-02-17 05:58:44 +0000760\end{verbatim}
761
762Numbers of the form \code{I/2.**J} are safe across all platforms, and I
763often contrive doctest examples to produce numbers of that form:
764
765\begin{verbatim}
Fred Drake19f3c522001-02-22 23:15:05 +0000766>>> 3./4 # utterly safe
7670.75
Tim Peters76882292001-02-17 05:58:44 +0000768\end{verbatim}
769
770Simple fractions are also easier for people to understand, and that makes
771for better documentation.
772
Skip Montanaro1dc98c42001-06-08 14:40:28 +0000773\item Be careful if you have code that must only execute once.
774
775If you have module-level code that must only execute once, a more foolproof
Fred Drakec1158352001-06-11 14:55:01 +0000776definition of \function{_test()} is
Skip Montanaro1dc98c42001-06-08 14:40:28 +0000777
778\begin{verbatim}
779def _test():
780 import doctest, sys
Martin v. Löwis4581cfa2002-11-22 08:23:09 +0000781 doctest.testmod()
Skip Montanaro1dc98c42001-06-08 14:40:28 +0000782\end{verbatim}
Tim Peters6ebe61f2003-06-27 20:48:05 +0000783
784\item WYSIWYG isn't always the case, starting in Python 2.3. The
Fred Drake5d2f5152003-06-28 03:09:06 +0000785 string form of boolean results changed from \code{'0'} and
786 \code{'1'} to \code{'False'} and \code{'True'} in Python 2.3.
Tim Peters6ebe61f2003-06-27 20:48:05 +0000787 This makes it clumsy to write a doctest showing boolean results that
788 passes under multiple versions of Python. In Python 2.3, by default,
789 and as a special case, if an expected output block consists solely
Fred Drake5d2f5152003-06-28 03:09:06 +0000790 of \code{'0'} and the actual output block consists solely of
791 \code{'False'}, that's accepted as an exact match, and similarly for
792 \code{'1'} versus \code{'True'}. This behavior can be turned off by
Tim Peters6ebe61f2003-06-27 20:48:05 +0000793 passing the new (in 2.3) module constant
794 \constant{DONT_ACCEPT_TRUE_FOR_1} as the value of \function{testmod()}'s
795 new (in 2.3) optional \var{optionflags} argument. Some years after
796 the integer spellings of booleans are history, this hack will
797 probably be removed again.
798
Fred Drakec1158352001-06-11 14:55:01 +0000799\end{enumerate}
800
Tim Peters76882292001-02-17 05:58:44 +0000801
802\subsection{Soapbox}
803
Fred Drake7a6b4f02003-07-17 16:00:01 +0000804The first word in ``doctest'' is ``doc,'' and that's why the author
805wrote \refmodule{doctest}: to keep documentation up to date. It so
806happens that \refmodule{doctest} makes a pleasant unit testing
807environment, but that's not its primary purpose.
Tim Peters76882292001-02-17 05:58:44 +0000808
Fred Drake7a6b4f02003-07-17 16:00:01 +0000809Choose docstring examples with care. There's an art to this that
810needs to be learned---it may not be natural at first. Examples should
811add genuine value to the documentation. A good example can often be
812worth many words. If possible, show just a few normal cases, show
813endcases, show interesting subtle cases, and show an example of each
814kind of exception that can be raised. You're probably testing for
815endcases and subtle cases anyway in an interactive shell:
816\refmodule{doctest} wants to make it as easy as possible to capture
817those sessions, and will verify they continue to work as designed
818forever after.
Tim Peters76882292001-02-17 05:58:44 +0000819
Fred Drake7a6b4f02003-07-17 16:00:01 +0000820If done with care, the examples will be invaluable for your users, and
821will pay back the time it takes to collect them many times over as the
822years go by and things change. I'm still amazed at how often one of
823my \refmodule{doctest} examples stops working after a ``harmless''
824change.
Tim Peters76882292001-02-17 05:58:44 +0000825
826For exhaustive testing, or testing boring cases that add no value to the
Fred Drake7eb14632001-02-17 17:32:41 +0000827docs, define a \code{__test__} dict instead. That's what it's for.