blob: c8d5cf4559ce84aa4827276a31556b77e2d1fd65 [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',
Georg Brandlcc80bfe2008-05-12 18:06:23 +000083 # 7. Unittest Support
Tim Petersdb3756d2003-06-29 05:30:48 +000084 'DocTestSuite',
Edward Loperb7503ff2004-08-19 19:19:03 +000085 'DocFileSuite',
Tim Peters9d02a7c2004-09-26 01:50:24 +000086 'set_unittest_reportflags',
Georg Brandlcc80bfe2008-05-12 18:06:23 +000087 # 8. Debugging Support
Edward Loperb7503ff2004-08-19 19:19:03 +000088 'script_from_examples',
Tim Petersdb3756d2003-06-29 05:30:48 +000089 'testsource',
Edward Loperb7503ff2004-08-19 19:19:03 +000090 'debug_src',
Tim Petersdb3756d2003-06-29 05:30:48 +000091 'debug',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000092]
Tim Peters8a7d2d52001-01-16 07:10:57 +000093
Tim Peters4fd9e2f2001-08-18 00:05:50 +000094import __future__
Tim Peters8a7d2d52001-01-16 07:10:57 +000095
Thomas Wouters0e3f5912006-08-11 14:57:12 +000096import sys, traceback, inspect, linecache, os, re
Jim Fulton356fd192004-08-09 11:34:47 +000097import unittest, difflib, pdb, tempfile
Tim Petersf727c6c2004-08-08 01:48:59 +000098import warnings
Guido van Rossum34d19282007-08-09 01:03:29 +000099from io import StringIO
Christian Heimes25bb7832008-01-11 16:17:00 +0000100from collections import namedtuple
101
102TestResults = namedtuple('TestResults', 'failed attempted')
Tim Peters7402f792001-10-02 03:53:41 +0000103
Tim Peters19397e52004-08-06 22:02:59 +0000104# There are 4 basic classes:
105# - Example: a <source, want> pair, plus an intra-docstring line number.
106# - DocTest: a collection of examples, parsed from a docstring, plus
107# info about where the docstring came from (name, filename, lineno).
108# - DocTestFinder: extracts DocTests from a given object's docstring and
109# its contained objects' docstrings.
110# - DocTestRunner: runs DocTest cases, and accumulates statistics.
111#
112# So the basic picture is:
113#
114# list of:
115# +------+ +---------+ +-------+
116# |object| --DocTestFinder-> | DocTest | --DocTestRunner-> |results|
117# +------+ +---------+ +-------+
118# | Example |
119# | ... |
120# | Example |
121# +---------+
122
Edward Loperac20f572004-08-12 02:02:24 +0000123# Option constants.
Tim Peters38330fe2004-08-30 16:19:24 +0000124
Edward Loperac20f572004-08-12 02:02:24 +0000125OPTIONFLAGS_BY_NAME = {}
126def register_optionflag(name):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000127 # Create a new flag unless `name` is already known.
128 return OPTIONFLAGS_BY_NAME.setdefault(name, 1 << len(OPTIONFLAGS_BY_NAME))
Edward Loperac20f572004-08-12 02:02:24 +0000129
130DONT_ACCEPT_TRUE_FOR_1 = register_optionflag('DONT_ACCEPT_TRUE_FOR_1')
131DONT_ACCEPT_BLANKLINE = register_optionflag('DONT_ACCEPT_BLANKLINE')
132NORMALIZE_WHITESPACE = register_optionflag('NORMALIZE_WHITESPACE')
133ELLIPSIS = register_optionflag('ELLIPSIS')
Thomas Wouters477c8d52006-05-27 19:21:47 +0000134SKIP = register_optionflag('SKIP')
Tim Peters1fbf9c52004-09-04 17:21:02 +0000135IGNORE_EXCEPTION_DETAIL = register_optionflag('IGNORE_EXCEPTION_DETAIL')
Tim Peters38330fe2004-08-30 16:19:24 +0000136
137COMPARISON_FLAGS = (DONT_ACCEPT_TRUE_FOR_1 |
138 DONT_ACCEPT_BLANKLINE |
139 NORMALIZE_WHITESPACE |
Tim Peters1fbf9c52004-09-04 17:21:02 +0000140 ELLIPSIS |
Thomas Wouters477c8d52006-05-27 19:21:47 +0000141 SKIP |
Edward Loper7d88a582004-09-28 05:50:57 +0000142 IGNORE_EXCEPTION_DETAIL)
Tim Peters38330fe2004-08-30 16:19:24 +0000143
Edward Loper71f55af2004-08-26 01:41:51 +0000144REPORT_UDIFF = register_optionflag('REPORT_UDIFF')
145REPORT_CDIFF = register_optionflag('REPORT_CDIFF')
146REPORT_NDIFF = register_optionflag('REPORT_NDIFF')
Edward Lopera89f88d2004-08-26 02:45:51 +0000147REPORT_ONLY_FIRST_FAILURE = register_optionflag('REPORT_ONLY_FIRST_FAILURE')
Edward Loperac20f572004-08-12 02:02:24 +0000148
Tim Peters38330fe2004-08-30 16:19:24 +0000149REPORTING_FLAGS = (REPORT_UDIFF |
150 REPORT_CDIFF |
151 REPORT_NDIFF |
152 REPORT_ONLY_FIRST_FAILURE)
153
Edward Loperac20f572004-08-12 02:02:24 +0000154# Special string markers for use in `want` strings:
155BLANKLINE_MARKER = '<BLANKLINE>'
156ELLIPSIS_MARKER = '...'
157
Tim Peters8485b562004-08-04 18:46:34 +0000158######################################################################
159## Table of Contents
160######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000161# 1. Utility Functions
162# 2. Example & DocTest -- store test cases
163# 3. DocTest Parser -- extracts examples from strings
164# 4. DocTest Finder -- extracts test cases from objects
165# 5. DocTest Runner -- runs test cases
166# 6. Test Functions -- convenient wrappers for testing
Georg Brandl31835852008-05-12 17:38:56 +0000167# 7. Unittest Support
168# 8. Debugging Support
169# 9. 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 """
Florent Xiclunae94b2212010-02-27 14:37:21 +0000221 Add the given number of space characters to the beginning of
222 every 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):
Antoine Pitrou66f9fea2010-01-31 23:20:26 +0000250 self.seek(size)
251 StringIO.truncate(self)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000252
Tim Peters26b3ebb2004-08-19 08:10:08 +0000253# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000254def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000255 """
256 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000257 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000258 False
259 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000260 if ELLIPSIS_MARKER not in want:
261 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000262
Tim Peters26b3ebb2004-08-19 08:10:08 +0000263 # Find "the real" strings.
264 ws = want.split(ELLIPSIS_MARKER)
265 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000266
Tim Petersdc5de3b2004-08-19 14:06:20 +0000267 # Deal with exact matches possibly needed at one or both ends.
268 startpos, endpos = 0, len(got)
269 w = ws[0]
270 if w: # starts with exact match
271 if got.startswith(w):
272 startpos = len(w)
273 del ws[0]
274 else:
275 return False
276 w = ws[-1]
277 if w: # ends with exact match
278 if got.endswith(w):
279 endpos -= len(w)
280 del ws[-1]
281 else:
282 return False
283
284 if startpos > endpos:
285 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000286 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000287 return False
288
289 # For the rest, we only need to find the leftmost non-overlapping
290 # match for each piece. If there's no overall match that way alone,
291 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000292 for w in ws:
293 # w may be '' at times, if there are consecutive ellipses, or
294 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000295 # Search for an empty string succeeds, and doesn't change startpos.
296 startpos = got.find(w, startpos, endpos)
297 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000298 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000299 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000300
Tim Petersdc5de3b2004-08-19 14:06:20 +0000301 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000302
Edward Loper00f8da72004-08-26 18:05:07 +0000303def _comment_line(line):
304 "Return a commented form of the given line"
305 line = line.rstrip()
306 if line:
307 return '# '+line
308 else:
309 return '#'
310
Edward Loper2de91ba2004-08-27 02:07:46 +0000311class _OutputRedirectingPdb(pdb.Pdb):
312 """
313 A specialized version of the python debugger that redirects stdout
314 to a given stream when interacting with the user. Stdout is *not*
315 redirected when traced code is executed.
316 """
317 def __init__(self, out):
318 self.__out = out
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000319 self.__debugger_used = False
Thomas Wouters477c8d52006-05-27 19:21:47 +0000320 pdb.Pdb.__init__(self, stdout=out)
Georg Brandl469d3e72010-08-01 19:35:16 +0000321 # still use input() to get user input
322 self.use_rawinput = 1
Edward Loper2de91ba2004-08-27 02:07:46 +0000323
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000324 def set_trace(self, frame=None):
325 self.__debugger_used = True
326 if frame is None:
327 frame = sys._getframe().f_back
328 pdb.Pdb.set_trace(self, frame)
329
330 def set_continue(self):
331 # Calling set_continue unconditionally would break unit test
332 # coverage reporting, as Bdb.set_continue calls sys.settrace(None).
333 if self.__debugger_used:
334 pdb.Pdb.set_continue(self)
335
Edward Loper2de91ba2004-08-27 02:07:46 +0000336 def trace_dispatch(self, *args):
337 # Redirect stdout to the given stream.
338 save_stdout = sys.stdout
339 sys.stdout = self.__out
340 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000341 try:
342 return pdb.Pdb.trace_dispatch(self, *args)
343 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000344 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000345
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000346# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000347def _module_relative_path(module, path):
348 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000349 raise TypeError('Expected a module: %r' % module)
Edward Loper052d0cd2004-09-19 17:19:33 +0000350 if path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000351 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000352
353 # Find the base directory for the path.
354 if hasattr(module, '__file__'):
355 # A normal module/package
356 basedir = os.path.split(module.__file__)[0]
357 elif module.__name__ == '__main__':
358 # An interactive session.
359 if len(sys.argv)>0 and sys.argv[0] != '':
360 basedir = os.path.split(sys.argv[0])[0]
361 else:
362 basedir = os.curdir
363 else:
364 # A module w/o __file__ (this includes builtins)
365 raise ValueError("Can't resolve paths relative to the module " +
366 module + " (it has no __file__)")
367
368 # Combine the base directory and the path.
369 return os.path.join(basedir, *(path.split('/')))
370
Tim Peters8485b562004-08-04 18:46:34 +0000371######################################################################
372## 2. Example & DocTest
373######################################################################
374## - An "example" is a <source, want> pair, where "source" is a
375## fragment of source code, and "want" is the expected output for
376## "source." The Example class also includes information about
377## where the example was extracted from.
378##
Edward Lopera1ef6112004-08-09 16:14:41 +0000379## - A "doctest" is a collection of examples, typically extracted from
380## a string (such as an object's docstring). The DocTest class also
381## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000382
Tim Peters8485b562004-08-04 18:46:34 +0000383class Example:
384 """
385 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000386 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000387
Edward Loper74bca7a2004-08-12 02:27:44 +0000388 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000389 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000390
Edward Loper74bca7a2004-08-12 02:27:44 +0000391 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000392 from stdout, or a traceback in case of exception). `want` ends
393 with a newline unless it's empty, in which case it's an empty
394 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000395
Edward Lopera6b68322004-08-26 00:05:43 +0000396 - exc_msg: The exception message generated by the example, if
397 the example is expected to generate an exception; or `None` if
398 it is not expected to generate an exception. This exception
399 message is compared against the return value of
400 `traceback.format_exception_only()`. `exc_msg` ends with a
401 newline unless it's `None`. The constructor adds a newline
402 if needed.
403
Edward Loper74bca7a2004-08-12 02:27:44 +0000404 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000405 this Example where the Example begins. This line number is
406 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000407
408 - indent: The example's indentation in the DocTest string.
409 I.e., the number of space characters that preceed the
410 example's first prompt.
411
412 - options: A dictionary mapping from option flags to True or
413 False, which is used to override default options for this
414 example. Any option flags not contained in this dictionary
415 are left at their default value (as specified by the
416 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000417 """
Edward Lopera6b68322004-08-26 00:05:43 +0000418 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
419 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000420 # Normalize inputs.
421 if not source.endswith('\n'):
422 source += '\n'
423 if want and not want.endswith('\n'):
424 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000425 if exc_msg is not None and not exc_msg.endswith('\n'):
426 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000427 # Store properties.
428 self.source = source
429 self.want = want
430 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000431 self.indent = indent
432 if options is None: options = {}
433 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000434 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000435
Tim Peters8485b562004-08-04 18:46:34 +0000436class DocTest:
437 """
438 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000439 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000440
Tim Peters8485b562004-08-04 18:46:34 +0000441 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000442
Tim Peters8485b562004-08-04 18:46:34 +0000443 - globs: The namespace (aka globals) that the examples should
444 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000445
Tim Peters8485b562004-08-04 18:46:34 +0000446 - name: A name identifying the DocTest (typically, the name of
447 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000448
Tim Peters8485b562004-08-04 18:46:34 +0000449 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000450 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000451
Tim Peters8485b562004-08-04 18:46:34 +0000452 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000453 begins, or `None` if the line number is unavailable. This
454 line number is zero-based, with respect to the beginning of
455 the file.
456
457 - docstring: The string that the examples were extracted from,
458 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000459 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000460 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000461 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000462 Create a new DocTest containing the given examples. The
463 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000464 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000465 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000466 "DocTest no longer accepts str; use DocTestParser instead"
467 self.examples = examples
468 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000469 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000470 self.name = name
471 self.filename = filename
472 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000473
474 def __repr__(self):
475 if len(self.examples) == 0:
476 examples = 'no examples'
477 elif len(self.examples) == 1:
478 examples = '1 example'
479 else:
480 examples = '%d examples' % len(self.examples)
481 return ('<DocTest %s from %s:%s (%s)>' %
482 (self.name, self.filename, self.lineno, examples))
483
484
485 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000486 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000487 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000488 return NotImplemented
489 return ((self.name, self.filename, self.lineno, id(self))
490 <
491 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000492
493######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000494## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000495######################################################################
496
Edward Lopera1ef6112004-08-09 16:14:41 +0000497class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000498 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000499 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000500 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000501 # This regular expression is used to find doctest examples in a
502 # string. It defines three groups: `source` is the source code
503 # (including leading indentation and prompts); `indent` is the
504 # indentation of the first (PS1) line of the source code; and
505 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000506 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000507 # Source consists of a PS1 line followed by zero or more PS2 lines.
508 (?P<source>
509 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
510 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
511 \n?
512 # Want consists of any non-blank lines that do not start with PS1.
513 (?P<want> (?:(?![ ]*$) # Not a blank line
514 (?![ ]*>>>) # Not a line starting with PS1
515 .*$\n? # But any other line
516 )*)
517 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000518
Edward Lopera6b68322004-08-26 00:05:43 +0000519 # A regular expression for handling `want` strings that contain
520 # expected exceptions. It divides `want` into three pieces:
521 # - the traceback header line (`hdr`)
522 # - the traceback stack (`stack`)
523 # - the exception message (`msg`), as generated by
524 # traceback.format_exception_only()
525 # `msg` may have multiple lines. We assume/require that the
526 # exception message is the first non-indented line starting with a word
527 # character following the traceback header line.
528 _EXCEPTION_RE = re.compile(r"""
529 # Grab the traceback header. Different versions of Python have
530 # said different things on the first traceback line.
531 ^(?P<hdr> Traceback\ \(
532 (?: most\ recent\ call\ last
533 | innermost\ last
534 ) \) :
535 )
536 \s* $ # toss trailing whitespace on the header.
537 (?P<stack> .*?) # don't blink: absorb stuff until...
538 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
539 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
540
Tim Peters7ea48dd2004-08-13 01:52:59 +0000541 # A callable returning a true value iff its argument is a blank line
542 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000543 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000544
Edward Loper00f8da72004-08-26 18:05:07 +0000545 def parse(self, string, name='<string>'):
546 """
547 Divide the given string into examples and intervening text,
548 and return them as a list of alternating Examples and strings.
549 Line numbers for the Examples are 0-based. The optional
550 argument `name` is a name identifying this string, and is only
551 used for error messages.
552 """
553 string = string.expandtabs()
554 # If all lines begin with the same indentation, then strip it.
555 min_indent = self._min_indent(string)
556 if min_indent > 0:
557 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
558
559 output = []
560 charno, lineno = 0, 0
561 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000562 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000563 # Add the pre-example text to `output`.
564 output.append(string[charno:m.start()])
565 # Update lineno (lines before this example)
566 lineno += string.count('\n', charno, m.start())
567 # Extract info from the regexp match.
568 (source, options, want, exc_msg) = \
569 self._parse_example(m, name, lineno)
570 # Create an Example, and add it to the list.
571 if not self._IS_BLANK_OR_COMMENT(source):
572 output.append( Example(source, want, exc_msg,
573 lineno=lineno,
574 indent=min_indent+len(m.group('indent')),
575 options=options) )
576 # Update lineno (lines inside this example)
577 lineno += string.count('\n', m.start(), m.end())
578 # Update charno.
579 charno = m.end()
580 # Add any remaining post-example text to `output`.
581 output.append(string[charno:])
582 return output
583
Edward Lopera1ef6112004-08-09 16:14:41 +0000584 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000585 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000586 Extract all doctest examples from the given string, and
587 collect them into a `DocTest` object.
588
589 `globs`, `name`, `filename`, and `lineno` are attributes for
590 the new `DocTest` object. See the documentation for `DocTest`
591 for more information.
592 """
593 return DocTest(self.get_examples(string, name), globs,
594 name, filename, lineno, string)
595
596 def get_examples(self, string, name='<string>'):
597 """
598 Extract all doctest examples from the given string, and return
599 them as a list of `Example` objects. Line numbers are
600 0-based, because it's most common in doctests that nothing
601 interesting appears on the same line as opening triple-quote,
602 and so the first interesting line is called \"line 1\" then.
603
604 The optional argument `name` is a name identifying this
605 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000606 """
Edward Loper00f8da72004-08-26 18:05:07 +0000607 return [x for x in self.parse(string, name)
608 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000609
Edward Loper74bca7a2004-08-12 02:27:44 +0000610 def _parse_example(self, m, name, lineno):
611 """
612 Given a regular expression match from `_EXAMPLE_RE` (`m`),
613 return a pair `(source, want)`, where `source` is the matched
614 example's source code (with prompts and indentation stripped);
615 and `want` is the example's expected output (with indentation
616 stripped).
617
618 `name` is the string's name, and `lineno` is the line number
619 where the example starts; both are used for error messages.
620 """
Edward Loper7c748462004-08-09 02:06:06 +0000621 # Get the example's indentation level.
622 indent = len(m.group('indent'))
623
624 # Divide source into lines; check that they're properly
625 # indented; and then strip their indentation & prompts.
626 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000627 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000628 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000629 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000630
Tim Petersc5049152004-08-22 17:34:58 +0000631 # Divide want into lines; check that it's properly indented; and
632 # then strip the indentation. Spaces before the last newline should
633 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000634 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000635 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000636 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
637 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000638 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000639 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000640 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000641
Edward Lopera6b68322004-08-26 00:05:43 +0000642 # If `want` contains a traceback message, then extract it.
643 m = self._EXCEPTION_RE.match(want)
644 if m:
645 exc_msg = m.group('msg')
646 else:
647 exc_msg = None
648
Edward Loper00f8da72004-08-26 18:05:07 +0000649 # Extract options from the source.
650 options = self._find_options(source, name, lineno)
651
652 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000653
Edward Loper74bca7a2004-08-12 02:27:44 +0000654 # This regular expression looks for option directives in the
655 # source code of an example. Option directives are comments
656 # starting with "doctest:". Warning: this may give false
657 # positives for string-literals that contain the string
658 # "#doctest:". Eliminating these false positives would require
659 # actually parsing the string; but we limit them by ignoring any
660 # line containing "#doctest:" that is *followed* by a quote mark.
661 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
662 re.MULTILINE)
663
664 def _find_options(self, source, name, lineno):
665 """
666 Return a dictionary containing option overrides extracted from
667 option directives in the given source string.
668
669 `name` is the string's name, and `lineno` is the line number
670 where the example starts; both are used for error messages.
671 """
672 options = {}
673 # (note: with the current regexp, this will match at most once:)
674 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
675 option_strings = m.group(1).replace(',', ' ').split()
676 for option in option_strings:
677 if (option[0] not in '+-' or
678 option[1:] not in OPTIONFLAGS_BY_NAME):
679 raise ValueError('line %r of the doctest for %s '
680 'has an invalid option: %r' %
681 (lineno+1, name, option))
682 flag = OPTIONFLAGS_BY_NAME[option[1:]]
683 options[flag] = (option[0] == '+')
684 if options and self._IS_BLANK_OR_COMMENT(source):
685 raise ValueError('line %r of the doctest for %s has an option '
686 'directive on a line with no example: %r' %
687 (lineno, name, source))
688 return options
689
Edward Lopera5db6002004-08-12 02:41:30 +0000690 # This regular expression finds the indentation of every non-blank
691 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000692 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000693
694 def _min_indent(self, s):
695 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000696 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
697 if len(indents) > 0:
698 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000699 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000700 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000701
Edward Lopera1ef6112004-08-09 16:14:41 +0000702 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000703 """
704 Given the lines of a source string (including prompts and
705 leading indentation), check to make sure that every prompt is
706 followed by a space character. If any line is not followed by
707 a space character, then raise ValueError.
708 """
Edward Loper7c748462004-08-09 02:06:06 +0000709 for i, line in enumerate(lines):
710 if len(line) >= indent+4 and line[indent+3] != ' ':
711 raise ValueError('line %r of the docstring for %s '
712 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000713 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000714 line[indent:indent+3], line))
715
Edward Lopera1ef6112004-08-09 16:14:41 +0000716 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000717 """
718 Check that every line in the given list starts with the given
719 prefix; if any line does not, then raise a ValueError.
720 """
Edward Loper7c748462004-08-09 02:06:06 +0000721 for i, line in enumerate(lines):
722 if line and not line.startswith(prefix):
723 raise ValueError('line %r of the docstring for %s has '
724 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000725 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000726
727
728######################################################################
729## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000730######################################################################
731
732class DocTestFinder:
733 """
734 A class used to extract the DocTests that are relevant to a given
735 object, from its docstring and the docstrings of its contained
736 objects. Doctests can currently be extracted from the following
737 object types: modules, functions, classes, methods, staticmethods,
738 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000739 """
740
Edward Lopera1ef6112004-08-09 16:14:41 +0000741 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000742 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000743 """
744 Create a new doctest finder.
745
Edward Lopera1ef6112004-08-09 16:14:41 +0000746 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000747 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000748 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000749 signature for this factory function should match the signature
750 of the DocTest constructor.
751
Tim Peters8485b562004-08-04 18:46:34 +0000752 If the optional argument `recurse` is false, then `find` will
753 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000754
Tim Peters958cc892004-09-13 14:53:28 +0000755 If the optional argument `exclude_empty` is false, then `find`
756 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000757 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000758 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000759 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000760 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000761 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000762
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000763 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000764 """
765 Return a list of the DocTests that are defined by the given
766 object's docstring, or by any of its contained objects'
767 docstrings.
768
769 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000770 the given object. If the module is not specified or is None, then
771 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000772 correct module. The object's module is used:
773
774 - As a default namespace, if `globs` is not specified.
775 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000776 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000777 - To find the name of the file containing the object.
778 - To help find the line number of the object within its
779 file.
780
Tim Petersf3f57472004-08-08 06:11:48 +0000781 Contained objects whose module does not match `module` are ignored.
782
783 If `module` is False, no attempt to find the module will be made.
784 This is obscure, of use mostly in tests: if `module` is False, or
785 is None but cannot be found automatically, then all objects are
786 considered to belong to the (non-existent) module, so all contained
787 objects will (recursively) be searched for doctests.
788
Tim Peters8485b562004-08-04 18:46:34 +0000789 The globals for each DocTest is formed by combining `globs`
790 and `extraglobs` (bindings in `extraglobs` override bindings
791 in `globs`). A new copy of the globals dictionary is created
792 for each DocTest. If `globs` is not specified, then it
793 defaults to the module's `__dict__`, if specified, or {}
794 otherwise. If `extraglobs` is not specified, then it defaults
795 to {}.
796
Tim Peters8485b562004-08-04 18:46:34 +0000797 """
798 # If name was not specified, then extract it from the object.
799 if name is None:
800 name = getattr(obj, '__name__', None)
801 if name is None:
802 raise ValueError("DocTestFinder.find: name must be given "
803 "when obj.__name__ doesn't exist: %r" %
804 (type(obj),))
805
806 # Find the module that contains the given object (if obj is
807 # a module, then module=obj.). Note: this may fail, in which
808 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000809 if module is False:
810 module = None
811 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000812 module = inspect.getmodule(obj)
813
814 # Read the module's source code. This is used by
815 # DocTestFinder._find_lineno to find the line number for a
816 # given object's docstring.
817 try:
R. David Murray58641de2009-06-12 15:33:19 +0000818 file = inspect.getsourcefile(obj)
Tim Peters8485b562004-08-04 18:46:34 +0000819 except TypeError:
820 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000821 else:
822 if not file:
823 # Check to see if it's one of our special internal "files"
824 # (see __patched_linecache_getlines).
825 file = inspect.getfile(obj)
826 if not file[0]+file[-2:] == '<]>': file = None
Georg Brandlc3c6fed2009-08-13 09:15:16 +0000827 if file is None:
828 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000829 else:
830 if module is not None:
831 # Supply the module globals in case the module was
832 # originally loaded via a PEP 302 loader and
833 # file is not a valid filesystem path
834 source_lines = linecache.getlines(file, module.__dict__)
835 else:
836 # No access to a loader, so assume it's a normal
837 # filesystem path
838 source_lines = linecache.getlines(file)
839 if not source_lines:
840 source_lines = None
Tim Peters8485b562004-08-04 18:46:34 +0000841
842 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000843 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000844 if module is None:
845 globs = {}
846 else:
847 globs = module.__dict__.copy()
848 else:
849 globs = globs.copy()
850 if extraglobs is not None:
851 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +0000852 if '__name__' not in globs:
853 globs['__name__'] = '__main__' # provide a default module name
Tim Peters8a7d2d52001-01-16 07:10:57 +0000854
Tim Peters8485b562004-08-04 18:46:34 +0000855 # Recursively expore `obj`, extracting DocTests.
856 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000857 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000858 # Sort the tests by alpha order of names, for consistency in
859 # verbose-mode output. This was a feature of doctest in Pythons
860 # <= 2.3 that got lost by accident in 2.4. It was repaired in
861 # 2.4.4 and 2.5.
862 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000863 return tests
864
Tim Peters8485b562004-08-04 18:46:34 +0000865 def _from_module(self, module, object):
866 """
867 Return true if the given object is defined in the given
868 module.
869 """
870 if module is None:
871 return True
Benjamin Peterson6cadba72008-11-19 22:38:29 +0000872 elif inspect.getmodule(object) is not None:
873 return module is inspect.getmodule(object)
Tim Peters8485b562004-08-04 18:46:34 +0000874 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000875 return module.__dict__ is object.__globals__
Tim Peters8485b562004-08-04 18:46:34 +0000876 elif inspect.isclass(object):
877 return module.__name__ == object.__module__
Tim Peters8485b562004-08-04 18:46:34 +0000878 elif hasattr(object, '__module__'):
879 return module.__name__ == object.__module__
880 elif isinstance(object, property):
881 return True # [XX] no way not be sure.
882 else:
883 raise ValueError("object must be a class or function")
884
Tim Petersf3f57472004-08-08 06:11:48 +0000885 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000886 """
887 Find tests for the given object and any contained objects, and
888 add them to `tests`.
889 """
890 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000891 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000892
893 # If we've already processed this object, then ignore it.
894 if id(obj) in seen:
895 return
896 seen[id(obj)] = 1
897
898 # Find a test for this object, and add it to the list of tests.
899 test = self._get_test(obj, name, module, globs, source_lines)
900 if test is not None:
901 tests.append(test)
902
903 # Look for tests in a module's contained objects.
904 if inspect.ismodule(obj) and self._recurse:
905 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000906 valname = '%s.%s' % (name, valname)
907 # Recurse to functions & classes.
908 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000909 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000910 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000911 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000912
913 # Look for tests in a module's __test__ dictionary.
914 if inspect.ismodule(obj) and self._recurse:
915 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000916 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +0000917 raise ValueError("DocTestFinder.find: __test__ keys "
918 "must be strings: %r" %
919 (type(valname),))
920 if not (inspect.isfunction(val) or inspect.isclass(val) or
921 inspect.ismethod(val) or inspect.ismodule(val) or
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000922 isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +0000923 raise ValueError("DocTestFinder.find: __test__ values "
924 "must be strings, functions, methods, "
925 "classes, or modules: %r" %
926 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000927 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +0000928 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000929 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000930
931 # Look for tests in a class's contained objects.
932 if inspect.isclass(obj) and self._recurse:
933 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000934 # Special handling for staticmethod/classmethod.
935 if isinstance(val, staticmethod):
936 val = getattr(obj, valname)
937 if isinstance(val, classmethod):
Christian Heimesff737952007-11-27 10:40:20 +0000938 val = getattr(obj, valname).__func__
Tim Peters8485b562004-08-04 18:46:34 +0000939
940 # Recurse to methods, properties, and nested classes.
941 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000942 isinstance(val, property)) and
943 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000944 valname = '%s.%s' % (name, valname)
945 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000946 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000947
948 def _get_test(self, obj, name, module, globs, source_lines):
949 """
950 Return a DocTest for the given object, if it defines a docstring;
951 otherwise, return None.
952 """
953 # Extract the object's docstring. If it doesn't have one,
954 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000955 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +0000956 docstring = obj
957 else:
958 try:
959 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000960 docstring = ''
961 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000962 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000963 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +0000964 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000965 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000966 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000967
968 # Find the docstring's location in the file.
969 lineno = self._find_lineno(obj, source_lines)
970
Edward Loper32ddbf72004-09-13 05:47:24 +0000971 # Don't bother if the docstring is empty.
972 if self._exclude_empty and not docstring:
973 return None
974
Tim Peters8485b562004-08-04 18:46:34 +0000975 # Return a DocTest for this object.
976 if module is None:
977 filename = None
978 else:
979 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000980 if filename[-4:] in (".pyc", ".pyo"):
981 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000982 return self._parser.get_doctest(docstring, globs, name,
983 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000984
985 def _find_lineno(self, obj, source_lines):
986 """
987 Return a line number of the given object's docstring. Note:
988 this method assumes that the object has a docstring.
989 """
990 lineno = None
991
992 # Find the line number for modules.
993 if inspect.ismodule(obj):
994 lineno = 0
995
996 # Find the line number for classes.
997 # Note: this could be fooled if a class is defined multiple
998 # times in a single file.
999 if inspect.isclass(obj):
1000 if source_lines is None:
1001 return None
1002 pat = re.compile(r'^\s*class\s*%s\b' %
1003 getattr(obj, '__name__', '-'))
1004 for i, line in enumerate(source_lines):
1005 if pat.match(line):
1006 lineno = i
1007 break
1008
1009 # Find the line number for functions & methods.
Christian Heimesff737952007-11-27 10:40:20 +00001010 if inspect.ismethod(obj): obj = obj.__func__
Neal Norwitz221085d2007-02-25 20:55:47 +00001011 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +00001012 if inspect.istraceback(obj): obj = obj.tb_frame
1013 if inspect.isframe(obj): obj = obj.f_code
1014 if inspect.iscode(obj):
1015 lineno = getattr(obj, 'co_firstlineno', None)-1
1016
1017 # Find the line number where the docstring starts. Assume
1018 # that it's the first line that begins with a quote mark.
1019 # Note: this could be fooled by a multiline function
1020 # signature, where a continuation line begins with a quote
1021 # mark.
1022 if lineno is not None:
1023 if source_lines is None:
1024 return lineno+1
1025 pat = re.compile('(^|.*:)\s*\w*("|\')')
1026 for lineno in range(lineno, len(source_lines)):
1027 if pat.match(source_lines[lineno]):
1028 return lineno
1029
1030 # We couldn't find the line number.
1031 return None
1032
1033######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001034## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001035######################################################################
1036
Tim Peters8485b562004-08-04 18:46:34 +00001037class DocTestRunner:
1038 """
1039 A class used to run DocTest test cases, and accumulate statistics.
1040 The `run` method is used to process a single DocTest case. It
1041 returns a tuple `(f, t)`, where `t` is the number of test cases
1042 tried, and `f` is the number of test cases that failed.
1043
1044 >>> tests = DocTestFinder().find(_TestClass)
1045 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001046 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001047 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001048 ... print(test.name, '->', runner.run(test))
Christian Heimes25bb7832008-01-11 16:17:00 +00001049 _TestClass -> TestResults(failed=0, attempted=2)
1050 _TestClass.__init__ -> TestResults(failed=0, attempted=2)
1051 _TestClass.get -> TestResults(failed=0, attempted=2)
1052 _TestClass.square -> TestResults(failed=0, attempted=1)
Tim Peters8485b562004-08-04 18:46:34 +00001053
1054 The `summarize` method prints a summary of all the test cases that
1055 have been run by the runner, and returns an aggregated `(f, t)`
1056 tuple:
1057
1058 >>> runner.summarize(verbose=1)
1059 4 items passed all tests:
1060 2 tests in _TestClass
1061 2 tests in _TestClass.__init__
1062 2 tests in _TestClass.get
1063 1 tests in _TestClass.square
1064 7 tests in 4 items.
1065 7 passed and 0 failed.
1066 Test passed.
Christian Heimes25bb7832008-01-11 16:17:00 +00001067 TestResults(failed=0, attempted=7)
Tim Peters8485b562004-08-04 18:46:34 +00001068
1069 The aggregated number of tried examples and failed examples is
1070 also available via the `tries` and `failures` attributes:
1071
1072 >>> runner.tries
1073 7
1074 >>> runner.failures
1075 0
1076
1077 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001078 by an `OutputChecker`. This comparison may be customized with a
1079 number of option flags; see the documentation for `testmod` for
1080 more information. If the option flags are insufficient, then the
1081 comparison may also be customized by passing a subclass of
1082 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001083
1084 The test runner's display output can be controlled in two ways.
1085 First, an output function (`out) can be passed to
1086 `TestRunner.run`; this function will be called with strings that
1087 should be displayed. It defaults to `sys.stdout.write`. If
1088 capturing the output is not sufficient, then the display output
1089 can be also customized by subclassing DocTestRunner, and
1090 overriding the methods `report_start`, `report_success`,
1091 `report_unexpected_exception`, and `report_failure`.
1092 """
1093 # This divider string is used to separate failure messages, and to
1094 # separate sections of the summary.
1095 DIVIDER = "*" * 70
1096
Edward Loper34fcb142004-08-09 02:45:41 +00001097 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001098 """
1099 Create a new test runner.
1100
Edward Loper34fcb142004-08-09 02:45:41 +00001101 Optional keyword arg `checker` is the `OutputChecker` that
1102 should be used to compare the expected outputs and actual
1103 outputs of doctest examples.
1104
Tim Peters8485b562004-08-04 18:46:34 +00001105 Optional keyword arg 'verbose' prints lots of stuff if true,
1106 only failures if false; by default, it's true iff '-v' is in
1107 sys.argv.
1108
1109 Optional argument `optionflags` can be used to control how the
1110 test runner compares expected output to actual output, and how
1111 it displays failures. See the documentation for `testmod` for
1112 more information.
1113 """
Edward Loper34fcb142004-08-09 02:45:41 +00001114 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001115 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001116 verbose = '-v' in sys.argv
1117 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001118 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001119 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001120
Tim Peters8485b562004-08-04 18:46:34 +00001121 # Keep track of the examples we've run.
1122 self.tries = 0
1123 self.failures = 0
1124 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001125
Tim Peters8485b562004-08-04 18:46:34 +00001126 # Create a fake output target for capturing doctest output.
1127 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001128
Tim Peters8485b562004-08-04 18:46:34 +00001129 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001130 # Reporting methods
1131 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001132
Tim Peters8485b562004-08-04 18:46:34 +00001133 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001134 """
Tim Peters8485b562004-08-04 18:46:34 +00001135 Report that the test runner is about to process the given
1136 example. (Only displays a message if verbose=True)
1137 """
1138 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001139 if example.want:
1140 out('Trying:\n' + _indent(example.source) +
1141 'Expecting:\n' + _indent(example.want))
1142 else:
1143 out('Trying:\n' + _indent(example.source) +
1144 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001145
Tim Peters8485b562004-08-04 18:46:34 +00001146 def report_success(self, out, test, example, got):
1147 """
1148 Report that the given example ran successfully. (Only
1149 displays a message if verbose=True)
1150 """
1151 if self._verbose:
1152 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001153
Tim Peters8485b562004-08-04 18:46:34 +00001154 def report_failure(self, out, test, example, got):
1155 """
1156 Report that the given example failed.
1157 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001158 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001159 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001160
Tim Peters8485b562004-08-04 18:46:34 +00001161 def report_unexpected_exception(self, out, test, example, exc_info):
1162 """
1163 Report that the given example raised an unexpected exception.
1164 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001165 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001166 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001167
Edward Loper8e4a34b2004-08-12 02:34:27 +00001168 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001169 out = [self.DIVIDER]
1170 if test.filename:
1171 if test.lineno is not None and example.lineno is not None:
1172 lineno = test.lineno + example.lineno + 1
1173 else:
1174 lineno = '?'
1175 out.append('File "%s", line %s, in %s' %
1176 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001177 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001178 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1179 out.append('Failed example:')
1180 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001181 out.append(_indent(source))
1182 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001183
Tim Peters8485b562004-08-04 18:46:34 +00001184 #/////////////////////////////////////////////////////////////////
1185 # DocTest Running
1186 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001187
Tim Peters8485b562004-08-04 18:46:34 +00001188 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001189 """
Tim Peters8485b562004-08-04 18:46:34 +00001190 Run the examples in `test`. Write the outcome of each example
1191 with one of the `DocTestRunner.report_*` methods, using the
1192 writer function `out`. `compileflags` is the set of compiler
1193 flags that should be used to execute examples. Return a tuple
1194 `(f, t)`, where `t` is the number of examples tried, and `f`
1195 is the number of examples that failed. The examples are run
1196 in the namespace `test.globs`.
1197 """
1198 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001199 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001200
1201 # Save the option flags (since option directives can be used
1202 # to modify them).
1203 original_optionflags = self.optionflags
1204
Tim Peters1fbf9c52004-09-04 17:21:02 +00001205 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1206
1207 check = self._checker.check_output
1208
Tim Peters8485b562004-08-04 18:46:34 +00001209 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001210 for examplenum, example in enumerate(test.examples):
1211
Edward Lopera89f88d2004-08-26 02:45:51 +00001212 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1213 # reporting after the first failure.
1214 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1215 failures > 0)
1216
Edward Loper74bca7a2004-08-12 02:27:44 +00001217 # Merge in the example's options.
1218 self.optionflags = original_optionflags
1219 if example.options:
1220 for (optionflag, val) in example.options.items():
1221 if val:
1222 self.optionflags |= optionflag
1223 else:
1224 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001225
Thomas Wouters477c8d52006-05-27 19:21:47 +00001226 # If 'SKIP' is set, then skip this example.
1227 if self.optionflags & SKIP:
1228 continue
1229
Tim Peters8485b562004-08-04 18:46:34 +00001230 # Record that we started this example.
1231 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001232 if not quiet:
1233 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001234
Edward Loper2de91ba2004-08-27 02:07:46 +00001235 # Use a special filename for compile(), so we can retrieve
1236 # the source code during interactive debugging (see
1237 # __patched_linecache_getlines).
1238 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1239
Tim Peters8485b562004-08-04 18:46:34 +00001240 # Run the example in the given context (globs), and record
1241 # any exception that gets raised. (But don't intercept
1242 # keyboard interrupts.)
1243 try:
Tim Peters208ca702004-08-09 04:12:36 +00001244 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001245 exec(compile(example.source, filename, "single",
1246 compileflags, 1), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001247 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001248 exception = None
1249 except KeyboardInterrupt:
1250 raise
1251 except:
1252 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001253 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001254
Tim Peters208ca702004-08-09 04:12:36 +00001255 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001256 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001257 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001258
1259 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001260 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001261 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001262 if check(example.want, got, self.optionflags):
1263 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001264
Tim Peters1fbf9c52004-09-04 17:21:02 +00001265 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001266 else:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001267 exc_msg = traceback.format_exception_only(*exception[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001268 if not quiet:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001269 got += _exception_traceback(exception)
Tim Peters8485b562004-08-04 18:46:34 +00001270
Tim Peters1fbf9c52004-09-04 17:21:02 +00001271 # If `example.exc_msg` is None, then we weren't expecting
1272 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001273 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001274 outcome = BOOM
1275
1276 # We expected an exception: see whether it matches.
1277 elif check(example.exc_msg, exc_msg, self.optionflags):
1278 outcome = SUCCESS
1279
1280 # Another chance if they didn't care about the detail.
1281 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1282 m1 = re.match(r'[^:]*:', example.exc_msg)
1283 m2 = re.match(r'[^:]*:', exc_msg)
1284 if m1 and m2 and check(m1.group(0), m2.group(0),
1285 self.optionflags):
1286 outcome = SUCCESS
1287
1288 # Report the outcome.
1289 if outcome is SUCCESS:
1290 if not quiet:
1291 self.report_success(out, test, example, got)
1292 elif outcome is FAILURE:
1293 if not quiet:
1294 self.report_failure(out, test, example, got)
1295 failures += 1
1296 elif outcome is BOOM:
1297 if not quiet:
1298 self.report_unexpected_exception(out, test, example,
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001299 exception)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001300 failures += 1
1301 else:
1302 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001303
1304 # Restore the option flags (in case they were modified)
1305 self.optionflags = original_optionflags
1306
1307 # Record and return the number of failures and tries.
1308 self.__record_outcome(test, failures, tries)
Christian Heimes25bb7832008-01-11 16:17:00 +00001309 return TestResults(failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001310
Tim Peters8485b562004-08-04 18:46:34 +00001311 def __record_outcome(self, test, f, t):
1312 """
1313 Record the fact that the given DocTest (`test`) generated `f`
1314 failures out of `t` tried examples.
1315 """
1316 f2, t2 = self._name2ft.get(test.name, (0,0))
1317 self._name2ft[test.name] = (f+f2, t+t2)
1318 self.failures += f
1319 self.tries += t
1320
Edward Loper2de91ba2004-08-27 02:07:46 +00001321 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1322 r'(?P<name>[\w\.]+)'
1323 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001324 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001325 m = self.__LINECACHE_FILENAME_RE.match(filename)
1326 if m and m.group('name') == self.test.name:
1327 example = self.test.examples[int(m.group('examplenum'))]
1328 return example.source.splitlines(True)
1329 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001330 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001331
Tim Peters8485b562004-08-04 18:46:34 +00001332 def run(self, test, compileflags=None, out=None, clear_globs=True):
1333 """
1334 Run the examples in `test`, and display the results using the
1335 writer function `out`.
1336
1337 The examples are run in the namespace `test.globs`. If
1338 `clear_globs` is true (the default), then this namespace will
1339 be cleared after the test runs, to help with garbage
1340 collection. If you would like to examine the namespace after
1341 the test completes, then use `clear_globs=False`.
1342
1343 `compileflags` gives the set of flags that should be used by
1344 the Python compiler when running the examples. If not
1345 specified, then it will default to the set of future-import
1346 flags that apply to `globs`.
1347
1348 The output of each example is checked using
1349 `DocTestRunner.check_output`, and the results are formatted by
1350 the `DocTestRunner.report_*` methods.
1351 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001352 self.test = test
1353
Tim Peters8485b562004-08-04 18:46:34 +00001354 if compileflags is None:
1355 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001356
Tim Peters6c542b72004-08-09 16:43:36 +00001357 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001358 if out is None:
Florent Xiclunae94b2212010-02-27 14:37:21 +00001359 encoding = save_stdout.encoding
1360 if encoding is None or encoding.lower() == 'utf-8':
1361 out = save_stdout.write
1362 else:
1363 # Use backslashreplace error handling on write
1364 def out(s):
1365 s = str(s.encode(encoding, 'backslashreplace'), encoding)
1366 save_stdout.write(s)
Tim Peters6c542b72004-08-09 16:43:36 +00001367 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001368
Edward Loper2de91ba2004-08-27 02:07:46 +00001369 # Patch pdb.set_trace to restore sys.stdout during interactive
1370 # debugging (so it's not still redirected to self._fakeout).
1371 # Note that the interactive output will go to *our*
1372 # save_stdout, even if that's not the real sys.stdout; this
1373 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001374 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001375 self.debugger = _OutputRedirectingPdb(save_stdout)
1376 self.debugger.reset()
1377 pdb.set_trace = self.debugger.set_trace
1378
1379 # Patch linecache.getlines, so we can see the example's source
1380 # when we're inside the debugger.
1381 self.save_linecache_getlines = linecache.getlines
1382 linecache.getlines = self.__patched_linecache_getlines
1383
Georg Brandl469d3e72010-08-01 19:35:16 +00001384 # Make sure sys.displayhook just prints the value to stdout
1385 save_displayhook = sys.displayhook
1386 sys.displayhook = sys.__displayhook__
1387
Tim Peters8485b562004-08-04 18:46:34 +00001388 try:
Tim Peters8485b562004-08-04 18:46:34 +00001389 return self.__run(test, compileflags, out)
1390 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001391 sys.stdout = save_stdout
1392 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001393 linecache.getlines = self.save_linecache_getlines
Georg Brandl469d3e72010-08-01 19:35:16 +00001394 sys.displayhook = save_displayhook
Tim Peters8485b562004-08-04 18:46:34 +00001395 if clear_globs:
1396 test.globs.clear()
Benjamin Petersonfbf66bd2008-07-29 15:55:50 +00001397 import builtins
1398 builtins._ = None
Tim Peters8485b562004-08-04 18:46:34 +00001399
1400 #/////////////////////////////////////////////////////////////////
1401 # Summarization
1402 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001403 def summarize(self, verbose=None):
1404 """
Tim Peters8485b562004-08-04 18:46:34 +00001405 Print a summary of all the test cases that have been run by
1406 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1407 the total number of failed examples, and `t` is the total
1408 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001409
Tim Peters8485b562004-08-04 18:46:34 +00001410 The optional `verbose` argument controls how detailed the
1411 summary is. If the verbosity is not specified, then the
1412 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001413 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001414 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001415 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001416 notests = []
1417 passed = []
1418 failed = []
1419 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001420 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001421 name, (f, t) = x
1422 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001423 totalt += t
1424 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001425 if t == 0:
1426 notests.append(name)
1427 elif f == 0:
1428 passed.append( (name, t) )
1429 else:
1430 failed.append(x)
1431 if verbose:
1432 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001433 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001434 notests.sort()
1435 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001436 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001437 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001438 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001439 passed.sort()
1440 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001441 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001442 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001443 print(self.DIVIDER)
1444 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001445 failed.sort()
1446 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001447 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001448 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001449 print(totalt, "tests in", len(self._name2ft), "items.")
1450 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001451 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001452 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001453 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001454 print("Test passed.")
Christian Heimes25bb7832008-01-11 16:17:00 +00001455 return TestResults(totalf, totalt)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001456
Tim Peters82076ef2004-09-13 00:52:51 +00001457 #/////////////////////////////////////////////////////////////////
1458 # Backward compatibility cruft to maintain doctest.master.
1459 #/////////////////////////////////////////////////////////////////
1460 def merge(self, other):
1461 d = self._name2ft
1462 for name, (f, t) in other._name2ft.items():
1463 if name in d:
Nick Coghlan38622002008-12-15 12:01:34 +00001464 # Don't print here by default, since doing
1465 # so breaks some of the buildbots
1466 #print("*** DocTestRunner.merge: '" + name + "' in both" \
1467 # " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001468 f2, t2 = d[name]
1469 f = f + f2
1470 t = t + t2
1471 d[name] = f, t
1472
Edward Loper34fcb142004-08-09 02:45:41 +00001473class OutputChecker:
1474 """
1475 A class used to check the whether the actual output from a doctest
1476 example matches the expected output. `OutputChecker` defines two
1477 methods: `check_output`, which compares a given pair of outputs,
1478 and returns true if they match; and `output_difference`, which
1479 returns a string describing the differences between two outputs.
1480 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001481 def _toAscii(self, s):
1482 """
1483 Convert string to hex-escaped ASCII string.
1484 """
1485 return str(s.encode('ASCII', 'backslashreplace'), "ASCII")
1486
Edward Loper34fcb142004-08-09 02:45:41 +00001487 def check_output(self, want, got, optionflags):
1488 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001489 Return True iff the actual output from an example (`got`)
1490 matches the expected output (`want`). These strings are
1491 always considered to match if they are identical; but
1492 depending on what option flags the test runner is using,
1493 several non-exact match types are also possible. See the
1494 documentation for `TestRunner` for more information about
1495 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001496 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001497
1498 # If `want` contains hex-escaped character such as "\u1234",
1499 # then `want` is a string of six characters(e.g. [\,u,1,2,3,4]).
1500 # On the other hand, `got` could be an another sequence of
1501 # characters such as [\u1234], so `want` and `got` should
1502 # be folded to hex-escaped ASCII string to compare.
1503 got = self._toAscii(got)
1504 want = self._toAscii(want)
1505
Edward Loper34fcb142004-08-09 02:45:41 +00001506 # Handle the common case first, for efficiency:
1507 # if they're string-identical, always return true.
1508 if got == want:
1509 return True
1510
1511 # The values True and False replaced 1 and 0 as the return
1512 # value for boolean comparisons in Python 2.3.
1513 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1514 if (got,want) == ("True\n", "1\n"):
1515 return True
1516 if (got,want) == ("False\n", "0\n"):
1517 return True
1518
1519 # <BLANKLINE> can be used as a special sequence to signify a
1520 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1521 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1522 # Replace <BLANKLINE> in want with a blank line.
1523 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1524 '', want)
1525 # If a line in got contains only spaces, then remove the
1526 # spaces.
1527 got = re.sub('(?m)^\s*?$', '', got)
1528 if got == want:
1529 return True
1530
1531 # This flag causes doctest to ignore any differences in the
1532 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001533 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001534 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001535 got = ' '.join(got.split())
1536 want = ' '.join(want.split())
1537 if got == want:
1538 return True
1539
1540 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001541 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001542 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001543 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001544 return True
1545
1546 # We didn't find any match; return false.
1547 return False
1548
Tim Petersc6cbab02004-08-22 19:43:28 +00001549 # Should we do a fancy diff?
1550 def _do_a_fancy_diff(self, want, got, optionflags):
1551 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001552 if not optionflags & (REPORT_UDIFF |
1553 REPORT_CDIFF |
1554 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001555 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001556
Tim Petersc6cbab02004-08-22 19:43:28 +00001557 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001558 # too hard ... or maybe not. In two real-life failures Tim saw,
1559 # a diff was a major help anyway, so this is commented out.
1560 # [todo] _ellipsis_match() knows which pieces do and don't match,
1561 # and could be the basis for a kick-ass diff in this case.
1562 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1563 ## return False
1564
Tim Petersc6cbab02004-08-22 19:43:28 +00001565 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001566 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001567 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001568 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001569
Tim Petersc6cbab02004-08-22 19:43:28 +00001570 # The other diff types need at least a few lines to be helpful.
1571 return want.count('\n') > 2 and got.count('\n') > 2
1572
Edward Loperca9111e2004-08-26 03:00:24 +00001573 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001574 """
1575 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001576 expected output for a given example (`example`) and the actual
1577 output (`got`). `optionflags` is the set of option flags used
1578 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001579 """
Edward Loperca9111e2004-08-26 03:00:24 +00001580 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001581 # If <BLANKLINE>s are being used, then replace blank lines
1582 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001583 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001584 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001585
Tim Peters5b799c12004-08-26 05:21:59 +00001586 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001587 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001588 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001589 want_lines = want.splitlines(True) # True == keep line ends
1590 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001591 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001592 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001593 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1594 diff = list(diff)[2:] # strip the diff header
1595 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001596 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001597 diff = difflib.context_diff(want_lines, got_lines, n=2)
1598 diff = list(diff)[2:] # strip the diff header
1599 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001600 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001601 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1602 diff = list(engine.compare(want_lines, got_lines))
1603 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001604 else:
1605 assert 0, 'Bad diff option'
1606 # Remove trailing whitespace on diff output.
1607 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001608 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001609
1610 # If we're not using diff, then simply list the expected
1611 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001612 if want and got:
1613 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1614 elif want:
1615 return 'Expected:\n%sGot nothing\n' % _indent(want)
1616 elif got:
1617 return 'Expected nothing\nGot:\n%s' % _indent(got)
1618 else:
1619 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001620
Tim Peters19397e52004-08-06 22:02:59 +00001621class DocTestFailure(Exception):
1622 """A DocTest example has failed in debugging mode.
1623
1624 The exception instance has variables:
1625
1626 - test: the DocTest object being run
1627
Neal Norwitzc082cb72006-08-29 05:40:08 +00001628 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001629
1630 - got: the actual output
1631 """
1632 def __init__(self, test, example, got):
1633 self.test = test
1634 self.example = example
1635 self.got = got
1636
1637 def __str__(self):
1638 return str(self.test)
1639
1640class UnexpectedException(Exception):
1641 """A DocTest example has encountered an unexpected exception
1642
1643 The exception instance has variables:
1644
1645 - test: the DocTest object being run
1646
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001647 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001648
1649 - exc_info: the exception info
1650 """
1651 def __init__(self, test, example, exc_info):
1652 self.test = test
1653 self.example = example
1654 self.exc_info = exc_info
1655
1656 def __str__(self):
1657 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001658
Tim Peters19397e52004-08-06 22:02:59 +00001659class DebugRunner(DocTestRunner):
1660 r"""Run doc tests but raise an exception as soon as there is a failure.
1661
1662 If an unexpected exception occurs, an UnexpectedException is raised.
1663 It contains the test, the example, and the original exception:
1664
1665 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001666 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1667 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001668 >>> try:
1669 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001670 ... except UnexpectedException as f:
1671 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001672
1673 >>> failure.test is test
1674 True
1675
1676 >>> failure.example.want
1677 '42\n'
1678
1679 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001680 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001681 Traceback (most recent call last):
1682 ...
1683 KeyError
1684
1685 We wrap the original exception to give the calling application
1686 access to the test and example information.
1687
1688 If the output doesn't match, then a DocTestFailure is raised:
1689
Edward Lopera1ef6112004-08-09 16:14:41 +00001690 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001691 ... >>> x = 1
1692 ... >>> x
1693 ... 2
1694 ... ''', {}, 'foo', 'foo.py', 0)
1695
1696 >>> try:
1697 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001698 ... except DocTestFailure as f:
1699 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001700
1701 DocTestFailure objects provide access to the test:
1702
1703 >>> failure.test is test
1704 True
1705
1706 As well as to the example:
1707
1708 >>> failure.example.want
1709 '2\n'
1710
1711 and the actual output:
1712
1713 >>> failure.got
1714 '1\n'
1715
1716 If a failure or error occurs, the globals are left intact:
1717
1718 >>> del test.globs['__builtins__']
1719 >>> test.globs
1720 {'x': 1}
1721
Edward Lopera1ef6112004-08-09 16:14:41 +00001722 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001723 ... >>> x = 2
1724 ... >>> raise KeyError
1725 ... ''', {}, 'foo', 'foo.py', 0)
1726
1727 >>> runner.run(test)
1728 Traceback (most recent call last):
1729 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001730 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001731
Tim Peters19397e52004-08-06 22:02:59 +00001732 >>> del test.globs['__builtins__']
1733 >>> test.globs
1734 {'x': 2}
1735
1736 But the globals are cleared if there is no error:
1737
Edward Lopera1ef6112004-08-09 16:14:41 +00001738 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001739 ... >>> x = 2
1740 ... ''', {}, 'foo', 'foo.py', 0)
1741
1742 >>> runner.run(test)
Christian Heimes25bb7832008-01-11 16:17:00 +00001743 TestResults(failed=0, attempted=1)
Tim Peters19397e52004-08-06 22:02:59 +00001744
1745 >>> test.globs
1746 {}
1747
1748 """
1749
1750 def run(self, test, compileflags=None, out=None, clear_globs=True):
1751 r = DocTestRunner.run(self, test, compileflags, out, False)
1752 if clear_globs:
1753 test.globs.clear()
1754 return r
1755
1756 def report_unexpected_exception(self, out, test, example, exc_info):
1757 raise UnexpectedException(test, example, exc_info)
1758
1759 def report_failure(self, out, test, example, got):
1760 raise DocTestFailure(test, example, got)
1761
Tim Peters8485b562004-08-04 18:46:34 +00001762######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001763## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001764######################################################################
1765# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001766
Tim Peters82076ef2004-09-13 00:52:51 +00001767# For backward compatibility, a global instance of a DocTestRunner
1768# class, updated by testmod.
1769master = None
1770
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001771def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001772 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001773 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001774 """m=None, name=None, globs=None, verbose=None, report=True,
1775 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001776 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001777
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001778 Test examples in docstrings in functions and classes reachable
1779 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001780 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001781
1782 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001783 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001784 function and class docstrings are tested even if the name is private;
1785 strings are tested directly, as if they were docstrings.
1786
1787 Return (#failures, #tests).
1788
1789 See doctest.__doc__ for an overview.
1790
1791 Optional keyword arg "name" gives the name of the module; by default
1792 use m.__name__.
1793
1794 Optional keyword arg "globs" gives a dict to be used as the globals
1795 when executing examples; by default, use m.__dict__. A copy of this
1796 dict is actually used for each docstring, so that each docstring's
1797 examples start with a clean slate.
1798
Tim Peters8485b562004-08-04 18:46:34 +00001799 Optional keyword arg "extraglobs" gives a dictionary that should be
1800 merged into the globals that are used to execute examples. By
1801 default, no extra globals are used. This is new in 2.4.
1802
Tim Peters8a7d2d52001-01-16 07:10:57 +00001803 Optional keyword arg "verbose" prints lots of stuff if true, prints
1804 only failures if false; by default, it's true iff "-v" is in sys.argv.
1805
Tim Peters8a7d2d52001-01-16 07:10:57 +00001806 Optional keyword arg "report" prints a summary at the end when true,
1807 else prints nothing at the end. In verbose mode, the summary is
1808 detailed, else very brief (in fact, empty if all tests passed).
1809
Tim Peters6ebe61f2003-06-27 20:48:05 +00001810 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001811 and defaults to 0. This is new in 2.3. Possible values (see the
1812 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001813
1814 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001815 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001816 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001817 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001818 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001819 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001820 REPORT_UDIFF
1821 REPORT_CDIFF
1822 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001823 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001824
1825 Optional keyword arg "raise_on_error" raises an exception on the
1826 first unexpected exception or failure. This allows failures to be
1827 post-mortem debugged.
1828
Tim Peters8a7d2d52001-01-16 07:10:57 +00001829 Advanced tomfoolery: testmod runs methods of a local instance of
1830 class doctest.Tester, then merges the results into (or creates)
1831 global Tester instance doctest.master. Methods of doctest.master
1832 can be called directly too, if you want to do something unusual.
1833 Passing report=0 to testmod is especially useful then, to delay
1834 displaying a summary. Invoke doctest.master.summarize(verbose)
1835 when you're done fiddling.
1836 """
Tim Peters82076ef2004-09-13 00:52:51 +00001837 global master
1838
Tim Peters8485b562004-08-04 18:46:34 +00001839 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001840 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001841 # DWA - m will still be None if this wasn't invoked from the command
1842 # line, in which case the following TypeError is about as good an error
1843 # as we should expect
1844 m = sys.modules.get('__main__')
1845
Tim Peters8485b562004-08-04 18:46:34 +00001846 # Check that we were actually given a module.
1847 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001848 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001849
1850 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001851 if name is None:
1852 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001853
1854 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001855 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001856
1857 if raise_on_error:
1858 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1859 else:
1860 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1861
Tim Peters8485b562004-08-04 18:46:34 +00001862 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1863 runner.run(test)
1864
Tim Peters8a7d2d52001-01-16 07:10:57 +00001865 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001866 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001867
Tim Peters82076ef2004-09-13 00:52:51 +00001868 if master is None:
1869 master = runner
1870 else:
1871 master.merge(runner)
1872
Christian Heimes25bb7832008-01-11 16:17:00 +00001873 return TestResults(runner.failures, runner.tries)
Tim Petersdb3756d2003-06-29 05:30:48 +00001874
Edward Loper052d0cd2004-09-19 17:19:33 +00001875def testfile(filename, module_relative=True, name=None, package=None,
1876 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001877 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1878 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001879 """
1880 Test examples in the given file. Return (#failures, #tests).
1881
1882 Optional keyword arg "module_relative" specifies how filenames
1883 should be interpreted:
1884
1885 - If "module_relative" is True (the default), then "filename"
1886 specifies a module-relative path. By default, this path is
1887 relative to the calling module's directory; but if the
1888 "package" argument is specified, then it is relative to that
1889 package. To ensure os-independence, "filename" should use
1890 "/" characters to separate path segments, and should not
1891 be an absolute path (i.e., it may not begin with "/").
1892
1893 - If "module_relative" is False, then "filename" specifies an
1894 os-specific path. The path may be absolute or relative (to
1895 the current working directory).
1896
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001897 Optional keyword arg "name" gives the name of the test; by default
1898 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001899
1900 Optional keyword argument "package" is a Python package or the
1901 name of a Python package whose directory should be used as the
1902 base directory for a module relative filename. If no package is
1903 specified, then the calling module's directory is used as the base
1904 directory for module relative filenames. It is an error to
1905 specify "package" if "module_relative" is False.
1906
1907 Optional keyword arg "globs" gives a dict to be used as the globals
1908 when executing examples; by default, use {}. A copy of this dict
1909 is actually used for each docstring, so that each docstring's
1910 examples start with a clean slate.
1911
1912 Optional keyword arg "extraglobs" gives a dictionary that should be
1913 merged into the globals that are used to execute examples. By
1914 default, no extra globals are used.
1915
1916 Optional keyword arg "verbose" prints lots of stuff if true, prints
1917 only failures if false; by default, it's true iff "-v" is in sys.argv.
1918
1919 Optional keyword arg "report" prints a summary at the end when true,
1920 else prints nothing at the end. In verbose mode, the summary is
1921 detailed, else very brief (in fact, empty if all tests passed).
1922
1923 Optional keyword arg "optionflags" or's together module constants,
1924 and defaults to 0. Possible values (see the docs for details):
1925
1926 DONT_ACCEPT_TRUE_FOR_1
1927 DONT_ACCEPT_BLANKLINE
1928 NORMALIZE_WHITESPACE
1929 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001930 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001931 IGNORE_EXCEPTION_DETAIL
1932 REPORT_UDIFF
1933 REPORT_CDIFF
1934 REPORT_NDIFF
1935 REPORT_ONLY_FIRST_FAILURE
1936
1937 Optional keyword arg "raise_on_error" raises an exception on the
1938 first unexpected exception or failure. This allows failures to be
1939 post-mortem debugged.
1940
Edward Loper498a1862004-09-27 03:42:58 +00001941 Optional keyword arg "parser" specifies a DocTestParser (or
1942 subclass) that should be used to extract tests from the files.
1943
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001944 Optional keyword arg "encoding" specifies an encoding that should
1945 be used to convert the file to unicode.
1946
Edward Loper052d0cd2004-09-19 17:19:33 +00001947 Advanced tomfoolery: testmod runs methods of a local instance of
1948 class doctest.Tester, then merges the results into (or creates)
1949 global Tester instance doctest.master. Methods of doctest.master
1950 can be called directly too, if you want to do something unusual.
1951 Passing report=0 to testmod is especially useful then, to delay
1952 displaying a summary. Invoke doctest.master.summarize(verbose)
1953 when you're done fiddling.
1954 """
1955 global master
1956
1957 if package and not module_relative:
1958 raise ValueError("Package may only be specified for module-"
1959 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001960
Edward Loper052d0cd2004-09-19 17:19:33 +00001961 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00001962 text, filename = _load_testfile(filename, package, module_relative,
1963 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00001964
1965 # If no name was given, then use the file's name.
1966 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001967 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001968
1969 # Assemble the globals.
1970 if globs is None:
1971 globs = {}
1972 else:
1973 globs = globs.copy()
1974 if extraglobs is not None:
1975 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +00001976 if '__name__' not in globs:
1977 globs['__name__'] = '__main__'
Edward Loper052d0cd2004-09-19 17:19:33 +00001978
1979 if raise_on_error:
1980 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1981 else:
1982 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1983
1984 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001985 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001986 runner.run(test)
1987
1988 if report:
1989 runner.summarize()
1990
1991 if master is None:
1992 master = runner
1993 else:
1994 master.merge(runner)
1995
Christian Heimes25bb7832008-01-11 16:17:00 +00001996 return TestResults(runner.failures, runner.tries)
Edward Loper052d0cd2004-09-19 17:19:33 +00001997
Tim Peters8485b562004-08-04 18:46:34 +00001998def run_docstring_examples(f, globs, verbose=False, name="NoName",
1999 compileflags=None, optionflags=0):
2000 """
2001 Test examples in the given object's docstring (`f`), using `globs`
2002 as globals. Optional argument `name` is used in failure messages.
2003 If the optional argument `verbose` is true, then generate output
2004 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00002005
Tim Peters8485b562004-08-04 18:46:34 +00002006 `compileflags` gives the set of flags that should be used by the
2007 Python compiler when running the examples. If not specified, then
2008 it will default to the set of future-import flags that apply to
2009 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00002010
Tim Peters8485b562004-08-04 18:46:34 +00002011 Optional keyword arg `optionflags` specifies options for the
2012 testing and output. See the documentation for `testmod` for more
2013 information.
2014 """
2015 # Find, parse, and run all tests in the given module.
2016 finder = DocTestFinder(verbose=verbose, recurse=False)
2017 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2018 for test in finder.find(f, name, globs=globs):
2019 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00002020
Tim Peters8485b562004-08-04 18:46:34 +00002021######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002022## 7. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002023######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002024
Jim Fultonf54bad42004-08-28 14:57:56 +00002025_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002026
Jim Fultonf54bad42004-08-28 14:57:56 +00002027def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002028 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002029
2030 The old flag is returned so that a runner could restore the old
2031 value if it wished to:
2032
Tim Petersb7e99b62005-03-28 23:50:54 +00002033 >>> import doctest
2034 >>> old = doctest._unittest_reportflags
2035 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002036 ... REPORT_ONLY_FIRST_FAILURE) == old
2037 True
2038
Jim Fultonf54bad42004-08-28 14:57:56 +00002039 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2040 ... REPORT_ONLY_FIRST_FAILURE)
2041 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002042
Jim Fultonf54bad42004-08-28 14:57:56 +00002043 Only reporting flags can be set:
2044
Tim Petersb7e99b62005-03-28 23:50:54 +00002045 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002046 Traceback (most recent call last):
2047 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002048 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002049
Tim Petersb7e99b62005-03-28 23:50:54 +00002050 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002051 ... REPORT_ONLY_FIRST_FAILURE)
2052 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002053 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002054 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002055
2056 if (flags & REPORTING_FLAGS) != flags:
2057 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002058 old = _unittest_reportflags
2059 _unittest_reportflags = flags
2060 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002061
Jim Fultonf54bad42004-08-28 14:57:56 +00002062
Tim Peters19397e52004-08-06 22:02:59 +00002063class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002064
Edward Loper34fcb142004-08-09 02:45:41 +00002065 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2066 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002067
Jim Fultona643b652004-07-14 19:06:50 +00002068 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002069 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002070 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002071 self._dt_test = test
2072 self._dt_setUp = setUp
2073 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002074
Jim Fultona643b652004-07-14 19:06:50 +00002075 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002076 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002077
Tim Peters19397e52004-08-06 22:02:59 +00002078 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002079 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002080
2081 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002082 test = self._dt_test
2083
Tim Peters19397e52004-08-06 22:02:59 +00002084 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002085 self._dt_tearDown(test)
2086
2087 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002088
2089 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002090 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002091 old = sys.stdout
2092 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002093 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002094
Tim Peters38330fe2004-08-30 16:19:24 +00002095 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002096 # The option flags don't include any reporting flags,
2097 # so add the default reporting flags
2098 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002099
Jim Fultonf54bad42004-08-28 14:57:56 +00002100 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002101 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002102
Jim Fultona643b652004-07-14 19:06:50 +00002103 try:
Tim Peters19397e52004-08-06 22:02:59 +00002104 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002105 failures, tries = runner.run(
2106 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002107 finally:
2108 sys.stdout = old
2109
2110 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002111 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002112
Tim Peters19397e52004-08-06 22:02:59 +00002113 def format_failure(self, err):
2114 test = self._dt_test
2115 if test.lineno is None:
2116 lineno = 'unknown line number'
2117 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002118 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002119 lname = '.'.join(test.name.split('.')[-1:])
2120 return ('Failed doctest test for %s\n'
2121 ' File "%s", line %s, in %s\n\n%s'
2122 % (test.name, test.filename, lineno, lname, err)
2123 )
2124
2125 def debug(self):
2126 r"""Run the test case without results and without catching exceptions
2127
2128 The unit test framework includes a debug method on test cases
2129 and test suites to support post-mortem debugging. The test code
2130 is run in such a way that errors are not caught. This way a
2131 caller can catch the errors and initiate post-mortem debugging.
2132
2133 The DocTestCase provides a debug method that raises
2134 UnexpectedException errors if there is an unexepcted
2135 exception:
2136
Edward Lopera1ef6112004-08-09 16:14:41 +00002137 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002138 ... {}, 'foo', 'foo.py', 0)
2139 >>> case = DocTestCase(test)
2140 >>> try:
2141 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002142 ... except UnexpectedException as f:
2143 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002144
2145 The UnexpectedException contains the test, the example, and
2146 the original exception:
2147
2148 >>> failure.test is test
2149 True
2150
2151 >>> failure.example.want
2152 '42\n'
2153
2154 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002155 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002156 Traceback (most recent call last):
2157 ...
2158 KeyError
2159
2160 If the output doesn't match, then a DocTestFailure is raised:
2161
Edward Lopera1ef6112004-08-09 16:14:41 +00002162 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002163 ... >>> x = 1
2164 ... >>> x
2165 ... 2
2166 ... ''', {}, 'foo', 'foo.py', 0)
2167 >>> case = DocTestCase(test)
2168
2169 >>> try:
2170 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002171 ... except DocTestFailure as f:
2172 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002173
2174 DocTestFailure objects provide access to the test:
2175
2176 >>> failure.test is test
2177 True
2178
2179 As well as to the example:
2180
2181 >>> failure.example.want
2182 '2\n'
2183
2184 and the actual output:
2185
2186 >>> failure.got
2187 '1\n'
2188
2189 """
2190
Jim Fultonf54bad42004-08-28 14:57:56 +00002191 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002192 runner = DebugRunner(optionflags=self._dt_optionflags,
2193 checker=self._dt_checker, verbose=False)
Alexandre Vassalottieca20b62008-05-16 02:54:33 +00002194 runner.run(self._dt_test, clear_globs=False)
Jim Fultonf54bad42004-08-28 14:57:56 +00002195 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002196
2197 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002198 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002199
2200 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002201 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002202 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2203
2204 __str__ = __repr__
2205
2206 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002207 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002208
Jim Fultonf54bad42004-08-28 14:57:56 +00002209def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2210 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002211 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002212 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002213
Tim Peters19397e52004-08-06 22:02:59 +00002214 This converts each documentation string in a module that
2215 contains doctest tests to a unittest test case. If any of the
2216 tests in a doc string fail, then the test case fails. An exception
2217 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002218 (sometimes approximate) line number.
2219
Tim Peters19397e52004-08-06 22:02:59 +00002220 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002221 can be either a module or a module name.
2222
2223 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002224
2225 A number of options may be provided as keyword arguments:
2226
Jim Fultonf54bad42004-08-28 14:57:56 +00002227 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002228 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002229 tests in each file. The setUp function will be passed a DocTest
2230 object. The setUp function can access the test globals as the
2231 globs attribute of the test passed.
2232
2233 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002234 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002235 tests in each file. The tearDown function will be passed a DocTest
2236 object. The tearDown function can access the test globals as the
2237 globs attribute of the test passed.
2238
2239 globs
2240 A dictionary containing initial global variables for the tests.
2241
2242 optionflags
2243 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002244 """
Jim Fultona643b652004-07-14 19:06:50 +00002245
Tim Peters8485b562004-08-04 18:46:34 +00002246 if test_finder is None:
2247 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002248
Tim Peters19397e52004-08-06 22:02:59 +00002249 module = _normalize_module(module)
2250 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
Jim Fultonf54bad42004-08-28 14:57:56 +00002251 if not tests:
2252 # Why do we want to do this? Because it reveals a bug that might
2253 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002254 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002255
2256 tests.sort()
2257 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002258 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002259 if len(test.examples) == 0:
2260 continue
Tim Peters8485b562004-08-04 18:46:34 +00002261 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002262 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002263 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002264 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002265 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002266 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002267
2268 return suite
2269
2270class DocFileCase(DocTestCase):
2271
2272 def id(self):
2273 return '_'.join(self._dt_test.name.split('.'))
2274
2275 def __repr__(self):
2276 return self._dt_test.filename
2277 __str__ = __repr__
2278
2279 def format_failure(self, err):
2280 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2281 % (self._dt_test.name, self._dt_test.filename, err)
2282 )
2283
Edward Loper052d0cd2004-09-19 17:19:33 +00002284def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002285 globs=None, parser=DocTestParser(),
2286 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002287 if globs is None:
2288 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002289 else:
2290 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002291
Edward Loper052d0cd2004-09-19 17:19:33 +00002292 if package and not module_relative:
2293 raise ValueError("Package may only be specified for module-"
2294 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002295
Edward Loper052d0cd2004-09-19 17:19:33 +00002296 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002297 doc, path = _load_testfile(path, package, module_relative,
2298 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002299
Fred Drake7c404a42004-12-21 23:46:34 +00002300 if "__file__" not in globs:
2301 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002302
Edward Loper052d0cd2004-09-19 17:19:33 +00002303 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002304 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002305
2306 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002307 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002308 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002309
2310def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002311 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002312
Edward Loper052d0cd2004-09-19 17:19:33 +00002313 The path to each doctest file is given as a string; the
2314 interpretation of that string depends on the keyword argument
2315 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002316
2317 A number of options may be provided as keyword arguments:
2318
Edward Loper052d0cd2004-09-19 17:19:33 +00002319 module_relative
2320 If "module_relative" is True, then the given file paths are
2321 interpreted as os-independent module-relative paths. By
2322 default, these paths are relative to the calling module's
2323 directory; but if the "package" argument is specified, then
2324 they are relative to that package. To ensure os-independence,
2325 "filename" should use "/" characters to separate path
2326 segments, and may not be an absolute path (i.e., it may not
2327 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002328
Edward Loper052d0cd2004-09-19 17:19:33 +00002329 If "module_relative" is False, then the given file paths are
2330 interpreted as os-specific paths. These paths may be absolute
2331 or relative (to the current working directory).
2332
Tim Peters19397e52004-08-06 22:02:59 +00002333 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002334 A Python package or the name of a Python package whose directory
2335 should be used as the base directory for module relative paths.
2336 If "package" is not specified, then the calling module's
2337 directory is used as the base directory for module relative
2338 filenames. It is an error to specify "package" if
2339 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002340
2341 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002342 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002343 tests in each file. The setUp function will be passed a DocTest
2344 object. The setUp function can access the test globals as the
2345 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002346
2347 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002348 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002349 tests in each file. The tearDown function will be passed a DocTest
2350 object. The tearDown function can access the test globals as the
2351 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002352
2353 globs
2354 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002355
2356 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002357 A set of doctest option flags expressed as an integer.
2358
2359 parser
2360 A DocTestParser (or subclass) that should be used to extract
2361 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002362
2363 encoding
2364 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002365 """
2366 suite = unittest.TestSuite()
2367
2368 # We do this here so that _normalize_module is called at the right
2369 # level. If it were called in DocFileTest, then this function
2370 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002371 if kw.get('module_relative', True):
2372 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002373
2374 for path in paths:
2375 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002376
Tim Petersdb3756d2003-06-29 05:30:48 +00002377 return suite
2378
Tim Peters8485b562004-08-04 18:46:34 +00002379######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002380## 8. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002381######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002382
Tim Peters19397e52004-08-06 22:02:59 +00002383def script_from_examples(s):
2384 r"""Extract script from text with examples.
2385
2386 Converts text with examples to a Python script. Example input is
2387 converted to regular code. Example output and all other words
2388 are converted to comments:
2389
2390 >>> text = '''
2391 ... Here are examples of simple math.
2392 ...
2393 ... Python has super accurate integer addition
2394 ...
2395 ... >>> 2 + 2
2396 ... 5
2397 ...
2398 ... And very friendly error messages:
2399 ...
2400 ... >>> 1/0
2401 ... To Infinity
2402 ... And
2403 ... Beyond
2404 ...
2405 ... You can use logic if you want:
2406 ...
2407 ... >>> if 0:
2408 ... ... blah
2409 ... ... blah
2410 ... ...
2411 ...
2412 ... Ho hum
2413 ... '''
2414
Guido van Rossum7131f842007-02-09 20:13:25 +00002415 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002416 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002417 #
Edward Lopera5db6002004-08-12 02:41:30 +00002418 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002419 #
2420 2 + 2
2421 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002422 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002423 #
Edward Lopera5db6002004-08-12 02:41:30 +00002424 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002425 #
2426 1/0
2427 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002428 ## To Infinity
2429 ## And
2430 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002431 #
Edward Lopera5db6002004-08-12 02:41:30 +00002432 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002433 #
2434 if 0:
2435 blah
2436 blah
Tim Peters19397e52004-08-06 22:02:59 +00002437 #
Edward Lopera5db6002004-08-12 02:41:30 +00002438 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002439 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002440 """
Edward Loper00f8da72004-08-26 18:05:07 +00002441 output = []
2442 for piece in DocTestParser().parse(s):
2443 if isinstance(piece, Example):
2444 # Add the example's source code (strip trailing NL)
2445 output.append(piece.source[:-1])
2446 # Add the expected output:
2447 want = piece.want
2448 if want:
2449 output.append('# Expected:')
2450 output += ['## '+l for l in want.split('\n')[:-1]]
2451 else:
2452 # Add non-example text.
2453 output += [_comment_line(l)
2454 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002455
Edward Loper00f8da72004-08-26 18:05:07 +00002456 # Trim junk on both ends.
2457 while output and output[-1] == '#':
2458 output.pop()
2459 while output and output[0] == '#':
2460 output.pop(0)
2461 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002462 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2463 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002464
2465def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002466 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002467
2468 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002469 test to be debugged and the name (within the module) of the object
2470 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002471 """
Tim Peters8485b562004-08-04 18:46:34 +00002472 module = _normalize_module(module)
2473 tests = DocTestFinder().find(module)
2474 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002475 if not test:
2476 raise ValueError(name, "not found in tests")
2477 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002478 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002479 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002480
Jim Fultona643b652004-07-14 19:06:50 +00002481def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002482 """Debug a single doctest docstring, in argument `src`'"""
2483 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002484 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002485
Jim Fultona643b652004-07-14 19:06:50 +00002486def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002487 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002488 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002489
Tim Petersb6a04d62004-08-23 21:37:56 +00002490 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2491 # docs say, a file so created cannot be opened by name a second time
Neal Norwitz01688022007-08-12 00:43:29 +00002492 # on modern Windows boxes, and exec() needs to open and read it.
Tim Petersb6a04d62004-08-23 21:37:56 +00002493 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002494 f = open(srcfilename, 'w')
2495 f.write(src)
2496 f.close()
2497
Tim Petersb6a04d62004-08-23 21:37:56 +00002498 try:
2499 if globs:
2500 globs = globs.copy()
2501 else:
2502 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002503
Tim Petersb6a04d62004-08-23 21:37:56 +00002504 if pm:
2505 try:
Neal Norwitz01688022007-08-12 00:43:29 +00002506 exec(open(srcfilename).read(), globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002507 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002508 print(sys.exc_info()[1])
Tim Petersb6a04d62004-08-23 21:37:56 +00002509 pdb.post_mortem(sys.exc_info()[2])
2510 else:
Neal Norwitz01688022007-08-12 00:43:29 +00002511 fp = open(srcfilename)
2512 try:
2513 script = fp.read()
2514 finally:
2515 fp.close()
2516 pdb.run("exec(%r)" % script, globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002517
2518 finally:
2519 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002520
Jim Fultona643b652004-07-14 19:06:50 +00002521def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002522 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002523
2524 Provide the module (or dotted name of the module) containing the
2525 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002526 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002527 """
Tim Peters8485b562004-08-04 18:46:34 +00002528 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002529 testsrc = testsource(module, name)
2530 debug_script(testsrc, pm, module.__dict__)
2531
Tim Peters8485b562004-08-04 18:46:34 +00002532######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002533## 9. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002534######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002535class _TestClass:
2536 """
2537 A pointless class, for sanity-checking of docstring testing.
2538
2539 Methods:
2540 square()
2541 get()
2542
2543 >>> _TestClass(13).get() + _TestClass(-12).get()
2544 1
2545 >>> hex(_TestClass(13).square().get())
2546 '0xa9'
2547 """
2548
2549 def __init__(self, val):
2550 """val -> _TestClass object with associated value val.
2551
2552 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002553 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002554 123
2555 """
2556
2557 self.val = val
2558
2559 def square(self):
2560 """square() -> square TestClass's associated value
2561
2562 >>> _TestClass(13).square().get()
2563 169
2564 """
2565
2566 self.val = self.val ** 2
2567 return self
2568
2569 def get(self):
2570 """get() -> return TestClass's associated value.
2571
2572 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002573 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002574 -42
2575 """
2576
2577 return self.val
2578
2579__test__ = {"_TestClass": _TestClass,
2580 "string": r"""
2581 Example of a string object, searched as-is.
2582 >>> x = 1; y = 2
2583 >>> x + y, x * y
2584 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002585 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002586
Tim Peters6ebe61f2003-06-27 20:48:05 +00002587 "bool-int equivalence": r"""
2588 In 2.2, boolean expressions displayed
2589 0 or 1. By default, we still accept
2590 them. This can be disabled by passing
2591 DONT_ACCEPT_TRUE_FOR_1 to the new
2592 optionflags argument.
2593 >>> 4 == 4
2594 1
2595 >>> 4 == 4
2596 True
2597 >>> 4 > 4
2598 0
2599 >>> 4 > 4
2600 False
2601 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002602
Tim Peters8485b562004-08-04 18:46:34 +00002603 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002604 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002605 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002606 foo
2607 <BLANKLINE>
2608 bar
2609 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002610 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002611
2612 "ellipsis": r"""
2613 If the ellipsis flag is used, then '...' can be used to
2614 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002615 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002616 [0, 1, 2, ..., 999]
2617 """,
2618
2619 "whitespace normalization": r"""
2620 If the whitespace normalization flag is used, then
2621 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002622 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002623 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2624 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2625 27, 28, 29]
2626 """,
2627 }
Tim Peters8485b562004-08-04 18:46:34 +00002628
R. David Murray14520952009-12-20 17:37:25 +00002629
Tim Peters8a7d2d52001-01-16 07:10:57 +00002630def _test():
Guido van Rossumd8faa362007-04-27 19:54:29 +00002631 testfiles = [arg for arg in sys.argv[1:] if arg and arg[0] != '-']
R. David Murray14520952009-12-20 17:37:25 +00002632 if not testfiles:
2633 name = os.path.basename(sys.argv[0])
R. David Murrayf29f9ec2009-12-21 12:53:36 +00002634 if '__loader__' in globals(): # python -m
R. David Murray14520952009-12-20 17:37:25 +00002635 name, _ = os.path.splitext(name)
2636 print("usage: {0} [-v] file ...".format(name))
2637 return 2
2638 for filename in testfiles:
2639 if filename.endswith(".py"):
2640 # It is a module -- insert its dir into sys.path and try to
2641 # import it. If it is part of a package, that possibly
2642 # won't work because of package imports.
2643 dirname, filename = os.path.split(filename)
2644 sys.path.insert(0, dirname)
2645 m = __import__(filename[:-3])
2646 del sys.path[0]
2647 failures, _ = testmod(m)
2648 else:
2649 failures, _ = testfile(filename, module_relative=False)
2650 if failures:
2651 return 1
Christian Heimes895627f2007-12-08 17:28:33 +00002652 return 0
Tim Peters8a7d2d52001-01-16 07:10:57 +00002653
R. David Murray14520952009-12-20 17:37:25 +00002654
Tim Peters8a7d2d52001-01-16 07:10:57 +00002655if __name__ == "__main__":
Christian Heimes895627f2007-12-08 17:28:33 +00002656 sys.exit(_test())