blob: 900d8718f9c81d6baef671c742c2fddfb6f87160 [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',
Tim Peters711bf302006-04-25 03:31:36 +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
Tim Peters8485b562004-08-04 18:46:34 +000066 'is_private',
Edward Loperb7503ff2004-08-19 19:19:03 +000067 # 2. Example & DocTest
Tim Peters8485b562004-08-04 18:46:34 +000068 'Example',
69 'DocTest',
Edward Loperb7503ff2004-08-19 19:19:03 +000070 # 3. Doctest Parser
71 'DocTestParser',
72 # 4. Doctest Finder
Tim Peters8485b562004-08-04 18:46:34 +000073 'DocTestFinder',
Edward Loperb7503ff2004-08-19 19:19:03 +000074 # 5. Doctest Runner
Tim Peters8485b562004-08-04 18:46:34 +000075 'DocTestRunner',
Edward Loperb7503ff2004-08-19 19:19:03 +000076 'OutputChecker',
77 'DocTestFailure',
78 'UnexpectedException',
79 'DebugRunner',
80 # 6. Test Functions
Tim Peters4fd9e2f2001-08-18 00:05:50 +000081 'testmod',
Edward Loper052d0cd2004-09-19 17:19:33 +000082 'testfile',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000083 'run_docstring_examples',
Edward Loperb7503ff2004-08-19 19:19:03 +000084 # 7. Tester
Tim Peters4fd9e2f2001-08-18 00:05:50 +000085 'Tester',
Edward Loperb7503ff2004-08-19 19:19:03 +000086 # 8. Unittest Support
Tim Petersdb3756d2003-06-29 05:30:48 +000087 'DocTestSuite',
Edward Loperb7503ff2004-08-19 19:19:03 +000088 'DocFileSuite',
Tim Peters9d02a7c2004-09-26 01:50:24 +000089 'set_unittest_reportflags',
Edward Loperb7503ff2004-08-19 19:19:03 +000090 # 9. Debugging Support
91 'script_from_examples',
Tim Petersdb3756d2003-06-29 05:30:48 +000092 'testsource',
Edward Loperb7503ff2004-08-19 19:19:03 +000093 'debug_src',
Tim Petersdb3756d2003-06-29 05:30:48 +000094 'debug',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000095]
Tim Peters8a7d2d52001-01-16 07:10:57 +000096
Tim Peters4fd9e2f2001-08-18 00:05:50 +000097import __future__
Tim Peters8a7d2d52001-01-16 07:10:57 +000098
Tim Peters19397e52004-08-06 22:02:59 +000099import sys, traceback, inspect, linecache, os, re, types
Jim Fulton356fd192004-08-09 11:34:47 +0000100import unittest, difflib, pdb, tempfile
Tim Petersf727c6c2004-08-08 01:48:59 +0000101import warnings
Tim Peters8485b562004-08-04 18:46:34 +0000102from StringIO import StringIO
Tim Peters7402f792001-10-02 03:53:41 +0000103
Tim Petersdd50cb72004-08-23 22:42:55 +0000104# Don't whine about the deprecated is_private function in this
105# module's tests.
106warnings.filterwarnings("ignore", "is_private", DeprecationWarning,
107 __name__, 0)
108
Tim Peters19397e52004-08-06 22:02:59 +0000109# There are 4 basic classes:
110# - Example: a <source, want> pair, plus an intra-docstring line number.
111# - DocTest: a collection of examples, parsed from a docstring, plus
112# info about where the docstring came from (name, filename, lineno).
113# - DocTestFinder: extracts DocTests from a given object's docstring and
114# its contained objects' docstrings.
115# - DocTestRunner: runs DocTest cases, and accumulates statistics.
116#
117# So the basic picture is:
118#
119# list of:
120# +------+ +---------+ +-------+
121# |object| --DocTestFinder-> | DocTest | --DocTestRunner-> |results|
122# +------+ +---------+ +-------+
123# | Example |
124# | ... |
125# | Example |
126# +---------+
127
Edward Loperac20f572004-08-12 02:02:24 +0000128# Option constants.
Tim Peters38330fe2004-08-30 16:19:24 +0000129
Edward Loperac20f572004-08-12 02:02:24 +0000130OPTIONFLAGS_BY_NAME = {}
131def register_optionflag(name):
132 flag = 1 << len(OPTIONFLAGS_BY_NAME)
133 OPTIONFLAGS_BY_NAME[name] = flag
134 return flag
135
136DONT_ACCEPT_TRUE_FOR_1 = register_optionflag('DONT_ACCEPT_TRUE_FOR_1')
137DONT_ACCEPT_BLANKLINE = register_optionflag('DONT_ACCEPT_BLANKLINE')
138NORMALIZE_WHITESPACE = register_optionflag('NORMALIZE_WHITESPACE')
139ELLIPSIS = register_optionflag('ELLIPSIS')
Tim Peters711bf302006-04-25 03:31:36 +0000140SKIP = register_optionflag('SKIP')
Tim Peters1fbf9c52004-09-04 17:21:02 +0000141IGNORE_EXCEPTION_DETAIL = register_optionflag('IGNORE_EXCEPTION_DETAIL')
Tim Peters38330fe2004-08-30 16:19:24 +0000142
143COMPARISON_FLAGS = (DONT_ACCEPT_TRUE_FOR_1 |
144 DONT_ACCEPT_BLANKLINE |
145 NORMALIZE_WHITESPACE |
Tim Peters1fbf9c52004-09-04 17:21:02 +0000146 ELLIPSIS |
Tim Peters711bf302006-04-25 03:31:36 +0000147 SKIP |
Edward Loper7d88a582004-09-28 05:50:57 +0000148 IGNORE_EXCEPTION_DETAIL)
Tim Peters38330fe2004-08-30 16:19:24 +0000149
Edward Loper71f55af2004-08-26 01:41:51 +0000150REPORT_UDIFF = register_optionflag('REPORT_UDIFF')
151REPORT_CDIFF = register_optionflag('REPORT_CDIFF')
152REPORT_NDIFF = register_optionflag('REPORT_NDIFF')
Edward Lopera89f88d2004-08-26 02:45:51 +0000153REPORT_ONLY_FIRST_FAILURE = register_optionflag('REPORT_ONLY_FIRST_FAILURE')
Edward Loperac20f572004-08-12 02:02:24 +0000154
Tim Peters38330fe2004-08-30 16:19:24 +0000155REPORTING_FLAGS = (REPORT_UDIFF |
156 REPORT_CDIFF |
157 REPORT_NDIFF |
158 REPORT_ONLY_FIRST_FAILURE)
159
Edward Loperac20f572004-08-12 02:02:24 +0000160# Special string markers for use in `want` strings:
161BLANKLINE_MARKER = '<BLANKLINE>'
162ELLIPSIS_MARKER = '...'
163
Tim Peters8485b562004-08-04 18:46:34 +0000164######################################################################
165## Table of Contents
166######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000167# 1. Utility Functions
168# 2. Example & DocTest -- store test cases
169# 3. DocTest Parser -- extracts examples from strings
170# 4. DocTest Finder -- extracts test cases from objects
171# 5. DocTest Runner -- runs test cases
172# 6. Test Functions -- convenient wrappers for testing
173# 7. Tester Class -- for backwards compatibility
174# 8. Unittest Support
175# 9. Debugging Support
176# 10. Example Usage
Tim Peters8a7d2d52001-01-16 07:10:57 +0000177
Tim Peters8485b562004-08-04 18:46:34 +0000178######################################################################
179## 1. Utility Functions
180######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +0000181
182def is_private(prefix, base):
183 """prefix, base -> true iff name prefix + "." + base is "private".
184
185 Prefix may be an empty string, and base does not contain a period.
186 Prefix is ignored (although functions you write conforming to this
187 protocol may make use of it).
188 Return true iff base begins with an (at least one) underscore, but
189 does not both begin and end with (at least) two underscores.
190
191 >>> is_private("a.b", "my_func")
Guido van Rossum77f6a652002-04-03 22:41:51 +0000192 False
Tim Peters8a7d2d52001-01-16 07:10:57 +0000193 >>> is_private("____", "_my_func")
Guido van Rossum77f6a652002-04-03 22:41:51 +0000194 True
Tim Peters8a7d2d52001-01-16 07:10:57 +0000195 >>> is_private("someclass", "__init__")
Guido van Rossum77f6a652002-04-03 22:41:51 +0000196 False
Tim Peters8a7d2d52001-01-16 07:10:57 +0000197 >>> is_private("sometypo", "__init_")
Guido van Rossum77f6a652002-04-03 22:41:51 +0000198 True
Tim Peters8a7d2d52001-01-16 07:10:57 +0000199 >>> is_private("x.y.z", "_")
Guido van Rossum77f6a652002-04-03 22:41:51 +0000200 True
Tim Peters8a7d2d52001-01-16 07:10:57 +0000201 >>> is_private("_x.y.z", "__")
Guido van Rossum77f6a652002-04-03 22:41:51 +0000202 False
Tim Peters8a7d2d52001-01-16 07:10:57 +0000203 >>> is_private("", "") # senseless but consistent
Guido van Rossum77f6a652002-04-03 22:41:51 +0000204 False
Tim Peters8a7d2d52001-01-16 07:10:57 +0000205 """
Tim Petersbafb1fe2004-08-08 01:52:57 +0000206 warnings.warn("is_private is deprecated; it wasn't useful; "
207 "examine DocTestFinder.find() lists instead",
Tim Peters3ddd60a2004-08-08 02:43:33 +0000208 DeprecationWarning, stacklevel=2)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000209 return base[:1] == "_" and not base[:2] == "__" == base[-2:]
210
Tim Peters8485b562004-08-04 18:46:34 +0000211def _extract_future_flags(globs):
212 """
213 Return the compiler-flags associated with the future features that
214 have been imported into the given namespace (globs).
215 """
216 flags = 0
217 for fname in __future__.all_feature_names:
218 feature = globs.get(fname, None)
219 if feature is getattr(__future__, fname):
220 flags |= feature.compiler_flag
221 return flags
Tim Peters7402f792001-10-02 03:53:41 +0000222
Tim Peters8485b562004-08-04 18:46:34 +0000223def _normalize_module(module, depth=2):
224 """
225 Return the module specified by `module`. In particular:
226 - If `module` is a module, then return module.
227 - If `module` is a string, then import and return the
228 module with that name.
229 - If `module` is None, then return the calling module.
230 The calling module is assumed to be the module of
231 the stack frame at the given depth in the call stack.
232 """
233 if inspect.ismodule(module):
234 return module
235 elif isinstance(module, (str, unicode)):
236 return __import__(module, globals(), locals(), ["*"])
237 elif module is None:
238 return sys.modules[sys._getframe(depth).f_globals['__name__']]
239 else:
240 raise TypeError("Expected a module, string, or None")
Tim Peters7402f792001-10-02 03:53:41 +0000241
Phillip J. Eby47032112006-04-11 01:07:43 +0000242def _load_testfile(filename, package, module_relative):
243 if module_relative:
244 package = _normalize_module(package, 3)
245 filename = _module_relative_path(package, filename)
246 if hasattr(package, '__loader__'):
247 if hasattr(package.__loader__, 'get_data'):
248 return package.__loader__.get_data(filename), filename
249 return open(filename).read(), filename
250
Edward Loperaacf0832004-08-26 01:19:50 +0000251def _indent(s, indent=4):
Tim Peters8485b562004-08-04 18:46:34 +0000252 """
Edward Loperaacf0832004-08-26 01:19:50 +0000253 Add the given number of space characters to the beginning every
254 non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000255 """
Edward Loperaacf0832004-08-26 01:19:50 +0000256 # This regexp matches the start of non-blank lines:
257 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000258
Edward Loper8e4a34b2004-08-12 02:34:27 +0000259def _exception_traceback(exc_info):
260 """
261 Return a string containing a traceback message for the given
262 exc_info tuple (as returned by sys.exc_info()).
263 """
264 # Get a traceback message.
265 excout = StringIO()
266 exc_type, exc_val, exc_tb = exc_info
267 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
268 return excout.getvalue()
269
Tim Peters8485b562004-08-04 18:46:34 +0000270# Override some StringIO methods.
271class _SpoofOut(StringIO):
272 def getvalue(self):
273 result = StringIO.getvalue(self)
274 # If anything at all was written, make sure there's a trailing
275 # newline. There's no way for the expected output to indicate
276 # that a trailing newline is missing.
277 if result and not result.endswith("\n"):
278 result += "\n"
279 # Prevent softspace from screwing up the next test case, in
280 # case they used print with a trailing comma in an example.
281 if hasattr(self, "softspace"):
282 del self.softspace
283 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000284
Tim Peters8485b562004-08-04 18:46:34 +0000285 def truncate(self, size=None):
286 StringIO.truncate(self, size)
287 if hasattr(self, "softspace"):
288 del self.softspace
Tim Peters8a7d2d52001-01-16 07:10:57 +0000289
Tim Peters26b3ebb2004-08-19 08:10:08 +0000290# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000291def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000292 """
293 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000294 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000295 False
296 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000297 if ELLIPSIS_MARKER not in want:
298 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000299
Tim Peters26b3ebb2004-08-19 08:10:08 +0000300 # Find "the real" strings.
301 ws = want.split(ELLIPSIS_MARKER)
302 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000303
Tim Petersdc5de3b2004-08-19 14:06:20 +0000304 # Deal with exact matches possibly needed at one or both ends.
305 startpos, endpos = 0, len(got)
306 w = ws[0]
307 if w: # starts with exact match
308 if got.startswith(w):
309 startpos = len(w)
310 del ws[0]
311 else:
312 return False
313 w = ws[-1]
314 if w: # ends with exact match
315 if got.endswith(w):
316 endpos -= len(w)
317 del ws[-1]
318 else:
319 return False
320
321 if startpos > endpos:
322 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000323 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000324 return False
325
326 # For the rest, we only need to find the leftmost non-overlapping
327 # match for each piece. If there's no overall match that way alone,
328 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000329 for w in ws:
330 # w may be '' at times, if there are consecutive ellipses, or
331 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000332 # Search for an empty string succeeds, and doesn't change startpos.
333 startpos = got.find(w, startpos, endpos)
334 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000335 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000336 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000337
Tim Petersdc5de3b2004-08-19 14:06:20 +0000338 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000339
Edward Loper00f8da72004-08-26 18:05:07 +0000340def _comment_line(line):
341 "Return a commented form of the given line"
342 line = line.rstrip()
343 if line:
344 return '# '+line
345 else:
346 return '#'
347
Edward Loper2de91ba2004-08-27 02:07:46 +0000348class _OutputRedirectingPdb(pdb.Pdb):
349 """
350 A specialized version of the python debugger that redirects stdout
351 to a given stream when interacting with the user. Stdout is *not*
352 redirected when traced code is executed.
353 """
354 def __init__(self, out):
355 self.__out = out
356 pdb.Pdb.__init__(self)
357
358 def trace_dispatch(self, *args):
359 # Redirect stdout to the given stream.
360 save_stdout = sys.stdout
361 sys.stdout = self.__out
362 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000363 try:
364 return pdb.Pdb.trace_dispatch(self, *args)
365 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000366 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000367
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000368# [XX] Normalize with respect to os.path.pardir?
Edward Loper052d0cd2004-09-19 17:19:33 +0000369def _module_relative_path(module, path):
370 if not inspect.ismodule(module):
371 raise TypeError, 'Expected a module: %r' % module
372 if path.startswith('/'):
373 raise ValueError, 'Module-relative files may not have absolute paths'
374
375 # Find the base directory for the path.
376 if hasattr(module, '__file__'):
377 # A normal module/package
378 basedir = os.path.split(module.__file__)[0]
379 elif module.__name__ == '__main__':
380 # An interactive session.
381 if len(sys.argv)>0 and sys.argv[0] != '':
382 basedir = os.path.split(sys.argv[0])[0]
383 else:
384 basedir = os.curdir
385 else:
386 # A module w/o __file__ (this includes builtins)
387 raise ValueError("Can't resolve paths relative to the module " +
388 module + " (it has no __file__)")
389
390 # Combine the base directory and the path.
391 return os.path.join(basedir, *(path.split('/')))
392
Tim Peters8485b562004-08-04 18:46:34 +0000393######################################################################
394## 2. Example & DocTest
395######################################################################
396## - An "example" is a <source, want> pair, where "source" is a
397## fragment of source code, and "want" is the expected output for
398## "source." The Example class also includes information about
399## where the example was extracted from.
400##
Edward Lopera1ef6112004-08-09 16:14:41 +0000401## - A "doctest" is a collection of examples, typically extracted from
402## a string (such as an object's docstring). The DocTest class also
403## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000404
Tim Peters8485b562004-08-04 18:46:34 +0000405class Example:
406 """
407 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000408 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000409
Edward Loper74bca7a2004-08-12 02:27:44 +0000410 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000411 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000412
Edward Loper74bca7a2004-08-12 02:27:44 +0000413 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000414 from stdout, or a traceback in case of exception). `want` ends
415 with a newline unless it's empty, in which case it's an empty
416 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000417
Edward Lopera6b68322004-08-26 00:05:43 +0000418 - exc_msg: The exception message generated by the example, if
419 the example is expected to generate an exception; or `None` if
420 it is not expected to generate an exception. This exception
421 message is compared against the return value of
422 `traceback.format_exception_only()`. `exc_msg` ends with a
423 newline unless it's `None`. The constructor adds a newline
424 if needed.
425
Edward Loper74bca7a2004-08-12 02:27:44 +0000426 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000427 this Example where the Example begins. This line number is
428 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000429
430 - indent: The example's indentation in the DocTest string.
431 I.e., the number of space characters that preceed the
432 example's first prompt.
433
434 - options: A dictionary mapping from option flags to True or
435 False, which is used to override default options for this
436 example. Any option flags not contained in this dictionary
437 are left at their default value (as specified by the
438 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000439 """
Edward Lopera6b68322004-08-26 00:05:43 +0000440 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
441 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000442 # Normalize inputs.
443 if not source.endswith('\n'):
444 source += '\n'
445 if want and not want.endswith('\n'):
446 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000447 if exc_msg is not None and not exc_msg.endswith('\n'):
448 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000449 # Store properties.
450 self.source = source
451 self.want = want
452 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000453 self.indent = indent
454 if options is None: options = {}
455 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000456 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000457
Tim Peters8485b562004-08-04 18:46:34 +0000458class DocTest:
459 """
460 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000461 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000462
Tim Peters8485b562004-08-04 18:46:34 +0000463 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000464
Tim Peters8485b562004-08-04 18:46:34 +0000465 - globs: The namespace (aka globals) that the examples should
466 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000467
Tim Peters8485b562004-08-04 18:46:34 +0000468 - name: A name identifying the DocTest (typically, the name of
469 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000470
Tim Peters8485b562004-08-04 18:46:34 +0000471 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000472 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000473
Tim Peters8485b562004-08-04 18:46:34 +0000474 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000475 begins, or `None` if the line number is unavailable. This
476 line number is zero-based, with respect to the beginning of
477 the file.
478
479 - docstring: The string that the examples were extracted from,
480 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000481 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000482 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000483 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000484 Create a new DocTest containing the given examples. The
485 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000486 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000487 assert not isinstance(examples, basestring), \
488 "DocTest no longer accepts str; use DocTestParser instead"
489 self.examples = examples
490 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000491 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000492 self.name = name
493 self.filename = filename
494 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000495
496 def __repr__(self):
497 if len(self.examples) == 0:
498 examples = 'no examples'
499 elif len(self.examples) == 1:
500 examples = '1 example'
501 else:
502 examples = '%d examples' % len(self.examples)
503 return ('<DocTest %s from %s:%s (%s)>' %
504 (self.name, self.filename, self.lineno, examples))
505
506
507 # This lets us sort tests by name:
508 def __cmp__(self, other):
509 if not isinstance(other, DocTest):
510 return -1
511 return cmp((self.name, self.filename, self.lineno, id(self)),
512 (other.name, other.filename, other.lineno, id(other)))
513
514######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000515## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000516######################################################################
517
Edward Lopera1ef6112004-08-09 16:14:41 +0000518class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000519 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000520 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000521 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000522 # This regular expression is used to find doctest examples in a
523 # string. It defines three groups: `source` is the source code
524 # (including leading indentation and prompts); `indent` is the
525 # indentation of the first (PS1) line of the source code; and
526 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000527 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000528 # Source consists of a PS1 line followed by zero or more PS2 lines.
529 (?P<source>
530 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
531 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
532 \n?
533 # Want consists of any non-blank lines that do not start with PS1.
534 (?P<want> (?:(?![ ]*$) # Not a blank line
535 (?![ ]*>>>) # Not a line starting with PS1
536 .*$\n? # But any other line
537 )*)
538 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000539
Edward Lopera6b68322004-08-26 00:05:43 +0000540 # A regular expression for handling `want` strings that contain
541 # expected exceptions. It divides `want` into three pieces:
542 # - the traceback header line (`hdr`)
543 # - the traceback stack (`stack`)
544 # - the exception message (`msg`), as generated by
545 # traceback.format_exception_only()
546 # `msg` may have multiple lines. We assume/require that the
547 # exception message is the first non-indented line starting with a word
548 # character following the traceback header line.
549 _EXCEPTION_RE = re.compile(r"""
550 # Grab the traceback header. Different versions of Python have
551 # said different things on the first traceback line.
552 ^(?P<hdr> Traceback\ \(
553 (?: most\ recent\ call\ last
554 | innermost\ last
555 ) \) :
556 )
557 \s* $ # toss trailing whitespace on the header.
558 (?P<stack> .*?) # don't blink: absorb stuff until...
559 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
560 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
561
Tim Peters7ea48dd2004-08-13 01:52:59 +0000562 # A callable returning a true value iff its argument is a blank line
563 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000564 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000565
Edward Loper00f8da72004-08-26 18:05:07 +0000566 def parse(self, string, name='<string>'):
567 """
568 Divide the given string into examples and intervening text,
569 and return them as a list of alternating Examples and strings.
570 Line numbers for the Examples are 0-based. The optional
571 argument `name` is a name identifying this string, and is only
572 used for error messages.
573 """
574 string = string.expandtabs()
575 # If all lines begin with the same indentation, then strip it.
576 min_indent = self._min_indent(string)
577 if min_indent > 0:
578 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
579
580 output = []
581 charno, lineno = 0, 0
582 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000583 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000584 # Add the pre-example text to `output`.
585 output.append(string[charno:m.start()])
586 # Update lineno (lines before this example)
587 lineno += string.count('\n', charno, m.start())
588 # Extract info from the regexp match.
589 (source, options, want, exc_msg) = \
590 self._parse_example(m, name, lineno)
591 # Create an Example, and add it to the list.
592 if not self._IS_BLANK_OR_COMMENT(source):
593 output.append( Example(source, want, exc_msg,
594 lineno=lineno,
595 indent=min_indent+len(m.group('indent')),
596 options=options) )
597 # Update lineno (lines inside this example)
598 lineno += string.count('\n', m.start(), m.end())
599 # Update charno.
600 charno = m.end()
601 # Add any remaining post-example text to `output`.
602 output.append(string[charno:])
603 return output
604
Edward Lopera1ef6112004-08-09 16:14:41 +0000605 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000606 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000607 Extract all doctest examples from the given string, and
608 collect them into a `DocTest` object.
609
610 `globs`, `name`, `filename`, and `lineno` are attributes for
611 the new `DocTest` object. See the documentation for `DocTest`
612 for more information.
613 """
614 return DocTest(self.get_examples(string, name), globs,
615 name, filename, lineno, string)
616
617 def get_examples(self, string, name='<string>'):
618 """
619 Extract all doctest examples from the given string, and return
620 them as a list of `Example` objects. Line numbers are
621 0-based, because it's most common in doctests that nothing
622 interesting appears on the same line as opening triple-quote,
623 and so the first interesting line is called \"line 1\" then.
624
625 The optional argument `name` is a name identifying this
626 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000627 """
Edward Loper00f8da72004-08-26 18:05:07 +0000628 return [x for x in self.parse(string, name)
629 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000630
Edward Loper74bca7a2004-08-12 02:27:44 +0000631 def _parse_example(self, m, name, lineno):
632 """
633 Given a regular expression match from `_EXAMPLE_RE` (`m`),
634 return a pair `(source, want)`, where `source` is the matched
635 example's source code (with prompts and indentation stripped);
636 and `want` is the example's expected output (with indentation
637 stripped).
638
639 `name` is the string's name, and `lineno` is the line number
640 where the example starts; both are used for error messages.
641 """
Edward Loper7c748462004-08-09 02:06:06 +0000642 # Get the example's indentation level.
643 indent = len(m.group('indent'))
644
645 # Divide source into lines; check that they're properly
646 # indented; and then strip their indentation & prompts.
647 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000648 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000649 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000650 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000651
Tim Petersc5049152004-08-22 17:34:58 +0000652 # Divide want into lines; check that it's properly indented; and
653 # then strip the indentation. Spaces before the last newline should
654 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000655 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000656 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000657 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
658 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000659 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000660 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000661 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000662
Edward Lopera6b68322004-08-26 00:05:43 +0000663 # If `want` contains a traceback message, then extract it.
664 m = self._EXCEPTION_RE.match(want)
665 if m:
666 exc_msg = m.group('msg')
667 else:
668 exc_msg = None
669
Edward Loper00f8da72004-08-26 18:05:07 +0000670 # Extract options from the source.
671 options = self._find_options(source, name, lineno)
672
673 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000674
Edward Loper74bca7a2004-08-12 02:27:44 +0000675 # This regular expression looks for option directives in the
676 # source code of an example. Option directives are comments
677 # starting with "doctest:". Warning: this may give false
678 # positives for string-literals that contain the string
679 # "#doctest:". Eliminating these false positives would require
680 # actually parsing the string; but we limit them by ignoring any
681 # line containing "#doctest:" that is *followed* by a quote mark.
682 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
683 re.MULTILINE)
684
685 def _find_options(self, source, name, lineno):
686 """
687 Return a dictionary containing option overrides extracted from
688 option directives in the given source string.
689
690 `name` is the string's name, and `lineno` is the line number
691 where the example starts; both are used for error messages.
692 """
693 options = {}
694 # (note: with the current regexp, this will match at most once:)
695 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
696 option_strings = m.group(1).replace(',', ' ').split()
697 for option in option_strings:
698 if (option[0] not in '+-' or
699 option[1:] not in OPTIONFLAGS_BY_NAME):
700 raise ValueError('line %r of the doctest for %s '
701 'has an invalid option: %r' %
702 (lineno+1, name, option))
703 flag = OPTIONFLAGS_BY_NAME[option[1:]]
704 options[flag] = (option[0] == '+')
705 if options and self._IS_BLANK_OR_COMMENT(source):
706 raise ValueError('line %r of the doctest for %s has an option '
707 'directive on a line with no example: %r' %
708 (lineno, name, source))
709 return options
710
Edward Lopera5db6002004-08-12 02:41:30 +0000711 # This regular expression finds the indentation of every non-blank
712 # line in a string.
Edward Loper00f8da72004-08-26 18:05:07 +0000713 _INDENT_RE = re.compile('^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000714
715 def _min_indent(self, s):
716 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000717 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
718 if len(indents) > 0:
719 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000720 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000721 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000722
Edward Lopera1ef6112004-08-09 16:14:41 +0000723 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000724 """
725 Given the lines of a source string (including prompts and
726 leading indentation), check to make sure that every prompt is
727 followed by a space character. If any line is not followed by
728 a space character, then raise ValueError.
729 """
Edward Loper7c748462004-08-09 02:06:06 +0000730 for i, line in enumerate(lines):
731 if len(line) >= indent+4 and line[indent+3] != ' ':
732 raise ValueError('line %r of the docstring for %s '
733 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000734 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000735 line[indent:indent+3], line))
736
Edward Lopera1ef6112004-08-09 16:14:41 +0000737 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000738 """
739 Check that every line in the given list starts with the given
740 prefix; if any line does not, then raise a ValueError.
741 """
Edward Loper7c748462004-08-09 02:06:06 +0000742 for i, line in enumerate(lines):
743 if line and not line.startswith(prefix):
744 raise ValueError('line %r of the docstring for %s has '
745 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000746 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000747
748
749######################################################################
750## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000751######################################################################
752
753class DocTestFinder:
754 """
755 A class used to extract the DocTests that are relevant to a given
756 object, from its docstring and the docstrings of its contained
757 objects. Doctests can currently be extracted from the following
758 object types: modules, functions, classes, methods, staticmethods,
759 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000760 """
761
Edward Lopera1ef6112004-08-09 16:14:41 +0000762 def __init__(self, verbose=False, parser=DocTestParser(),
Tim Peters958cc892004-09-13 14:53:28 +0000763 recurse=True, _namefilter=None, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000764 """
765 Create a new doctest finder.
766
Edward Lopera1ef6112004-08-09 16:14:41 +0000767 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000768 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000769 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000770 signature for this factory function should match the signature
771 of the DocTest constructor.
772
Tim Peters8485b562004-08-04 18:46:34 +0000773 If the optional argument `recurse` is false, then `find` will
774 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000775
Tim Peters958cc892004-09-13 14:53:28 +0000776 If the optional argument `exclude_empty` is false, then `find`
777 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000778 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000779 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000780 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000781 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000782 self._exclude_empty = exclude_empty
Tim Petersf727c6c2004-08-08 01:48:59 +0000783 # _namefilter is undocumented, and exists only for temporary backward-
784 # compatibility support of testmod's deprecated isprivate mess.
785 self._namefilter = _namefilter
Tim Peters8485b562004-08-04 18:46:34 +0000786
787 def find(self, obj, name=None, module=None, globs=None,
Tim Petersf3f57472004-08-08 06:11:48 +0000788 extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000789 """
790 Return a list of the DocTests that are defined by the given
791 object's docstring, or by any of its contained objects'
792 docstrings.
793
794 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000795 the given object. If the module is not specified or is None, then
796 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000797 correct module. The object's module is used:
798
799 - As a default namespace, if `globs` is not specified.
800 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000801 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000802 - To find the name of the file containing the object.
803 - To help find the line number of the object within its
804 file.
805
Tim Petersf3f57472004-08-08 06:11:48 +0000806 Contained objects whose module does not match `module` are ignored.
807
808 If `module` is False, no attempt to find the module will be made.
809 This is obscure, of use mostly in tests: if `module` is False, or
810 is None but cannot be found automatically, then all objects are
811 considered to belong to the (non-existent) module, so all contained
812 objects will (recursively) be searched for doctests.
813
Tim Peters8485b562004-08-04 18:46:34 +0000814 The globals for each DocTest is formed by combining `globs`
815 and `extraglobs` (bindings in `extraglobs` override bindings
816 in `globs`). A new copy of the globals dictionary is created
817 for each DocTest. If `globs` is not specified, then it
818 defaults to the module's `__dict__`, if specified, or {}
819 otherwise. If `extraglobs` is not specified, then it defaults
820 to {}.
821
Tim Peters8485b562004-08-04 18:46:34 +0000822 """
823 # If name was not specified, then extract it from the object.
824 if name is None:
825 name = getattr(obj, '__name__', None)
826 if name is None:
827 raise ValueError("DocTestFinder.find: name must be given "
828 "when obj.__name__ doesn't exist: %r" %
829 (type(obj),))
830
831 # Find the module that contains the given object (if obj is
832 # a module, then module=obj.). Note: this may fail, in which
833 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000834 if module is False:
835 module = None
836 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000837 module = inspect.getmodule(obj)
838
839 # Read the module's source code. This is used by
840 # DocTestFinder._find_lineno to find the line number for a
841 # given object's docstring.
842 try:
843 file = inspect.getsourcefile(obj) or inspect.getfile(obj)
844 source_lines = linecache.getlines(file)
845 if not source_lines:
846 source_lines = None
847 except TypeError:
848 source_lines = None
849
850 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000851 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000852 if module is None:
853 globs = {}
854 else:
855 globs = module.__dict__.copy()
856 else:
857 globs = globs.copy()
858 if extraglobs is not None:
859 globs.update(extraglobs)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000860
Tim Peters8485b562004-08-04 18:46:34 +0000861 # Recursively expore `obj`, extracting DocTests.
862 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000863 self._find(tests, obj, name, module, source_lines, globs, {})
Tim Peters8485b562004-08-04 18:46:34 +0000864 return tests
865
866 def _filter(self, obj, prefix, base):
867 """
868 Return true if the given object should not be examined.
869 """
Tim Petersf727c6c2004-08-08 01:48:59 +0000870 return (self._namefilter is not None and
871 self._namefilter(prefix, base))
Tim Peters8485b562004-08-04 18:46:34 +0000872
873 def _from_module(self, module, object):
874 """
875 Return true if the given object is defined in the given
876 module.
877 """
878 if module is None:
879 return True
880 elif inspect.isfunction(object):
881 return module.__dict__ is object.func_globals
882 elif inspect.isclass(object):
883 return module.__name__ == object.__module__
884 elif inspect.getmodule(object) is not None:
885 return module is inspect.getmodule(object)
886 elif hasattr(object, '__module__'):
887 return module.__name__ == object.__module__
888 elif isinstance(object, property):
889 return True # [XX] no way not be sure.
890 else:
891 raise ValueError("object must be a class or function")
892
Tim Petersf3f57472004-08-08 06:11:48 +0000893 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000894 """
895 Find tests for the given object and any contained objects, and
896 add them to `tests`.
897 """
898 if self._verbose:
899 print 'Finding tests in %s' % name
900
901 # If we've already processed this object, then ignore it.
902 if id(obj) in seen:
903 return
904 seen[id(obj)] = 1
905
906 # Find a test for this object, and add it to the list of tests.
907 test = self._get_test(obj, name, module, globs, source_lines)
908 if test is not None:
909 tests.append(test)
910
911 # Look for tests in a module's contained objects.
912 if inspect.ismodule(obj) and self._recurse:
913 for valname, val in obj.__dict__.items():
914 # Check if this contained object should be ignored.
915 if self._filter(val, name, valname):
916 continue
917 valname = '%s.%s' % (name, valname)
918 # Recurse to functions & classes.
919 if ((inspect.isfunction(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +0000920 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000921 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000922 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000923
924 # Look for tests in a module's __test__ dictionary.
925 if inspect.ismodule(obj) and self._recurse:
926 for valname, val in getattr(obj, '__test__', {}).items():
927 if not isinstance(valname, basestring):
928 raise ValueError("DocTestFinder.find: __test__ keys "
929 "must be strings: %r" %
930 (type(valname),))
931 if not (inspect.isfunction(val) or inspect.isclass(val) or
932 inspect.ismethod(val) or inspect.ismodule(val) or
933 isinstance(val, basestring)):
934 raise ValueError("DocTestFinder.find: __test__ values "
935 "must be strings, functions, methods, "
936 "classes, or modules: %r" %
937 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +0000938 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +0000939 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000940 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000941
942 # Look for tests in a class's contained objects.
943 if inspect.isclass(obj) and self._recurse:
944 for valname, val in obj.__dict__.items():
945 # Check if this contained object should be ignored.
946 if self._filter(val, name, valname):
947 continue
948 # Special handling for staticmethod/classmethod.
949 if isinstance(val, staticmethod):
950 val = getattr(obj, valname)
951 if isinstance(val, classmethod):
952 val = getattr(obj, valname).im_func
953
954 # Recurse to methods, properties, and nested classes.
955 if ((inspect.isfunction(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +0000956 isinstance(val, property)) and
957 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +0000958 valname = '%s.%s' % (name, valname)
959 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +0000960 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +0000961
962 def _get_test(self, obj, name, module, globs, source_lines):
963 """
964 Return a DocTest for the given object, if it defines a docstring;
965 otherwise, return None.
966 """
967 # Extract the object's docstring. If it doesn't have one,
968 # then return None (no test for this object).
969 if isinstance(obj, basestring):
970 docstring = obj
971 else:
972 try:
973 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +0000974 docstring = ''
975 else:
Jim Fulton7d428782004-10-13 14:15:32 +0000976 docstring = obj.__doc__
977 if not isinstance(docstring, basestring):
978 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +0000979 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +0000980 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +0000981
982 # Find the docstring's location in the file.
983 lineno = self._find_lineno(obj, source_lines)
984
Edward Loper32ddbf72004-09-13 05:47:24 +0000985 # Don't bother if the docstring is empty.
986 if self._exclude_empty and not docstring:
987 return None
988
Tim Peters8485b562004-08-04 18:46:34 +0000989 # Return a DocTest for this object.
990 if module is None:
991 filename = None
992 else:
993 filename = getattr(module, '__file__', module.__name__)
Jim Fulton07a349c2004-08-22 14:10:00 +0000994 if filename[-4:] in (".pyc", ".pyo"):
995 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +0000996 return self._parser.get_doctest(docstring, globs, name,
997 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +0000998
999 def _find_lineno(self, obj, source_lines):
1000 """
1001 Return a line number of the given object's docstring. Note:
1002 this method assumes that the object has a docstring.
1003 """
1004 lineno = None
1005
1006 # Find the line number for modules.
1007 if inspect.ismodule(obj):
1008 lineno = 0
1009
1010 # Find the line number for classes.
1011 # Note: this could be fooled if a class is defined multiple
1012 # times in a single file.
1013 if inspect.isclass(obj):
1014 if source_lines is None:
1015 return None
1016 pat = re.compile(r'^\s*class\s*%s\b' %
1017 getattr(obj, '__name__', '-'))
1018 for i, line in enumerate(source_lines):
1019 if pat.match(line):
1020 lineno = i
1021 break
1022
1023 # Find the line number for functions & methods.
1024 if inspect.ismethod(obj): obj = obj.im_func
1025 if inspect.isfunction(obj): obj = obj.func_code
1026 if inspect.istraceback(obj): obj = obj.tb_frame
1027 if inspect.isframe(obj): obj = obj.f_code
1028 if inspect.iscode(obj):
1029 lineno = getattr(obj, 'co_firstlineno', None)-1
1030
1031 # Find the line number where the docstring starts. Assume
1032 # that it's the first line that begins with a quote mark.
1033 # Note: this could be fooled by a multiline function
1034 # signature, where a continuation line begins with a quote
1035 # mark.
1036 if lineno is not None:
1037 if source_lines is None:
1038 return lineno+1
1039 pat = re.compile('(^|.*:)\s*\w*("|\')')
1040 for lineno in range(lineno, len(source_lines)):
1041 if pat.match(source_lines[lineno]):
1042 return lineno
1043
1044 # We couldn't find the line number.
1045 return None
1046
1047######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001048## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001049######################################################################
1050
Tim Peters8485b562004-08-04 18:46:34 +00001051class DocTestRunner:
1052 """
1053 A class used to run DocTest test cases, and accumulate statistics.
1054 The `run` method is used to process a single DocTest case. It
1055 returns a tuple `(f, t)`, where `t` is the number of test cases
1056 tried, and `f` is the number of test cases that failed.
1057
1058 >>> tests = DocTestFinder().find(_TestClass)
1059 >>> runner = DocTestRunner(verbose=False)
1060 >>> for test in tests:
1061 ... print runner.run(test)
1062 (0, 2)
1063 (0, 1)
1064 (0, 2)
1065 (0, 2)
1066
1067 The `summarize` method prints a summary of all the test cases that
1068 have been run by the runner, and returns an aggregated `(f, t)`
1069 tuple:
1070
1071 >>> runner.summarize(verbose=1)
1072 4 items passed all tests:
1073 2 tests in _TestClass
1074 2 tests in _TestClass.__init__
1075 2 tests in _TestClass.get
1076 1 tests in _TestClass.square
1077 7 tests in 4 items.
1078 7 passed and 0 failed.
1079 Test passed.
1080 (0, 7)
1081
1082 The aggregated number of tried examples and failed examples is
1083 also available via the `tries` and `failures` attributes:
1084
1085 >>> runner.tries
1086 7
1087 >>> runner.failures
1088 0
1089
1090 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001091 by an `OutputChecker`. This comparison may be customized with a
1092 number of option flags; see the documentation for `testmod` for
1093 more information. If the option flags are insufficient, then the
1094 comparison may also be customized by passing a subclass of
1095 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001096
1097 The test runner's display output can be controlled in two ways.
1098 First, an output function (`out) can be passed to
1099 `TestRunner.run`; this function will be called with strings that
1100 should be displayed. It defaults to `sys.stdout.write`. If
1101 capturing the output is not sufficient, then the display output
1102 can be also customized by subclassing DocTestRunner, and
1103 overriding the methods `report_start`, `report_success`,
1104 `report_unexpected_exception`, and `report_failure`.
1105 """
1106 # This divider string is used to separate failure messages, and to
1107 # separate sections of the summary.
1108 DIVIDER = "*" * 70
1109
Edward Loper34fcb142004-08-09 02:45:41 +00001110 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001111 """
1112 Create a new test runner.
1113
Edward Loper34fcb142004-08-09 02:45:41 +00001114 Optional keyword arg `checker` is the `OutputChecker` that
1115 should be used to compare the expected outputs and actual
1116 outputs of doctest examples.
1117
Tim Peters8485b562004-08-04 18:46:34 +00001118 Optional keyword arg 'verbose' prints lots of stuff if true,
1119 only failures if false; by default, it's true iff '-v' is in
1120 sys.argv.
1121
1122 Optional argument `optionflags` can be used to control how the
1123 test runner compares expected output to actual output, and how
1124 it displays failures. See the documentation for `testmod` for
1125 more information.
1126 """
Edward Loper34fcb142004-08-09 02:45:41 +00001127 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001128 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001129 verbose = '-v' in sys.argv
1130 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001131 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001132 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001133
Tim Peters8485b562004-08-04 18:46:34 +00001134 # Keep track of the examples we've run.
1135 self.tries = 0
1136 self.failures = 0
1137 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001138
Tim Peters8485b562004-08-04 18:46:34 +00001139 # Create a fake output target for capturing doctest output.
1140 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001141
Tim Peters8485b562004-08-04 18:46:34 +00001142 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001143 # Reporting methods
1144 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001145
Tim Peters8485b562004-08-04 18:46:34 +00001146 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001147 """
Tim Peters8485b562004-08-04 18:46:34 +00001148 Report that the test runner is about to process the given
1149 example. (Only displays a message if verbose=True)
1150 """
1151 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001152 if example.want:
1153 out('Trying:\n' + _indent(example.source) +
1154 'Expecting:\n' + _indent(example.want))
1155 else:
1156 out('Trying:\n' + _indent(example.source) +
1157 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001158
Tim Peters8485b562004-08-04 18:46:34 +00001159 def report_success(self, out, test, example, got):
1160 """
1161 Report that the given example ran successfully. (Only
1162 displays a message if verbose=True)
1163 """
1164 if self._verbose:
1165 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001166
Tim Peters8485b562004-08-04 18:46:34 +00001167 def report_failure(self, out, test, example, got):
1168 """
1169 Report that the given example failed.
1170 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001171 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001172 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001173
Tim Peters8485b562004-08-04 18:46:34 +00001174 def report_unexpected_exception(self, out, test, example, exc_info):
1175 """
1176 Report that the given example raised an unexpected exception.
1177 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001178 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001179 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001180
Edward Loper8e4a34b2004-08-12 02:34:27 +00001181 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001182 out = [self.DIVIDER]
1183 if test.filename:
1184 if test.lineno is not None and example.lineno is not None:
1185 lineno = test.lineno + example.lineno + 1
1186 else:
1187 lineno = '?'
1188 out.append('File "%s", line %s, in %s' %
1189 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001190 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001191 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1192 out.append('Failed example:')
1193 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001194 out.append(_indent(source))
1195 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001196
Tim Peters8485b562004-08-04 18:46:34 +00001197 #/////////////////////////////////////////////////////////////////
1198 # DocTest Running
1199 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001200
Tim Peters8485b562004-08-04 18:46:34 +00001201 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001202 """
Tim Peters8485b562004-08-04 18:46:34 +00001203 Run the examples in `test`. Write the outcome of each example
1204 with one of the `DocTestRunner.report_*` methods, using the
1205 writer function `out`. `compileflags` is the set of compiler
1206 flags that should be used to execute examples. Return a tuple
1207 `(f, t)`, where `t` is the number of examples tried, and `f`
1208 is the number of examples that failed. The examples are run
1209 in the namespace `test.globs`.
1210 """
1211 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001212 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001213
1214 # Save the option flags (since option directives can be used
1215 # to modify them).
1216 original_optionflags = self.optionflags
1217
Tim Peters1fbf9c52004-09-04 17:21:02 +00001218 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1219
1220 check = self._checker.check_output
1221
Tim Peters8485b562004-08-04 18:46:34 +00001222 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001223 for examplenum, example in enumerate(test.examples):
1224
Edward Lopera89f88d2004-08-26 02:45:51 +00001225 # If REPORT_ONLY_FIRST_FAILURE is set, then supress
1226 # reporting after the first failure.
1227 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1228 failures > 0)
1229
Edward Loper74bca7a2004-08-12 02:27:44 +00001230 # Merge in the example's options.
1231 self.optionflags = original_optionflags
1232 if example.options:
1233 for (optionflag, val) in example.options.items():
1234 if val:
1235 self.optionflags |= optionflag
1236 else:
1237 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001238
Tim Peters711bf302006-04-25 03:31:36 +00001239 # If 'SKIP' is set, then skip this example.
1240 if self.optionflags & SKIP:
1241 continue
1242
Tim Peters8485b562004-08-04 18:46:34 +00001243 # Record that we started this example.
1244 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001245 if not quiet:
1246 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001247
Edward Loper2de91ba2004-08-27 02:07:46 +00001248 # Use a special filename for compile(), so we can retrieve
1249 # the source code during interactive debugging (see
1250 # __patched_linecache_getlines).
1251 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1252
Tim Peters8485b562004-08-04 18:46:34 +00001253 # Run the example in the given context (globs), and record
1254 # any exception that gets raised. (But don't intercept
1255 # keyboard interrupts.)
1256 try:
Tim Peters208ca702004-08-09 04:12:36 +00001257 # Don't blink! This is where the user's code gets run.
Edward Loper2de91ba2004-08-27 02:07:46 +00001258 exec compile(example.source, filename, "single",
Tim Peters8485b562004-08-04 18:46:34 +00001259 compileflags, 1) in test.globs
Edward Loper2de91ba2004-08-27 02:07:46 +00001260 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001261 exception = None
1262 except KeyboardInterrupt:
1263 raise
1264 except:
1265 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001266 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001267
Tim Peters208ca702004-08-09 04:12:36 +00001268 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001269 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001270 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001271
1272 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001273 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001274 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001275 if check(example.want, got, self.optionflags):
1276 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001277
Tim Peters1fbf9c52004-09-04 17:21:02 +00001278 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001279 else:
1280 exc_info = sys.exc_info()
1281 exc_msg = traceback.format_exception_only(*exc_info[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001282 if not quiet:
1283 got += _exception_traceback(exc_info)
Tim Peters8485b562004-08-04 18:46:34 +00001284
Tim Peters1fbf9c52004-09-04 17:21:02 +00001285 # If `example.exc_msg` is None, then we weren't expecting
1286 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001287 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001288 outcome = BOOM
1289
1290 # We expected an exception: see whether it matches.
1291 elif check(example.exc_msg, exc_msg, self.optionflags):
1292 outcome = SUCCESS
1293
1294 # Another chance if they didn't care about the detail.
1295 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
1296 m1 = re.match(r'[^:]*:', example.exc_msg)
1297 m2 = re.match(r'[^:]*:', exc_msg)
1298 if m1 and m2 and check(m1.group(0), m2.group(0),
1299 self.optionflags):
1300 outcome = SUCCESS
1301
1302 # Report the outcome.
1303 if outcome is SUCCESS:
1304 if not quiet:
1305 self.report_success(out, test, example, got)
1306 elif outcome is FAILURE:
1307 if not quiet:
1308 self.report_failure(out, test, example, got)
1309 failures += 1
1310 elif outcome is BOOM:
1311 if not quiet:
1312 self.report_unexpected_exception(out, test, example,
1313 exc_info)
1314 failures += 1
1315 else:
1316 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001317
1318 # Restore the option flags (in case they were modified)
1319 self.optionflags = original_optionflags
1320
1321 # Record and return the number of failures and tries.
1322 self.__record_outcome(test, failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001323 return failures, tries
1324
Tim Peters8485b562004-08-04 18:46:34 +00001325 def __record_outcome(self, test, f, t):
1326 """
1327 Record the fact that the given DocTest (`test`) generated `f`
1328 failures out of `t` tried examples.
1329 """
1330 f2, t2 = self._name2ft.get(test.name, (0,0))
1331 self._name2ft[test.name] = (f+f2, t+t2)
1332 self.failures += f
1333 self.tries += t
1334
Edward Loper2de91ba2004-08-27 02:07:46 +00001335 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
1336 r'(?P<name>[\w\.]+)'
1337 r'\[(?P<examplenum>\d+)\]>$')
Phillip J. Eby47032112006-04-11 01:07:43 +00001338 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001339 m = self.__LINECACHE_FILENAME_RE.match(filename)
1340 if m and m.group('name') == self.test.name:
1341 example = self.test.examples[int(m.group('examplenum'))]
1342 return example.source.splitlines(True)
1343 else:
Phillip J. Eby47032112006-04-11 01:07:43 +00001344 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001345
Tim Peters8485b562004-08-04 18:46:34 +00001346 def run(self, test, compileflags=None, out=None, clear_globs=True):
1347 """
1348 Run the examples in `test`, and display the results using the
1349 writer function `out`.
1350
1351 The examples are run in the namespace `test.globs`. If
1352 `clear_globs` is true (the default), then this namespace will
1353 be cleared after the test runs, to help with garbage
1354 collection. If you would like to examine the namespace after
1355 the test completes, then use `clear_globs=False`.
1356
1357 `compileflags` gives the set of flags that should be used by
1358 the Python compiler when running the examples. If not
1359 specified, then it will default to the set of future-import
1360 flags that apply to `globs`.
1361
1362 The output of each example is checked using
1363 `DocTestRunner.check_output`, and the results are formatted by
1364 the `DocTestRunner.report_*` methods.
1365 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001366 self.test = test
1367
Tim Peters8485b562004-08-04 18:46:34 +00001368 if compileflags is None:
1369 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001370
Tim Peters6c542b72004-08-09 16:43:36 +00001371 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001372 if out is None:
Tim Peters6c542b72004-08-09 16:43:36 +00001373 out = save_stdout.write
1374 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001375
Edward Loper2de91ba2004-08-27 02:07:46 +00001376 # Patch pdb.set_trace to restore sys.stdout during interactive
1377 # debugging (so it's not still redirected to self._fakeout).
1378 # Note that the interactive output will go to *our*
1379 # save_stdout, even if that's not the real sys.stdout; this
1380 # allows us to write test cases for the set_trace behavior.
Tim Peters6c542b72004-08-09 16:43:36 +00001381 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001382 self.debugger = _OutputRedirectingPdb(save_stdout)
1383 self.debugger.reset()
1384 pdb.set_trace = self.debugger.set_trace
1385
1386 # Patch linecache.getlines, so we can see the example's source
1387 # when we're inside the debugger.
1388 self.save_linecache_getlines = linecache.getlines
1389 linecache.getlines = self.__patched_linecache_getlines
1390
Tim Peters8485b562004-08-04 18:46:34 +00001391 try:
Tim Peters8485b562004-08-04 18:46:34 +00001392 return self.__run(test, compileflags, out)
1393 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001394 sys.stdout = save_stdout
1395 pdb.set_trace = save_set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001396 linecache.getlines = self.save_linecache_getlines
Tim Peters8485b562004-08-04 18:46:34 +00001397 if clear_globs:
1398 test.globs.clear()
1399
1400 #/////////////////////////////////////////////////////////////////
1401 # Summarization
1402 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001403 def summarize(self, verbose=None):
1404 """
Tim Peters8485b562004-08-04 18:46:34 +00001405 Print a summary of all the test cases that have been run by
1406 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1407 the total number of failed examples, and `t` is the total
1408 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001409
Tim Peters8485b562004-08-04 18:46:34 +00001410 The optional `verbose` argument controls how detailed the
1411 summary is. If the verbosity is not specified, then the
1412 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001413 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001414 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001415 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001416 notests = []
1417 passed = []
1418 failed = []
1419 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001420 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001421 name, (f, t) = x
1422 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001423 totalt += t
1424 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001425 if t == 0:
1426 notests.append(name)
1427 elif f == 0:
1428 passed.append( (name, t) )
1429 else:
1430 failed.append(x)
1431 if verbose:
1432 if notests:
1433 print len(notests), "items had no tests:"
1434 notests.sort()
1435 for thing in notests:
1436 print " ", thing
1437 if passed:
1438 print len(passed), "items passed all tests:"
1439 passed.sort()
1440 for thing, count in passed:
1441 print " %3d tests in %s" % (count, thing)
1442 if failed:
Tim Peters8485b562004-08-04 18:46:34 +00001443 print self.DIVIDER
Tim Peters8a7d2d52001-01-16 07:10:57 +00001444 print len(failed), "items had failures:"
1445 failed.sort()
1446 for thing, (f, t) in failed:
1447 print " %3d of %3d in %s" % (f, t, thing)
1448 if verbose:
Tim Peters8485b562004-08-04 18:46:34 +00001449 print totalt, "tests in", len(self._name2ft), "items."
Tim Peters8a7d2d52001-01-16 07:10:57 +00001450 print totalt - totalf, "passed and", totalf, "failed."
1451 if totalf:
1452 print "***Test Failed***", totalf, "failures."
1453 elif verbose:
1454 print "Test passed."
1455 return totalf, totalt
1456
Tim Peters82076ef2004-09-13 00:52:51 +00001457 #/////////////////////////////////////////////////////////////////
1458 # Backward compatibility cruft to maintain doctest.master.
1459 #/////////////////////////////////////////////////////////////////
1460 def merge(self, other):
1461 d = self._name2ft
1462 for name, (f, t) in other._name2ft.items():
1463 if name in d:
1464 print "*** DocTestRunner.merge: '" + name + "' in both" \
1465 " testers; summing outcomes."
1466 f2, t2 = d[name]
1467 f = f + f2
1468 t = t + t2
1469 d[name] = f, t
1470
Edward Loper34fcb142004-08-09 02:45:41 +00001471class OutputChecker:
1472 """
1473 A class used to check the whether the actual output from a doctest
1474 example matches the expected output. `OutputChecker` defines two
1475 methods: `check_output`, which compares a given pair of outputs,
1476 and returns true if they match; and `output_difference`, which
1477 returns a string describing the differences between two outputs.
1478 """
1479 def check_output(self, want, got, optionflags):
1480 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001481 Return True iff the actual output from an example (`got`)
1482 matches the expected output (`want`). These strings are
1483 always considered to match if they are identical; but
1484 depending on what option flags the test runner is using,
1485 several non-exact match types are also possible. See the
1486 documentation for `TestRunner` for more information about
1487 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001488 """
1489 # Handle the common case first, for efficiency:
1490 # if they're string-identical, always return true.
1491 if got == want:
1492 return True
1493
1494 # The values True and False replaced 1 and 0 as the return
1495 # value for boolean comparisons in Python 2.3.
1496 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1497 if (got,want) == ("True\n", "1\n"):
1498 return True
1499 if (got,want) == ("False\n", "0\n"):
1500 return True
1501
1502 # <BLANKLINE> can be used as a special sequence to signify a
1503 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1504 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1505 # Replace <BLANKLINE> in want with a blank line.
1506 want = re.sub('(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
1507 '', want)
1508 # If a line in got contains only spaces, then remove the
1509 # spaces.
1510 got = re.sub('(?m)^\s*?$', '', got)
1511 if got == want:
1512 return True
1513
1514 # This flag causes doctest to ignore any differences in the
1515 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001516 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001517 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001518 got = ' '.join(got.split())
1519 want = ' '.join(want.split())
1520 if got == want:
1521 return True
1522
1523 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001524 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001525 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001526 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001527 return True
1528
1529 # We didn't find any match; return false.
1530 return False
1531
Tim Petersc6cbab02004-08-22 19:43:28 +00001532 # Should we do a fancy diff?
1533 def _do_a_fancy_diff(self, want, got, optionflags):
1534 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001535 if not optionflags & (REPORT_UDIFF |
1536 REPORT_CDIFF |
1537 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001538 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001539
Tim Petersc6cbab02004-08-22 19:43:28 +00001540 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001541 # too hard ... or maybe not. In two real-life failures Tim saw,
1542 # a diff was a major help anyway, so this is commented out.
1543 # [todo] _ellipsis_match() knows which pieces do and don't match,
1544 # and could be the basis for a kick-ass diff in this case.
1545 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1546 ## return False
1547
Tim Petersc6cbab02004-08-22 19:43:28 +00001548 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001549 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001550 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001551 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001552
Tim Petersc6cbab02004-08-22 19:43:28 +00001553 # The other diff types need at least a few lines to be helpful.
1554 return want.count('\n') > 2 and got.count('\n') > 2
1555
Edward Loperca9111e2004-08-26 03:00:24 +00001556 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001557 """
1558 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001559 expected output for a given example (`example`) and the actual
1560 output (`got`). `optionflags` is the set of option flags used
1561 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001562 """
Edward Loperca9111e2004-08-26 03:00:24 +00001563 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001564 # If <BLANKLINE>s are being used, then replace blank lines
1565 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001566 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001567 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001568
Tim Peters5b799c12004-08-26 05:21:59 +00001569 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001570 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001571 # Split want & got into lines.
Tim Peterse7edcb82004-08-26 05:44:27 +00001572 want_lines = want.splitlines(True) # True == keep line ends
1573 got_lines = got.splitlines(True)
Edward Loper34fcb142004-08-09 02:45:41 +00001574 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001575 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001576 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1577 diff = list(diff)[2:] # strip the diff header
1578 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001579 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001580 diff = difflib.context_diff(want_lines, got_lines, n=2)
1581 diff = list(diff)[2:] # strip the diff header
1582 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001583 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001584 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1585 diff = list(engine.compare(want_lines, got_lines))
1586 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001587 else:
1588 assert 0, 'Bad diff option'
1589 # Remove trailing whitespace on diff output.
1590 diff = [line.rstrip() + '\n' for line in diff]
Edward Loperaacf0832004-08-26 01:19:50 +00001591 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001592
1593 # If we're not using diff, then simply list the expected
1594 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001595 if want and got:
1596 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1597 elif want:
1598 return 'Expected:\n%sGot nothing\n' % _indent(want)
1599 elif got:
1600 return 'Expected nothing\nGot:\n%s' % _indent(got)
1601 else:
1602 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001603
Tim Peters19397e52004-08-06 22:02:59 +00001604class DocTestFailure(Exception):
1605 """A DocTest example has failed in debugging mode.
1606
1607 The exception instance has variables:
1608
1609 - test: the DocTest object being run
1610
1611 - excample: the Example object that failed
1612
1613 - got: the actual output
1614 """
1615 def __init__(self, test, example, got):
1616 self.test = test
1617 self.example = example
1618 self.got = got
1619
1620 def __str__(self):
1621 return str(self.test)
1622
1623class UnexpectedException(Exception):
1624 """A DocTest example has encountered an unexpected exception
1625
1626 The exception instance has variables:
1627
1628 - test: the DocTest object being run
1629
1630 - excample: the Example object that failed
1631
1632 - exc_info: the exception info
1633 """
1634 def __init__(self, test, example, exc_info):
1635 self.test = test
1636 self.example = example
1637 self.exc_info = exc_info
1638
1639 def __str__(self):
1640 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001641
Tim Peters19397e52004-08-06 22:02:59 +00001642class DebugRunner(DocTestRunner):
1643 r"""Run doc tests but raise an exception as soon as there is a failure.
1644
1645 If an unexpected exception occurs, an UnexpectedException is raised.
1646 It contains the test, the example, and the original exception:
1647
1648 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001649 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1650 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001651 >>> try:
1652 ... runner.run(test)
1653 ... except UnexpectedException, failure:
1654 ... pass
1655
1656 >>> failure.test is test
1657 True
1658
1659 >>> failure.example.want
1660 '42\n'
1661
1662 >>> exc_info = failure.exc_info
1663 >>> raise exc_info[0], exc_info[1], exc_info[2]
1664 Traceback (most recent call last):
1665 ...
1666 KeyError
1667
1668 We wrap the original exception to give the calling application
1669 access to the test and example information.
1670
1671 If the output doesn't match, then a DocTestFailure is raised:
1672
Edward Lopera1ef6112004-08-09 16:14:41 +00001673 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001674 ... >>> x = 1
1675 ... >>> x
1676 ... 2
1677 ... ''', {}, 'foo', 'foo.py', 0)
1678
1679 >>> try:
1680 ... runner.run(test)
1681 ... except DocTestFailure, failure:
1682 ... pass
1683
1684 DocTestFailure objects provide access to the test:
1685
1686 >>> failure.test is test
1687 True
1688
1689 As well as to the example:
1690
1691 >>> failure.example.want
1692 '2\n'
1693
1694 and the actual output:
1695
1696 >>> failure.got
1697 '1\n'
1698
1699 If a failure or error occurs, the globals are left intact:
1700
1701 >>> del test.globs['__builtins__']
1702 >>> test.globs
1703 {'x': 1}
1704
Edward Lopera1ef6112004-08-09 16:14:41 +00001705 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001706 ... >>> x = 2
1707 ... >>> raise KeyError
1708 ... ''', {}, 'foo', 'foo.py', 0)
1709
1710 >>> runner.run(test)
1711 Traceback (most recent call last):
1712 ...
1713 UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001714
Tim Peters19397e52004-08-06 22:02:59 +00001715 >>> del test.globs['__builtins__']
1716 >>> test.globs
1717 {'x': 2}
1718
1719 But the globals are cleared if there is no error:
1720
Edward Lopera1ef6112004-08-09 16:14:41 +00001721 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001722 ... >>> x = 2
1723 ... ''', {}, 'foo', 'foo.py', 0)
1724
1725 >>> runner.run(test)
1726 (0, 1)
1727
1728 >>> test.globs
1729 {}
1730
1731 """
1732
1733 def run(self, test, compileflags=None, out=None, clear_globs=True):
1734 r = DocTestRunner.run(self, test, compileflags, out, False)
1735 if clear_globs:
1736 test.globs.clear()
1737 return r
1738
1739 def report_unexpected_exception(self, out, test, example, exc_info):
1740 raise UnexpectedException(test, example, exc_info)
1741
1742 def report_failure(self, out, test, example, got):
1743 raise DocTestFailure(test, example, got)
1744
Tim Peters8485b562004-08-04 18:46:34 +00001745######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001746## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001747######################################################################
1748# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001749
Tim Peters82076ef2004-09-13 00:52:51 +00001750# For backward compatibility, a global instance of a DocTestRunner
1751# class, updated by testmod.
1752master = None
1753
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001754def testmod(m=None, name=None, globs=None, verbose=None, isprivate=None,
Tim Peters19397e52004-08-06 22:02:59 +00001755 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001756 raise_on_error=False, exclude_empty=False):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001757 """m=None, name=None, globs=None, verbose=None, isprivate=None,
Tim Peters958cc892004-09-13 14:53:28 +00001758 report=True, optionflags=0, extraglobs=None, raise_on_error=False,
1759 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001760
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001761 Test examples in docstrings in functions and classes reachable
1762 from module m (or the current module if m is not supplied), starting
Raymond Hettinger71adf7e2003-07-16 19:25:22 +00001763 with m.__doc__. Unless isprivate is specified, private names
1764 are not skipped.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001765
1766 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001767 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001768 function and class docstrings are tested even if the name is private;
1769 strings are tested directly, as if they were docstrings.
1770
1771 Return (#failures, #tests).
1772
1773 See doctest.__doc__ for an overview.
1774
1775 Optional keyword arg "name" gives the name of the module; by default
1776 use m.__name__.
1777
1778 Optional keyword arg "globs" gives a dict to be used as the globals
1779 when executing examples; by default, use m.__dict__. A copy of this
1780 dict is actually used for each docstring, so that each docstring's
1781 examples start with a clean slate.
1782
Tim Peters8485b562004-08-04 18:46:34 +00001783 Optional keyword arg "extraglobs" gives a dictionary that should be
1784 merged into the globals that are used to execute examples. By
1785 default, no extra globals are used. This is new in 2.4.
1786
Tim Peters8a7d2d52001-01-16 07:10:57 +00001787 Optional keyword arg "verbose" prints lots of stuff if true, prints
1788 only failures if false; by default, it's true iff "-v" is in sys.argv.
1789
Tim Peters8a7d2d52001-01-16 07:10:57 +00001790 Optional keyword arg "report" prints a summary at the end when true,
1791 else prints nothing at the end. In verbose mode, the summary is
1792 detailed, else very brief (in fact, empty if all tests passed).
1793
Tim Peters6ebe61f2003-06-27 20:48:05 +00001794 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001795 and defaults to 0. This is new in 2.3. Possible values (see the
1796 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001797
1798 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001799 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001800 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001801 ELLIPSIS
Tim Peters711bf302006-04-25 03:31:36 +00001802 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001803 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001804 REPORT_UDIFF
1805 REPORT_CDIFF
1806 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001807 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001808
1809 Optional keyword arg "raise_on_error" raises an exception on the
1810 first unexpected exception or failure. This allows failures to be
1811 post-mortem debugged.
1812
Tim Petersf727c6c2004-08-08 01:48:59 +00001813 Deprecated in Python 2.4:
1814 Optional keyword arg "isprivate" specifies a function used to
1815 determine whether a name is private. The default function is
1816 treat all functions as public. Optionally, "isprivate" can be
1817 set to doctest.is_private to skip over functions marked as private
1818 using the underscore naming convention; see its docs for details.
Tim Peters8485b562004-08-04 18:46:34 +00001819
Tim Peters8a7d2d52001-01-16 07:10:57 +00001820 Advanced tomfoolery: testmod runs methods of a local instance of
1821 class doctest.Tester, then merges the results into (or creates)
1822 global Tester instance doctest.master. Methods of doctest.master
1823 can be called directly too, if you want to do something unusual.
1824 Passing report=0 to testmod is especially useful then, to delay
1825 displaying a summary. Invoke doctest.master.summarize(verbose)
1826 when you're done fiddling.
1827 """
Tim Peters82076ef2004-09-13 00:52:51 +00001828 global master
1829
Tim Petersf727c6c2004-08-08 01:48:59 +00001830 if isprivate is not None:
1831 warnings.warn("the isprivate argument is deprecated; "
1832 "examine DocTestFinder.find() lists instead",
1833 DeprecationWarning)
1834
Tim Peters8485b562004-08-04 18:46:34 +00001835 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001836 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001837 # DWA - m will still be None if this wasn't invoked from the command
1838 # line, in which case the following TypeError is about as good an error
1839 # as we should expect
1840 m = sys.modules.get('__main__')
1841
Tim Peters8485b562004-08-04 18:46:34 +00001842 # Check that we were actually given a module.
1843 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001844 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001845
1846 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001847 if name is None:
1848 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001849
1850 # Find, parse, and run all tests in the given module.
Tim Peters958cc892004-09-13 14:53:28 +00001851 finder = DocTestFinder(_namefilter=isprivate, exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001852
1853 if raise_on_error:
1854 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1855 else:
1856 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1857
Tim Peters8485b562004-08-04 18:46:34 +00001858 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1859 runner.run(test)
1860
Tim Peters8a7d2d52001-01-16 07:10:57 +00001861 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001862 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001863
Tim Peters82076ef2004-09-13 00:52:51 +00001864 if master is None:
1865 master = runner
1866 else:
1867 master.merge(runner)
1868
Tim Peters8485b562004-08-04 18:46:34 +00001869 return runner.failures, runner.tries
Tim Petersdb3756d2003-06-29 05:30:48 +00001870
Edward Loper052d0cd2004-09-19 17:19:33 +00001871def testfile(filename, module_relative=True, name=None, package=None,
1872 globs=None, verbose=None, report=True, optionflags=0,
Edward Loper498a1862004-09-27 03:42:58 +00001873 extraglobs=None, raise_on_error=False, parser=DocTestParser()):
Edward Loper052d0cd2004-09-19 17:19:33 +00001874 """
1875 Test examples in the given file. Return (#failures, #tests).
1876
1877 Optional keyword arg "module_relative" specifies how filenames
1878 should be interpreted:
1879
1880 - If "module_relative" is True (the default), then "filename"
1881 specifies a module-relative path. By default, this path is
1882 relative to the calling module's directory; but if the
1883 "package" argument is specified, then it is relative to that
1884 package. To ensure os-independence, "filename" should use
1885 "/" characters to separate path segments, and should not
1886 be an absolute path (i.e., it may not begin with "/").
1887
1888 - If "module_relative" is False, then "filename" specifies an
1889 os-specific path. The path may be absolute or relative (to
1890 the current working directory).
1891
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001892 Optional keyword arg "name" gives the name of the test; by default
1893 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001894
1895 Optional keyword argument "package" is a Python package or the
1896 name of a Python package whose directory should be used as the
1897 base directory for a module relative filename. If no package is
1898 specified, then the calling module's directory is used as the base
1899 directory for module relative filenames. It is an error to
1900 specify "package" if "module_relative" is False.
1901
1902 Optional keyword arg "globs" gives a dict to be used as the globals
1903 when executing examples; by default, use {}. A copy of this dict
1904 is actually used for each docstring, so that each docstring's
1905 examples start with a clean slate.
1906
1907 Optional keyword arg "extraglobs" gives a dictionary that should be
1908 merged into the globals that are used to execute examples. By
1909 default, no extra globals are used.
1910
1911 Optional keyword arg "verbose" prints lots of stuff if true, prints
1912 only failures if false; by default, it's true iff "-v" is in sys.argv.
1913
1914 Optional keyword arg "report" prints a summary at the end when true,
1915 else prints nothing at the end. In verbose mode, the summary is
1916 detailed, else very brief (in fact, empty if all tests passed).
1917
1918 Optional keyword arg "optionflags" or's together module constants,
1919 and defaults to 0. Possible values (see the docs for details):
1920
1921 DONT_ACCEPT_TRUE_FOR_1
1922 DONT_ACCEPT_BLANKLINE
1923 NORMALIZE_WHITESPACE
1924 ELLIPSIS
Tim Peters711bf302006-04-25 03:31:36 +00001925 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001926 IGNORE_EXCEPTION_DETAIL
1927 REPORT_UDIFF
1928 REPORT_CDIFF
1929 REPORT_NDIFF
1930 REPORT_ONLY_FIRST_FAILURE
1931
1932 Optional keyword arg "raise_on_error" raises an exception on the
1933 first unexpected exception or failure. This allows failures to be
1934 post-mortem debugged.
1935
Edward Loper498a1862004-09-27 03:42:58 +00001936 Optional keyword arg "parser" specifies a DocTestParser (or
1937 subclass) that should be used to extract tests from the files.
1938
Edward Loper052d0cd2004-09-19 17:19:33 +00001939 Advanced tomfoolery: testmod runs methods of a local instance of
1940 class doctest.Tester, then merges the results into (or creates)
1941 global Tester instance doctest.master. Methods of doctest.master
1942 can be called directly too, if you want to do something unusual.
1943 Passing report=0 to testmod is especially useful then, to delay
1944 displaying a summary. Invoke doctest.master.summarize(verbose)
1945 when you're done fiddling.
1946 """
1947 global master
1948
1949 if package and not module_relative:
1950 raise ValueError("Package may only be specified for module-"
1951 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00001952
Edward Loper052d0cd2004-09-19 17:19:33 +00001953 # Relativize the path
Phillip J. Eby47032112006-04-11 01:07:43 +00001954 text, filename = _load_testfile(filename, package, module_relative)
Edward Loper052d0cd2004-09-19 17:19:33 +00001955
1956 # If no name was given, then use the file's name.
1957 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001958 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00001959
1960 # Assemble the globals.
1961 if globs is None:
1962 globs = {}
1963 else:
1964 globs = globs.copy()
1965 if extraglobs is not None:
1966 globs.update(extraglobs)
1967
1968 if raise_on_error:
1969 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1970 else:
1971 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1972
1973 # Read the file, convert it to a test, and run it.
Phillip J. Eby47032112006-04-11 01:07:43 +00001974 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00001975 runner.run(test)
1976
1977 if report:
1978 runner.summarize()
1979
1980 if master is None:
1981 master = runner
1982 else:
1983 master.merge(runner)
1984
1985 return runner.failures, runner.tries
1986
Tim Peters8485b562004-08-04 18:46:34 +00001987def run_docstring_examples(f, globs, verbose=False, name="NoName",
1988 compileflags=None, optionflags=0):
1989 """
1990 Test examples in the given object's docstring (`f`), using `globs`
1991 as globals. Optional argument `name` is used in failure messages.
1992 If the optional argument `verbose` is true, then generate output
1993 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00001994
Tim Peters8485b562004-08-04 18:46:34 +00001995 `compileflags` gives the set of flags that should be used by the
1996 Python compiler when running the examples. If not specified, then
1997 it will default to the set of future-import flags that apply to
1998 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00001999
Tim Peters8485b562004-08-04 18:46:34 +00002000 Optional keyword arg `optionflags` specifies options for the
2001 testing and output. See the documentation for `testmod` for more
2002 information.
2003 """
2004 # Find, parse, and run all tests in the given module.
2005 finder = DocTestFinder(verbose=verbose, recurse=False)
2006 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2007 for test in finder.find(f, name, globs=globs):
2008 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00002009
Tim Peters8485b562004-08-04 18:46:34 +00002010######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002011## 7. Tester
Tim Peters8485b562004-08-04 18:46:34 +00002012######################################################################
2013# This is provided only for backwards compatibility. It's not
2014# actually used in any way.
Tim Petersdb3756d2003-06-29 05:30:48 +00002015
Tim Peters8485b562004-08-04 18:46:34 +00002016class Tester:
2017 def __init__(self, mod=None, globs=None, verbose=None,
2018 isprivate=None, optionflags=0):
Tim Peters3ddd60a2004-08-08 02:43:33 +00002019
2020 warnings.warn("class Tester is deprecated; "
2021 "use class doctest.DocTestRunner instead",
2022 DeprecationWarning, stacklevel=2)
Tim Peters8485b562004-08-04 18:46:34 +00002023 if mod is None and globs is None:
2024 raise TypeError("Tester.__init__: must specify mod or globs")
Tim Peters4be7a922004-09-12 22:39:46 +00002025 if mod is not None and not inspect.ismodule(mod):
Tim Peters8485b562004-08-04 18:46:34 +00002026 raise TypeError("Tester.__init__: mod must be a module; %r" %
2027 (mod,))
2028 if globs is None:
2029 globs = mod.__dict__
2030 self.globs = globs
Tim Petersdb3756d2003-06-29 05:30:48 +00002031
Tim Peters8485b562004-08-04 18:46:34 +00002032 self.verbose = verbose
2033 self.isprivate = isprivate
2034 self.optionflags = optionflags
Tim Petersf727c6c2004-08-08 01:48:59 +00002035 self.testfinder = DocTestFinder(_namefilter=isprivate)
Tim Peters8485b562004-08-04 18:46:34 +00002036 self.testrunner = DocTestRunner(verbose=verbose,
2037 optionflags=optionflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00002038
Tim Peters8485b562004-08-04 18:46:34 +00002039 def runstring(self, s, name):
Edward Lopera1ef6112004-08-09 16:14:41 +00002040 test = DocTestParser().get_doctest(s, self.globs, name, None, None)
Tim Peters8485b562004-08-04 18:46:34 +00002041 if self.verbose:
2042 print "Running string", name
2043 (f,t) = self.testrunner.run(test)
2044 if self.verbose:
2045 print f, "of", t, "examples failed in string", name
2046 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00002047
Tim Petersf3f57472004-08-08 06:11:48 +00002048 def rundoc(self, object, name=None, module=None):
Tim Peters8485b562004-08-04 18:46:34 +00002049 f = t = 0
2050 tests = self.testfinder.find(object, name, module=module,
Tim Petersf3f57472004-08-08 06:11:48 +00002051 globs=self.globs)
Tim Peters8485b562004-08-04 18:46:34 +00002052 for test in tests:
2053 (f2, t2) = self.testrunner.run(test)
2054 (f,t) = (f+f2, t+t2)
2055 return (f,t)
Tim Petersdb3756d2003-06-29 05:30:48 +00002056
Tim Peters8485b562004-08-04 18:46:34 +00002057 def rundict(self, d, name, module=None):
2058 import new
2059 m = new.module(name)
2060 m.__dict__.update(d)
Tim Petersf3f57472004-08-08 06:11:48 +00002061 if module is None:
2062 module = False
2063 return self.rundoc(m, name, module)
Tim Petersdb3756d2003-06-29 05:30:48 +00002064
Tim Peters8485b562004-08-04 18:46:34 +00002065 def run__test__(self, d, name):
2066 import new
2067 m = new.module(name)
2068 m.__test__ = d
Tim Peters9661f9a2004-09-12 22:45:17 +00002069 return self.rundoc(m, name)
Tim Petersdb3756d2003-06-29 05:30:48 +00002070
Tim Peters8485b562004-08-04 18:46:34 +00002071 def summarize(self, verbose=None):
2072 return self.testrunner.summarize(verbose)
Tim Petersdb3756d2003-06-29 05:30:48 +00002073
Tim Peters8485b562004-08-04 18:46:34 +00002074 def merge(self, other):
Tim Peters82076ef2004-09-13 00:52:51 +00002075 self.testrunner.merge(other.testrunner)
Tim Petersdb3756d2003-06-29 05:30:48 +00002076
Tim Peters8485b562004-08-04 18:46:34 +00002077######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002078## 8. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002079######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002080
Jim Fultonf54bad42004-08-28 14:57:56 +00002081_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002082
Jim Fultonf54bad42004-08-28 14:57:56 +00002083def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002084 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002085
2086 The old flag is returned so that a runner could restore the old
2087 value if it wished to:
2088
Tim Petersb7e99b62005-03-28 23:50:54 +00002089 >>> import doctest
2090 >>> old = doctest._unittest_reportflags
2091 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002092 ... REPORT_ONLY_FIRST_FAILURE) == old
2093 True
2094
Jim Fultonf54bad42004-08-28 14:57:56 +00002095 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2096 ... REPORT_ONLY_FIRST_FAILURE)
2097 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002098
Jim Fultonf54bad42004-08-28 14:57:56 +00002099 Only reporting flags can be set:
2100
Tim Petersb7e99b62005-03-28 23:50:54 +00002101 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002102 Traceback (most recent call last):
2103 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002104 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002105
Tim Petersb7e99b62005-03-28 23:50:54 +00002106 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002107 ... REPORT_ONLY_FIRST_FAILURE)
2108 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002109 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002110 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002111
2112 if (flags & REPORTING_FLAGS) != flags:
2113 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002114 old = _unittest_reportflags
2115 _unittest_reportflags = flags
2116 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002117
Jim Fultonf54bad42004-08-28 14:57:56 +00002118
Tim Peters19397e52004-08-06 22:02:59 +00002119class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002120
Edward Loper34fcb142004-08-09 02:45:41 +00002121 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2122 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002123
Jim Fultona643b652004-07-14 19:06:50 +00002124 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002125 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002126 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002127 self._dt_test = test
2128 self._dt_setUp = setUp
2129 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002130
Jim Fultona643b652004-07-14 19:06:50 +00002131 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002132 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002133
Tim Peters19397e52004-08-06 22:02:59 +00002134 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002135 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002136
2137 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002138 test = self._dt_test
2139
Tim Peters19397e52004-08-06 22:02:59 +00002140 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002141 self._dt_tearDown(test)
2142
2143 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002144
2145 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002146 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002147 old = sys.stdout
2148 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002149 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002150
Tim Peters38330fe2004-08-30 16:19:24 +00002151 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002152 # The option flags don't include any reporting flags,
2153 # so add the default reporting flags
2154 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002155
Jim Fultonf54bad42004-08-28 14:57:56 +00002156 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002157 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002158
Jim Fultona643b652004-07-14 19:06:50 +00002159 try:
Tim Peters19397e52004-08-06 22:02:59 +00002160 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002161 failures, tries = runner.run(
2162 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002163 finally:
2164 sys.stdout = old
2165
2166 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002167 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002168
Tim Peters19397e52004-08-06 22:02:59 +00002169 def format_failure(self, err):
2170 test = self._dt_test
2171 if test.lineno is None:
2172 lineno = 'unknown line number'
2173 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002174 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002175 lname = '.'.join(test.name.split('.')[-1:])
2176 return ('Failed doctest test for %s\n'
2177 ' File "%s", line %s, in %s\n\n%s'
2178 % (test.name, test.filename, lineno, lname, err)
2179 )
2180
2181 def debug(self):
2182 r"""Run the test case without results and without catching exceptions
2183
2184 The unit test framework includes a debug method on test cases
2185 and test suites to support post-mortem debugging. The test code
2186 is run in such a way that errors are not caught. This way a
2187 caller can catch the errors and initiate post-mortem debugging.
2188
2189 The DocTestCase provides a debug method that raises
2190 UnexpectedException errors if there is an unexepcted
2191 exception:
2192
Edward Lopera1ef6112004-08-09 16:14:41 +00002193 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002194 ... {}, 'foo', 'foo.py', 0)
2195 >>> case = DocTestCase(test)
2196 >>> try:
2197 ... case.debug()
2198 ... except UnexpectedException, failure:
2199 ... pass
2200
2201 The UnexpectedException contains the test, the example, and
2202 the original exception:
2203
2204 >>> failure.test is test
2205 True
2206
2207 >>> failure.example.want
2208 '42\n'
2209
2210 >>> exc_info = failure.exc_info
2211 >>> raise exc_info[0], exc_info[1], exc_info[2]
2212 Traceback (most recent call last):
2213 ...
2214 KeyError
2215
2216 If the output doesn't match, then a DocTestFailure is raised:
2217
Edward Lopera1ef6112004-08-09 16:14:41 +00002218 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002219 ... >>> x = 1
2220 ... >>> x
2221 ... 2
2222 ... ''', {}, 'foo', 'foo.py', 0)
2223 >>> case = DocTestCase(test)
2224
2225 >>> try:
2226 ... case.debug()
2227 ... except DocTestFailure, failure:
2228 ... pass
2229
2230 DocTestFailure objects provide access to the test:
2231
2232 >>> failure.test is test
2233 True
2234
2235 As well as to the example:
2236
2237 >>> failure.example.want
2238 '2\n'
2239
2240 and the actual output:
2241
2242 >>> failure.got
2243 '1\n'
2244
2245 """
2246
Jim Fultonf54bad42004-08-28 14:57:56 +00002247 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002248 runner = DebugRunner(optionflags=self._dt_optionflags,
2249 checker=self._dt_checker, verbose=False)
Edward Loper3a3817f2004-08-19 19:26:06 +00002250 runner.run(self._dt_test)
Jim Fultonf54bad42004-08-28 14:57:56 +00002251 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002252
2253 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002254 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002255
2256 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002257 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002258 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2259
2260 __str__ = __repr__
2261
2262 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002263 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002264
Jim Fultonf54bad42004-08-28 14:57:56 +00002265def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2266 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002267 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002268 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002269
Tim Peters19397e52004-08-06 22:02:59 +00002270 This converts each documentation string in a module that
2271 contains doctest tests to a unittest test case. If any of the
2272 tests in a doc string fail, then the test case fails. An exception
2273 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002274 (sometimes approximate) line number.
2275
Tim Peters19397e52004-08-06 22:02:59 +00002276 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002277 can be either a module or a module name.
2278
2279 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002280
2281 A number of options may be provided as keyword arguments:
2282
Jim Fultonf54bad42004-08-28 14:57:56 +00002283 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002284 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002285 tests in each file. The setUp function will be passed a DocTest
2286 object. The setUp function can access the test globals as the
2287 globs attribute of the test passed.
2288
2289 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002290 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002291 tests in each file. The tearDown function will be passed a DocTest
2292 object. The tearDown function can access the test globals as the
2293 globs attribute of the test passed.
2294
2295 globs
2296 A dictionary containing initial global variables for the tests.
2297
2298 optionflags
2299 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002300 """
Jim Fultona643b652004-07-14 19:06:50 +00002301
Tim Peters8485b562004-08-04 18:46:34 +00002302 if test_finder is None:
2303 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002304
Tim Peters19397e52004-08-06 22:02:59 +00002305 module = _normalize_module(module)
2306 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
2307 if globs is None:
2308 globs = module.__dict__
Jim Fultonf54bad42004-08-28 14:57:56 +00002309 if not tests:
2310 # Why do we want to do this? Because it reveals a bug that might
2311 # otherwise be hidden.
Tim Peters19397e52004-08-06 22:02:59 +00002312 raise ValueError(module, "has no tests")
Tim Petersdb3756d2003-06-29 05:30:48 +00002313
2314 tests.sort()
2315 suite = unittest.TestSuite()
Tim Peters8485b562004-08-04 18:46:34 +00002316 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002317 if len(test.examples) == 0:
2318 continue
Tim Peters8485b562004-08-04 18:46:34 +00002319 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002320 filename = module.__file__
Jim Fulton07a349c2004-08-22 14:10:00 +00002321 if filename[-4:] in (".pyc", ".pyo"):
Tim Petersdb3756d2003-06-29 05:30:48 +00002322 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002323 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002324 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002325
2326 return suite
2327
2328class DocFileCase(DocTestCase):
2329
2330 def id(self):
2331 return '_'.join(self._dt_test.name.split('.'))
2332
2333 def __repr__(self):
2334 return self._dt_test.filename
2335 __str__ = __repr__
2336
2337 def format_failure(self, err):
2338 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2339 % (self._dt_test.name, self._dt_test.filename, err)
2340 )
2341
Edward Loper052d0cd2004-09-19 17:19:33 +00002342def DocFileTest(path, module_relative=True, package=None,
Edward Loper498a1862004-09-27 03:42:58 +00002343 globs=None, parser=DocTestParser(), **options):
Tim Peters19397e52004-08-06 22:02:59 +00002344 if globs is None:
2345 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002346 else:
2347 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002348
Edward Loper052d0cd2004-09-19 17:19:33 +00002349 if package and not module_relative:
2350 raise ValueError("Package may only be specified for module-"
2351 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002352
Edward Loper052d0cd2004-09-19 17:19:33 +00002353 # Relativize the path.
Phillip J. Eby47032112006-04-11 01:07:43 +00002354 doc, path = _load_testfile(path, package, module_relative)
2355
Fred Drake7c404a42004-12-21 23:46:34 +00002356 if "__file__" not in globs:
2357 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002358
Edward Loper052d0cd2004-09-19 17:19:33 +00002359 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002360 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002361
2362 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002363 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002364 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002365
2366def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002367 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002368
Edward Loper052d0cd2004-09-19 17:19:33 +00002369 The path to each doctest file is given as a string; the
2370 interpretation of that string depends on the keyword argument
2371 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002372
2373 A number of options may be provided as keyword arguments:
2374
Edward Loper052d0cd2004-09-19 17:19:33 +00002375 module_relative
2376 If "module_relative" is True, then the given file paths are
2377 interpreted as os-independent module-relative paths. By
2378 default, these paths are relative to the calling module's
2379 directory; but if the "package" argument is specified, then
2380 they are relative to that package. To ensure os-independence,
2381 "filename" should use "/" characters to separate path
2382 segments, and may not be an absolute path (i.e., it may not
2383 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002384
Edward Loper052d0cd2004-09-19 17:19:33 +00002385 If "module_relative" is False, then the given file paths are
2386 interpreted as os-specific paths. These paths may be absolute
2387 or relative (to the current working directory).
2388
Tim Peters19397e52004-08-06 22:02:59 +00002389 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002390 A Python package or the name of a Python package whose directory
2391 should be used as the base directory for module relative paths.
2392 If "package" is not specified, then the calling module's
2393 directory is used as the base directory for module relative
2394 filenames. It is an error to specify "package" if
2395 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002396
2397 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002398 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002399 tests in each file. The setUp function will be passed a DocTest
2400 object. The setUp function can access the test globals as the
2401 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002402
2403 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002404 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002405 tests in each file. The tearDown function will be passed a DocTest
2406 object. The tearDown function can access the test globals as the
2407 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002408
2409 globs
2410 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002411
2412 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002413 A set of doctest option flags expressed as an integer.
2414
2415 parser
2416 A DocTestParser (or subclass) that should be used to extract
2417 tests from the files.
Tim Peters19397e52004-08-06 22:02:59 +00002418 """
2419 suite = unittest.TestSuite()
2420
2421 # We do this here so that _normalize_module is called at the right
2422 # level. If it were called in DocFileTest, then this function
2423 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002424 if kw.get('module_relative', True):
2425 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002426
2427 for path in paths:
2428 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002429
Tim Petersdb3756d2003-06-29 05:30:48 +00002430 return suite
2431
Tim Peters8485b562004-08-04 18:46:34 +00002432######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002433## 9. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002434######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002435
Tim Peters19397e52004-08-06 22:02:59 +00002436def script_from_examples(s):
2437 r"""Extract script from text with examples.
2438
2439 Converts text with examples to a Python script. Example input is
2440 converted to regular code. Example output and all other words
2441 are converted to comments:
2442
2443 >>> text = '''
2444 ... Here are examples of simple math.
2445 ...
2446 ... Python has super accurate integer addition
2447 ...
2448 ... >>> 2 + 2
2449 ... 5
2450 ...
2451 ... And very friendly error messages:
2452 ...
2453 ... >>> 1/0
2454 ... To Infinity
2455 ... And
2456 ... Beyond
2457 ...
2458 ... You can use logic if you want:
2459 ...
2460 ... >>> if 0:
2461 ... ... blah
2462 ... ... blah
2463 ... ...
2464 ...
2465 ... Ho hum
2466 ... '''
2467
2468 >>> print script_from_examples(text)
Edward Lopera5db6002004-08-12 02:41:30 +00002469 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002470 #
Edward Lopera5db6002004-08-12 02:41:30 +00002471 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002472 #
2473 2 + 2
2474 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002475 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002476 #
Edward Lopera5db6002004-08-12 02:41:30 +00002477 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002478 #
2479 1/0
2480 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002481 ## To Infinity
2482 ## And
2483 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002484 #
Edward Lopera5db6002004-08-12 02:41:30 +00002485 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002486 #
2487 if 0:
2488 blah
2489 blah
Tim Peters19397e52004-08-06 22:02:59 +00002490 #
Edward Lopera5db6002004-08-12 02:41:30 +00002491 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002492 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002493 """
Edward Loper00f8da72004-08-26 18:05:07 +00002494 output = []
2495 for piece in DocTestParser().parse(s):
2496 if isinstance(piece, Example):
2497 # Add the example's source code (strip trailing NL)
2498 output.append(piece.source[:-1])
2499 # Add the expected output:
2500 want = piece.want
2501 if want:
2502 output.append('# Expected:')
2503 output += ['## '+l for l in want.split('\n')[:-1]]
2504 else:
2505 # Add non-example text.
2506 output += [_comment_line(l)
2507 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002508
Edward Loper00f8da72004-08-26 18:05:07 +00002509 # Trim junk on both ends.
2510 while output and output[-1] == '#':
2511 output.pop()
2512 while output and output[0] == '#':
2513 output.pop(0)
2514 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002515 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2516 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002517
2518def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002519 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002520
2521 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002522 test to be debugged and the name (within the module) of the object
2523 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002524 """
Tim Peters8485b562004-08-04 18:46:34 +00002525 module = _normalize_module(module)
2526 tests = DocTestFinder().find(module)
2527 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002528 if not test:
2529 raise ValueError(name, "not found in tests")
2530 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002531 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002532 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002533
Jim Fultona643b652004-07-14 19:06:50 +00002534def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002535 """Debug a single doctest docstring, in argument `src`'"""
2536 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002537 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002538
Jim Fultona643b652004-07-14 19:06:50 +00002539def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002540 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002541 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002542
Tim Petersb6a04d62004-08-23 21:37:56 +00002543 # Note that tempfile.NameTemporaryFile() cannot be used. As the
2544 # docs say, a file so created cannot be opened by name a second time
2545 # on modern Windows boxes, and execfile() needs to open it.
2546 srcfilename = tempfile.mktemp(".py", "doctestdebug")
Tim Peters8485b562004-08-04 18:46:34 +00002547 f = open(srcfilename, 'w')
2548 f.write(src)
2549 f.close()
2550
Tim Petersb6a04d62004-08-23 21:37:56 +00002551 try:
2552 if globs:
2553 globs = globs.copy()
2554 else:
2555 globs = {}
Tim Petersdb3756d2003-06-29 05:30:48 +00002556
Tim Petersb6a04d62004-08-23 21:37:56 +00002557 if pm:
2558 try:
2559 execfile(srcfilename, globs, globs)
2560 except:
2561 print sys.exc_info()[1]
2562 pdb.post_mortem(sys.exc_info()[2])
2563 else:
2564 # Note that %r is vital here. '%s' instead can, e.g., cause
2565 # backslashes to get treated as metacharacters on Windows.
2566 pdb.run("execfile(%r)" % srcfilename, globs, globs)
2567
2568 finally:
2569 os.remove(srcfilename)
Tim Petersdb3756d2003-06-29 05:30:48 +00002570
Jim Fultona643b652004-07-14 19:06:50 +00002571def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002572 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002573
2574 Provide the module (or dotted name of the module) containing the
2575 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002576 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002577 """
Tim Peters8485b562004-08-04 18:46:34 +00002578 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002579 testsrc = testsource(module, name)
2580 debug_script(testsrc, pm, module.__dict__)
2581
Tim Peters8485b562004-08-04 18:46:34 +00002582######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00002583## 10. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002584######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002585class _TestClass:
2586 """
2587 A pointless class, for sanity-checking of docstring testing.
2588
2589 Methods:
2590 square()
2591 get()
2592
2593 >>> _TestClass(13).get() + _TestClass(-12).get()
2594 1
2595 >>> hex(_TestClass(13).square().get())
2596 '0xa9'
2597 """
2598
2599 def __init__(self, val):
2600 """val -> _TestClass object with associated value val.
2601
2602 >>> t = _TestClass(123)
2603 >>> print t.get()
2604 123
2605 """
2606
2607 self.val = val
2608
2609 def square(self):
2610 """square() -> square TestClass's associated value
2611
2612 >>> _TestClass(13).square().get()
2613 169
2614 """
2615
2616 self.val = self.val ** 2
2617 return self
2618
2619 def get(self):
2620 """get() -> return TestClass's associated value.
2621
2622 >>> x = _TestClass(-42)
2623 >>> print x.get()
2624 -42
2625 """
2626
2627 return self.val
2628
2629__test__ = {"_TestClass": _TestClass,
2630 "string": r"""
2631 Example of a string object, searched as-is.
2632 >>> x = 1; y = 2
2633 >>> x + y, x * y
2634 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002635 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002636
Tim Peters6ebe61f2003-06-27 20:48:05 +00002637 "bool-int equivalence": r"""
2638 In 2.2, boolean expressions displayed
2639 0 or 1. By default, we still accept
2640 them. This can be disabled by passing
2641 DONT_ACCEPT_TRUE_FOR_1 to the new
2642 optionflags argument.
2643 >>> 4 == 4
2644 1
2645 >>> 4 == 4
2646 True
2647 >>> 4 > 4
2648 0
2649 >>> 4 > 4
2650 False
2651 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002652
Tim Peters8485b562004-08-04 18:46:34 +00002653 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002654 Blank lines can be marked with <BLANKLINE>:
2655 >>> print 'foo\n\nbar\n'
2656 foo
2657 <BLANKLINE>
2658 bar
2659 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002660 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002661
2662 "ellipsis": r"""
2663 If the ellipsis flag is used, then '...' can be used to
2664 elide substrings in the desired output:
2665 >>> print range(1000) #doctest: +ELLIPSIS
2666 [0, 1, 2, ..., 999]
2667 """,
2668
2669 "whitespace normalization": r"""
2670 If the whitespace normalization flag is used, then
2671 differences in whitespace are ignored.
2672 >>> print range(30) #doctest: +NORMALIZE_WHITESPACE
2673 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2674 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2675 27, 28, 29]
2676 """,
2677 }
Tim Peters8485b562004-08-04 18:46:34 +00002678
Tim Peters8a7d2d52001-01-16 07:10:57 +00002679def _test():
Tim Peters8485b562004-08-04 18:46:34 +00002680 r = unittest.TextTestRunner()
2681 r.run(DocTestSuite())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002682
2683if __name__ == "__main__":
2684 _test()