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