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