blob: 97bc05358f31c5db976a9d79c5bdfee3d8a85bb0 [file] [log] [blame]
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001# Module doctest.
Tim Peters8485b562004-08-04 18:46:34 +00002# Released to the public domain 16-Jan-2001, by Tim Peters (tim@python.org).
Tim Peters19397e52004-08-06 22:02:59 +00003# Major enhancements and refactoring by:
Tim Peters8485b562004-08-04 18:46:34 +00004# Jim Fulton
5# Edward Loper
Tim Peters8a7d2d52001-01-16 07:10:57 +00006
7# Provided as-is; use at your own risk; no warranty; no promises; enjoy!
8
Martin v. Löwis92816de2004-05-31 19:01:00 +00009r"""Module doctest -- a framework for running examples in docstrings.
Tim Peters8a7d2d52001-01-16 07:10:57 +000010
Tim Peters80e53142004-08-09 04:34:45 +000011In simplest use, end each module M to be tested with:
Tim Peters8a7d2d52001-01-16 07:10:57 +000012
13def _test():
Tim Peters80e53142004-08-09 04:34:45 +000014 import doctest
Tim Peters48983fc2004-09-25 02:41:28 +000015 doctest.testmod()
Tim Peters8a7d2d52001-01-16 07:10:57 +000016
17if __name__ == "__main__":
18 _test()
19
20Then running the module as a script will cause the examples in the
21docstrings to get executed and verified:
22
23python M.py
24
25This won't display anything unless an example fails, in which case the
26failing example(s) and the cause(s) of the failure(s) are printed to stdout
27(why not stderr? because stderr is a lame hack <0.2 wink>), and the final
28line of output is "Test failed.".
29
30Run it with the -v switch instead:
31
32python M.py -v
33
34and a detailed report of all examples tried is printed to stdout, along
35with assorted summaries at the end.
36
Tim Peters80e53142004-08-09 04:34:45 +000037You can force verbose mode by passing "verbose=True" to testmod, or prohibit
38it by passing "verbose=False". In either of those cases, sys.argv is not
Tim Peters8a7d2d52001-01-16 07:10:57 +000039examined by testmod.
40
Tim Peters80e53142004-08-09 04:34:45 +000041There are a variety of other ways to run doctests, including integration
42with the unittest framework, and support for running non-Python text
43files containing doctests. There are also many ways to override parts
44of doctest's default behaviors. See the Library Reference Manual for
45details.
Tim Peters8a7d2d52001-01-16 07:10:57 +000046"""
Tim Peters48983fc2004-09-25 02:41:28 +000047
Edward Loper8e4a34b2004-08-12 02:34:27 +000048__docformat__ = 'reStructuredText en'
Tim Peters8a7d2d52001-01-16 07:10:57 +000049
Tim Peters4fd9e2f2001-08-18 00:05:50 +000050__all__ = [
Edward Loperb7503ff2004-08-19 19:19:03 +000051 # 0, Option Flags
52 'register_optionflag',
53 'DONT_ACCEPT_TRUE_FOR_1',
54 'DONT_ACCEPT_BLANKLINE',
55 'NORMALIZE_WHITESPACE',
56 'ELLIPSIS',
Thomas Wouters477c8d52006-05-27 19:21:47 +000057 'SKIP',
Tim Peters1fbf9c52004-09-04 17:21:02 +000058 'IGNORE_EXCEPTION_DETAIL',
Tim Petersba601962004-09-04 15:04:06 +000059 'COMPARISON_FLAGS',
Edward Loper71f55af2004-08-26 01:41:51 +000060 'REPORT_UDIFF',
61 'REPORT_CDIFF',
62 'REPORT_NDIFF',
Jim Fultonf54bad42004-08-28 14:57:56 +000063 'REPORT_ONLY_FIRST_FAILURE',
Tim Petersba601962004-09-04 15:04:06 +000064 'REPORTING_FLAGS',
Edward Loperb7503ff2004-08-19 19:19:03 +000065 # 1. Utility Functions
Edward Loperb7503ff2004-08-19 19:19:03 +000066 # 2. Example & DocTest
Tim Peters8485b562004-08-04 18:46:34 +000067 'Example',
68 'DocTest',
Edward Loperb7503ff2004-08-19 19:19:03 +000069 # 3. Doctest Parser
70 'DocTestParser',
71 # 4. Doctest Finder
Tim Peters8485b562004-08-04 18:46:34 +000072 'DocTestFinder',
Edward Loperb7503ff2004-08-19 19:19:03 +000073 # 5. Doctest Runner
Tim Peters8485b562004-08-04 18:46:34 +000074 'DocTestRunner',
Edward Loperb7503ff2004-08-19 19:19:03 +000075 'OutputChecker',
76 'DocTestFailure',
77 'UnexpectedException',
78 'DebugRunner',
79 # 6. Test Functions
Tim Peters4fd9e2f2001-08-18 00:05:50 +000080 'testmod',
Edward Loper052d0cd2004-09-19 17:19:33 +000081 'testfile',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000082 'run_docstring_examples',
Edward Loperb7503ff2004-08-19 19:19:03 +000083 # 7. Tester
Tim Peters4fd9e2f2001-08-18 00:05:50 +000084 'Tester',
Edward Loperb7503ff2004-08-19 19:19:03 +000085 # 8. Unittest Support
Tim Petersdb3756d2003-06-29 05:30:48 +000086 'DocTestSuite',
Edward Loperb7503ff2004-08-19 19:19:03 +000087 'DocFileSuite',
Tim Peters9d02a7c2004-09-26 01:50:24 +000088 'set_unittest_reportflags',
Edward Loperb7503ff2004-08-19 19:19:03 +000089 # 9. Debugging Support
90 'script_from_examples',
Tim Petersdb3756d2003-06-29 05:30:48 +000091 'testsource',
Edward Loperb7503ff2004-08-19 19:19:03 +000092 'debug_src',
Tim Petersdb3756d2003-06-29 05:30:48 +000093 'debug',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000094]
Tim Peters8a7d2d52001-01-16 07:10:57 +000095
Tim Peters4fd9e2f2001-08-18 00:05:50 +000096import __future__
Tim Peters8a7d2d52001-01-16 07:10:57 +000097
Thomas Wouters0e3f5912006-08-11 14:57:12 +000098import sys, traceback, inspect, linecache, os, re
Jim Fulton356fd192004-08-09 11:34:47 +000099import unittest, difflib, pdb, tempfile
Tim Petersf727c6c2004-08-08 01:48:59 +0000100import warnings
Guido van Rossum34d19282007-08-09 01:03:29 +0000101from io import StringIO
Tim Peters7402f792001-10-02 03:53:41 +0000102
Tim Peters19397e52004-08-06 22:02:59 +0000103# There are 4 basic classes:
104# - Example: a <source, want> pair, plus an intra-docstring line number.
105# - DocTest: a collection of examples, parsed from a docstring, plus
106# info about where the docstring came from (name, filename, lineno).
107# - DocTestFinder: extracts DocTests from a given object's docstring and
108# its contained objects' docstrings.
109# - DocTestRunner: runs DocTest cases, and accumulates statistics.
110#
111# So the basic picture is:
112#
113# list of:
114# +------+ +---------+ +-------+
115# |object| --DocTestFinder-> | DocTest | --DocTestRunner-> |results|
116# +------+ +---------+ +-------+
117# | Example |
118# | ... |
119# | Example |
120# +---------+
121
Edward Loperac20f572004-08-12 02:02:24 +0000122# Option constants.
Tim Peters38330fe2004-08-30 16:19:24 +0000123
Edward Loperac20f572004-08-12 02:02:24 +0000124OPTIONFLAGS_BY_NAME = {}
125def register_optionflag(name):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000126 # Create a new flag unless `name` is already known.
127 return OPTIONFLAGS_BY_NAME.setdefault(name, 1 << len(OPTIONFLAGS_BY_NAME))
Edward Loperac20f572004-08-12 02:02:24 +0000128
129DONT_ACCEPT_TRUE_FOR_1 = register_optionflag('DONT_ACCEPT_TRUE_FOR_1')
130DONT_ACCEPT_BLANKLINE = register_optionflag('DONT_ACCEPT_BLANKLINE')
131NORMALIZE_WHITESPACE = register_optionflag('NORMALIZE_WHITESPACE')
132ELLIPSIS = register_optionflag('ELLIPSIS')
Thomas Wouters477c8d52006-05-27 19:21:47 +0000133SKIP = register_optionflag('SKIP')
Tim Peters1fbf9c52004-09-04 17:21:02 +0000134IGNORE_EXCEPTION_DETAIL = register_optionflag('IGNORE_EXCEPTION_DETAIL')
Tim Peters38330fe2004-08-30 16:19:24 +0000135
136COMPARISON_FLAGS = (DONT_ACCEPT_TRUE_FOR_1 |
137 DONT_ACCEPT_BLANKLINE |
138 NORMALIZE_WHITESPACE |
Tim Peters1fbf9c52004-09-04 17:21:02 +0000139 ELLIPSIS |
Thomas Wouters477c8d52006-05-27 19:21:47 +0000140 SKIP |
Edward Loper7d88a582004-09-28 05:50:57 +0000141 IGNORE_EXCEPTION_DETAIL)
Tim Peters38330fe2004-08-30 16:19:24 +0000142
Edward Loper71f55af2004-08-26 01:41:51 +0000143REPORT_UDIFF = register_optionflag('REPORT_UDIFF')
144REPORT_CDIFF = register_optionflag('REPORT_CDIFF')
145REPORT_NDIFF = register_optionflag('REPORT_NDIFF')
Edward Lopera89f88d2004-08-26 02:45:51 +0000146REPORT_ONLY_FIRST_FAILURE = register_optionflag('REPORT_ONLY_FIRST_FAILURE')
Edward Loperac20f572004-08-12 02:02:24 +0000147
Tim Peters38330fe2004-08-30 16:19:24 +0000148REPORTING_FLAGS = (REPORT_UDIFF |
149 REPORT_CDIFF |
150 REPORT_NDIFF |
151 REPORT_ONLY_FIRST_FAILURE)
152
Edward Loperac20f572004-08-12 02:02:24 +0000153# Special string markers for use in `want` strings:
154BLANKLINE_MARKER = '<BLANKLINE>'
155ELLIPSIS_MARKER = '...'
156
Tim Peters8485b562004-08-04 18:46:34 +0000157######################################################################
158## Table of Contents
159######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000160# 1. Utility Functions
161# 2. Example & DocTest -- store test cases
162# 3. DocTest Parser -- extracts examples from strings
163# 4. DocTest Finder -- extracts test cases from objects
164# 5. DocTest Runner -- runs test cases
165# 6. Test Functions -- convenient wrappers for testing
166# 7. Tester Class -- for backwards compatibility
167# 8. Unittest Support
168# 9. Debugging Support
169# 10. Example Usage
Tim Peters8a7d2d52001-01-16 07:10:57 +0000170
Tim Peters8485b562004-08-04 18:46:34 +0000171######################################################################
172## 1. Utility Functions
173######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +0000174
Tim Peters8485b562004-08-04 18:46:34 +0000175def _extract_future_flags(globs):
176 """
177 Return the compiler-flags associated with the future features that
178 have been imported into the given namespace (globs).
179 """
180 flags = 0
181 for fname in __future__.all_feature_names:
182 feature = globs.get(fname, None)
183 if feature is getattr(__future__, fname):
184 flags |= feature.compiler_flag
185 return flags
Tim Peters7402f792001-10-02 03:53:41 +0000186
Tim Peters8485b562004-08-04 18:46:34 +0000187def _normalize_module(module, depth=2):
188 """
189 Return the module specified by `module`. In particular:
190 - If `module` is a module, then return module.
191 - If `module` is a string, then import and return the
192 module with that name.
193 - If `module` is None, then return the calling module.
194 The calling module is assumed to be the module of
195 the stack frame at the given depth in the call stack.
196 """
197 if inspect.ismodule(module):
198 return module
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000199 elif isinstance(module, str):
Tim Peters8485b562004-08-04 18:46:34 +0000200 return __import__(module, globals(), locals(), ["*"])
201 elif module is None:
202 return sys.modules[sys._getframe(depth).f_globals['__name__']]
203 else:
204 raise TypeError("Expected a module, string, or None")
Tim Peters7402f792001-10-02 03:53:41 +0000205
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000206def _load_testfile(filename, package, module_relative, encoding):
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000207 if module_relative:
208 package = _normalize_module(package, 3)
209 filename = _module_relative_path(package, filename)
210 if hasattr(package, '__loader__'):
211 if hasattr(package.__loader__, 'get_data'):
Brett Cannone9fd2312007-10-12 19:18:19 +0000212 return (package.__loader__.get_data(filename).decode(encoding),
213 filename)
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000214 return open(filename, encoding=encoding).read(), filename
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000215
Edward Loperaacf0832004-08-26 01:19:50 +0000216def _indent(s, indent=4):
Tim Peters8485b562004-08-04 18:46:34 +0000217 """
Edward Loperaacf0832004-08-26 01:19:50 +0000218 Add the given number of space characters to the beginning every
219 non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000220 """
Edward Loperaacf0832004-08-26 01:19:50 +0000221 # This regexp matches the start of non-blank lines:
222 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000223
Edward Loper8e4a34b2004-08-12 02:34:27 +0000224def _exception_traceback(exc_info):
225 """
226 Return a string containing a traceback message for the given
227 exc_info tuple (as returned by sys.exc_info()).
228 """
229 # Get a traceback message.
230 excout = StringIO()
231 exc_type, exc_val, exc_tb = exc_info
232 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
233 return excout.getvalue()
234
Tim Peters8485b562004-08-04 18:46:34 +0000235# Override some StringIO methods.
236class _SpoofOut(StringIO):
237 def getvalue(self):
238 result = StringIO.getvalue(self)
239 # If anything at all was written, make sure there's a trailing
240 # newline. There's no way for the expected output to indicate
241 # that a trailing newline is missing.
242 if result and not result.endswith("\n"):
243 result += "\n"
Tim Peters8485b562004-08-04 18:46:34 +0000244 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000245
Guido van Rossum79139b22007-02-09 23:20:19 +0000246 def truncate(self, size=None):
Tim Peters8485b562004-08-04 18:46:34 +0000247 StringIO.truncate(self, size)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000248
Tim Peters26b3ebb2004-08-19 08:10:08 +0000249# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000250def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000251 """
252 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000253 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000254 False
255 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000256 if ELLIPSIS_MARKER not in want:
257 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000258
Tim Peters26b3ebb2004-08-19 08:10:08 +0000259 # Find "the real" strings.
260 ws = want.split(ELLIPSIS_MARKER)
261 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000262
Tim Petersdc5de3b2004-08-19 14:06:20 +0000263 # Deal with exact matches possibly needed at one or both ends.
264 startpos, endpos = 0, len(got)
265 w = ws[0]
266 if w: # starts with exact match
267 if got.startswith(w):
268 startpos = len(w)
269 del ws[0]
270 else:
271 return False
272 w = ws[-1]
273 if w: # ends with exact match
274 if got.endswith(w):
275 endpos -= len(w)
276 del ws[-1]
277 else:
278 return False
279
280 if startpos > endpos:
281 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000282 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000283 return False
284
285 # For the rest, we only need to find the leftmost non-overlapping
286 # match for each piece. If there's no overall match that way alone,
287 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000288 for w in ws:
289 # w may be '' at times, if there are consecutive ellipses, or
290 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000291 # Search for an empty string succeeds, and doesn't change startpos.
292 startpos = got.find(w, startpos, endpos)
293 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000294 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000295 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000296
Tim Petersdc5de3b2004-08-19 14:06:20 +0000297 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000298
Edward Loper00f8da72004-08-26 18:05:07 +0000299def _comment_line(line):
300 "Return a commented form of the given line"
301 line = line.rstrip()
302 if line:
303 return '# '+line
304 else:
305 return '#'
306
Edward Loper2de91ba2004-08-27 02:07:46 +0000307class _OutputRedirectingPdb(pdb.Pdb):
308 """
309 A specialized version of the python debugger that redirects stdout
310 to a given stream when interacting with the user. Stdout is *not*
311 redirected when traced code is executed.
312 """
313 def __init__(self, out):
314 self.__out = out
Thomas Wouters477c8d52006-05-27 19:21:47 +0000315 pdb.Pdb.__init__(self, stdout=out)
Edward Loper2de91ba2004-08-27 02:07:46 +0000316
317 def trace_dispatch(self, *args):
318 # Redirect stdout to the given stream.
319 save_stdout = sys.stdout
320 sys.stdout = self.__out
321 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000322 try:
323 return pdb.Pdb.trace_dispatch(self, *args)
324 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000325 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000326
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000327# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000328def _module_relative_path(module, path):
329 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000330 raise TypeError('Expected a module: %r' % module)
Edward Loper052d0cd2004-09-19 17:19:33 +0000331 if path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000332 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000333
334 # Find the base directory for the path.
335 if hasattr(module, '__file__'):
336 # A normal module/package
337 basedir = os.path.split(module.__file__)[0]
338 elif module.__name__ == '__main__':
339 # An interactive session.
340 if len(sys.argv)>0 and sys.argv[0] != '':
341 basedir = os.path.split(sys.argv[0])[0]
342 else:
343 basedir = os.curdir
344 else:
345 # A module w/o __file__ (this includes builtins)
346 raise ValueError("Can't resolve paths relative to the module " +
347 module + " (it has no __file__)")
348
349 # Combine the base directory and the path.
350 return os.path.join(basedir, *(path.split('/')))
351
Tim Peters8485b562004-08-04 18:46:34 +0000352######################################################################
353## 2. Example & DocTest
354######################################################################
355## - An "example" is a <source, want> pair, where "source" is a
356## fragment of source code, and "want" is the expected output for
357## "source." The Example class also includes information about
358## where the example was extracted from.
359##
Edward Lopera1ef6112004-08-09 16:14:41 +0000360## - A "doctest" is a collection of examples, typically extracted from
361## a string (such as an object's docstring). The DocTest class also
362## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000363
Tim Peters8485b562004-08-04 18:46:34 +0000364class Example:
365 """
366 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000367 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000368
Edward Loper74bca7a2004-08-12 02:27:44 +0000369 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000370 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000371
Edward Loper74bca7a2004-08-12 02:27:44 +0000372 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000373 from stdout, or a traceback in case of exception). `want` ends
374 with a newline unless it's empty, in which case it's an empty
375 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000376
Edward Lopera6b68322004-08-26 00:05:43 +0000377 - exc_msg: The exception message generated by the example, if
378 the example is expected to generate an exception; or `None` if
379 it is not expected to generate an exception. This exception
380 message is compared against the return value of
381 `traceback.format_exception_only()`. `exc_msg` ends with a
382 newline unless it's `None`. The constructor adds a newline
383 if needed.
384
Edward Loper74bca7a2004-08-12 02:27:44 +0000385 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000386 this Example where the Example begins. This line number is
387 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000388
389 - indent: The example's indentation in the DocTest string.
390 I.e., the number of space characters that preceed the
391 example's first prompt.
392
393 - options: A dictionary mapping from option flags to True or
394 False, which is used to override default options for this
395 example. Any option flags not contained in this dictionary
396 are left at their default value (as specified by the
397 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000398 """
Edward Lopera6b68322004-08-26 00:05:43 +0000399 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
400 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000401 # Normalize inputs.
402 if not source.endswith('\n'):
403 source += '\n'
404 if want and not want.endswith('\n'):
405 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000406 if exc_msg is not None and not exc_msg.endswith('\n'):
407 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000408 # Store properties.
409 self.source = source
410 self.want = want
411 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000412 self.indent = indent
413 if options is None: options = {}
414 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000415 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000416
Tim Peters8485b562004-08-04 18:46:34 +0000417class DocTest:
418 """
419 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000420 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000421
Tim Peters8485b562004-08-04 18:46:34 +0000422 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000423
Tim Peters8485b562004-08-04 18:46:34 +0000424 - globs: The namespace (aka globals) that the examples should
425 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000426
Tim Peters8485b562004-08-04 18:46:34 +0000427 - name: A name identifying the DocTest (typically, the name of
428 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000429
Tim Peters8485b562004-08-04 18:46:34 +0000430 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000431 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000432
Tim Peters8485b562004-08-04 18:46:34 +0000433 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000434 begins, or `None` if the line number is unavailable. This
435 line number is zero-based, with respect to the beginning of
436 the file.
437
438 - docstring: The string that the examples were extracted from,
439 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000440 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000441 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000442 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000443 Create a new DocTest containing the given examples. The
444 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000445 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000446 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000447 "DocTest no longer accepts str; use DocTestParser instead"
448 self.examples = examples
449 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000450 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000451 self.name = name
452 self.filename = filename
453 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000454
455 def __repr__(self):
456 if len(self.examples) == 0:
457 examples = 'no examples'
458 elif len(self.examples) == 1:
459 examples = '1 example'
460 else:
461 examples = '%d examples' % len(self.examples)
462 return ('<DocTest %s from %s:%s (%s)>' %
463 (self.name, self.filename, self.lineno, examples))
464
465
466 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000467 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000468 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000469 return NotImplemented
470 return ((self.name, self.filename, self.lineno, id(self))
471 <
472 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000473
474######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000475## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000476######################################################################
477
Edward Lopera1ef6112004-08-09 16:14:41 +0000478class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000479 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000480 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000481 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000482 # This regular expression is used to find doctest examples in a
483 # string. It defines three groups: `source` is the source code
484 # (including leading indentation and prompts); `indent` is the
485 # indentation of the first (PS1) line of the source code; and
486 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000487 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000488 # Source consists of a PS1 line followed by zero or more PS2 lines.
489 (?P<source>
490 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
491 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
492 \n?
493 # Want consists of any non-blank lines that do not start with PS1.
494 (?P<want> (?:(?![ ]*$) # Not a blank line
495 (?![ ]*>>>) # Not a line starting with PS1
496 .*$\n? # But any other line
497 )*)
498 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000499
Edward Lopera6b68322004-08-26 00:05:43 +0000500 # A regular expression for handling `want` strings that contain
501 # expected exceptions. It divides `want` into three pieces:
502 # - the traceback header line (`hdr`)
503 # - the traceback stack (`stack`)
504 # - the exception message (`msg`), as generated by
505 # traceback.format_exception_only()
506 # `msg` may have multiple lines. We assume/require that the
507 # exception message is the first non-indented line starting with a word
508 # character following the traceback header line.
509 _EXCEPTION_RE = re.compile(r"""
510 # Grab the traceback header. Different versions of Python have
511 # said different things on the first traceback line.
512 ^(?P<hdr> Traceback\ \(
513 (?: most\ recent\ call\ last
514 | innermost\ last
515 ) \) :
516 )
517 \s* $ # toss trailing whitespace on the header.
518 (?P<stack> .*?) # don't blink: absorb stuff until...
519 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
520 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
521
Tim Peters7ea48dd2004-08-13 01:52:59 +0000522 # A callable returning a true value iff its argument is a blank line
523 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000524 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000525
Edward Loper00f8da72004-08-26 18:05:07 +0000526 def parse(self, string, name='<string>'):
527 """
528 Divide the given string into examples and intervening text,
529 and return them as a list of alternating Examples and strings.
530 Line numbers for the Examples are 0-based. The optional
531 argument `name` is a name identifying this string, and is only
532 used for error messages.
533 """
534 string = string.expandtabs()
535 # If all lines begin with the same indentation, then strip it.
536 min_indent = self._min_indent(string)
537 if min_indent > 0:
538 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
539
540 output = []
541 charno, lineno = 0, 0
542 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000543 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000544 # Add the pre-example text to `output`.
545 output.append(string[charno:m.start()])
546 # Update lineno (lines before this example)
547 lineno += string.count('\n', charno, m.start())
548 # Extract info from the regexp match.
549 (source, options, want, exc_msg) = \
550 self._parse_example(m, name, lineno)
551 # Create an Example, and add it to the list.
552 if not self._IS_BLANK_OR_COMMENT(source):
553 output.append( Example(source, want, exc_msg,
554 lineno=lineno,
555 indent=min_indent+len(m.group('indent')),
556 options=options) )
557 # Update lineno (lines inside this example)
558 lineno += string.count('\n', m.start(), m.end())
559 # Update charno.
560 charno = m.end()
561 # Add any remaining post-example text to `output`.
562 output.append(string[charno:])
563 return output
564
Edward Lopera1ef6112004-08-09 16:14:41 +0000565 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000566 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000567 Extract all doctest examples from the given string, and
568 collect them into a `DocTest` object.
569
570 `globs`, `name`, `filename`, and `lineno` are attributes for
571 the new `DocTest` object. See the documentation for `DocTest`
572 for more information.
573 """
574 return DocTest(self.get_examples(string, name), globs,
575 name, filename, lineno, string)
576
577 def get_examples(self, string, name='<string>'):
578 """
579 Extract all doctest examples from the given string, and return
580 them as a list of `Example` objects. Line numbers are
581 0-based, because it's most common in doctests that nothing
582 interesting appears on the same line as opening triple-quote,
583 and so the first interesting line is called \"line 1\" then.
584
585 The optional argument `name` is a name identifying this
586 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000587 """
Edward Loper00f8da72004-08-26 18:05:07 +0000588 return [x for x in self.parse(string, name)
589 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000590
Edward Loper74bca7a2004-08-12 02:27:44 +0000591 def _parse_example(self, m, name, lineno):
592 """
593 Given a regular expression match from `_EXAMPLE_RE` (`m`),
594 return a pair `(source, want)`, where `source` is the matched
595 example's source code (with prompts and indentation stripped);
596 and `want` is the example's expected output (with indentation
597 stripped).
598
599 `name` is the string's name, and `lineno` is the line number
600 where the example starts; both are used for error messages.
601 """
Edward Loper7c748462004-08-09 02:06:06 +0000602 # Get the example's indentation level.
603 indent = len(m.group('indent'))
604
605 # Divide source into lines; check that they're properly
606 # indented; and then strip their indentation & prompts.
607 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000608 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000609 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000610 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000611
Tim Petersc5049152004-08-22 17:34:58 +0000612 # Divide want into lines; check that it's properly indented; and
613 # then strip the indentation. Spaces before the last newline should
614 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000615 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000616 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000617 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
618 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000619 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000620 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000621 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000622
Edward Lopera6b68322004-08-26 00:05:43 +0000623 # If `want` contains a traceback message, then extract it.
624 m = self._EXCEPTION_RE.match(want)
625 if m:
626 exc_msg = m.group('msg')
627 else:
628 exc_msg = None
629
Edward Loper00f8da72004-08-26 18:05:07 +0000630 # Extract options from the source.
631 options = self._find_options(source, name, lineno)
632
633 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000634
Edward Loper74bca7a2004-08-12 02:27:44 +0000635 # This regular expression looks for option directives in the
636 # source code of an example. Option directives are comments
637 # starting with "doctest:". Warning: this may give false
638 # positives for string-literals that contain the string
639 # "#doctest:". Eliminating these false positives would require
640 # actually parsing the string; but we limit them by ignoring any
641 # line containing "#doctest:" that is *followed* by a quote mark.
642 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
643 re.MULTILINE)
644
645 def _find_options(self, source, name, lineno):
646 """
647 Return a dictionary containing option overrides extracted from
648 option directives in the given source string.
649
650 `name` is the string's name, and `lineno` is the line number
651 where the example starts; both are used for error messages.
652 """
653 options = {}
654 # (note: with the current regexp, this will match at most once:)
655 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
656 option_strings = m.group(1).replace(',', ' ').split()
657 for option in option_strings:
658 if (option[0] not in '+-' or
659 option[1:] not in OPTIONFLAGS_BY_NAME):
660 raise ValueError('line %r of the doctest for %s '
661 'has an invalid option: %r' %
662 (lineno+1, name, option))
663 flag = OPTIONFLAGS_BY_NAME[option[1:]]
664 options[flag] = (option[0] == '+')
665 if options and self._IS_BLANK_OR_COMMENT(source):
666 raise ValueError('line %r of the doctest for %s has an option '
667 'directive on a line with no example: %r' %
668 (lineno, name, source))
669 return options
670
Edward Lopera5db6002004-08-12 02:41:30 +0000671 # This regular expression finds the indentation of every non-blank
672 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000673 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000674
675 def _min_indent(self, s):
676 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000677 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
678 if len(indents) > 0:
679 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000680 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000681 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000682
Edward Lopera1ef6112004-08-09 16:14:41 +0000683 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000684 """
685 Given the lines of a source string (including prompts and
686 leading indentation), check to make sure that every prompt is
687 followed by a space character. If any line is not followed by
688 a space character, then raise ValueError.
689 """
Edward Loper7c748462004-08-09 02:06:06 +0000690 for i, line in enumerate(lines):
691 if len(line) >= indent+4 and line[indent+3] != ' ':
692 raise ValueError('line %r of the docstring for %s '
693 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000694 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000695 line[indent:indent+3], line))
696
Edward Lopera1ef6112004-08-09 16:14:41 +0000697 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000698 """
699 Check that every line in the given list starts with the given
700 prefix; if any line does not, then raise a ValueError.
701 """
Edward Loper7c748462004-08-09 02:06:06 +0000702 for i, line in enumerate(lines):
703 if line and not line.startswith(prefix):
704 raise ValueError('line %r of the docstring for %s has '
705 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000706 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000707
708
709######################################################################
710## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000711######################################################################
712
713class DocTestFinder:
714 """
715 A class used to extract the DocTests that are relevant to a given
716 object, from its docstring and the docstrings of its contained
717 objects. Doctests can currently be extracted from the following
718 object types: modules, functions, classes, methods, staticmethods,
719 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000720 """
721
Edward Lopera1ef6112004-08-09 16:14:41 +0000722 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000723 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000724 """
725 Create a new doctest finder.
726
Edward Lopera1ef6112004-08-09 16:14:41 +0000727 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000728 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000729 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000730 signature for this factory function should match the signature
731 of the DocTest constructor.
732
Tim Peters8485b562004-08-04 18:46:34 +0000733 If the optional argument `recurse` is false, then `find` will
734 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000735
Tim Peters958cc892004-09-13 14:53:28 +0000736 If the optional argument `exclude_empty` is false, then `find`
737 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000738 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000739 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000740 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000741 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000742 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000743
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000744 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000745 """
746 Return a list of the DocTests that are defined by the given
747 object's docstring, or by any of its contained objects'
748 docstrings.
749
750 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000751 the given object. If the module is not specified or is None, then
752 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000753 correct module. The object's module is used:
754
755 - As a default namespace, if `globs` is not specified.
756 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000757 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000758 - To find the name of the file containing the object.
759 - To help find the line number of the object within its
760 file.
761
Tim Petersf3f57472004-08-08 06:11:48 +0000762 Contained objects whose module does not match `module` are ignored.
763
764 If `module` is False, no attempt to find the module will be made.
765 This is obscure, of use mostly in tests: if `module` is False, or
766 is None but cannot be found automatically, then all objects are
767 considered to belong to the (non-existent) module, so all contained
768 objects will (recursively) be searched for doctests.
769
Tim Peters8485b562004-08-04 18:46:34 +0000770 The globals for each DocTest is formed by combining `globs`
771 and `extraglobs` (bindings in `extraglobs` override bindings
772 in `globs`). A new copy of the globals dictionary is created
773 for each DocTest. If `globs` is not specified, then it
774 defaults to the module's `__dict__`, if specified, or {}
775 otherwise. If `extraglobs` is not specified, then it defaults
776 to {}.
777
Tim Peters8485b562004-08-04 18:46:34 +0000778 """
779 # If name was not specified, then extract it from the object.
780 if name is None:
781 name = getattr(obj, '__name__', None)
782 if name is None:
783 raise ValueError("DocTestFinder.find: name must be given "
784 "when obj.__name__ doesn't exist: %r" %
785 (type(obj),))
786
787 # Find the module that contains the given object (if obj is
788 # a module, then module=obj.). Note: this may fail, in which
789 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000790 if module is False:
791 module = None
792 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000793 module = inspect.getmodule(obj)
794
795 # Read the module's source code. This is used by
796 # DocTestFinder._find_lineno to find the line number for a
797 # given object's docstring.
798 try:
799 file = inspect.getsourcefile(obj) or inspect.getfile(obj)
800 source_lines = linecache.getlines(file)
801 if not source_lines:
802 source_lines = None
803 except TypeError:
804 source_lines = None
805
806 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000807 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000808 if module is None:
809 globs = {}
810 else:
811 globs = module.__dict__.copy()
812 else:
813 globs = globs.copy()
814 if extraglobs is not None:
815 globs.update(extraglobs)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000816
Tim Peters8485b562004-08-04 18:46:34 +0000817 # Recursively expore `obj`, extracting DocTests.
818 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000819 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000820 # Sort the tests by alpha order of names, for consistency in
821 # verbose-mode output. This was a feature of doctest in Pythons
822 # <= 2.3 that got lost by accident in 2.4. It was repaired in
823 # 2.4.4 and 2.5.
824 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000825 return tests
826
Tim Peters8485b562004-08-04 18:46:34 +0000827 def _from_module(self, module, object):
828 """
829 Return true if the given object is defined in the given
830 module.
831 """
832 if module is None:
833 return True
834 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000835 return module.__dict__ is object.__globals__
Tim Peters8485b562004-08-04 18:46:34 +0000836 elif inspect.isclass(object):
837 return module.__name__ == object.__module__
838 elif inspect.getmodule(object) is not None:
839 return module is inspect.getmodule(object)
840 elif hasattr(object, '__module__'):
841 return module.__name__ == object.__module__
842 elif isinstance(object, property):
843 return True # [XX] no way not be sure.
844 else:
845 raise ValueError("object must be a class or function")
846
Tim Petersf3f57472004-08-08 06:11:48 +0000847 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000848 """
849 Find tests for the given object and any contained objects, and
850 add them to `tests`.
851 """
852 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000853 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000854
855 # If we've already processed this object, then ignore it.
856 if id(obj) in seen:
857 return
858 seen[id(obj)] = 1
859
860 # Find a test for this object, and add it to the list of tests.
861 test = self._get_test(obj, name, module, globs, source_lines)
862 if test is not None:
863 tests.append(test)
864
865 # Look for tests in a module's contained objects.
866 if inspect.ismodule(obj) and self._recurse:
867 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000868 valname = '%s.%s' % (name, valname)
869 # Recurse to functions & classes.
870 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000871 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000872 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000873 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000874
875 # Look for tests in a module's __test__ dictionary.
876 if inspect.ismodule(obj) and self._recurse:
877 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000878 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +0000879 raise ValueError("DocTestFinder.find: __test__ keys "
880 "must be strings: %r" %
881 (type(valname),))
882 if not (inspect.isfunction(val) or inspect.isclass(val) or
883 inspect.ismethod(val) or inspect.ismodule(val) or
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000884 isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +0000885 raise ValueError("DocTestFinder.find: __test__ values "
886 "must be strings, functions, methods, "
887 "classes, or modules: %r" %
888 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000889 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +0000890 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000891 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000892
893 # Look for tests in a class's contained objects.
894 if inspect.isclass(obj) and self._recurse:
895 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000896 # Special handling for staticmethod/classmethod.
897 if isinstance(val, staticmethod):
898 val = getattr(obj, valname)
899 if isinstance(val, classmethod):
900 val = getattr(obj, valname).im_func
901
902 # Recurse to methods, properties, and nested classes.
903 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000904 isinstance(val, property)) and
905 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000906 valname = '%s.%s' % (name, valname)
907 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000908 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000909
910 def _get_test(self, obj, name, module, globs, source_lines):
911 """
912 Return a DocTest for the given object, if it defines a docstring;
913 otherwise, return None.
914 """
915 # Extract the object's docstring. If it doesn't have one,
916 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000917 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +0000918 docstring = obj
919 else:
920 try:
921 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000922 docstring = ''
923 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000924 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000925 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +0000926 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000927 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000928 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000929
930 # Find the docstring's location in the file.
931 lineno = self._find_lineno(obj, source_lines)
932
Edward Loper32ddbf72004-09-13 05:47:24 +0000933 # Don't bother if the docstring is empty.
934 if self._exclude_empty and not docstring:
935 return None
936
Tim Peters8485b562004-08-04 18:46:34 +0000937 # Return a DocTest for this object.
938 if module is None:
939 filename = None
940 else:
941 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000942 if filename[-4:] in (".pyc", ".pyo"):
943 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000944 return self._parser.get_doctest(docstring, globs, name,
945 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000946
947 def _find_lineno(self, obj, source_lines):
948 """
949 Return a line number of the given object's docstring. Note:
950 this method assumes that the object has a docstring.
951 """
952 lineno = None
953
954 # Find the line number for modules.
955 if inspect.ismodule(obj):
956 lineno = 0
957
958 # Find the line number for classes.
959 # Note: this could be fooled if a class is defined multiple
960 # times in a single file.
961 if inspect.isclass(obj):
962 if source_lines is None:
963 return None
964 pat = re.compile(r'^\s*class\s*%s\b' %
965 getattr(obj, '__name__', '-'))
966 for i, line in enumerate(source_lines):
967 if pat.match(line):
968 lineno = i
969 break
970
971 # Find the line number for functions & methods.
972 if inspect.ismethod(obj): obj = obj.im_func
Neal Norwitz221085d2007-02-25 20:55:47 +0000973 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +0000974 if inspect.istraceback(obj): obj = obj.tb_frame
975 if inspect.isframe(obj): obj = obj.f_code
976 if inspect.iscode(obj):
977 lineno = getattr(obj, 'co_firstlineno', None)-1
978
979 # Find the line number where the docstring starts. Assume
980 # that it's the first line that begins with a quote mark.
981 # Note: this could be fooled by a multiline function
982 # signature, where a continuation line begins with a quote
983 # mark.
984 if lineno is not None:
985 if source_lines is None:
986 return lineno+1
987 pat = re.compile('(^|.*:)\s*\w*("|\')')
988 for lineno in range(lineno, len(source_lines)):
989 if pat.match(source_lines[lineno]):
990 return lineno
991
992 # We couldn't find the line number.
993 return None
994
995######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000996## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +0000997######################################################################
998
Tim Peters8485b562004-08-04 18:46:34 +0000999class DocTestRunner:
1000 """
1001 A class used to run DocTest test cases, and accumulate statistics.
1002 The `run` method is used to process a single DocTest case. It
1003 returns a tuple `(f, t)`, where `t` is the number of test cases
1004 tried, and `f` is the number of test cases that failed.
1005
1006 >>> tests = DocTestFinder().find(_TestClass)
1007 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001008 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001009 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001010 ... print(test.name, '->', runner.run(test))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001011 _TestClass -> (0, 2)
1012 _TestClass.__init__ -> (0, 2)
1013 _TestClass.get -> (0, 2)
1014 _TestClass.square -> (0, 1)
Tim Peters8485b562004-08-04 18:46:34 +00001015
1016 The `summarize` method prints a summary of all the test cases that
1017 have been run by the runner, and returns an aggregated `(f, t)`
1018 tuple:
1019
1020 >>> runner.summarize(verbose=1)
1021 4 items passed all tests:
1022 2 tests in _TestClass
1023 2 tests in _TestClass.__init__
1024 2 tests in _TestClass.get
1025 1 tests in _TestClass.square
1026 7 tests in 4 items.
1027 7 passed and 0 failed.
1028 Test passed.
1029 (0, 7)
1030
1031 The aggregated number of tried examples and failed examples is
1032 also available via the `tries` and `failures` attributes:
1033
1034 >>> runner.tries
1035 7
1036 >>> runner.failures
1037 0
1038
1039 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001040 by an `OutputChecker`. This comparison may be customized with a
1041 number of option flags; see the documentation for `testmod` for
1042 more information. If the option flags are insufficient, then the
1043 comparison may also be customized by passing a subclass of
1044 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001045
1046 The test runner's display output can be controlled in two ways.
1047 First, an output function (`out) can be passed to
1048 `TestRunner.run`; this function will be called with strings that
1049 should be displayed. It defaults to `sys.stdout.write`. If
1050 capturing the output is not sufficient, then the display output
1051 can be also customized by subclassing DocTestRunner, and
1052 overriding the methods `report_start`, `report_success`,
1053 `report_unexpected_exception`, and `report_failure`.
1054 """
1055 # This divider string is used to separate failure messages, and to
1056 # separate sections of the summary.
1057 DIVIDER = "*" * 70
1058
Edward Loper34fcb142004-08-09 02:45:41 +00001059 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001060 """
1061 Create a new test runner.
1062
Edward Loper34fcb142004-08-09 02:45:41 +00001063 Optional keyword arg `checker` is the `OutputChecker` that
1064 should be used to compare the expected outputs and actual
1065 outputs of doctest examples.
1066
Tim Peters8485b562004-08-04 18:46:34 +00001067 Optional keyword arg 'verbose' prints lots of stuff if true,
1068 only failures if false; by default, it's true iff '-v' is in
1069 sys.argv.
1070
1071 Optional argument `optionflags` can be used to control how the
1072 test runner compares expected output to actual output, and how
1073 it displays failures. See the documentation for `testmod` for
1074 more information.
1075 """
Edward Loper34fcb142004-08-09 02:45:41 +00001076 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001077 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001078 verbose = '-v' in sys.argv
1079 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001080 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001081 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001082
Tim Peters8485b562004-08-04 18:46:34 +00001083 # Keep track of the examples we've run.
1084 self.tries = 0
1085 self.failures = 0
1086 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001087
Tim Peters8485b562004-08-04 18:46:34 +00001088 # Create a fake output target for capturing doctest output.
1089 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001090
Tim Peters8485b562004-08-04 18:46:34 +00001091 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001092 # Reporting methods
1093 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001094
Tim Peters8485b562004-08-04 18:46:34 +00001095 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001096 """
Tim Peters8485b562004-08-04 18:46:34 +00001097 Report that the test runner is about to process the given
1098 example. (Only displays a message if verbose=True)
1099 """
1100 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001101 if example.want:
1102 out('Trying:\n' + _indent(example.source) +
1103 'Expecting:\n' + _indent(example.want))
1104 else:
1105 out('Trying:\n' + _indent(example.source) +
1106 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001107
Tim Peters8485b562004-08-04 18:46:34 +00001108 def report_success(self, out, test, example, got):
1109 """
1110 Report that the given example ran successfully. (Only
1111 displays a message if verbose=True)
1112 """
1113 if self._verbose:
1114 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001115
Tim Peters8485b562004-08-04 18:46:34 +00001116 def report_failure(self, out, test, example, got):
1117 """
1118 Report that the given example failed.
1119 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001120 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001121 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001122
Tim Peters8485b562004-08-04 18:46:34 +00001123 def report_unexpected_exception(self, out, test, example, exc_info):
1124 """
1125 Report that the given example raised an unexpected exception.
1126 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001127 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001128 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001129
Edward Loper8e4a34b2004-08-12 02:34:27 +00001130 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001131 out = [self.DIVIDER]
1132 if test.filename:
1133 if test.lineno is not None and example.lineno is not None:
1134 lineno = test.lineno + example.lineno + 1
1135 else:
1136 lineno = '?'
1137 out.append('File "%s", line %s, in %s' %
1138 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001139 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001140 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1141 out.append('Failed example:')
1142 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001143 out.append(_indent(source))
1144 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001145
Tim Peters8485b562004-08-04 18:46:34 +00001146 #/////////////////////////////////////////////////////////////////
1147 # DocTest Running
1148 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001149
Tim Peters8485b562004-08-04 18:46:34 +00001150 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001151 """
Tim Peters8485b562004-08-04 18:46:34 +00001152 Run the examples in `test`. Write the outcome of each example
1153 with one of the `DocTestRunner.report_*` methods, using the
1154 writer function `out`. `compileflags` is the set of compiler
1155 flags that should be used to execute examples. Return a tuple
1156 `(f, t)`, where `t` is the number of examples tried, and `f`
1157 is the number of examples that failed. The examples are run
1158 in the namespace `test.globs`.
1159 """
1160 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001161 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001162
1163 # Save the option flags (since option directives can be used
1164 # to modify them).
1165 original_optionflags = self.optionflags
1166
Tim Peters1fbf9c52004-09-04 17:21:02 +00001167 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1168
1169 check = self._checker.check_output
1170
Tim Peters8485b562004-08-04 18:46:34 +00001171 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001172 for examplenum, example in enumerate(test.examples):
1173
Edward Lopera89f88d2004-08-26 02:45:51 +00001174 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1175 # reporting after the first failure.
1176 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1177 failures > 0)
1178
Edward Loper74bca7a2004-08-12 02:27:44 +00001179 # Merge in the example's options.
1180 self.optionflags = original_optionflags
1181 if example.options:
1182 for (optionflag, val) in example.options.items():
1183 if val:
1184 self.optionflags |= optionflag
1185 else:
1186 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001187
Thomas Wouters477c8d52006-05-27 19:21:47 +00001188 # If 'SKIP' is set, then skip this example.
1189 if self.optionflags & SKIP:
1190 continue
1191
Tim Peters8485b562004-08-04 18:46:34 +00001192 # Record that we started this example.
1193 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001194 if not quiet:
1195 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001196
Edward Loper2de91ba2004-08-27 02:07:46 +00001197 # Use a special filename for compile(), so we can retrieve
1198 # the source code during interactive debugging (see
1199 # __patched_linecache_getlines).
1200 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1201
Tim Peters8485b562004-08-04 18:46:34 +00001202 # Run the example in the given context (globs), and record
1203 # any exception that gets raised. (But don't intercept
1204 # keyboard interrupts.)
1205 try:
Tim Peters208ca702004-08-09 04:12:36 +00001206 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001207 exec(compile(example.source, filename, "single",
1208 compileflags, 1), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001209 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001210 exception = None
1211 except KeyboardInterrupt:
1212 raise
1213 except:
1214 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001215 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001216
Tim Peters208ca702004-08-09 04:12:36 +00001217 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001218 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001219 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001220
1221 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001222 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001223 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001224 if check(example.want, got, self.optionflags):
1225 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001226
Tim Peters1fbf9c52004-09-04 17:21:02 +00001227 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001228 else:
1229 exc_info = sys.exc_info()
1230 exc_msg = traceback.format_exception_only(*exc_info[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001231 if not quiet:
1232 got += _exception_traceback(exc_info)
Tim Peters8485b562004-08-04 18:46:34 +00001233
Tim Peters1fbf9c52004-09-04 17:21:02 +00001234 # If `example.exc_msg` is None, then we weren't expecting
1235 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001236 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001237 outcome = BOOM
1238
1239 # We expected an exception: see whether it matches.
1240 elif check(example.exc_msg, exc_msg, self.optionflags):
1241 outcome = SUCCESS
1242
1243 # Another chance if they didn't care about the detail.
1244 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1245 m1 = re.match(r'[^:]*:', example.exc_msg)
1246 m2 = re.match(r'[^:]*:', exc_msg)
1247 if m1 and m2 and check(m1.group(0), m2.group(0),
1248 self.optionflags):
1249 outcome = SUCCESS
1250
1251 # Report the outcome.
1252 if outcome is SUCCESS:
1253 if not quiet:
1254 self.report_success(out, test, example, got)
1255 elif outcome is FAILURE:
1256 if not quiet:
1257 self.report_failure(out, test, example, got)
1258 failures += 1
1259 elif outcome is BOOM:
1260 if not quiet:
1261 self.report_unexpected_exception(out, test, example,
1262 exc_info)
1263 failures += 1
1264 else:
1265 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001266
1267 # Restore the option flags (in case they were modified)
1268 self.optionflags = original_optionflags
1269
1270 # Record and return the number of failures and tries.
1271 self.__record_outcome(test, failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001272 return failures, tries
1273
Tim Peters8485b562004-08-04 18:46:34 +00001274 def __record_outcome(self, test, f, t):
1275 """
1276 Record the fact that the given DocTest (`test`) generated `f`
1277 failures out of `t` tried examples.
1278 """
1279 f2, t2 = self._name2ft.get(test.name, (0,0))
1280 self._name2ft[test.name] = (f+f2, t+t2)
1281 self.failures += f
1282 self.tries += t
1283
Edward Loper2de91ba2004-08-27 02:07:46 +00001284 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1285 r'(?P<name>[\w\.]+)'
1286 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001287 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001288 m = self.__LINECACHE_FILENAME_RE.match(filename)
1289 if m and m.group('name') == self.test.name:
1290 example = self.test.examples[int(m.group('examplenum'))]
1291 return example.source.splitlines(True)
1292 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001293 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001294
Tim Peters8485b562004-08-04 18:46:34 +00001295 def run(self, test, compileflags=None, out=None, clear_globs=True):
1296 """
1297 Run the examples in `test`, and display the results using the
1298 writer function `out`.
1299
1300 The examples are run in the namespace `test.globs`. If
1301 `clear_globs` is true (the default), then this namespace will
1302 be cleared after the test runs, to help with garbage
1303 collection. If you would like to examine the namespace after
1304 the test completes, then use `clear_globs=False`.
1305
1306 `compileflags` gives the set of flags that should be used by
1307 the Python compiler when running the examples. If not
1308 specified, then it will default to the set of future-import
1309 flags that apply to `globs`.
1310
1311 The output of each example is checked using
1312 `DocTestRunner.check_output`, and the results are formatted by
1313 the `DocTestRunner.report_*` methods.
1314 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001315 self.test = test
1316
Tim Peters8485b562004-08-04 18:46:34 +00001317 if compileflags is None:
1318 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001319
Tim Peters6c542b72004-08-09 16:43:36 +00001320 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001321 if out is None:
Tim Peters6c542b72004-08-09 16:43:36 +00001322 out = save_stdout.write
1323 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001324
Edward Loper2de91ba2004-08-27 02:07:46 +00001325 # Patch pdb.set_trace to restore sys.stdout during interactive
1326 # debugging (so it's not still redirected to self._fakeout).
1327 # Note that the interactive output will go to *our*
1328 # save_stdout, even if that's not the real sys.stdout; this
1329 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001330 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001331 self.debugger = _OutputRedirectingPdb(save_stdout)
1332 self.debugger.reset()
1333 pdb.set_trace = self.debugger.set_trace
1334
1335 # Patch linecache.getlines, so we can see the example's source
1336 # when we're inside the debugger.
1337 self.save_linecache_getlines = linecache.getlines
1338 linecache.getlines = self.__patched_linecache_getlines
1339
Tim Peters8485b562004-08-04 18:46:34 +00001340 try:
Tim Peters8485b562004-08-04 18:46:34 +00001341 return self.__run(test, compileflags, out)
1342 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001343 sys.stdout = save_stdout
1344 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001345 linecache.getlines = self.save_linecache_getlines
Tim Peters8485b562004-08-04 18:46:34 +00001346 if clear_globs:
1347 test.globs.clear()
1348
1349 #/////////////////////////////////////////////////////////////////
1350 # Summarization
1351 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001352 def summarize(self, verbose=None):
1353 """
Tim Peters8485b562004-08-04 18:46:34 +00001354 Print a summary of all the test cases that have been run by
1355 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1356 the total number of failed examples, and `t` is the total
1357 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001358
Tim Peters8485b562004-08-04 18:46:34 +00001359 The optional `verbose` argument controls how detailed the
1360 summary is. If the verbosity is not specified, then the
1361 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001362 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001363 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001364 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001365 notests = []
1366 passed = []
1367 failed = []
1368 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001369 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001370 name, (f, t) = x
1371 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001372 totalt += t
1373 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001374 if t == 0:
1375 notests.append(name)
1376 elif f == 0:
1377 passed.append( (name, t) )
1378 else:
1379 failed.append(x)
1380 if verbose:
1381 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001382 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001383 notests.sort()
1384 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001385 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001386 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001387 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001388 passed.sort()
1389 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001390 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001391 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001392 print(self.DIVIDER)
1393 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001394 failed.sort()
1395 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001396 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001397 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001398 print(totalt, "tests in", len(self._name2ft), "items.")
1399 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001400 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001401 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001402 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001403 print("Test passed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001404 return totalf, totalt
1405
Tim Peters82076ef2004-09-13 00:52:51 +00001406 #/////////////////////////////////////////////////////////////////
1407 # Backward compatibility cruft to maintain doctest.master.
1408 #/////////////////////////////////////////////////////////////////
1409 def merge(self, other):
1410 d = self._name2ft
1411 for name, (f, t) in other._name2ft.items():
1412 if name in d:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001413 print("*** DocTestRunner.merge: '" + name + "' in both" \
1414 " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001415 f2, t2 = d[name]
1416 f = f + f2
1417 t = t + t2
1418 d[name] = f, t
1419
Edward Loper34fcb142004-08-09 02:45:41 +00001420class OutputChecker:
1421 """
1422 A class used to check the whether the actual output from a doctest
1423 example matches the expected output. `OutputChecker` defines two
1424 methods: `check_output`, which compares a given pair of outputs,
1425 and returns true if they match; and `output_difference`, which
1426 returns a string describing the differences between two outputs.
1427 """
1428 def check_output(self, want, got, optionflags):
1429 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001430 Return True iff the actual output from an example (`got`)
1431 matches the expected output (`want`). These strings are
1432 always considered to match if they are identical; but
1433 depending on what option flags the test runner is using,
1434 several non-exact match types are also possible. See the
1435 documentation for `TestRunner` for more information about
1436 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001437 """
1438 # Handle the common case first, for efficiency:
1439 # if they're string-identical, always return true.
1440 if got == want:
1441 return True
1442
1443 # The values True and False replaced 1 and 0 as the return
1444 # value for boolean comparisons in Python 2.3.
1445 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1446 if (got,want) == ("True\n", "1\n"):
1447 return True
1448 if (got,want) == ("False\n", "0\n"):
1449 return True
1450
1451 # <BLANKLINE> can be used as a special sequence to signify a
1452 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1453 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1454 # Replace <BLANKLINE> in want with a blank line.
1455 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1456 '', want)
1457 # If a line in got contains only spaces, then remove the
1458 # spaces.
1459 got = re.sub('(?m)^\s*?$', '', got)
1460 if got == want:
1461 return True
1462
1463 # This flag causes doctest to ignore any differences in the
1464 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001465 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001466 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001467 got = ' '.join(got.split())
1468 want = ' '.join(want.split())
1469 if got == want:
1470 return True
1471
1472 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001473 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001474 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001475 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001476 return True
1477
1478 # We didn't find any match; return false.
1479 return False
1480
Tim Petersc6cbab02004-08-22 19:43:28 +00001481 # Should we do a fancy diff?
1482 def _do_a_fancy_diff(self, want, got, optionflags):
1483 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001484 if not optionflags & (REPORT_UDIFF |
1485 REPORT_CDIFF |
1486 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001487 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001488
Tim Petersc6cbab02004-08-22 19:43:28 +00001489 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001490 # too hard ... or maybe not. In two real-life failures Tim saw,
1491 # a diff was a major help anyway, so this is commented out.
1492 # [todo] _ellipsis_match() knows which pieces do and don't match,
1493 # and could be the basis for a kick-ass diff in this case.
1494 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1495 ## return False
1496
Tim Petersc6cbab02004-08-22 19:43:28 +00001497 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001498 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001499 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001500 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001501
Tim Petersc6cbab02004-08-22 19:43:28 +00001502 # The other diff types need at least a few lines to be helpful.
1503 return want.count('\n') > 2 and got.count('\n') > 2
1504
Edward Loperca9111e2004-08-26 03:00:24 +00001505 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001506 """
1507 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001508 expected output for a given example (`example`) and the actual
1509 output (`got`). `optionflags` is the set of option flags used
1510 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001511 """
Edward Loperca9111e2004-08-26 03:00:24 +00001512 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001513 # If <BLANKLINE>s are being used, then replace blank lines
1514 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001515 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001516 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001517
Tim Peters5b799c12004-08-26 05:21:59 +00001518 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001519 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001520 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001521 want_lines = want.splitlines(True) # True == keep line ends
1522 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001523 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001524 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001525 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1526 diff = list(diff)[2:] # strip the diff header
1527 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001528 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001529 diff = difflib.context_diff(want_lines, got_lines, n=2)
1530 diff = list(diff)[2:] # strip the diff header
1531 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001532 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001533 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1534 diff = list(engine.compare(want_lines, got_lines))
1535 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001536 else:
1537 assert 0, 'Bad diff option'
1538 # Remove trailing whitespace on diff output.
1539 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001540 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001541
1542 # If we're not using diff, then simply list the expected
1543 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001544 if want and got:
1545 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1546 elif want:
1547 return 'Expected:\n%sGot nothing\n' % _indent(want)
1548 elif got:
1549 return 'Expected nothing\nGot:\n%s' % _indent(got)
1550 else:
1551 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001552
Tim Peters19397e52004-08-06 22:02:59 +00001553class DocTestFailure(Exception):
1554 """A DocTest example has failed in debugging mode.
1555
1556 The exception instance has variables:
1557
1558 - test: the DocTest object being run
1559
Neal Norwitzc082cb72006-08-29 05:40:08 +00001560 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001561
1562 - got: the actual output
1563 """
1564 def __init__(self, test, example, got):
1565 self.test = test
1566 self.example = example
1567 self.got = got
1568
1569 def __str__(self):
1570 return str(self.test)
1571
1572class UnexpectedException(Exception):
1573 """A DocTest example has encountered an unexpected exception
1574
1575 The exception instance has variables:
1576
1577 - test: the DocTest object being run
1578
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001579 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001580
1581 - exc_info: the exception info
1582 """
1583 def __init__(self, test, example, exc_info):
1584 self.test = test
1585 self.example = example
1586 self.exc_info = exc_info
1587
1588 def __str__(self):
1589 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001590
Tim Peters19397e52004-08-06 22:02:59 +00001591class DebugRunner(DocTestRunner):
1592 r"""Run doc tests but raise an exception as soon as there is a failure.
1593
1594 If an unexpected exception occurs, an UnexpectedException is raised.
1595 It contains the test, the example, and the original exception:
1596
1597 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001598 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1599 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001600 >>> try:
1601 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001602 ... except UnexpectedException as f:
1603 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001604
1605 >>> failure.test is test
1606 True
1607
1608 >>> failure.example.want
1609 '42\n'
1610
1611 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001612 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001613 Traceback (most recent call last):
1614 ...
1615 KeyError
1616
1617 We wrap the original exception to give the calling application
1618 access to the test and example information.
1619
1620 If the output doesn't match, then a DocTestFailure is raised:
1621
Edward Lopera1ef6112004-08-09 16:14:41 +00001622 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001623 ... >>> x = 1
1624 ... >>> x
1625 ... 2
1626 ... ''', {}, 'foo', 'foo.py', 0)
1627
1628 >>> try:
1629 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001630 ... except DocTestFailure as f:
1631 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001632
1633 DocTestFailure objects provide access to the test:
1634
1635 >>> failure.test is test
1636 True
1637
1638 As well as to the example:
1639
1640 >>> failure.example.want
1641 '2\n'
1642
1643 and the actual output:
1644
1645 >>> failure.got
1646 '1\n'
1647
1648 If a failure or error occurs, the globals are left intact:
1649
1650 >>> del test.globs['__builtins__']
1651 >>> test.globs
1652 {'x': 1}
1653
Edward Lopera1ef6112004-08-09 16:14:41 +00001654 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001655 ... >>> x = 2
1656 ... >>> raise KeyError
1657 ... ''', {}, 'foo', 'foo.py', 0)
1658
1659 >>> runner.run(test)
1660 Traceback (most recent call last):
1661 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001662 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001663
Tim Peters19397e52004-08-06 22:02:59 +00001664 >>> del test.globs['__builtins__']
1665 >>> test.globs
1666 {'x': 2}
1667
1668 But the globals are cleared if there is no error:
1669
Edward Lopera1ef6112004-08-09 16:14:41 +00001670 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001671 ... >>> x = 2
1672 ... ''', {}, 'foo', 'foo.py', 0)
1673
1674 >>> runner.run(test)
1675 (0, 1)
1676
1677 >>> test.globs
1678 {}
1679
1680 """
1681
1682 def run(self, test, compileflags=None, out=None, clear_globs=True):
1683 r = DocTestRunner.run(self, test, compileflags, out, False)
1684 if clear_globs:
1685 test.globs.clear()
1686 return r
1687
1688 def report_unexpected_exception(self, out, test, example, exc_info):
1689 raise UnexpectedException(test, example, exc_info)
1690
1691 def report_failure(self, out, test, example, got):
1692 raise DocTestFailure(test, example, got)
1693
Tim Peters8485b562004-08-04 18:46:34 +00001694######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001695## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001696######################################################################
1697# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001698
Tim Peters82076ef2004-09-13 00:52:51 +00001699# For backward compatibility, a global instance of a DocTestRunner
1700# class, updated by testmod.
1701master = None
1702
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001703def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001704 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001705 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001706 """m=None, name=None, globs=None, verbose=None, report=True,
1707 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001708 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001709
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001710 Test examples in docstrings in functions and classes reachable
1711 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001712 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001713
1714 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001715 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001716 function and class docstrings are tested even if the name is private;
1717 strings are tested directly, as if they were docstrings.
1718
1719 Return (#failures, #tests).
1720
1721 See doctest.__doc__ for an overview.
1722
1723 Optional keyword arg "name" gives the name of the module; by default
1724 use m.__name__.
1725
1726 Optional keyword arg "globs" gives a dict to be used as the globals
1727 when executing examples; by default, use m.__dict__. A copy of this
1728 dict is actually used for each docstring, so that each docstring's
1729 examples start with a clean slate.
1730
Tim Peters8485b562004-08-04 18:46:34 +00001731 Optional keyword arg "extraglobs" gives a dictionary that should be
1732 merged into the globals that are used to execute examples. By
1733 default, no extra globals are used. This is new in 2.4.
1734
Tim Peters8a7d2d52001-01-16 07:10:57 +00001735 Optional keyword arg "verbose" prints lots of stuff if true, prints
1736 only failures if false; by default, it's true iff "-v" is in sys.argv.
1737
Tim Peters8a7d2d52001-01-16 07:10:57 +00001738 Optional keyword arg "report" prints a summary at the end when true,
1739 else prints nothing at the end. In verbose mode, the summary is
1740 detailed, else very brief (in fact, empty if all tests passed).
1741
Tim Peters6ebe61f2003-06-27 20:48:05 +00001742 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001743 and defaults to 0. This is new in 2.3. Possible values (see the
1744 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001745
1746 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001747 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001748 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001749 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001750 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001751 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001752 REPORT_UDIFF
1753 REPORT_CDIFF
1754 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001755 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001756
1757 Optional keyword arg "raise_on_error" raises an exception on the
1758 first unexpected exception or failure. This allows failures to be
1759 post-mortem debugged.
1760
Tim Peters8a7d2d52001-01-16 07:10:57 +00001761 Advanced tomfoolery: testmod runs methods of a local instance of
1762 class doctest.Tester, then merges the results into (or creates)
1763 global Tester instance doctest.master. Methods of doctest.master
1764 can be called directly too, if you want to do something unusual.
1765 Passing report=0 to testmod is especially useful then, to delay
1766 displaying a summary. Invoke doctest.master.summarize(verbose)
1767 when you're done fiddling.
1768 """
Tim Peters82076ef2004-09-13 00:52:51 +00001769 global master
1770
Tim Peters8485b562004-08-04 18:46:34 +00001771 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001772 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001773 # DWA - m will still be None if this wasn't invoked from the command
1774 # line, in which case the following TypeError is about as good an error
1775 # as we should expect
1776 m = sys.modules.get('__main__')
1777
Tim Peters8485b562004-08-04 18:46:34 +00001778 # Check that we were actually given a module.
1779 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001780 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001781
1782 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001783 if name is None:
1784 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001785
1786 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001787 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001788
1789 if raise_on_error:
1790 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1791 else:
1792 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1793
Tim Peters8485b562004-08-04 18:46:34 +00001794 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1795 runner.run(test)
1796
Tim Peters8a7d2d52001-01-16 07:10:57 +00001797 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001798 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001799
Tim Peters82076ef2004-09-13 00:52:51 +00001800 if master is None:
1801 master = runner
1802 else:
1803 master.merge(runner)
1804
Tim Peters8485b562004-08-04 18:46:34 +00001805 return runner.failures, runner.tries
Tim Petersdb3756d2003-06-29 05:30:48 +00001806
Edward Loper052d0cd2004-09-19 17:19:33 +00001807def testfile(filename, module_relative=True, name=None, package=None,
1808 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001809 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1810 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001811 """
1812 Test examples in the given file. Return (#failures, #tests).
1813
1814 Optional keyword arg "module_relative" specifies how filenames
1815 should be interpreted:
1816
1817 - If "module_relative" is True (the default), then "filename"
1818 specifies a module-relative path. By default, this path is
1819 relative to the calling module's directory; but if the
1820 "package" argument is specified, then it is relative to that
1821 package. To ensure os-independence, "filename" should use
1822 "/" characters to separate path segments, and should not
1823 be an absolute path (i.e., it may not begin with "/").
1824
1825 - If "module_relative" is False, then "filename" specifies an
1826 os-specific path. The path may be absolute or relative (to
1827 the current working directory).
1828
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001829 Optional keyword arg "name" gives the name of the test; by default
1830 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001831
1832 Optional keyword argument "package" is a Python package or the
1833 name of a Python package whose directory should be used as the
1834 base directory for a module relative filename. If no package is
1835 specified, then the calling module's directory is used as the base
1836 directory for module relative filenames. It is an error to
1837 specify "package" if "module_relative" is False.
1838
1839 Optional keyword arg "globs" gives a dict to be used as the globals
1840 when executing examples; by default, use {}. A copy of this dict
1841 is actually used for each docstring, so that each docstring's
1842 examples start with a clean slate.
1843
1844 Optional keyword arg "extraglobs" gives a dictionary that should be
1845 merged into the globals that are used to execute examples. By
1846 default, no extra globals are used.
1847
1848 Optional keyword arg "verbose" prints lots of stuff if true, prints
1849 only failures if false; by default, it's true iff "-v" is in sys.argv.
1850
1851 Optional keyword arg "report" prints a summary at the end when true,
1852 else prints nothing at the end. In verbose mode, the summary is
1853 detailed, else very brief (in fact, empty if all tests passed).
1854
1855 Optional keyword arg "optionflags" or's together module constants,
1856 and defaults to 0. Possible values (see the docs for details):
1857
1858 DONT_ACCEPT_TRUE_FOR_1
1859 DONT_ACCEPT_BLANKLINE
1860 NORMALIZE_WHITESPACE
1861 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001862 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001863 IGNORE_EXCEPTION_DETAIL
1864 REPORT_UDIFF
1865 REPORT_CDIFF
1866 REPORT_NDIFF
1867 REPORT_ONLY_FIRST_FAILURE
1868
1869 Optional keyword arg "raise_on_error" raises an exception on the
1870 first unexpected exception or failure. This allows failures to be
1871 post-mortem debugged.
1872
Edward Loper498a1862004-09-27 03:42:58 +00001873 Optional keyword arg "parser" specifies a DocTestParser (or
1874 subclass) that should be used to extract tests from the files.
1875
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001876 Optional keyword arg "encoding" specifies an encoding that should
1877 be used to convert the file to unicode.
1878
Edward Loper052d0cd2004-09-19 17:19:33 +00001879 Advanced tomfoolery: testmod runs methods of a local instance of
1880 class doctest.Tester, then merges the results into (or creates)
1881 global Tester instance doctest.master. Methods of doctest.master
1882 can be called directly too, if you want to do something unusual.
1883 Passing report=0 to testmod is especially useful then, to delay
1884 displaying a summary. Invoke doctest.master.summarize(verbose)
1885 when you're done fiddling.
1886 """
1887 global master
1888
1889 if package and not module_relative:
1890 raise ValueError("Package may only be specified for module-"
1891 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001892
Edward Loper052d0cd2004-09-19 17:19:33 +00001893 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00001894 text, filename = _load_testfile(filename, package, module_relative,
1895 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00001896
1897 # If no name was given, then use the file's name.
1898 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001899 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001900
1901 # Assemble the globals.
1902 if globs is None:
1903 globs = {}
1904 else:
1905 globs = globs.copy()
1906 if extraglobs is not None:
1907 globs.update(extraglobs)
1908
1909 if raise_on_error:
1910 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1911 else:
1912 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1913
1914 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001915 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001916 runner.run(test)
1917
1918 if report:
1919 runner.summarize()
1920
1921 if master is None:
1922 master = runner
1923 else:
1924 master.merge(runner)
1925
1926 return runner.failures, runner.tries
1927
Tim Peters8485b562004-08-04 18:46:34 +00001928def run_docstring_examples(f, globs, verbose=False, name="NoName",
1929 compileflags=None, optionflags=0):
1930 """
1931 Test examples in the given object's docstring (`f`), using `globs`
1932 as globals. Optional argument `name` is used in failure messages.
1933 If the optional argument `verbose` is true, then generate output
1934 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00001935
Tim Peters8485b562004-08-04 18:46:34 +00001936 `compileflags` gives the set of flags that should be used by the
1937 Python compiler when running the examples. If not specified, then
1938 it will default to the set of future-import flags that apply to
1939 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00001940
Tim Peters8485b562004-08-04 18:46:34 +00001941 Optional keyword arg `optionflags` specifies options for the
1942 testing and output. See the documentation for `testmod` for more
1943 information.
1944 """
1945 # Find, parse, and run all tests in the given module.
1946 finder = DocTestFinder(verbose=verbose, recurse=False)
1947 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1948 for test in finder.find(f, name, globs=globs):
1949 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001950
Tim Peters8485b562004-08-04 18:46:34 +00001951######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001952## 7. Tester
Tim Peters8485b562004-08-04 18:46:34 +00001953######################################################################
1954# This is provided only for backwards compatibility. It's not
1955# actually used in any way.
Tim Petersdb3756d2003-06-29 05:30:48 +00001956
Tim Peters8485b562004-08-04 18:46:34 +00001957class Tester:
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001958 def __init__(self, mod=None, globs=None, verbose=None, optionflags=0):
Tim Peters3ddd60a2004-08-08 02:43:33 +00001959
1960 warnings.warn("class Tester is deprecated; "
1961 "use class doctest.DocTestRunner instead",
1962 DeprecationWarning, stacklevel=2)
Tim Peters8485b562004-08-04 18:46:34 +00001963 if mod is None and globs is None:
1964 raise TypeError("Tester.__init__: must specify mod or globs")
Tim Peters4be7a922004-09-12 22:39:46 +00001965 if mod is not None and not inspect.ismodule(mod):
Tim Peters8485b562004-08-04 18:46:34 +00001966 raise TypeError("Tester.__init__: mod must be a module; %r" %
1967 (mod,))
1968 if globs is None:
1969 globs = mod.__dict__
1970 self.globs = globs
Tim Petersdb3756d2003-06-29 05:30:48 +00001971
Tim Peters8485b562004-08-04 18:46:34 +00001972 self.verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +00001973 self.optionflags = optionflags
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001974 self.testfinder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00001975 self.testrunner = DocTestRunner(verbose=verbose,
1976 optionflags=optionflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001977
Tim Peters8485b562004-08-04 18:46:34 +00001978 def runstring(self, s, name):
Edward Lopera1ef6112004-08-09 16:14:41 +00001979 test = DocTestParser().get_doctest(s, self.globs, name, None, None)
Tim Peters8485b562004-08-04 18:46:34 +00001980 if self.verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001981 print("Running string", name)
Tim Peters8485b562004-08-04 18:46:34 +00001982 (f,t) = self.testrunner.run(test)
1983 if self.verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001984 print(f, "of", t, "examples failed in string", name)
Tim Peters8485b562004-08-04 18:46:34 +00001985 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00001986
Tim Petersf3f57472004-08-08 06:11:48 +00001987 def rundoc(self, object, name=None, module=None):
Tim Peters8485b562004-08-04 18:46:34 +00001988 f = t = 0
1989 tests = self.testfinder.find(object, name, module=module,
Tim Petersf3f57472004-08-08 06:11:48 +00001990 globs=self.globs)
Tim Peters8485b562004-08-04 18:46:34 +00001991 for test in tests:
1992 (f2, t2) = self.testrunner.run(test)
1993 (f,t) = (f+f2, t+t2)
1994 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00001995
Tim Peters8485b562004-08-04 18:46:34 +00001996 def rundict(self, d, name, module=None):
1997 import new
1998 m = new.module(name)
1999 m.__dict__.update(d)
Tim Petersf3f57472004-08-08 06:11:48 +00002000 if module is None:
2001 module = False
2002 return self.rundoc(m, name, module)
Tim Petersdb3756d2003-06-29 05:30:48 +00002003
Tim Peters8485b562004-08-04 18:46:34 +00002004 def run__test__(self, d, name):
2005 import new
2006 m = new.module(name)
2007 m.__test__ = d
Tim Peters9661f9a2004-09-12 22:45:17 +00002008 return self.rundoc(m, name)
Tim Petersdb3756d2003-06-29 05:30:48 +00002009
Tim Peters8485b562004-08-04 18:46:34 +00002010 def summarize(self, verbose=None):
2011 return self.testrunner.summarize(verbose)
Tim Petersdb3756d2003-06-29 05:30:48 +00002012
Tim Peters8485b562004-08-04 18:46:34 +00002013 def merge(self, other):
Tim Peters82076ef2004-09-13 00:52:51 +00002014 self.testrunner.merge(other.testrunner)
Tim Petersdb3756d2003-06-29 05:30:48 +00002015
Tim Peters8485b562004-08-04 18:46:34 +00002016######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002017## 8. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002018######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002019
Jim Fultonf54bad42004-08-28 14:57:56 +00002020_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002021
Jim Fultonf54bad42004-08-28 14:57:56 +00002022def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002023 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002024
2025 The old flag is returned so that a runner could restore the old
2026 value if it wished to:
2027
Tim Petersb7e99b62005-03-28 23:50:54 +00002028 >>> import doctest
2029 >>> old = doctest._unittest_reportflags
2030 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002031 ... REPORT_ONLY_FIRST_FAILURE) == old
2032 True
2033
Jim Fultonf54bad42004-08-28 14:57:56 +00002034 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2035 ... REPORT_ONLY_FIRST_FAILURE)
2036 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002037
Jim Fultonf54bad42004-08-28 14:57:56 +00002038 Only reporting flags can be set:
2039
Tim Petersb7e99b62005-03-28 23:50:54 +00002040 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002041 Traceback (most recent call last):
2042 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002043 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002044
Tim Petersb7e99b62005-03-28 23:50:54 +00002045 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002046 ... REPORT_ONLY_FIRST_FAILURE)
2047 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002048 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002049 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002050
2051 if (flags & REPORTING_FLAGS) != flags:
2052 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002053 old = _unittest_reportflags
2054 _unittest_reportflags = flags
2055 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002056
Jim Fultonf54bad42004-08-28 14:57:56 +00002057
Tim Peters19397e52004-08-06 22:02:59 +00002058class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002059
Edward Loper34fcb142004-08-09 02:45:41 +00002060 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2061 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002062
Jim Fultona643b652004-07-14 19:06:50 +00002063 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002064 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002065 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002066 self._dt_test = test
2067 self._dt_setUp = setUp
2068 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002069
Jim Fultona643b652004-07-14 19:06:50 +00002070 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002071 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002072
Tim Peters19397e52004-08-06 22:02:59 +00002073 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002074 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002075
2076 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002077 test = self._dt_test
2078
Tim Peters19397e52004-08-06 22:02:59 +00002079 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002080 self._dt_tearDown(test)
2081
2082 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002083
2084 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002085 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002086 old = sys.stdout
2087 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002088 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002089
Tim Peters38330fe2004-08-30 16:19:24 +00002090 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002091 # The option flags don't include any reporting flags,
2092 # so add the default reporting flags
2093 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002094
Jim Fultonf54bad42004-08-28 14:57:56 +00002095 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002096 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002097
Jim Fultona643b652004-07-14 19:06:50 +00002098 try:
Tim Peters19397e52004-08-06 22:02:59 +00002099 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002100 failures, tries = runner.run(
2101 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002102 finally:
2103 sys.stdout = old
2104
2105 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002106 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002107
Tim Peters19397e52004-08-06 22:02:59 +00002108 def format_failure(self, err):
2109 test = self._dt_test
2110 if test.lineno is None:
2111 lineno = 'unknown line number'
2112 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002113 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002114 lname = '.'.join(test.name.split('.')[-1:])
2115 return ('Failed doctest test for %s\n'
2116 ' File "%s", line %s, in %s\n\n%s'
2117 % (test.name, test.filename, lineno, lname, err)
2118 )
2119
2120 def debug(self):
2121 r"""Run the test case without results and without catching exceptions
2122
2123 The unit test framework includes a debug method on test cases
2124 and test suites to support post-mortem debugging. The test code
2125 is run in such a way that errors are not caught. This way a
2126 caller can catch the errors and initiate post-mortem debugging.
2127
2128 The DocTestCase provides a debug method that raises
2129 UnexpectedException errors if there is an unexepcted
2130 exception:
2131
Edward Lopera1ef6112004-08-09 16:14:41 +00002132 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002133 ... {}, 'foo', 'foo.py', 0)
2134 >>> case = DocTestCase(test)
2135 >>> try:
2136 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002137 ... except UnexpectedException as f:
2138 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002139
2140 The UnexpectedException contains the test, the example, and
2141 the original exception:
2142
2143 >>> failure.test is test
2144 True
2145
2146 >>> failure.example.want
2147 '42\n'
2148
2149 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002150 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002151 Traceback (most recent call last):
2152 ...
2153 KeyError
2154
2155 If the output doesn't match, then a DocTestFailure is raised:
2156
Edward Lopera1ef6112004-08-09 16:14:41 +00002157 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002158 ... >>> x = 1
2159 ... >>> x
2160 ... 2
2161 ... ''', {}, 'foo', 'foo.py', 0)
2162 >>> case = DocTestCase(test)
2163
2164 >>> try:
2165 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002166 ... except DocTestFailure as f:
2167 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002168
2169 DocTestFailure objects provide access to the test:
2170
2171 >>> failure.test is test
2172 True
2173
2174 As well as to the example:
2175
2176 >>> failure.example.want
2177 '2\n'
2178
2179 and the actual output:
2180
2181 >>> failure.got
2182 '1\n'
2183
2184 """
2185
Jim Fultonf54bad42004-08-28 14:57:56 +00002186 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002187 runner = DebugRunner(optionflags=self._dt_optionflags,
2188 checker=self._dt_checker, verbose=False)
Edward Loper3a3817f2004-08-19 19:26:06 +00002189 runner.run(self._dt_test)
Jim Fultonf54bad42004-08-28 14:57:56 +00002190 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002191
2192 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002193 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002194
2195 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002196 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002197 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2198
2199 __str__ = __repr__
2200
2201 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002202 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002203
Jim Fultonf54bad42004-08-28 14:57:56 +00002204def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2205 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002206 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002207 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002208
Tim Peters19397e52004-08-06 22:02:59 +00002209 This converts each documentation string in a module that
2210 contains doctest tests to a unittest test case. If any of the
2211 tests in a doc string fail, then the test case fails. An exception
2212 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002213 (sometimes approximate) line number.
2214
Tim Peters19397e52004-08-06 22:02:59 +00002215 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002216 can be either a module or a module name.
2217
2218 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002219
2220 A number of options may be provided as keyword arguments:
2221
Jim Fultonf54bad42004-08-28 14:57:56 +00002222 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002223 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002224 tests in each file. The setUp function will be passed a DocTest
2225 object. The setUp function can access the test globals as the
2226 globs attribute of the test passed.
2227
2228 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002229 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002230 tests in each file. The tearDown function will be passed a DocTest
2231 object. The tearDown function can access the test globals as the
2232 globs attribute of the test passed.
2233
2234 globs
2235 A dictionary containing initial global variables for the tests.
2236
2237 optionflags
2238 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002239 """
Jim Fultona643b652004-07-14 19:06:50 +00002240
Tim Peters8485b562004-08-04 18:46:34 +00002241 if test_finder is None:
2242 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002243
Tim Peters19397e52004-08-06 22:02:59 +00002244 module = _normalize_module(module)
2245 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
2246 if globs is None:
2247 globs = module.__dict__
Jim Fultonf54bad42004-08-28 14:57:56 +00002248 if not tests:
2249 # Why do we want to do this? Because it reveals a bug that might
2250 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002251 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002252
2253 tests.sort()
2254 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002255 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002256 if len(test.examples) == 0:
2257 continue
Tim Peters8485b562004-08-04 18:46:34 +00002258 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002259 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002260 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002261 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002262 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002263 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002264
2265 return suite
2266
2267class DocFileCase(DocTestCase):
2268
2269 def id(self):
2270 return '_'.join(self._dt_test.name.split('.'))
2271
2272 def __repr__(self):
2273 return self._dt_test.filename
2274 __str__ = __repr__
2275
2276 def format_failure(self, err):
2277 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2278 % (self._dt_test.name, self._dt_test.filename, err)
2279 )
2280
Edward Loper052d0cd2004-09-19 17:19:33 +00002281def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002282 globs=None, parser=DocTestParser(),
2283 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002284 if globs is None:
2285 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002286 else:
2287 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002288
Edward Loper052d0cd2004-09-19 17:19:33 +00002289 if package and not module_relative:
2290 raise ValueError("Package may only be specified for module-"
2291 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002292
Edward Loper052d0cd2004-09-19 17:19:33 +00002293 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002294 doc, path = _load_testfile(path, package, module_relative,
2295 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002296
Fred Drake7c404a42004-12-21 23:46:34 +00002297 if "__file__" not in globs:
2298 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002299
Edward Loper052d0cd2004-09-19 17:19:33 +00002300 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002301 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002302
2303 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002304 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002305 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002306
2307def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002308 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002309
Edward Loper052d0cd2004-09-19 17:19:33 +00002310 The path to each doctest file is given as a string; the
2311 interpretation of that string depends on the keyword argument
2312 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002313
2314 A number of options may be provided as keyword arguments:
2315
Edward Loper052d0cd2004-09-19 17:19:33 +00002316 module_relative
2317 If "module_relative" is True, then the given file paths are
2318 interpreted as os-independent module-relative paths. By
2319 default, these paths are relative to the calling module's
2320 directory; but if the "package" argument is specified, then
2321 they are relative to that package. To ensure os-independence,
2322 "filename" should use "/" characters to separate path
2323 segments, and may not be an absolute path (i.e., it may not
2324 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002325
Edward Loper052d0cd2004-09-19 17:19:33 +00002326 If "module_relative" is False, then the given file paths are
2327 interpreted as os-specific paths. These paths may be absolute
2328 or relative (to the current working directory).
2329
Tim Peters19397e52004-08-06 22:02:59 +00002330 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002331 A Python package or the name of a Python package whose directory
2332 should be used as the base directory for module relative paths.
2333 If "package" is not specified, then the calling module's
2334 directory is used as the base directory for module relative
2335 filenames. It is an error to specify "package" if
2336 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002337
2338 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002339 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002340 tests in each file. The setUp function will be passed a DocTest
2341 object. The setUp function can access the test globals as the
2342 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002343
2344 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002345 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002346 tests in each file. The tearDown function will be passed a DocTest
2347 object. The tearDown function can access the test globals as the
2348 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002349
2350 globs
2351 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002352
2353 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002354 A set of doctest option flags expressed as an integer.
2355
2356 parser
2357 A DocTestParser (or subclass) that should be used to extract
2358 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002359
2360 encoding
2361 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002362 """
2363 suite = unittest.TestSuite()
2364
2365 # We do this here so that _normalize_module is called at the right
2366 # level. If it were called in DocFileTest, then this function
2367 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002368 if kw.get('module_relative', True):
2369 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002370
2371 for path in paths:
2372 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002373
Tim Petersdb3756d2003-06-29 05:30:48 +00002374 return suite
2375
Tim Peters8485b562004-08-04 18:46:34 +00002376######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002377## 9. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002378######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002379
Tim Peters19397e52004-08-06 22:02:59 +00002380def script_from_examples(s):
2381 r"""Extract script from text with examples.
2382
2383 Converts text with examples to a Python script. Example input is
2384 converted to regular code. Example output and all other words
2385 are converted to comments:
2386
2387 >>> text = '''
2388 ... Here are examples of simple math.
2389 ...
2390 ... Python has super accurate integer addition
2391 ...
2392 ... >>> 2 + 2
2393 ... 5
2394 ...
2395 ... And very friendly error messages:
2396 ...
2397 ... >>> 1/0
2398 ... To Infinity
2399 ... And
2400 ... Beyond
2401 ...
2402 ... You can use logic if you want:
2403 ...
2404 ... >>> if 0:
2405 ... ... blah
2406 ... ... blah
2407 ... ...
2408 ...
2409 ... Ho hum
2410 ... '''
2411
Guido van Rossum7131f842007-02-09 20:13:25 +00002412 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002413 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002414 #
Edward Lopera5db6002004-08-12 02:41:30 +00002415 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002416 #
2417 2 + 2
2418 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002419 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002420 #
Edward Lopera5db6002004-08-12 02:41:30 +00002421 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002422 #
2423 1/0
2424 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002425 ## To Infinity
2426 ## And
2427 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002428 #
Edward Lopera5db6002004-08-12 02:41:30 +00002429 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002430 #
2431 if 0:
2432 blah
2433 blah
Tim Peters19397e52004-08-06 22:02:59 +00002434 #
Edward Lopera5db6002004-08-12 02:41:30 +00002435 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002436 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002437 """
Edward Loper00f8da72004-08-26 18:05:07 +00002438 output = []
2439 for piece in DocTestParser().parse(s):
2440 if isinstance(piece, Example):
2441 # Add the example's source code (strip trailing NL)
2442 output.append(piece.source[:-1])
2443 # Add the expected output:
2444 want = piece.want
2445 if want:
2446 output.append('# Expected:')
2447 output += ['## '+l for l in want.split('\n')[:-1]]
2448 else:
2449 # Add non-example text.
2450 output += [_comment_line(l)
2451 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002452
Edward Loper00f8da72004-08-26 18:05:07 +00002453 # Trim junk on both ends.
2454 while output and output[-1] == '#':
2455 output.pop()
2456 while output and output[0] == '#':
2457 output.pop(0)
2458 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002459 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2460 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002461
2462def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002463 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002464
2465 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002466 test to be debugged and the name (within the module) of the object
2467 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002468 """
Tim Peters8485b562004-08-04 18:46:34 +00002469 module = _normalize_module(module)
2470 tests = DocTestFinder().find(module)
2471 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002472 if not test:
2473 raise ValueError(name, "not found in tests")
2474 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002475 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002476 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002477
Jim Fultona643b652004-07-14 19:06:50 +00002478def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002479 """Debug a single doctest docstring, in argument `src`'"""
2480 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002481 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002482
Jim Fultona643b652004-07-14 19:06:50 +00002483def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002484 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002485 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002486
Tim Petersb6a04d62004-08-23 21:37:56 +00002487 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2488 # docs say, a file so created cannot be opened by name a second time
Neal Norwitz01688022007-08-12 00:43:29 +00002489 # on modern Windows boxes, and exec() needs to open and read it.
Tim Petersb6a04d62004-08-23 21:37:56 +00002490 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002491 f = open(srcfilename, 'w')
2492 f.write(src)
2493 f.close()
2494
Tim Petersb6a04d62004-08-23 21:37:56 +00002495 try:
2496 if globs:
2497 globs = globs.copy()
2498 else:
2499 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002500
Tim Petersb6a04d62004-08-23 21:37:56 +00002501 if pm:
2502 try:
Neal Norwitz01688022007-08-12 00:43:29 +00002503 exec(open(srcfilename).read(), globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002504 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002505 print(sys.exc_info()[1])
Tim Petersb6a04d62004-08-23 21:37:56 +00002506 pdb.post_mortem(sys.exc_info()[2])
2507 else:
Neal Norwitz01688022007-08-12 00:43:29 +00002508 fp = open(srcfilename)
2509 try:
2510 script = fp.read()
2511 finally:
2512 fp.close()
2513 pdb.run("exec(%r)" % script, globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002514
2515 finally:
2516 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002517
Jim Fultona643b652004-07-14 19:06:50 +00002518def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002519 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002520
2521 Provide the module (or dotted name of the module) containing the
2522 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002523 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002524 """
Tim Peters8485b562004-08-04 18:46:34 +00002525 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002526 testsrc = testsource(module, name)
2527 debug_script(testsrc, pm, module.__dict__)
2528
Tim Peters8485b562004-08-04 18:46:34 +00002529######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002530## 10. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002531######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002532class _TestClass:
2533 """
2534 A pointless class, for sanity-checking of docstring testing.
2535
2536 Methods:
2537 square()
2538 get()
2539
2540 >>> _TestClass(13).get() + _TestClass(-12).get()
2541 1
2542 >>> hex(_TestClass(13).square().get())
2543 '0xa9'
2544 """
2545
2546 def __init__(self, val):
2547 """val -> _TestClass object with associated value val.
2548
2549 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002550 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002551 123
2552 """
2553
2554 self.val = val
2555
2556 def square(self):
2557 """square() -> square TestClass's associated value
2558
2559 >>> _TestClass(13).square().get()
2560 169
2561 """
2562
2563 self.val = self.val ** 2
2564 return self
2565
2566 def get(self):
2567 """get() -> return TestClass's associated value.
2568
2569 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002570 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002571 -42
2572 """
2573
2574 return self.val
2575
2576__test__ = {"_TestClass": _TestClass,
2577 "string": r"""
2578 Example of a string object, searched as-is.
2579 >>> x = 1; y = 2
2580 >>> x + y, x * y
2581 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002582 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002583
Tim Peters6ebe61f2003-06-27 20:48:05 +00002584 "bool-int equivalence": r"""
2585 In 2.2, boolean expressions displayed
2586 0 or 1. By default, we still accept
2587 them. This can be disabled by passing
2588 DONT_ACCEPT_TRUE_FOR_1 to the new
2589 optionflags argument.
2590 >>> 4 == 4
2591 1
2592 >>> 4 == 4
2593 True
2594 >>> 4 > 4
2595 0
2596 >>> 4 > 4
2597 False
2598 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002599
Tim Peters8485b562004-08-04 18:46:34 +00002600 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002601 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002602 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002603 foo
2604 <BLANKLINE>
2605 bar
2606 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002607 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002608
2609 "ellipsis": r"""
2610 If the ellipsis flag is used, then '...' can be used to
2611 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002612 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002613 [0, 1, 2, ..., 999]
2614 """,
2615
2616 "whitespace normalization": r"""
2617 If the whitespace normalization flag is used, then
2618 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002619 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002620 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2621 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2622 27, 28, 29]
2623 """,
2624 }
Tim Peters8485b562004-08-04 18:46:34 +00002625
Tim Peters8a7d2d52001-01-16 07:10:57 +00002626def _test():
Guido van Rossumd8faa362007-04-27 19:54:29 +00002627 testfiles = [arg for arg in sys.argv[1:] if arg and arg[0] != '-']
2628 if testfiles:
2629 for filename in testfiles:
2630 if filename.endswith(".py"):
2631 # It is a module -- insert its dir into sys.path and try to
2632 # import it. If it is part of a package, that possibly won't work
2633 # because of package imports.
2634 dirname, filename = os.path.split(filename)
2635 sys.path.insert(0, dirname)
2636 m = __import__(filename[:-3])
2637 del sys.path[0]
2638 testmod(m)
2639 else:
2640 testfile(filename, module_relative=False)
2641 else:
2642 r = unittest.TextTestRunner()
2643 r.run(DocTestSuite())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002644
2645if __name__ == "__main__":
2646 _test()