blob: a1e270dbf8fe2f672ade60ad1d7161ebecc21fc1 [file] [log] [blame]
Georg Brandl74954562012-10-10 16:45:11 +02001:keepdoctest:
2
Georg Brandl8ec7f652007-08-15 14:28:01 +00003:mod:`doctest` --- Test interactive Python examples
4===================================================
5
6.. module:: doctest
7 :synopsis: Test pieces of code within docstrings.
8.. moduleauthor:: Tim Peters <tim@python.org>
9.. sectionauthor:: Tim Peters <tim@python.org>
10.. sectionauthor:: Moshe Zadka <moshez@debian.org>
11.. sectionauthor:: Edward Loper <edloper@users.sourceforge.net>
12
13
14The :mod:`doctest` module searches for pieces of text that look like interactive
15Python sessions, and then executes those sessions to verify that they work
16exactly as shown. There are several common ways to use doctest:
17
18* To check that a module's docstrings are up-to-date by verifying that all
19 interactive examples still work as documented.
20
21* To perform regression testing by verifying that interactive examples from a
22 test file or a test object work as expected.
23
24* To write tutorial documentation for a package, liberally illustrated with
25 input-output examples. Depending on whether the examples or the expository text
26 are emphasized, this has the flavor of "literate testing" or "executable
27 documentation".
28
29Here's a complete but small example module::
30
31 """
32 This is the "example" module.
33
34 The example module supplies one function, factorial(). For example,
35
36 >>> factorial(5)
37 120
38 """
39
40 def factorial(n):
41 """Return the factorial of n, an exact integer >= 0.
42
43 If the result is small enough to fit in an int, return an int.
44 Else return a long.
45
46 >>> [factorial(n) for n in range(6)]
47 [1, 1, 2, 6, 24, 120]
48 >>> [factorial(long(n)) for n in range(6)]
49 [1, 1, 2, 6, 24, 120]
50 >>> factorial(30)
51 265252859812191058636308480000000L
52 >>> factorial(30L)
53 265252859812191058636308480000000L
54 >>> factorial(-1)
55 Traceback (most recent call last):
56 ...
57 ValueError: n must be >= 0
58
59 Factorials of floats are OK, but the float must be an exact integer:
60 >>> factorial(30.1)
61 Traceback (most recent call last):
62 ...
63 ValueError: n must be exact integer
64 >>> factorial(30.0)
65 265252859812191058636308480000000L
66
67 It must also not be ridiculously large:
68 >>> factorial(1e100)
69 Traceback (most recent call last):
70 ...
71 OverflowError: n too large
72 """
73
Georg Brandl8ec7f652007-08-15 14:28:01 +000074 import math
75 if not n >= 0:
76 raise ValueError("n must be >= 0")
77 if math.floor(n) != n:
78 raise ValueError("n must be exact integer")
79 if n+1 == n: # catch a value like 1e300
80 raise OverflowError("n too large")
81 result = 1
82 factor = 2
83 while factor <= n:
84 result *= factor
85 factor += 1
86 return result
87
Georg Brandl8ec7f652007-08-15 14:28:01 +000088
89 if __name__ == "__main__":
Georg Brandl154cc582007-08-23 20:53:28 +000090 import doctest
91 doctest.testmod()
Georg Brandl8ec7f652007-08-15 14:28:01 +000092
93If you run :file:`example.py` directly from the command line, :mod:`doctest`
94works its magic::
95
96 $ python example.py
97 $
98
99There's no output! That's normal, and it means all the examples worked. Pass
Éric Araujoa8132ec2010-12-16 03:53:53 +0000100``-v`` to the script, and :mod:`doctest` prints a detailed log of what
Georg Brandl8ec7f652007-08-15 14:28:01 +0000101it's trying, and prints a summary at the end::
102
103 $ python example.py -v
104 Trying:
105 factorial(5)
106 Expecting:
107 120
108 ok
109 Trying:
110 [factorial(n) for n in range(6)]
111 Expecting:
112 [1, 1, 2, 6, 24, 120]
113 ok
114 Trying:
115 [factorial(long(n)) for n in range(6)]
116 Expecting:
117 [1, 1, 2, 6, 24, 120]
118 ok
119
120And so on, eventually ending with::
121
122 Trying:
123 factorial(1e100)
124 Expecting:
125 Traceback (most recent call last):
126 ...
127 OverflowError: n too large
128 ok
Georg Brandl8ec7f652007-08-15 14:28:01 +0000129 2 items passed all tests:
130 1 tests in __main__
131 8 tests in __main__.factorial
Georg Brandl154cc582007-08-23 20:53:28 +0000132 9 tests in 2 items.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000133 9 passed and 0 failed.
134 Test passed.
135 $
136
137That's all you need to know to start making productive use of :mod:`doctest`!
138Jump in. The following sections provide full details. Note that there are many
139examples of doctests in the standard Python test suite and libraries.
140Especially useful examples can be found in the standard test file
141:file:`Lib/test/test_doctest.py`.
142
143
144.. _doctest-simple-testmod:
145
146Simple Usage: Checking Examples in Docstrings
147---------------------------------------------
148
149The simplest way to start using doctest (but not necessarily the way you'll
150continue to do it) is to end each module :mod:`M` with::
151
Georg Brandl154cc582007-08-23 20:53:28 +0000152 if __name__ == "__main__":
Georg Brandl8ec7f652007-08-15 14:28:01 +0000153 import doctest
154 doctest.testmod()
155
Georg Brandl8ec7f652007-08-15 14:28:01 +0000156:mod:`doctest` then examines docstrings in module :mod:`M`.
157
158Running the module as a script causes the examples in the docstrings to get
159executed and verified::
160
161 python M.py
162
163This won't display anything unless an example fails, in which case the failing
164example(s) and the cause(s) of the failure(s) are printed to stdout, and the
165final line of output is ``***Test Failed*** N failures.``, where *N* is the
166number of examples that failed.
167
Éric Araujoa8132ec2010-12-16 03:53:53 +0000168Run it with the ``-v`` switch instead::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000169
170 python M.py -v
171
172and a detailed report of all examples tried is printed to standard output, along
173with assorted summaries at the end.
174
175You can force verbose mode by passing ``verbose=True`` to :func:`testmod`, or
176prohibit it by passing ``verbose=False``. In either of those cases,
Éric Araujoa8132ec2010-12-16 03:53:53 +0000177``sys.argv`` is not examined by :func:`testmod` (so passing ``-v`` or not
Georg Brandl8ec7f652007-08-15 14:28:01 +0000178has no effect).
179
180Since Python 2.6, there is also a command line shortcut for running
181:func:`testmod`. You can instruct the Python interpreter to run the doctest
182module directly from the standard library and pass the module name(s) on the
183command line::
184
185 python -m doctest -v example.py
186
187This will import :file:`example.py` as a standalone module and run
188:func:`testmod` on it. Note that this may not work correctly if the file is
189part of a package and imports other submodules from that package.
190
191For more information on :func:`testmod`, see section :ref:`doctest-basic-api`.
192
193
194.. _doctest-simple-testfile:
195
196Simple Usage: Checking Examples in a Text File
197----------------------------------------------
198
199Another simple application of doctest is testing interactive examples in a text
200file. This can be done with the :func:`testfile` function::
201
202 import doctest
203 doctest.testfile("example.txt")
204
205That short script executes and verifies any interactive Python examples
206contained in the file :file:`example.txt`. The file content is treated as if it
207were a single giant docstring; the file doesn't need to contain a Python
208program! For example, perhaps :file:`example.txt` contains this::
209
210 The ``example`` module
211 ======================
212
213 Using ``factorial``
214 -------------------
215
216 This is an example text file in reStructuredText format. First import
217 ``factorial`` from the ``example`` module:
218
219 >>> from example import factorial
220
221 Now use it:
222
223 >>> factorial(6)
224 120
225
226Running ``doctest.testfile("example.txt")`` then finds the error in this
227documentation::
228
229 File "./example.txt", line 14, in example.txt
230 Failed example:
231 factorial(6)
232 Expected:
233 120
234 Got:
235 720
236
237As with :func:`testmod`, :func:`testfile` won't display anything unless an
238example fails. If an example does fail, then the failing example(s) and the
239cause(s) of the failure(s) are printed to stdout, using the same format as
240:func:`testmod`.
241
242By default, :func:`testfile` looks for files in the calling module's directory.
243See section :ref:`doctest-basic-api` for a description of the optional arguments
244that can be used to tell it to look for files in other locations.
245
246Like :func:`testmod`, :func:`testfile`'s verbosity can be set with the
Éric Araujoa8132ec2010-12-16 03:53:53 +0000247``-v`` command-line switch or with the optional keyword argument
Georg Brandl8ec7f652007-08-15 14:28:01 +0000248*verbose*.
249
250Since Python 2.6, there is also a command line shortcut for running
251:func:`testfile`. You can instruct the Python interpreter to run the doctest
252module directly from the standard library and pass the file name(s) on the
253command line::
254
255 python -m doctest -v example.txt
256
257Because the file name does not end with :file:`.py`, :mod:`doctest` infers that
258it must be run with :func:`testfile`, not :func:`testmod`.
259
260For more information on :func:`testfile`, see section :ref:`doctest-basic-api`.
261
262
263.. _doctest-how-it-works:
264
265How It Works
266------------
267
268This section examines in detail how doctest works: which docstrings it looks at,
269how it finds interactive examples, what execution context it uses, how it
270handles exceptions, and how option flags can be used to control its behavior.
271This is the information that you need to know to write doctest examples; for
272information about actually running doctest on these examples, see the following
273sections.
274
275
276.. _doctest-which-docstrings:
277
278Which Docstrings Are Examined?
279^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
280
281The module docstring, and all function, class and method docstrings are
282searched. Objects imported into the module are not searched.
283
284In addition, if ``M.__test__`` exists and "is true", it must be a dict, and each
285entry maps a (string) name to a function object, class object, or string.
286Function and class object docstrings found from ``M.__test__`` are searched, and
287strings are treated as if they were docstrings. In output, a key ``K`` in
288``M.__test__`` appears with name ::
289
290 <name of M>.__test__.K
291
292Any classes found are recursively searched similarly, to test docstrings in
293their contained methods and nested classes.
294
295.. versionchanged:: 2.4
296 A "private name" concept is deprecated and no longer documented.
297
298
299.. _doctest-finding-examples:
300
301How are Docstring Examples Recognized?
302^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
303
R. David Murrayac94f4f2010-06-01 01:42:41 +0000304In most cases a copy-and-paste of an interactive console session works fine,
305but doctest isn't trying to do an exact emulation of any specific Python shell.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000306
307::
308
309 >>> # comments are ignored
310 >>> x = 12
311 >>> x
312 12
313 >>> if x == 13:
314 ... print "yes"
315 ... else:
316 ... print "no"
317 ... print "NO"
318 ... print "NO!!!"
319 ...
320 no
321 NO
322 NO!!!
323 >>>
324
325Any expected output must immediately follow the final ``'>>> '`` or ``'... '``
326line containing the code, and the expected output (if any) extends to the next
327``'>>> '`` or all-whitespace line.
328
329The fine print:
330
331* Expected output cannot contain an all-whitespace line, since such a line is
332 taken to signal the end of expected output. If expected output does contain a
333 blank line, put ``<BLANKLINE>`` in your doctest example each place a blank line
334 is expected.
335
Nick Coghlandfb45df2010-04-28 14:29:06 +0000336 .. versionadded:: 2.4
Georg Brandl8ec7f652007-08-15 14:28:01 +0000337 ``<BLANKLINE>`` was added; there was no way to use expected output containing
338 empty lines in previous versions.
339
R. David Murrayac94f4f2010-06-01 01:42:41 +0000340* All hard tab characters are expanded to spaces, using 8-column tab stops.
341 Tabs in output generated by the tested code are not modified. Because any
342 hard tabs in the sample output *are* expanded, this means that if the code
343 output includes hard tabs, the only way the doctest can pass is if the
Chris Jerdonekd469c402012-10-10 07:13:56 -0700344 :const:`NORMALIZE_WHITESPACE` option or :ref:`directive <doctest-directives>`
345 is in effect.
R. David Murrayac94f4f2010-06-01 01:42:41 +0000346 Alternatively, the test can be rewritten to capture the output and compare it
347 to an expected value as part of the test. This handling of tabs in the
348 source was arrived at through trial and error, and has proven to be the least
349 error prone way of handling them. It is possible to use a different
350 algorithm for handling tabs by writing a custom :class:`DocTestParser` class.
351
352 .. versionchanged:: 2.4
353 Expanding tabs to spaces is new; previous versions tried to preserve hard tabs,
354 with confusing results.
355
Georg Brandl8ec7f652007-08-15 14:28:01 +0000356* Output to stdout is captured, but not output to stderr (exception tracebacks
357 are captured via a different means).
358
359* If you continue a line via backslashing in an interactive session, or for any
360 other reason use a backslash, you should use a raw docstring, which will
361 preserve your backslashes exactly as you type them::
362
363 >>> def f(x):
364 ... r'''Backslashes in a raw docstring: m\n'''
365 >>> print f.__doc__
366 Backslashes in a raw docstring: m\n
367
368 Otherwise, the backslash will be interpreted as part of the string. For example,
Ezio Melottia8e49632012-09-20 09:48:07 +0300369 the ``\n`` above would be interpreted as a newline character. Alternatively, you
Georg Brandl8ec7f652007-08-15 14:28:01 +0000370 can double each backslash in the doctest version (and not use a raw string)::
371
372 >>> def f(x):
373 ... '''Backslashes in a raw docstring: m\\n'''
374 >>> print f.__doc__
375 Backslashes in a raw docstring: m\n
376
377* The starting column doesn't matter::
378
379 >>> assert "Easy!"
380 >>> import math
381 >>> math.floor(1.9)
382 1.0
383
384 and as many leading whitespace characters are stripped from the expected output
385 as appeared in the initial ``'>>> '`` line that started the example.
386
387
388.. _doctest-execution-context:
389
390What's the Execution Context?
391^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
392
393By default, each time :mod:`doctest` finds a docstring to test, it uses a
394*shallow copy* of :mod:`M`'s globals, so that running tests doesn't change the
395module's real globals, and so that one test in :mod:`M` can't leave behind
396crumbs that accidentally allow another test to work. This means examples can
397freely use any names defined at top-level in :mod:`M`, and names defined earlier
398in the docstring being run. Examples cannot see names defined in other
399docstrings.
400
401You can force use of your own dict as the execution context by passing
402``globs=your_dict`` to :func:`testmod` or :func:`testfile` instead.
403
404
405.. _doctest-exceptions:
406
407What About Exceptions?
408^^^^^^^^^^^^^^^^^^^^^^
409
410No problem, provided that the traceback is the only output produced by the
411example: just paste in the traceback. [#]_ Since tracebacks contain details
412that are likely to change rapidly (for example, exact file paths and line
413numbers), this is one case where doctest works hard to be flexible in what it
414accepts.
415
416Simple example::
417
418 >>> [1, 2, 3].remove(42)
419 Traceback (most recent call last):
420 File "<stdin>", line 1, in ?
421 ValueError: list.remove(x): x not in list
422
423That doctest succeeds if :exc:`ValueError` is raised, with the ``list.remove(x):
424x not in list`` detail as shown.
425
426The expected output for an exception must start with a traceback header, which
427may be either of the following two lines, indented the same as the first line of
428the example::
429
430 Traceback (most recent call last):
431 Traceback (innermost last):
432
433The traceback header is followed by an optional traceback stack, whose contents
434are ignored by doctest. The traceback stack is typically omitted, or copied
435verbatim from an interactive session.
436
437The traceback stack is followed by the most interesting part: the line(s)
438containing the exception type and detail. This is usually the last line of a
439traceback, but can extend across multiple lines if the exception has a
440multi-line detail::
441
442 >>> raise ValueError('multi\n line\ndetail')
443 Traceback (most recent call last):
444 File "<stdin>", line 1, in ?
445 ValueError: multi
446 line
447 detail
448
449The last three lines (starting with :exc:`ValueError`) are compared against the
450exception's type and detail, and the rest are ignored.
451
Nick Coghlandfb45df2010-04-28 14:29:06 +0000452.. versionchanged:: 2.4
453 Previous versions were unable to handle multi-line exception details.
454
Georg Brandl8ec7f652007-08-15 14:28:01 +0000455Best practice is to omit the traceback stack, unless it adds significant
456documentation value to the example. So the last example is probably better as::
457
458 >>> raise ValueError('multi\n line\ndetail')
459 Traceback (most recent call last):
460 ...
461 ValueError: multi
462 line
463 detail
464
465Note that tracebacks are treated very specially. In particular, in the
466rewritten example, the use of ``...`` is independent of doctest's
467:const:`ELLIPSIS` option. The ellipsis in that example could be left out, or
468could just as well be three (or three hundred) commas or digits, or an indented
469transcript of a Monty Python skit.
470
471Some details you should read once, but won't need to remember:
472
473* Doctest can't guess whether your expected output came from an exception
474 traceback or from ordinary printing. So, e.g., an example that expects
475 ``ValueError: 42 is prime`` will pass whether :exc:`ValueError` is actually
476 raised or if the example merely prints that traceback text. In practice,
477 ordinary output rarely begins with a traceback header line, so this doesn't
478 create real problems.
479
480* Each line of the traceback stack (if present) must be indented further than
481 the first line of the example, *or* start with a non-alphanumeric character.
482 The first line following the traceback header indented the same and starting
483 with an alphanumeric is taken to be the start of the exception detail. Of
484 course this does the right thing for genuine tracebacks.
485
Nick Coghlandfb45df2010-04-28 14:29:06 +0000486* When the :const:`IGNORE_EXCEPTION_DETAIL` doctest option is specified,
487 everything following the leftmost colon and any module information in the
488 exception name is ignored.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000489
490* The interactive shell omits the traceback header line for some
491 :exc:`SyntaxError`\ s. But doctest uses the traceback header line to
492 distinguish exceptions from non-exceptions. So in the rare case where you need
493 to test a :exc:`SyntaxError` that omits the traceback header, you will need to
494 manually add the traceback header line to your test example.
495
496* For some :exc:`SyntaxError`\ s, Python displays the character position of the
497 syntax error, using a ``^`` marker::
498
499 >>> 1 1
500 File "<stdin>", line 1
501 1 1
502 ^
503 SyntaxError: invalid syntax
504
505 Since the lines showing the position of the error come before the exception type
506 and detail, they are not checked by doctest. For example, the following test
507 would pass, even though it puts the ``^`` marker in the wrong location::
508
509 >>> 1 1
510 Traceback (most recent call last):
511 File "<stdin>", line 1
512 1 1
513 ^
514 SyntaxError: invalid syntax
515
Georg Brandl8ec7f652007-08-15 14:28:01 +0000516
Chris Jerdonekd469c402012-10-10 07:13:56 -0700517.. _option-flags-and-directives:
Georg Brandl8ec7f652007-08-15 14:28:01 +0000518.. _doctest-options:
519
Chris Jerdonekd469c402012-10-10 07:13:56 -0700520Option Flags
521^^^^^^^^^^^^
Georg Brandl8ec7f652007-08-15 14:28:01 +0000522
523A number of option flags control various aspects of doctest's behavior.
524Symbolic names for the flags are supplied as module constants, which can be
525or'ed together and passed to various functions. The names can also be used in
Chris Jerdonekd469c402012-10-10 07:13:56 -0700526:ref:`doctest directives <doctest-directives>`.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000527
528The first group of options define test semantics, controlling aspects of how
529doctest decides whether actual output matches an example's expected output:
530
531
532.. data:: DONT_ACCEPT_TRUE_FOR_1
533
534 By default, if an expected output block contains just ``1``, an actual output
535 block containing just ``1`` or just ``True`` is considered to be a match, and
536 similarly for ``0`` versus ``False``. When :const:`DONT_ACCEPT_TRUE_FOR_1` is
537 specified, neither substitution is allowed. The default behavior caters to that
538 Python changed the return type of many functions from integer to boolean;
539 doctests expecting "little integer" output still work in these cases. This
540 option will probably go away, but not for several years.
541
542
543.. data:: DONT_ACCEPT_BLANKLINE
544
545 By default, if an expected output block contains a line containing only the
546 string ``<BLANKLINE>``, then that line will match a blank line in the actual
547 output. Because a genuinely blank line delimits the expected output, this is
548 the only way to communicate that a blank line is expected. When
549 :const:`DONT_ACCEPT_BLANKLINE` is specified, this substitution is not allowed.
550
551
552.. data:: NORMALIZE_WHITESPACE
553
554 When specified, all sequences of whitespace (blanks and newlines) are treated as
555 equal. Any sequence of whitespace within the expected output will match any
556 sequence of whitespace within the actual output. By default, whitespace must
557 match exactly. :const:`NORMALIZE_WHITESPACE` is especially useful when a line of
558 expected output is very long, and you want to wrap it across multiple lines in
559 your source.
560
561
562.. data:: ELLIPSIS
563
564 When specified, an ellipsis marker (``...``) in the expected output can match
565 any substring in the actual output. This includes substrings that span line
566 boundaries, and empty substrings, so it's best to keep usage of this simple.
567 Complicated uses can lead to the same kinds of "oops, it matched too much!"
568 surprises that ``.*`` is prone to in regular expressions.
569
570
571.. data:: IGNORE_EXCEPTION_DETAIL
572
573 When specified, an example that expects an exception passes if an exception of
574 the expected type is raised, even if the exception detail does not match. For
575 example, an example expecting ``ValueError: 42`` will pass if the actual
576 exception raised is ``ValueError: 3*14``, but will fail, e.g., if
577 :exc:`TypeError` is raised.
578
Nick Coghlandfb45df2010-04-28 14:29:06 +0000579 It will also ignore the module name used in Python 3 doctest reports. Hence
Chris Jerdonekd469c402012-10-10 07:13:56 -0700580 both of these variations will work with the flag specified, regardless of
581 whether the test is run under Python 2.7 or Python 3.2 (or later versions)::
Nick Coghlandfb45df2010-04-28 14:29:06 +0000582
Chris Jerdonekcfb01a52012-10-10 08:39:34 -0700583 >>> raise CustomError('message')
Nick Coghlandfb45df2010-04-28 14:29:06 +0000584 Traceback (most recent call last):
Nick Coghlan10f08f92010-06-12 13:45:37 +0000585 CustomError: message
Nick Coghlandfb45df2010-04-28 14:29:06 +0000586
Chris Jerdonekcfb01a52012-10-10 08:39:34 -0700587 >>> raise CustomError('message')
Nick Coghlandfb45df2010-04-28 14:29:06 +0000588 Traceback (most recent call last):
Nick Coghlan10f08f92010-06-12 13:45:37 +0000589 my_module.CustomError: message
Nick Coghlandfb45df2010-04-28 14:29:06 +0000590
591 Note that :const:`ELLIPSIS` can also be used to ignore the
592 details of the exception message, but such a test may still fail based
593 on whether or not the module details are printed as part of the
594 exception name. Using :const:`IGNORE_EXCEPTION_DETAIL` and the details
595 from Python 2.3 is also the only clear way to write a doctest that doesn't
596 care about the exception detail yet continues to pass under Python 2.3 or
Chris Jerdonekd469c402012-10-10 07:13:56 -0700597 earlier (those releases do not support :ref:`doctest directives
598 <doctest-directives>` and ignore them as irrelevant comments). For example::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000599
Chris Jerdonekcfb01a52012-10-10 08:39:34 -0700600 >>> (1, 2)[3] = 'moo'
Georg Brandl8ec7f652007-08-15 14:28:01 +0000601 Traceback (most recent call last):
602 File "<stdin>", line 1, in ?
603 TypeError: object doesn't support item assignment
604
Chris Jerdonekd469c402012-10-10 07:13:56 -0700605 passes under Python 2.3 and later Python versions with the flag specified,
606 even though the detail
Nick Coghlandfb45df2010-04-28 14:29:06 +0000607 changed in Python 2.4 to say "does not" instead of "doesn't".
608
609 .. versionchanged:: 2.7
610 :const:`IGNORE_EXCEPTION_DETAIL` now also ignores any information
611 relating to the module containing the exception under test
Georg Brandl8ec7f652007-08-15 14:28:01 +0000612
613
614.. data:: SKIP
615
616 When specified, do not run the example at all. This can be useful in contexts
617 where doctest examples serve as both documentation and test cases, and an
618 example should be included for documentation purposes, but should not be
619 checked. E.g., the example's output might be random; or the example might
620 depend on resources which would be unavailable to the test driver.
621
622 The SKIP flag can also be used for temporarily "commenting out" examples.
623
Nick Coghlandfb45df2010-04-28 14:29:06 +0000624.. versionadded:: 2.5
625
Georg Brandl8ec7f652007-08-15 14:28:01 +0000626
627.. data:: COMPARISON_FLAGS
628
629 A bitmask or'ing together all the comparison flags above.
630
631The second group of options controls how test failures are reported:
632
633
634.. data:: REPORT_UDIFF
635
636 When specified, failures that involve multi-line expected and actual outputs are
637 displayed using a unified diff.
638
639
640.. data:: REPORT_CDIFF
641
642 When specified, failures that involve multi-line expected and actual outputs
643 will be displayed using a context diff.
644
645
646.. data:: REPORT_NDIFF
647
648 When specified, differences are computed by ``difflib.Differ``, using the same
649 algorithm as the popular :file:`ndiff.py` utility. This is the only method that
650 marks differences within lines as well as across lines. For example, if a line
651 of expected output contains digit ``1`` where actual output contains letter
652 ``l``, a line is inserted with a caret marking the mismatching column positions.
653
654
655.. data:: REPORT_ONLY_FIRST_FAILURE
656
657 When specified, display the first failing example in each doctest, but suppress
658 output for all remaining examples. This will prevent doctest from reporting
659 correct examples that break because of earlier failures; but it might also hide
660 incorrect examples that fail independently of the first failure. When
661 :const:`REPORT_ONLY_FIRST_FAILURE` is specified, the remaining examples are
662 still run, and still count towards the total number of failures reported; only
663 the output is suppressed.
664
665
666.. data:: REPORTING_FLAGS
667
668 A bitmask or'ing together all the reporting flags above.
669
Chris Jerdonekd469c402012-10-10 07:13:56 -0700670
671.. versionadded:: 2.4
672 The constants
673 :const:`DONT_ACCEPT_BLANKLINE`, :const:`NORMALIZE_WHITESPACE`,
674 :const:`ELLIPSIS`, :const:`IGNORE_EXCEPTION_DETAIL`, :const:`REPORT_UDIFF`,
675 :const:`REPORT_CDIFF`, :const:`REPORT_NDIFF`,
676 :const:`REPORT_ONLY_FIRST_FAILURE`, :const:`COMPARISON_FLAGS` and
677 :const:`REPORTING_FLAGS` were added.
678
679There's also a way to register new option flag names, although this isn't useful
680unless you intend to extend :mod:`doctest` internals via subclassing:
681
682
683.. function:: register_optionflag(name)
684
685 Create a new option flag with a given name, and return the new flag's integer
686 value. :func:`register_optionflag` can be used when subclassing
687 :class:`OutputChecker` or :class:`DocTestRunner` to create new options that are
688 supported by your subclasses. :func:`register_optionflag` should always be
689 called using the following idiom::
690
691 MY_FLAG = register_optionflag('MY_FLAG')
692
693 .. versionadded:: 2.4
694
695
696.. _doctest-directives:
697
698Directives
699^^^^^^^^^^
700
701Doctest directives may be used to modify the :ref:`option flags
702<doctest-options>` for an individual example. Doctest directives are
703special Python comments following an example's source code:
Georg Brandl8ec7f652007-08-15 14:28:01 +0000704
705.. productionlist:: doctest
706 directive: "#" "doctest:" `directive_options`
707 directive_options: `directive_option` ("," `directive_option`)\*
708 directive_option: `on_or_off` `directive_option_name`
709 on_or_off: "+" \| "-"
710 directive_option_name: "DONT_ACCEPT_BLANKLINE" \| "NORMALIZE_WHITESPACE" \| ...
711
712Whitespace is not allowed between the ``+`` or ``-`` and the directive option
713name. The directive option name can be any of the option flag names explained
714above.
715
716An example's doctest directives modify doctest's behavior for that single
717example. Use ``+`` to enable the named behavior, or ``-`` to disable it.
718
Georg Brandl74954562012-10-10 16:45:11 +0200719For example, this test passes::
Nick Coghlana42709e2012-10-03 12:18:23 +0530720
Georg Brandl74954562012-10-10 16:45:11 +0200721 >>> print range(20) # doctest: +NORMALIZE_WHITESPACE
Georg Brandl8ec7f652007-08-15 14:28:01 +0000722 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
723 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]
724
725Without the directive it would fail, both because the actual output doesn't have
726two blanks before the single-digit list elements, and because the actual output
727is on a single line. This test also passes, and also requires a directive to do
Georg Brandl74954562012-10-10 16:45:11 +0200728so::
Nick Coghlan7c0a87f2012-10-03 13:48:17 +0530729
730 >>> print range(20) # doctest: +ELLIPSIS
Georg Brandl8ec7f652007-08-15 14:28:01 +0000731 [0, 1, ..., 18, 19]
732
Nick Coghlan7c0a87f2012-10-03 13:48:17 +0530733Multiple directives can be used on a single physical line, separated by
Georg Brandl74954562012-10-10 16:45:11 +0200734commas::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000735
736 >>> print range(20) # doctest: +ELLIPSIS, +NORMALIZE_WHITESPACE
737 [0, 1, ..., 18, 19]
738
739If multiple directive comments are used for a single example, then they are
Georg Brandl74954562012-10-10 16:45:11 +0200740combined::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000741
742 >>> print range(20) # doctest: +ELLIPSIS
743 ... # doctest: +NORMALIZE_WHITESPACE
744 [0, 1, ..., 18, 19]
745
746As the previous example shows, you can add ``...`` lines to your example
747containing only directives. This can be useful when an example is too long for
Georg Brandl74954562012-10-10 16:45:11 +0200748a directive to comfortably fit on the same line::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000749
750 >>> print range(5) + range(10,20) + range(30,40) + range(50,60)
751 ... # doctest: +ELLIPSIS
752 [0, ..., 4, 10, ..., 19, 30, ..., 39, 50, ..., 59]
753
754Note that since all options are disabled by default, and directives apply only
755to the example they appear in, enabling options (via ``+`` in a directive) is
756usually the only meaningful choice. However, option flags can also be passed to
757functions that run doctests, establishing different defaults. In such cases,
758disabling an option via ``-`` in a directive can be useful.
759
Nick Coghlandfb45df2010-04-28 14:29:06 +0000760.. versionadded:: 2.4
Chris Jerdonekd469c402012-10-10 07:13:56 -0700761 Support for doctest directives was added.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000762
763
764.. _doctest-warnings:
765
766Warnings
767^^^^^^^^
768
769:mod:`doctest` is serious about requiring exact matches in expected output. If
770even a single character doesn't match, the test fails. This will probably
771surprise you a few times, as you learn exactly what Python does and doesn't
772guarantee about output. For example, when printing a dict, Python doesn't
773guarantee that the key-value pairs will be printed in any particular order, so a
Georg Brandlb19be572007-12-29 10:57:00 +0000774test like ::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000775
776 >>> foo()
777 {"Hermione": "hippogryph", "Harry": "broomstick"}
778
779is vulnerable! One workaround is to do ::
780
781 >>> foo() == {"Hermione": "hippogryph", "Harry": "broomstick"}
782 True
783
784instead. Another is to do ::
785
786 >>> d = foo().items()
787 >>> d.sort()
788 >>> d
789 [('Harry', 'broomstick'), ('Hermione', 'hippogryph')]
790
791There are others, but you get the idea.
792
793Another bad idea is to print things that embed an object address, like ::
794
795 >>> id(1.0) # certain to fail some of the time
796 7948648
797 >>> class C: pass
798 >>> C() # the default repr() for instances embeds an address
799 <__main__.C instance at 0x00AC18F0>
800
Georg Brandla11c1fc2012-10-10 16:56:15 +0200801The :const:`ELLIPSIS` directive gives a nice approach for the last example::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000802
803 >>> C() #doctest: +ELLIPSIS
804 <__main__.C instance at 0x...>
805
806Floating-point numbers are also subject to small output variations across
807platforms, because Python defers to the platform C library for float formatting,
808and C libraries vary widely in quality here. ::
809
810 >>> 1./7 # risky
811 0.14285714285714285
812 >>> print 1./7 # safer
813 0.142857142857
814 >>> print round(1./7, 6) # much safer
815 0.142857
816
817Numbers of the form ``I/2.**J`` are safe across all platforms, and I often
818contrive doctest examples to produce numbers of that form::
819
820 >>> 3./4 # utterly safe
821 0.75
822
823Simple fractions are also easier for people to understand, and that makes for
824better documentation.
825
826
827.. _doctest-basic-api:
828
829Basic API
830---------
831
832The functions :func:`testmod` and :func:`testfile` provide a simple interface to
833doctest that should be sufficient for most basic uses. For a less formal
834introduction to these two functions, see sections :ref:`doctest-simple-testmod`
835and :ref:`doctest-simple-testfile`.
836
837
838.. function:: testfile(filename[, module_relative][, name][, package][, globs][, verbose][, report][, optionflags][, extraglobs][, raise_on_error][, parser][, encoding])
839
840 All arguments except *filename* are optional, and should be specified in keyword
841 form.
842
843 Test examples in the file named *filename*. Return ``(failure_count,
844 test_count)``.
845
846 Optional argument *module_relative* specifies how the filename should be
847 interpreted:
848
849 * If *module_relative* is ``True`` (the default), then *filename* specifies an
850 OS-independent module-relative path. By default, this path is relative to the
851 calling module's directory; but if the *package* argument is specified, then it
852 is relative to that package. To ensure OS-independence, *filename* should use
853 ``/`` characters to separate path segments, and may not be an absolute path
854 (i.e., it may not begin with ``/``).
855
856 * If *module_relative* is ``False``, then *filename* specifies an OS-specific
857 path. The path may be absolute or relative; relative paths are resolved with
858 respect to the current working directory.
859
860 Optional argument *name* gives the name of the test; by default, or if ``None``,
861 ``os.path.basename(filename)`` is used.
862
863 Optional argument *package* is a Python package or the name of a Python package
864 whose directory should be used as the base directory for a module-relative
865 filename. If no package is specified, then the calling module's directory is
866 used as the base directory for module-relative filenames. It is an error to
867 specify *package* if *module_relative* is ``False``.
868
869 Optional argument *globs* gives a dict to be used as the globals when executing
870 examples. A new shallow copy of this dict is created for the doctest, so its
871 examples start with a clean slate. By default, or if ``None``, a new empty dict
872 is used.
873
874 Optional argument *extraglobs* gives a dict merged into the globals used to
875 execute examples. This works like :meth:`dict.update`: if *globs* and
876 *extraglobs* have a common key, the associated value in *extraglobs* appears in
877 the combined dict. By default, or if ``None``, no extra globals are used. This
878 is an advanced feature that allows parameterization of doctests. For example, a
879 doctest can be written for a base class, using a generic name for the class,
880 then reused to test any number of subclasses by passing an *extraglobs* dict
881 mapping the generic name to the subclass to be tested.
882
883 Optional argument *verbose* prints lots of stuff if true, and prints only
884 failures if false; by default, or if ``None``, it's true if and only if ``'-v'``
885 is in ``sys.argv``.
886
887 Optional argument *report* prints a summary at the end when true, else prints
888 nothing at the end. In verbose mode, the summary is detailed, else the summary
889 is very brief (in fact, empty if all tests passed).
890
891 Optional argument *optionflags* or's together option flags. See section
892 :ref:`doctest-options`.
893
894 Optional argument *raise_on_error* defaults to false. If true, an exception is
895 raised upon the first failure or unexpected exception in an example. This
896 allows failures to be post-mortem debugged. Default behavior is to continue
897 running examples.
898
899 Optional argument *parser* specifies a :class:`DocTestParser` (or subclass) that
900 should be used to extract tests from the files. It defaults to a normal parser
901 (i.e., ``DocTestParser()``).
902
903 Optional argument *encoding* specifies an encoding that should be used to
904 convert the file to unicode.
905
906 .. versionadded:: 2.4
907
908 .. versionchanged:: 2.5
909 The parameter *encoding* was added.
910
911
912.. function:: testmod([m][, name][, globs][, verbose][, report][, optionflags][, extraglobs][, raise_on_error][, exclude_empty])
913
914 All arguments are optional, and all except for *m* should be specified in
915 keyword form.
916
917 Test examples in docstrings in functions and classes reachable from module *m*
918 (or module :mod:`__main__` if *m* is not supplied or is ``None``), starting with
919 ``m.__doc__``.
920
921 Also test examples reachable from dict ``m.__test__``, if it exists and is not
922 ``None``. ``m.__test__`` maps names (strings) to functions, classes and
923 strings; function and class docstrings are searched for examples; strings are
924 searched directly, as if they were docstrings.
925
926 Only docstrings attached to objects belonging to module *m* are searched.
927
928 Return ``(failure_count, test_count)``.
929
930 Optional argument *name* gives the name of the module; by default, or if
931 ``None``, ``m.__name__`` is used.
932
933 Optional argument *exclude_empty* defaults to false. If true, objects for which
934 no doctests are found are excluded from consideration. The default is a backward
935 compatibility hack, so that code still using :meth:`doctest.master.summarize` in
936 conjunction with :func:`testmod` continues to get output for objects with no
937 tests. The *exclude_empty* argument to the newer :class:`DocTestFinder`
938 constructor defaults to true.
939
940 Optional arguments *extraglobs*, *verbose*, *report*, *optionflags*,
941 *raise_on_error*, and *globs* are the same as for function :func:`testfile`
942 above, except that *globs* defaults to ``m.__dict__``.
943
944 .. versionchanged:: 2.3
945 The parameter *optionflags* was added.
946
947 .. versionchanged:: 2.4
948 The parameters *extraglobs*, *raise_on_error* and *exclude_empty* were added.
949
950 .. versionchanged:: 2.5
951 The optional argument *isprivate*, deprecated in 2.4, was removed.
952
953There's also a function to run the doctests associated with a single object.
954This function is provided for backward compatibility. There are no plans to
955deprecate it, but it's rarely useful:
956
957
958.. function:: run_docstring_examples(f, globs[, verbose][, name][, compileflags][, optionflags])
959
960 Test examples associated with object *f*; for example, *f* may be a module,
961 function, or class object.
962
963 A shallow copy of dictionary argument *globs* is used for the execution context.
964
965 Optional argument *name* is used in failure messages, and defaults to
966 ``"NoName"``.
967
968 If optional argument *verbose* is true, output is generated even if there are no
969 failures. By default, output is generated only in case of an example failure.
970
971 Optional argument *compileflags* gives the set of flags that should be used by
972 the Python compiler when running the examples. By default, or if ``None``,
973 flags are deduced corresponding to the set of future features found in *globs*.
974
975 Optional argument *optionflags* works as for function :func:`testfile` above.
976
977
978.. _doctest-unittest-api:
979
980Unittest API
981------------
982
983As your collection of doctest'ed modules grows, you'll want a way to run all
984their doctests systematically. Prior to Python 2.4, :mod:`doctest` had a barely
985documented :class:`Tester` class that supplied a rudimentary way to combine
986doctests from multiple modules. :class:`Tester` was feeble, and in practice most
987serious Python testing frameworks build on the :mod:`unittest` module, which
988supplies many flexible ways to combine tests from multiple sources. So, in
989Python 2.4, :mod:`doctest`'s :class:`Tester` class is deprecated, and
990:mod:`doctest` provides two functions that can be used to create :mod:`unittest`
Georg Brandle85e1ae2010-10-06 09:17:24 +0000991test suites from modules and text files containing doctests. To integrate with
992:mod:`unittest` test discovery, include a :func:`load_tests` function in your
993test module::
Georg Brandl8ec7f652007-08-15 14:28:01 +0000994
Jeroen Ruigrok van der Werven51497422009-02-19 18:52:21 +0000995 import unittest
Benjamin Petersona7b55a32009-02-20 03:31:23 +0000996 import doctest
Georg Brandle85e1ae2010-10-06 09:17:24 +0000997 import my_module_with_doctests
Georg Brandl8ec7f652007-08-15 14:28:01 +0000998
Georg Brandle85e1ae2010-10-06 09:17:24 +0000999 def load_tests(loader, tests, ignore):
1000 tests.addTests(doctest.DocTestSuite(my_module_with_doctests))
R. David Murray561b96f2011-02-11 17:25:54 +00001001 return tests
Georg Brandl8ec7f652007-08-15 14:28:01 +00001002
1003There are two main functions for creating :class:`unittest.TestSuite` instances
1004from text files and modules with doctests:
1005
1006
Georg Brandla08e8de2009-03-31 21:15:33 +00001007.. function:: DocFileSuite(*paths, [module_relative][, package][, setUp][, tearDown][, globs][, optionflags][, parser][, encoding])
Georg Brandl8ec7f652007-08-15 14:28:01 +00001008
1009 Convert doctest tests from one or more text files to a
1010 :class:`unittest.TestSuite`.
1011
1012 The returned :class:`unittest.TestSuite` is to be run by the unittest framework
1013 and runs the interactive examples in each file. If an example in any file
1014 fails, then the synthesized unit test fails, and a :exc:`failureException`
1015 exception is raised showing the name of the file containing the test and a
1016 (sometimes approximate) line number.
1017
1018 Pass one or more paths (as strings) to text files to be examined.
1019
1020 Options may be provided as keyword arguments:
1021
1022 Optional argument *module_relative* specifies how the filenames in *paths*
1023 should be interpreted:
1024
Georg Brandla08e8de2009-03-31 21:15:33 +00001025 * If *module_relative* is ``True`` (the default), then each filename in
1026 *paths* specifies an OS-independent module-relative path. By default, this
1027 path is relative to the calling module's directory; but if the *package*
1028 argument is specified, then it is relative to that package. To ensure
1029 OS-independence, each filename should use ``/`` characters to separate path
1030 segments, and may not be an absolute path (i.e., it may not begin with
1031 ``/``).
Georg Brandl8ec7f652007-08-15 14:28:01 +00001032
Georg Brandla08e8de2009-03-31 21:15:33 +00001033 * If *module_relative* is ``False``, then each filename in *paths* specifies
1034 an OS-specific path. The path may be absolute or relative; relative paths
1035 are resolved with respect to the current working directory.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001036
Georg Brandla08e8de2009-03-31 21:15:33 +00001037 Optional argument *package* is a Python package or the name of a Python
1038 package whose directory should be used as the base directory for
1039 module-relative filenames in *paths*. If no package is specified, then the
1040 calling module's directory is used as the base directory for module-relative
1041 filenames. It is an error to specify *package* if *module_relative* is
1042 ``False``.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001043
Georg Brandla08e8de2009-03-31 21:15:33 +00001044 Optional argument *setUp* specifies a set-up function for the test suite.
1045 This is called before running the tests in each file. The *setUp* function
Georg Brandl8ec7f652007-08-15 14:28:01 +00001046 will be passed a :class:`DocTest` object. The setUp function can access the
1047 test globals as the *globs* attribute of the test passed.
1048
Georg Brandla08e8de2009-03-31 21:15:33 +00001049 Optional argument *tearDown* specifies a tear-down function for the test
1050 suite. This is called after running the tests in each file. The *tearDown*
1051 function will be passed a :class:`DocTest` object. The setUp function can
1052 access the test globals as the *globs* attribute of the test passed.
1053
Georg Brandl8ec7f652007-08-15 14:28:01 +00001054 Optional argument *globs* is a dictionary containing the initial global
1055 variables for the tests. A new copy of this dictionary is created for each
1056 test. By default, *globs* is a new empty dictionary.
1057
1058 Optional argument *optionflags* specifies the default doctest options for the
1059 tests, created by or-ing together individual option flags. See section
Georg Brandla08e8de2009-03-31 21:15:33 +00001060 :ref:`doctest-options`. See function :func:`set_unittest_reportflags` below
1061 for a better way to set reporting options.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001062
Georg Brandla08e8de2009-03-31 21:15:33 +00001063 Optional argument *parser* specifies a :class:`DocTestParser` (or subclass)
1064 that should be used to extract tests from the files. It defaults to a normal
1065 parser (i.e., ``DocTestParser()``).
Georg Brandl8ec7f652007-08-15 14:28:01 +00001066
1067 Optional argument *encoding* specifies an encoding that should be used to
1068 convert the file to unicode.
1069
1070 .. versionadded:: 2.4
1071
1072 .. versionchanged:: 2.5
Georg Brandla08e8de2009-03-31 21:15:33 +00001073 The global ``__file__`` was added to the globals provided to doctests
1074 loaded from a text file using :func:`DocFileSuite`.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001075
1076 .. versionchanged:: 2.5
1077 The parameter *encoding* was added.
1078
R David Murray8d580532012-09-10 10:17:13 -04001079 .. note::
1080 Unlike :func:`testmod` and :class:`DocTestFinder`, this function raises
1081 a :exc:`ValueError` if *module* contains no docstrings. You can prevent
1082 this error by passing a :class:`DocTestFinder` instance as the
1083 *test_finder* argument with its *exclude_empty* keyword argument set
1084 to ``False``::
1085
1086 >>> finder = doctest.DocTestFinder(exclude_empty=False)
1087 >>> suite = doctest.DocTestSuite(test_finder=finder)
1088
Georg Brandl8ec7f652007-08-15 14:28:01 +00001089
1090.. function:: DocTestSuite([module][, globs][, extraglobs][, test_finder][, setUp][, tearDown][, checker])
1091
1092 Convert doctest tests for a module to a :class:`unittest.TestSuite`.
1093
1094 The returned :class:`unittest.TestSuite` is to be run by the unittest framework
1095 and runs each doctest in the module. If any of the doctests fail, then the
1096 synthesized unit test fails, and a :exc:`failureException` exception is raised
1097 showing the name of the file containing the test and a (sometimes approximate)
1098 line number.
1099
1100 Optional argument *module* provides the module to be tested. It can be a module
1101 object or a (possibly dotted) module name. If not specified, the module calling
1102 this function is used.
1103
1104 Optional argument *globs* is a dictionary containing the initial global
1105 variables for the tests. A new copy of this dictionary is created for each
1106 test. By default, *globs* is a new empty dictionary.
1107
1108 Optional argument *extraglobs* specifies an extra set of global variables, which
1109 is merged into *globs*. By default, no extra globals are used.
1110
1111 Optional argument *test_finder* is the :class:`DocTestFinder` object (or a
1112 drop-in replacement) that is used to extract doctests from the module.
1113
1114 Optional arguments *setUp*, *tearDown*, and *optionflags* are the same as for
1115 function :func:`DocFileSuite` above.
1116
1117 .. versionadded:: 2.3
1118
1119 .. versionchanged:: 2.4
1120 The parameters *globs*, *extraglobs*, *test_finder*, *setUp*, *tearDown*, and
1121 *optionflags* were added; this function now uses the same search technique as
1122 :func:`testmod`.
1123
1124Under the covers, :func:`DocTestSuite` creates a :class:`unittest.TestSuite` out
1125of :class:`doctest.DocTestCase` instances, and :class:`DocTestCase` is a
1126subclass of :class:`unittest.TestCase`. :class:`DocTestCase` isn't documented
1127here (it's an internal detail), but studying its code can answer questions about
1128the exact details of :mod:`unittest` integration.
1129
1130Similarly, :func:`DocFileSuite` creates a :class:`unittest.TestSuite` out of
1131:class:`doctest.DocFileCase` instances, and :class:`DocFileCase` is a subclass
1132of :class:`DocTestCase`.
1133
1134So both ways of creating a :class:`unittest.TestSuite` run instances of
1135:class:`DocTestCase`. This is important for a subtle reason: when you run
1136:mod:`doctest` functions yourself, you can control the :mod:`doctest` options in
1137use directly, by passing option flags to :mod:`doctest` functions. However, if
1138you're writing a :mod:`unittest` framework, :mod:`unittest` ultimately controls
1139when and how tests get run. The framework author typically wants to control
1140:mod:`doctest` reporting options (perhaps, e.g., specified by command line
1141options), but there's no way to pass options through :mod:`unittest` to
1142:mod:`doctest` test runners.
1143
1144For this reason, :mod:`doctest` also supports a notion of :mod:`doctest`
1145reporting flags specific to :mod:`unittest` support, via this function:
1146
1147
1148.. function:: set_unittest_reportflags(flags)
1149
1150 Set the :mod:`doctest` reporting flags to use.
1151
1152 Argument *flags* or's together option flags. See section
1153 :ref:`doctest-options`. Only "reporting flags" can be used.
1154
1155 This is a module-global setting, and affects all future doctests run by module
1156 :mod:`unittest`: the :meth:`runTest` method of :class:`DocTestCase` looks at
1157 the option flags specified for the test case when the :class:`DocTestCase`
1158 instance was constructed. If no reporting flags were specified (which is the
1159 typical and expected case), :mod:`doctest`'s :mod:`unittest` reporting flags are
1160 or'ed into the option flags, and the option flags so augmented are passed to the
1161 :class:`DocTestRunner` instance created to run the doctest. If any reporting
1162 flags were specified when the :class:`DocTestCase` instance was constructed,
1163 :mod:`doctest`'s :mod:`unittest` reporting flags are ignored.
1164
1165 The value of the :mod:`unittest` reporting flags in effect before the function
1166 was called is returned by the function.
1167
1168 .. versionadded:: 2.4
1169
1170
1171.. _doctest-advanced-api:
1172
1173Advanced API
1174------------
1175
1176The basic API is a simple wrapper that's intended to make doctest easy to use.
1177It is fairly flexible, and should meet most users' needs; however, if you
1178require more fine-grained control over testing, or wish to extend doctest's
1179capabilities, then you should use the advanced API.
1180
1181The advanced API revolves around two container classes, which are used to store
1182the interactive examples extracted from doctest cases:
1183
Ezio Melotti062d2b52009-12-19 22:41:49 +00001184* :class:`Example`: A single Python :term:`statement`, paired with its expected
Georg Brandl584265b2007-12-02 14:58:50 +00001185 output.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001186
1187* :class:`DocTest`: A collection of :class:`Example`\ s, typically extracted
1188 from a single docstring or text file.
1189
1190Additional processing classes are defined to find, parse, and run, and check
1191doctest examples:
1192
1193* :class:`DocTestFinder`: Finds all docstrings in a given module, and uses a
1194 :class:`DocTestParser` to create a :class:`DocTest` from every docstring that
1195 contains interactive examples.
1196
1197* :class:`DocTestParser`: Creates a :class:`DocTest` object from a string (such
1198 as an object's docstring).
1199
1200* :class:`DocTestRunner`: Executes the examples in a :class:`DocTest`, and uses
1201 an :class:`OutputChecker` to verify their output.
1202
1203* :class:`OutputChecker`: Compares the actual output from a doctest example with
1204 the expected output, and decides whether they match.
1205
1206The relationships among these processing classes are summarized in the following
1207diagram::
1208
1209 list of:
1210 +------+ +---------+
1211 |module| --DocTestFinder-> | DocTest | --DocTestRunner-> results
1212 +------+ | ^ +---------+ | ^ (printed)
1213 | | | Example | | |
1214 v | | ... | v |
1215 DocTestParser | Example | OutputChecker
1216 +---------+
1217
1218
1219.. _doctest-doctest:
1220
1221DocTest Objects
1222^^^^^^^^^^^^^^^
1223
1224
1225.. class:: DocTest(examples, globs, name, filename, lineno, docstring)
1226
1227 A collection of doctest examples that should be run in a single namespace. The
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001228 constructor arguments are used to initialize the attributes of the same names.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001229
1230 .. versionadded:: 2.4
1231
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001232 :class:`DocTest` defines the following attributes. They are initialized by
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001233 the constructor, and should not be modified directly.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001234
1235
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001236 .. attribute:: examples
Georg Brandl8ec7f652007-08-15 14:28:01 +00001237
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001238 A list of :class:`Example` objects encoding the individual interactive Python
1239 examples that should be run by this test.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001240
1241
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001242 .. attribute:: globs
Georg Brandl8ec7f652007-08-15 14:28:01 +00001243
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001244 The namespace (aka globals) that the examples should be run in. This is a
1245 dictionary mapping names to values. Any changes to the namespace made by the
1246 examples (such as binding new variables) will be reflected in :attr:`globs`
1247 after the test is run.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001248
1249
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001250 .. attribute:: name
Georg Brandl8ec7f652007-08-15 14:28:01 +00001251
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001252 A string name identifying the :class:`DocTest`. Typically, this is the name
1253 of the object or file that the test was extracted from.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001254
1255
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001256 .. attribute:: filename
Georg Brandl8ec7f652007-08-15 14:28:01 +00001257
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001258 The name of the file that this :class:`DocTest` was extracted from; or
1259 ``None`` if the filename is unknown, or if the :class:`DocTest` was not
1260 extracted from a file.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001261
1262
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001263 .. attribute:: lineno
Georg Brandl8ec7f652007-08-15 14:28:01 +00001264
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001265 The line number within :attr:`filename` where this :class:`DocTest` begins, or
1266 ``None`` if the line number is unavailable. This line number is zero-based
1267 with respect to the beginning of the file.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001268
1269
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001270 .. attribute:: docstring
Georg Brandl8ec7f652007-08-15 14:28:01 +00001271
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001272 The string that the test was extracted from, or 'None' if the string is
1273 unavailable, or if the test was not extracted from a string.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001274
1275
1276.. _doctest-example:
1277
1278Example Objects
1279^^^^^^^^^^^^^^^
1280
1281
1282.. class:: Example(source, want[, exc_msg][, lineno][, indent][, options])
1283
1284 A single interactive example, consisting of a Python statement and its expected
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001285 output. The constructor arguments are used to initialize the attributes of the
1286 same names.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001287
1288 .. versionadded:: 2.4
1289
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001290 :class:`Example` defines the following attributes. They are initialized by
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001291 the constructor, and should not be modified directly.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001292
1293
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001294 .. attribute:: source
Georg Brandl8ec7f652007-08-15 14:28:01 +00001295
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001296 A string containing the example's source code. This source code consists of a
1297 single Python statement, and always ends with a newline; the constructor adds
1298 a newline when necessary.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001299
1300
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001301 .. attribute:: want
Georg Brandl8ec7f652007-08-15 14:28:01 +00001302
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001303 The expected output from running the example's source code (either from
1304 stdout, or a traceback in case of exception). :attr:`want` ends with a
1305 newline unless no output is expected, in which case it's an empty string. The
1306 constructor adds a newline when necessary.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001307
1308
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001309 .. attribute:: exc_msg
Georg Brandl8ec7f652007-08-15 14:28:01 +00001310
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001311 The exception message generated by the example, if the example is expected to
1312 generate an exception; or ``None`` if it is not expected to generate an
1313 exception. This exception message is compared against the return value of
1314 :func:`traceback.format_exception_only`. :attr:`exc_msg` ends with a newline
1315 unless it's ``None``. The constructor adds a newline if needed.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001316
1317
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001318 .. attribute:: lineno
Georg Brandl8ec7f652007-08-15 14:28:01 +00001319
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001320 The line number within the string containing this example where the example
1321 begins. This line number is zero-based with respect to the beginning of the
1322 containing string.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001323
1324
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001325 .. attribute:: indent
Georg Brandl8ec7f652007-08-15 14:28:01 +00001326
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001327 The example's indentation in the containing string, i.e., the number of space
1328 characters that precede the example's first prompt.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001329
1330
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001331 .. attribute:: options
Georg Brandl8ec7f652007-08-15 14:28:01 +00001332
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001333 A dictionary mapping from option flags to ``True`` or ``False``, which is used
1334 to override default options for this example. Any option flags not contained
1335 in this dictionary are left at their default value (as specified by the
1336 :class:`DocTestRunner`'s :attr:`optionflags`). By default, no options are set.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001337
1338
1339.. _doctest-doctestfinder:
1340
1341DocTestFinder objects
1342^^^^^^^^^^^^^^^^^^^^^
1343
1344
1345.. class:: DocTestFinder([verbose][, parser][, recurse][, exclude_empty])
1346
1347 A processing class used to extract the :class:`DocTest`\ s that are relevant to
1348 a given object, from its docstring and the docstrings of its contained objects.
1349 :class:`DocTest`\ s can currently be extracted from the following object types:
1350 modules, functions, classes, methods, staticmethods, classmethods, and
1351 properties.
1352
1353 The optional argument *verbose* can be used to display the objects searched by
1354 the finder. It defaults to ``False`` (no output).
1355
1356 The optional argument *parser* specifies the :class:`DocTestParser` object (or a
1357 drop-in replacement) that is used to extract doctests from docstrings.
1358
1359 If the optional argument *recurse* is false, then :meth:`DocTestFinder.find`
1360 will only examine the given object, and not any contained objects.
1361
1362 If the optional argument *exclude_empty* is false, then
1363 :meth:`DocTestFinder.find` will include tests for objects with empty docstrings.
1364
1365 .. versionadded:: 2.4
1366
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001367 :class:`DocTestFinder` defines the following method:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001368
1369
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001370 .. method:: find(obj[, name][, module][, globs][, extraglobs])
Georg Brandl8ec7f652007-08-15 14:28:01 +00001371
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001372 Return a list of the :class:`DocTest`\ s that are defined by *obj*'s
1373 docstring, or by any of its contained objects' docstrings.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001374
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001375 The optional argument *name* specifies the object's name; this name will be
1376 used to construct names for the returned :class:`DocTest`\ s. If *name* is
1377 not specified, then ``obj.__name__`` is used.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001378
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001379 The optional parameter *module* is the module that contains the given object.
1380 If the module is not specified or is None, then the test finder will attempt
1381 to automatically determine the correct module. The object's module is used:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001382
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001383 * As a default namespace, if *globs* is not specified.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001384
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001385 * To prevent the DocTestFinder from extracting DocTests from objects that are
1386 imported from other modules. (Contained objects with modules other than
1387 *module* are ignored.)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001388
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001389 * To find the name of the file containing the object.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001390
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001391 * To help find the line number of the object within its file.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001392
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001393 If *module* is ``False``, no attempt to find the module will be made. This is
1394 obscure, of use mostly in testing doctest itself: if *module* is ``False``, or
1395 is ``None`` but cannot be found automatically, then all objects are considered
1396 to belong to the (non-existent) module, so all contained objects will
1397 (recursively) be searched for doctests.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001398
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001399 The globals for each :class:`DocTest` is formed by combining *globs* and
1400 *extraglobs* (bindings in *extraglobs* override bindings in *globs*). A new
1401 shallow copy of the globals dictionary is created for each :class:`DocTest`.
1402 If *globs* is not specified, then it defaults to the module's *__dict__*, if
1403 specified, or ``{}`` otherwise. If *extraglobs* is not specified, then it
1404 defaults to ``{}``.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001405
1406
1407.. _doctest-doctestparser:
1408
1409DocTestParser objects
1410^^^^^^^^^^^^^^^^^^^^^
1411
1412
1413.. class:: DocTestParser()
1414
1415 A processing class used to extract interactive examples from a string, and use
1416 them to create a :class:`DocTest` object.
1417
1418 .. versionadded:: 2.4
1419
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001420 :class:`DocTestParser` defines the following methods:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001421
1422
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001423 .. method:: get_doctest(string, globs, name, filename, lineno)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001424
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001425 Extract all doctest examples from the given string, and collect them into a
1426 :class:`DocTest` object.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001427
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001428 *globs*, *name*, *filename*, and *lineno* are attributes for the new
1429 :class:`DocTest` object. See the documentation for :class:`DocTest` for more
1430 information.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001431
1432
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001433 .. method:: get_examples(string[, name])
Georg Brandl8ec7f652007-08-15 14:28:01 +00001434
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001435 Extract all doctest examples from the given string, and return them as a list
1436 of :class:`Example` objects. Line numbers are 0-based. The optional argument
1437 *name* is a name identifying this string, and is only used for error messages.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001438
1439
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001440 .. method:: parse(string[, name])
Georg Brandl8ec7f652007-08-15 14:28:01 +00001441
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001442 Divide the given string into examples and intervening text, and return them as
1443 a list of alternating :class:`Example`\ s and strings. Line numbers for the
1444 :class:`Example`\ s are 0-based. The optional argument *name* is a name
1445 identifying this string, and is only used for error messages.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001446
1447
1448.. _doctest-doctestrunner:
1449
1450DocTestRunner objects
1451^^^^^^^^^^^^^^^^^^^^^
1452
1453
1454.. class:: DocTestRunner([checker][, verbose][, optionflags])
1455
1456 A processing class used to execute and verify the interactive examples in a
1457 :class:`DocTest`.
1458
1459 The comparison between expected outputs and actual outputs is done by an
1460 :class:`OutputChecker`. This comparison may be customized with a number of
1461 option flags; see section :ref:`doctest-options` for more information. If the
1462 option flags are insufficient, then the comparison may also be customized by
1463 passing a subclass of :class:`OutputChecker` to the constructor.
1464
1465 The test runner's display output can be controlled in two ways. First, an output
1466 function can be passed to :meth:`TestRunner.run`; this function will be called
1467 with strings that should be displayed. It defaults to ``sys.stdout.write``. If
1468 capturing the output is not sufficient, then the display output can be also
1469 customized by subclassing DocTestRunner, and overriding the methods
1470 :meth:`report_start`, :meth:`report_success`,
1471 :meth:`report_unexpected_exception`, and :meth:`report_failure`.
1472
1473 The optional keyword argument *checker* specifies the :class:`OutputChecker`
1474 object (or drop-in replacement) that should be used to compare the expected
1475 outputs to the actual outputs of doctest examples.
1476
1477 The optional keyword argument *verbose* controls the :class:`DocTestRunner`'s
1478 verbosity. If *verbose* is ``True``, then information is printed about each
1479 example, as it is run. If *verbose* is ``False``, then only failures are
1480 printed. If *verbose* is unspecified, or ``None``, then verbose output is used
Éric Araujoa8132ec2010-12-16 03:53:53 +00001481 iff the command-line switch ``-v`` is used.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001482
1483 The optional keyword argument *optionflags* can be used to control how the test
1484 runner compares expected output to actual output, and how it displays failures.
1485 For more information, see section :ref:`doctest-options`.
1486
1487 .. versionadded:: 2.4
1488
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001489 :class:`DocTestParser` defines the following methods:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001490
1491
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001492 .. method:: report_start(out, test, example)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001493
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001494 Report that the test runner is about to process the given example. This method
1495 is provided to allow subclasses of :class:`DocTestRunner` to customize their
1496 output; it should not be called directly.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001497
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001498 *example* is the example about to be processed. *test* is the test
1499 *containing example*. *out* is the output function that was passed to
1500 :meth:`DocTestRunner.run`.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001501
1502
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001503 .. method:: report_success(out, test, example, got)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001504
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001505 Report that the given example ran successfully. This method is provided to
1506 allow subclasses of :class:`DocTestRunner` to customize their output; it
1507 should not be called directly.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001508
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001509 *example* is the example about to be processed. *got* is the actual output
1510 from the example. *test* is the test containing *example*. *out* is the
1511 output function that was passed to :meth:`DocTestRunner.run`.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001512
1513
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001514 .. method:: report_failure(out, test, example, got)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001515
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001516 Report that the given example failed. This method is provided to allow
1517 subclasses of :class:`DocTestRunner` to customize their output; it should not
1518 be called directly.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001519
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001520 *example* is the example about to be processed. *got* is the actual output
1521 from the example. *test* is the test containing *example*. *out* is the
1522 output function that was passed to :meth:`DocTestRunner.run`.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001523
1524
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001525 .. method:: report_unexpected_exception(out, test, example, exc_info)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001526
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001527 Report that the given example raised an unexpected exception. This method is
1528 provided to allow subclasses of :class:`DocTestRunner` to customize their
1529 output; it should not be called directly.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001530
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001531 *example* is the example about to be processed. *exc_info* is a tuple
1532 containing information about the unexpected exception (as returned by
1533 :func:`sys.exc_info`). *test* is the test containing *example*. *out* is the
1534 output function that was passed to :meth:`DocTestRunner.run`.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001535
1536
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001537 .. method:: run(test[, compileflags][, out][, clear_globs])
Georg Brandl8ec7f652007-08-15 14:28:01 +00001538
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001539 Run the examples in *test* (a :class:`DocTest` object), and display the
1540 results using the writer function *out*.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001541
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001542 The examples are run in the namespace ``test.globs``. If *clear_globs* is
1543 true (the default), then this namespace will be cleared after the test runs,
1544 to help with garbage collection. If you would like to examine the namespace
1545 after the test completes, then use *clear_globs=False*.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001546
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001547 *compileflags* gives the set of flags that should be used by the Python
1548 compiler when running the examples. If not specified, then it will default to
1549 the set of future-import flags that apply to *globs*.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001550
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001551 The output of each example is checked using the :class:`DocTestRunner`'s
1552 output checker, and the results are formatted by the
1553 :meth:`DocTestRunner.report_\*` methods.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001554
1555
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001556 .. method:: summarize([verbose])
Georg Brandl8ec7f652007-08-15 14:28:01 +00001557
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001558 Print a summary of all the test cases that have been run by this DocTestRunner,
1559 and return a :term:`named tuple` ``TestResults(failed, attempted)``.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001560
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001561 The optional *verbose* argument controls how detailed the summary is. If the
1562 verbosity is not specified, then the :class:`DocTestRunner`'s verbosity is
1563 used.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001564
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001565 .. versionchanged:: 2.6
1566 Use a named tuple.
Georg Brandle3c3db52008-01-11 09:55:53 +00001567
Georg Brandl8ec7f652007-08-15 14:28:01 +00001568
1569.. _doctest-outputchecker:
1570
1571OutputChecker objects
1572^^^^^^^^^^^^^^^^^^^^^
1573
1574
1575.. class:: OutputChecker()
1576
1577 A class used to check the whether the actual output from a doctest example
1578 matches the expected output. :class:`OutputChecker` defines two methods:
1579 :meth:`check_output`, which compares a given pair of outputs, and returns true
1580 if they match; and :meth:`output_difference`, which returns a string describing
1581 the differences between two outputs.
1582
1583 .. versionadded:: 2.4
1584
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001585 :class:`OutputChecker` defines the following methods:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001586
1587
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001588 .. method:: check_output(want, got, optionflags)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001589
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001590 Return ``True`` iff the actual output from an example (*got*) matches the
1591 expected output (*want*). These strings are always considered to match if
1592 they are identical; but depending on what option flags the test runner is
1593 using, several non-exact match types are also possible. See section
1594 :ref:`doctest-options` for more information about option flags.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001595
1596
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001597 .. method:: output_difference(example, got, optionflags)
Georg Brandl8ec7f652007-08-15 14:28:01 +00001598
Benjamin Petersonc7b05922008-04-25 01:29:10 +00001599 Return a string describing the differences between the expected output for a
1600 given example (*example*) and the actual output (*got*). *optionflags* is the
1601 set of option flags used to compare *want* and *got*.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001602
1603
1604.. _doctest-debugging:
1605
1606Debugging
1607---------
1608
1609Doctest provides several mechanisms for debugging doctest examples:
1610
1611* Several functions convert doctests to executable Python programs, which can be
1612 run under the Python debugger, :mod:`pdb`.
1613
1614* The :class:`DebugRunner` class is a subclass of :class:`DocTestRunner` that
1615 raises an exception for the first failing example, containing information about
1616 that example. This information can be used to perform post-mortem debugging on
1617 the example.
1618
1619* The :mod:`unittest` cases generated by :func:`DocTestSuite` support the
1620 :meth:`debug` method defined by :class:`unittest.TestCase`.
1621
1622* You can add a call to :func:`pdb.set_trace` in a doctest example, and you'll
1623 drop into the Python debugger when that line is executed. Then you can inspect
1624 current values of variables, and so on. For example, suppose :file:`a.py`
1625 contains just this module docstring::
1626
1627 """
1628 >>> def f(x):
1629 ... g(x*2)
1630 >>> def g(x):
1631 ... print x+3
1632 ... import pdb; pdb.set_trace()
1633 >>> f(3)
1634 9
1635 """
1636
1637 Then an interactive Python session may look like this::
1638
1639 >>> import a, doctest
1640 >>> doctest.testmod(a)
1641 --Return--
1642 > <doctest a[1]>(3)g()->None
1643 -> import pdb; pdb.set_trace()
1644 (Pdb) list
1645 1 def g(x):
1646 2 print x+3
1647 3 -> import pdb; pdb.set_trace()
1648 [EOF]
1649 (Pdb) print x
1650 6
1651 (Pdb) step
1652 --Return--
1653 > <doctest a[0]>(2)f()->None
1654 -> g(x*2)
1655 (Pdb) list
1656 1 def f(x):
1657 2 -> g(x*2)
1658 [EOF]
1659 (Pdb) print x
1660 3
1661 (Pdb) step
1662 --Return--
1663 > <doctest a[2]>(1)?()->None
1664 -> f(3)
1665 (Pdb) cont
1666 (0, 3)
1667 >>>
1668
1669 .. versionchanged:: 2.4
1670 The ability to use :func:`pdb.set_trace` usefully inside doctests was added.
1671
1672Functions that convert doctests to Python code, and possibly run the synthesized
1673code under the debugger:
1674
1675
1676.. function:: script_from_examples(s)
1677
1678 Convert text with examples to a script.
1679
1680 Argument *s* is a string containing doctest examples. The string is converted
1681 to a Python script, where doctest examples in *s* are converted to regular code,
1682 and everything else is converted to Python comments. The generated script is
1683 returned as a string. For example, ::
1684
1685 import doctest
1686 print doctest.script_from_examples(r"""
1687 Set x and y to 1 and 2.
1688 >>> x, y = 1, 2
1689
1690 Print their sum:
1691 >>> print x+y
1692 3
1693 """)
1694
1695 displays::
1696
1697 # Set x and y to 1 and 2.
1698 x, y = 1, 2
1699 #
1700 # Print their sum:
1701 print x+y
1702 # Expected:
1703 ## 3
1704
1705 This function is used internally by other functions (see below), but can also be
1706 useful when you want to transform an interactive Python session into a Python
1707 script.
1708
1709 .. versionadded:: 2.4
1710
1711
1712.. function:: testsource(module, name)
1713
1714 Convert the doctest for an object to a script.
1715
1716 Argument *module* is a module object, or dotted name of a module, containing the
1717 object whose doctests are of interest. Argument *name* is the name (within the
1718 module) of the object with the doctests of interest. The result is a string,
1719 containing the object's docstring converted to a Python script, as described for
1720 :func:`script_from_examples` above. For example, if module :file:`a.py`
1721 contains a top-level function :func:`f`, then ::
1722
1723 import a, doctest
1724 print doctest.testsource(a, "a.f")
1725
1726 prints a script version of function :func:`f`'s docstring, with doctests
1727 converted to code, and the rest placed in comments.
1728
1729 .. versionadded:: 2.3
1730
1731
1732.. function:: debug(module, name[, pm])
1733
1734 Debug the doctests for an object.
1735
1736 The *module* and *name* arguments are the same as for function
1737 :func:`testsource` above. The synthesized Python script for the named object's
1738 docstring is written to a temporary file, and then that file is run under the
1739 control of the Python debugger, :mod:`pdb`.
1740
1741 A shallow copy of ``module.__dict__`` is used for both local and global
1742 execution context.
1743
1744 Optional argument *pm* controls whether post-mortem debugging is used. If *pm*
1745 has a true value, the script file is run directly, and the debugger gets
1746 involved only if the script terminates via raising an unhandled exception. If
1747 it does, then post-mortem debugging is invoked, via :func:`pdb.post_mortem`,
1748 passing the traceback object from the unhandled exception. If *pm* is not
1749 specified, or is false, the script is run under the debugger from the start, via
1750 passing an appropriate :func:`execfile` call to :func:`pdb.run`.
1751
1752 .. versionadded:: 2.3
1753
1754 .. versionchanged:: 2.4
1755 The *pm* argument was added.
1756
1757
1758.. function:: debug_src(src[, pm][, globs])
1759
1760 Debug the doctests in a string.
1761
1762 This is like function :func:`debug` above, except that a string containing
1763 doctest examples is specified directly, via the *src* argument.
1764
1765 Optional argument *pm* has the same meaning as in function :func:`debug` above.
1766
1767 Optional argument *globs* gives a dictionary to use as both local and global
1768 execution context. If not specified, or ``None``, an empty dictionary is used.
1769 If specified, a shallow copy of the dictionary is used.
1770
1771 .. versionadded:: 2.4
1772
1773The :class:`DebugRunner` class, and the special exceptions it may raise, are of
1774most interest to testing framework authors, and will only be sketched here. See
1775the source code, and especially :class:`DebugRunner`'s docstring (which is a
1776doctest!) for more details:
1777
1778
1779.. class:: DebugRunner([checker][, verbose][, optionflags])
1780
1781 A subclass of :class:`DocTestRunner` that raises an exception as soon as a
1782 failure is encountered. If an unexpected exception occurs, an
1783 :exc:`UnexpectedException` exception is raised, containing the test, the
1784 example, and the original exception. If the output doesn't match, then a
1785 :exc:`DocTestFailure` exception is raised, containing the test, the example, and
1786 the actual output.
1787
1788 For information about the constructor parameters and methods, see the
1789 documentation for :class:`DocTestRunner` in section :ref:`doctest-advanced-api`.
1790
1791There are two exceptions that may be raised by :class:`DebugRunner` instances:
1792
1793
1794.. exception:: DocTestFailure(test, example, got)
1795
Georg Brandl21946af2010-10-06 09:28:45 +00001796 An exception raised by :class:`DocTestRunner` to signal that a doctest example's
Georg Brandl8ec7f652007-08-15 14:28:01 +00001797 actual output did not match its expected output. The constructor arguments are
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001798 used to initialize the attributes of the same names.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001799
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001800:exc:`DocTestFailure` defines the following attributes:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001801
1802
1803.. attribute:: DocTestFailure.test
1804
1805 The :class:`DocTest` object that was being run when the example failed.
1806
1807
1808.. attribute:: DocTestFailure.example
1809
1810 The :class:`Example` that failed.
1811
1812
1813.. attribute:: DocTestFailure.got
1814
1815 The example's actual output.
1816
1817
1818.. exception:: UnexpectedException(test, example, exc_info)
1819
Georg Brandl21946af2010-10-06 09:28:45 +00001820 An exception raised by :class:`DocTestRunner` to signal that a doctest
1821 example raised an unexpected exception. The constructor arguments are used
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001822 to initialize the attributes of the same names.
Georg Brandl8ec7f652007-08-15 14:28:01 +00001823
Senthil Kumaran6f18b982011-07-04 12:50:02 -07001824:exc:`UnexpectedException` defines the following attributes:
Georg Brandl8ec7f652007-08-15 14:28:01 +00001825
1826
1827.. attribute:: UnexpectedException.test
1828
1829 The :class:`DocTest` object that was being run when the example failed.
1830
1831
1832.. attribute:: UnexpectedException.example
1833
1834 The :class:`Example` that failed.
1835
1836
1837.. attribute:: UnexpectedException.exc_info
1838
1839 A tuple containing information about the unexpected exception, as returned by
1840 :func:`sys.exc_info`.
1841
1842
1843.. _doctest-soapbox:
1844
1845Soapbox
1846-------
1847
1848As mentioned in the introduction, :mod:`doctest` has grown to have three primary
1849uses:
1850
1851#. Checking examples in docstrings.
1852
1853#. Regression testing.
1854
1855#. Executable documentation / literate testing.
1856
1857These uses have different requirements, and it is important to distinguish them.
1858In particular, filling your docstrings with obscure test cases makes for bad
1859documentation.
1860
1861When writing a docstring, choose docstring examples with care. There's an art to
1862this that needs to be learned---it may not be natural at first. Examples should
1863add genuine value to the documentation. A good example can often be worth many
1864words. If done with care, the examples will be invaluable for your users, and
1865will pay back the time it takes to collect them many times over as the years go
1866by and things change. I'm still amazed at how often one of my :mod:`doctest`
1867examples stops working after a "harmless" change.
1868
1869Doctest also makes an excellent tool for regression testing, especially if you
1870don't skimp on explanatory text. By interleaving prose and examples, it becomes
1871much easier to keep track of what's actually being tested, and why. When a test
1872fails, good prose can make it much easier to figure out what the problem is, and
1873how it should be fixed. It's true that you could write extensive comments in
1874code-based testing, but few programmers do. Many have found that using doctest
1875approaches instead leads to much clearer tests. Perhaps this is simply because
1876doctest makes writing prose a little easier than writing code, while writing
1877comments in code is a little harder. I think it goes deeper than just that:
1878the natural attitude when writing a doctest-based test is that you want to
1879explain the fine points of your software, and illustrate them with examples.
1880This in turn naturally leads to test files that start with the simplest
1881features, and logically progress to complications and edge cases. A coherent
1882narrative is the result, instead of a collection of isolated functions that test
1883isolated bits of functionality seemingly at random. It's a different attitude,
1884and produces different results, blurring the distinction between testing and
1885explaining.
1886
1887Regression testing is best confined to dedicated objects or files. There are
1888several options for organizing tests:
1889
1890* Write text files containing test cases as interactive examples, and test the
1891 files using :func:`testfile` or :func:`DocFileSuite`. This is recommended,
1892 although is easiest to do for new projects, designed from the start to use
1893 doctest.
1894
1895* Define functions named ``_regrtest_topic`` that consist of single docstrings,
1896 containing test cases for the named topics. These functions can be included in
1897 the same file as the module, or separated out into a separate test file.
1898
1899* Define a ``__test__`` dictionary mapping from regression test topics to
1900 docstrings containing test cases.
1901
1902.. rubric:: Footnotes
1903
1904.. [#] Examples containing both expected output and an exception are not supported.
1905 Trying to guess where one ends and the other begins is too error-prone, and that
1906 also makes for a confusing test.