blob: 49e2fe6f023288f9ce35cb5568e7e0ddd28caba8 [file] [log] [blame]
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001# Module doctest.
Tim Peters8485b562004-08-04 18:46:34 +00002# Released to the public domain 16-Jan-2001, by Tim Peters (tim@python.org).
Tim Peters19397e52004-08-06 22:02:59 +00003# Major enhancements and refactoring by:
Tim Peters8485b562004-08-04 18:46:34 +00004# Jim Fulton
5# Edward Loper
Tim Peters8a7d2d52001-01-16 07:10:57 +00006
7# Provided as-is; use at your own risk; no warranty; no promises; enjoy!
8
Martin v. Löwis92816de2004-05-31 19:01:00 +00009r"""Module doctest -- a framework for running examples in docstrings.
Tim Peters8a7d2d52001-01-16 07:10:57 +000010
Tim Peters80e53142004-08-09 04:34:45 +000011In simplest use, end each module M to be tested with:
Tim Peters8a7d2d52001-01-16 07:10:57 +000012
13def _test():
Tim Peters80e53142004-08-09 04:34:45 +000014 import doctest
Tim Peters48983fc2004-09-25 02:41:28 +000015 doctest.testmod()
Tim Peters8a7d2d52001-01-16 07:10:57 +000016
17if __name__ == "__main__":
18 _test()
19
20Then running the module as a script will cause the examples in the
21docstrings to get executed and verified:
22
23python M.py
24
25This won't display anything unless an example fails, in which case the
26failing example(s) and the cause(s) of the failure(s) are printed to stdout
27(why not stderr? because stderr is a lame hack <0.2 wink>), and the final
28line of output is "Test failed.".
29
30Run it with the -v switch instead:
31
32python M.py -v
33
34and a detailed report of all examples tried is printed to stdout, along
35with assorted summaries at the end.
36
Tim Peters80e53142004-08-09 04:34:45 +000037You can force verbose mode by passing "verbose=True" to testmod, or prohibit
38it by passing "verbose=False". In either of those cases, sys.argv is not
Tim Peters8a7d2d52001-01-16 07:10:57 +000039examined by testmod.
40
Tim Peters80e53142004-08-09 04:34:45 +000041There are a variety of other ways to run doctests, including integration
42with the unittest framework, and support for running non-Python text
43files containing doctests. There are also many ways to override parts
44of doctest's default behaviors. See the Library Reference Manual for
45details.
Tim Peters8a7d2d52001-01-16 07:10:57 +000046"""
Tim Peters48983fc2004-09-25 02:41:28 +000047
Edward Loper8e4a34b2004-08-12 02:34:27 +000048__docformat__ = 'reStructuredText en'
Tim Peters8a7d2d52001-01-16 07:10:57 +000049
Tim Peters4fd9e2f2001-08-18 00:05:50 +000050__all__ = [
Edward Loperb7503ff2004-08-19 19:19:03 +000051 # 0, Option Flags
52 'register_optionflag',
53 'DONT_ACCEPT_TRUE_FOR_1',
54 'DONT_ACCEPT_BLANKLINE',
55 'NORMALIZE_WHITESPACE',
56 'ELLIPSIS',
Thomas Wouters477c8d52006-05-27 19:21:47 +000057 'SKIP',
Tim Peters1fbf9c52004-09-04 17:21:02 +000058 'IGNORE_EXCEPTION_DETAIL',
Tim Petersba601962004-09-04 15:04:06 +000059 'COMPARISON_FLAGS',
Edward Loper71f55af2004-08-26 01:41:51 +000060 'REPORT_UDIFF',
61 'REPORT_CDIFF',
62 'REPORT_NDIFF',
Jim Fultonf54bad42004-08-28 14:57:56 +000063 'REPORT_ONLY_FIRST_FAILURE',
Tim Petersba601962004-09-04 15:04:06 +000064 'REPORTING_FLAGS',
Edward Loperb7503ff2004-08-19 19:19:03 +000065 # 1. Utility Functions
Edward Loperb7503ff2004-08-19 19:19:03 +000066 # 2. Example & DocTest
Tim Peters8485b562004-08-04 18:46:34 +000067 'Example',
68 'DocTest',
Edward Loperb7503ff2004-08-19 19:19:03 +000069 # 3. Doctest Parser
70 'DocTestParser',
71 # 4. Doctest Finder
Tim Peters8485b562004-08-04 18:46:34 +000072 'DocTestFinder',
Edward Loperb7503ff2004-08-19 19:19:03 +000073 # 5. Doctest Runner
Tim Peters8485b562004-08-04 18:46:34 +000074 'DocTestRunner',
Edward Loperb7503ff2004-08-19 19:19:03 +000075 'OutputChecker',
76 'DocTestFailure',
77 'UnexpectedException',
78 'DebugRunner',
79 # 6. Test Functions
Tim Peters4fd9e2f2001-08-18 00:05:50 +000080 'testmod',
Edward Loper052d0cd2004-09-19 17:19:33 +000081 'testfile',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000082 'run_docstring_examples',
Edward Loperb7503ff2004-08-19 19:19:03 +000083 # 7. Tester
Tim Peters4fd9e2f2001-08-18 00:05:50 +000084 'Tester',
Edward Loperb7503ff2004-08-19 19:19:03 +000085 # 8. Unittest Support
Tim Petersdb3756d2003-06-29 05:30:48 +000086 'DocTestSuite',
Edward Loperb7503ff2004-08-19 19:19:03 +000087 'DocFileSuite',
Tim Peters9d02a7c2004-09-26 01:50:24 +000088 'set_unittest_reportflags',
Edward Loperb7503ff2004-08-19 19:19:03 +000089 # 9. Debugging Support
90 'script_from_examples',
Tim Petersdb3756d2003-06-29 05:30:48 +000091 'testsource',
Edward Loperb7503ff2004-08-19 19:19:03 +000092 'debug_src',
Tim Petersdb3756d2003-06-29 05:30:48 +000093 'debug',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000094]
Tim Peters8a7d2d52001-01-16 07:10:57 +000095
Tim Peters4fd9e2f2001-08-18 00:05:50 +000096import __future__
Tim Peters8a7d2d52001-01-16 07:10:57 +000097
Thomas Wouters0e3f5912006-08-11 14:57:12 +000098import sys, traceback, inspect, linecache, os, re
Jim Fulton356fd192004-08-09 11:34:47 +000099import unittest, difflib, pdb, tempfile
Tim Petersf727c6c2004-08-08 01:48:59 +0000100import warnings
Guido van Rossum34d19282007-08-09 01:03:29 +0000101from io import StringIO
Christian Heimes25bb7832008-01-11 16:17:00 +0000102from collections import namedtuple
103
104TestResults = namedtuple('TestResults', 'failed attempted')
Tim Peters7402f792001-10-02 03:53:41 +0000105
Tim Peters19397e52004-08-06 22:02:59 +0000106# There are 4 basic classes:
107# - Example: a <source, want> pair, plus an intra-docstring line number.
108# - DocTest: a collection of examples, parsed from a docstring, plus
109# info about where the docstring came from (name, filename, lineno).
110# - DocTestFinder: extracts DocTests from a given object's docstring and
111# its contained objects' docstrings.
112# - DocTestRunner: runs DocTest cases, and accumulates statistics.
113#
114# So the basic picture is:
115#
116# list of:
117# +------+ +---------+ +-------+
118# |object| --DocTestFinder-> | DocTest | --DocTestRunner-> |results|
119# +------+ +---------+ +-------+
120# | Example |
121# | ... |
122# | Example |
123# +---------+
124
Edward Loperac20f572004-08-12 02:02:24 +0000125# Option constants.
Tim Peters38330fe2004-08-30 16:19:24 +0000126
Edward Loperac20f572004-08-12 02:02:24 +0000127OPTIONFLAGS_BY_NAME = {}
128def register_optionflag(name):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000129 # Create a new flag unless `name` is already known.
130 return OPTIONFLAGS_BY_NAME.setdefault(name, 1 << len(OPTIONFLAGS_BY_NAME))
Edward Loperac20f572004-08-12 02:02:24 +0000131
132DONT_ACCEPT_TRUE_FOR_1 = register_optionflag('DONT_ACCEPT_TRUE_FOR_1')
133DONT_ACCEPT_BLANKLINE = register_optionflag('DONT_ACCEPT_BLANKLINE')
134NORMALIZE_WHITESPACE = register_optionflag('NORMALIZE_WHITESPACE')
135ELLIPSIS = register_optionflag('ELLIPSIS')
Thomas Wouters477c8d52006-05-27 19:21:47 +0000136SKIP = register_optionflag('SKIP')
Tim Peters1fbf9c52004-09-04 17:21:02 +0000137IGNORE_EXCEPTION_DETAIL = register_optionflag('IGNORE_EXCEPTION_DETAIL')
Tim Peters38330fe2004-08-30 16:19:24 +0000138
139COMPARISON_FLAGS = (DONT_ACCEPT_TRUE_FOR_1 |
140 DONT_ACCEPT_BLANKLINE |
141 NORMALIZE_WHITESPACE |
Tim Peters1fbf9c52004-09-04 17:21:02 +0000142 ELLIPSIS |
Thomas Wouters477c8d52006-05-27 19:21:47 +0000143 SKIP |
Edward Loper7d88a582004-09-28 05:50:57 +0000144 IGNORE_EXCEPTION_DETAIL)
Tim Peters38330fe2004-08-30 16:19:24 +0000145
Edward Loper71f55af2004-08-26 01:41:51 +0000146REPORT_UDIFF = register_optionflag('REPORT_UDIFF')
147REPORT_CDIFF = register_optionflag('REPORT_CDIFF')
148REPORT_NDIFF = register_optionflag('REPORT_NDIFF')
Edward Lopera89f88d2004-08-26 02:45:51 +0000149REPORT_ONLY_FIRST_FAILURE = register_optionflag('REPORT_ONLY_FIRST_FAILURE')
Edward Loperac20f572004-08-12 02:02:24 +0000150
Tim Peters38330fe2004-08-30 16:19:24 +0000151REPORTING_FLAGS = (REPORT_UDIFF |
152 REPORT_CDIFF |
153 REPORT_NDIFF |
154 REPORT_ONLY_FIRST_FAILURE)
155
Edward Loperac20f572004-08-12 02:02:24 +0000156# Special string markers for use in `want` strings:
157BLANKLINE_MARKER = '<BLANKLINE>'
158ELLIPSIS_MARKER = '...'
159
Tim Peters8485b562004-08-04 18:46:34 +0000160######################################################################
161## Table of Contents
162######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000163# 1. Utility Functions
164# 2. Example & DocTest -- store test cases
165# 3. DocTest Parser -- extracts examples from strings
166# 4. DocTest Finder -- extracts test cases from objects
167# 5. DocTest Runner -- runs test cases
168# 6. Test Functions -- convenient wrappers for testing
Georg Brandl31835852008-05-12 17:38:56 +0000169# 7. Unittest Support
170# 8. Debugging Support
171# 9. Example Usage
Tim Peters8a7d2d52001-01-16 07:10:57 +0000172
Tim Peters8485b562004-08-04 18:46:34 +0000173######################################################################
174## 1. Utility Functions
175######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +0000176
Tim Peters8485b562004-08-04 18:46:34 +0000177def _extract_future_flags(globs):
178 """
179 Return the compiler-flags associated with the future features that
180 have been imported into the given namespace (globs).
181 """
182 flags = 0
183 for fname in __future__.all_feature_names:
184 feature = globs.get(fname, None)
185 if feature is getattr(__future__, fname):
186 flags |= feature.compiler_flag
187 return flags
Tim Peters7402f792001-10-02 03:53:41 +0000188
Tim Peters8485b562004-08-04 18:46:34 +0000189def _normalize_module(module, depth=2):
190 """
191 Return the module specified by `module`. In particular:
192 - If `module` is a module, then return module.
193 - If `module` is a string, then import and return the
194 module with that name.
195 - If `module` is None, then return the calling module.
196 The calling module is assumed to be the module of
197 the stack frame at the given depth in the call stack.
198 """
199 if inspect.ismodule(module):
200 return module
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000201 elif isinstance(module, str):
Tim Peters8485b562004-08-04 18:46:34 +0000202 return __import__(module, globals(), locals(), ["*"])
203 elif module is None:
204 return sys.modules[sys._getframe(depth).f_globals['__name__']]
205 else:
206 raise TypeError("Expected a module, string, or None")
Tim Peters7402f792001-10-02 03:53:41 +0000207
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000208def _load_testfile(filename, package, module_relative, encoding):
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000209 if module_relative:
210 package = _normalize_module(package, 3)
211 filename = _module_relative_path(package, filename)
212 if hasattr(package, '__loader__'):
213 if hasattr(package.__loader__, 'get_data'):
Guido van Rossumcd4d4522007-11-22 00:30:02 +0000214 file_contents = package.__loader__.get_data(filename)
215 file_contents = file_contents.decode(encoding)
216 # get_data() opens files as 'rb', so one must do the equivalent
217 # conversion as universal newlines would do.
218 return file_contents.replace(os.linesep, '\n'), filename
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000219 return open(filename, encoding=encoding).read(), filename
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000220
Edward Loperaacf0832004-08-26 01:19:50 +0000221def _indent(s, indent=4):
Tim Peters8485b562004-08-04 18:46:34 +0000222 """
Edward Loperaacf0832004-08-26 01:19:50 +0000223 Add the given number of space characters to the beginning every
224 non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000225 """
Edward Loperaacf0832004-08-26 01:19:50 +0000226 # This regexp matches the start of non-blank lines:
227 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000228
Edward Loper8e4a34b2004-08-12 02:34:27 +0000229def _exception_traceback(exc_info):
230 """
231 Return a string containing a traceback message for the given
232 exc_info tuple (as returned by sys.exc_info()).
233 """
234 # Get a traceback message.
235 excout = StringIO()
236 exc_type, exc_val, exc_tb = exc_info
237 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
238 return excout.getvalue()
239
Tim Peters8485b562004-08-04 18:46:34 +0000240# Override some StringIO methods.
241class _SpoofOut(StringIO):
242 def getvalue(self):
243 result = StringIO.getvalue(self)
244 # If anything at all was written, make sure there's a trailing
245 # newline. There's no way for the expected output to indicate
246 # that a trailing newline is missing.
247 if result and not result.endswith("\n"):
248 result += "\n"
Tim Peters8485b562004-08-04 18:46:34 +0000249 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000250
Guido van Rossum79139b22007-02-09 23:20:19 +0000251 def truncate(self, size=None):
Tim Peters8485b562004-08-04 18:46:34 +0000252 StringIO.truncate(self, size)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000253
Tim Peters26b3ebb2004-08-19 08:10:08 +0000254# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000255def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000256 """
257 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000258 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000259 False
260 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000261 if ELLIPSIS_MARKER not in want:
262 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000263
Tim Peters26b3ebb2004-08-19 08:10:08 +0000264 # Find "the real" strings.
265 ws = want.split(ELLIPSIS_MARKER)
266 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000267
Tim Petersdc5de3b2004-08-19 14:06:20 +0000268 # Deal with exact matches possibly needed at one or both ends.
269 startpos, endpos = 0, len(got)
270 w = ws[0]
271 if w: # starts with exact match
272 if got.startswith(w):
273 startpos = len(w)
274 del ws[0]
275 else:
276 return False
277 w = ws[-1]
278 if w: # ends with exact match
279 if got.endswith(w):
280 endpos -= len(w)
281 del ws[-1]
282 else:
283 return False
284
285 if startpos > endpos:
286 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000287 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000288 return False
289
290 # For the rest, we only need to find the leftmost non-overlapping
291 # match for each piece. If there's no overall match that way alone,
292 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000293 for w in ws:
294 # w may be '' at times, if there are consecutive ellipses, or
295 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000296 # Search for an empty string succeeds, and doesn't change startpos.
297 startpos = got.find(w, startpos, endpos)
298 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000299 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000300 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000301
Tim Petersdc5de3b2004-08-19 14:06:20 +0000302 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000303
Edward Loper00f8da72004-08-26 18:05:07 +0000304def _comment_line(line):
305 "Return a commented form of the given line"
306 line = line.rstrip()
307 if line:
308 return '# '+line
309 else:
310 return '#'
311
Edward Loper2de91ba2004-08-27 02:07:46 +0000312class _OutputRedirectingPdb(pdb.Pdb):
313 """
314 A specialized version of the python debugger that redirects stdout
315 to a given stream when interacting with the user. Stdout is *not*
316 redirected when traced code is executed.
317 """
318 def __init__(self, out):
319 self.__out = out
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000320 self.__debugger_used = False
Thomas Wouters477c8d52006-05-27 19:21:47 +0000321 pdb.Pdb.__init__(self, stdout=out)
Edward Loper2de91ba2004-08-27 02:07:46 +0000322
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000323 def set_trace(self, frame=None):
324 self.__debugger_used = True
325 if frame is None:
326 frame = sys._getframe().f_back
327 pdb.Pdb.set_trace(self, frame)
328
329 def set_continue(self):
330 # Calling set_continue unconditionally would break unit test
331 # coverage reporting, as Bdb.set_continue calls sys.settrace(None).
332 if self.__debugger_used:
333 pdb.Pdb.set_continue(self)
334
Edward Loper2de91ba2004-08-27 02:07:46 +0000335 def trace_dispatch(self, *args):
336 # Redirect stdout to the given stream.
337 save_stdout = sys.stdout
338 sys.stdout = self.__out
339 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000340 try:
341 return pdb.Pdb.trace_dispatch(self, *args)
342 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000343 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000344
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000345# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000346def _module_relative_path(module, path):
347 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000348 raise TypeError('Expected a module: %r' % module)
Edward Loper052d0cd2004-09-19 17:19:33 +0000349 if path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000350 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000351
352 # Find the base directory for the path.
353 if hasattr(module, '__file__'):
354 # A normal module/package
355 basedir = os.path.split(module.__file__)[0]
356 elif module.__name__ == '__main__':
357 # An interactive session.
358 if len(sys.argv)>0 and sys.argv[0] != '':
359 basedir = os.path.split(sys.argv[0])[0]
360 else:
361 basedir = os.curdir
362 else:
363 # A module w/o __file__ (this includes builtins)
364 raise ValueError("Can't resolve paths relative to the module " +
365 module + " (it has no __file__)")
366
367 # Combine the base directory and the path.
368 return os.path.join(basedir, *(path.split('/')))
369
Tim Peters8485b562004-08-04 18:46:34 +0000370######################################################################
371## 2. Example & DocTest
372######################################################################
373## - An "example" is a <source, want> pair, where "source" is a
374## fragment of source code, and "want" is the expected output for
375## "source." The Example class also includes information about
376## where the example was extracted from.
377##
Edward Lopera1ef6112004-08-09 16:14:41 +0000378## - A "doctest" is a collection of examples, typically extracted from
379## a string (such as an object's docstring). The DocTest class also
380## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000381
Tim Peters8485b562004-08-04 18:46:34 +0000382class Example:
383 """
384 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000385 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000386
Edward Loper74bca7a2004-08-12 02:27:44 +0000387 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000388 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000389
Edward Loper74bca7a2004-08-12 02:27:44 +0000390 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000391 from stdout, or a traceback in case of exception). `want` ends
392 with a newline unless it's empty, in which case it's an empty
393 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000394
Edward Lopera6b68322004-08-26 00:05:43 +0000395 - exc_msg: The exception message generated by the example, if
396 the example is expected to generate an exception; or `None` if
397 it is not expected to generate an exception. This exception
398 message is compared against the return value of
399 `traceback.format_exception_only()`. `exc_msg` ends with a
400 newline unless it's `None`. The constructor adds a newline
401 if needed.
402
Edward Loper74bca7a2004-08-12 02:27:44 +0000403 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000404 this Example where the Example begins. This line number is
405 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000406
407 - indent: The example's indentation in the DocTest string.
408 I.e., the number of space characters that preceed the
409 example's first prompt.
410
411 - options: A dictionary mapping from option flags to True or
412 False, which is used to override default options for this
413 example. Any option flags not contained in this dictionary
414 are left at their default value (as specified by the
415 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000416 """
Edward Lopera6b68322004-08-26 00:05:43 +0000417 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
418 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000419 # Normalize inputs.
420 if not source.endswith('\n'):
421 source += '\n'
422 if want and not want.endswith('\n'):
423 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000424 if exc_msg is not None and not exc_msg.endswith('\n'):
425 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000426 # Store properties.
427 self.source = source
428 self.want = want
429 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000430 self.indent = indent
431 if options is None: options = {}
432 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000433 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000434
Tim Peters8485b562004-08-04 18:46:34 +0000435class DocTest:
436 """
437 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000438 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000439
Tim Peters8485b562004-08-04 18:46:34 +0000440 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000441
Tim Peters8485b562004-08-04 18:46:34 +0000442 - globs: The namespace (aka globals) that the examples should
443 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000444
Tim Peters8485b562004-08-04 18:46:34 +0000445 - name: A name identifying the DocTest (typically, the name of
446 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000447
Tim Peters8485b562004-08-04 18:46:34 +0000448 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000449 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000450
Tim Peters8485b562004-08-04 18:46:34 +0000451 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000452 begins, or `None` if the line number is unavailable. This
453 line number is zero-based, with respect to the beginning of
454 the file.
455
456 - docstring: The string that the examples were extracted from,
457 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000458 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000459 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000460 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000461 Create a new DocTest containing the given examples. The
462 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000463 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000464 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000465 "DocTest no longer accepts str; use DocTestParser instead"
466 self.examples = examples
467 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000468 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000469 self.name = name
470 self.filename = filename
471 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000472
473 def __repr__(self):
474 if len(self.examples) == 0:
475 examples = 'no examples'
476 elif len(self.examples) == 1:
477 examples = '1 example'
478 else:
479 examples = '%d examples' % len(self.examples)
480 return ('<DocTest %s from %s:%s (%s)>' %
481 (self.name, self.filename, self.lineno, examples))
482
483
484 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000485 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000486 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000487 return NotImplemented
488 return ((self.name, self.filename, self.lineno, id(self))
489 <
490 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000491
492######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000493## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000494######################################################################
495
Edward Lopera1ef6112004-08-09 16:14:41 +0000496class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000497 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000498 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000499 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000500 # This regular expression is used to find doctest examples in a
501 # string. It defines three groups: `source` is the source code
502 # (including leading indentation and prompts); `indent` is the
503 # indentation of the first (PS1) line of the source code; and
504 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000505 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000506 # Source consists of a PS1 line followed by zero or more PS2 lines.
507 (?P<source>
508 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
509 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
510 \n?
511 # Want consists of any non-blank lines that do not start with PS1.
512 (?P<want> (?:(?![ ]*$) # Not a blank line
513 (?![ ]*>>>) # Not a line starting with PS1
514 .*$\n? # But any other line
515 )*)
516 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000517
Edward Lopera6b68322004-08-26 00:05:43 +0000518 # A regular expression for handling `want` strings that contain
519 # expected exceptions. It divides `want` into three pieces:
520 # - the traceback header line (`hdr`)
521 # - the traceback stack (`stack`)
522 # - the exception message (`msg`), as generated by
523 # traceback.format_exception_only()
524 # `msg` may have multiple lines. We assume/require that the
525 # exception message is the first non-indented line starting with a word
526 # character following the traceback header line.
527 _EXCEPTION_RE = re.compile(r"""
528 # Grab the traceback header. Different versions of Python have
529 # said different things on the first traceback line.
530 ^(?P<hdr> Traceback\ \(
531 (?: most\ recent\ call\ last
532 | innermost\ last
533 ) \) :
534 )
535 \s* $ # toss trailing whitespace on the header.
536 (?P<stack> .*?) # don't blink: absorb stuff until...
537 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
538 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
539
Tim Peters7ea48dd2004-08-13 01:52:59 +0000540 # A callable returning a true value iff its argument is a blank line
541 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000542 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000543
Edward Loper00f8da72004-08-26 18:05:07 +0000544 def parse(self, string, name='<string>'):
545 """
546 Divide the given string into examples and intervening text,
547 and return them as a list of alternating Examples and strings.
548 Line numbers for the Examples are 0-based. The optional
549 argument `name` is a name identifying this string, and is only
550 used for error messages.
551 """
552 string = string.expandtabs()
553 # If all lines begin with the same indentation, then strip it.
554 min_indent = self._min_indent(string)
555 if min_indent > 0:
556 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
557
558 output = []
559 charno, lineno = 0, 0
560 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000561 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000562 # Add the pre-example text to `output`.
563 output.append(string[charno:m.start()])
564 # Update lineno (lines before this example)
565 lineno += string.count('\n', charno, m.start())
566 # Extract info from the regexp match.
567 (source, options, want, exc_msg) = \
568 self._parse_example(m, name, lineno)
569 # Create an Example, and add it to the list.
570 if not self._IS_BLANK_OR_COMMENT(source):
571 output.append( Example(source, want, exc_msg,
572 lineno=lineno,
573 indent=min_indent+len(m.group('indent')),
574 options=options) )
575 # Update lineno (lines inside this example)
576 lineno += string.count('\n', m.start(), m.end())
577 # Update charno.
578 charno = m.end()
579 # Add any remaining post-example text to `output`.
580 output.append(string[charno:])
581 return output
582
Edward Lopera1ef6112004-08-09 16:14:41 +0000583 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000584 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000585 Extract all doctest examples from the given string, and
586 collect them into a `DocTest` object.
587
588 `globs`, `name`, `filename`, and `lineno` are attributes for
589 the new `DocTest` object. See the documentation for `DocTest`
590 for more information.
591 """
592 return DocTest(self.get_examples(string, name), globs,
593 name, filename, lineno, string)
594
595 def get_examples(self, string, name='<string>'):
596 """
597 Extract all doctest examples from the given string, and return
598 them as a list of `Example` objects. Line numbers are
599 0-based, because it's most common in doctests that nothing
600 interesting appears on the same line as opening triple-quote,
601 and so the first interesting line is called \"line 1\" then.
602
603 The optional argument `name` is a name identifying this
604 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000605 """
Edward Loper00f8da72004-08-26 18:05:07 +0000606 return [x for x in self.parse(string, name)
607 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000608
Edward Loper74bca7a2004-08-12 02:27:44 +0000609 def _parse_example(self, m, name, lineno):
610 """
611 Given a regular expression match from `_EXAMPLE_RE` (`m`),
612 return a pair `(source, want)`, where `source` is the matched
613 example's source code (with prompts and indentation stripped);
614 and `want` is the example's expected output (with indentation
615 stripped).
616
617 `name` is the string's name, and `lineno` is the line number
618 where the example starts; both are used for error messages.
619 """
Edward Loper7c748462004-08-09 02:06:06 +0000620 # Get the example's indentation level.
621 indent = len(m.group('indent'))
622
623 # Divide source into lines; check that they're properly
624 # indented; and then strip their indentation & prompts.
625 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000626 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000627 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000628 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000629
Tim Petersc5049152004-08-22 17:34:58 +0000630 # Divide want into lines; check that it's properly indented; and
631 # then strip the indentation. Spaces before the last newline should
632 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000633 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000634 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000635 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
636 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000637 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000638 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000639 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000640
Edward Lopera6b68322004-08-26 00:05:43 +0000641 # If `want` contains a traceback message, then extract it.
642 m = self._EXCEPTION_RE.match(want)
643 if m:
644 exc_msg = m.group('msg')
645 else:
646 exc_msg = None
647
Edward Loper00f8da72004-08-26 18:05:07 +0000648 # Extract options from the source.
649 options = self._find_options(source, name, lineno)
650
651 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000652
Edward Loper74bca7a2004-08-12 02:27:44 +0000653 # This regular expression looks for option directives in the
654 # source code of an example. Option directives are comments
655 # starting with "doctest:". Warning: this may give false
656 # positives for string-literals that contain the string
657 # "#doctest:". Eliminating these false positives would require
658 # actually parsing the string; but we limit them by ignoring any
659 # line containing "#doctest:" that is *followed* by a quote mark.
660 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
661 re.MULTILINE)
662
663 def _find_options(self, source, name, lineno):
664 """
665 Return a dictionary containing option overrides extracted from
666 option directives in the given source string.
667
668 `name` is the string's name, and `lineno` is the line number
669 where the example starts; both are used for error messages.
670 """
671 options = {}
672 # (note: with the current regexp, this will match at most once:)
673 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
674 option_strings = m.group(1).replace(',', ' ').split()
675 for option in option_strings:
676 if (option[0] not in '+-' or
677 option[1:] not in OPTIONFLAGS_BY_NAME):
678 raise ValueError('line %r of the doctest for %s '
679 'has an invalid option: %r' %
680 (lineno+1, name, option))
681 flag = OPTIONFLAGS_BY_NAME[option[1:]]
682 options[flag] = (option[0] == '+')
683 if options and self._IS_BLANK_OR_COMMENT(source):
684 raise ValueError('line %r of the doctest for %s has an option '
685 'directive on a line with no example: %r' %
686 (lineno, name, source))
687 return options
688
Edward Lopera5db6002004-08-12 02:41:30 +0000689 # This regular expression finds the indentation of every non-blank
690 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000691 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000692
693 def _min_indent(self, s):
694 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000695 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
696 if len(indents) > 0:
697 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000698 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000699 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000700
Edward Lopera1ef6112004-08-09 16:14:41 +0000701 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000702 """
703 Given the lines of a source string (including prompts and
704 leading indentation), check to make sure that every prompt is
705 followed by a space character. If any line is not followed by
706 a space character, then raise ValueError.
707 """
Edward Loper7c748462004-08-09 02:06:06 +0000708 for i, line in enumerate(lines):
709 if len(line) >= indent+4 and line[indent+3] != ' ':
710 raise ValueError('line %r of the docstring for %s '
711 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000712 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000713 line[indent:indent+3], line))
714
Edward Lopera1ef6112004-08-09 16:14:41 +0000715 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000716 """
717 Check that every line in the given list starts with the given
718 prefix; if any line does not, then raise a ValueError.
719 """
Edward Loper7c748462004-08-09 02:06:06 +0000720 for i, line in enumerate(lines):
721 if line and not line.startswith(prefix):
722 raise ValueError('line %r of the docstring for %s has '
723 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000724 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000725
726
727######################################################################
728## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000729######################################################################
730
731class DocTestFinder:
732 """
733 A class used to extract the DocTests that are relevant to a given
734 object, from its docstring and the docstrings of its contained
735 objects. Doctests can currently be extracted from the following
736 object types: modules, functions, classes, methods, staticmethods,
737 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000738 """
739
Edward Lopera1ef6112004-08-09 16:14:41 +0000740 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000741 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000742 """
743 Create a new doctest finder.
744
Edward Lopera1ef6112004-08-09 16:14:41 +0000745 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000746 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000747 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000748 signature for this factory function should match the signature
749 of the DocTest constructor.
750
Tim Peters8485b562004-08-04 18:46:34 +0000751 If the optional argument `recurse` is false, then `find` will
752 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000753
Tim Peters958cc892004-09-13 14:53:28 +0000754 If the optional argument `exclude_empty` is false, then `find`
755 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000756 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000757 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000758 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000759 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000760 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000761
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000762 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000763 """
764 Return a list of the DocTests that are defined by the given
765 object's docstring, or by any of its contained objects'
766 docstrings.
767
768 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000769 the given object. If the module is not specified or is None, then
770 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000771 correct module. The object's module is used:
772
773 - As a default namespace, if `globs` is not specified.
774 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000775 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000776 - To find the name of the file containing the object.
777 - To help find the line number of the object within its
778 file.
779
Tim Petersf3f57472004-08-08 06:11:48 +0000780 Contained objects whose module does not match `module` are ignored.
781
782 If `module` is False, no attempt to find the module will be made.
783 This is obscure, of use mostly in tests: if `module` is False, or
784 is None but cannot be found automatically, then all objects are
785 considered to belong to the (non-existent) module, so all contained
786 objects will (recursively) be searched for doctests.
787
Tim Peters8485b562004-08-04 18:46:34 +0000788 The globals for each DocTest is formed by combining `globs`
789 and `extraglobs` (bindings in `extraglobs` override bindings
790 in `globs`). A new copy of the globals dictionary is created
791 for each DocTest. If `globs` is not specified, then it
792 defaults to the module's `__dict__`, if specified, or {}
793 otherwise. If `extraglobs` is not specified, then it defaults
794 to {}.
795
Tim Peters8485b562004-08-04 18:46:34 +0000796 """
797 # If name was not specified, then extract it from the object.
798 if name is None:
799 name = getattr(obj, '__name__', None)
800 if name is None:
801 raise ValueError("DocTestFinder.find: name must be given "
802 "when obj.__name__ doesn't exist: %r" %
803 (type(obj),))
804
805 # Find the module that contains the given object (if obj is
806 # a module, then module=obj.). Note: this may fail, in which
807 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000808 if module is False:
809 module = None
810 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000811 module = inspect.getmodule(obj)
812
813 # Read the module's source code. This is used by
814 # DocTestFinder._find_lineno to find the line number for a
815 # given object's docstring.
816 try:
817 file = inspect.getsourcefile(obj) or inspect.getfile(obj)
818 source_lines = linecache.getlines(file)
819 if not source_lines:
820 source_lines = None
821 except TypeError:
822 source_lines = None
823
824 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000825 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000826 if module is None:
827 globs = {}
828 else:
829 globs = module.__dict__.copy()
830 else:
831 globs = globs.copy()
832 if extraglobs is not None:
833 globs.update(extraglobs)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000834
Tim Peters8485b562004-08-04 18:46:34 +0000835 # Recursively expore `obj`, extracting DocTests.
836 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000837 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000838 # Sort the tests by alpha order of names, for consistency in
839 # verbose-mode output. This was a feature of doctest in Pythons
840 # <= 2.3 that got lost by accident in 2.4. It was repaired in
841 # 2.4.4 and 2.5.
842 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000843 return tests
844
Tim Peters8485b562004-08-04 18:46:34 +0000845 def _from_module(self, module, object):
846 """
847 Return true if the given object is defined in the given
848 module.
849 """
850 if module is None:
851 return True
852 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000853 return module.__dict__ is object.__globals__
Tim Peters8485b562004-08-04 18:46:34 +0000854 elif inspect.isclass(object):
855 return module.__name__ == object.__module__
856 elif inspect.getmodule(object) is not None:
857 return module is inspect.getmodule(object)
858 elif hasattr(object, '__module__'):
859 return module.__name__ == object.__module__
860 elif isinstance(object, property):
861 return True # [XX] no way not be sure.
862 else:
863 raise ValueError("object must be a class or function")
864
Tim Petersf3f57472004-08-08 06:11:48 +0000865 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000866 """
867 Find tests for the given object and any contained objects, and
868 add them to `tests`.
869 """
870 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000871 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000872
873 # If we've already processed this object, then ignore it.
874 if id(obj) in seen:
875 return
876 seen[id(obj)] = 1
877
878 # Find a test for this object, and add it to the list of tests.
879 test = self._get_test(obj, name, module, globs, source_lines)
880 if test is not None:
881 tests.append(test)
882
883 # Look for tests in a module's contained objects.
884 if inspect.ismodule(obj) and self._recurse:
885 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000886 valname = '%s.%s' % (name, valname)
887 # Recurse to functions & classes.
888 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000889 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000890 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000891 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000892
893 # Look for tests in a module's __test__ dictionary.
894 if inspect.ismodule(obj) and self._recurse:
895 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000896 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +0000897 raise ValueError("DocTestFinder.find: __test__ keys "
898 "must be strings: %r" %
899 (type(valname),))
900 if not (inspect.isfunction(val) or inspect.isclass(val) or
901 inspect.ismethod(val) or inspect.ismodule(val) or
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000902 isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +0000903 raise ValueError("DocTestFinder.find: __test__ values "
904 "must be strings, functions, methods, "
905 "classes, or modules: %r" %
906 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000907 valname = '%s.__test__.%s' % (name, valname)
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 class's contained objects.
912 if inspect.isclass(obj) and self._recurse:
913 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +0000914 # Special handling for staticmethod/classmethod.
915 if isinstance(val, staticmethod):
916 val = getattr(obj, valname)
917 if isinstance(val, classmethod):
Christian Heimesff737952007-11-27 10:40:20 +0000918 val = getattr(obj, valname).__func__
Tim Peters8485b562004-08-04 18:46:34 +0000919
920 # Recurse to methods, properties, and nested classes.
921 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000922 isinstance(val, property)) and
923 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000924 valname = '%s.%s' % (name, valname)
925 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000926 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000927
928 def _get_test(self, obj, name, module, globs, source_lines):
929 """
930 Return a DocTest for the given object, if it defines a docstring;
931 otherwise, return None.
932 """
933 # Extract the object's docstring. If it doesn't have one,
934 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000935 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +0000936 docstring = obj
937 else:
938 try:
939 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000940 docstring = ''
941 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000942 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000943 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +0000944 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000945 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000946 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000947
948 # Find the docstring's location in the file.
949 lineno = self._find_lineno(obj, source_lines)
950
Edward Loper32ddbf72004-09-13 05:47:24 +0000951 # Don't bother if the docstring is empty.
952 if self._exclude_empty and not docstring:
953 return None
954
Tim Peters8485b562004-08-04 18:46:34 +0000955 # Return a DocTest for this object.
956 if module is None:
957 filename = None
958 else:
959 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000960 if filename[-4:] in (".pyc", ".pyo"):
961 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000962 return self._parser.get_doctest(docstring, globs, name,
963 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000964
965 def _find_lineno(self, obj, source_lines):
966 """
967 Return a line number of the given object's docstring. Note:
968 this method assumes that the object has a docstring.
969 """
970 lineno = None
971
972 # Find the line number for modules.
973 if inspect.ismodule(obj):
974 lineno = 0
975
976 # Find the line number for classes.
977 # Note: this could be fooled if a class is defined multiple
978 # times in a single file.
979 if inspect.isclass(obj):
980 if source_lines is None:
981 return None
982 pat = re.compile(r'^\s*class\s*%s\b' %
983 getattr(obj, '__name__', '-'))
984 for i, line in enumerate(source_lines):
985 if pat.match(line):
986 lineno = i
987 break
988
989 # Find the line number for functions & methods.
Christian Heimesff737952007-11-27 10:40:20 +0000990 if inspect.ismethod(obj): obj = obj.__func__
Neal Norwitz221085d2007-02-25 20:55:47 +0000991 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +0000992 if inspect.istraceback(obj): obj = obj.tb_frame
993 if inspect.isframe(obj): obj = obj.f_code
994 if inspect.iscode(obj):
995 lineno = getattr(obj, 'co_firstlineno', None)-1
996
997 # Find the line number where the docstring starts. Assume
998 # that it's the first line that begins with a quote mark.
999 # Note: this could be fooled by a multiline function
1000 # signature, where a continuation line begins with a quote
1001 # mark.
1002 if lineno is not None:
1003 if source_lines is None:
1004 return lineno+1
1005 pat = re.compile('(^|.*:)\s*\w*("|\')')
1006 for lineno in range(lineno, len(source_lines)):
1007 if pat.match(source_lines[lineno]):
1008 return lineno
1009
1010 # We couldn't find the line number.
1011 return None
1012
1013######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001014## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001015######################################################################
1016
Tim Peters8485b562004-08-04 18:46:34 +00001017class DocTestRunner:
1018 """
1019 A class used to run DocTest test cases, and accumulate statistics.
1020 The `run` method is used to process a single DocTest case. It
1021 returns a tuple `(f, t)`, where `t` is the number of test cases
1022 tried, and `f` is the number of test cases that failed.
1023
1024 >>> tests = DocTestFinder().find(_TestClass)
1025 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001026 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001027 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001028 ... print(test.name, '->', runner.run(test))
Christian Heimes25bb7832008-01-11 16:17:00 +00001029 _TestClass -> TestResults(failed=0, attempted=2)
1030 _TestClass.__init__ -> TestResults(failed=0, attempted=2)
1031 _TestClass.get -> TestResults(failed=0, attempted=2)
1032 _TestClass.square -> TestResults(failed=0, attempted=1)
Tim Peters8485b562004-08-04 18:46:34 +00001033
1034 The `summarize` method prints a summary of all the test cases that
1035 have been run by the runner, and returns an aggregated `(f, t)`
1036 tuple:
1037
1038 >>> runner.summarize(verbose=1)
1039 4 items passed all tests:
1040 2 tests in _TestClass
1041 2 tests in _TestClass.__init__
1042 2 tests in _TestClass.get
1043 1 tests in _TestClass.square
1044 7 tests in 4 items.
1045 7 passed and 0 failed.
1046 Test passed.
Christian Heimes25bb7832008-01-11 16:17:00 +00001047 TestResults(failed=0, attempted=7)
Tim Peters8485b562004-08-04 18:46:34 +00001048
1049 The aggregated number of tried examples and failed examples is
1050 also available via the `tries` and `failures` attributes:
1051
1052 >>> runner.tries
1053 7
1054 >>> runner.failures
1055 0
1056
1057 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001058 by an `OutputChecker`. This comparison may be customized with a
1059 number of option flags; see the documentation for `testmod` for
1060 more information. If the option flags are insufficient, then the
1061 comparison may also be customized by passing a subclass of
1062 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001063
1064 The test runner's display output can be controlled in two ways.
1065 First, an output function (`out) can be passed to
1066 `TestRunner.run`; this function will be called with strings that
1067 should be displayed. It defaults to `sys.stdout.write`. If
1068 capturing the output is not sufficient, then the display output
1069 can be also customized by subclassing DocTestRunner, and
1070 overriding the methods `report_start`, `report_success`,
1071 `report_unexpected_exception`, and `report_failure`.
1072 """
1073 # This divider string is used to separate failure messages, and to
1074 # separate sections of the summary.
1075 DIVIDER = "*" * 70
1076
Edward Loper34fcb142004-08-09 02:45:41 +00001077 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001078 """
1079 Create a new test runner.
1080
Edward Loper34fcb142004-08-09 02:45:41 +00001081 Optional keyword arg `checker` is the `OutputChecker` that
1082 should be used to compare the expected outputs and actual
1083 outputs of doctest examples.
1084
Tim Peters8485b562004-08-04 18:46:34 +00001085 Optional keyword arg 'verbose' prints lots of stuff if true,
1086 only failures if false; by default, it's true iff '-v' is in
1087 sys.argv.
1088
1089 Optional argument `optionflags` can be used to control how the
1090 test runner compares expected output to actual output, and how
1091 it displays failures. See the documentation for `testmod` for
1092 more information.
1093 """
Edward Loper34fcb142004-08-09 02:45:41 +00001094 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001095 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001096 verbose = '-v' in sys.argv
1097 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001098 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001099 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001100
Tim Peters8485b562004-08-04 18:46:34 +00001101 # Keep track of the examples we've run.
1102 self.tries = 0
1103 self.failures = 0
1104 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001105
Tim Peters8485b562004-08-04 18:46:34 +00001106 # Create a fake output target for capturing doctest output.
1107 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001108
Tim Peters8485b562004-08-04 18:46:34 +00001109 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001110 # Reporting methods
1111 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001112
Tim Peters8485b562004-08-04 18:46:34 +00001113 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001114 """
Tim Peters8485b562004-08-04 18:46:34 +00001115 Report that the test runner is about to process the given
1116 example. (Only displays a message if verbose=True)
1117 """
1118 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001119 if example.want:
1120 out('Trying:\n' + _indent(example.source) +
1121 'Expecting:\n' + _indent(example.want))
1122 else:
1123 out('Trying:\n' + _indent(example.source) +
1124 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001125
Tim Peters8485b562004-08-04 18:46:34 +00001126 def report_success(self, out, test, example, got):
1127 """
1128 Report that the given example ran successfully. (Only
1129 displays a message if verbose=True)
1130 """
1131 if self._verbose:
1132 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001133
Tim Peters8485b562004-08-04 18:46:34 +00001134 def report_failure(self, out, test, example, got):
1135 """
1136 Report that the given example failed.
1137 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001138 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001139 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001140
Tim Peters8485b562004-08-04 18:46:34 +00001141 def report_unexpected_exception(self, out, test, example, exc_info):
1142 """
1143 Report that the given example raised an unexpected exception.
1144 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001145 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001146 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001147
Edward Loper8e4a34b2004-08-12 02:34:27 +00001148 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001149 out = [self.DIVIDER]
1150 if test.filename:
1151 if test.lineno is not None and example.lineno is not None:
1152 lineno = test.lineno + example.lineno + 1
1153 else:
1154 lineno = '?'
1155 out.append('File "%s", line %s, in %s' %
1156 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001157 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001158 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1159 out.append('Failed example:')
1160 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001161 out.append(_indent(source))
1162 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001163
Tim Peters8485b562004-08-04 18:46:34 +00001164 #/////////////////////////////////////////////////////////////////
1165 # DocTest Running
1166 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001167
Tim Peters8485b562004-08-04 18:46:34 +00001168 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001169 """
Tim Peters8485b562004-08-04 18:46:34 +00001170 Run the examples in `test`. Write the outcome of each example
1171 with one of the `DocTestRunner.report_*` methods, using the
1172 writer function `out`. `compileflags` is the set of compiler
1173 flags that should be used to execute examples. Return a tuple
1174 `(f, t)`, where `t` is the number of examples tried, and `f`
1175 is the number of examples that failed. The examples are run
1176 in the namespace `test.globs`.
1177 """
1178 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001179 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001180
1181 # Save the option flags (since option directives can be used
1182 # to modify them).
1183 original_optionflags = self.optionflags
1184
Tim Peters1fbf9c52004-09-04 17:21:02 +00001185 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1186
1187 check = self._checker.check_output
1188
Tim Peters8485b562004-08-04 18:46:34 +00001189 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001190 for examplenum, example in enumerate(test.examples):
1191
Edward Lopera89f88d2004-08-26 02:45:51 +00001192 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1193 # reporting after the first failure.
1194 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1195 failures > 0)
1196
Edward Loper74bca7a2004-08-12 02:27:44 +00001197 # Merge in the example's options.
1198 self.optionflags = original_optionflags
1199 if example.options:
1200 for (optionflag, val) in example.options.items():
1201 if val:
1202 self.optionflags |= optionflag
1203 else:
1204 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001205
Thomas Wouters477c8d52006-05-27 19:21:47 +00001206 # If 'SKIP' is set, then skip this example.
1207 if self.optionflags & SKIP:
1208 continue
1209
Tim Peters8485b562004-08-04 18:46:34 +00001210 # Record that we started this example.
1211 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001212 if not quiet:
1213 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001214
Edward Loper2de91ba2004-08-27 02:07:46 +00001215 # Use a special filename for compile(), so we can retrieve
1216 # the source code during interactive debugging (see
1217 # __patched_linecache_getlines).
1218 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1219
Tim Peters8485b562004-08-04 18:46:34 +00001220 # Run the example in the given context (globs), and record
1221 # any exception that gets raised. (But don't intercept
1222 # keyboard interrupts.)
1223 try:
Tim Peters208ca702004-08-09 04:12:36 +00001224 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001225 exec(compile(example.source, filename, "single",
1226 compileflags, 1), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001227 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001228 exception = None
1229 except KeyboardInterrupt:
1230 raise
1231 except:
1232 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001233 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001234
Tim Peters208ca702004-08-09 04:12:36 +00001235 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001236 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001237 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001238
1239 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001240 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001241 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001242 if check(example.want, got, self.optionflags):
1243 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001244
Tim Peters1fbf9c52004-09-04 17:21:02 +00001245 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001246 else:
1247 exc_info = sys.exc_info()
1248 exc_msg = traceback.format_exception_only(*exc_info[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001249 if not quiet:
1250 got += _exception_traceback(exc_info)
Tim Peters8485b562004-08-04 18:46:34 +00001251
Tim Peters1fbf9c52004-09-04 17:21:02 +00001252 # If `example.exc_msg` is None, then we weren't expecting
1253 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001254 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001255 outcome = BOOM
1256
1257 # We expected an exception: see whether it matches.
1258 elif check(example.exc_msg, exc_msg, self.optionflags):
1259 outcome = SUCCESS
1260
1261 # Another chance if they didn't care about the detail.
1262 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1263 m1 = re.match(r'[^:]*:', example.exc_msg)
1264 m2 = re.match(r'[^:]*:', exc_msg)
1265 if m1 and m2 and check(m1.group(0), m2.group(0),
1266 self.optionflags):
1267 outcome = SUCCESS
1268
1269 # Report the outcome.
1270 if outcome is SUCCESS:
1271 if not quiet:
1272 self.report_success(out, test, example, got)
1273 elif outcome is FAILURE:
1274 if not quiet:
1275 self.report_failure(out, test, example, got)
1276 failures += 1
1277 elif outcome is BOOM:
1278 if not quiet:
1279 self.report_unexpected_exception(out, test, example,
1280 exc_info)
1281 failures += 1
1282 else:
1283 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001284
1285 # Restore the option flags (in case they were modified)
1286 self.optionflags = original_optionflags
1287
1288 # Record and return the number of failures and tries.
1289 self.__record_outcome(test, failures, tries)
Christian Heimes25bb7832008-01-11 16:17:00 +00001290 return TestResults(failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001291
Tim Peters8485b562004-08-04 18:46:34 +00001292 def __record_outcome(self, test, f, t):
1293 """
1294 Record the fact that the given DocTest (`test`) generated `f`
1295 failures out of `t` tried examples.
1296 """
1297 f2, t2 = self._name2ft.get(test.name, (0,0))
1298 self._name2ft[test.name] = (f+f2, t+t2)
1299 self.failures += f
1300 self.tries += t
1301
Edward Loper2de91ba2004-08-27 02:07:46 +00001302 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1303 r'(?P<name>[\w\.]+)'
1304 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001305 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001306 m = self.__LINECACHE_FILENAME_RE.match(filename)
1307 if m and m.group('name') == self.test.name:
1308 example = self.test.examples[int(m.group('examplenum'))]
1309 return example.source.splitlines(True)
1310 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001311 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001312
Tim Peters8485b562004-08-04 18:46:34 +00001313 def run(self, test, compileflags=None, out=None, clear_globs=True):
1314 """
1315 Run the examples in `test`, and display the results using the
1316 writer function `out`.
1317
1318 The examples are run in the namespace `test.globs`. If
1319 `clear_globs` is true (the default), then this namespace will
1320 be cleared after the test runs, to help with garbage
1321 collection. If you would like to examine the namespace after
1322 the test completes, then use `clear_globs=False`.
1323
1324 `compileflags` gives the set of flags that should be used by
1325 the Python compiler when running the examples. If not
1326 specified, then it will default to the set of future-import
1327 flags that apply to `globs`.
1328
1329 The output of each example is checked using
1330 `DocTestRunner.check_output`, and the results are formatted by
1331 the `DocTestRunner.report_*` methods.
1332 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001333 self.test = test
1334
Tim Peters8485b562004-08-04 18:46:34 +00001335 if compileflags is None:
1336 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001337
Tim Peters6c542b72004-08-09 16:43:36 +00001338 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001339 if out is None:
Tim Peters6c542b72004-08-09 16:43:36 +00001340 out = save_stdout.write
1341 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001342
Edward Loper2de91ba2004-08-27 02:07:46 +00001343 # Patch pdb.set_trace to restore sys.stdout during interactive
1344 # debugging (so it's not still redirected to self._fakeout).
1345 # Note that the interactive output will go to *our*
1346 # save_stdout, even if that's not the real sys.stdout; this
1347 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001348 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001349 self.debugger = _OutputRedirectingPdb(save_stdout)
1350 self.debugger.reset()
1351 pdb.set_trace = self.debugger.set_trace
1352
1353 # Patch linecache.getlines, so we can see the example's source
1354 # when we're inside the debugger.
1355 self.save_linecache_getlines = linecache.getlines
1356 linecache.getlines = self.__patched_linecache_getlines
1357
Tim Peters8485b562004-08-04 18:46:34 +00001358 try:
Tim Peters8485b562004-08-04 18:46:34 +00001359 return self.__run(test, compileflags, out)
1360 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001361 sys.stdout = save_stdout
1362 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001363 linecache.getlines = self.save_linecache_getlines
Tim Peters8485b562004-08-04 18:46:34 +00001364 if clear_globs:
1365 test.globs.clear()
1366
1367 #/////////////////////////////////////////////////////////////////
1368 # Summarization
1369 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001370 def summarize(self, verbose=None):
1371 """
Tim Peters8485b562004-08-04 18:46:34 +00001372 Print a summary of all the test cases that have been run by
1373 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1374 the total number of failed examples, and `t` is the total
1375 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001376
Tim Peters8485b562004-08-04 18:46:34 +00001377 The optional `verbose` argument controls how detailed the
1378 summary is. If the verbosity is not specified, then the
1379 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001380 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001381 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001382 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001383 notests = []
1384 passed = []
1385 failed = []
1386 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001387 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001388 name, (f, t) = x
1389 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001390 totalt += t
1391 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001392 if t == 0:
1393 notests.append(name)
1394 elif f == 0:
1395 passed.append( (name, t) )
1396 else:
1397 failed.append(x)
1398 if verbose:
1399 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001400 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001401 notests.sort()
1402 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001403 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001404 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001405 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001406 passed.sort()
1407 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001408 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001409 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001410 print(self.DIVIDER)
1411 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001412 failed.sort()
1413 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001414 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001415 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001416 print(totalt, "tests in", len(self._name2ft), "items.")
1417 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001418 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001419 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001420 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001421 print("Test passed.")
Christian Heimes25bb7832008-01-11 16:17:00 +00001422 return TestResults(totalf, totalt)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001423
Tim Peters82076ef2004-09-13 00:52:51 +00001424 #/////////////////////////////////////////////////////////////////
1425 # Backward compatibility cruft to maintain doctest.master.
1426 #/////////////////////////////////////////////////////////////////
1427 def merge(self, other):
1428 d = self._name2ft
1429 for name, (f, t) in other._name2ft.items():
1430 if name in d:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001431 print("*** DocTestRunner.merge: '" + name + "' in both" \
1432 " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001433 f2, t2 = d[name]
1434 f = f + f2
1435 t = t + t2
1436 d[name] = f, t
1437
Edward Loper34fcb142004-08-09 02:45:41 +00001438class OutputChecker:
1439 """
1440 A class used to check the whether the actual output from a doctest
1441 example matches the expected output. `OutputChecker` defines two
1442 methods: `check_output`, which compares a given pair of outputs,
1443 and returns true if they match; and `output_difference`, which
1444 returns a string describing the differences between two outputs.
1445 """
1446 def check_output(self, want, got, optionflags):
1447 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001448 Return True iff the actual output from an example (`got`)
1449 matches the expected output (`want`). These strings are
1450 always considered to match if they are identical; but
1451 depending on what option flags the test runner is using,
1452 several non-exact match types are also possible. See the
1453 documentation for `TestRunner` for more information about
1454 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001455 """
1456 # Handle the common case first, for efficiency:
1457 # if they're string-identical, always return true.
1458 if got == want:
1459 return True
1460
1461 # The values True and False replaced 1 and 0 as the return
1462 # value for boolean comparisons in Python 2.3.
1463 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1464 if (got,want) == ("True\n", "1\n"):
1465 return True
1466 if (got,want) == ("False\n", "0\n"):
1467 return True
1468
1469 # <BLANKLINE> can be used as a special sequence to signify a
1470 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1471 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1472 # Replace <BLANKLINE> in want with a blank line.
1473 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1474 '', want)
1475 # If a line in got contains only spaces, then remove the
1476 # spaces.
1477 got = re.sub('(?m)^\s*?$', '', got)
1478 if got == want:
1479 return True
1480
1481 # This flag causes doctest to ignore any differences in the
1482 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001483 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001484 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001485 got = ' '.join(got.split())
1486 want = ' '.join(want.split())
1487 if got == want:
1488 return True
1489
1490 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001491 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001492 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001493 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001494 return True
1495
1496 # We didn't find any match; return false.
1497 return False
1498
Tim Petersc6cbab02004-08-22 19:43:28 +00001499 # Should we do a fancy diff?
1500 def _do_a_fancy_diff(self, want, got, optionflags):
1501 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001502 if not optionflags & (REPORT_UDIFF |
1503 REPORT_CDIFF |
1504 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001505 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001506
Tim Petersc6cbab02004-08-22 19:43:28 +00001507 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001508 # too hard ... or maybe not. In two real-life failures Tim saw,
1509 # a diff was a major help anyway, so this is commented out.
1510 # [todo] _ellipsis_match() knows which pieces do and don't match,
1511 # and could be the basis for a kick-ass diff in this case.
1512 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1513 ## return False
1514
Tim Petersc6cbab02004-08-22 19:43:28 +00001515 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001516 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001517 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001518 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001519
Tim Petersc6cbab02004-08-22 19:43:28 +00001520 # The other diff types need at least a few lines to be helpful.
1521 return want.count('\n') > 2 and got.count('\n') > 2
1522
Edward Loperca9111e2004-08-26 03:00:24 +00001523 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001524 """
1525 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001526 expected output for a given example (`example`) and the actual
1527 output (`got`). `optionflags` is the set of option flags used
1528 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001529 """
Edward Loperca9111e2004-08-26 03:00:24 +00001530 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001531 # If <BLANKLINE>s are being used, then replace blank lines
1532 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001533 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001534 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001535
Tim Peters5b799c12004-08-26 05:21:59 +00001536 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001537 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001538 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001539 want_lines = want.splitlines(True) # True == keep line ends
1540 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001541 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001542 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001543 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1544 diff = list(diff)[2:] # strip the diff header
1545 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001546 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001547 diff = difflib.context_diff(want_lines, got_lines, n=2)
1548 diff = list(diff)[2:] # strip the diff header
1549 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001550 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001551 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1552 diff = list(engine.compare(want_lines, got_lines))
1553 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001554 else:
1555 assert 0, 'Bad diff option'
1556 # Remove trailing whitespace on diff output.
1557 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001558 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001559
1560 # If we're not using diff, then simply list the expected
1561 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001562 if want and got:
1563 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1564 elif want:
1565 return 'Expected:\n%sGot nothing\n' % _indent(want)
1566 elif got:
1567 return 'Expected nothing\nGot:\n%s' % _indent(got)
1568 else:
1569 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001570
Tim Peters19397e52004-08-06 22:02:59 +00001571class DocTestFailure(Exception):
1572 """A DocTest example has failed in debugging mode.
1573
1574 The exception instance has variables:
1575
1576 - test: the DocTest object being run
1577
Neal Norwitzc082cb72006-08-29 05:40:08 +00001578 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001579
1580 - got: the actual output
1581 """
1582 def __init__(self, test, example, got):
1583 self.test = test
1584 self.example = example
1585 self.got = got
1586
1587 def __str__(self):
1588 return str(self.test)
1589
1590class UnexpectedException(Exception):
1591 """A DocTest example has encountered an unexpected exception
1592
1593 The exception instance has variables:
1594
1595 - test: the DocTest object being run
1596
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001597 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001598
1599 - exc_info: the exception info
1600 """
1601 def __init__(self, test, example, exc_info):
1602 self.test = test
1603 self.example = example
1604 self.exc_info = exc_info
1605
1606 def __str__(self):
1607 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001608
Tim Peters19397e52004-08-06 22:02:59 +00001609class DebugRunner(DocTestRunner):
1610 r"""Run doc tests but raise an exception as soon as there is a failure.
1611
1612 If an unexpected exception occurs, an UnexpectedException is raised.
1613 It contains the test, the example, and the original exception:
1614
1615 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001616 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1617 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001618 >>> try:
1619 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001620 ... except UnexpectedException as f:
1621 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001622
1623 >>> failure.test is test
1624 True
1625
1626 >>> failure.example.want
1627 '42\n'
1628
1629 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001630 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001631 Traceback (most recent call last):
1632 ...
1633 KeyError
1634
1635 We wrap the original exception to give the calling application
1636 access to the test and example information.
1637
1638 If the output doesn't match, then a DocTestFailure is raised:
1639
Edward Lopera1ef6112004-08-09 16:14:41 +00001640 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001641 ... >>> x = 1
1642 ... >>> x
1643 ... 2
1644 ... ''', {}, 'foo', 'foo.py', 0)
1645
1646 >>> try:
1647 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001648 ... except DocTestFailure as f:
1649 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001650
1651 DocTestFailure objects provide access to the test:
1652
1653 >>> failure.test is test
1654 True
1655
1656 As well as to the example:
1657
1658 >>> failure.example.want
1659 '2\n'
1660
1661 and the actual output:
1662
1663 >>> failure.got
1664 '1\n'
1665
1666 If a failure or error occurs, the globals are left intact:
1667
1668 >>> del test.globs['__builtins__']
1669 >>> test.globs
1670 {'x': 1}
1671
Edward Lopera1ef6112004-08-09 16:14:41 +00001672 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001673 ... >>> x = 2
1674 ... >>> raise KeyError
1675 ... ''', {}, 'foo', 'foo.py', 0)
1676
1677 >>> runner.run(test)
1678 Traceback (most recent call last):
1679 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001680 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001681
Tim Peters19397e52004-08-06 22:02:59 +00001682 >>> del test.globs['__builtins__']
1683 >>> test.globs
1684 {'x': 2}
1685
1686 But the globals are cleared if there is no error:
1687
Edward Lopera1ef6112004-08-09 16:14:41 +00001688 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001689 ... >>> x = 2
1690 ... ''', {}, 'foo', 'foo.py', 0)
1691
1692 >>> runner.run(test)
Christian Heimes25bb7832008-01-11 16:17:00 +00001693 TestResults(failed=0, attempted=1)
Tim Peters19397e52004-08-06 22:02:59 +00001694
1695 >>> test.globs
1696 {}
1697
1698 """
1699
1700 def run(self, test, compileflags=None, out=None, clear_globs=True):
1701 r = DocTestRunner.run(self, test, compileflags, out, False)
1702 if clear_globs:
1703 test.globs.clear()
1704 return r
1705
1706 def report_unexpected_exception(self, out, test, example, exc_info):
1707 raise UnexpectedException(test, example, exc_info)
1708
1709 def report_failure(self, out, test, example, got):
1710 raise DocTestFailure(test, example, got)
1711
Tim Peters8485b562004-08-04 18:46:34 +00001712######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001713## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001714######################################################################
1715# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001716
Tim Peters82076ef2004-09-13 00:52:51 +00001717# For backward compatibility, a global instance of a DocTestRunner
1718# class, updated by testmod.
1719master = None
1720
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001721def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001722 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001723 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001724 """m=None, name=None, globs=None, verbose=None, report=True,
1725 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001726 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001727
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001728 Test examples in docstrings in functions and classes reachable
1729 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001730 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001731
1732 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001733 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001734 function and class docstrings are tested even if the name is private;
1735 strings are tested directly, as if they were docstrings.
1736
1737 Return (#failures, #tests).
1738
1739 See doctest.__doc__ for an overview.
1740
1741 Optional keyword arg "name" gives the name of the module; by default
1742 use m.__name__.
1743
1744 Optional keyword arg "globs" gives a dict to be used as the globals
1745 when executing examples; by default, use m.__dict__. A copy of this
1746 dict is actually used for each docstring, so that each docstring's
1747 examples start with a clean slate.
1748
Tim Peters8485b562004-08-04 18:46:34 +00001749 Optional keyword arg "extraglobs" gives a dictionary that should be
1750 merged into the globals that are used to execute examples. By
1751 default, no extra globals are used. This is new in 2.4.
1752
Tim Peters8a7d2d52001-01-16 07:10:57 +00001753 Optional keyword arg "verbose" prints lots of stuff if true, prints
1754 only failures if false; by default, it's true iff "-v" is in sys.argv.
1755
Tim Peters8a7d2d52001-01-16 07:10:57 +00001756 Optional keyword arg "report" prints a summary at the end when true,
1757 else prints nothing at the end. In verbose mode, the summary is
1758 detailed, else very brief (in fact, empty if all tests passed).
1759
Tim Peters6ebe61f2003-06-27 20:48:05 +00001760 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001761 and defaults to 0. This is new in 2.3. Possible values (see the
1762 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001763
1764 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001765 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001766 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001767 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001768 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001769 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001770 REPORT_UDIFF
1771 REPORT_CDIFF
1772 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001773 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001774
1775 Optional keyword arg "raise_on_error" raises an exception on the
1776 first unexpected exception or failure. This allows failures to be
1777 post-mortem debugged.
1778
Tim Peters8a7d2d52001-01-16 07:10:57 +00001779 Advanced tomfoolery: testmod runs methods of a local instance of
1780 class doctest.Tester, then merges the results into (or creates)
1781 global Tester instance doctest.master. Methods of doctest.master
1782 can be called directly too, if you want to do something unusual.
1783 Passing report=0 to testmod is especially useful then, to delay
1784 displaying a summary. Invoke doctest.master.summarize(verbose)
1785 when you're done fiddling.
1786 """
Tim Peters82076ef2004-09-13 00:52:51 +00001787 global master
1788
Tim Peters8485b562004-08-04 18:46:34 +00001789 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001790 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001791 # DWA - m will still be None if this wasn't invoked from the command
1792 # line, in which case the following TypeError is about as good an error
1793 # as we should expect
1794 m = sys.modules.get('__main__')
1795
Tim Peters8485b562004-08-04 18:46:34 +00001796 # Check that we were actually given a module.
1797 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001798 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001799
1800 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001801 if name is None:
1802 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001803
1804 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001805 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001806
1807 if raise_on_error:
1808 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1809 else:
1810 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1811
Tim Peters8485b562004-08-04 18:46:34 +00001812 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1813 runner.run(test)
1814
Tim Peters8a7d2d52001-01-16 07:10:57 +00001815 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001816 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001817
Tim Peters82076ef2004-09-13 00:52:51 +00001818 if master is None:
1819 master = runner
1820 else:
1821 master.merge(runner)
1822
Christian Heimes25bb7832008-01-11 16:17:00 +00001823 return TestResults(runner.failures, runner.tries)
Tim Petersdb3756d2003-06-29 05:30:48 +00001824
Edward Loper052d0cd2004-09-19 17:19:33 +00001825def testfile(filename, module_relative=True, name=None, package=None,
1826 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001827 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1828 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001829 """
1830 Test examples in the given file. Return (#failures, #tests).
1831
1832 Optional keyword arg "module_relative" specifies how filenames
1833 should be interpreted:
1834
1835 - If "module_relative" is True (the default), then "filename"
1836 specifies a module-relative path. By default, this path is
1837 relative to the calling module's directory; but if the
1838 "package" argument is specified, then it is relative to that
1839 package. To ensure os-independence, "filename" should use
1840 "/" characters to separate path segments, and should not
1841 be an absolute path (i.e., it may not begin with "/").
1842
1843 - If "module_relative" is False, then "filename" specifies an
1844 os-specific path. The path may be absolute or relative (to
1845 the current working directory).
1846
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001847 Optional keyword arg "name" gives the name of the test; by default
1848 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001849
1850 Optional keyword argument "package" is a Python package or the
1851 name of a Python package whose directory should be used as the
1852 base directory for a module relative filename. If no package is
1853 specified, then the calling module's directory is used as the base
1854 directory for module relative filenames. It is an error to
1855 specify "package" if "module_relative" is False.
1856
1857 Optional keyword arg "globs" gives a dict to be used as the globals
1858 when executing examples; by default, use {}. A copy of this dict
1859 is actually used for each docstring, so that each docstring's
1860 examples start with a clean slate.
1861
1862 Optional keyword arg "extraglobs" gives a dictionary that should be
1863 merged into the globals that are used to execute examples. By
1864 default, no extra globals are used.
1865
1866 Optional keyword arg "verbose" prints lots of stuff if true, prints
1867 only failures if false; by default, it's true iff "-v" is in sys.argv.
1868
1869 Optional keyword arg "report" prints a summary at the end when true,
1870 else prints nothing at the end. In verbose mode, the summary is
1871 detailed, else very brief (in fact, empty if all tests passed).
1872
1873 Optional keyword arg "optionflags" or's together module constants,
1874 and defaults to 0. Possible values (see the docs for details):
1875
1876 DONT_ACCEPT_TRUE_FOR_1
1877 DONT_ACCEPT_BLANKLINE
1878 NORMALIZE_WHITESPACE
1879 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001880 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001881 IGNORE_EXCEPTION_DETAIL
1882 REPORT_UDIFF
1883 REPORT_CDIFF
1884 REPORT_NDIFF
1885 REPORT_ONLY_FIRST_FAILURE
1886
1887 Optional keyword arg "raise_on_error" raises an exception on the
1888 first unexpected exception or failure. This allows failures to be
1889 post-mortem debugged.
1890
Edward Loper498a1862004-09-27 03:42:58 +00001891 Optional keyword arg "parser" specifies a DocTestParser (or
1892 subclass) that should be used to extract tests from the files.
1893
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001894 Optional keyword arg "encoding" specifies an encoding that should
1895 be used to convert the file to unicode.
1896
Edward Loper052d0cd2004-09-19 17:19:33 +00001897 Advanced tomfoolery: testmod runs methods of a local instance of
1898 class doctest.Tester, then merges the results into (or creates)
1899 global Tester instance doctest.master. Methods of doctest.master
1900 can be called directly too, if you want to do something unusual.
1901 Passing report=0 to testmod is especially useful then, to delay
1902 displaying a summary. Invoke doctest.master.summarize(verbose)
1903 when you're done fiddling.
1904 """
1905 global master
1906
1907 if package and not module_relative:
1908 raise ValueError("Package may only be specified for module-"
1909 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001910
Edward Loper052d0cd2004-09-19 17:19:33 +00001911 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00001912 text, filename = _load_testfile(filename, package, module_relative,
1913 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00001914
1915 # If no name was given, then use the file's name.
1916 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001917 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001918
1919 # Assemble the globals.
1920 if globs is None:
1921 globs = {}
1922 else:
1923 globs = globs.copy()
1924 if extraglobs is not None:
1925 globs.update(extraglobs)
1926
1927 if raise_on_error:
1928 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1929 else:
1930 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1931
1932 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001933 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001934 runner.run(test)
1935
1936 if report:
1937 runner.summarize()
1938
1939 if master is None:
1940 master = runner
1941 else:
1942 master.merge(runner)
1943
Christian Heimes25bb7832008-01-11 16:17:00 +00001944 return TestResults(runner.failures, runner.tries)
Edward Loper052d0cd2004-09-19 17:19:33 +00001945
Tim Peters8485b562004-08-04 18:46:34 +00001946def run_docstring_examples(f, globs, verbose=False, name="NoName",
1947 compileflags=None, optionflags=0):
1948 """
1949 Test examples in the given object's docstring (`f`), using `globs`
1950 as globals. Optional argument `name` is used in failure messages.
1951 If the optional argument `verbose` is true, then generate output
1952 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00001953
Tim Peters8485b562004-08-04 18:46:34 +00001954 `compileflags` gives the set of flags that should be used by the
1955 Python compiler when running the examples. If not specified, then
1956 it will default to the set of future-import flags that apply to
1957 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00001958
Tim Peters8485b562004-08-04 18:46:34 +00001959 Optional keyword arg `optionflags` specifies options for the
1960 testing and output. See the documentation for `testmod` for more
1961 information.
1962 """
1963 # Find, parse, and run all tests in the given module.
1964 finder = DocTestFinder(verbose=verbose, recurse=False)
1965 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1966 for test in finder.find(f, name, globs=globs):
1967 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00001968
Tim Peters8485b562004-08-04 18:46:34 +00001969######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00001970## 7. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00001971######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00001972
Jim Fultonf54bad42004-08-28 14:57:56 +00001973_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00001974
Jim Fultonf54bad42004-08-28 14:57:56 +00001975def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00001976 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00001977
1978 The old flag is returned so that a runner could restore the old
1979 value if it wished to:
1980
Tim Petersb7e99b62005-03-28 23:50:54 +00001981 >>> import doctest
1982 >>> old = doctest._unittest_reportflags
1983 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00001984 ... REPORT_ONLY_FIRST_FAILURE) == old
1985 True
1986
Jim Fultonf54bad42004-08-28 14:57:56 +00001987 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
1988 ... REPORT_ONLY_FIRST_FAILURE)
1989 True
Tim Petersdf7a2082004-08-29 00:38:17 +00001990
Jim Fultonf54bad42004-08-28 14:57:56 +00001991 Only reporting flags can be set:
1992
Tim Petersb7e99b62005-03-28 23:50:54 +00001993 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00001994 Traceback (most recent call last):
1995 ...
Tim Peters38330fe2004-08-30 16:19:24 +00001996 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00001997
Tim Petersb7e99b62005-03-28 23:50:54 +00001998 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00001999 ... REPORT_ONLY_FIRST_FAILURE)
2000 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002001 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002002 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002003
2004 if (flags & REPORTING_FLAGS) != flags:
2005 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002006 old = _unittest_reportflags
2007 _unittest_reportflags = flags
2008 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002009
Jim Fultonf54bad42004-08-28 14:57:56 +00002010
Tim Peters19397e52004-08-06 22:02:59 +00002011class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002012
Edward Loper34fcb142004-08-09 02:45:41 +00002013 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2014 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002015
Jim Fultona643b652004-07-14 19:06:50 +00002016 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002017 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002018 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002019 self._dt_test = test
2020 self._dt_setUp = setUp
2021 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002022
Jim Fultona643b652004-07-14 19:06:50 +00002023 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002024 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002025
Tim Peters19397e52004-08-06 22:02:59 +00002026 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002027 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002028
2029 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002030 test = self._dt_test
2031
Tim Peters19397e52004-08-06 22:02:59 +00002032 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002033 self._dt_tearDown(test)
2034
2035 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002036
2037 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002038 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002039 old = sys.stdout
2040 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002041 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002042
Tim Peters38330fe2004-08-30 16:19:24 +00002043 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002044 # The option flags don't include any reporting flags,
2045 # so add the default reporting flags
2046 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002047
Jim Fultonf54bad42004-08-28 14:57:56 +00002048 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002049 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002050
Jim Fultona643b652004-07-14 19:06:50 +00002051 try:
Tim Peters19397e52004-08-06 22:02:59 +00002052 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002053 failures, tries = runner.run(
2054 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002055 finally:
2056 sys.stdout = old
2057
2058 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002059 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002060
Tim Peters19397e52004-08-06 22:02:59 +00002061 def format_failure(self, err):
2062 test = self._dt_test
2063 if test.lineno is None:
2064 lineno = 'unknown line number'
2065 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002066 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002067 lname = '.'.join(test.name.split('.')[-1:])
2068 return ('Failed doctest test for %s\n'
2069 ' File "%s", line %s, in %s\n\n%s'
2070 % (test.name, test.filename, lineno, lname, err)
2071 )
2072
2073 def debug(self):
2074 r"""Run the test case without results and without catching exceptions
2075
2076 The unit test framework includes a debug method on test cases
2077 and test suites to support post-mortem debugging. The test code
2078 is run in such a way that errors are not caught. This way a
2079 caller can catch the errors and initiate post-mortem debugging.
2080
2081 The DocTestCase provides a debug method that raises
2082 UnexpectedException errors if there is an unexepcted
2083 exception:
2084
Edward Lopera1ef6112004-08-09 16:14:41 +00002085 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002086 ... {}, 'foo', 'foo.py', 0)
2087 >>> case = DocTestCase(test)
2088 >>> try:
2089 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002090 ... except UnexpectedException as f:
2091 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002092
2093 The UnexpectedException contains the test, the example, and
2094 the original exception:
2095
2096 >>> failure.test is test
2097 True
2098
2099 >>> failure.example.want
2100 '42\n'
2101
2102 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002103 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002104 Traceback (most recent call last):
2105 ...
2106 KeyError
2107
2108 If the output doesn't match, then a DocTestFailure is raised:
2109
Edward Lopera1ef6112004-08-09 16:14:41 +00002110 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002111 ... >>> x = 1
2112 ... >>> x
2113 ... 2
2114 ... ''', {}, 'foo', 'foo.py', 0)
2115 >>> case = DocTestCase(test)
2116
2117 >>> try:
2118 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002119 ... except DocTestFailure as f:
2120 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002121
2122 DocTestFailure objects provide access to the test:
2123
2124 >>> failure.test is test
2125 True
2126
2127 As well as to the example:
2128
2129 >>> failure.example.want
2130 '2\n'
2131
2132 and the actual output:
2133
2134 >>> failure.got
2135 '1\n'
2136
2137 """
2138
Jim Fultonf54bad42004-08-28 14:57:56 +00002139 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002140 runner = DebugRunner(optionflags=self._dt_optionflags,
2141 checker=self._dt_checker, verbose=False)
Edward Loper3a3817f2004-08-19 19:26:06 +00002142 runner.run(self._dt_test)
Jim Fultonf54bad42004-08-28 14:57:56 +00002143 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002144
2145 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002146 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002147
2148 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002149 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002150 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2151
2152 __str__ = __repr__
2153
2154 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002155 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002156
Jim Fultonf54bad42004-08-28 14:57:56 +00002157def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2158 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002159 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002160 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002161
Tim Peters19397e52004-08-06 22:02:59 +00002162 This converts each documentation string in a module that
2163 contains doctest tests to a unittest test case. If any of the
2164 tests in a doc string fail, then the test case fails. An exception
2165 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002166 (sometimes approximate) line number.
2167
Tim Peters19397e52004-08-06 22:02:59 +00002168 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002169 can be either a module or a module name.
2170
2171 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002172
2173 A number of options may be provided as keyword arguments:
2174
Jim Fultonf54bad42004-08-28 14:57:56 +00002175 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002176 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002177 tests in each file. The setUp function will be passed a DocTest
2178 object. The setUp function can access the test globals as the
2179 globs attribute of the test passed.
2180
2181 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002182 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002183 tests in each file. The tearDown function will be passed a DocTest
2184 object. The tearDown function can access the test globals as the
2185 globs attribute of the test passed.
2186
2187 globs
2188 A dictionary containing initial global variables for the tests.
2189
2190 optionflags
2191 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002192 """
Jim Fultona643b652004-07-14 19:06:50 +00002193
Tim Peters8485b562004-08-04 18:46:34 +00002194 if test_finder is None:
2195 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002196
Tim Peters19397e52004-08-06 22:02:59 +00002197 module = _normalize_module(module)
2198 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
2199 if globs is None:
2200 globs = module.__dict__
Jim Fultonf54bad42004-08-28 14:57:56 +00002201 if not tests:
2202 # Why do we want to do this? Because it reveals a bug that might
2203 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002204 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002205
2206 tests.sort()
2207 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002208 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002209 if len(test.examples) == 0:
2210 continue
Tim Peters8485b562004-08-04 18:46:34 +00002211 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002212 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002213 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002214 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002215 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002216 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002217
2218 return suite
2219
2220class DocFileCase(DocTestCase):
2221
2222 def id(self):
2223 return '_'.join(self._dt_test.name.split('.'))
2224
2225 def __repr__(self):
2226 return self._dt_test.filename
2227 __str__ = __repr__
2228
2229 def format_failure(self, err):
2230 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2231 % (self._dt_test.name, self._dt_test.filename, err)
2232 )
2233
Edward Loper052d0cd2004-09-19 17:19:33 +00002234def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002235 globs=None, parser=DocTestParser(),
2236 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002237 if globs is None:
2238 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002239 else:
2240 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002241
Edward Loper052d0cd2004-09-19 17:19:33 +00002242 if package and not module_relative:
2243 raise ValueError("Package may only be specified for module-"
2244 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002245
Edward Loper052d0cd2004-09-19 17:19:33 +00002246 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002247 doc, path = _load_testfile(path, package, module_relative,
2248 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002249
Fred Drake7c404a42004-12-21 23:46:34 +00002250 if "__file__" not in globs:
2251 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002252
Edward Loper052d0cd2004-09-19 17:19:33 +00002253 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002254 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002255
2256 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002257 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002258 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002259
2260def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002261 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002262
Edward Loper052d0cd2004-09-19 17:19:33 +00002263 The path to each doctest file is given as a string; the
2264 interpretation of that string depends on the keyword argument
2265 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002266
2267 A number of options may be provided as keyword arguments:
2268
Edward Loper052d0cd2004-09-19 17:19:33 +00002269 module_relative
2270 If "module_relative" is True, then the given file paths are
2271 interpreted as os-independent module-relative paths. By
2272 default, these paths are relative to the calling module's
2273 directory; but if the "package" argument is specified, then
2274 they are relative to that package. To ensure os-independence,
2275 "filename" should use "/" characters to separate path
2276 segments, and may not be an absolute path (i.e., it may not
2277 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002278
Edward Loper052d0cd2004-09-19 17:19:33 +00002279 If "module_relative" is False, then the given file paths are
2280 interpreted as os-specific paths. These paths may be absolute
2281 or relative (to the current working directory).
2282
Tim Peters19397e52004-08-06 22:02:59 +00002283 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002284 A Python package or the name of a Python package whose directory
2285 should be used as the base directory for module relative paths.
2286 If "package" is not specified, then the calling module's
2287 directory is used as the base directory for module relative
2288 filenames. It is an error to specify "package" if
2289 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002290
2291 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002292 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002293 tests in each file. The setUp function will be passed a DocTest
2294 object. The setUp function can access the test globals as the
2295 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002296
2297 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002298 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002299 tests in each file. The tearDown function will be passed a DocTest
2300 object. The tearDown function can access the test globals as the
2301 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002302
2303 globs
2304 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002305
2306 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002307 A set of doctest option flags expressed as an integer.
2308
2309 parser
2310 A DocTestParser (or subclass) that should be used to extract
2311 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002312
2313 encoding
2314 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002315 """
2316 suite = unittest.TestSuite()
2317
2318 # We do this here so that _normalize_module is called at the right
2319 # level. If it were called in DocFileTest, then this function
2320 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002321 if kw.get('module_relative', True):
2322 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002323
2324 for path in paths:
2325 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002326
Tim Petersdb3756d2003-06-29 05:30:48 +00002327 return suite
2328
Tim Peters8485b562004-08-04 18:46:34 +00002329######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002330## 8. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002331######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002332
Tim Peters19397e52004-08-06 22:02:59 +00002333def script_from_examples(s):
2334 r"""Extract script from text with examples.
2335
2336 Converts text with examples to a Python script. Example input is
2337 converted to regular code. Example output and all other words
2338 are converted to comments:
2339
2340 >>> text = '''
2341 ... Here are examples of simple math.
2342 ...
2343 ... Python has super accurate integer addition
2344 ...
2345 ... >>> 2 + 2
2346 ... 5
2347 ...
2348 ... And very friendly error messages:
2349 ...
2350 ... >>> 1/0
2351 ... To Infinity
2352 ... And
2353 ... Beyond
2354 ...
2355 ... You can use logic if you want:
2356 ...
2357 ... >>> if 0:
2358 ... ... blah
2359 ... ... blah
2360 ... ...
2361 ...
2362 ... Ho hum
2363 ... '''
2364
Guido van Rossum7131f842007-02-09 20:13:25 +00002365 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002366 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002367 #
Edward Lopera5db6002004-08-12 02:41:30 +00002368 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002369 #
2370 2 + 2
2371 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002372 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002373 #
Edward Lopera5db6002004-08-12 02:41:30 +00002374 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002375 #
2376 1/0
2377 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002378 ## To Infinity
2379 ## And
2380 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002381 #
Edward Lopera5db6002004-08-12 02:41:30 +00002382 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002383 #
2384 if 0:
2385 blah
2386 blah
Tim Peters19397e52004-08-06 22:02:59 +00002387 #
Edward Lopera5db6002004-08-12 02:41:30 +00002388 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002389 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002390 """
Edward Loper00f8da72004-08-26 18:05:07 +00002391 output = []
2392 for piece in DocTestParser().parse(s):
2393 if isinstance(piece, Example):
2394 # Add the example's source code (strip trailing NL)
2395 output.append(piece.source[:-1])
2396 # Add the expected output:
2397 want = piece.want
2398 if want:
2399 output.append('# Expected:')
2400 output += ['## '+l for l in want.split('\n')[:-1]]
2401 else:
2402 # Add non-example text.
2403 output += [_comment_line(l)
2404 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002405
Edward Loper00f8da72004-08-26 18:05:07 +00002406 # Trim junk on both ends.
2407 while output and output[-1] == '#':
2408 output.pop()
2409 while output and output[0] == '#':
2410 output.pop(0)
2411 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002412 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2413 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002414
2415def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002416 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002417
2418 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002419 test to be debugged and the name (within the module) of the object
2420 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002421 """
Tim Peters8485b562004-08-04 18:46:34 +00002422 module = _normalize_module(module)
2423 tests = DocTestFinder().find(module)
2424 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002425 if not test:
2426 raise ValueError(name, "not found in tests")
2427 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002428 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002429 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002430
Jim Fultona643b652004-07-14 19:06:50 +00002431def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002432 """Debug a single doctest docstring, in argument `src`'"""
2433 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002434 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002435
Jim Fultona643b652004-07-14 19:06:50 +00002436def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002437 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002438 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002439
Tim Petersb6a04d62004-08-23 21:37:56 +00002440 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2441 # docs say, a file so created cannot be opened by name a second time
Neal Norwitz01688022007-08-12 00:43:29 +00002442 # on modern Windows boxes, and exec() needs to open and read it.
Tim Petersb6a04d62004-08-23 21:37:56 +00002443 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002444 f = open(srcfilename, 'w')
2445 f.write(src)
2446 f.close()
2447
Tim Petersb6a04d62004-08-23 21:37:56 +00002448 try:
2449 if globs:
2450 globs = globs.copy()
2451 else:
2452 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002453
Tim Petersb6a04d62004-08-23 21:37:56 +00002454 if pm:
2455 try:
Neal Norwitz01688022007-08-12 00:43:29 +00002456 exec(open(srcfilename).read(), globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002457 except:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00002458 print(sys.exc_info()[1])
Tim Petersb6a04d62004-08-23 21:37:56 +00002459 pdb.post_mortem(sys.exc_info()[2])
2460 else:
Neal Norwitz01688022007-08-12 00:43:29 +00002461 fp = open(srcfilename)
2462 try:
2463 script = fp.read()
2464 finally:
2465 fp.close()
2466 pdb.run("exec(%r)" % script, globs, globs)
Tim Petersb6a04d62004-08-23 21:37:56 +00002467
2468 finally:
2469 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002470
Jim Fultona643b652004-07-14 19:06:50 +00002471def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002472 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002473
2474 Provide the module (or dotted name of the module) containing the
2475 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002476 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002477 """
Tim Peters8485b562004-08-04 18:46:34 +00002478 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002479 testsrc = testsource(module, name)
2480 debug_script(testsrc, pm, module.__dict__)
2481
Tim Peters8485b562004-08-04 18:46:34 +00002482######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002483## 9. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002484######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002485class _TestClass:
2486 """
2487 A pointless class, for sanity-checking of docstring testing.
2488
2489 Methods:
2490 square()
2491 get()
2492
2493 >>> _TestClass(13).get() + _TestClass(-12).get()
2494 1
2495 >>> hex(_TestClass(13).square().get())
2496 '0xa9'
2497 """
2498
2499 def __init__(self, val):
2500 """val -> _TestClass object with associated value val.
2501
2502 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002503 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002504 123
2505 """
2506
2507 self.val = val
2508
2509 def square(self):
2510 """square() -> square TestClass's associated value
2511
2512 >>> _TestClass(13).square().get()
2513 169
2514 """
2515
2516 self.val = self.val ** 2
2517 return self
2518
2519 def get(self):
2520 """get() -> return TestClass's associated value.
2521
2522 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002523 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002524 -42
2525 """
2526
2527 return self.val
2528
2529__test__ = {"_TestClass": _TestClass,
2530 "string": r"""
2531 Example of a string object, searched as-is.
2532 >>> x = 1; y = 2
2533 >>> x + y, x * y
2534 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002535 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002536
Tim Peters6ebe61f2003-06-27 20:48:05 +00002537 "bool-int equivalence": r"""
2538 In 2.2, boolean expressions displayed
2539 0 or 1. By default, we still accept
2540 them. This can be disabled by passing
2541 DONT_ACCEPT_TRUE_FOR_1 to the new
2542 optionflags argument.
2543 >>> 4 == 4
2544 1
2545 >>> 4 == 4
2546 True
2547 >>> 4 > 4
2548 0
2549 >>> 4 > 4
2550 False
2551 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002552
Tim Peters8485b562004-08-04 18:46:34 +00002553 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002554 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002555 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002556 foo
2557 <BLANKLINE>
2558 bar
2559 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002560 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002561
2562 "ellipsis": r"""
2563 If the ellipsis flag is used, then '...' can be used to
2564 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002565 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002566 [0, 1, 2, ..., 999]
2567 """,
2568
2569 "whitespace normalization": r"""
2570 If the whitespace normalization flag is used, then
2571 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002572 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002573 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2574 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2575 27, 28, 29]
2576 """,
2577 }
Tim Peters8485b562004-08-04 18:46:34 +00002578
Tim Peters8a7d2d52001-01-16 07:10:57 +00002579def _test():
Guido van Rossumd8faa362007-04-27 19:54:29 +00002580 testfiles = [arg for arg in sys.argv[1:] if arg and arg[0] != '-']
2581 if testfiles:
2582 for filename in testfiles:
2583 if filename.endswith(".py"):
2584 # It is a module -- insert its dir into sys.path and try to
2585 # import it. If it is part of a package, that possibly won't work
2586 # because of package imports.
2587 dirname, filename = os.path.split(filename)
2588 sys.path.insert(0, dirname)
2589 m = __import__(filename[:-3])
2590 del sys.path[0]
Christian Heimes895627f2007-12-08 17:28:33 +00002591 failures, _ = testmod(m)
Guido van Rossumd8faa362007-04-27 19:54:29 +00002592 else:
Christian Heimes895627f2007-12-08 17:28:33 +00002593 failures, _ = testfile(filename, module_relative=False)
2594 if failures:
2595 return 1
Guido van Rossumd8faa362007-04-27 19:54:29 +00002596 else:
2597 r = unittest.TextTestRunner()
2598 r.run(DocTestSuite())
Christian Heimes895627f2007-12-08 17:28:33 +00002599 return 0
Tim Peters8a7d2d52001-01-16 07:10:57 +00002600
2601if __name__ == "__main__":
Christian Heimes895627f2007-12-08 17:28:33 +00002602 sys.exit(_test())