blob: eee2f519dbc8176cc7603c1d467ada4801b75ce0 [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'):
Guido van Rossumcd4d4522007-11-22 00:30:02 +0000212 file_contents = package.__loader__.get_data(filename)
213 file_contents = file_contents.decode(encoding)
214 # get_data() opens files as 'rb', so one must do the equivalent
215 # conversion as universal newlines would do.
216 return file_contents.replace(os.linesep, '\n'), filename
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000217 return open(filename, encoding=encoding).read(), filename
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000218
Edward Loperaacf0832004-08-26 01:19:50 +0000219def _indent(s, indent=4):
Tim Peters8485b562004-08-04 18:46:34 +0000220 """
Edward Loperaacf0832004-08-26 01:19:50 +0000221 Add the given number of space characters to the beginning every
222 non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000223 """
Edward Loperaacf0832004-08-26 01:19:50 +0000224 # This regexp matches the start of non-blank lines:
225 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000226
Edward Loper8e4a34b2004-08-12 02:34:27 +0000227def _exception_traceback(exc_info):
228 """
229 Return a string containing a traceback message for the given
230 exc_info tuple (as returned by sys.exc_info()).
231 """
232 # Get a traceback message.
233 excout = StringIO()
234 exc_type, exc_val, exc_tb = exc_info
235 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
236 return excout.getvalue()
237
Tim Peters8485b562004-08-04 18:46:34 +0000238# Override some StringIO methods.
239class _SpoofOut(StringIO):
240 def getvalue(self):
241 result = StringIO.getvalue(self)
242 # If anything at all was written, make sure there's a trailing
243 # newline. There's no way for the expected output to indicate
244 # that a trailing newline is missing.
245 if result and not result.endswith("\n"):
246 result += "\n"
Tim Peters8485b562004-08-04 18:46:34 +0000247 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000248
Guido van Rossum79139b22007-02-09 23:20:19 +0000249 def truncate(self, size=None):
Tim Peters8485b562004-08-04 18:46:34 +0000250 StringIO.truncate(self, size)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000251
Tim Peters26b3ebb2004-08-19 08:10:08 +0000252# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000253def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000254 """
255 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000256 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000257 False
258 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000259 if ELLIPSIS_MARKER not in want:
260 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000261
Tim Peters26b3ebb2004-08-19 08:10:08 +0000262 # Find "the real" strings.
263 ws = want.split(ELLIPSIS_MARKER)
264 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000265
Tim Petersdc5de3b2004-08-19 14:06:20 +0000266 # Deal with exact matches possibly needed at one or both ends.
267 startpos, endpos = 0, len(got)
268 w = ws[0]
269 if w: # starts with exact match
270 if got.startswith(w):
271 startpos = len(w)
272 del ws[0]
273 else:
274 return False
275 w = ws[-1]
276 if w: # ends with exact match
277 if got.endswith(w):
278 endpos -= len(w)
279 del ws[-1]
280 else:
281 return False
282
283 if startpos > endpos:
284 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000285 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000286 return False
287
288 # For the rest, we only need to find the leftmost non-overlapping
289 # match for each piece. If there's no overall match that way alone,
290 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000291 for w in ws:
292 # w may be '' at times, if there are consecutive ellipses, or
293 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000294 # Search for an empty string succeeds, and doesn't change startpos.
295 startpos = got.find(w, startpos, endpos)
296 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000297 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000298 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000299
Tim Petersdc5de3b2004-08-19 14:06:20 +0000300 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000301
Edward Loper00f8da72004-08-26 18:05:07 +0000302def _comment_line(line):
303 "Return a commented form of the given line"
304 line = line.rstrip()
305 if line:
306 return '# '+line
307 else:
308 return '#'
309
Edward Loper2de91ba2004-08-27 02:07:46 +0000310class _OutputRedirectingPdb(pdb.Pdb):
311 """
312 A specialized version of the python debugger that redirects stdout
313 to a given stream when interacting with the user. Stdout is *not*
314 redirected when traced code is executed.
315 """
316 def __init__(self, out):
317 self.__out = out
Thomas Wouters477c8d52006-05-27 19:21:47 +0000318 pdb.Pdb.__init__(self, stdout=out)
Edward Loper2de91ba2004-08-27 02:07:46 +0000319
320 def trace_dispatch(self, *args):
321 # Redirect stdout to the given stream.
322 save_stdout = sys.stdout
323 sys.stdout = self.__out
324 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000325 try:
326 return pdb.Pdb.trace_dispatch(self, *args)
327 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000328 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000329
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000330# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000331def _module_relative_path(module, path):
332 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000333 raise TypeError('Expected a module: %r' % module)
Edward Loper052d0cd2004-09-19 17:19:33 +0000334 if path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000335 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000336
337 # Find the base directory for the path.
338 if hasattr(module, '__file__'):
339 # A normal module/package
340 basedir = os.path.split(module.__file__)[0]
341 elif module.__name__ == '__main__':
342 # An interactive session.
343 if len(sys.argv)>0 and sys.argv[0] != '':
344 basedir = os.path.split(sys.argv[0])[0]
345 else:
346 basedir = os.curdir
347 else:
348 # A module w/o __file__ (this includes builtins)
349 raise ValueError("Can't resolve paths relative to the module " +
350 module + " (it has no __file__)")
351
352 # Combine the base directory and the path.
353 return os.path.join(basedir, *(path.split('/')))
354
Tim Peters8485b562004-08-04 18:46:34 +0000355######################################################################
356## 2. Example & DocTest
357######################################################################
358## - An "example" is a <source, want> pair, where "source" is a
359## fragment of source code, and "want" is the expected output for
360## "source." The Example class also includes information about
361## where the example was extracted from.
362##
Edward Lopera1ef6112004-08-09 16:14:41 +0000363## - A "doctest" is a collection of examples, typically extracted from
364## a string (such as an object's docstring). The DocTest class also
365## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000366
Tim Peters8485b562004-08-04 18:46:34 +0000367class Example:
368 """
369 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000370 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000371
Edward Loper74bca7a2004-08-12 02:27:44 +0000372 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000373 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000374
Edward Loper74bca7a2004-08-12 02:27:44 +0000375 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000376 from stdout, or a traceback in case of exception). `want` ends
377 with a newline unless it's empty, in which case it's an empty
378 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000379
Edward Lopera6b68322004-08-26 00:05:43 +0000380 - exc_msg: The exception message generated by the example, if
381 the example is expected to generate an exception; or `None` if
382 it is not expected to generate an exception. This exception
383 message is compared against the return value of
384 `traceback.format_exception_only()`. `exc_msg` ends with a
385 newline unless it's `None`. The constructor adds a newline
386 if needed.
387
Edward Loper74bca7a2004-08-12 02:27:44 +0000388 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000389 this Example where the Example begins. This line number is
390 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000391
392 - indent: The example's indentation in the DocTest string.
393 I.e., the number of space characters that preceed the
394 example's first prompt.
395
396 - options: A dictionary mapping from option flags to True or
397 False, which is used to override default options for this
398 example. Any option flags not contained in this dictionary
399 are left at their default value (as specified by the
400 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000401 """
Edward Lopera6b68322004-08-26 00:05:43 +0000402 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
403 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000404 # Normalize inputs.
405 if not source.endswith('\n'):
406 source += '\n'
407 if want and not want.endswith('\n'):
408 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000409 if exc_msg is not None and not exc_msg.endswith('\n'):
410 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000411 # Store properties.
412 self.source = source
413 self.want = want
414 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000415 self.indent = indent
416 if options is None: options = {}
417 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000418 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000419
Tim Peters8485b562004-08-04 18:46:34 +0000420class DocTest:
421 """
422 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000423 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000424
Tim Peters8485b562004-08-04 18:46:34 +0000425 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000426
Tim Peters8485b562004-08-04 18:46:34 +0000427 - globs: The namespace (aka globals) that the examples should
428 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000429
Tim Peters8485b562004-08-04 18:46:34 +0000430 - name: A name identifying the DocTest (typically, the name of
431 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000432
Tim Peters8485b562004-08-04 18:46:34 +0000433 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000434 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000435
Tim Peters8485b562004-08-04 18:46:34 +0000436 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000437 begins, or `None` if the line number is unavailable. This
438 line number is zero-based, with respect to the beginning of
439 the file.
440
441 - docstring: The string that the examples were extracted from,
442 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000443 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000444 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000445 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000446 Create a new DocTest containing the given examples. The
447 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000448 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000449 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000450 "DocTest no longer accepts str; use DocTestParser instead"
451 self.examples = examples
452 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000453 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000454 self.name = name
455 self.filename = filename
456 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000457
458 def __repr__(self):
459 if len(self.examples) == 0:
460 examples = 'no examples'
461 elif len(self.examples) == 1:
462 examples = '1 example'
463 else:
464 examples = '%d examples' % len(self.examples)
465 return ('<DocTest %s from %s:%s (%s)>' %
466 (self.name, self.filename, self.lineno, examples))
467
468
469 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000470 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000471 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000472 return NotImplemented
473 return ((self.name, self.filename, self.lineno, id(self))
474 <
475 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000476
477######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000478## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000479######################################################################
480
Edward Lopera1ef6112004-08-09 16:14:41 +0000481class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000482 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000483 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000484 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000485 # This regular expression is used to find doctest examples in a
486 # string. It defines three groups: `source` is the source code
487 # (including leading indentation and prompts); `indent` is the
488 # indentation of the first (PS1) line of the source code; and
489 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000490 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000491 # Source consists of a PS1 line followed by zero or more PS2 lines.
492 (?P<source>
493 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
494 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
495 \n?
496 # Want consists of any non-blank lines that do not start with PS1.
497 (?P<want> (?:(?![ ]*$) # Not a blank line
498 (?![ ]*>>>) # Not a line starting with PS1
499 .*$\n? # But any other line
500 )*)
501 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000502
Edward Lopera6b68322004-08-26 00:05:43 +0000503 # A regular expression for handling `want` strings that contain
504 # expected exceptions. It divides `want` into three pieces:
505 # - the traceback header line (`hdr`)
506 # - the traceback stack (`stack`)
507 # - the exception message (`msg`), as generated by
508 # traceback.format_exception_only()
509 # `msg` may have multiple lines. We assume/require that the
510 # exception message is the first non-indented line starting with a word
511 # character following the traceback header line.
512 _EXCEPTION_RE = re.compile(r"""
513 # Grab the traceback header. Different versions of Python have
514 # said different things on the first traceback line.
515 ^(?P<hdr> Traceback\ \(
516 (?: most\ recent\ call\ last
517 | innermost\ last
518 ) \) :
519 )
520 \s* $ # toss trailing whitespace on the header.
521 (?P<stack> .*?) # don't blink: absorb stuff until...
522 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
523 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
524
Tim Peters7ea48dd2004-08-13 01:52:59 +0000525 # A callable returning a true value iff its argument is a blank line
526 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000527 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000528
Edward Loper00f8da72004-08-26 18:05:07 +0000529 def parse(self, string, name='<string>'):
530 """
531 Divide the given string into examples and intervening text,
532 and return them as a list of alternating Examples and strings.
533 Line numbers for the Examples are 0-based. The optional
534 argument `name` is a name identifying this string, and is only
535 used for error messages.
536 """
537 string = string.expandtabs()
538 # If all lines begin with the same indentation, then strip it.
539 min_indent = self._min_indent(string)
540 if min_indent > 0:
541 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
542
543 output = []
544 charno, lineno = 0, 0
545 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000546 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000547 # Add the pre-example text to `output`.
548 output.append(string[charno:m.start()])
549 # Update lineno (lines before this example)
550 lineno += string.count('\n', charno, m.start())
551 # Extract info from the regexp match.
552 (source, options, want, exc_msg) = \
553 self._parse_example(m, name, lineno)
554 # Create an Example, and add it to the list.
555 if not self._IS_BLANK_OR_COMMENT(source):
556 output.append( Example(source, want, exc_msg,
557 lineno=lineno,
558 indent=min_indent+len(m.group('indent')),
559 options=options) )
560 # Update lineno (lines inside this example)
561 lineno += string.count('\n', m.start(), m.end())
562 # Update charno.
563 charno = m.end()
564 # Add any remaining post-example text to `output`.
565 output.append(string[charno:])
566 return output
567
Edward Lopera1ef6112004-08-09 16:14:41 +0000568 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000569 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000570 Extract all doctest examples from the given string, and
571 collect them into a `DocTest` object.
572
573 `globs`, `name`, `filename`, and `lineno` are attributes for
574 the new `DocTest` object. See the documentation for `DocTest`
575 for more information.
576 """
577 return DocTest(self.get_examples(string, name), globs,
578 name, filename, lineno, string)
579
580 def get_examples(self, string, name='<string>'):
581 """
582 Extract all doctest examples from the given string, and return
583 them as a list of `Example` objects. Line numbers are
584 0-based, because it's most common in doctests that nothing
585 interesting appears on the same line as opening triple-quote,
586 and so the first interesting line is called \"line 1\" then.
587
588 The optional argument `name` is a name identifying this
589 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000590 """
Edward Loper00f8da72004-08-26 18:05:07 +0000591 return [x for x in self.parse(string, name)
592 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000593
Edward Loper74bca7a2004-08-12 02:27:44 +0000594 def _parse_example(self, m, name, lineno):
595 """
596 Given a regular expression match from `_EXAMPLE_RE` (`m`),
597 return a pair `(source, want)`, where `source` is the matched
598 example's source code (with prompts and indentation stripped);
599 and `want` is the example's expected output (with indentation
600 stripped).
601
602 `name` is the string's name, and `lineno` is the line number
603 where the example starts; both are used for error messages.
604 """
Edward Loper7c748462004-08-09 02:06:06 +0000605 # Get the example's indentation level.
606 indent = len(m.group('indent'))
607
608 # Divide source into lines; check that they're properly
609 # indented; and then strip their indentation & prompts.
610 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000611 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000612 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000613 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000614
Tim Petersc5049152004-08-22 17:34:58 +0000615 # Divide want into lines; check that it's properly indented; and
616 # then strip the indentation. Spaces before the last newline should
617 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000618 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000619 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000620 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
621 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000622 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000623 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000624 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000625
Edward Lopera6b68322004-08-26 00:05:43 +0000626 # If `want` contains a traceback message, then extract it.
627 m = self._EXCEPTION_RE.match(want)
628 if m:
629 exc_msg = m.group('msg')
630 else:
631 exc_msg = None
632
Edward Loper00f8da72004-08-26 18:05:07 +0000633 # Extract options from the source.
634 options = self._find_options(source, name, lineno)
635
636 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000637
Edward Loper74bca7a2004-08-12 02:27:44 +0000638 # This regular expression looks for option directives in the
639 # source code of an example. Option directives are comments
640 # starting with "doctest:". Warning: this may give false
641 # positives for string-literals that contain the string
642 # "#doctest:". Eliminating these false positives would require
643 # actually parsing the string; but we limit them by ignoring any
644 # line containing "#doctest:" that is *followed* by a quote mark.
645 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
646 re.MULTILINE)
647
648 def _find_options(self, source, name, lineno):
649 """
650 Return a dictionary containing option overrides extracted from
651 option directives in the given source string.
652
653 `name` is the string's name, and `lineno` is the line number
654 where the example starts; both are used for error messages.
655 """
656 options = {}
657 # (note: with the current regexp, this will match at most once:)
658 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
659 option_strings = m.group(1).replace(',', ' ').split()
660 for option in option_strings:
661 if (option[0] not in '+-' or
662 option[1:] not in OPTIONFLAGS_BY_NAME):
663 raise ValueError('line %r of the doctest for %s '
664 'has an invalid option: %r' %
665 (lineno+1, name, option))
666 flag = OPTIONFLAGS_BY_NAME[option[1:]]
667 options[flag] = (option[0] == '+')
668 if options and self._IS_BLANK_OR_COMMENT(source):
669 raise ValueError('line %r of the doctest for %s has an option '
670 'directive on a line with no example: %r' %
671 (lineno, name, source))
672 return options
673
Edward Lopera5db6002004-08-12 02:41:30 +0000674 # This regular expression finds the indentation of every non-blank
675 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000676 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000677
678 def _min_indent(self, s):
679 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000680 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
681 if len(indents) > 0:
682 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000683 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000684 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000685
Edward Lopera1ef6112004-08-09 16:14:41 +0000686 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000687 """
688 Given the lines of a source string (including prompts and
689 leading indentation), check to make sure that every prompt is
690 followed by a space character. If any line is not followed by
691 a space character, then raise ValueError.
692 """
Edward Loper7c748462004-08-09 02:06:06 +0000693 for i, line in enumerate(lines):
694 if len(line) >= indent+4 and line[indent+3] != ' ':
695 raise ValueError('line %r of the docstring for %s '
696 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000697 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000698 line[indent:indent+3], line))
699
Edward Lopera1ef6112004-08-09 16:14:41 +0000700 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000701 """
702 Check that every line in the given list starts with the given
703 prefix; if any line does not, then raise a ValueError.
704 """
Edward Loper7c748462004-08-09 02:06:06 +0000705 for i, line in enumerate(lines):
706 if line and not line.startswith(prefix):
707 raise ValueError('line %r of the docstring for %s has '
708 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000709 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000710
711
712######################################################################
713## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000714######################################################################
715
716class DocTestFinder:
717 """
718 A class used to extract the DocTests that are relevant to a given
719 object, from its docstring and the docstrings of its contained
720 objects. Doctests can currently be extracted from the following
721 object types: modules, functions, classes, methods, staticmethods,
722 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000723 """
724
Edward Lopera1ef6112004-08-09 16:14:41 +0000725 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000726 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000727 """
728 Create a new doctest finder.
729
Edward Lopera1ef6112004-08-09 16:14:41 +0000730 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000731 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000732 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000733 signature for this factory function should match the signature
734 of the DocTest constructor.
735
Tim Peters8485b562004-08-04 18:46:34 +0000736 If the optional argument `recurse` is false, then `find` will
737 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000738
Tim Peters958cc892004-09-13 14:53:28 +0000739 If the optional argument `exclude_empty` is false, then `find`
740 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000741 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000742 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000743 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000744 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000745 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000746
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000747 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000748 """
749 Return a list of the DocTests that are defined by the given
750 object's docstring, or by any of its contained objects'
751 docstrings.
752
753 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000754 the given object. If the module is not specified or is None, then
755 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000756 correct module. The object's module is used:
757
758 - As a default namespace, if `globs` is not specified.
759 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000760 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000761 - To find the name of the file containing the object.
762 - To help find the line number of the object within its
763 file.
764
Tim Petersf3f57472004-08-08 06:11:48 +0000765 Contained objects whose module does not match `module` are ignored.
766
767 If `module` is False, no attempt to find the module will be made.
768 This is obscure, of use mostly in tests: if `module` is False, or
769 is None but cannot be found automatically, then all objects are
770 considered to belong to the (non-existent) module, so all contained
771 objects will (recursively) be searched for doctests.
772
Tim Peters8485b562004-08-04 18:46:34 +0000773 The globals for each DocTest is formed by combining `globs`
774 and `extraglobs` (bindings in `extraglobs` override bindings
775 in `globs`). A new copy of the globals dictionary is created
776 for each DocTest. If `globs` is not specified, then it
777 defaults to the module's `__dict__`, if specified, or {}
778 otherwise. If `extraglobs` is not specified, then it defaults
779 to {}.
780
Tim Peters8485b562004-08-04 18:46:34 +0000781 """
782 # If name was not specified, then extract it from the object.
783 if name is None:
784 name = getattr(obj, '__name__', None)
785 if name is None:
786 raise ValueError("DocTestFinder.find: name must be given "
787 "when obj.__name__ doesn't exist: %r" %
788 (type(obj),))
789
790 # Find the module that contains the given object (if obj is
791 # a module, then module=obj.). Note: this may fail, in which
792 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000793 if module is False:
794 module = None
795 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000796 module = inspect.getmodule(obj)
797
798 # Read the module's source code. This is used by
799 # DocTestFinder._find_lineno to find the line number for a
800 # given object's docstring.
801 try:
802 file = inspect.getsourcefile(obj) or inspect.getfile(obj)
803 source_lines = linecache.getlines(file)
804 if not source_lines:
805 source_lines = None
806 except TypeError:
807 source_lines = None
808
809 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000810 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000811 if module is None:
812 globs = {}
813 else:
814 globs = module.__dict__.copy()
815 else:
816 globs = globs.copy()
817 if extraglobs is not None:
818 globs.update(extraglobs)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000819
Tim Peters8485b562004-08-04 18:46:34 +0000820 # Recursively expore `obj`, extracting DocTests.
821 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000822 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000823 # Sort the tests by alpha order of names, for consistency in
824 # verbose-mode output. This was a feature of doctest in Pythons
825 # <= 2.3 that got lost by accident in 2.4. It was repaired in
826 # 2.4.4 and 2.5.
827 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000828 return tests
829
Tim Peters8485b562004-08-04 18:46:34 +0000830 def _from_module(self, module, object):
831 """
832 Return true if the given object is defined in the given
833 module.
834 """
835 if module is None:
836 return True
837 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000838 return module.__dict__ is object.__globals__
Tim Peters8485b562004-08-04 18:46:34 +0000839 elif inspect.isclass(object):
840 return module.__name__ == object.__module__
841 elif inspect.getmodule(object) is not None:
842 return module is inspect.getmodule(object)
843 elif hasattr(object, '__module__'):
844 return module.__name__ == object.__module__
845 elif isinstance(object, property):
846 return True # [XX] no way not be sure.
847 else:
848 raise ValueError("object must be a class or function")
849
Tim Petersf3f57472004-08-08 06:11:48 +0000850 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000851 """
852 Find tests for the given object and any contained objects, and
853 add them to `tests`.
854 """
855 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000856 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000857
858 # If we've already processed this object, then ignore it.
859 if id(obj) in seen:
860 return
861 seen[id(obj)] = 1
862
863 # Find a test for this object, and add it to the list of tests.
864 test = self._get_test(obj, name, module, globs, source_lines)
865 if test is not None:
866 tests.append(test)
867
868 # Look for tests in a module's contained objects.
869 if inspect.ismodule(obj) and self._recurse:
870 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000871 valname = '%s.%s' % (name, valname)
872 # Recurse to functions & classes.
873 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000874 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000875 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000876 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000877
878 # Look for tests in a module's __test__ dictionary.
879 if inspect.ismodule(obj) and self._recurse:
880 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000881 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +0000882 raise ValueError("DocTestFinder.find: __test__ keys "
883 "must be strings: %r" %
884 (type(valname),))
885 if not (inspect.isfunction(val) or inspect.isclass(val) or
886 inspect.ismethod(val) or inspect.ismodule(val) or
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000887 isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +0000888 raise ValueError("DocTestFinder.find: __test__ values "
889 "must be strings, functions, methods, "
890 "classes, or modules: %r" %
891 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000892 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +0000893 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000894 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000895
896 # Look for tests in a class's contained objects.
897 if inspect.isclass(obj) and self._recurse:
898 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000899 # Special handling for staticmethod/classmethod.
900 if isinstance(val, staticmethod):
901 val = getattr(obj, valname)
902 if isinstance(val, classmethod):
903 val = getattr(obj, valname).im_func
904
905 # Recurse to methods, properties, and nested classes.
906 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000907 isinstance(val, property)) and
908 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000909 valname = '%s.%s' % (name, valname)
910 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000911 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000912
913 def _get_test(self, obj, name, module, globs, source_lines):
914 """
915 Return a DocTest for the given object, if it defines a docstring;
916 otherwise, return None.
917 """
918 # Extract the object's docstring. If it doesn't have one,
919 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000920 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +0000921 docstring = obj
922 else:
923 try:
924 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000925 docstring = ''
926 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000927 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000928 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +0000929 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000930 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000931 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000932
933 # Find the docstring's location in the file.
934 lineno = self._find_lineno(obj, source_lines)
935
Edward Loper32ddbf72004-09-13 05:47:24 +0000936 # Don't bother if the docstring is empty.
937 if self._exclude_empty and not docstring:
938 return None
939
Tim Peters8485b562004-08-04 18:46:34 +0000940 # Return a DocTest for this object.
941 if module is None:
942 filename = None
943 else:
944 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000945 if filename[-4:] in (".pyc", ".pyo"):
946 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000947 return self._parser.get_doctest(docstring, globs, name,
948 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000949
950 def _find_lineno(self, obj, source_lines):
951 """
952 Return a line number of the given object's docstring. Note:
953 this method assumes that the object has a docstring.
954 """
955 lineno = None
956
957 # Find the line number for modules.
958 if inspect.ismodule(obj):
959 lineno = 0
960
961 # Find the line number for classes.
962 # Note: this could be fooled if a class is defined multiple
963 # times in a single file.
964 if inspect.isclass(obj):
965 if source_lines is None:
966 return None
967 pat = re.compile(r'^\s*class\s*%s\b' %
968 getattr(obj, '__name__', '-'))
969 for i, line in enumerate(source_lines):
970 if pat.match(line):
971 lineno = i
972 break
973
974 # Find the line number for functions & methods.
975 if inspect.ismethod(obj): obj = obj.im_func
Neal Norwitz221085d2007-02-25 20:55:47 +0000976 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +0000977 if inspect.istraceback(obj): obj = obj.tb_frame
978 if inspect.isframe(obj): obj = obj.f_code
979 if inspect.iscode(obj):
980 lineno = getattr(obj, 'co_firstlineno', None)-1
981
982 # Find the line number where the docstring starts. Assume
983 # that it's the first line that begins with a quote mark.
984 # Note: this could be fooled by a multiline function
985 # signature, where a continuation line begins with a quote
986 # mark.
987 if lineno is not None:
988 if source_lines is None:
989 return lineno+1
990 pat = re.compile('(^|.*:)\s*\w*("|\')')
991 for lineno in range(lineno, len(source_lines)):
992 if pat.match(source_lines[lineno]):
993 return lineno
994
995 # We couldn't find the line number.
996 return None
997
998######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000999## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001000######################################################################
1001
Tim Peters8485b562004-08-04 18:46:34 +00001002class DocTestRunner:
1003 """
1004 A class used to run DocTest test cases, and accumulate statistics.
1005 The `run` method is used to process a single DocTest case. It
1006 returns a tuple `(f, t)`, where `t` is the number of test cases
1007 tried, and `f` is the number of test cases that failed.
1008
1009 >>> tests = DocTestFinder().find(_TestClass)
1010 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001011 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001012 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001013 ... print(test.name, '->', runner.run(test))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001014 _TestClass -> (0, 2)
1015 _TestClass.__init__ -> (0, 2)
1016 _TestClass.get -> (0, 2)
1017 _TestClass.square -> (0, 1)
Tim Peters8485b562004-08-04 18:46:34 +00001018
1019 The `summarize` method prints a summary of all the test cases that
1020 have been run by the runner, and returns an aggregated `(f, t)`
1021 tuple:
1022
1023 >>> runner.summarize(verbose=1)
1024 4 items passed all tests:
1025 2 tests in _TestClass
1026 2 tests in _TestClass.__init__
1027 2 tests in _TestClass.get
1028 1 tests in _TestClass.square
1029 7 tests in 4 items.
1030 7 passed and 0 failed.
1031 Test passed.
1032 (0, 7)
1033
1034 The aggregated number of tried examples and failed examples is
1035 also available via the `tries` and `failures` attributes:
1036
1037 >>> runner.tries
1038 7
1039 >>> runner.failures
1040 0
1041
1042 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001043 by an `OutputChecker`. This comparison may be customized with a
1044 number of option flags; see the documentation for `testmod` for
1045 more information. If the option flags are insufficient, then the
1046 comparison may also be customized by passing a subclass of
1047 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001048
1049 The test runner's display output can be controlled in two ways.
1050 First, an output function (`out) can be passed to
1051 `TestRunner.run`; this function will be called with strings that
1052 should be displayed. It defaults to `sys.stdout.write`. If
1053 capturing the output is not sufficient, then the display output
1054 can be also customized by subclassing DocTestRunner, and
1055 overriding the methods `report_start`, `report_success`,
1056 `report_unexpected_exception`, and `report_failure`.
1057 """
1058 # This divider string is used to separate failure messages, and to
1059 # separate sections of the summary.
1060 DIVIDER = "*" * 70
1061
Edward Loper34fcb142004-08-09 02:45:41 +00001062 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001063 """
1064 Create a new test runner.
1065
Edward Loper34fcb142004-08-09 02:45:41 +00001066 Optional keyword arg `checker` is the `OutputChecker` that
1067 should be used to compare the expected outputs and actual
1068 outputs of doctest examples.
1069
Tim Peters8485b562004-08-04 18:46:34 +00001070 Optional keyword arg 'verbose' prints lots of stuff if true,
1071 only failures if false; by default, it's true iff '-v' is in
1072 sys.argv.
1073
1074 Optional argument `optionflags` can be used to control how the
1075 test runner compares expected output to actual output, and how
1076 it displays failures. See the documentation for `testmod` for
1077 more information.
1078 """
Edward Loper34fcb142004-08-09 02:45:41 +00001079 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001080 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001081 verbose = '-v' in sys.argv
1082 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001083 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001084 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001085
Tim Peters8485b562004-08-04 18:46:34 +00001086 # Keep track of the examples we've run.
1087 self.tries = 0
1088 self.failures = 0
1089 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001090
Tim Peters8485b562004-08-04 18:46:34 +00001091 # Create a fake output target for capturing doctest output.
1092 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001093
Tim Peters8485b562004-08-04 18:46:34 +00001094 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001095 # Reporting methods
1096 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001097
Tim Peters8485b562004-08-04 18:46:34 +00001098 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001099 """
Tim Peters8485b562004-08-04 18:46:34 +00001100 Report that the test runner is about to process the given
1101 example. (Only displays a message if verbose=True)
1102 """
1103 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001104 if example.want:
1105 out('Trying:\n' + _indent(example.source) +
1106 'Expecting:\n' + _indent(example.want))
1107 else:
1108 out('Trying:\n' + _indent(example.source) +
1109 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001110
Tim Peters8485b562004-08-04 18:46:34 +00001111 def report_success(self, out, test, example, got):
1112 """
1113 Report that the given example ran successfully. (Only
1114 displays a message if verbose=True)
1115 """
1116 if self._verbose:
1117 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001118
Tim Peters8485b562004-08-04 18:46:34 +00001119 def report_failure(self, out, test, example, got):
1120 """
1121 Report that the given example failed.
1122 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001123 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001124 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001125
Tim Peters8485b562004-08-04 18:46:34 +00001126 def report_unexpected_exception(self, out, test, example, exc_info):
1127 """
1128 Report that the given example raised an unexpected exception.
1129 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001130 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001131 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001132
Edward Loper8e4a34b2004-08-12 02:34:27 +00001133 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001134 out = [self.DIVIDER]
1135 if test.filename:
1136 if test.lineno is not None and example.lineno is not None:
1137 lineno = test.lineno + example.lineno + 1
1138 else:
1139 lineno = '?'
1140 out.append('File "%s", line %s, in %s' %
1141 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001142 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001143 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1144 out.append('Failed example:')
1145 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001146 out.append(_indent(source))
1147 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001148
Tim Peters8485b562004-08-04 18:46:34 +00001149 #/////////////////////////////////////////////////////////////////
1150 # DocTest Running
1151 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001152
Tim Peters8485b562004-08-04 18:46:34 +00001153 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001154 """
Tim Peters8485b562004-08-04 18:46:34 +00001155 Run the examples in `test`. Write the outcome of each example
1156 with one of the `DocTestRunner.report_*` methods, using the
1157 writer function `out`. `compileflags` is the set of compiler
1158 flags that should be used to execute examples. Return a tuple
1159 `(f, t)`, where `t` is the number of examples tried, and `f`
1160 is the number of examples that failed. The examples are run
1161 in the namespace `test.globs`.
1162 """
1163 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001164 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001165
1166 # Save the option flags (since option directives can be used
1167 # to modify them).
1168 original_optionflags = self.optionflags
1169
Tim Peters1fbf9c52004-09-04 17:21:02 +00001170 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1171
1172 check = self._checker.check_output
1173
Tim Peters8485b562004-08-04 18:46:34 +00001174 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001175 for examplenum, example in enumerate(test.examples):
1176
Edward Lopera89f88d2004-08-26 02:45:51 +00001177 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1178 # reporting after the first failure.
1179 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1180 failures > 0)
1181
Edward Loper74bca7a2004-08-12 02:27:44 +00001182 # Merge in the example's options.
1183 self.optionflags = original_optionflags
1184 if example.options:
1185 for (optionflag, val) in example.options.items():
1186 if val:
1187 self.optionflags |= optionflag
1188 else:
1189 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001190
Thomas Wouters477c8d52006-05-27 19:21:47 +00001191 # If 'SKIP' is set, then skip this example.
1192 if self.optionflags & SKIP:
1193 continue
1194
Tim Peters8485b562004-08-04 18:46:34 +00001195 # Record that we started this example.
1196 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001197 if not quiet:
1198 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001199
Edward Loper2de91ba2004-08-27 02:07:46 +00001200 # Use a special filename for compile(), so we can retrieve
1201 # the source code during interactive debugging (see
1202 # __patched_linecache_getlines).
1203 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1204
Tim Peters8485b562004-08-04 18:46:34 +00001205 # Run the example in the given context (globs), and record
1206 # any exception that gets raised. (But don't intercept
1207 # keyboard interrupts.)
1208 try:
Tim Peters208ca702004-08-09 04:12:36 +00001209 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001210 exec(compile(example.source, filename, "single",
1211 compileflags, 1), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001212 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001213 exception = None
1214 except KeyboardInterrupt:
1215 raise
1216 except:
1217 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001218 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001219
Tim Peters208ca702004-08-09 04:12:36 +00001220 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001221 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001222 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001223
1224 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001225 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001226 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001227 if check(example.want, got, self.optionflags):
1228 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001229
Tim Peters1fbf9c52004-09-04 17:21:02 +00001230 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001231 else:
1232 exc_info = sys.exc_info()
1233 exc_msg = traceback.format_exception_only(*exc_info[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001234 if not quiet:
1235 got += _exception_traceback(exc_info)
Tim Peters8485b562004-08-04 18:46:34 +00001236
Tim Peters1fbf9c52004-09-04 17:21:02 +00001237 # If `example.exc_msg` is None, then we weren't expecting
1238 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001239 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001240 outcome = BOOM
1241
1242 # We expected an exception: see whether it matches.
1243 elif check(example.exc_msg, exc_msg, self.optionflags):
1244 outcome = SUCCESS
1245
1246 # Another chance if they didn't care about the detail.
1247 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1248 m1 = re.match(r'[^:]*:', example.exc_msg)
1249 m2 = re.match(r'[^:]*:', exc_msg)
1250 if m1 and m2 and check(m1.group(0), m2.group(0),
1251 self.optionflags):
1252 outcome = SUCCESS
1253
1254 # Report the outcome.
1255 if outcome is SUCCESS:
1256 if not quiet:
1257 self.report_success(out, test, example, got)
1258 elif outcome is FAILURE:
1259 if not quiet:
1260 self.report_failure(out, test, example, got)
1261 failures += 1
1262 elif outcome is BOOM:
1263 if not quiet:
1264 self.report_unexpected_exception(out, test, example,
1265 exc_info)
1266 failures += 1
1267 else:
1268 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001269
1270 # Restore the option flags (in case they were modified)
1271 self.optionflags = original_optionflags
1272
1273 # Record and return the number of failures and tries.
1274 self.__record_outcome(test, failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001275 return failures, tries
1276
Tim Peters8485b562004-08-04 18:46:34 +00001277 def __record_outcome(self, test, f, t):
1278 """
1279 Record the fact that the given DocTest (`test`) generated `f`
1280 failures out of `t` tried examples.
1281 """
1282 f2, t2 = self._name2ft.get(test.name, (0,0))
1283 self._name2ft[test.name] = (f+f2, t+t2)
1284 self.failures += f
1285 self.tries += t
1286
Edward Loper2de91ba2004-08-27 02:07:46 +00001287 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1288 r'(?P<name>[\w\.]+)'
1289 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001290 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001291 m = self.__LINECACHE_FILENAME_RE.match(filename)
1292 if m and m.group('name') == self.test.name:
1293 example = self.test.examples[int(m.group('examplenum'))]
1294 return example.source.splitlines(True)
1295 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001296 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001297
Tim Peters8485b562004-08-04 18:46:34 +00001298 def run(self, test, compileflags=None, out=None, clear_globs=True):
1299 """
1300 Run the examples in `test`, and display the results using the
1301 writer function `out`.
1302
1303 The examples are run in the namespace `test.globs`. If
1304 `clear_globs` is true (the default), then this namespace will
1305 be cleared after the test runs, to help with garbage
1306 collection. If you would like to examine the namespace after
1307 the test completes, then use `clear_globs=False`.
1308
1309 `compileflags` gives the set of flags that should be used by
1310 the Python compiler when running the examples. If not
1311 specified, then it will default to the set of future-import
1312 flags that apply to `globs`.
1313
1314 The output of each example is checked using
1315 `DocTestRunner.check_output`, and the results are formatted by
1316 the `DocTestRunner.report_*` methods.
1317 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001318 self.test = test
1319
Tim Peters8485b562004-08-04 18:46:34 +00001320 if compileflags is None:
1321 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001322
Tim Peters6c542b72004-08-09 16:43:36 +00001323 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001324 if out is None:
Tim Peters6c542b72004-08-09 16:43:36 +00001325 out = save_stdout.write
1326 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001327
Edward Loper2de91ba2004-08-27 02:07:46 +00001328 # Patch pdb.set_trace to restore sys.stdout during interactive
1329 # debugging (so it's not still redirected to self._fakeout).
1330 # Note that the interactive output will go to *our*
1331 # save_stdout, even if that's not the real sys.stdout; this
1332 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001333 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001334 self.debugger = _OutputRedirectingPdb(save_stdout)
1335 self.debugger.reset()
1336 pdb.set_trace = self.debugger.set_trace
1337
1338 # Patch linecache.getlines, so we can see the example's source
1339 # when we're inside the debugger.
1340 self.save_linecache_getlines = linecache.getlines
1341 linecache.getlines = self.__patched_linecache_getlines
1342
Tim Peters8485b562004-08-04 18:46:34 +00001343 try:
Tim Peters8485b562004-08-04 18:46:34 +00001344 return self.__run(test, compileflags, out)
1345 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001346 sys.stdout = save_stdout
1347 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001348 linecache.getlines = self.save_linecache_getlines
Tim Peters8485b562004-08-04 18:46:34 +00001349 if clear_globs:
1350 test.globs.clear()
1351
1352 #/////////////////////////////////////////////////////////////////
1353 # Summarization
1354 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001355 def summarize(self, verbose=None):
1356 """
Tim Peters8485b562004-08-04 18:46:34 +00001357 Print a summary of all the test cases that have been run by
1358 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1359 the total number of failed examples, and `t` is the total
1360 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001361
Tim Peters8485b562004-08-04 18:46:34 +00001362 The optional `verbose` argument controls how detailed the
1363 summary is. If the verbosity is not specified, then the
1364 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001365 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001366 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001367 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001368 notests = []
1369 passed = []
1370 failed = []
1371 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001372 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001373 name, (f, t) = x
1374 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001375 totalt += t
1376 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001377 if t == 0:
1378 notests.append(name)
1379 elif f == 0:
1380 passed.append( (name, t) )
1381 else:
1382 failed.append(x)
1383 if verbose:
1384 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001385 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001386 notests.sort()
1387 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001388 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001389 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001390 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001391 passed.sort()
1392 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001393 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001394 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001395 print(self.DIVIDER)
1396 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001397 failed.sort()
1398 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001399 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001400 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001401 print(totalt, "tests in", len(self._name2ft), "items.")
1402 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001403 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001404 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001405 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001406 print("Test passed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001407 return totalf, totalt
1408
Tim Peters82076ef2004-09-13 00:52:51 +00001409 #/////////////////////////////////////////////////////////////////
1410 # Backward compatibility cruft to maintain doctest.master.
1411 #/////////////////////////////////////////////////////////////////
1412 def merge(self, other):
1413 d = self._name2ft
1414 for name, (f, t) in other._name2ft.items():
1415 if name in d:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001416 print("*** DocTestRunner.merge: '" + name + "' in both" \
1417 " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001418 f2, t2 = d[name]
1419 f = f + f2
1420 t = t + t2
1421 d[name] = f, t
1422
Edward Loper34fcb142004-08-09 02:45:41 +00001423class OutputChecker:
1424 """
1425 A class used to check the whether the actual output from a doctest
1426 example matches the expected output. `OutputChecker` defines two
1427 methods: `check_output`, which compares a given pair of outputs,
1428 and returns true if they match; and `output_difference`, which
1429 returns a string describing the differences between two outputs.
1430 """
1431 def check_output(self, want, got, optionflags):
1432 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001433 Return True iff the actual output from an example (`got`)
1434 matches the expected output (`want`). These strings are
1435 always considered to match if they are identical; but
1436 depending on what option flags the test runner is using,
1437 several non-exact match types are also possible. See the
1438 documentation for `TestRunner` for more information about
1439 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001440 """
1441 # Handle the common case first, for efficiency:
1442 # if they're string-identical, always return true.
1443 if got == want:
1444 return True
1445
1446 # The values True and False replaced 1 and 0 as the return
1447 # value for boolean comparisons in Python 2.3.
1448 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1449 if (got,want) == ("True\n", "1\n"):
1450 return True
1451 if (got,want) == ("False\n", "0\n"):
1452 return True
1453
1454 # <BLANKLINE> can be used as a special sequence to signify a
1455 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1456 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1457 # Replace <BLANKLINE> in want with a blank line.
1458 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1459 '', want)
1460 # If a line in got contains only spaces, then remove the
1461 # spaces.
1462 got = re.sub('(?m)^\s*?$', '', got)
1463 if got == want:
1464 return True
1465
1466 # This flag causes doctest to ignore any differences in the
1467 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001468 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001469 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001470 got = ' '.join(got.split())
1471 want = ' '.join(want.split())
1472 if got == want:
1473 return True
1474
1475 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001476 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001477 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001478 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001479 return True
1480
1481 # We didn't find any match; return false.
1482 return False
1483
Tim Petersc6cbab02004-08-22 19:43:28 +00001484 # Should we do a fancy diff?
1485 def _do_a_fancy_diff(self, want, got, optionflags):
1486 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001487 if not optionflags & (REPORT_UDIFF |
1488 REPORT_CDIFF |
1489 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001490 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001491
Tim Petersc6cbab02004-08-22 19:43:28 +00001492 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001493 # too hard ... or maybe not. In two real-life failures Tim saw,
1494 # a diff was a major help anyway, so this is commented out.
1495 # [todo] _ellipsis_match() knows which pieces do and don't match,
1496 # and could be the basis for a kick-ass diff in this case.
1497 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1498 ## return False
1499
Tim Petersc6cbab02004-08-22 19:43:28 +00001500 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001501 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001502 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001503 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001504
Tim Petersc6cbab02004-08-22 19:43:28 +00001505 # The other diff types need at least a few lines to be helpful.
1506 return want.count('\n') > 2 and got.count('\n') > 2
1507
Edward Loperca9111e2004-08-26 03:00:24 +00001508 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001509 """
1510 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001511 expected output for a given example (`example`) and the actual
1512 output (`got`). `optionflags` is the set of option flags used
1513 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001514 """
Edward Loperca9111e2004-08-26 03:00:24 +00001515 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001516 # If <BLANKLINE>s are being used, then replace blank lines
1517 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001518 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001519 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001520
Tim Peters5b799c12004-08-26 05:21:59 +00001521 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001522 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001523 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001524 want_lines = want.splitlines(True) # True == keep line ends
1525 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001526 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001527 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001528 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1529 diff = list(diff)[2:] # strip the diff header
1530 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001531 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001532 diff = difflib.context_diff(want_lines, got_lines, n=2)
1533 diff = list(diff)[2:] # strip the diff header
1534 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001535 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001536 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1537 diff = list(engine.compare(want_lines, got_lines))
1538 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001539 else:
1540 assert 0, 'Bad diff option'
1541 # Remove trailing whitespace on diff output.
1542 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001543 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001544
1545 # If we're not using diff, then simply list the expected
1546 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001547 if want and got:
1548 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1549 elif want:
1550 return 'Expected:\n%sGot nothing\n' % _indent(want)
1551 elif got:
1552 return 'Expected nothing\nGot:\n%s' % _indent(got)
1553 else:
1554 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001555
Tim Peters19397e52004-08-06 22:02:59 +00001556class DocTestFailure(Exception):
1557 """A DocTest example has failed in debugging mode.
1558
1559 The exception instance has variables:
1560
1561 - test: the DocTest object being run
1562
Neal Norwitzc082cb72006-08-29 05:40:08 +00001563 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001564
1565 - got: the actual output
1566 """
1567 def __init__(self, test, example, got):
1568 self.test = test
1569 self.example = example
1570 self.got = got
1571
1572 def __str__(self):
1573 return str(self.test)
1574
1575class UnexpectedException(Exception):
1576 """A DocTest example has encountered an unexpected exception
1577
1578 The exception instance has variables:
1579
1580 - test: the DocTest object being run
1581
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001582 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001583
1584 - exc_info: the exception info
1585 """
1586 def __init__(self, test, example, exc_info):
1587 self.test = test
1588 self.example = example
1589 self.exc_info = exc_info
1590
1591 def __str__(self):
1592 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001593
Tim Peters19397e52004-08-06 22:02:59 +00001594class DebugRunner(DocTestRunner):
1595 r"""Run doc tests but raise an exception as soon as there is a failure.
1596
1597 If an unexpected exception occurs, an UnexpectedException is raised.
1598 It contains the test, the example, and the original exception:
1599
1600 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001601 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1602 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001603 >>> try:
1604 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001605 ... except UnexpectedException as f:
1606 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001607
1608 >>> failure.test is test
1609 True
1610
1611 >>> failure.example.want
1612 '42\n'
1613
1614 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001615 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001616 Traceback (most recent call last):
1617 ...
1618 KeyError
1619
1620 We wrap the original exception to give the calling application
1621 access to the test and example information.
1622
1623 If the output doesn't match, then a DocTestFailure is raised:
1624
Edward Lopera1ef6112004-08-09 16:14:41 +00001625 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001626 ... >>> x = 1
1627 ... >>> x
1628 ... 2
1629 ... ''', {}, 'foo', 'foo.py', 0)
1630
1631 >>> try:
1632 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001633 ... except DocTestFailure as f:
1634 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001635
1636 DocTestFailure objects provide access to the test:
1637
1638 >>> failure.test is test
1639 True
1640
1641 As well as to the example:
1642
1643 >>> failure.example.want
1644 '2\n'
1645
1646 and the actual output:
1647
1648 >>> failure.got
1649 '1\n'
1650
1651 If a failure or error occurs, the globals are left intact:
1652
1653 >>> del test.globs['__builtins__']
1654 >>> test.globs
1655 {'x': 1}
1656
Edward Lopera1ef6112004-08-09 16:14:41 +00001657 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001658 ... >>> x = 2
1659 ... >>> raise KeyError
1660 ... ''', {}, 'foo', 'foo.py', 0)
1661
1662 >>> runner.run(test)
1663 Traceback (most recent call last):
1664 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001665 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001666
Tim Peters19397e52004-08-06 22:02:59 +00001667 >>> del test.globs['__builtins__']
1668 >>> test.globs
1669 {'x': 2}
1670
1671 But the globals are cleared if there is no error:
1672
Edward Lopera1ef6112004-08-09 16:14:41 +00001673 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001674 ... >>> x = 2
1675 ... ''', {}, 'foo', 'foo.py', 0)
1676
1677 >>> runner.run(test)
1678 (0, 1)
1679
1680 >>> test.globs
1681 {}
1682
1683 """
1684
1685 def run(self, test, compileflags=None, out=None, clear_globs=True):
1686 r = DocTestRunner.run(self, test, compileflags, out, False)
1687 if clear_globs:
1688 test.globs.clear()
1689 return r
1690
1691 def report_unexpected_exception(self, out, test, example, exc_info):
1692 raise UnexpectedException(test, example, exc_info)
1693
1694 def report_failure(self, out, test, example, got):
1695 raise DocTestFailure(test, example, got)
1696
Tim Peters8485b562004-08-04 18:46:34 +00001697######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001698## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001699######################################################################
1700# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001701
Tim Peters82076ef2004-09-13 00:52:51 +00001702# For backward compatibility, a global instance of a DocTestRunner
1703# class, updated by testmod.
1704master = None
1705
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001706def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001707 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001708 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001709 """m=None, name=None, globs=None, verbose=None, report=True,
1710 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001711 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001712
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001713 Test examples in docstrings in functions and classes reachable
1714 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001715 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001716
1717 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001718 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001719 function and class docstrings are tested even if the name is private;
1720 strings are tested directly, as if they were docstrings.
1721
1722 Return (#failures, #tests).
1723
1724 See doctest.__doc__ for an overview.
1725
1726 Optional keyword arg "name" gives the name of the module; by default
1727 use m.__name__.
1728
1729 Optional keyword arg "globs" gives a dict to be used as the globals
1730 when executing examples; by default, use m.__dict__. A copy of this
1731 dict is actually used for each docstring, so that each docstring's
1732 examples start with a clean slate.
1733
Tim Peters8485b562004-08-04 18:46:34 +00001734 Optional keyword arg "extraglobs" gives a dictionary that should be
1735 merged into the globals that are used to execute examples. By
1736 default, no extra globals are used. This is new in 2.4.
1737
Tim Peters8a7d2d52001-01-16 07:10:57 +00001738 Optional keyword arg "verbose" prints lots of stuff if true, prints
1739 only failures if false; by default, it's true iff "-v" is in sys.argv.
1740
Tim Peters8a7d2d52001-01-16 07:10:57 +00001741 Optional keyword arg "report" prints a summary at the end when true,
1742 else prints nothing at the end. In verbose mode, the summary is
1743 detailed, else very brief (in fact, empty if all tests passed).
1744
Tim Peters6ebe61f2003-06-27 20:48:05 +00001745 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001746 and defaults to 0. This is new in 2.3. Possible values (see the
1747 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001748
1749 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001750 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001751 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001752 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001753 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001754 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001755 REPORT_UDIFF
1756 REPORT_CDIFF
1757 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001758 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001759
1760 Optional keyword arg "raise_on_error" raises an exception on the
1761 first unexpected exception or failure. This allows failures to be
1762 post-mortem debugged.
1763
Tim Peters8a7d2d52001-01-16 07:10:57 +00001764 Advanced tomfoolery: testmod runs methods of a local instance of
1765 class doctest.Tester, then merges the results into (or creates)
1766 global Tester instance doctest.master. Methods of doctest.master
1767 can be called directly too, if you want to do something unusual.
1768 Passing report=0 to testmod is especially useful then, to delay
1769 displaying a summary. Invoke doctest.master.summarize(verbose)
1770 when you're done fiddling.
1771 """
Tim Peters82076ef2004-09-13 00:52:51 +00001772 global master
1773
Tim Peters8485b562004-08-04 18:46:34 +00001774 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001775 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001776 # DWA - m will still be None if this wasn't invoked from the command
1777 # line, in which case the following TypeError is about as good an error
1778 # as we should expect
1779 m = sys.modules.get('__main__')
1780
Tim Peters8485b562004-08-04 18:46:34 +00001781 # Check that we were actually given a module.
1782 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001783 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001784
1785 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001786 if name is None:
1787 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001788
1789 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001790 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001791
1792 if raise_on_error:
1793 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1794 else:
1795 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1796
Tim Peters8485b562004-08-04 18:46:34 +00001797 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1798 runner.run(test)
1799
Tim Peters8a7d2d52001-01-16 07:10:57 +00001800 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001801 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001802
Tim Peters82076ef2004-09-13 00:52:51 +00001803 if master is None:
1804 master = runner
1805 else:
1806 master.merge(runner)
1807
Tim Peters8485b562004-08-04 18:46:34 +00001808 return runner.failures, runner.tries
Tim Petersdb3756d2003-06-29 05:30:48 +00001809
Edward Loper052d0cd2004-09-19 17:19:33 +00001810def testfile(filename, module_relative=True, name=None, package=None,
1811 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001812 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1813 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001814 """
1815 Test examples in the given file. Return (#failures, #tests).
1816
1817 Optional keyword arg "module_relative" specifies how filenames
1818 should be interpreted:
1819
1820 - If "module_relative" is True (the default), then "filename"
1821 specifies a module-relative path. By default, this path is
1822 relative to the calling module's directory; but if the
1823 "package" argument is specified, then it is relative to that
1824 package. To ensure os-independence, "filename" should use
1825 "/" characters to separate path segments, and should not
1826 be an absolute path (i.e., it may not begin with "/").
1827
1828 - If "module_relative" is False, then "filename" specifies an
1829 os-specific path. The path may be absolute or relative (to
1830 the current working directory).
1831
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001832 Optional keyword arg "name" gives the name of the test; by default
1833 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001834
1835 Optional keyword argument "package" is a Python package or the
1836 name of a Python package whose directory should be used as the
1837 base directory for a module relative filename. If no package is
1838 specified, then the calling module's directory is used as the base
1839 directory for module relative filenames. It is an error to
1840 specify "package" if "module_relative" is False.
1841
1842 Optional keyword arg "globs" gives a dict to be used as the globals
1843 when executing examples; by default, use {}. A copy of this dict
1844 is actually used for each docstring, so that each docstring's
1845 examples start with a clean slate.
1846
1847 Optional keyword arg "extraglobs" gives a dictionary that should be
1848 merged into the globals that are used to execute examples. By
1849 default, no extra globals are used.
1850
1851 Optional keyword arg "verbose" prints lots of stuff if true, prints
1852 only failures if false; by default, it's true iff "-v" is in sys.argv.
1853
1854 Optional keyword arg "report" prints a summary at the end when true,
1855 else prints nothing at the end. In verbose mode, the summary is
1856 detailed, else very brief (in fact, empty if all tests passed).
1857
1858 Optional keyword arg "optionflags" or's together module constants,
1859 and defaults to 0. Possible values (see the docs for details):
1860
1861 DONT_ACCEPT_TRUE_FOR_1
1862 DONT_ACCEPT_BLANKLINE
1863 NORMALIZE_WHITESPACE
1864 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001865 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001866 IGNORE_EXCEPTION_DETAIL
1867 REPORT_UDIFF
1868 REPORT_CDIFF
1869 REPORT_NDIFF
1870 REPORT_ONLY_FIRST_FAILURE
1871
1872 Optional keyword arg "raise_on_error" raises an exception on the
1873 first unexpected exception or failure. This allows failures to be
1874 post-mortem debugged.
1875
Edward Loper498a1862004-09-27 03:42:58 +00001876 Optional keyword arg "parser" specifies a DocTestParser (or
1877 subclass) that should be used to extract tests from the files.
1878
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001879 Optional keyword arg "encoding" specifies an encoding that should
1880 be used to convert the file to unicode.
1881
Edward Loper052d0cd2004-09-19 17:19:33 +00001882 Advanced tomfoolery: testmod runs methods of a local instance of
1883 class doctest.Tester, then merges the results into (or creates)
1884 global Tester instance doctest.master. Methods of doctest.master
1885 can be called directly too, if you want to do something unusual.
1886 Passing report=0 to testmod is especially useful then, to delay
1887 displaying a summary. Invoke doctest.master.summarize(verbose)
1888 when you're done fiddling.
1889 """
1890 global master
1891
1892 if package and not module_relative:
1893 raise ValueError("Package may only be specified for module-"
1894 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001895
Edward Loper052d0cd2004-09-19 17:19:33 +00001896 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00001897 text, filename = _load_testfile(filename, package, module_relative,
1898 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00001899
1900 # If no name was given, then use the file's name.
1901 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001902 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001903
1904 # Assemble the globals.
1905 if globs is None:
1906 globs = {}
1907 else:
1908 globs = globs.copy()
1909 if extraglobs is not None:
1910 globs.update(extraglobs)
1911
1912 if raise_on_error:
1913 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1914 else:
1915 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1916
1917 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001918 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001919 runner.run(test)
1920
1921 if report:
1922 runner.summarize()
1923
1924 if master is None:
1925 master = runner
1926 else:
1927 master.merge(runner)
1928
1929 return runner.failures, runner.tries
1930
Tim Peters8485b562004-08-04 18:46:34 +00001931def run_docstring_examples(f, globs, verbose=False, name="NoName",
1932 compileflags=None, optionflags=0):
1933 """
1934 Test examples in the given object's docstring (`f`), using `globs`
1935 as globals. Optional argument `name` is used in failure messages.
1936 If the optional argument `verbose` is true, then generate output
1937 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00001938
Tim Peters8485b562004-08-04 18:46:34 +00001939 `compileflags` gives the set of flags that should be used by the
1940 Python compiler when running the examples. If not specified, then
1941 it will default to the set of future-import flags that apply to
1942 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00001943
Tim Peters8485b562004-08-04 18:46:34 +00001944 Optional keyword arg `optionflags` specifies options for the
1945 testing and output. See the documentation for `testmod` for more
1946 information.
1947 """
1948 # Find, parse, and run all tests in the given module.
1949 finder = DocTestFinder(verbose=verbose, recurse=False)
1950 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1951 for test in finder.find(f, name, globs=globs):
1952 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001953
Tim Peters8485b562004-08-04 18:46:34 +00001954######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001955## 7. Tester
Tim Peters8485b562004-08-04 18:46:34 +00001956######################################################################
1957# This is provided only for backwards compatibility. It's not
1958# actually used in any way.
Tim Petersdb3756d2003-06-29 05:30:48 +00001959
Tim Peters8485b562004-08-04 18:46:34 +00001960class Tester:
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001961 def __init__(self, mod=None, globs=None, verbose=None, optionflags=0):
Tim Peters3ddd60a2004-08-08 02:43:33 +00001962
1963 warnings.warn("class Tester is deprecated; "
1964 "use class doctest.DocTestRunner instead",
1965 DeprecationWarning, stacklevel=2)
Tim Peters8485b562004-08-04 18:46:34 +00001966 if mod is None and globs is None:
1967 raise TypeError("Tester.__init__: must specify mod or globs")
Tim Peters4be7a922004-09-12 22:39:46 +00001968 if mod is not None and not inspect.ismodule(mod):
Tim Peters8485b562004-08-04 18:46:34 +00001969 raise TypeError("Tester.__init__: mod must be a module; %r" %
1970 (mod,))
1971 if globs is None:
1972 globs = mod.__dict__
1973 self.globs = globs
Tim Petersdb3756d2003-06-29 05:30:48 +00001974
Tim Peters8485b562004-08-04 18:46:34 +00001975 self.verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +00001976 self.optionflags = optionflags
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001977 self.testfinder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00001978 self.testrunner = DocTestRunner(verbose=verbose,
1979 optionflags=optionflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001980
Tim Peters8485b562004-08-04 18:46:34 +00001981 def runstring(self, s, name):
Edward Lopera1ef6112004-08-09 16:14:41 +00001982 test = DocTestParser().get_doctest(s, self.globs, name, None, None)
Tim Peters8485b562004-08-04 18:46:34 +00001983 if self.verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001984 print("Running string", name)
Tim Peters8485b562004-08-04 18:46:34 +00001985 (f,t) = self.testrunner.run(test)
1986 if self.verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001987 print(f, "of", t, "examples failed in string", name)
Tim Peters8485b562004-08-04 18:46:34 +00001988 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00001989
Tim Petersf3f57472004-08-08 06:11:48 +00001990 def rundoc(self, object, name=None, module=None):
Tim Peters8485b562004-08-04 18:46:34 +00001991 f = t = 0
1992 tests = self.testfinder.find(object, name, module=module,
Tim Petersf3f57472004-08-08 06:11:48 +00001993 globs=self.globs)
Tim Peters8485b562004-08-04 18:46:34 +00001994 for test in tests:
1995 (f2, t2) = self.testrunner.run(test)
1996 (f,t) = (f+f2, t+t2)
1997 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00001998
Tim Peters8485b562004-08-04 18:46:34 +00001999 def rundict(self, d, name, module=None):
2000 import new
2001 m = new.module(name)
2002 m.__dict__.update(d)
Tim Petersf3f57472004-08-08 06:11:48 +00002003 if module is None:
2004 module = False
2005 return self.rundoc(m, name, module)
Tim Petersdb3756d2003-06-29 05:30:48 +00002006
Tim Peters8485b562004-08-04 18:46:34 +00002007 def run__test__(self, d, name):
2008 import new
2009 m = new.module(name)
2010 m.__test__ = d
Tim Peters9661f9a2004-09-12 22:45:17 +00002011 return self.rundoc(m, name)
Tim Petersdb3756d2003-06-29 05:30:48 +00002012
Tim Peters8485b562004-08-04 18:46:34 +00002013 def summarize(self, verbose=None):
2014 return self.testrunner.summarize(verbose)
Tim Petersdb3756d2003-06-29 05:30:48 +00002015
Tim Peters8485b562004-08-04 18:46:34 +00002016 def merge(self, other):
Tim Peters82076ef2004-09-13 00:52:51 +00002017 self.testrunner.merge(other.testrunner)
Tim Petersdb3756d2003-06-29 05:30:48 +00002018
Tim Peters8485b562004-08-04 18:46:34 +00002019######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002020## 8. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002021######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002022
Jim Fultonf54bad42004-08-28 14:57:56 +00002023_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002024
Jim Fultonf54bad42004-08-28 14:57:56 +00002025def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002026 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002027
2028 The old flag is returned so that a runner could restore the old
2029 value if it wished to:
2030
Tim Petersb7e99b62005-03-28 23:50:54 +00002031 >>> import doctest
2032 >>> old = doctest._unittest_reportflags
2033 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002034 ... REPORT_ONLY_FIRST_FAILURE) == old
2035 True
2036
Jim Fultonf54bad42004-08-28 14:57:56 +00002037 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2038 ... REPORT_ONLY_FIRST_FAILURE)
2039 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002040
Jim Fultonf54bad42004-08-28 14:57:56 +00002041 Only reporting flags can be set:
2042
Tim Petersb7e99b62005-03-28 23:50:54 +00002043 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002044 Traceback (most recent call last):
2045 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002046 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002047
Tim Petersb7e99b62005-03-28 23:50:54 +00002048 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002049 ... REPORT_ONLY_FIRST_FAILURE)
2050 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002051 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002052 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002053
2054 if (flags & REPORTING_FLAGS) != flags:
2055 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002056 old = _unittest_reportflags
2057 _unittest_reportflags = flags
2058 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002059
Jim Fultonf54bad42004-08-28 14:57:56 +00002060
Tim Peters19397e52004-08-06 22:02:59 +00002061class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002062
Edward Loper34fcb142004-08-09 02:45:41 +00002063 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2064 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002065
Jim Fultona643b652004-07-14 19:06:50 +00002066 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002067 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002068 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002069 self._dt_test = test
2070 self._dt_setUp = setUp
2071 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002072
Jim Fultona643b652004-07-14 19:06:50 +00002073 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002074 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002075
Tim Peters19397e52004-08-06 22:02:59 +00002076 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002077 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002078
2079 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002080 test = self._dt_test
2081
Tim Peters19397e52004-08-06 22:02:59 +00002082 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002083 self._dt_tearDown(test)
2084
2085 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002086
2087 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002088 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002089 old = sys.stdout
2090 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002091 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002092
Tim Peters38330fe2004-08-30 16:19:24 +00002093 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002094 # The option flags don't include any reporting flags,
2095 # so add the default reporting flags
2096 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002097
Jim Fultonf54bad42004-08-28 14:57:56 +00002098 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002099 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002100
Jim Fultona643b652004-07-14 19:06:50 +00002101 try:
Tim Peters19397e52004-08-06 22:02:59 +00002102 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002103 failures, tries = runner.run(
2104 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002105 finally:
2106 sys.stdout = old
2107
2108 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002109 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002110
Tim Peters19397e52004-08-06 22:02:59 +00002111 def format_failure(self, err):
2112 test = self._dt_test
2113 if test.lineno is None:
2114 lineno = 'unknown line number'
2115 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002116 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002117 lname = '.'.join(test.name.split('.')[-1:])
2118 return ('Failed doctest test for %s\n'
2119 ' File "%s", line %s, in %s\n\n%s'
2120 % (test.name, test.filename, lineno, lname, err)
2121 )
2122
2123 def debug(self):
2124 r"""Run the test case without results and without catching exceptions
2125
2126 The unit test framework includes a debug method on test cases
2127 and test suites to support post-mortem debugging. The test code
2128 is run in such a way that errors are not caught. This way a
2129 caller can catch the errors and initiate post-mortem debugging.
2130
2131 The DocTestCase provides a debug method that raises
2132 UnexpectedException errors if there is an unexepcted
2133 exception:
2134
Edward Lopera1ef6112004-08-09 16:14:41 +00002135 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002136 ... {}, 'foo', 'foo.py', 0)
2137 >>> case = DocTestCase(test)
2138 >>> try:
2139 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002140 ... except UnexpectedException as f:
2141 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002142
2143 The UnexpectedException contains the test, the example, and
2144 the original exception:
2145
2146 >>> failure.test is test
2147 True
2148
2149 >>> failure.example.want
2150 '42\n'
2151
2152 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002153 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002154 Traceback (most recent call last):
2155 ...
2156 KeyError
2157
2158 If the output doesn't match, then a DocTestFailure is raised:
2159
Edward Lopera1ef6112004-08-09 16:14:41 +00002160 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002161 ... >>> x = 1
2162 ... >>> x
2163 ... 2
2164 ... ''', {}, 'foo', 'foo.py', 0)
2165 >>> case = DocTestCase(test)
2166
2167 >>> try:
2168 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002169 ... except DocTestFailure as f:
2170 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002171
2172 DocTestFailure objects provide access to the test:
2173
2174 >>> failure.test is test
2175 True
2176
2177 As well as to the example:
2178
2179 >>> failure.example.want
2180 '2\n'
2181
2182 and the actual output:
2183
2184 >>> failure.got
2185 '1\n'
2186
2187 """
2188
Jim Fultonf54bad42004-08-28 14:57:56 +00002189 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002190 runner = DebugRunner(optionflags=self._dt_optionflags,
2191 checker=self._dt_checker, verbose=False)
Edward Loper3a3817f2004-08-19 19:26:06 +00002192 runner.run(self._dt_test)
Jim Fultonf54bad42004-08-28 14:57:56 +00002193 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002194
2195 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002196 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002197
2198 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002199 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002200 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2201
2202 __str__ = __repr__
2203
2204 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002205 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002206
Jim Fultonf54bad42004-08-28 14:57:56 +00002207def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2208 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002209 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002210 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002211
Tim Peters19397e52004-08-06 22:02:59 +00002212 This converts each documentation string in a module that
2213 contains doctest tests to a unittest test case. If any of the
2214 tests in a doc string fail, then the test case fails. An exception
2215 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002216 (sometimes approximate) line number.
2217
Tim Peters19397e52004-08-06 22:02:59 +00002218 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002219 can be either a module or a module name.
2220
2221 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002222
2223 A number of options may be provided as keyword arguments:
2224
Jim Fultonf54bad42004-08-28 14:57:56 +00002225 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002226 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002227 tests in each file. The setUp function will be passed a DocTest
2228 object. The setUp function can access the test globals as the
2229 globs attribute of the test passed.
2230
2231 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002232 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002233 tests in each file. The tearDown function will be passed a DocTest
2234 object. The tearDown function can access the test globals as the
2235 globs attribute of the test passed.
2236
2237 globs
2238 A dictionary containing initial global variables for the tests.
2239
2240 optionflags
2241 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002242 """
Jim Fultona643b652004-07-14 19:06:50 +00002243
Tim Peters8485b562004-08-04 18:46:34 +00002244 if test_finder is None:
2245 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002246
Tim Peters19397e52004-08-06 22:02:59 +00002247 module = _normalize_module(module)
2248 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
2249 if globs is None:
2250 globs = module.__dict__
Jim Fultonf54bad42004-08-28 14:57:56 +00002251 if not tests:
2252 # Why do we want to do this? Because it reveals a bug that might
2253 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002254 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002255
2256 tests.sort()
2257 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002258 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002259 if len(test.examples) == 0:
2260 continue
Tim Peters8485b562004-08-04 18:46:34 +00002261 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002262 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002263 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002264 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002265 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002266 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002267
2268 return suite
2269
2270class DocFileCase(DocTestCase):
2271
2272 def id(self):
2273 return '_'.join(self._dt_test.name.split('.'))
2274
2275 def __repr__(self):
2276 return self._dt_test.filename
2277 __str__ = __repr__
2278
2279 def format_failure(self, err):
2280 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2281 % (self._dt_test.name, self._dt_test.filename, err)
2282 )
2283
Edward Loper052d0cd2004-09-19 17:19:33 +00002284def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002285 globs=None, parser=DocTestParser(),
2286 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002287 if globs is None:
2288 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002289 else:
2290 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002291
Edward Loper052d0cd2004-09-19 17:19:33 +00002292 if package and not module_relative:
2293 raise ValueError("Package may only be specified for module-"
2294 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002295
Edward Loper052d0cd2004-09-19 17:19:33 +00002296 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002297 doc, path = _load_testfile(path, package, module_relative,
2298 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002299
Fred Drake7c404a42004-12-21 23:46:34 +00002300 if "__file__" not in globs:
2301 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002302
Edward Loper052d0cd2004-09-19 17:19:33 +00002303 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002304 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002305
2306 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002307 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002308 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002309
2310def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002311 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002312
Edward Loper052d0cd2004-09-19 17:19:33 +00002313 The path to each doctest file is given as a string; the
2314 interpretation of that string depends on the keyword argument
2315 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002316
2317 A number of options may be provided as keyword arguments:
2318
Edward Loper052d0cd2004-09-19 17:19:33 +00002319 module_relative
2320 If "module_relative" is True, then the given file paths are
2321 interpreted as os-independent module-relative paths. By
2322 default, these paths are relative to the calling module's
2323 directory; but if the "package" argument is specified, then
2324 they are relative to that package. To ensure os-independence,
2325 "filename" should use "/" characters to separate path
2326 segments, and may not be an absolute path (i.e., it may not
2327 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002328
Edward Loper052d0cd2004-09-19 17:19:33 +00002329 If "module_relative" is False, then the given file paths are
2330 interpreted as os-specific paths. These paths may be absolute
2331 or relative (to the current working directory).
2332
Tim Peters19397e52004-08-06 22:02:59 +00002333 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002334 A Python package or the name of a Python package whose directory
2335 should be used as the base directory for module relative paths.
2336 If "package" is not specified, then the calling module's
2337 directory is used as the base directory for module relative
2338 filenames. It is an error to specify "package" if
2339 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002340
2341 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002342 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002343 tests in each file. The setUp function will be passed a DocTest
2344 object. The setUp function can access the test globals as the
2345 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002346
2347 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002348 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002349 tests in each file. The tearDown function will be passed a DocTest
2350 object. The tearDown function can access the test globals as the
2351 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002352
2353 globs
2354 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002355
2356 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002357 A set of doctest option flags expressed as an integer.
2358
2359 parser
2360 A DocTestParser (or subclass) that should be used to extract
2361 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002362
2363 encoding
2364 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002365 """
2366 suite = unittest.TestSuite()
2367
2368 # We do this here so that _normalize_module is called at the right
2369 # level. If it were called in DocFileTest, then this function
2370 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002371 if kw.get('module_relative', True):
2372 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002373
2374 for path in paths:
2375 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002376
Tim Petersdb3756d2003-06-29 05:30:48 +00002377 return suite
2378
Tim Peters8485b562004-08-04 18:46:34 +00002379######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002380## 9. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002381######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002382
Tim Peters19397e52004-08-06 22:02:59 +00002383def script_from_examples(s):
2384 r"""Extract script from text with examples.
2385
2386 Converts text with examples to a Python script. Example input is
2387 converted to regular code. Example output and all other words
2388 are converted to comments:
2389
2390 >>> text = '''
2391 ... Here are examples of simple math.
2392 ...
2393 ... Python has super accurate integer addition
2394 ...
2395 ... >>> 2 + 2
2396 ... 5
2397 ...
2398 ... And very friendly error messages:
2399 ...
2400 ... >>> 1/0
2401 ... To Infinity
2402 ... And
2403 ... Beyond
2404 ...
2405 ... You can use logic if you want:
2406 ...
2407 ... >>> if 0:
2408 ... ... blah
2409 ... ... blah
2410 ... ...
2411 ...
2412 ... Ho hum
2413 ... '''
2414
Guido van Rossum7131f842007-02-09 20:13:25 +00002415 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002416 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002417 #
Edward Lopera5db6002004-08-12 02:41:30 +00002418 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002419 #
2420 2 + 2
2421 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002422 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002423 #
Edward Lopera5db6002004-08-12 02:41:30 +00002424 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002425 #
2426 1/0
2427 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002428 ## To Infinity
2429 ## And
2430 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002431 #
Edward Lopera5db6002004-08-12 02:41:30 +00002432 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002433 #
2434 if 0:
2435 blah
2436 blah
Tim Peters19397e52004-08-06 22:02:59 +00002437 #
Edward Lopera5db6002004-08-12 02:41:30 +00002438 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002439 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002440 """
Edward Loper00f8da72004-08-26 18:05:07 +00002441 output = []
2442 for piece in DocTestParser().parse(s):
2443 if isinstance(piece, Example):
2444 # Add the example's source code (strip trailing NL)
2445 output.append(piece.source[:-1])
2446 # Add the expected output:
2447 want = piece.want
2448 if want:
2449 output.append('# Expected:')
2450 output += ['## '+l for l in want.split('\n')[:-1]]
2451 else:
2452 # Add non-example text.
2453 output += [_comment_line(l)
2454 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002455
Edward Loper00f8da72004-08-26 18:05:07 +00002456 # Trim junk on both ends.
2457 while output and output[-1] == '#':
2458 output.pop()
2459 while output and output[0] == '#':
2460 output.pop(0)
2461 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002462 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2463 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002464
2465def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002466 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002467
2468 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002469 test to be debugged and the name (within the module) of the object
2470 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002471 """
Tim Peters8485b562004-08-04 18:46:34 +00002472 module = _normalize_module(module)
2473 tests = DocTestFinder().find(module)
2474 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002475 if not test:
2476 raise ValueError(name, "not found in tests")
2477 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002478 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002479 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002480
Jim Fultona643b652004-07-14 19:06:50 +00002481def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002482 """Debug a single doctest docstring, in argument `src`'"""
2483 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002484 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002485
Jim Fultona643b652004-07-14 19:06:50 +00002486def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002487 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002488 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002489
Tim Petersb6a04d62004-08-23 21:37:56 +00002490 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2491 # docs say, a file so created cannot be opened by name a second time
Neal Norwitz01688022007-08-12 00:43:29 +00002492 # on modern Windows boxes, and exec() needs to open and read it.
Tim Petersb6a04d62004-08-23 21:37:56 +00002493 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002494 f = open(srcfilename, 'w')
2495 f.write(src)
2496 f.close()
2497
Tim Petersb6a04d62004-08-23 21:37:56 +00002498 try:
2499 if globs:
2500 globs = globs.copy()
2501 else:
2502 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002503
Tim Petersb6a04d62004-08-23 21:37:56 +00002504 if pm:
2505 try:
Neal Norwitz01688022007-08-12 00:43:29 +00002506 exec(open(srcfilename).read(), globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002507 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002508 print(sys.exc_info()[1])
Tim Petersb6a04d62004-08-23 21:37:56 +00002509 pdb.post_mortem(sys.exc_info()[2])
2510 else:
Neal Norwitz01688022007-08-12 00:43:29 +00002511 fp = open(srcfilename)
2512 try:
2513 script = fp.read()
2514 finally:
2515 fp.close()
2516 pdb.run("exec(%r)" % script, globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002517
2518 finally:
2519 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002520
Jim Fultona643b652004-07-14 19:06:50 +00002521def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002522 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002523
2524 Provide the module (or dotted name of the module) containing the
2525 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002526 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002527 """
Tim Peters8485b562004-08-04 18:46:34 +00002528 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002529 testsrc = testsource(module, name)
2530 debug_script(testsrc, pm, module.__dict__)
2531
Tim Peters8485b562004-08-04 18:46:34 +00002532######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002533## 10. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002534######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002535class _TestClass:
2536 """
2537 A pointless class, for sanity-checking of docstring testing.
2538
2539 Methods:
2540 square()
2541 get()
2542
2543 >>> _TestClass(13).get() + _TestClass(-12).get()
2544 1
2545 >>> hex(_TestClass(13).square().get())
2546 '0xa9'
2547 """
2548
2549 def __init__(self, val):
2550 """val -> _TestClass object with associated value val.
2551
2552 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002553 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002554 123
2555 """
2556
2557 self.val = val
2558
2559 def square(self):
2560 """square() -> square TestClass's associated value
2561
2562 >>> _TestClass(13).square().get()
2563 169
2564 """
2565
2566 self.val = self.val ** 2
2567 return self
2568
2569 def get(self):
2570 """get() -> return TestClass's associated value.
2571
2572 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002573 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002574 -42
2575 """
2576
2577 return self.val
2578
2579__test__ = {"_TestClass": _TestClass,
2580 "string": r"""
2581 Example of a string object, searched as-is.
2582 >>> x = 1; y = 2
2583 >>> x + y, x * y
2584 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002585 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002586
Tim Peters6ebe61f2003-06-27 20:48:05 +00002587 "bool-int equivalence": r"""
2588 In 2.2, boolean expressions displayed
2589 0 or 1. By default, we still accept
2590 them. This can be disabled by passing
2591 DONT_ACCEPT_TRUE_FOR_1 to the new
2592 optionflags argument.
2593 >>> 4 == 4
2594 1
2595 >>> 4 == 4
2596 True
2597 >>> 4 > 4
2598 0
2599 >>> 4 > 4
2600 False
2601 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002602
Tim Peters8485b562004-08-04 18:46:34 +00002603 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002604 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002605 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002606 foo
2607 <BLANKLINE>
2608 bar
2609 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002610 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002611
2612 "ellipsis": r"""
2613 If the ellipsis flag is used, then '...' can be used to
2614 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002615 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002616 [0, 1, 2, ..., 999]
2617 """,
2618
2619 "whitespace normalization": r"""
2620 If the whitespace normalization flag is used, then
2621 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002622 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002623 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2624 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2625 27, 28, 29]
2626 """,
2627 }
Tim Peters8485b562004-08-04 18:46:34 +00002628
Tim Peters8a7d2d52001-01-16 07:10:57 +00002629def _test():
Guido van Rossumd8faa362007-04-27 19:54:29 +00002630 testfiles = [arg for arg in sys.argv[1:] if arg and arg[0] != '-']
2631 if testfiles:
2632 for filename in testfiles:
2633 if filename.endswith(".py"):
2634 # It is a module -- insert its dir into sys.path and try to
2635 # import it. If it is part of a package, that possibly won't work
2636 # because of package imports.
2637 dirname, filename = os.path.split(filename)
2638 sys.path.insert(0, dirname)
2639 m = __import__(filename[:-3])
2640 del sys.path[0]
2641 testmod(m)
2642 else:
2643 testfile(filename, module_relative=False)
2644 else:
2645 r = unittest.TextTestRunner()
2646 r.run(DocTestSuite())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002647
2648if __name__ == "__main__":
2649 _test()