blob: f135027248007cef93278f5561df291d0f3d1350 [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
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000318 self.__debugger_used = False
Thomas Wouters477c8d52006-05-27 19:21:47 +0000319 pdb.Pdb.__init__(self, stdout=out)
Edward Loper2de91ba2004-08-27 02:07:46 +0000320
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000321 def set_trace(self, frame=None):
322 self.__debugger_used = True
323 if frame is None:
324 frame = sys._getframe().f_back
325 pdb.Pdb.set_trace(self, frame)
326
327 def set_continue(self):
328 # Calling set_continue unconditionally would break unit test
329 # coverage reporting, as Bdb.set_continue calls sys.settrace(None).
330 if self.__debugger_used:
331 pdb.Pdb.set_continue(self)
332
Edward Loper2de91ba2004-08-27 02:07:46 +0000333 def trace_dispatch(self, *args):
334 # Redirect stdout to the given stream.
335 save_stdout = sys.stdout
336 sys.stdout = self.__out
337 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000338 try:
339 return pdb.Pdb.trace_dispatch(self, *args)
340 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000341 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000342
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000343# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000344def _module_relative_path(module, path):
345 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000346 raise TypeError('Expected a module: %r' % module)
Edward Loper052d0cd2004-09-19 17:19:33 +0000347 if path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000348 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000349
350 # Find the base directory for the path.
351 if hasattr(module, '__file__'):
352 # A normal module/package
353 basedir = os.path.split(module.__file__)[0]
354 elif module.__name__ == '__main__':
355 # An interactive session.
356 if len(sys.argv)>0 and sys.argv[0] != '':
357 basedir = os.path.split(sys.argv[0])[0]
358 else:
359 basedir = os.curdir
360 else:
361 # A module w/o __file__ (this includes builtins)
362 raise ValueError("Can't resolve paths relative to the module " +
363 module + " (it has no __file__)")
364
365 # Combine the base directory and the path.
366 return os.path.join(basedir, *(path.split('/')))
367
Tim Peters8485b562004-08-04 18:46:34 +0000368######################################################################
369## 2. Example & DocTest
370######################################################################
371## - An "example" is a <source, want> pair, where "source" is a
372## fragment of source code, and "want" is the expected output for
373## "source." The Example class also includes information about
374## where the example was extracted from.
375##
Edward Lopera1ef6112004-08-09 16:14:41 +0000376## - A "doctest" is a collection of examples, typically extracted from
377## a string (such as an object's docstring). The DocTest class also
378## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000379
Tim Peters8485b562004-08-04 18:46:34 +0000380class Example:
381 """
382 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000383 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000384
Edward Loper74bca7a2004-08-12 02:27:44 +0000385 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000386 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000387
Edward Loper74bca7a2004-08-12 02:27:44 +0000388 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000389 from stdout, or a traceback in case of exception). `want` ends
390 with a newline unless it's empty, in which case it's an empty
391 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000392
Edward Lopera6b68322004-08-26 00:05:43 +0000393 - exc_msg: The exception message generated by the example, if
394 the example is expected to generate an exception; or `None` if
395 it is not expected to generate an exception. This exception
396 message is compared against the return value of
397 `traceback.format_exception_only()`. `exc_msg` ends with a
398 newline unless it's `None`. The constructor adds a newline
399 if needed.
400
Edward Loper74bca7a2004-08-12 02:27:44 +0000401 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000402 this Example where the Example begins. This line number is
403 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000404
405 - indent: The example's indentation in the DocTest string.
406 I.e., the number of space characters that preceed the
407 example's first prompt.
408
409 - options: A dictionary mapping from option flags to True or
410 False, which is used to override default options for this
411 example. Any option flags not contained in this dictionary
412 are left at their default value (as specified by the
413 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000414 """
Edward Lopera6b68322004-08-26 00:05:43 +0000415 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
416 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000417 # Normalize inputs.
418 if not source.endswith('\n'):
419 source += '\n'
420 if want and not want.endswith('\n'):
421 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000422 if exc_msg is not None and not exc_msg.endswith('\n'):
423 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000424 # Store properties.
425 self.source = source
426 self.want = want
427 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000428 self.indent = indent
429 if options is None: options = {}
430 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000431 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000432
Tim Peters8485b562004-08-04 18:46:34 +0000433class DocTest:
434 """
435 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000436 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000437
Tim Peters8485b562004-08-04 18:46:34 +0000438 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000439
Tim Peters8485b562004-08-04 18:46:34 +0000440 - globs: The namespace (aka globals) that the examples should
441 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000442
Tim Peters8485b562004-08-04 18:46:34 +0000443 - name: A name identifying the DocTest (typically, the name of
444 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000445
Tim Peters8485b562004-08-04 18:46:34 +0000446 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000447 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000448
Tim Peters8485b562004-08-04 18:46:34 +0000449 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000450 begins, or `None` if the line number is unavailable. This
451 line number is zero-based, with respect to the beginning of
452 the file.
453
454 - docstring: The string that the examples were extracted from,
455 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000456 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000457 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000458 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000459 Create a new DocTest containing the given examples. The
460 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000461 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000462 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000463 "DocTest no longer accepts str; use DocTestParser instead"
464 self.examples = examples
465 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000466 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000467 self.name = name
468 self.filename = filename
469 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000470
471 def __repr__(self):
472 if len(self.examples) == 0:
473 examples = 'no examples'
474 elif len(self.examples) == 1:
475 examples = '1 example'
476 else:
477 examples = '%d examples' % len(self.examples)
478 return ('<DocTest %s from %s:%s (%s)>' %
479 (self.name, self.filename, self.lineno, examples))
480
481
482 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000483 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000484 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000485 return NotImplemented
486 return ((self.name, self.filename, self.lineno, id(self))
487 <
488 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000489
490######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000491## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000492######################################################################
493
Edward Lopera1ef6112004-08-09 16:14:41 +0000494class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000495 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000496 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000497 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000498 # This regular expression is used to find doctest examples in a
499 # string. It defines three groups: `source` is the source code
500 # (including leading indentation and prompts); `indent` is the
501 # indentation of the first (PS1) line of the source code; and
502 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000503 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000504 # Source consists of a PS1 line followed by zero or more PS2 lines.
505 (?P<source>
506 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
507 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
508 \n?
509 # Want consists of any non-blank lines that do not start with PS1.
510 (?P<want> (?:(?![ ]*$) # Not a blank line
511 (?![ ]*>>>) # Not a line starting with PS1
512 .*$\n? # But any other line
513 )*)
514 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000515
Edward Lopera6b68322004-08-26 00:05:43 +0000516 # A regular expression for handling `want` strings that contain
517 # expected exceptions. It divides `want` into three pieces:
518 # - the traceback header line (`hdr`)
519 # - the traceback stack (`stack`)
520 # - the exception message (`msg`), as generated by
521 # traceback.format_exception_only()
522 # `msg` may have multiple lines. We assume/require that the
523 # exception message is the first non-indented line starting with a word
524 # character following the traceback header line.
525 _EXCEPTION_RE = re.compile(r"""
526 # Grab the traceback header. Different versions of Python have
527 # said different things on the first traceback line.
528 ^(?P<hdr> Traceback\ \(
529 (?: most\ recent\ call\ last
530 | innermost\ last
531 ) \) :
532 )
533 \s* $ # toss trailing whitespace on the header.
534 (?P<stack> .*?) # don't blink: absorb stuff until...
535 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
536 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
537
Tim Peters7ea48dd2004-08-13 01:52:59 +0000538 # A callable returning a true value iff its argument is a blank line
539 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000540 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000541
Edward Loper00f8da72004-08-26 18:05:07 +0000542 def parse(self, string, name='<string>'):
543 """
544 Divide the given string into examples and intervening text,
545 and return them as a list of alternating Examples and strings.
546 Line numbers for the Examples are 0-based. The optional
547 argument `name` is a name identifying this string, and is only
548 used for error messages.
549 """
550 string = string.expandtabs()
551 # If all lines begin with the same indentation, then strip it.
552 min_indent = self._min_indent(string)
553 if min_indent > 0:
554 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
555
556 output = []
557 charno, lineno = 0, 0
558 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000559 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000560 # Add the pre-example text to `output`.
561 output.append(string[charno:m.start()])
562 # Update lineno (lines before this example)
563 lineno += string.count('\n', charno, m.start())
564 # Extract info from the regexp match.
565 (source, options, want, exc_msg) = \
566 self._parse_example(m, name, lineno)
567 # Create an Example, and add it to the list.
568 if not self._IS_BLANK_OR_COMMENT(source):
569 output.append( Example(source, want, exc_msg,
570 lineno=lineno,
571 indent=min_indent+len(m.group('indent')),
572 options=options) )
573 # Update lineno (lines inside this example)
574 lineno += string.count('\n', m.start(), m.end())
575 # Update charno.
576 charno = m.end()
577 # Add any remaining post-example text to `output`.
578 output.append(string[charno:])
579 return output
580
Edward Lopera1ef6112004-08-09 16:14:41 +0000581 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000582 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000583 Extract all doctest examples from the given string, and
584 collect them into a `DocTest` object.
585
586 `globs`, `name`, `filename`, and `lineno` are attributes for
587 the new `DocTest` object. See the documentation for `DocTest`
588 for more information.
589 """
590 return DocTest(self.get_examples(string, name), globs,
591 name, filename, lineno, string)
592
593 def get_examples(self, string, name='<string>'):
594 """
595 Extract all doctest examples from the given string, and return
596 them as a list of `Example` objects. Line numbers are
597 0-based, because it's most common in doctests that nothing
598 interesting appears on the same line as opening triple-quote,
599 and so the first interesting line is called \"line 1\" then.
600
601 The optional argument `name` is a name identifying this
602 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000603 """
Edward Loper00f8da72004-08-26 18:05:07 +0000604 return [x for x in self.parse(string, name)
605 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000606
Edward Loper74bca7a2004-08-12 02:27:44 +0000607 def _parse_example(self, m, name, lineno):
608 """
609 Given a regular expression match from `_EXAMPLE_RE` (`m`),
610 return a pair `(source, want)`, where `source` is the matched
611 example's source code (with prompts and indentation stripped);
612 and `want` is the example's expected output (with indentation
613 stripped).
614
615 `name` is the string's name, and `lineno` is the line number
616 where the example starts; both are used for error messages.
617 """
Edward Loper7c748462004-08-09 02:06:06 +0000618 # Get the example's indentation level.
619 indent = len(m.group('indent'))
620
621 # Divide source into lines; check that they're properly
622 # indented; and then strip their indentation & prompts.
623 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000624 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000625 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000626 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000627
Tim Petersc5049152004-08-22 17:34:58 +0000628 # Divide want into lines; check that it's properly indented; and
629 # then strip the indentation. Spaces before the last newline should
630 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000631 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000632 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000633 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
634 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000635 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000636 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000637 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000638
Edward Lopera6b68322004-08-26 00:05:43 +0000639 # If `want` contains a traceback message, then extract it.
640 m = self._EXCEPTION_RE.match(want)
641 if m:
642 exc_msg = m.group('msg')
643 else:
644 exc_msg = None
645
Edward Loper00f8da72004-08-26 18:05:07 +0000646 # Extract options from the source.
647 options = self._find_options(source, name, lineno)
648
649 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000650
Edward Loper74bca7a2004-08-12 02:27:44 +0000651 # This regular expression looks for option directives in the
652 # source code of an example. Option directives are comments
653 # starting with "doctest:". Warning: this may give false
654 # positives for string-literals that contain the string
655 # "#doctest:". Eliminating these false positives would require
656 # actually parsing the string; but we limit them by ignoring any
657 # line containing "#doctest:" that is *followed* by a quote mark.
658 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
659 re.MULTILINE)
660
661 def _find_options(self, source, name, lineno):
662 """
663 Return a dictionary containing option overrides extracted from
664 option directives in the given source string.
665
666 `name` is the string's name, and `lineno` is the line number
667 where the example starts; both are used for error messages.
668 """
669 options = {}
670 # (note: with the current regexp, this will match at most once:)
671 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
672 option_strings = m.group(1).replace(',', ' ').split()
673 for option in option_strings:
674 if (option[0] not in '+-' or
675 option[1:] not in OPTIONFLAGS_BY_NAME):
676 raise ValueError('line %r of the doctest for %s '
677 'has an invalid option: %r' %
678 (lineno+1, name, option))
679 flag = OPTIONFLAGS_BY_NAME[option[1:]]
680 options[flag] = (option[0] == '+')
681 if options and self._IS_BLANK_OR_COMMENT(source):
682 raise ValueError('line %r of the doctest for %s has an option '
683 'directive on a line with no example: %r' %
684 (lineno, name, source))
685 return options
686
Edward Lopera5db6002004-08-12 02:41:30 +0000687 # This regular expression finds the indentation of every non-blank
688 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000689 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000690
691 def _min_indent(self, s):
692 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000693 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
694 if len(indents) > 0:
695 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000696 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000697 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000698
Edward Lopera1ef6112004-08-09 16:14:41 +0000699 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000700 """
701 Given the lines of a source string (including prompts and
702 leading indentation), check to make sure that every prompt is
703 followed by a space character. If any line is not followed by
704 a space character, then raise ValueError.
705 """
Edward Loper7c748462004-08-09 02:06:06 +0000706 for i, line in enumerate(lines):
707 if len(line) >= indent+4 and line[indent+3] != ' ':
708 raise ValueError('line %r of the docstring for %s '
709 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000710 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000711 line[indent:indent+3], line))
712
Edward Lopera1ef6112004-08-09 16:14:41 +0000713 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000714 """
715 Check that every line in the given list starts with the given
716 prefix; if any line does not, then raise a ValueError.
717 """
Edward Loper7c748462004-08-09 02:06:06 +0000718 for i, line in enumerate(lines):
719 if line and not line.startswith(prefix):
720 raise ValueError('line %r of the docstring for %s has '
721 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000722 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000723
724
725######################################################################
726## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000727######################################################################
728
729class DocTestFinder:
730 """
731 A class used to extract the DocTests that are relevant to a given
732 object, from its docstring and the docstrings of its contained
733 objects. Doctests can currently be extracted from the following
734 object types: modules, functions, classes, methods, staticmethods,
735 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000736 """
737
Edward Lopera1ef6112004-08-09 16:14:41 +0000738 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000739 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000740 """
741 Create a new doctest finder.
742
Edward Lopera1ef6112004-08-09 16:14:41 +0000743 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000744 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000745 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000746 signature for this factory function should match the signature
747 of the DocTest constructor.
748
Tim Peters8485b562004-08-04 18:46:34 +0000749 If the optional argument `recurse` is false, then `find` will
750 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000751
Tim Peters958cc892004-09-13 14:53:28 +0000752 If the optional argument `exclude_empty` is false, then `find`
753 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000754 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000755 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000756 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000757 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000758 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000759
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000760 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000761 """
762 Return a list of the DocTests that are defined by the given
763 object's docstring, or by any of its contained objects'
764 docstrings.
765
766 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000767 the given object. If the module is not specified or is None, then
768 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000769 correct module. The object's module is used:
770
771 - As a default namespace, if `globs` is not specified.
772 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000773 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000774 - To find the name of the file containing the object.
775 - To help find the line number of the object within its
776 file.
777
Tim Petersf3f57472004-08-08 06:11:48 +0000778 Contained objects whose module does not match `module` are ignored.
779
780 If `module` is False, no attempt to find the module will be made.
781 This is obscure, of use mostly in tests: if `module` is False, or
782 is None but cannot be found automatically, then all objects are
783 considered to belong to the (non-existent) module, so all contained
784 objects will (recursively) be searched for doctests.
785
Tim Peters8485b562004-08-04 18:46:34 +0000786 The globals for each DocTest is formed by combining `globs`
787 and `extraglobs` (bindings in `extraglobs` override bindings
788 in `globs`). A new copy of the globals dictionary is created
789 for each DocTest. If `globs` is not specified, then it
790 defaults to the module's `__dict__`, if specified, or {}
791 otherwise. If `extraglobs` is not specified, then it defaults
792 to {}.
793
Tim Peters8485b562004-08-04 18:46:34 +0000794 """
795 # If name was not specified, then extract it from the object.
796 if name is None:
797 name = getattr(obj, '__name__', None)
798 if name is None:
799 raise ValueError("DocTestFinder.find: name must be given "
800 "when obj.__name__ doesn't exist: %r" %
801 (type(obj),))
802
803 # Find the module that contains the given object (if obj is
804 # a module, then module=obj.). Note: this may fail, in which
805 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000806 if module is False:
807 module = None
808 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000809 module = inspect.getmodule(obj)
810
811 # Read the module's source code. This is used by
812 # DocTestFinder._find_lineno to find the line number for a
813 # given object's docstring.
814 try:
815 file = inspect.getsourcefile(obj) or inspect.getfile(obj)
816 source_lines = linecache.getlines(file)
817 if not source_lines:
818 source_lines = None
819 except TypeError:
820 source_lines = None
821
822 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000823 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000824 if module is None:
825 globs = {}
826 else:
827 globs = module.__dict__.copy()
828 else:
829 globs = globs.copy()
830 if extraglobs is not None:
831 globs.update(extraglobs)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000832
Tim Peters8485b562004-08-04 18:46:34 +0000833 # Recursively expore `obj`, extracting DocTests.
834 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000835 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000836 # Sort the tests by alpha order of names, for consistency in
837 # verbose-mode output. This was a feature of doctest in Pythons
838 # <= 2.3 that got lost by accident in 2.4. It was repaired in
839 # 2.4.4 and 2.5.
840 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000841 return tests
842
Tim Peters8485b562004-08-04 18:46:34 +0000843 def _from_module(self, module, object):
844 """
845 Return true if the given object is defined in the given
846 module.
847 """
848 if module is None:
849 return True
850 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000851 return module.__dict__ is object.__globals__
Tim Peters8485b562004-08-04 18:46:34 +0000852 elif inspect.isclass(object):
853 return module.__name__ == object.__module__
854 elif inspect.getmodule(object) is not None:
855 return module is inspect.getmodule(object)
856 elif hasattr(object, '__module__'):
857 return module.__name__ == object.__module__
858 elif isinstance(object, property):
859 return True # [XX] no way not be sure.
860 else:
861 raise ValueError("object must be a class or function")
862
Tim Petersf3f57472004-08-08 06:11:48 +0000863 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000864 """
865 Find tests for the given object and any contained objects, and
866 add them to `tests`.
867 """
868 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000869 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000870
871 # If we've already processed this object, then ignore it.
872 if id(obj) in seen:
873 return
874 seen[id(obj)] = 1
875
876 # Find a test for this object, and add it to the list of tests.
877 test = self._get_test(obj, name, module, globs, source_lines)
878 if test is not None:
879 tests.append(test)
880
881 # Look for tests in a module's contained objects.
882 if inspect.ismodule(obj) and self._recurse:
883 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000884 valname = '%s.%s' % (name, valname)
885 # Recurse to functions & classes.
886 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000887 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000888 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000889 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000890
891 # Look for tests in a module's __test__ dictionary.
892 if inspect.ismodule(obj) and self._recurse:
893 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000894 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +0000895 raise ValueError("DocTestFinder.find: __test__ keys "
896 "must be strings: %r" %
897 (type(valname),))
898 if not (inspect.isfunction(val) or inspect.isclass(val) or
899 inspect.ismethod(val) or inspect.ismodule(val) or
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000900 isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +0000901 raise ValueError("DocTestFinder.find: __test__ values "
902 "must be strings, functions, methods, "
903 "classes, or modules: %r" %
904 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000905 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +0000906 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000907 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000908
909 # Look for tests in a class's contained objects.
910 if inspect.isclass(obj) and self._recurse:
911 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000912 # Special handling for staticmethod/classmethod.
913 if isinstance(val, staticmethod):
914 val = getattr(obj, valname)
915 if isinstance(val, classmethod):
Christian Heimesff737952007-11-27 10:40:20 +0000916 val = getattr(obj, valname).__func__
Tim Peters8485b562004-08-04 18:46:34 +0000917
918 # Recurse to methods, properties, and nested classes.
919 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000920 isinstance(val, property)) and
921 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000922 valname = '%s.%s' % (name, valname)
923 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000924 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000925
926 def _get_test(self, obj, name, module, globs, source_lines):
927 """
928 Return a DocTest for the given object, if it defines a docstring;
929 otherwise, return None.
930 """
931 # Extract the object's docstring. If it doesn't have one,
932 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000933 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +0000934 docstring = obj
935 else:
936 try:
937 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000938 docstring = ''
939 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000940 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000941 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +0000942 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000943 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000944 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000945
946 # Find the docstring's location in the file.
947 lineno = self._find_lineno(obj, source_lines)
948
Edward Loper32ddbf72004-09-13 05:47:24 +0000949 # Don't bother if the docstring is empty.
950 if self._exclude_empty and not docstring:
951 return None
952
Tim Peters8485b562004-08-04 18:46:34 +0000953 # Return a DocTest for this object.
954 if module is None:
955 filename = None
956 else:
957 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000958 if filename[-4:] in (".pyc", ".pyo"):
959 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000960 return self._parser.get_doctest(docstring, globs, name,
961 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000962
963 def _find_lineno(self, obj, source_lines):
964 """
965 Return a line number of the given object's docstring. Note:
966 this method assumes that the object has a docstring.
967 """
968 lineno = None
969
970 # Find the line number for modules.
971 if inspect.ismodule(obj):
972 lineno = 0
973
974 # Find the line number for classes.
975 # Note: this could be fooled if a class is defined multiple
976 # times in a single file.
977 if inspect.isclass(obj):
978 if source_lines is None:
979 return None
980 pat = re.compile(r'^\s*class\s*%s\b' %
981 getattr(obj, '__name__', '-'))
982 for i, line in enumerate(source_lines):
983 if pat.match(line):
984 lineno = i
985 break
986
987 # Find the line number for functions & methods.
Christian Heimesff737952007-11-27 10:40:20 +0000988 if inspect.ismethod(obj): obj = obj.__func__
Neal Norwitz221085d2007-02-25 20:55:47 +0000989 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +0000990 if inspect.istraceback(obj): obj = obj.tb_frame
991 if inspect.isframe(obj): obj = obj.f_code
992 if inspect.iscode(obj):
993 lineno = getattr(obj, 'co_firstlineno', None)-1
994
995 # Find the line number where the docstring starts. Assume
996 # that it's the first line that begins with a quote mark.
997 # Note: this could be fooled by a multiline function
998 # signature, where a continuation line begins with a quote
999 # mark.
1000 if lineno is not None:
1001 if source_lines is None:
1002 return lineno+1
1003 pat = re.compile('(^|.*:)\s*\w*("|\')')
1004 for lineno in range(lineno, len(source_lines)):
1005 if pat.match(source_lines[lineno]):
1006 return lineno
1007
1008 # We couldn't find the line number.
1009 return None
1010
1011######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001012## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001013######################################################################
1014
Tim Peters8485b562004-08-04 18:46:34 +00001015class DocTestRunner:
1016 """
1017 A class used to run DocTest test cases, and accumulate statistics.
1018 The `run` method is used to process a single DocTest case. It
1019 returns a tuple `(f, t)`, where `t` is the number of test cases
1020 tried, and `f` is the number of test cases that failed.
1021
1022 >>> tests = DocTestFinder().find(_TestClass)
1023 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001024 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001025 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001026 ... print(test.name, '->', runner.run(test))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001027 _TestClass -> (0, 2)
1028 _TestClass.__init__ -> (0, 2)
1029 _TestClass.get -> (0, 2)
1030 _TestClass.square -> (0, 1)
Tim Peters8485b562004-08-04 18:46:34 +00001031
1032 The `summarize` method prints a summary of all the test cases that
1033 have been run by the runner, and returns an aggregated `(f, t)`
1034 tuple:
1035
1036 >>> runner.summarize(verbose=1)
1037 4 items passed all tests:
1038 2 tests in _TestClass
1039 2 tests in _TestClass.__init__
1040 2 tests in _TestClass.get
1041 1 tests in _TestClass.square
1042 7 tests in 4 items.
1043 7 passed and 0 failed.
1044 Test passed.
1045 (0, 7)
1046
1047 The aggregated number of tried examples and failed examples is
1048 also available via the `tries` and `failures` attributes:
1049
1050 >>> runner.tries
1051 7
1052 >>> runner.failures
1053 0
1054
1055 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001056 by an `OutputChecker`. This comparison may be customized with a
1057 number of option flags; see the documentation for `testmod` for
1058 more information. If the option flags are insufficient, then the
1059 comparison may also be customized by passing a subclass of
1060 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001061
1062 The test runner's display output can be controlled in two ways.
1063 First, an output function (`out) can be passed to
1064 `TestRunner.run`; this function will be called with strings that
1065 should be displayed. It defaults to `sys.stdout.write`. If
1066 capturing the output is not sufficient, then the display output
1067 can be also customized by subclassing DocTestRunner, and
1068 overriding the methods `report_start`, `report_success`,
1069 `report_unexpected_exception`, and `report_failure`.
1070 """
1071 # This divider string is used to separate failure messages, and to
1072 # separate sections of the summary.
1073 DIVIDER = "*" * 70
1074
Edward Loper34fcb142004-08-09 02:45:41 +00001075 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001076 """
1077 Create a new test runner.
1078
Edward Loper34fcb142004-08-09 02:45:41 +00001079 Optional keyword arg `checker` is the `OutputChecker` that
1080 should be used to compare the expected outputs and actual
1081 outputs of doctest examples.
1082
Tim Peters8485b562004-08-04 18:46:34 +00001083 Optional keyword arg 'verbose' prints lots of stuff if true,
1084 only failures if false; by default, it's true iff '-v' is in
1085 sys.argv.
1086
1087 Optional argument `optionflags` can be used to control how the
1088 test runner compares expected output to actual output, and how
1089 it displays failures. See the documentation for `testmod` for
1090 more information.
1091 """
Edward Loper34fcb142004-08-09 02:45:41 +00001092 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001093 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001094 verbose = '-v' in sys.argv
1095 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001096 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001097 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001098
Tim Peters8485b562004-08-04 18:46:34 +00001099 # Keep track of the examples we've run.
1100 self.tries = 0
1101 self.failures = 0
1102 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001103
Tim Peters8485b562004-08-04 18:46:34 +00001104 # Create a fake output target for capturing doctest output.
1105 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001106
Tim Peters8485b562004-08-04 18:46:34 +00001107 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001108 # Reporting methods
1109 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001110
Tim Peters8485b562004-08-04 18:46:34 +00001111 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001112 """
Tim Peters8485b562004-08-04 18:46:34 +00001113 Report that the test runner is about to process the given
1114 example. (Only displays a message if verbose=True)
1115 """
1116 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001117 if example.want:
1118 out('Trying:\n' + _indent(example.source) +
1119 'Expecting:\n' + _indent(example.want))
1120 else:
1121 out('Trying:\n' + _indent(example.source) +
1122 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001123
Tim Peters8485b562004-08-04 18:46:34 +00001124 def report_success(self, out, test, example, got):
1125 """
1126 Report that the given example ran successfully. (Only
1127 displays a message if verbose=True)
1128 """
1129 if self._verbose:
1130 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001131
Tim Peters8485b562004-08-04 18:46:34 +00001132 def report_failure(self, out, test, example, got):
1133 """
1134 Report that the given example failed.
1135 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001136 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001137 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001138
Tim Peters8485b562004-08-04 18:46:34 +00001139 def report_unexpected_exception(self, out, test, example, exc_info):
1140 """
1141 Report that the given example raised an unexpected exception.
1142 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001143 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001144 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001145
Edward Loper8e4a34b2004-08-12 02:34:27 +00001146 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001147 out = [self.DIVIDER]
1148 if test.filename:
1149 if test.lineno is not None and example.lineno is not None:
1150 lineno = test.lineno + example.lineno + 1
1151 else:
1152 lineno = '?'
1153 out.append('File "%s", line %s, in %s' %
1154 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001155 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001156 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1157 out.append('Failed example:')
1158 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001159 out.append(_indent(source))
1160 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001161
Tim Peters8485b562004-08-04 18:46:34 +00001162 #/////////////////////////////////////////////////////////////////
1163 # DocTest Running
1164 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001165
Tim Peters8485b562004-08-04 18:46:34 +00001166 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001167 """
Tim Peters8485b562004-08-04 18:46:34 +00001168 Run the examples in `test`. Write the outcome of each example
1169 with one of the `DocTestRunner.report_*` methods, using the
1170 writer function `out`. `compileflags` is the set of compiler
1171 flags that should be used to execute examples. Return a tuple
1172 `(f, t)`, where `t` is the number of examples tried, and `f`
1173 is the number of examples that failed. The examples are run
1174 in the namespace `test.globs`.
1175 """
1176 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001177 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001178
1179 # Save the option flags (since option directives can be used
1180 # to modify them).
1181 original_optionflags = self.optionflags
1182
Tim Peters1fbf9c52004-09-04 17:21:02 +00001183 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1184
1185 check = self._checker.check_output
1186
Tim Peters8485b562004-08-04 18:46:34 +00001187 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001188 for examplenum, example in enumerate(test.examples):
1189
Edward Lopera89f88d2004-08-26 02:45:51 +00001190 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1191 # reporting after the first failure.
1192 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1193 failures > 0)
1194
Edward Loper74bca7a2004-08-12 02:27:44 +00001195 # Merge in the example's options.
1196 self.optionflags = original_optionflags
1197 if example.options:
1198 for (optionflag, val) in example.options.items():
1199 if val:
1200 self.optionflags |= optionflag
1201 else:
1202 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001203
Thomas Wouters477c8d52006-05-27 19:21:47 +00001204 # If 'SKIP' is set, then skip this example.
1205 if self.optionflags & SKIP:
1206 continue
1207
Tim Peters8485b562004-08-04 18:46:34 +00001208 # Record that we started this example.
1209 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001210 if not quiet:
1211 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001212
Edward Loper2de91ba2004-08-27 02:07:46 +00001213 # Use a special filename for compile(), so we can retrieve
1214 # the source code during interactive debugging (see
1215 # __patched_linecache_getlines).
1216 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1217
Tim Peters8485b562004-08-04 18:46:34 +00001218 # Run the example in the given context (globs), and record
1219 # any exception that gets raised. (But don't intercept
1220 # keyboard interrupts.)
1221 try:
Tim Peters208ca702004-08-09 04:12:36 +00001222 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001223 exec(compile(example.source, filename, "single",
1224 compileflags, 1), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001225 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001226 exception = None
1227 except KeyboardInterrupt:
1228 raise
1229 except:
1230 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001231 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001232
Tim Peters208ca702004-08-09 04:12:36 +00001233 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001234 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001235 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001236
1237 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001238 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001239 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001240 if check(example.want, got, self.optionflags):
1241 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001242
Tim Peters1fbf9c52004-09-04 17:21:02 +00001243 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001244 else:
1245 exc_info = sys.exc_info()
1246 exc_msg = traceback.format_exception_only(*exc_info[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001247 if not quiet:
1248 got += _exception_traceback(exc_info)
Tim Peters8485b562004-08-04 18:46:34 +00001249
Tim Peters1fbf9c52004-09-04 17:21:02 +00001250 # If `example.exc_msg` is None, then we weren't expecting
1251 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001252 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001253 outcome = BOOM
1254
1255 # We expected an exception: see whether it matches.
1256 elif check(example.exc_msg, exc_msg, self.optionflags):
1257 outcome = SUCCESS
1258
1259 # Another chance if they didn't care about the detail.
1260 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1261 m1 = re.match(r'[^:]*:', example.exc_msg)
1262 m2 = re.match(r'[^:]*:', exc_msg)
1263 if m1 and m2 and check(m1.group(0), m2.group(0),
1264 self.optionflags):
1265 outcome = SUCCESS
1266
1267 # Report the outcome.
1268 if outcome is SUCCESS:
1269 if not quiet:
1270 self.report_success(out, test, example, got)
1271 elif outcome is FAILURE:
1272 if not quiet:
1273 self.report_failure(out, test, example, got)
1274 failures += 1
1275 elif outcome is BOOM:
1276 if not quiet:
1277 self.report_unexpected_exception(out, test, example,
1278 exc_info)
1279 failures += 1
1280 else:
1281 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001282
1283 # Restore the option flags (in case they were modified)
1284 self.optionflags = original_optionflags
1285
1286 # Record and return the number of failures and tries.
1287 self.__record_outcome(test, failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001288 return failures, tries
1289
Tim Peters8485b562004-08-04 18:46:34 +00001290 def __record_outcome(self, test, f, t):
1291 """
1292 Record the fact that the given DocTest (`test`) generated `f`
1293 failures out of `t` tried examples.
1294 """
1295 f2, t2 = self._name2ft.get(test.name, (0,0))
1296 self._name2ft[test.name] = (f+f2, t+t2)
1297 self.failures += f
1298 self.tries += t
1299
Edward Loper2de91ba2004-08-27 02:07:46 +00001300 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1301 r'(?P<name>[\w\.]+)'
1302 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001303 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001304 m = self.__LINECACHE_FILENAME_RE.match(filename)
1305 if m and m.group('name') == self.test.name:
1306 example = self.test.examples[int(m.group('examplenum'))]
1307 return example.source.splitlines(True)
1308 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001309 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001310
Tim Peters8485b562004-08-04 18:46:34 +00001311 def run(self, test, compileflags=None, out=None, clear_globs=True):
1312 """
1313 Run the examples in `test`, and display the results using the
1314 writer function `out`.
1315
1316 The examples are run in the namespace `test.globs`. If
1317 `clear_globs` is true (the default), then this namespace will
1318 be cleared after the test runs, to help with garbage
1319 collection. If you would like to examine the namespace after
1320 the test completes, then use `clear_globs=False`.
1321
1322 `compileflags` gives the set of flags that should be used by
1323 the Python compiler when running the examples. If not
1324 specified, then it will default to the set of future-import
1325 flags that apply to `globs`.
1326
1327 The output of each example is checked using
1328 `DocTestRunner.check_output`, and the results are formatted by
1329 the `DocTestRunner.report_*` methods.
1330 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001331 self.test = test
1332
Tim Peters8485b562004-08-04 18:46:34 +00001333 if compileflags is None:
1334 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001335
Tim Peters6c542b72004-08-09 16:43:36 +00001336 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001337 if out is None:
Tim Peters6c542b72004-08-09 16:43:36 +00001338 out = save_stdout.write
1339 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001340
Edward Loper2de91ba2004-08-27 02:07:46 +00001341 # Patch pdb.set_trace to restore sys.stdout during interactive
1342 # debugging (so it's not still redirected to self._fakeout).
1343 # Note that the interactive output will go to *our*
1344 # save_stdout, even if that's not the real sys.stdout; this
1345 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001346 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001347 self.debugger = _OutputRedirectingPdb(save_stdout)
1348 self.debugger.reset()
1349 pdb.set_trace = self.debugger.set_trace
1350
1351 # Patch linecache.getlines, so we can see the example's source
1352 # when we're inside the debugger.
1353 self.save_linecache_getlines = linecache.getlines
1354 linecache.getlines = self.__patched_linecache_getlines
1355
Tim Peters8485b562004-08-04 18:46:34 +00001356 try:
Tim Peters8485b562004-08-04 18:46:34 +00001357 return self.__run(test, compileflags, out)
1358 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001359 sys.stdout = save_stdout
1360 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001361 linecache.getlines = self.save_linecache_getlines
Tim Peters8485b562004-08-04 18:46:34 +00001362 if clear_globs:
1363 test.globs.clear()
1364
1365 #/////////////////////////////////////////////////////////////////
1366 # Summarization
1367 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001368 def summarize(self, verbose=None):
1369 """
Tim Peters8485b562004-08-04 18:46:34 +00001370 Print a summary of all the test cases that have been run by
1371 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1372 the total number of failed examples, and `t` is the total
1373 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001374
Tim Peters8485b562004-08-04 18:46:34 +00001375 The optional `verbose` argument controls how detailed the
1376 summary is. If the verbosity is not specified, then the
1377 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001378 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001379 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001380 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001381 notests = []
1382 passed = []
1383 failed = []
1384 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001385 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001386 name, (f, t) = x
1387 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001388 totalt += t
1389 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001390 if t == 0:
1391 notests.append(name)
1392 elif f == 0:
1393 passed.append( (name, t) )
1394 else:
1395 failed.append(x)
1396 if verbose:
1397 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001398 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001399 notests.sort()
1400 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001401 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001402 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001403 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001404 passed.sort()
1405 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001406 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001407 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001408 print(self.DIVIDER)
1409 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001410 failed.sort()
1411 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001412 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001413 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001414 print(totalt, "tests in", len(self._name2ft), "items.")
1415 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001416 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001417 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001418 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001419 print("Test passed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001420 return totalf, totalt
1421
Tim Peters82076ef2004-09-13 00:52:51 +00001422 #/////////////////////////////////////////////////////////////////
1423 # Backward compatibility cruft to maintain doctest.master.
1424 #/////////////////////////////////////////////////////////////////
1425 def merge(self, other):
1426 d = self._name2ft
1427 for name, (f, t) in other._name2ft.items():
1428 if name in d:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001429 print("*** DocTestRunner.merge: '" + name + "' in both" \
1430 " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001431 f2, t2 = d[name]
1432 f = f + f2
1433 t = t + t2
1434 d[name] = f, t
1435
Edward Loper34fcb142004-08-09 02:45:41 +00001436class OutputChecker:
1437 """
1438 A class used to check the whether the actual output from a doctest
1439 example matches the expected output. `OutputChecker` defines two
1440 methods: `check_output`, which compares a given pair of outputs,
1441 and returns true if they match; and `output_difference`, which
1442 returns a string describing the differences between two outputs.
1443 """
1444 def check_output(self, want, got, optionflags):
1445 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001446 Return True iff the actual output from an example (`got`)
1447 matches the expected output (`want`). These strings are
1448 always considered to match if they are identical; but
1449 depending on what option flags the test runner is using,
1450 several non-exact match types are also possible. See the
1451 documentation for `TestRunner` for more information about
1452 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001453 """
1454 # Handle the common case first, for efficiency:
1455 # if they're string-identical, always return true.
1456 if got == want:
1457 return True
1458
1459 # The values True and False replaced 1 and 0 as the return
1460 # value for boolean comparisons in Python 2.3.
1461 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1462 if (got,want) == ("True\n", "1\n"):
1463 return True
1464 if (got,want) == ("False\n", "0\n"):
1465 return True
1466
1467 # <BLANKLINE> can be used as a special sequence to signify a
1468 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1469 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1470 # Replace <BLANKLINE> in want with a blank line.
1471 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1472 '', want)
1473 # If a line in got contains only spaces, then remove the
1474 # spaces.
1475 got = re.sub('(?m)^\s*?$', '', got)
1476 if got == want:
1477 return True
1478
1479 # This flag causes doctest to ignore any differences in the
1480 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001481 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001482 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001483 got = ' '.join(got.split())
1484 want = ' '.join(want.split())
1485 if got == want:
1486 return True
1487
1488 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001489 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001490 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001491 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001492 return True
1493
1494 # We didn't find any match; return false.
1495 return False
1496
Tim Petersc6cbab02004-08-22 19:43:28 +00001497 # Should we do a fancy diff?
1498 def _do_a_fancy_diff(self, want, got, optionflags):
1499 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001500 if not optionflags & (REPORT_UDIFF |
1501 REPORT_CDIFF |
1502 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001503 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001504
Tim Petersc6cbab02004-08-22 19:43:28 +00001505 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001506 # too hard ... or maybe not. In two real-life failures Tim saw,
1507 # a diff was a major help anyway, so this is commented out.
1508 # [todo] _ellipsis_match() knows which pieces do and don't match,
1509 # and could be the basis for a kick-ass diff in this case.
1510 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1511 ## return False
1512
Tim Petersc6cbab02004-08-22 19:43:28 +00001513 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001514 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001515 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001516 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001517
Tim Petersc6cbab02004-08-22 19:43:28 +00001518 # The other diff types need at least a few lines to be helpful.
1519 return want.count('\n') > 2 and got.count('\n') > 2
1520
Edward Loperca9111e2004-08-26 03:00:24 +00001521 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001522 """
1523 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001524 expected output for a given example (`example`) and the actual
1525 output (`got`). `optionflags` is the set of option flags used
1526 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001527 """
Edward Loperca9111e2004-08-26 03:00:24 +00001528 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001529 # If <BLANKLINE>s are being used, then replace blank lines
1530 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001531 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001532 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001533
Tim Peters5b799c12004-08-26 05:21:59 +00001534 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001535 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001536 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001537 want_lines = want.splitlines(True) # True == keep line ends
1538 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001539 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001540 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001541 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1542 diff = list(diff)[2:] # strip the diff header
1543 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001544 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001545 diff = difflib.context_diff(want_lines, got_lines, n=2)
1546 diff = list(diff)[2:] # strip the diff header
1547 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001548 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001549 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1550 diff = list(engine.compare(want_lines, got_lines))
1551 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001552 else:
1553 assert 0, 'Bad diff option'
1554 # Remove trailing whitespace on diff output.
1555 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001556 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001557
1558 # If we're not using diff, then simply list the expected
1559 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001560 if want and got:
1561 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1562 elif want:
1563 return 'Expected:\n%sGot nothing\n' % _indent(want)
1564 elif got:
1565 return 'Expected nothing\nGot:\n%s' % _indent(got)
1566 else:
1567 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001568
Tim Peters19397e52004-08-06 22:02:59 +00001569class DocTestFailure(Exception):
1570 """A DocTest example has failed in debugging mode.
1571
1572 The exception instance has variables:
1573
1574 - test: the DocTest object being run
1575
Neal Norwitzc082cb72006-08-29 05:40:08 +00001576 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001577
1578 - got: the actual output
1579 """
1580 def __init__(self, test, example, got):
1581 self.test = test
1582 self.example = example
1583 self.got = got
1584
1585 def __str__(self):
1586 return str(self.test)
1587
1588class UnexpectedException(Exception):
1589 """A DocTest example has encountered an unexpected exception
1590
1591 The exception instance has variables:
1592
1593 - test: the DocTest object being run
1594
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001595 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001596
1597 - exc_info: the exception info
1598 """
1599 def __init__(self, test, example, exc_info):
1600 self.test = test
1601 self.example = example
1602 self.exc_info = exc_info
1603
1604 def __str__(self):
1605 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001606
Tim Peters19397e52004-08-06 22:02:59 +00001607class DebugRunner(DocTestRunner):
1608 r"""Run doc tests but raise an exception as soon as there is a failure.
1609
1610 If an unexpected exception occurs, an UnexpectedException is raised.
1611 It contains the test, the example, and the original exception:
1612
1613 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001614 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1615 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001616 >>> try:
1617 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001618 ... except UnexpectedException as f:
1619 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001620
1621 >>> failure.test is test
1622 True
1623
1624 >>> failure.example.want
1625 '42\n'
1626
1627 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001628 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001629 Traceback (most recent call last):
1630 ...
1631 KeyError
1632
1633 We wrap the original exception to give the calling application
1634 access to the test and example information.
1635
1636 If the output doesn't match, then a DocTestFailure is raised:
1637
Edward Lopera1ef6112004-08-09 16:14:41 +00001638 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001639 ... >>> x = 1
1640 ... >>> x
1641 ... 2
1642 ... ''', {}, 'foo', 'foo.py', 0)
1643
1644 >>> try:
1645 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001646 ... except DocTestFailure as f:
1647 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001648
1649 DocTestFailure objects provide access to the test:
1650
1651 >>> failure.test is test
1652 True
1653
1654 As well as to the example:
1655
1656 >>> failure.example.want
1657 '2\n'
1658
1659 and the actual output:
1660
1661 >>> failure.got
1662 '1\n'
1663
1664 If a failure or error occurs, the globals are left intact:
1665
1666 >>> del test.globs['__builtins__']
1667 >>> test.globs
1668 {'x': 1}
1669
Edward Lopera1ef6112004-08-09 16:14:41 +00001670 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001671 ... >>> x = 2
1672 ... >>> raise KeyError
1673 ... ''', {}, 'foo', 'foo.py', 0)
1674
1675 >>> runner.run(test)
1676 Traceback (most recent call last):
1677 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001678 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001679
Tim Peters19397e52004-08-06 22:02:59 +00001680 >>> del test.globs['__builtins__']
1681 >>> test.globs
1682 {'x': 2}
1683
1684 But the globals are cleared if there is no error:
1685
Edward Lopera1ef6112004-08-09 16:14:41 +00001686 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001687 ... >>> x = 2
1688 ... ''', {}, 'foo', 'foo.py', 0)
1689
1690 >>> runner.run(test)
1691 (0, 1)
1692
1693 >>> test.globs
1694 {}
1695
1696 """
1697
1698 def run(self, test, compileflags=None, out=None, clear_globs=True):
1699 r = DocTestRunner.run(self, test, compileflags, out, False)
1700 if clear_globs:
1701 test.globs.clear()
1702 return r
1703
1704 def report_unexpected_exception(self, out, test, example, exc_info):
1705 raise UnexpectedException(test, example, exc_info)
1706
1707 def report_failure(self, out, test, example, got):
1708 raise DocTestFailure(test, example, got)
1709
Tim Peters8485b562004-08-04 18:46:34 +00001710######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001711## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001712######################################################################
1713# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001714
Tim Peters82076ef2004-09-13 00:52:51 +00001715# For backward compatibility, a global instance of a DocTestRunner
1716# class, updated by testmod.
1717master = None
1718
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001719def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001720 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001721 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001722 """m=None, name=None, globs=None, verbose=None, report=True,
1723 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001724 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001725
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001726 Test examples in docstrings in functions and classes reachable
1727 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001728 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001729
1730 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001731 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001732 function and class docstrings are tested even if the name is private;
1733 strings are tested directly, as if they were docstrings.
1734
1735 Return (#failures, #tests).
1736
1737 See doctest.__doc__ for an overview.
1738
1739 Optional keyword arg "name" gives the name of the module; by default
1740 use m.__name__.
1741
1742 Optional keyword arg "globs" gives a dict to be used as the globals
1743 when executing examples; by default, use m.__dict__. A copy of this
1744 dict is actually used for each docstring, so that each docstring's
1745 examples start with a clean slate.
1746
Tim Peters8485b562004-08-04 18:46:34 +00001747 Optional keyword arg "extraglobs" gives a dictionary that should be
1748 merged into the globals that are used to execute examples. By
1749 default, no extra globals are used. This is new in 2.4.
1750
Tim Peters8a7d2d52001-01-16 07:10:57 +00001751 Optional keyword arg "verbose" prints lots of stuff if true, prints
1752 only failures if false; by default, it's true iff "-v" is in sys.argv.
1753
Tim Peters8a7d2d52001-01-16 07:10:57 +00001754 Optional keyword arg "report" prints a summary at the end when true,
1755 else prints nothing at the end. In verbose mode, the summary is
1756 detailed, else very brief (in fact, empty if all tests passed).
1757
Tim Peters6ebe61f2003-06-27 20:48:05 +00001758 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001759 and defaults to 0. This is new in 2.3. Possible values (see the
1760 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001761
1762 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001763 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001764 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001765 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001766 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001767 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001768 REPORT_UDIFF
1769 REPORT_CDIFF
1770 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001771 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001772
1773 Optional keyword arg "raise_on_error" raises an exception on the
1774 first unexpected exception or failure. This allows failures to be
1775 post-mortem debugged.
1776
Tim Peters8a7d2d52001-01-16 07:10:57 +00001777 Advanced tomfoolery: testmod runs methods of a local instance of
1778 class doctest.Tester, then merges the results into (or creates)
1779 global Tester instance doctest.master. Methods of doctest.master
1780 can be called directly too, if you want to do something unusual.
1781 Passing report=0 to testmod is especially useful then, to delay
1782 displaying a summary. Invoke doctest.master.summarize(verbose)
1783 when you're done fiddling.
1784 """
Tim Peters82076ef2004-09-13 00:52:51 +00001785 global master
1786
Tim Peters8485b562004-08-04 18:46:34 +00001787 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001788 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001789 # DWA - m will still be None if this wasn't invoked from the command
1790 # line, in which case the following TypeError is about as good an error
1791 # as we should expect
1792 m = sys.modules.get('__main__')
1793
Tim Peters8485b562004-08-04 18:46:34 +00001794 # Check that we were actually given a module.
1795 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001796 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001797
1798 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001799 if name is None:
1800 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001801
1802 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001803 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001804
1805 if raise_on_error:
1806 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1807 else:
1808 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1809
Tim Peters8485b562004-08-04 18:46:34 +00001810 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1811 runner.run(test)
1812
Tim Peters8a7d2d52001-01-16 07:10:57 +00001813 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001814 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001815
Tim Peters82076ef2004-09-13 00:52:51 +00001816 if master is None:
1817 master = runner
1818 else:
1819 master.merge(runner)
1820
Tim Peters8485b562004-08-04 18:46:34 +00001821 return runner.failures, runner.tries
Tim Petersdb3756d2003-06-29 05:30:48 +00001822
Edward Loper052d0cd2004-09-19 17:19:33 +00001823def testfile(filename, module_relative=True, name=None, package=None,
1824 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001825 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1826 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001827 """
1828 Test examples in the given file. Return (#failures, #tests).
1829
1830 Optional keyword arg "module_relative" specifies how filenames
1831 should be interpreted:
1832
1833 - If "module_relative" is True (the default), then "filename"
1834 specifies a module-relative path. By default, this path is
1835 relative to the calling module's directory; but if the
1836 "package" argument is specified, then it is relative to that
1837 package. To ensure os-independence, "filename" should use
1838 "/" characters to separate path segments, and should not
1839 be an absolute path (i.e., it may not begin with "/").
1840
1841 - If "module_relative" is False, then "filename" specifies an
1842 os-specific path. The path may be absolute or relative (to
1843 the current working directory).
1844
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001845 Optional keyword arg "name" gives the name of the test; by default
1846 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001847
1848 Optional keyword argument "package" is a Python package or the
1849 name of a Python package whose directory should be used as the
1850 base directory for a module relative filename. If no package is
1851 specified, then the calling module's directory is used as the base
1852 directory for module relative filenames. It is an error to
1853 specify "package" if "module_relative" is False.
1854
1855 Optional keyword arg "globs" gives a dict to be used as the globals
1856 when executing examples; by default, use {}. A copy of this dict
1857 is actually used for each docstring, so that each docstring's
1858 examples start with a clean slate.
1859
1860 Optional keyword arg "extraglobs" gives a dictionary that should be
1861 merged into the globals that are used to execute examples. By
1862 default, no extra globals are used.
1863
1864 Optional keyword arg "verbose" prints lots of stuff if true, prints
1865 only failures if false; by default, it's true iff "-v" is in sys.argv.
1866
1867 Optional keyword arg "report" prints a summary at the end when true,
1868 else prints nothing at the end. In verbose mode, the summary is
1869 detailed, else very brief (in fact, empty if all tests passed).
1870
1871 Optional keyword arg "optionflags" or's together module constants,
1872 and defaults to 0. Possible values (see the docs for details):
1873
1874 DONT_ACCEPT_TRUE_FOR_1
1875 DONT_ACCEPT_BLANKLINE
1876 NORMALIZE_WHITESPACE
1877 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001878 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001879 IGNORE_EXCEPTION_DETAIL
1880 REPORT_UDIFF
1881 REPORT_CDIFF
1882 REPORT_NDIFF
1883 REPORT_ONLY_FIRST_FAILURE
1884
1885 Optional keyword arg "raise_on_error" raises an exception on the
1886 first unexpected exception or failure. This allows failures to be
1887 post-mortem debugged.
1888
Edward Loper498a1862004-09-27 03:42:58 +00001889 Optional keyword arg "parser" specifies a DocTestParser (or
1890 subclass) that should be used to extract tests from the files.
1891
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001892 Optional keyword arg "encoding" specifies an encoding that should
1893 be used to convert the file to unicode.
1894
Edward Loper052d0cd2004-09-19 17:19:33 +00001895 Advanced tomfoolery: testmod runs methods of a local instance of
1896 class doctest.Tester, then merges the results into (or creates)
1897 global Tester instance doctest.master. Methods of doctest.master
1898 can be called directly too, if you want to do something unusual.
1899 Passing report=0 to testmod is especially useful then, to delay
1900 displaying a summary. Invoke doctest.master.summarize(verbose)
1901 when you're done fiddling.
1902 """
1903 global master
1904
1905 if package and not module_relative:
1906 raise ValueError("Package may only be specified for module-"
1907 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001908
Edward Loper052d0cd2004-09-19 17:19:33 +00001909 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00001910 text, filename = _load_testfile(filename, package, module_relative,
1911 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00001912
1913 # If no name was given, then use the file's name.
1914 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001915 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001916
1917 # Assemble the globals.
1918 if globs is None:
1919 globs = {}
1920 else:
1921 globs = globs.copy()
1922 if extraglobs is not None:
1923 globs.update(extraglobs)
1924
1925 if raise_on_error:
1926 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1927 else:
1928 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1929
1930 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001931 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001932 runner.run(test)
1933
1934 if report:
1935 runner.summarize()
1936
1937 if master is None:
1938 master = runner
1939 else:
1940 master.merge(runner)
1941
1942 return runner.failures, runner.tries
1943
Tim Peters8485b562004-08-04 18:46:34 +00001944def run_docstring_examples(f, globs, verbose=False, name="NoName",
1945 compileflags=None, optionflags=0):
1946 """
1947 Test examples in the given object's docstring (`f`), using `globs`
1948 as globals. Optional argument `name` is used in failure messages.
1949 If the optional argument `verbose` is true, then generate output
1950 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00001951
Tim Peters8485b562004-08-04 18:46:34 +00001952 `compileflags` gives the set of flags that should be used by the
1953 Python compiler when running the examples. If not specified, then
1954 it will default to the set of future-import flags that apply to
1955 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00001956
Tim Peters8485b562004-08-04 18:46:34 +00001957 Optional keyword arg `optionflags` specifies options for the
1958 testing and output. See the documentation for `testmod` for more
1959 information.
1960 """
1961 # Find, parse, and run all tests in the given module.
1962 finder = DocTestFinder(verbose=verbose, recurse=False)
1963 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1964 for test in finder.find(f, name, globs=globs):
1965 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001966
Tim Peters8485b562004-08-04 18:46:34 +00001967######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001968## 7. Tester
Tim Peters8485b562004-08-04 18:46:34 +00001969######################################################################
1970# This is provided only for backwards compatibility. It's not
1971# actually used in any way.
Tim Petersdb3756d2003-06-29 05:30:48 +00001972
Tim Peters8485b562004-08-04 18:46:34 +00001973class Tester:
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001974 def __init__(self, mod=None, globs=None, verbose=None, optionflags=0):
Tim Peters3ddd60a2004-08-08 02:43:33 +00001975
1976 warnings.warn("class Tester is deprecated; "
1977 "use class doctest.DocTestRunner instead",
1978 DeprecationWarning, stacklevel=2)
Tim Peters8485b562004-08-04 18:46:34 +00001979 if mod is None and globs is None:
1980 raise TypeError("Tester.__init__: must specify mod or globs")
Tim Peters4be7a922004-09-12 22:39:46 +00001981 if mod is not None and not inspect.ismodule(mod):
Tim Peters8485b562004-08-04 18:46:34 +00001982 raise TypeError("Tester.__init__: mod must be a module; %r" %
1983 (mod,))
1984 if globs is None:
1985 globs = mod.__dict__
1986 self.globs = globs
Tim Petersdb3756d2003-06-29 05:30:48 +00001987
Tim Peters8485b562004-08-04 18:46:34 +00001988 self.verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +00001989 self.optionflags = optionflags
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001990 self.testfinder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00001991 self.testrunner = DocTestRunner(verbose=verbose,
1992 optionflags=optionflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001993
Tim Peters8485b562004-08-04 18:46:34 +00001994 def runstring(self, s, name):
Edward Lopera1ef6112004-08-09 16:14:41 +00001995 test = DocTestParser().get_doctest(s, self.globs, name, None, None)
Tim Peters8485b562004-08-04 18:46:34 +00001996 if self.verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001997 print("Running string", name)
Tim Peters8485b562004-08-04 18:46:34 +00001998 (f,t) = self.testrunner.run(test)
1999 if self.verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002000 print(f, "of", t, "examples failed in string", name)
Tim Peters8485b562004-08-04 18:46:34 +00002001 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00002002
Tim Petersf3f57472004-08-08 06:11:48 +00002003 def rundoc(self, object, name=None, module=None):
Tim Peters8485b562004-08-04 18:46:34 +00002004 f = t = 0
2005 tests = self.testfinder.find(object, name, module=module,
Tim Petersf3f57472004-08-08 06:11:48 +00002006 globs=self.globs)
Tim Peters8485b562004-08-04 18:46:34 +00002007 for test in tests:
2008 (f2, t2) = self.testrunner.run(test)
2009 (f,t) = (f+f2, t+t2)
2010 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00002011
Tim Peters8485b562004-08-04 18:46:34 +00002012 def rundict(self, d, name, module=None):
2013 import new
2014 m = new.module(name)
2015 m.__dict__.update(d)
Tim Petersf3f57472004-08-08 06:11:48 +00002016 if module is None:
2017 module = False
2018 return self.rundoc(m, name, module)
Tim Petersdb3756d2003-06-29 05:30:48 +00002019
Tim Peters8485b562004-08-04 18:46:34 +00002020 def run__test__(self, d, name):
2021 import new
2022 m = new.module(name)
2023 m.__test__ = d
Tim Peters9661f9a2004-09-12 22:45:17 +00002024 return self.rundoc(m, name)
Tim Petersdb3756d2003-06-29 05:30:48 +00002025
Tim Peters8485b562004-08-04 18:46:34 +00002026 def summarize(self, verbose=None):
2027 return self.testrunner.summarize(verbose)
Tim Petersdb3756d2003-06-29 05:30:48 +00002028
Tim Peters8485b562004-08-04 18:46:34 +00002029 def merge(self, other):
Tim Peters82076ef2004-09-13 00:52:51 +00002030 self.testrunner.merge(other.testrunner)
Tim Petersdb3756d2003-06-29 05:30:48 +00002031
Tim Peters8485b562004-08-04 18:46:34 +00002032######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002033## 8. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002034######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002035
Jim Fultonf54bad42004-08-28 14:57:56 +00002036_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002037
Jim Fultonf54bad42004-08-28 14:57:56 +00002038def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002039 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002040
2041 The old flag is returned so that a runner could restore the old
2042 value if it wished to:
2043
Tim Petersb7e99b62005-03-28 23:50:54 +00002044 >>> import doctest
2045 >>> old = doctest._unittest_reportflags
2046 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002047 ... REPORT_ONLY_FIRST_FAILURE) == old
2048 True
2049
Jim Fultonf54bad42004-08-28 14:57:56 +00002050 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2051 ... REPORT_ONLY_FIRST_FAILURE)
2052 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002053
Jim Fultonf54bad42004-08-28 14:57:56 +00002054 Only reporting flags can be set:
2055
Tim Petersb7e99b62005-03-28 23:50:54 +00002056 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002057 Traceback (most recent call last):
2058 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002059 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002060
Tim Petersb7e99b62005-03-28 23:50:54 +00002061 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002062 ... REPORT_ONLY_FIRST_FAILURE)
2063 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002064 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002065 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002066
2067 if (flags & REPORTING_FLAGS) != flags:
2068 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002069 old = _unittest_reportflags
2070 _unittest_reportflags = flags
2071 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002072
Jim Fultonf54bad42004-08-28 14:57:56 +00002073
Tim Peters19397e52004-08-06 22:02:59 +00002074class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002075
Edward Loper34fcb142004-08-09 02:45:41 +00002076 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2077 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002078
Jim Fultona643b652004-07-14 19:06:50 +00002079 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002080 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002081 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002082 self._dt_test = test
2083 self._dt_setUp = setUp
2084 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002085
Jim Fultona643b652004-07-14 19:06:50 +00002086 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002087 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002088
Tim Peters19397e52004-08-06 22:02:59 +00002089 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002090 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002091
2092 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002093 test = self._dt_test
2094
Tim Peters19397e52004-08-06 22:02:59 +00002095 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002096 self._dt_tearDown(test)
2097
2098 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002099
2100 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002101 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002102 old = sys.stdout
2103 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002104 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002105
Tim Peters38330fe2004-08-30 16:19:24 +00002106 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002107 # The option flags don't include any reporting flags,
2108 # so add the default reporting flags
2109 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002110
Jim Fultonf54bad42004-08-28 14:57:56 +00002111 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002112 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002113
Jim Fultona643b652004-07-14 19:06:50 +00002114 try:
Tim Peters19397e52004-08-06 22:02:59 +00002115 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002116 failures, tries = runner.run(
2117 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002118 finally:
2119 sys.stdout = old
2120
2121 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002122 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002123
Tim Peters19397e52004-08-06 22:02:59 +00002124 def format_failure(self, err):
2125 test = self._dt_test
2126 if test.lineno is None:
2127 lineno = 'unknown line number'
2128 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002129 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002130 lname = '.'.join(test.name.split('.')[-1:])
2131 return ('Failed doctest test for %s\n'
2132 ' File "%s", line %s, in %s\n\n%s'
2133 % (test.name, test.filename, lineno, lname, err)
2134 )
2135
2136 def debug(self):
2137 r"""Run the test case without results and without catching exceptions
2138
2139 The unit test framework includes a debug method on test cases
2140 and test suites to support post-mortem debugging. The test code
2141 is run in such a way that errors are not caught. This way a
2142 caller can catch the errors and initiate post-mortem debugging.
2143
2144 The DocTestCase provides a debug method that raises
2145 UnexpectedException errors if there is an unexepcted
2146 exception:
2147
Edward Lopera1ef6112004-08-09 16:14:41 +00002148 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002149 ... {}, 'foo', 'foo.py', 0)
2150 >>> case = DocTestCase(test)
2151 >>> try:
2152 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002153 ... except UnexpectedException as f:
2154 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002155
2156 The UnexpectedException contains the test, the example, and
2157 the original exception:
2158
2159 >>> failure.test is test
2160 True
2161
2162 >>> failure.example.want
2163 '42\n'
2164
2165 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002166 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002167 Traceback (most recent call last):
2168 ...
2169 KeyError
2170
2171 If the output doesn't match, then a DocTestFailure is raised:
2172
Edward Lopera1ef6112004-08-09 16:14:41 +00002173 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002174 ... >>> x = 1
2175 ... >>> x
2176 ... 2
2177 ... ''', {}, 'foo', 'foo.py', 0)
2178 >>> case = DocTestCase(test)
2179
2180 >>> try:
2181 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002182 ... except DocTestFailure as f:
2183 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002184
2185 DocTestFailure objects provide access to the test:
2186
2187 >>> failure.test is test
2188 True
2189
2190 As well as to the example:
2191
2192 >>> failure.example.want
2193 '2\n'
2194
2195 and the actual output:
2196
2197 >>> failure.got
2198 '1\n'
2199
2200 """
2201
Jim Fultonf54bad42004-08-28 14:57:56 +00002202 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002203 runner = DebugRunner(optionflags=self._dt_optionflags,
2204 checker=self._dt_checker, verbose=False)
Edward Loper3a3817f2004-08-19 19:26:06 +00002205 runner.run(self._dt_test)
Jim Fultonf54bad42004-08-28 14:57:56 +00002206 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002207
2208 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002209 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002210
2211 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002212 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002213 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2214
2215 __str__ = __repr__
2216
2217 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002218 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002219
Jim Fultonf54bad42004-08-28 14:57:56 +00002220def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2221 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002222 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002223 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002224
Tim Peters19397e52004-08-06 22:02:59 +00002225 This converts each documentation string in a module that
2226 contains doctest tests to a unittest test case. If any of the
2227 tests in a doc string fail, then the test case fails. An exception
2228 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002229 (sometimes approximate) line number.
2230
Tim Peters19397e52004-08-06 22:02:59 +00002231 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002232 can be either a module or a module name.
2233
2234 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002235
2236 A number of options may be provided as keyword arguments:
2237
Jim Fultonf54bad42004-08-28 14:57:56 +00002238 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002239 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002240 tests in each file. The setUp function will be passed a DocTest
2241 object. The setUp function can access the test globals as the
2242 globs attribute of the test passed.
2243
2244 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002245 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002246 tests in each file. The tearDown function will be passed a DocTest
2247 object. The tearDown function can access the test globals as the
2248 globs attribute of the test passed.
2249
2250 globs
2251 A dictionary containing initial global variables for the tests.
2252
2253 optionflags
2254 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002255 """
Jim Fultona643b652004-07-14 19:06:50 +00002256
Tim Peters8485b562004-08-04 18:46:34 +00002257 if test_finder is None:
2258 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002259
Tim Peters19397e52004-08-06 22:02:59 +00002260 module = _normalize_module(module)
2261 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
2262 if globs is None:
2263 globs = module.__dict__
Jim Fultonf54bad42004-08-28 14:57:56 +00002264 if not tests:
2265 # Why do we want to do this? Because it reveals a bug that might
2266 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002267 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002268
2269 tests.sort()
2270 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002271 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002272 if len(test.examples) == 0:
2273 continue
Tim Peters8485b562004-08-04 18:46:34 +00002274 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002275 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002276 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002277 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002278 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002279 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002280
2281 return suite
2282
2283class DocFileCase(DocTestCase):
2284
2285 def id(self):
2286 return '_'.join(self._dt_test.name.split('.'))
2287
2288 def __repr__(self):
2289 return self._dt_test.filename
2290 __str__ = __repr__
2291
2292 def format_failure(self, err):
2293 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2294 % (self._dt_test.name, self._dt_test.filename, err)
2295 )
2296
Edward Loper052d0cd2004-09-19 17:19:33 +00002297def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002298 globs=None, parser=DocTestParser(),
2299 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002300 if globs is None:
2301 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002302 else:
2303 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002304
Edward Loper052d0cd2004-09-19 17:19:33 +00002305 if package and not module_relative:
2306 raise ValueError("Package may only be specified for module-"
2307 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002308
Edward Loper052d0cd2004-09-19 17:19:33 +00002309 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002310 doc, path = _load_testfile(path, package, module_relative,
2311 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002312
Fred Drake7c404a42004-12-21 23:46:34 +00002313 if "__file__" not in globs:
2314 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002315
Edward Loper052d0cd2004-09-19 17:19:33 +00002316 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002317 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002318
2319 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002320 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002321 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002322
2323def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002324 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002325
Edward Loper052d0cd2004-09-19 17:19:33 +00002326 The path to each doctest file is given as a string; the
2327 interpretation of that string depends on the keyword argument
2328 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002329
2330 A number of options may be provided as keyword arguments:
2331
Edward Loper052d0cd2004-09-19 17:19:33 +00002332 module_relative
2333 If "module_relative" is True, then the given file paths are
2334 interpreted as os-independent module-relative paths. By
2335 default, these paths are relative to the calling module's
2336 directory; but if the "package" argument is specified, then
2337 they are relative to that package. To ensure os-independence,
2338 "filename" should use "/" characters to separate path
2339 segments, and may not be an absolute path (i.e., it may not
2340 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002341
Edward Loper052d0cd2004-09-19 17:19:33 +00002342 If "module_relative" is False, then the given file paths are
2343 interpreted as os-specific paths. These paths may be absolute
2344 or relative (to the current working directory).
2345
Tim Peters19397e52004-08-06 22:02:59 +00002346 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002347 A Python package or the name of a Python package whose directory
2348 should be used as the base directory for module relative paths.
2349 If "package" is not specified, then the calling module's
2350 directory is used as the base directory for module relative
2351 filenames. It is an error to specify "package" if
2352 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002353
2354 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002355 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002356 tests in each file. The setUp function will be passed a DocTest
2357 object. The setUp function can access the test globals as the
2358 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002359
2360 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002361 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002362 tests in each file. The tearDown function will be passed a DocTest
2363 object. The tearDown function can access the test globals as the
2364 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002365
2366 globs
2367 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002368
2369 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002370 A set of doctest option flags expressed as an integer.
2371
2372 parser
2373 A DocTestParser (or subclass) that should be used to extract
2374 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002375
2376 encoding
2377 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002378 """
2379 suite = unittest.TestSuite()
2380
2381 # We do this here so that _normalize_module is called at the right
2382 # level. If it were called in DocFileTest, then this function
2383 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002384 if kw.get('module_relative', True):
2385 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002386
2387 for path in paths:
2388 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002389
Tim Petersdb3756d2003-06-29 05:30:48 +00002390 return suite
2391
Tim Peters8485b562004-08-04 18:46:34 +00002392######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002393## 9. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002394######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002395
Tim Peters19397e52004-08-06 22:02:59 +00002396def script_from_examples(s):
2397 r"""Extract script from text with examples.
2398
2399 Converts text with examples to a Python script. Example input is
2400 converted to regular code. Example output and all other words
2401 are converted to comments:
2402
2403 >>> text = '''
2404 ... Here are examples of simple math.
2405 ...
2406 ... Python has super accurate integer addition
2407 ...
2408 ... >>> 2 + 2
2409 ... 5
2410 ...
2411 ... And very friendly error messages:
2412 ...
2413 ... >>> 1/0
2414 ... To Infinity
2415 ... And
2416 ... Beyond
2417 ...
2418 ... You can use logic if you want:
2419 ...
2420 ... >>> if 0:
2421 ... ... blah
2422 ... ... blah
2423 ... ...
2424 ...
2425 ... Ho hum
2426 ... '''
2427
Guido van Rossum7131f842007-02-09 20:13:25 +00002428 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002429 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002430 #
Edward Lopera5db6002004-08-12 02:41:30 +00002431 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002432 #
2433 2 + 2
2434 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002435 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002436 #
Edward Lopera5db6002004-08-12 02:41:30 +00002437 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002438 #
2439 1/0
2440 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002441 ## To Infinity
2442 ## And
2443 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002444 #
Edward Lopera5db6002004-08-12 02:41:30 +00002445 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002446 #
2447 if 0:
2448 blah
2449 blah
Tim Peters19397e52004-08-06 22:02:59 +00002450 #
Edward Lopera5db6002004-08-12 02:41:30 +00002451 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002452 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002453 """
Edward Loper00f8da72004-08-26 18:05:07 +00002454 output = []
2455 for piece in DocTestParser().parse(s):
2456 if isinstance(piece, Example):
2457 # Add the example's source code (strip trailing NL)
2458 output.append(piece.source[:-1])
2459 # Add the expected output:
2460 want = piece.want
2461 if want:
2462 output.append('# Expected:')
2463 output += ['## '+l for l in want.split('\n')[:-1]]
2464 else:
2465 # Add non-example text.
2466 output += [_comment_line(l)
2467 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002468
Edward Loper00f8da72004-08-26 18:05:07 +00002469 # Trim junk on both ends.
2470 while output and output[-1] == '#':
2471 output.pop()
2472 while output and output[0] == '#':
2473 output.pop(0)
2474 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002475 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2476 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002477
2478def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002479 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002480
2481 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002482 test to be debugged and the name (within the module) of the object
2483 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002484 """
Tim Peters8485b562004-08-04 18:46:34 +00002485 module = _normalize_module(module)
2486 tests = DocTestFinder().find(module)
2487 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002488 if not test:
2489 raise ValueError(name, "not found in tests")
2490 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002491 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002492 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002493
Jim Fultona643b652004-07-14 19:06:50 +00002494def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002495 """Debug a single doctest docstring, in argument `src`'"""
2496 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002497 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002498
Jim Fultona643b652004-07-14 19:06:50 +00002499def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002500 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002501 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002502
Tim Petersb6a04d62004-08-23 21:37:56 +00002503 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2504 # docs say, a file so created cannot be opened by name a second time
Neal Norwitz01688022007-08-12 00:43:29 +00002505 # on modern Windows boxes, and exec() needs to open and read it.
Tim Petersb6a04d62004-08-23 21:37:56 +00002506 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002507 f = open(srcfilename, 'w')
2508 f.write(src)
2509 f.close()
2510
Tim Petersb6a04d62004-08-23 21:37:56 +00002511 try:
2512 if globs:
2513 globs = globs.copy()
2514 else:
2515 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002516
Tim Petersb6a04d62004-08-23 21:37:56 +00002517 if pm:
2518 try:
Neal Norwitz01688022007-08-12 00:43:29 +00002519 exec(open(srcfilename).read(), globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002520 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002521 print(sys.exc_info()[1])
Tim Petersb6a04d62004-08-23 21:37:56 +00002522 pdb.post_mortem(sys.exc_info()[2])
2523 else:
Neal Norwitz01688022007-08-12 00:43:29 +00002524 fp = open(srcfilename)
2525 try:
2526 script = fp.read()
2527 finally:
2528 fp.close()
2529 pdb.run("exec(%r)" % script, globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002530
2531 finally:
2532 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002533
Jim Fultona643b652004-07-14 19:06:50 +00002534def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002535 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002536
2537 Provide the module (or dotted name of the module) containing the
2538 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002539 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002540 """
Tim Peters8485b562004-08-04 18:46:34 +00002541 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002542 testsrc = testsource(module, name)
2543 debug_script(testsrc, pm, module.__dict__)
2544
Tim Peters8485b562004-08-04 18:46:34 +00002545######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002546## 10. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002547######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002548class _TestClass:
2549 """
2550 A pointless class, for sanity-checking of docstring testing.
2551
2552 Methods:
2553 square()
2554 get()
2555
2556 >>> _TestClass(13).get() + _TestClass(-12).get()
2557 1
2558 >>> hex(_TestClass(13).square().get())
2559 '0xa9'
2560 """
2561
2562 def __init__(self, val):
2563 """val -> _TestClass object with associated value val.
2564
2565 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002566 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002567 123
2568 """
2569
2570 self.val = val
2571
2572 def square(self):
2573 """square() -> square TestClass's associated value
2574
2575 >>> _TestClass(13).square().get()
2576 169
2577 """
2578
2579 self.val = self.val ** 2
2580 return self
2581
2582 def get(self):
2583 """get() -> return TestClass's associated value.
2584
2585 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002586 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002587 -42
2588 """
2589
2590 return self.val
2591
2592__test__ = {"_TestClass": _TestClass,
2593 "string": r"""
2594 Example of a string object, searched as-is.
2595 >>> x = 1; y = 2
2596 >>> x + y, x * y
2597 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002598 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002599
Tim Peters6ebe61f2003-06-27 20:48:05 +00002600 "bool-int equivalence": r"""
2601 In 2.2, boolean expressions displayed
2602 0 or 1. By default, we still accept
2603 them. This can be disabled by passing
2604 DONT_ACCEPT_TRUE_FOR_1 to the new
2605 optionflags argument.
2606 >>> 4 == 4
2607 1
2608 >>> 4 == 4
2609 True
2610 >>> 4 > 4
2611 0
2612 >>> 4 > 4
2613 False
2614 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002615
Tim Peters8485b562004-08-04 18:46:34 +00002616 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002617 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002618 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002619 foo
2620 <BLANKLINE>
2621 bar
2622 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002623 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002624
2625 "ellipsis": r"""
2626 If the ellipsis flag is used, then '...' can be used to
2627 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002628 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002629 [0, 1, 2, ..., 999]
2630 """,
2631
2632 "whitespace normalization": r"""
2633 If the whitespace normalization flag is used, then
2634 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002635 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002636 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2637 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2638 27, 28, 29]
2639 """,
2640 }
Tim Peters8485b562004-08-04 18:46:34 +00002641
Tim Peters8a7d2d52001-01-16 07:10:57 +00002642def _test():
Guido van Rossumd8faa362007-04-27 19:54:29 +00002643 testfiles = [arg for arg in sys.argv[1:] if arg and arg[0] != '-']
2644 if testfiles:
2645 for filename in testfiles:
2646 if filename.endswith(".py"):
2647 # It is a module -- insert its dir into sys.path and try to
2648 # import it. If it is part of a package, that possibly won't work
2649 # because of package imports.
2650 dirname, filename = os.path.split(filename)
2651 sys.path.insert(0, dirname)
2652 m = __import__(filename[:-3])
2653 del sys.path[0]
2654 testmod(m)
2655 else:
2656 testfile(filename, module_relative=False)
2657 else:
2658 r = unittest.TextTestRunner()
2659 r.run(DocTestSuite())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002660
2661if __name__ == "__main__":
2662 _test()