blob: d6fb504eeaa2bf7107955f93d0c91a40ff03d357 [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 """
Edward Loperaacf0832004-08-26 01:19:50 +0000221 Add the given number of space characters to the beginning every
222 non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000223 """
Edward Loperaacf0832004-08-26 01:19:50 +0000224 # This regexp matches the start of non-blank lines:
225 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000226
Edward Loper8e4a34b2004-08-12 02:34:27 +0000227def _exception_traceback(exc_info):
228 """
229 Return a string containing a traceback message for the given
230 exc_info tuple (as returned by sys.exc_info()).
231 """
232 # Get a traceback message.
233 excout = StringIO()
234 exc_type, exc_val, exc_tb = exc_info
235 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
236 return excout.getvalue()
237
Tim Peters8485b562004-08-04 18:46:34 +0000238# Override some StringIO methods.
239class _SpoofOut(StringIO):
240 def getvalue(self):
241 result = StringIO.getvalue(self)
242 # If anything at all was written, make sure there's a trailing
243 # newline. There's no way for the expected output to indicate
244 # that a trailing newline is missing.
245 if result and not result.endswith("\n"):
246 result += "\n"
Tim Peters8485b562004-08-04 18:46:34 +0000247 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000248
Guido van Rossum79139b22007-02-09 23:20:19 +0000249 def truncate(self, size=None):
Antoine Pitroub3d77002010-01-31 23:12:29 +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)
Edward Loper2de91ba2004-08-27 02:07:46 +0000321
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000322 def set_trace(self, frame=None):
323 self.__debugger_used = True
324 if frame is None:
325 frame = sys._getframe().f_back
326 pdb.Pdb.set_trace(self, frame)
327
328 def set_continue(self):
329 # Calling set_continue unconditionally would break unit test
330 # coverage reporting, as Bdb.set_continue calls sys.settrace(None).
331 if self.__debugger_used:
332 pdb.Pdb.set_continue(self)
333
Edward Loper2de91ba2004-08-27 02:07:46 +0000334 def trace_dispatch(self, *args):
335 # Redirect stdout to the given stream.
336 save_stdout = sys.stdout
337 sys.stdout = self.__out
338 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000339 try:
340 return pdb.Pdb.trace_dispatch(self, *args)
341 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000342 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000343
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000344# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000345def _module_relative_path(module, path):
346 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000347 raise TypeError('Expected a module: %r' % module)
Edward Loper052d0cd2004-09-19 17:19:33 +0000348 if path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000349 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000350
351 # Find the base directory for the path.
352 if hasattr(module, '__file__'):
353 # A normal module/package
354 basedir = os.path.split(module.__file__)[0]
355 elif module.__name__ == '__main__':
356 # An interactive session.
357 if len(sys.argv)>0 and sys.argv[0] != '':
358 basedir = os.path.split(sys.argv[0])[0]
359 else:
360 basedir = os.curdir
361 else:
362 # A module w/o __file__ (this includes builtins)
363 raise ValueError("Can't resolve paths relative to the module " +
364 module + " (it has no __file__)")
365
366 # Combine the base directory and the path.
367 return os.path.join(basedir, *(path.split('/')))
368
Tim Peters8485b562004-08-04 18:46:34 +0000369######################################################################
370## 2. Example & DocTest
371######################################################################
372## - An "example" is a <source, want> pair, where "source" is a
373## fragment of source code, and "want" is the expected output for
374## "source." The Example class also includes information about
375## where the example was extracted from.
376##
Edward Lopera1ef6112004-08-09 16:14:41 +0000377## - A "doctest" is a collection of examples, typically extracted from
378## a string (such as an object's docstring). The DocTest class also
379## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000380
Tim Peters8485b562004-08-04 18:46:34 +0000381class Example:
382 """
383 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000384 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000385
Edward Loper74bca7a2004-08-12 02:27:44 +0000386 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000387 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000388
Edward Loper74bca7a2004-08-12 02:27:44 +0000389 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000390 from stdout, or a traceback in case of exception). `want` ends
391 with a newline unless it's empty, in which case it's an empty
392 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000393
Edward Lopera6b68322004-08-26 00:05:43 +0000394 - exc_msg: The exception message generated by the example, if
395 the example is expected to generate an exception; or `None` if
396 it is not expected to generate an exception. This exception
397 message is compared against the return value of
398 `traceback.format_exception_only()`. `exc_msg` ends with a
399 newline unless it's `None`. The constructor adds a newline
400 if needed.
401
Edward Loper74bca7a2004-08-12 02:27:44 +0000402 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000403 this Example where the Example begins. This line number is
404 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000405
406 - indent: The example's indentation in the DocTest string.
407 I.e., the number of space characters that preceed the
408 example's first prompt.
409
410 - options: A dictionary mapping from option flags to True or
411 False, which is used to override default options for this
412 example. Any option flags not contained in this dictionary
413 are left at their default value (as specified by the
414 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000415 """
Edward Lopera6b68322004-08-26 00:05:43 +0000416 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
417 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000418 # Normalize inputs.
419 if not source.endswith('\n'):
420 source += '\n'
421 if want and not want.endswith('\n'):
422 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000423 if exc_msg is not None and not exc_msg.endswith('\n'):
424 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000425 # Store properties.
426 self.source = source
427 self.want = want
428 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000429 self.indent = indent
430 if options is None: options = {}
431 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000432 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000433
Tim Peters8485b562004-08-04 18:46:34 +0000434class DocTest:
435 """
436 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000437 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000438
Tim Peters8485b562004-08-04 18:46:34 +0000439 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000440
Tim Peters8485b562004-08-04 18:46:34 +0000441 - globs: The namespace (aka globals) that the examples should
442 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000443
Tim Peters8485b562004-08-04 18:46:34 +0000444 - name: A name identifying the DocTest (typically, the name of
445 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000446
Tim Peters8485b562004-08-04 18:46:34 +0000447 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000448 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000449
Tim Peters8485b562004-08-04 18:46:34 +0000450 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000451 begins, or `None` if the line number is unavailable. This
452 line number is zero-based, with respect to the beginning of
453 the file.
454
455 - docstring: The string that the examples were extracted from,
456 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000457 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000458 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000459 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000460 Create a new DocTest containing the given examples. The
461 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000462 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000463 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000464 "DocTest no longer accepts str; use DocTestParser instead"
465 self.examples = examples
466 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000467 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000468 self.name = name
469 self.filename = filename
470 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000471
472 def __repr__(self):
473 if len(self.examples) == 0:
474 examples = 'no examples'
475 elif len(self.examples) == 1:
476 examples = '1 example'
477 else:
478 examples = '%d examples' % len(self.examples)
479 return ('<DocTest %s from %s:%s (%s)>' %
480 (self.name, self.filename, self.lineno, examples))
481
482
483 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000484 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000485 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000486 return NotImplemented
487 return ((self.name, self.filename, self.lineno, id(self))
488 <
489 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000490
491######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000492## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000493######################################################################
494
Edward Lopera1ef6112004-08-09 16:14:41 +0000495class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000496 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000497 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000498 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000499 # This regular expression is used to find doctest examples in a
500 # string. It defines three groups: `source` is the source code
501 # (including leading indentation and prompts); `indent` is the
502 # indentation of the first (PS1) line of the source code; and
503 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000504 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000505 # Source consists of a PS1 line followed by zero or more PS2 lines.
506 (?P<source>
507 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
508 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
509 \n?
510 # Want consists of any non-blank lines that do not start with PS1.
511 (?P<want> (?:(?![ ]*$) # Not a blank line
512 (?![ ]*>>>) # Not a line starting with PS1
513 .*$\n? # But any other line
514 )*)
515 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000516
Edward Lopera6b68322004-08-26 00:05:43 +0000517 # A regular expression for handling `want` strings that contain
518 # expected exceptions. It divides `want` into three pieces:
519 # - the traceback header line (`hdr`)
520 # - the traceback stack (`stack`)
521 # - the exception message (`msg`), as generated by
522 # traceback.format_exception_only()
523 # `msg` may have multiple lines. We assume/require that the
524 # exception message is the first non-indented line starting with a word
525 # character following the traceback header line.
526 _EXCEPTION_RE = re.compile(r"""
527 # Grab the traceback header. Different versions of Python have
528 # said different things on the first traceback line.
529 ^(?P<hdr> Traceback\ \(
530 (?: most\ recent\ call\ last
531 | innermost\ last
532 ) \) :
533 )
534 \s* $ # toss trailing whitespace on the header.
535 (?P<stack> .*?) # don't blink: absorb stuff until...
536 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
537 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
538
Tim Peters7ea48dd2004-08-13 01:52:59 +0000539 # A callable returning a true value iff its argument is a blank line
540 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000541 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000542
Edward Loper00f8da72004-08-26 18:05:07 +0000543 def parse(self, string, name='<string>'):
544 """
545 Divide the given string into examples and intervening text,
546 and return them as a list of alternating Examples and strings.
547 Line numbers for the Examples are 0-based. The optional
548 argument `name` is a name identifying this string, and is only
549 used for error messages.
550 """
551 string = string.expandtabs()
552 # If all lines begin with the same indentation, then strip it.
553 min_indent = self._min_indent(string)
554 if min_indent > 0:
555 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
556
557 output = []
558 charno, lineno = 0, 0
559 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000560 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000561 # Add the pre-example text to `output`.
562 output.append(string[charno:m.start()])
563 # Update lineno (lines before this example)
564 lineno += string.count('\n', charno, m.start())
565 # Extract info from the regexp match.
566 (source, options, want, exc_msg) = \
567 self._parse_example(m, name, lineno)
568 # Create an Example, and add it to the list.
569 if not self._IS_BLANK_OR_COMMENT(source):
570 output.append( Example(source, want, exc_msg,
571 lineno=lineno,
572 indent=min_indent+len(m.group('indent')),
573 options=options) )
574 # Update lineno (lines inside this example)
575 lineno += string.count('\n', m.start(), m.end())
576 # Update charno.
577 charno = m.end()
578 # Add any remaining post-example text to `output`.
579 output.append(string[charno:])
580 return output
581
Edward Lopera1ef6112004-08-09 16:14:41 +0000582 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000583 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000584 Extract all doctest examples from the given string, and
585 collect them into a `DocTest` object.
586
587 `globs`, `name`, `filename`, and `lineno` are attributes for
588 the new `DocTest` object. See the documentation for `DocTest`
589 for more information.
590 """
591 return DocTest(self.get_examples(string, name), globs,
592 name, filename, lineno, string)
593
594 def get_examples(self, string, name='<string>'):
595 """
596 Extract all doctest examples from the given string, and return
597 them as a list of `Example` objects. Line numbers are
598 0-based, because it's most common in doctests that nothing
599 interesting appears on the same line as opening triple-quote,
600 and so the first interesting line is called \"line 1\" then.
601
602 The optional argument `name` is a name identifying this
603 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000604 """
Edward Loper00f8da72004-08-26 18:05:07 +0000605 return [x for x in self.parse(string, name)
606 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000607
Edward Loper74bca7a2004-08-12 02:27:44 +0000608 def _parse_example(self, m, name, lineno):
609 """
610 Given a regular expression match from `_EXAMPLE_RE` (`m`),
611 return a pair `(source, want)`, where `source` is the matched
612 example's source code (with prompts and indentation stripped);
613 and `want` is the example's expected output (with indentation
614 stripped).
615
616 `name` is the string's name, and `lineno` is the line number
617 where the example starts; both are used for error messages.
618 """
Edward Loper7c748462004-08-09 02:06:06 +0000619 # Get the example's indentation level.
620 indent = len(m.group('indent'))
621
622 # Divide source into lines; check that they're properly
623 # indented; and then strip their indentation & prompts.
624 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000625 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000626 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000627 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000628
Tim Petersc5049152004-08-22 17:34:58 +0000629 # Divide want into lines; check that it's properly indented; and
630 # then strip the indentation. Spaces before the last newline should
631 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000632 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000633 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000634 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
635 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000636 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000637 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000638 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000639
Edward Lopera6b68322004-08-26 00:05:43 +0000640 # If `want` contains a traceback message, then extract it.
641 m = self._EXCEPTION_RE.match(want)
642 if m:
643 exc_msg = m.group('msg')
644 else:
645 exc_msg = None
646
Edward Loper00f8da72004-08-26 18:05:07 +0000647 # Extract options from the source.
648 options = self._find_options(source, name, lineno)
649
650 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000651
Edward Loper74bca7a2004-08-12 02:27:44 +0000652 # This regular expression looks for option directives in the
653 # source code of an example. Option directives are comments
654 # starting with "doctest:". Warning: this may give false
655 # positives for string-literals that contain the string
656 # "#doctest:". Eliminating these false positives would require
657 # actually parsing the string; but we limit them by ignoring any
658 # line containing "#doctest:" that is *followed* by a quote mark.
659 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
660 re.MULTILINE)
661
662 def _find_options(self, source, name, lineno):
663 """
664 Return a dictionary containing option overrides extracted from
665 option directives in the given source string.
666
667 `name` is the string's name, and `lineno` is the line number
668 where the example starts; both are used for error messages.
669 """
670 options = {}
671 # (note: with the current regexp, this will match at most once:)
672 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
673 option_strings = m.group(1).replace(',', ' ').split()
674 for option in option_strings:
675 if (option[0] not in '+-' or
676 option[1:] not in OPTIONFLAGS_BY_NAME):
677 raise ValueError('line %r of the doctest for %s '
678 'has an invalid option: %r' %
679 (lineno+1, name, option))
680 flag = OPTIONFLAGS_BY_NAME[option[1:]]
681 options[flag] = (option[0] == '+')
682 if options and self._IS_BLANK_OR_COMMENT(source):
683 raise ValueError('line %r of the doctest for %s has an option '
684 'directive on a line with no example: %r' %
685 (lineno, name, source))
686 return options
687
Edward Lopera5db6002004-08-12 02:41:30 +0000688 # This regular expression finds the indentation of every non-blank
689 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000690 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000691
692 def _min_indent(self, s):
693 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000694 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
695 if len(indents) > 0:
696 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000697 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000698 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000699
Edward Lopera1ef6112004-08-09 16:14:41 +0000700 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000701 """
702 Given the lines of a source string (including prompts and
703 leading indentation), check to make sure that every prompt is
704 followed by a space character. If any line is not followed by
705 a space character, then raise ValueError.
706 """
Edward Loper7c748462004-08-09 02:06:06 +0000707 for i, line in enumerate(lines):
708 if len(line) >= indent+4 and line[indent+3] != ' ':
709 raise ValueError('line %r of the docstring for %s '
710 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000711 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000712 line[indent:indent+3], line))
713
Edward Lopera1ef6112004-08-09 16:14:41 +0000714 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000715 """
716 Check that every line in the given list starts with the given
717 prefix; if any line does not, then raise a ValueError.
718 """
Edward Loper7c748462004-08-09 02:06:06 +0000719 for i, line in enumerate(lines):
720 if line and not line.startswith(prefix):
721 raise ValueError('line %r of the docstring for %s has '
722 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000723 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000724
725
726######################################################################
727## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000728######################################################################
729
730class DocTestFinder:
731 """
732 A class used to extract the DocTests that are relevant to a given
733 object, from its docstring and the docstrings of its contained
734 objects. Doctests can currently be extracted from the following
735 object types: modules, functions, classes, methods, staticmethods,
736 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000737 """
738
Edward Lopera1ef6112004-08-09 16:14:41 +0000739 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000740 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000741 """
742 Create a new doctest finder.
743
Edward Lopera1ef6112004-08-09 16:14:41 +0000744 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000745 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000746 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000747 signature for this factory function should match the signature
748 of the DocTest constructor.
749
Tim Peters8485b562004-08-04 18:46:34 +0000750 If the optional argument `recurse` is false, then `find` will
751 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000752
Tim Peters958cc892004-09-13 14:53:28 +0000753 If the optional argument `exclude_empty` is false, then `find`
754 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000755 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000756 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000757 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000758 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000759 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000760
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000761 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000762 """
763 Return a list of the DocTests that are defined by the given
764 object's docstring, or by any of its contained objects'
765 docstrings.
766
767 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000768 the given object. If the module is not specified or is None, then
769 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000770 correct module. The object's module is used:
771
772 - As a default namespace, if `globs` is not specified.
773 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000774 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000775 - To find the name of the file containing the object.
776 - To help find the line number of the object within its
777 file.
778
Tim Petersf3f57472004-08-08 06:11:48 +0000779 Contained objects whose module does not match `module` are ignored.
780
781 If `module` is False, no attempt to find the module will be made.
782 This is obscure, of use mostly in tests: if `module` is False, or
783 is None but cannot be found automatically, then all objects are
784 considered to belong to the (non-existent) module, so all contained
785 objects will (recursively) be searched for doctests.
786
Tim Peters8485b562004-08-04 18:46:34 +0000787 The globals for each DocTest is formed by combining `globs`
788 and `extraglobs` (bindings in `extraglobs` override bindings
789 in `globs`). A new copy of the globals dictionary is created
790 for each DocTest. If `globs` is not specified, then it
791 defaults to the module's `__dict__`, if specified, or {}
792 otherwise. If `extraglobs` is not specified, then it defaults
793 to {}.
794
Tim Peters8485b562004-08-04 18:46:34 +0000795 """
796 # If name was not specified, then extract it from the object.
797 if name is None:
798 name = getattr(obj, '__name__', None)
799 if name is None:
800 raise ValueError("DocTestFinder.find: name must be given "
801 "when obj.__name__ doesn't exist: %r" %
802 (type(obj),))
803
804 # Find the module that contains the given object (if obj is
805 # a module, then module=obj.). Note: this may fail, in which
806 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000807 if module is False:
808 module = None
809 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000810 module = inspect.getmodule(obj)
811
812 # Read the module's source code. This is used by
813 # DocTestFinder._find_lineno to find the line number for a
814 # given object's docstring.
815 try:
R. David Murray58641de2009-06-12 15:33:19 +0000816 file = inspect.getsourcefile(obj)
Tim Peters8485b562004-08-04 18:46:34 +0000817 except TypeError:
818 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000819 else:
820 if not file:
821 # Check to see if it's one of our special internal "files"
822 # (see __patched_linecache_getlines).
823 file = inspect.getfile(obj)
824 if not file[0]+file[-2:] == '<]>': file = None
R. David Murray765b9762009-07-15 14:16:54 +0000825 if file is None:
826 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000827 else:
828 if module is not None:
829 # Supply the module globals in case the module was
830 # originally loaded via a PEP 302 loader and
831 # file is not a valid filesystem path
832 source_lines = linecache.getlines(file, module.__dict__)
833 else:
834 # No access to a loader, so assume it's a normal
835 # filesystem path
836 source_lines = linecache.getlines(file)
837 if not source_lines:
838 source_lines = None
Tim Peters8485b562004-08-04 18:46:34 +0000839
840 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000841 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000842 if module is None:
843 globs = {}
844 else:
845 globs = module.__dict__.copy()
846 else:
847 globs = globs.copy()
848 if extraglobs is not None:
849 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +0000850 if '__name__' not in globs:
851 globs['__name__'] = '__main__' # provide a default module name
Tim Peters8a7d2d52001-01-16 07:10:57 +0000852
Tim Peters8485b562004-08-04 18:46:34 +0000853 # Recursively expore `obj`, extracting DocTests.
854 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000855 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000856 # Sort the tests by alpha order of names, for consistency in
857 # verbose-mode output. This was a feature of doctest in Pythons
858 # <= 2.3 that got lost by accident in 2.4. It was repaired in
859 # 2.4.4 and 2.5.
860 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000861 return tests
862
Tim Peters8485b562004-08-04 18:46:34 +0000863 def _from_module(self, module, object):
864 """
865 Return true if the given object is defined in the given
866 module.
867 """
868 if module is None:
869 return True
Benjamin Peterson6cadba72008-11-19 22:38:29 +0000870 elif inspect.getmodule(object) is not None:
871 return module is inspect.getmodule(object)
Tim Peters8485b562004-08-04 18:46:34 +0000872 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000873 return module.__dict__ is object.__globals__
Tim Peters8485b562004-08-04 18:46:34 +0000874 elif inspect.isclass(object):
875 return module.__name__ == object.__module__
Tim Peters8485b562004-08-04 18:46:34 +0000876 elif hasattr(object, '__module__'):
877 return module.__name__ == object.__module__
878 elif isinstance(object, property):
879 return True # [XX] no way not be sure.
880 else:
881 raise ValueError("object must be a class or function")
882
Tim Petersf3f57472004-08-08 06:11:48 +0000883 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000884 """
885 Find tests for the given object and any contained objects, and
886 add them to `tests`.
887 """
888 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000889 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000890
891 # If we've already processed this object, then ignore it.
892 if id(obj) in seen:
893 return
894 seen[id(obj)] = 1
895
896 # Find a test for this object, and add it to the list of tests.
897 test = self._get_test(obj, name, module, globs, source_lines)
898 if test is not None:
899 tests.append(test)
900
901 # Look for tests in a module's contained objects.
902 if inspect.ismodule(obj) and self._recurse:
903 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000904 valname = '%s.%s' % (name, valname)
905 # Recurse to functions & classes.
906 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000907 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000908 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000909 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000910
911 # Look for tests in a module's __test__ dictionary.
912 if inspect.ismodule(obj) and self._recurse:
913 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000914 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +0000915 raise ValueError("DocTestFinder.find: __test__ keys "
916 "must be strings: %r" %
917 (type(valname),))
918 if not (inspect.isfunction(val) or inspect.isclass(val) or
919 inspect.ismethod(val) or inspect.ismodule(val) or
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000920 isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +0000921 raise ValueError("DocTestFinder.find: __test__ values "
922 "must be strings, functions, methods, "
923 "classes, or modules: %r" %
924 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000925 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +0000926 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000927 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000928
929 # Look for tests in a class's contained objects.
930 if inspect.isclass(obj) and self._recurse:
931 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000932 # Special handling for staticmethod/classmethod.
933 if isinstance(val, staticmethod):
934 val = getattr(obj, valname)
935 if isinstance(val, classmethod):
Christian Heimesff737952007-11-27 10:40:20 +0000936 val = getattr(obj, valname).__func__
Tim Peters8485b562004-08-04 18:46:34 +0000937
938 # Recurse to methods, properties, and nested classes.
939 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000940 isinstance(val, property)) and
941 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000942 valname = '%s.%s' % (name, valname)
943 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000944 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000945
946 def _get_test(self, obj, name, module, globs, source_lines):
947 """
948 Return a DocTest for the given object, if it defines a docstring;
949 otherwise, return None.
950 """
951 # Extract the object's docstring. If it doesn't have one,
952 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000953 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +0000954 docstring = obj
955 else:
956 try:
957 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000958 docstring = ''
959 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000960 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000961 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +0000962 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000963 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000964 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000965
966 # Find the docstring's location in the file.
967 lineno = self._find_lineno(obj, source_lines)
968
Edward Loper32ddbf72004-09-13 05:47:24 +0000969 # Don't bother if the docstring is empty.
970 if self._exclude_empty and not docstring:
971 return None
972
Tim Peters8485b562004-08-04 18:46:34 +0000973 # Return a DocTest for this object.
974 if module is None:
975 filename = None
976 else:
977 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000978 if filename[-4:] in (".pyc", ".pyo"):
979 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000980 return self._parser.get_doctest(docstring, globs, name,
981 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000982
983 def _find_lineno(self, obj, source_lines):
984 """
985 Return a line number of the given object's docstring. Note:
986 this method assumes that the object has a docstring.
987 """
988 lineno = None
989
990 # Find the line number for modules.
991 if inspect.ismodule(obj):
992 lineno = 0
993
994 # Find the line number for classes.
995 # Note: this could be fooled if a class is defined multiple
996 # times in a single file.
997 if inspect.isclass(obj):
998 if source_lines is None:
999 return None
1000 pat = re.compile(r'^\s*class\s*%s\b' %
1001 getattr(obj, '__name__', '-'))
1002 for i, line in enumerate(source_lines):
1003 if pat.match(line):
1004 lineno = i
1005 break
1006
1007 # Find the line number for functions & methods.
Christian Heimesff737952007-11-27 10:40:20 +00001008 if inspect.ismethod(obj): obj = obj.__func__
Neal Norwitz221085d2007-02-25 20:55:47 +00001009 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +00001010 if inspect.istraceback(obj): obj = obj.tb_frame
1011 if inspect.isframe(obj): obj = obj.f_code
1012 if inspect.iscode(obj):
1013 lineno = getattr(obj, 'co_firstlineno', None)-1
1014
1015 # Find the line number where the docstring starts. Assume
1016 # that it's the first line that begins with a quote mark.
1017 # Note: this could be fooled by a multiline function
1018 # signature, where a continuation line begins with a quote
1019 # mark.
1020 if lineno is not None:
1021 if source_lines is None:
1022 return lineno+1
1023 pat = re.compile('(^|.*:)\s*\w*("|\')')
1024 for lineno in range(lineno, len(source_lines)):
1025 if pat.match(source_lines[lineno]):
1026 return lineno
1027
1028 # We couldn't find the line number.
1029 return None
1030
1031######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001032## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001033######################################################################
1034
Tim Peters8485b562004-08-04 18:46:34 +00001035class DocTestRunner:
1036 """
1037 A class used to run DocTest test cases, and accumulate statistics.
1038 The `run` method is used to process a single DocTest case. It
1039 returns a tuple `(f, t)`, where `t` is the number of test cases
1040 tried, and `f` is the number of test cases that failed.
1041
1042 >>> tests = DocTestFinder().find(_TestClass)
1043 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001044 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001045 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001046 ... print(test.name, '->', runner.run(test))
Christian Heimes25bb7832008-01-11 16:17:00 +00001047 _TestClass -> TestResults(failed=0, attempted=2)
1048 _TestClass.__init__ -> TestResults(failed=0, attempted=2)
1049 _TestClass.get -> TestResults(failed=0, attempted=2)
1050 _TestClass.square -> TestResults(failed=0, attempted=1)
Tim Peters8485b562004-08-04 18:46:34 +00001051
1052 The `summarize` method prints a summary of all the test cases that
1053 have been run by the runner, and returns an aggregated `(f, t)`
1054 tuple:
1055
1056 >>> runner.summarize(verbose=1)
1057 4 items passed all tests:
1058 2 tests in _TestClass
1059 2 tests in _TestClass.__init__
1060 2 tests in _TestClass.get
1061 1 tests in _TestClass.square
1062 7 tests in 4 items.
1063 7 passed and 0 failed.
1064 Test passed.
Christian Heimes25bb7832008-01-11 16:17:00 +00001065 TestResults(failed=0, attempted=7)
Tim Peters8485b562004-08-04 18:46:34 +00001066
1067 The aggregated number of tried examples and failed examples is
1068 also available via the `tries` and `failures` attributes:
1069
1070 >>> runner.tries
1071 7
1072 >>> runner.failures
1073 0
1074
1075 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001076 by an `OutputChecker`. This comparison may be customized with a
1077 number of option flags; see the documentation for `testmod` for
1078 more information. If the option flags are insufficient, then the
1079 comparison may also be customized by passing a subclass of
1080 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001081
1082 The test runner's display output can be controlled in two ways.
1083 First, an output function (`out) can be passed to
1084 `TestRunner.run`; this function will be called with strings that
1085 should be displayed. It defaults to `sys.stdout.write`. If
1086 capturing the output is not sufficient, then the display output
1087 can be also customized by subclassing DocTestRunner, and
1088 overriding the methods `report_start`, `report_success`,
1089 `report_unexpected_exception`, and `report_failure`.
1090 """
1091 # This divider string is used to separate failure messages, and to
1092 # separate sections of the summary.
1093 DIVIDER = "*" * 70
1094
Edward Loper34fcb142004-08-09 02:45:41 +00001095 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001096 """
1097 Create a new test runner.
1098
Edward Loper34fcb142004-08-09 02:45:41 +00001099 Optional keyword arg `checker` is the `OutputChecker` that
1100 should be used to compare the expected outputs and actual
1101 outputs of doctest examples.
1102
Tim Peters8485b562004-08-04 18:46:34 +00001103 Optional keyword arg 'verbose' prints lots of stuff if true,
1104 only failures if false; by default, it's true iff '-v' is in
1105 sys.argv.
1106
1107 Optional argument `optionflags` can be used to control how the
1108 test runner compares expected output to actual output, and how
1109 it displays failures. See the documentation for `testmod` for
1110 more information.
1111 """
Edward Loper34fcb142004-08-09 02:45:41 +00001112 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001113 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001114 verbose = '-v' in sys.argv
1115 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001116 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001117 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001118
Tim Peters8485b562004-08-04 18:46:34 +00001119 # Keep track of the examples we've run.
1120 self.tries = 0
1121 self.failures = 0
1122 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001123
Tim Peters8485b562004-08-04 18:46:34 +00001124 # Create a fake output target for capturing doctest output.
1125 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001126
Tim Peters8485b562004-08-04 18:46:34 +00001127 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001128 # Reporting methods
1129 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001130
Tim Peters8485b562004-08-04 18:46:34 +00001131 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001132 """
Tim Peters8485b562004-08-04 18:46:34 +00001133 Report that the test runner is about to process the given
1134 example. (Only displays a message if verbose=True)
1135 """
1136 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001137 if example.want:
1138 out('Trying:\n' + _indent(example.source) +
1139 'Expecting:\n' + _indent(example.want))
1140 else:
1141 out('Trying:\n' + _indent(example.source) +
1142 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001143
Tim Peters8485b562004-08-04 18:46:34 +00001144 def report_success(self, out, test, example, got):
1145 """
1146 Report that the given example ran successfully. (Only
1147 displays a message if verbose=True)
1148 """
1149 if self._verbose:
1150 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001151
Tim Peters8485b562004-08-04 18:46:34 +00001152 def report_failure(self, out, test, example, got):
1153 """
1154 Report that the given example failed.
1155 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001156 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001157 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001158
Tim Peters8485b562004-08-04 18:46:34 +00001159 def report_unexpected_exception(self, out, test, example, exc_info):
1160 """
1161 Report that the given example raised an unexpected exception.
1162 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001163 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001164 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001165
Edward Loper8e4a34b2004-08-12 02:34:27 +00001166 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001167 out = [self.DIVIDER]
1168 if test.filename:
1169 if test.lineno is not None and example.lineno is not None:
1170 lineno = test.lineno + example.lineno + 1
1171 else:
1172 lineno = '?'
1173 out.append('File "%s", line %s, in %s' %
1174 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001175 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001176 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1177 out.append('Failed example:')
1178 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001179 out.append(_indent(source))
1180 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001181
Tim Peters8485b562004-08-04 18:46:34 +00001182 #/////////////////////////////////////////////////////////////////
1183 # DocTest Running
1184 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001185
Tim Peters8485b562004-08-04 18:46:34 +00001186 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001187 """
Tim Peters8485b562004-08-04 18:46:34 +00001188 Run the examples in `test`. Write the outcome of each example
1189 with one of the `DocTestRunner.report_*` methods, using the
1190 writer function `out`. `compileflags` is the set of compiler
1191 flags that should be used to execute examples. Return a tuple
1192 `(f, t)`, where `t` is the number of examples tried, and `f`
1193 is the number of examples that failed. The examples are run
1194 in the namespace `test.globs`.
1195 """
1196 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001197 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001198
1199 # Save the option flags (since option directives can be used
1200 # to modify them).
1201 original_optionflags = self.optionflags
1202
Tim Peters1fbf9c52004-09-04 17:21:02 +00001203 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1204
1205 check = self._checker.check_output
1206
Tim Peters8485b562004-08-04 18:46:34 +00001207 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001208 for examplenum, example in enumerate(test.examples):
1209
Edward Lopera89f88d2004-08-26 02:45:51 +00001210 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1211 # reporting after the first failure.
1212 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1213 failures > 0)
1214
Edward Loper74bca7a2004-08-12 02:27:44 +00001215 # Merge in the example's options.
1216 self.optionflags = original_optionflags
1217 if example.options:
1218 for (optionflag, val) in example.options.items():
1219 if val:
1220 self.optionflags |= optionflag
1221 else:
1222 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001223
Thomas Wouters477c8d52006-05-27 19:21:47 +00001224 # If 'SKIP' is set, then skip this example.
1225 if self.optionflags & SKIP:
1226 continue
1227
Tim Peters8485b562004-08-04 18:46:34 +00001228 # Record that we started this example.
1229 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001230 if not quiet:
1231 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001232
Edward Loper2de91ba2004-08-27 02:07:46 +00001233 # Use a special filename for compile(), so we can retrieve
1234 # the source code during interactive debugging (see
1235 # __patched_linecache_getlines).
1236 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1237
Tim Peters8485b562004-08-04 18:46:34 +00001238 # Run the example in the given context (globs), and record
1239 # any exception that gets raised. (But don't intercept
1240 # keyboard interrupts.)
1241 try:
Tim Peters208ca702004-08-09 04:12:36 +00001242 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001243 exec(compile(example.source, filename, "single",
1244 compileflags, 1), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001245 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001246 exception = None
1247 except KeyboardInterrupt:
1248 raise
1249 except:
1250 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001251 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001252
Tim Peters208ca702004-08-09 04:12:36 +00001253 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001254 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001255 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001256
1257 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001258 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001259 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001260 if check(example.want, got, self.optionflags):
1261 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001262
Tim Peters1fbf9c52004-09-04 17:21:02 +00001263 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001264 else:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001265 exc_msg = traceback.format_exception_only(*exception[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001266 if not quiet:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001267 got += _exception_traceback(exception)
Tim Peters8485b562004-08-04 18:46:34 +00001268
Tim Peters1fbf9c52004-09-04 17:21:02 +00001269 # If `example.exc_msg` is None, then we weren't expecting
1270 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001271 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001272 outcome = BOOM
1273
1274 # We expected an exception: see whether it matches.
1275 elif check(example.exc_msg, exc_msg, self.optionflags):
1276 outcome = SUCCESS
1277
1278 # Another chance if they didn't care about the detail.
1279 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1280 m1 = re.match(r'[^:]*:', example.exc_msg)
1281 m2 = re.match(r'[^:]*:', exc_msg)
1282 if m1 and m2 and check(m1.group(0), m2.group(0),
1283 self.optionflags):
1284 outcome = SUCCESS
1285
1286 # Report the outcome.
1287 if outcome is SUCCESS:
1288 if not quiet:
1289 self.report_success(out, test, example, got)
1290 elif outcome is FAILURE:
1291 if not quiet:
1292 self.report_failure(out, test, example, got)
1293 failures += 1
1294 elif outcome is BOOM:
1295 if not quiet:
1296 self.report_unexpected_exception(out, test, example,
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001297 exception)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001298 failures += 1
1299 else:
1300 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001301
1302 # Restore the option flags (in case they were modified)
1303 self.optionflags = original_optionflags
1304
1305 # Record and return the number of failures and tries.
1306 self.__record_outcome(test, failures, tries)
Christian Heimes25bb7832008-01-11 16:17:00 +00001307 return TestResults(failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001308
Tim Peters8485b562004-08-04 18:46:34 +00001309 def __record_outcome(self, test, f, t):
1310 """
1311 Record the fact that the given DocTest (`test`) generated `f`
1312 failures out of `t` tried examples.
1313 """
1314 f2, t2 = self._name2ft.get(test.name, (0,0))
1315 self._name2ft[test.name] = (f+f2, t+t2)
1316 self.failures += f
1317 self.tries += t
1318
Edward Loper2de91ba2004-08-27 02:07:46 +00001319 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1320 r'(?P<name>[\w\.]+)'
1321 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001322 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001323 m = self.__LINECACHE_FILENAME_RE.match(filename)
1324 if m and m.group('name') == self.test.name:
1325 example = self.test.examples[int(m.group('examplenum'))]
1326 return example.source.splitlines(True)
1327 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001328 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001329
Tim Peters8485b562004-08-04 18:46:34 +00001330 def run(self, test, compileflags=None, out=None, clear_globs=True):
1331 """
1332 Run the examples in `test`, and display the results using the
1333 writer function `out`.
1334
1335 The examples are run in the namespace `test.globs`. If
1336 `clear_globs` is true (the default), then this namespace will
1337 be cleared after the test runs, to help with garbage
1338 collection. If you would like to examine the namespace after
1339 the test completes, then use `clear_globs=False`.
1340
1341 `compileflags` gives the set of flags that should be used by
1342 the Python compiler when running the examples. If not
1343 specified, then it will default to the set of future-import
1344 flags that apply to `globs`.
1345
1346 The output of each example is checked using
1347 `DocTestRunner.check_output`, and the results are formatted by
1348 the `DocTestRunner.report_*` methods.
1349 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001350 self.test = test
1351
Tim Peters8485b562004-08-04 18:46:34 +00001352 if compileflags is None:
1353 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001354
Tim Peters6c542b72004-08-09 16:43:36 +00001355 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001356 if out is None:
Tim Peters6c542b72004-08-09 16:43:36 +00001357 out = save_stdout.write
1358 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001359
Edward Loper2de91ba2004-08-27 02:07:46 +00001360 # Patch pdb.set_trace to restore sys.stdout during interactive
1361 # debugging (so it's not still redirected to self._fakeout).
1362 # Note that the interactive output will go to *our*
1363 # save_stdout, even if that's not the real sys.stdout; this
1364 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001365 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001366 self.debugger = _OutputRedirectingPdb(save_stdout)
1367 self.debugger.reset()
1368 pdb.set_trace = self.debugger.set_trace
1369
1370 # Patch linecache.getlines, so we can see the example's source
1371 # when we're inside the debugger.
1372 self.save_linecache_getlines = linecache.getlines
1373 linecache.getlines = self.__patched_linecache_getlines
1374
Tim Peters8485b562004-08-04 18:46:34 +00001375 try:
Tim Peters8485b562004-08-04 18:46:34 +00001376 return self.__run(test, compileflags, out)
1377 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001378 sys.stdout = save_stdout
1379 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001380 linecache.getlines = self.save_linecache_getlines
Tim Peters8485b562004-08-04 18:46:34 +00001381 if clear_globs:
1382 test.globs.clear()
Benjamin Petersonfbf66bd2008-07-29 15:55:50 +00001383 import builtins
1384 builtins._ = None
Tim Peters8485b562004-08-04 18:46:34 +00001385
1386 #/////////////////////////////////////////////////////////////////
1387 # Summarization
1388 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001389 def summarize(self, verbose=None):
1390 """
Tim Peters8485b562004-08-04 18:46:34 +00001391 Print a summary of all the test cases that have been run by
1392 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1393 the total number of failed examples, and `t` is the total
1394 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001395
Tim Peters8485b562004-08-04 18:46:34 +00001396 The optional `verbose` argument controls how detailed the
1397 summary is. If the verbosity is not specified, then the
1398 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001399 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001400 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001401 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001402 notests = []
1403 passed = []
1404 failed = []
1405 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001406 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001407 name, (f, t) = x
1408 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001409 totalt += t
1410 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001411 if t == 0:
1412 notests.append(name)
1413 elif f == 0:
1414 passed.append( (name, t) )
1415 else:
1416 failed.append(x)
1417 if verbose:
1418 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001419 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001420 notests.sort()
1421 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001422 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001423 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001424 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001425 passed.sort()
1426 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001427 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001428 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001429 print(self.DIVIDER)
1430 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001431 failed.sort()
1432 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001433 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001434 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001435 print(totalt, "tests in", len(self._name2ft), "items.")
1436 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001437 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001438 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001439 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001440 print("Test passed.")
Christian Heimes25bb7832008-01-11 16:17:00 +00001441 return TestResults(totalf, totalt)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001442
Tim Peters82076ef2004-09-13 00:52:51 +00001443 #/////////////////////////////////////////////////////////////////
1444 # Backward compatibility cruft to maintain doctest.master.
1445 #/////////////////////////////////////////////////////////////////
1446 def merge(self, other):
1447 d = self._name2ft
1448 for name, (f, t) in other._name2ft.items():
1449 if name in d:
Nick Coghlan38622002008-12-15 12:01:34 +00001450 # Don't print here by default, since doing
1451 # so breaks some of the buildbots
1452 #print("*** DocTestRunner.merge: '" + name + "' in both" \
1453 # " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001454 f2, t2 = d[name]
1455 f = f + f2
1456 t = t + t2
1457 d[name] = f, t
1458
Edward Loper34fcb142004-08-09 02:45:41 +00001459class OutputChecker:
1460 """
1461 A class used to check the whether the actual output from a doctest
1462 example matches the expected output. `OutputChecker` defines two
1463 methods: `check_output`, which compares a given pair of outputs,
1464 and returns true if they match; and `output_difference`, which
1465 returns a string describing the differences between two outputs.
1466 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001467 def _toAscii(self, s):
1468 """
1469 Convert string to hex-escaped ASCII string.
1470 """
1471 return str(s.encode('ASCII', 'backslashreplace'), "ASCII")
1472
Edward Loper34fcb142004-08-09 02:45:41 +00001473 def check_output(self, want, got, optionflags):
1474 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001475 Return True iff the actual output from an example (`got`)
1476 matches the expected output (`want`). These strings are
1477 always considered to match if they are identical; but
1478 depending on what option flags the test runner is using,
1479 several non-exact match types are also possible. See the
1480 documentation for `TestRunner` for more information about
1481 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001482 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001483
1484 # If `want` contains hex-escaped character such as "\u1234",
1485 # then `want` is a string of six characters(e.g. [\,u,1,2,3,4]).
1486 # On the other hand, `got` could be an another sequence of
1487 # characters such as [\u1234], so `want` and `got` should
1488 # be folded to hex-escaped ASCII string to compare.
1489 got = self._toAscii(got)
1490 want = self._toAscii(want)
1491
Edward Loper34fcb142004-08-09 02:45:41 +00001492 # Handle the common case first, for efficiency:
1493 # if they're string-identical, always return true.
1494 if got == want:
1495 return True
1496
1497 # The values True and False replaced 1 and 0 as the return
1498 # value for boolean comparisons in Python 2.3.
1499 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1500 if (got,want) == ("True\n", "1\n"):
1501 return True
1502 if (got,want) == ("False\n", "0\n"):
1503 return True
1504
1505 # <BLANKLINE> can be used as a special sequence to signify a
1506 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1507 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1508 # Replace <BLANKLINE> in want with a blank line.
1509 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1510 '', want)
1511 # If a line in got contains only spaces, then remove the
1512 # spaces.
1513 got = re.sub('(?m)^\s*?$', '', got)
1514 if got == want:
1515 return True
1516
1517 # This flag causes doctest to ignore any differences in the
1518 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001519 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001520 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001521 got = ' '.join(got.split())
1522 want = ' '.join(want.split())
1523 if got == want:
1524 return True
1525
1526 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001527 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001528 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001529 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001530 return True
1531
1532 # We didn't find any match; return false.
1533 return False
1534
Tim Petersc6cbab02004-08-22 19:43:28 +00001535 # Should we do a fancy diff?
1536 def _do_a_fancy_diff(self, want, got, optionflags):
1537 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001538 if not optionflags & (REPORT_UDIFF |
1539 REPORT_CDIFF |
1540 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001541 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001542
Tim Petersc6cbab02004-08-22 19:43:28 +00001543 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001544 # too hard ... or maybe not. In two real-life failures Tim saw,
1545 # a diff was a major help anyway, so this is commented out.
1546 # [todo] _ellipsis_match() knows which pieces do and don't match,
1547 # and could be the basis for a kick-ass diff in this case.
1548 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1549 ## return False
1550
Tim Petersc6cbab02004-08-22 19:43:28 +00001551 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001552 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001553 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001554 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001555
Tim Petersc6cbab02004-08-22 19:43:28 +00001556 # The other diff types need at least a few lines to be helpful.
1557 return want.count('\n') > 2 and got.count('\n') > 2
1558
Edward Loperca9111e2004-08-26 03:00:24 +00001559 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001560 """
1561 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001562 expected output for a given example (`example`) and the actual
1563 output (`got`). `optionflags` is the set of option flags used
1564 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001565 """
Edward Loperca9111e2004-08-26 03:00:24 +00001566 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001567 # If <BLANKLINE>s are being used, then replace blank lines
1568 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001569 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001570 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001571
Tim Peters5b799c12004-08-26 05:21:59 +00001572 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001573 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001574 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001575 want_lines = want.splitlines(True) # True == keep line ends
1576 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001577 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001578 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001579 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1580 diff = list(diff)[2:] # strip the diff header
1581 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001582 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001583 diff = difflib.context_diff(want_lines, got_lines, n=2)
1584 diff = list(diff)[2:] # strip the diff header
1585 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001586 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001587 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1588 diff = list(engine.compare(want_lines, got_lines))
1589 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001590 else:
1591 assert 0, 'Bad diff option'
1592 # Remove trailing whitespace on diff output.
1593 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001594 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001595
1596 # If we're not using diff, then simply list the expected
1597 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001598 if want and got:
1599 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1600 elif want:
1601 return 'Expected:\n%sGot nothing\n' % _indent(want)
1602 elif got:
1603 return 'Expected nothing\nGot:\n%s' % _indent(got)
1604 else:
1605 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001606
Tim Peters19397e52004-08-06 22:02:59 +00001607class DocTestFailure(Exception):
1608 """A DocTest example has failed in debugging mode.
1609
1610 The exception instance has variables:
1611
1612 - test: the DocTest object being run
1613
Neal Norwitzc082cb72006-08-29 05:40:08 +00001614 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001615
1616 - got: the actual output
1617 """
1618 def __init__(self, test, example, got):
1619 self.test = test
1620 self.example = example
1621 self.got = got
1622
1623 def __str__(self):
1624 return str(self.test)
1625
1626class UnexpectedException(Exception):
1627 """A DocTest example has encountered an unexpected exception
1628
1629 The exception instance has variables:
1630
1631 - test: the DocTest object being run
1632
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001633 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001634
1635 - exc_info: the exception info
1636 """
1637 def __init__(self, test, example, exc_info):
1638 self.test = test
1639 self.example = example
1640 self.exc_info = exc_info
1641
1642 def __str__(self):
1643 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001644
Tim Peters19397e52004-08-06 22:02:59 +00001645class DebugRunner(DocTestRunner):
1646 r"""Run doc tests but raise an exception as soon as there is a failure.
1647
1648 If an unexpected exception occurs, an UnexpectedException is raised.
1649 It contains the test, the example, and the original exception:
1650
1651 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001652 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1653 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001654 >>> try:
1655 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001656 ... except UnexpectedException as f:
1657 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001658
1659 >>> failure.test is test
1660 True
1661
1662 >>> failure.example.want
1663 '42\n'
1664
1665 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001666 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001667 Traceback (most recent call last):
1668 ...
1669 KeyError
1670
1671 We wrap the original exception to give the calling application
1672 access to the test and example information.
1673
1674 If the output doesn't match, then a DocTestFailure is raised:
1675
Edward Lopera1ef6112004-08-09 16:14:41 +00001676 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001677 ... >>> x = 1
1678 ... >>> x
1679 ... 2
1680 ... ''', {}, 'foo', 'foo.py', 0)
1681
1682 >>> try:
1683 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001684 ... except DocTestFailure as f:
1685 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001686
1687 DocTestFailure objects provide access to the test:
1688
1689 >>> failure.test is test
1690 True
1691
1692 As well as to the example:
1693
1694 >>> failure.example.want
1695 '2\n'
1696
1697 and the actual output:
1698
1699 >>> failure.got
1700 '1\n'
1701
1702 If a failure or error occurs, the globals are left intact:
1703
1704 >>> del test.globs['__builtins__']
1705 >>> test.globs
1706 {'x': 1}
1707
Edward Lopera1ef6112004-08-09 16:14:41 +00001708 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001709 ... >>> x = 2
1710 ... >>> raise KeyError
1711 ... ''', {}, 'foo', 'foo.py', 0)
1712
1713 >>> runner.run(test)
1714 Traceback (most recent call last):
1715 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001716 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001717
Tim Peters19397e52004-08-06 22:02:59 +00001718 >>> del test.globs['__builtins__']
1719 >>> test.globs
1720 {'x': 2}
1721
1722 But the globals are cleared if there is no error:
1723
Edward Lopera1ef6112004-08-09 16:14:41 +00001724 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001725 ... >>> x = 2
1726 ... ''', {}, 'foo', 'foo.py', 0)
1727
1728 >>> runner.run(test)
Christian Heimes25bb7832008-01-11 16:17:00 +00001729 TestResults(failed=0, attempted=1)
Tim Peters19397e52004-08-06 22:02:59 +00001730
1731 >>> test.globs
1732 {}
1733
1734 """
1735
1736 def run(self, test, compileflags=None, out=None, clear_globs=True):
1737 r = DocTestRunner.run(self, test, compileflags, out, False)
1738 if clear_globs:
1739 test.globs.clear()
1740 return r
1741
1742 def report_unexpected_exception(self, out, test, example, exc_info):
1743 raise UnexpectedException(test, example, exc_info)
1744
1745 def report_failure(self, out, test, example, got):
1746 raise DocTestFailure(test, example, got)
1747
Tim Peters8485b562004-08-04 18:46:34 +00001748######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001749## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001750######################################################################
1751# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001752
Tim Peters82076ef2004-09-13 00:52:51 +00001753# For backward compatibility, a global instance of a DocTestRunner
1754# class, updated by testmod.
1755master = None
1756
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001757def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001758 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001759 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001760 """m=None, name=None, globs=None, verbose=None, report=True,
1761 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001762 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001763
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001764 Test examples in docstrings in functions and classes reachable
1765 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001766 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001767
1768 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001769 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001770 function and class docstrings are tested even if the name is private;
1771 strings are tested directly, as if they were docstrings.
1772
1773 Return (#failures, #tests).
1774
1775 See doctest.__doc__ for an overview.
1776
1777 Optional keyword arg "name" gives the name of the module; by default
1778 use m.__name__.
1779
1780 Optional keyword arg "globs" gives a dict to be used as the globals
1781 when executing examples; by default, use m.__dict__. A copy of this
1782 dict is actually used for each docstring, so that each docstring's
1783 examples start with a clean slate.
1784
Tim Peters8485b562004-08-04 18:46:34 +00001785 Optional keyword arg "extraglobs" gives a dictionary that should be
1786 merged into the globals that are used to execute examples. By
1787 default, no extra globals are used. This is new in 2.4.
1788
Tim Peters8a7d2d52001-01-16 07:10:57 +00001789 Optional keyword arg "verbose" prints lots of stuff if true, prints
1790 only failures if false; by default, it's true iff "-v" is in sys.argv.
1791
Tim Peters8a7d2d52001-01-16 07:10:57 +00001792 Optional keyword arg "report" prints a summary at the end when true,
1793 else prints nothing at the end. In verbose mode, the summary is
1794 detailed, else very brief (in fact, empty if all tests passed).
1795
Tim Peters6ebe61f2003-06-27 20:48:05 +00001796 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001797 and defaults to 0. This is new in 2.3. Possible values (see the
1798 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001799
1800 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001801 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001802 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001803 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001804 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001805 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001806 REPORT_UDIFF
1807 REPORT_CDIFF
1808 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001809 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001810
1811 Optional keyword arg "raise_on_error" raises an exception on the
1812 first unexpected exception or failure. This allows failures to be
1813 post-mortem debugged.
1814
Tim Peters8a7d2d52001-01-16 07:10:57 +00001815 Advanced tomfoolery: testmod runs methods of a local instance of
1816 class doctest.Tester, then merges the results into (or creates)
1817 global Tester instance doctest.master. Methods of doctest.master
1818 can be called directly too, if you want to do something unusual.
1819 Passing report=0 to testmod is especially useful then, to delay
1820 displaying a summary. Invoke doctest.master.summarize(verbose)
1821 when you're done fiddling.
1822 """
Tim Peters82076ef2004-09-13 00:52:51 +00001823 global master
1824
Tim Peters8485b562004-08-04 18:46:34 +00001825 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001826 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001827 # DWA - m will still be None if this wasn't invoked from the command
1828 # line, in which case the following TypeError is about as good an error
1829 # as we should expect
1830 m = sys.modules.get('__main__')
1831
Tim Peters8485b562004-08-04 18:46:34 +00001832 # Check that we were actually given a module.
1833 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001834 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001835
1836 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001837 if name is None:
1838 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001839
1840 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001841 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001842
1843 if raise_on_error:
1844 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1845 else:
1846 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1847
Tim Peters8485b562004-08-04 18:46:34 +00001848 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1849 runner.run(test)
1850
Tim Peters8a7d2d52001-01-16 07:10:57 +00001851 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001852 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001853
Tim Peters82076ef2004-09-13 00:52:51 +00001854 if master is None:
1855 master = runner
1856 else:
1857 master.merge(runner)
1858
Christian Heimes25bb7832008-01-11 16:17:00 +00001859 return TestResults(runner.failures, runner.tries)
Tim Petersdb3756d2003-06-29 05:30:48 +00001860
Edward Loper052d0cd2004-09-19 17:19:33 +00001861def testfile(filename, module_relative=True, name=None, package=None,
1862 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001863 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1864 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001865 """
1866 Test examples in the given file. Return (#failures, #tests).
1867
1868 Optional keyword arg "module_relative" specifies how filenames
1869 should be interpreted:
1870
1871 - If "module_relative" is True (the default), then "filename"
1872 specifies a module-relative path. By default, this path is
1873 relative to the calling module's directory; but if the
1874 "package" argument is specified, then it is relative to that
1875 package. To ensure os-independence, "filename" should use
1876 "/" characters to separate path segments, and should not
1877 be an absolute path (i.e., it may not begin with "/").
1878
1879 - If "module_relative" is False, then "filename" specifies an
1880 os-specific path. The path may be absolute or relative (to
1881 the current working directory).
1882
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001883 Optional keyword arg "name" gives the name of the test; by default
1884 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001885
1886 Optional keyword argument "package" is a Python package or the
1887 name of a Python package whose directory should be used as the
1888 base directory for a module relative filename. If no package is
1889 specified, then the calling module's directory is used as the base
1890 directory for module relative filenames. It is an error to
1891 specify "package" if "module_relative" is False.
1892
1893 Optional keyword arg "globs" gives a dict to be used as the globals
1894 when executing examples; by default, use {}. A copy of this dict
1895 is actually used for each docstring, so that each docstring's
1896 examples start with a clean slate.
1897
1898 Optional keyword arg "extraglobs" gives a dictionary that should be
1899 merged into the globals that are used to execute examples. By
1900 default, no extra globals are used.
1901
1902 Optional keyword arg "verbose" prints lots of stuff if true, prints
1903 only failures if false; by default, it's true iff "-v" is in sys.argv.
1904
1905 Optional keyword arg "report" prints a summary at the end when true,
1906 else prints nothing at the end. In verbose mode, the summary is
1907 detailed, else very brief (in fact, empty if all tests passed).
1908
1909 Optional keyword arg "optionflags" or's together module constants,
1910 and defaults to 0. Possible values (see the docs for details):
1911
1912 DONT_ACCEPT_TRUE_FOR_1
1913 DONT_ACCEPT_BLANKLINE
1914 NORMALIZE_WHITESPACE
1915 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001916 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001917 IGNORE_EXCEPTION_DETAIL
1918 REPORT_UDIFF
1919 REPORT_CDIFF
1920 REPORT_NDIFF
1921 REPORT_ONLY_FIRST_FAILURE
1922
1923 Optional keyword arg "raise_on_error" raises an exception on the
1924 first unexpected exception or failure. This allows failures to be
1925 post-mortem debugged.
1926
Edward Loper498a1862004-09-27 03:42:58 +00001927 Optional keyword arg "parser" specifies a DocTestParser (or
1928 subclass) that should be used to extract tests from the files.
1929
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001930 Optional keyword arg "encoding" specifies an encoding that should
1931 be used to convert the file to unicode.
1932
Edward Loper052d0cd2004-09-19 17:19:33 +00001933 Advanced tomfoolery: testmod runs methods of a local instance of
1934 class doctest.Tester, then merges the results into (or creates)
1935 global Tester instance doctest.master. Methods of doctest.master
1936 can be called directly too, if you want to do something unusual.
1937 Passing report=0 to testmod is especially useful then, to delay
1938 displaying a summary. Invoke doctest.master.summarize(verbose)
1939 when you're done fiddling.
1940 """
1941 global master
1942
1943 if package and not module_relative:
1944 raise ValueError("Package may only be specified for module-"
1945 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001946
Edward Loper052d0cd2004-09-19 17:19:33 +00001947 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00001948 text, filename = _load_testfile(filename, package, module_relative,
1949 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00001950
1951 # If no name was given, then use the file's name.
1952 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001953 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001954
1955 # Assemble the globals.
1956 if globs is None:
1957 globs = {}
1958 else:
1959 globs = globs.copy()
1960 if extraglobs is not None:
1961 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +00001962 if '__name__' not in globs:
1963 globs['__name__'] = '__main__'
Edward Loper052d0cd2004-09-19 17:19:33 +00001964
1965 if raise_on_error:
1966 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1967 else:
1968 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1969
1970 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001971 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001972 runner.run(test)
1973
1974 if report:
1975 runner.summarize()
1976
1977 if master is None:
1978 master = runner
1979 else:
1980 master.merge(runner)
1981
Christian Heimes25bb7832008-01-11 16:17:00 +00001982 return TestResults(runner.failures, runner.tries)
Edward Loper052d0cd2004-09-19 17:19:33 +00001983
Tim Peters8485b562004-08-04 18:46:34 +00001984def run_docstring_examples(f, globs, verbose=False, name="NoName",
1985 compileflags=None, optionflags=0):
1986 """
1987 Test examples in the given object's docstring (`f`), using `globs`
1988 as globals. Optional argument `name` is used in failure messages.
1989 If the optional argument `verbose` is true, then generate output
1990 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00001991
Tim Peters8485b562004-08-04 18:46:34 +00001992 `compileflags` gives the set of flags that should be used by the
1993 Python compiler when running the examples. If not specified, then
1994 it will default to the set of future-import flags that apply to
1995 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00001996
Tim Peters8485b562004-08-04 18:46:34 +00001997 Optional keyword arg `optionflags` specifies options for the
1998 testing and output. See the documentation for `testmod` for more
1999 information.
2000 """
2001 # Find, parse, and run all tests in the given module.
2002 finder = DocTestFinder(verbose=verbose, recurse=False)
2003 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2004 for test in finder.find(f, name, globs=globs):
2005 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00002006
Tim Peters8485b562004-08-04 18:46:34 +00002007######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002008## 7. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002009######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002010
Jim Fultonf54bad42004-08-28 14:57:56 +00002011_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002012
Jim Fultonf54bad42004-08-28 14:57:56 +00002013def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002014 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002015
2016 The old flag is returned so that a runner could restore the old
2017 value if it wished to:
2018
Tim Petersb7e99b62005-03-28 23:50:54 +00002019 >>> import doctest
2020 >>> old = doctest._unittest_reportflags
2021 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002022 ... REPORT_ONLY_FIRST_FAILURE) == old
2023 True
2024
Jim Fultonf54bad42004-08-28 14:57:56 +00002025 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2026 ... REPORT_ONLY_FIRST_FAILURE)
2027 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002028
Jim Fultonf54bad42004-08-28 14:57:56 +00002029 Only reporting flags can be set:
2030
Tim Petersb7e99b62005-03-28 23:50:54 +00002031 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002032 Traceback (most recent call last):
2033 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002034 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002035
Tim Petersb7e99b62005-03-28 23:50:54 +00002036 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002037 ... REPORT_ONLY_FIRST_FAILURE)
2038 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002039 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002040 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002041
2042 if (flags & REPORTING_FLAGS) != flags:
2043 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002044 old = _unittest_reportflags
2045 _unittest_reportflags = flags
2046 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002047
Jim Fultonf54bad42004-08-28 14:57:56 +00002048
Tim Peters19397e52004-08-06 22:02:59 +00002049class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002050
Edward Loper34fcb142004-08-09 02:45:41 +00002051 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2052 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002053
Jim Fultona643b652004-07-14 19:06:50 +00002054 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002055 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002056 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002057 self._dt_test = test
2058 self._dt_setUp = setUp
2059 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002060
Jim Fultona643b652004-07-14 19:06:50 +00002061 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002062 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002063
Tim Peters19397e52004-08-06 22:02:59 +00002064 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002065 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002066
2067 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002068 test = self._dt_test
2069
Tim Peters19397e52004-08-06 22:02:59 +00002070 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002071 self._dt_tearDown(test)
2072
2073 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002074
2075 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002076 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002077 old = sys.stdout
2078 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002079 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002080
Tim Peters38330fe2004-08-30 16:19:24 +00002081 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002082 # The option flags don't include any reporting flags,
2083 # so add the default reporting flags
2084 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002085
Jim Fultonf54bad42004-08-28 14:57:56 +00002086 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002087 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002088
Jim Fultona643b652004-07-14 19:06:50 +00002089 try:
Tim Peters19397e52004-08-06 22:02:59 +00002090 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002091 failures, tries = runner.run(
2092 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002093 finally:
2094 sys.stdout = old
2095
2096 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002097 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002098
Tim Peters19397e52004-08-06 22:02:59 +00002099 def format_failure(self, err):
2100 test = self._dt_test
2101 if test.lineno is None:
2102 lineno = 'unknown line number'
2103 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002104 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002105 lname = '.'.join(test.name.split('.')[-1:])
2106 return ('Failed doctest test for %s\n'
2107 ' File "%s", line %s, in %s\n\n%s'
2108 % (test.name, test.filename, lineno, lname, err)
2109 )
2110
2111 def debug(self):
2112 r"""Run the test case without results and without catching exceptions
2113
2114 The unit test framework includes a debug method on test cases
2115 and test suites to support post-mortem debugging. The test code
2116 is run in such a way that errors are not caught. This way a
2117 caller can catch the errors and initiate post-mortem debugging.
2118
2119 The DocTestCase provides a debug method that raises
2120 UnexpectedException errors if there is an unexepcted
2121 exception:
2122
Edward Lopera1ef6112004-08-09 16:14:41 +00002123 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002124 ... {}, 'foo', 'foo.py', 0)
2125 >>> case = DocTestCase(test)
2126 >>> try:
2127 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002128 ... except UnexpectedException as f:
2129 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002130
2131 The UnexpectedException contains the test, the example, and
2132 the original exception:
2133
2134 >>> failure.test is test
2135 True
2136
2137 >>> failure.example.want
2138 '42\n'
2139
2140 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002141 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002142 Traceback (most recent call last):
2143 ...
2144 KeyError
2145
2146 If the output doesn't match, then a DocTestFailure is raised:
2147
Edward Lopera1ef6112004-08-09 16:14:41 +00002148 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002149 ... >>> x = 1
2150 ... >>> x
2151 ... 2
2152 ... ''', {}, 'foo', 'foo.py', 0)
2153 >>> case = DocTestCase(test)
2154
2155 >>> try:
2156 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002157 ... except DocTestFailure as f:
2158 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002159
2160 DocTestFailure objects provide access to the test:
2161
2162 >>> failure.test is test
2163 True
2164
2165 As well as to the example:
2166
2167 >>> failure.example.want
2168 '2\n'
2169
2170 and the actual output:
2171
2172 >>> failure.got
2173 '1\n'
2174
2175 """
2176
Jim Fultonf54bad42004-08-28 14:57:56 +00002177 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002178 runner = DebugRunner(optionflags=self._dt_optionflags,
2179 checker=self._dt_checker, verbose=False)
Alexandre Vassalottieca20b62008-05-16 02:54:33 +00002180 runner.run(self._dt_test, clear_globs=False)
Jim Fultonf54bad42004-08-28 14:57:56 +00002181 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002182
2183 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002184 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002185
2186 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002187 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002188 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2189
2190 __str__ = __repr__
2191
2192 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002193 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002194
Jim Fultonf54bad42004-08-28 14:57:56 +00002195def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2196 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002197 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002198 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002199
Tim Peters19397e52004-08-06 22:02:59 +00002200 This converts each documentation string in a module that
2201 contains doctest tests to a unittest test case. If any of the
2202 tests in a doc string fail, then the test case fails. An exception
2203 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002204 (sometimes approximate) line number.
2205
Tim Peters19397e52004-08-06 22:02:59 +00002206 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002207 can be either a module or a module name.
2208
2209 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002210
2211 A number of options may be provided as keyword arguments:
2212
Jim Fultonf54bad42004-08-28 14:57:56 +00002213 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002214 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002215 tests in each file. The setUp function will be passed a DocTest
2216 object. The setUp function can access the test globals as the
2217 globs attribute of the test passed.
2218
2219 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002220 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002221 tests in each file. The tearDown function will be passed a DocTest
2222 object. The tearDown function can access the test globals as the
2223 globs attribute of the test passed.
2224
2225 globs
2226 A dictionary containing initial global variables for the tests.
2227
2228 optionflags
2229 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002230 """
Jim Fultona643b652004-07-14 19:06:50 +00002231
Tim Peters8485b562004-08-04 18:46:34 +00002232 if test_finder is None:
2233 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002234
Tim Peters19397e52004-08-06 22:02:59 +00002235 module = _normalize_module(module)
2236 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
Jim Fultonf54bad42004-08-28 14:57:56 +00002237 if not tests:
2238 # Why do we want to do this? Because it reveals a bug that might
2239 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002240 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002241
2242 tests.sort()
2243 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002244 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002245 if len(test.examples) == 0:
2246 continue
Tim Peters8485b562004-08-04 18:46:34 +00002247 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002248 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002249 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002250 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002251 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002252 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002253
2254 return suite
2255
2256class DocFileCase(DocTestCase):
2257
2258 def id(self):
2259 return '_'.join(self._dt_test.name.split('.'))
2260
2261 def __repr__(self):
2262 return self._dt_test.filename
2263 __str__ = __repr__
2264
2265 def format_failure(self, err):
2266 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2267 % (self._dt_test.name, self._dt_test.filename, err)
2268 )
2269
Edward Loper052d0cd2004-09-19 17:19:33 +00002270def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002271 globs=None, parser=DocTestParser(),
2272 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002273 if globs is None:
2274 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002275 else:
2276 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002277
Edward Loper052d0cd2004-09-19 17:19:33 +00002278 if package and not module_relative:
2279 raise ValueError("Package may only be specified for module-"
2280 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002281
Edward Loper052d0cd2004-09-19 17:19:33 +00002282 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002283 doc, path = _load_testfile(path, package, module_relative,
2284 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002285
Fred Drake7c404a42004-12-21 23:46:34 +00002286 if "__file__" not in globs:
2287 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002288
Edward Loper052d0cd2004-09-19 17:19:33 +00002289 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002290 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002291
2292 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002293 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002294 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002295
2296def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002297 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002298
Edward Loper052d0cd2004-09-19 17:19:33 +00002299 The path to each doctest file is given as a string; the
2300 interpretation of that string depends on the keyword argument
2301 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002302
2303 A number of options may be provided as keyword arguments:
2304
Edward Loper052d0cd2004-09-19 17:19:33 +00002305 module_relative
2306 If "module_relative" is True, then the given file paths are
2307 interpreted as os-independent module-relative paths. By
2308 default, these paths are relative to the calling module's
2309 directory; but if the "package" argument is specified, then
2310 they are relative to that package. To ensure os-independence,
2311 "filename" should use "/" characters to separate path
2312 segments, and may not be an absolute path (i.e., it may not
2313 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002314
Edward Loper052d0cd2004-09-19 17:19:33 +00002315 If "module_relative" is False, then the given file paths are
2316 interpreted as os-specific paths. These paths may be absolute
2317 or relative (to the current working directory).
2318
Tim Peters19397e52004-08-06 22:02:59 +00002319 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002320 A Python package or the name of a Python package whose directory
2321 should be used as the base directory for module relative paths.
2322 If "package" is not specified, then the calling module's
2323 directory is used as the base directory for module relative
2324 filenames. It is an error to specify "package" if
2325 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002326
2327 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002328 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002329 tests in each file. The setUp function will be passed a DocTest
2330 object. The setUp function can access the test globals as the
2331 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002332
2333 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002334 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002335 tests in each file. The tearDown function will be passed a DocTest
2336 object. The tearDown function can access the test globals as the
2337 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002338
2339 globs
2340 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002341
2342 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002343 A set of doctest option flags expressed as an integer.
2344
2345 parser
2346 A DocTestParser (or subclass) that should be used to extract
2347 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002348
2349 encoding
2350 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002351 """
2352 suite = unittest.TestSuite()
2353
2354 # We do this here so that _normalize_module is called at the right
2355 # level. If it were called in DocFileTest, then this function
2356 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002357 if kw.get('module_relative', True):
2358 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002359
2360 for path in paths:
2361 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002362
Tim Petersdb3756d2003-06-29 05:30:48 +00002363 return suite
2364
Tim Peters8485b562004-08-04 18:46:34 +00002365######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002366## 8. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002367######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002368
Tim Peters19397e52004-08-06 22:02:59 +00002369def script_from_examples(s):
2370 r"""Extract script from text with examples.
2371
2372 Converts text with examples to a Python script. Example input is
2373 converted to regular code. Example output and all other words
2374 are converted to comments:
2375
2376 >>> text = '''
2377 ... Here are examples of simple math.
2378 ...
2379 ... Python has super accurate integer addition
2380 ...
2381 ... >>> 2 + 2
2382 ... 5
2383 ...
2384 ... And very friendly error messages:
2385 ...
2386 ... >>> 1/0
2387 ... To Infinity
2388 ... And
2389 ... Beyond
2390 ...
2391 ... You can use logic if you want:
2392 ...
2393 ... >>> if 0:
2394 ... ... blah
2395 ... ... blah
2396 ... ...
2397 ...
2398 ... Ho hum
2399 ... '''
2400
Guido van Rossum7131f842007-02-09 20:13:25 +00002401 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002402 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002403 #
Edward Lopera5db6002004-08-12 02:41:30 +00002404 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002405 #
2406 2 + 2
2407 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002408 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002409 #
Edward Lopera5db6002004-08-12 02:41:30 +00002410 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002411 #
2412 1/0
2413 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002414 ## To Infinity
2415 ## And
2416 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002417 #
Edward Lopera5db6002004-08-12 02:41:30 +00002418 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002419 #
2420 if 0:
2421 blah
2422 blah
Tim Peters19397e52004-08-06 22:02:59 +00002423 #
Edward Lopera5db6002004-08-12 02:41:30 +00002424 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002425 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002426 """
Edward Loper00f8da72004-08-26 18:05:07 +00002427 output = []
2428 for piece in DocTestParser().parse(s):
2429 if isinstance(piece, Example):
2430 # Add the example's source code (strip trailing NL)
2431 output.append(piece.source[:-1])
2432 # Add the expected output:
2433 want = piece.want
2434 if want:
2435 output.append('# Expected:')
2436 output += ['## '+l for l in want.split('\n')[:-1]]
2437 else:
2438 # Add non-example text.
2439 output += [_comment_line(l)
2440 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002441
Edward Loper00f8da72004-08-26 18:05:07 +00002442 # Trim junk on both ends.
2443 while output and output[-1] == '#':
2444 output.pop()
2445 while output and output[0] == '#':
2446 output.pop(0)
2447 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002448 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2449 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002450
2451def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002452 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002453
2454 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002455 test to be debugged and the name (within the module) of the object
2456 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002457 """
Tim Peters8485b562004-08-04 18:46:34 +00002458 module = _normalize_module(module)
2459 tests = DocTestFinder().find(module)
2460 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002461 if not test:
2462 raise ValueError(name, "not found in tests")
2463 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002464 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002465 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002466
Jim Fultona643b652004-07-14 19:06:50 +00002467def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002468 """Debug a single doctest docstring, in argument `src`'"""
2469 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002470 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002471
Jim Fultona643b652004-07-14 19:06:50 +00002472def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002473 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002474 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002475
Tim Petersb6a04d62004-08-23 21:37:56 +00002476 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2477 # docs say, a file so created cannot be opened by name a second time
Neal Norwitz01688022007-08-12 00:43:29 +00002478 # on modern Windows boxes, and exec() needs to open and read it.
Tim Petersb6a04d62004-08-23 21:37:56 +00002479 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002480 f = open(srcfilename, 'w')
2481 f.write(src)
2482 f.close()
2483
Tim Petersb6a04d62004-08-23 21:37:56 +00002484 try:
2485 if globs:
2486 globs = globs.copy()
2487 else:
2488 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002489
Tim Petersb6a04d62004-08-23 21:37:56 +00002490 if pm:
2491 try:
Neal Norwitz01688022007-08-12 00:43:29 +00002492 exec(open(srcfilename).read(), globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002493 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002494 print(sys.exc_info()[1])
Tim Petersb6a04d62004-08-23 21:37:56 +00002495 pdb.post_mortem(sys.exc_info()[2])
2496 else:
Neal Norwitz01688022007-08-12 00:43:29 +00002497 fp = open(srcfilename)
2498 try:
2499 script = fp.read()
2500 finally:
2501 fp.close()
2502 pdb.run("exec(%r)" % script, globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002503
2504 finally:
2505 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002506
Jim Fultona643b652004-07-14 19:06:50 +00002507def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002508 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002509
2510 Provide the module (or dotted name of the module) containing the
2511 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002512 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002513 """
Tim Peters8485b562004-08-04 18:46:34 +00002514 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002515 testsrc = testsource(module, name)
2516 debug_script(testsrc, pm, module.__dict__)
2517
Tim Peters8485b562004-08-04 18:46:34 +00002518######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002519## 9. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002520######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002521class _TestClass:
2522 """
2523 A pointless class, for sanity-checking of docstring testing.
2524
2525 Methods:
2526 square()
2527 get()
2528
2529 >>> _TestClass(13).get() + _TestClass(-12).get()
2530 1
2531 >>> hex(_TestClass(13).square().get())
2532 '0xa9'
2533 """
2534
2535 def __init__(self, val):
2536 """val -> _TestClass object with associated value val.
2537
2538 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002539 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002540 123
2541 """
2542
2543 self.val = val
2544
2545 def square(self):
2546 """square() -> square TestClass's associated value
2547
2548 >>> _TestClass(13).square().get()
2549 169
2550 """
2551
2552 self.val = self.val ** 2
2553 return self
2554
2555 def get(self):
2556 """get() -> return TestClass's associated value.
2557
2558 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002559 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002560 -42
2561 """
2562
2563 return self.val
2564
2565__test__ = {"_TestClass": _TestClass,
2566 "string": r"""
2567 Example of a string object, searched as-is.
2568 >>> x = 1; y = 2
2569 >>> x + y, x * y
2570 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002571 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002572
Tim Peters6ebe61f2003-06-27 20:48:05 +00002573 "bool-int equivalence": r"""
2574 In 2.2, boolean expressions displayed
2575 0 or 1. By default, we still accept
2576 them. This can be disabled by passing
2577 DONT_ACCEPT_TRUE_FOR_1 to the new
2578 optionflags argument.
2579 >>> 4 == 4
2580 1
2581 >>> 4 == 4
2582 True
2583 >>> 4 > 4
2584 0
2585 >>> 4 > 4
2586 False
2587 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002588
Tim Peters8485b562004-08-04 18:46:34 +00002589 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002590 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002591 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002592 foo
2593 <BLANKLINE>
2594 bar
2595 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002596 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002597
2598 "ellipsis": r"""
2599 If the ellipsis flag is used, then '...' can be used to
2600 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002601 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002602 [0, 1, 2, ..., 999]
2603 """,
2604
2605 "whitespace normalization": r"""
2606 If the whitespace normalization flag is used, then
2607 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002608 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002609 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2610 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2611 27, 28, 29]
2612 """,
2613 }
Tim Peters8485b562004-08-04 18:46:34 +00002614
R. David Murray445448c2009-12-20 17:28:31 +00002615
Tim Peters8a7d2d52001-01-16 07:10:57 +00002616def _test():
Guido van Rossumd8faa362007-04-27 19:54:29 +00002617 testfiles = [arg for arg in sys.argv[1:] if arg and arg[0] != '-']
R. David Murray445448c2009-12-20 17:28:31 +00002618 if not testfiles:
2619 name = os.path.basename(sys.argv[0])
R. David Murray0f72d6c2009-12-21 12:50:02 +00002620 if '__loader__' in globals(): # python -m
R. David Murray445448c2009-12-20 17:28:31 +00002621 name, _ = os.path.splitext(name)
2622 print("usage: {0} [-v] file ...".format(name))
2623 return 2
2624 for filename in testfiles:
2625 if filename.endswith(".py"):
2626 # It is a module -- insert its dir into sys.path and try to
2627 # import it. If it is part of a package, that possibly
2628 # won't work because of package imports.
2629 dirname, filename = os.path.split(filename)
2630 sys.path.insert(0, dirname)
2631 m = __import__(filename[:-3])
2632 del sys.path[0]
2633 failures, _ = testmod(m)
2634 else:
2635 failures, _ = testfile(filename, module_relative=False)
2636 if failures:
2637 return 1
Christian Heimes895627f2007-12-08 17:28:33 +00002638 return 0
Tim Peters8a7d2d52001-01-16 07:10:57 +00002639
R. David Murray445448c2009-12-20 17:28:31 +00002640
Tim Peters8a7d2d52001-01-16 07:10:57 +00002641if __name__ == "__main__":
Christian Heimes895627f2007-12-08 17:28:33 +00002642 sys.exit(_test())