blob: b27cbdfed46ffd2e4f2364f00fac61c1132ac2cc [file] [log] [blame]
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001# Module doctest.
Tim Peters8485b562004-08-04 18:46:34 +00002# Released to the public domain 16-Jan-2001, by Tim Peters (tim@python.org).
Tim Peters19397e52004-08-06 22:02:59 +00003# Major enhancements and refactoring by:
Tim Peters8485b562004-08-04 18:46:34 +00004# Jim Fulton
5# Edward Loper
Tim Peters8a7d2d52001-01-16 07:10:57 +00006
7# Provided as-is; use at your own risk; no warranty; no promises; enjoy!
8
Martin v. Löwis92816de2004-05-31 19:01:00 +00009r"""Module doctest -- a framework for running examples in docstrings.
Tim Peters8a7d2d52001-01-16 07:10:57 +000010
Tim Peters80e53142004-08-09 04:34:45 +000011In simplest use, end each module M to be tested with:
Tim Peters8a7d2d52001-01-16 07:10:57 +000012
13def _test():
Tim Peters80e53142004-08-09 04:34:45 +000014 import doctest
Tim Peters48983fc2004-09-25 02:41:28 +000015 doctest.testmod()
Tim Peters8a7d2d52001-01-16 07:10:57 +000016
17if __name__ == "__main__":
18 _test()
19
20Then running the module as a script will cause the examples in the
21docstrings to get executed and verified:
22
23python M.py
24
25This won't display anything unless an example fails, in which case the
26failing example(s) and the cause(s) of the failure(s) are printed to stdout
27(why not stderr? because stderr is a lame hack <0.2 wink>), and the final
28line of output is "Test failed.".
29
30Run it with the -v switch instead:
31
32python M.py -v
33
34and a detailed report of all examples tried is printed to stdout, along
35with assorted summaries at the end.
36
Tim Peters80e53142004-08-09 04:34:45 +000037You can force verbose mode by passing "verbose=True" to testmod, or prohibit
38it by passing "verbose=False". In either of those cases, sys.argv is not
Tim Peters8a7d2d52001-01-16 07:10:57 +000039examined by testmod.
40
Tim Peters80e53142004-08-09 04:34:45 +000041There are a variety of other ways to run doctests, including integration
42with the unittest framework, and support for running non-Python text
43files containing doctests. There are also many ways to override parts
44of doctest's default behaviors. See the Library Reference Manual for
45details.
Tim Peters8a7d2d52001-01-16 07:10:57 +000046"""
Tim Peters48983fc2004-09-25 02:41:28 +000047
Edward Loper8e4a34b2004-08-12 02:34:27 +000048__docformat__ = 'reStructuredText en'
Tim Peters8a7d2d52001-01-16 07:10:57 +000049
Tim Peters4fd9e2f2001-08-18 00:05:50 +000050__all__ = [
Edward Loperb7503ff2004-08-19 19:19:03 +000051 # 0, Option Flags
52 'register_optionflag',
53 'DONT_ACCEPT_TRUE_FOR_1',
54 'DONT_ACCEPT_BLANKLINE',
55 'NORMALIZE_WHITESPACE',
56 'ELLIPSIS',
Thomas Wouters477c8d52006-05-27 19:21:47 +000057 'SKIP',
Tim Peters1fbf9c52004-09-04 17:21:02 +000058 'IGNORE_EXCEPTION_DETAIL',
Tim Petersba601962004-09-04 15:04:06 +000059 'COMPARISON_FLAGS',
Edward Loper71f55af2004-08-26 01:41:51 +000060 'REPORT_UDIFF',
61 'REPORT_CDIFF',
62 'REPORT_NDIFF',
Jim Fultonf54bad42004-08-28 14:57:56 +000063 'REPORT_ONLY_FIRST_FAILURE',
Tim Petersba601962004-09-04 15:04:06 +000064 'REPORTING_FLAGS',
R David Murray5a9d7062012-11-21 15:09:21 -050065 'FAIL_FAST',
Edward Loperb7503ff2004-08-19 19:19:03 +000066 # 1. Utility Functions
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',
Georg Brandlcc80bfe2008-05-12 18:06:23 +000084 # 7. Unittest Support
Tim Petersdb3756d2003-06-29 05:30:48 +000085 'DocTestSuite',
Edward Loperb7503ff2004-08-19 19:19:03 +000086 'DocFileSuite',
Tim Peters9d02a7c2004-09-26 01:50:24 +000087 'set_unittest_reportflags',
Georg Brandlcc80bfe2008-05-12 18:06:23 +000088 # 8. Debugging Support
Edward Loperb7503ff2004-08-19 19:19:03 +000089 'script_from_examples',
Tim Petersdb3756d2003-06-29 05:30:48 +000090 'testsource',
Edward Loperb7503ff2004-08-19 19:19:03 +000091 'debug_src',
Tim Petersdb3756d2003-06-29 05:30:48 +000092 'debug',
Tim Peters4fd9e2f2001-08-18 00:05:50 +000093]
Tim Peters8a7d2d52001-01-16 07:10:57 +000094
Tim Peters4fd9e2f2001-08-18 00:05:50 +000095import __future__
Victor Stinner12b8d142011-06-30 17:35:55 +020096import difflib
97import inspect
98import linecache
99import os
100import pdb
101import re
102import sys
103import traceback
104import unittest
Peter Donisb36349a2021-03-02 12:06:20 -0500105from io import StringIO, IncrementalNewlineDecoder
Christian Heimes25bb7832008-01-11 16:17:00 +0000106from collections import namedtuple
107
108TestResults = namedtuple('TestResults', 'failed attempted')
Tim Peters7402f792001-10-02 03:53:41 +0000109
Tim Peters19397e52004-08-06 22:02:59 +0000110# There are 4 basic classes:
111# - Example: a <source, want> pair, plus an intra-docstring line number.
112# - DocTest: a collection of examples, parsed from a docstring, plus
113# info about where the docstring came from (name, filename, lineno).
114# - DocTestFinder: extracts DocTests from a given object's docstring and
115# its contained objects' docstrings.
116# - DocTestRunner: runs DocTest cases, and accumulates statistics.
117#
118# So the basic picture is:
119#
120# list of:
121# +------+ +---------+ +-------+
122# |object| --DocTestFinder-> | DocTest | --DocTestRunner-> |results|
123# +------+ +---------+ +-------+
124# | Example |
125# | ... |
126# | Example |
127# +---------+
128
Edward Loperac20f572004-08-12 02:02:24 +0000129# Option constants.
Tim Peters38330fe2004-08-30 16:19:24 +0000130
Edward Loperac20f572004-08-12 02:02:24 +0000131OPTIONFLAGS_BY_NAME = {}
132def register_optionflag(name):
Thomas Wouters477c8d52006-05-27 19:21:47 +0000133 # Create a new flag unless `name` is already known.
134 return OPTIONFLAGS_BY_NAME.setdefault(name, 1 << len(OPTIONFLAGS_BY_NAME))
Edward Loperac20f572004-08-12 02:02:24 +0000135
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')
Thomas Wouters477c8d52006-05-27 19:21:47 +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 |
Thomas Wouters477c8d52006-05-27 19:21:47 +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')
R David Murray5a9d7062012-11-21 15:09:21 -0500154FAIL_FAST = register_optionflag('FAIL_FAST')
Edward Loperac20f572004-08-12 02:02:24 +0000155
Tim Peters38330fe2004-08-30 16:19:24 +0000156REPORTING_FLAGS = (REPORT_UDIFF |
157 REPORT_CDIFF |
158 REPORT_NDIFF |
R David Murray5a9d7062012-11-21 15:09:21 -0500159 REPORT_ONLY_FIRST_FAILURE |
160 FAIL_FAST)
Tim Peters38330fe2004-08-30 16:19:24 +0000161
Edward Loperac20f572004-08-12 02:02:24 +0000162# Special string markers for use in `want` strings:
163BLANKLINE_MARKER = '<BLANKLINE>'
164ELLIPSIS_MARKER = '...'
165
Tim Peters8485b562004-08-04 18:46:34 +0000166######################################################################
167## Table of Contents
168######################################################################
Edward Loper7c748462004-08-09 02:06:06 +0000169# 1. Utility Functions
170# 2. Example & DocTest -- store test cases
171# 3. DocTest Parser -- extracts examples from strings
172# 4. DocTest Finder -- extracts test cases from objects
173# 5. DocTest Runner -- runs test cases
174# 6. Test Functions -- convenient wrappers for testing
Georg Brandl31835852008-05-12 17:38:56 +0000175# 7. Unittest Support
176# 8. Debugging Support
177# 9. Example Usage
Tim Peters8a7d2d52001-01-16 07:10:57 +0000178
Tim Peters8485b562004-08-04 18:46:34 +0000179######################################################################
180## 1. Utility Functions
181######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +0000182
Tim Peters8485b562004-08-04 18:46:34 +0000183def _extract_future_flags(globs):
184 """
185 Return the compiler-flags associated with the future features that
186 have been imported into the given namespace (globs).
187 """
188 flags = 0
189 for fname in __future__.all_feature_names:
190 feature = globs.get(fname, None)
191 if feature is getattr(__future__, fname):
192 flags |= feature.compiler_flag
193 return flags
Tim Peters7402f792001-10-02 03:53:41 +0000194
Tim Peters8485b562004-08-04 18:46:34 +0000195def _normalize_module(module, depth=2):
196 """
197 Return the module specified by `module`. In particular:
198 - If `module` is a module, then return module.
199 - If `module` is a string, then import and return the
200 module with that name.
201 - If `module` is None, then return the calling module.
202 The calling module is assumed to be the module of
203 the stack frame at the given depth in the call stack.
204 """
205 if inspect.ismodule(module):
206 return module
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000207 elif isinstance(module, str):
Tim Peters8485b562004-08-04 18:46:34 +0000208 return __import__(module, globals(), locals(), ["*"])
209 elif module is None:
210 return sys.modules[sys._getframe(depth).f_globals['__name__']]
211 else:
212 raise TypeError("Expected a module, string, or None")
Tim Peters7402f792001-10-02 03:53:41 +0000213
Peter Donise0b81012020-03-26 11:53:16 -0400214def _newline_convert(data):
Peter Donisb36349a2021-03-02 12:06:20 -0500215 # The IO module provides a handy decoder for universal newline conversion
216 return IncrementalNewlineDecoder(None, True).decode(data, True)
Peter Donise0b81012020-03-26 11:53:16 -0400217
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000218def _load_testfile(filename, package, module_relative, encoding):
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000219 if module_relative:
220 package = _normalize_module(package, 3)
221 filename = _module_relative_path(package, filename)
Brett Cannon825ac382020-11-06 18:45:56 -0800222 if (loader := getattr(package, '__loader__', None)) is None:
223 try:
224 loader = package.__spec__.loader
225 except AttributeError:
226 pass
227 if hasattr(loader, 'get_data'):
228 file_contents = loader.get_data(filename)
229 file_contents = file_contents.decode(encoding)
230 # get_data() opens files as 'rb', so one must do the equivalent
231 # conversion as universal newlines would do.
232 return _newline_convert(file_contents), filename
Antoine Pitrou92f60ed2010-10-14 22:11:44 +0000233 with open(filename, encoding=encoding) as f:
234 return f.read(), filename
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000235
Edward Loperaacf0832004-08-26 01:19:50 +0000236def _indent(s, indent=4):
Tim Peters8485b562004-08-04 18:46:34 +0000237 """
Florent Xicluna59250852010-02-27 14:21:57 +0000238 Add the given number of space characters to the beginning of
239 every non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000240 """
Edward Loperaacf0832004-08-26 01:19:50 +0000241 # This regexp matches the start of non-blank lines:
242 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000243
Edward Loper8e4a34b2004-08-12 02:34:27 +0000244def _exception_traceback(exc_info):
245 """
246 Return a string containing a traceback message for the given
247 exc_info tuple (as returned by sys.exc_info()).
248 """
249 # Get a traceback message.
250 excout = StringIO()
251 exc_type, exc_val, exc_tb = exc_info
252 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
253 return excout.getvalue()
254
Tim Peters8485b562004-08-04 18:46:34 +0000255# Override some StringIO methods.
256class _SpoofOut(StringIO):
257 def getvalue(self):
258 result = StringIO.getvalue(self)
259 # If anything at all was written, make sure there's a trailing
260 # newline. There's no way for the expected output to indicate
261 # that a trailing newline is missing.
262 if result and not result.endswith("\n"):
263 result += "\n"
Tim Peters8485b562004-08-04 18:46:34 +0000264 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000265
Guido van Rossum79139b22007-02-09 23:20:19 +0000266 def truncate(self, size=None):
Antoine Pitroub3d77002010-01-31 23:12:29 +0000267 self.seek(size)
268 StringIO.truncate(self)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000269
Tim Peters26b3ebb2004-08-19 08:10:08 +0000270# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000271def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000272 """
273 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000274 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000275 False
276 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000277 if ELLIPSIS_MARKER not in want:
278 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000279
Tim Peters26b3ebb2004-08-19 08:10:08 +0000280 # Find "the real" strings.
281 ws = want.split(ELLIPSIS_MARKER)
282 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000283
Tim Petersdc5de3b2004-08-19 14:06:20 +0000284 # Deal with exact matches possibly needed at one or both ends.
285 startpos, endpos = 0, len(got)
286 w = ws[0]
287 if w: # starts with exact match
288 if got.startswith(w):
289 startpos = len(w)
290 del ws[0]
291 else:
292 return False
293 w = ws[-1]
294 if w: # ends with exact match
295 if got.endswith(w):
296 endpos -= len(w)
297 del ws[-1]
298 else:
299 return False
300
301 if startpos > endpos:
302 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000303 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000304 return False
305
306 # For the rest, we only need to find the leftmost non-overlapping
307 # match for each piece. If there's no overall match that way alone,
308 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000309 for w in ws:
310 # w may be '' at times, if there are consecutive ellipses, or
311 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000312 # Search for an empty string succeeds, and doesn't change startpos.
313 startpos = got.find(w, startpos, endpos)
314 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000315 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000316 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000317
Tim Petersdc5de3b2004-08-19 14:06:20 +0000318 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000319
Edward Loper00f8da72004-08-26 18:05:07 +0000320def _comment_line(line):
321 "Return a commented form of the given line"
322 line = line.rstrip()
323 if line:
324 return '# '+line
325 else:
326 return '#'
327
Tim Petersf9a07f22013-12-03 21:02:05 -0600328def _strip_exception_details(msg):
329 # Support for IGNORE_EXCEPTION_DETAIL.
330 # Get rid of everything except the exception name; in particular, drop
331 # the possibly dotted module path (if any) and the exception message (if
332 # any). We assume that a colon is never part of a dotted name, or of an
333 # exception name.
334 # E.g., given
335 # "foo.bar.MyError: la di da"
336 # return "MyError"
337 # Or for "abc.def" or "abc.def:\n" return "def".
338
339 start, end = 0, len(msg)
340 # The exception name must appear on the first line.
341 i = msg.find("\n")
342 if i >= 0:
343 end = i
344 # retain up to the first colon (if any)
345 i = msg.find(':', 0, end)
346 if i >= 0:
347 end = i
348 # retain just the exception name
349 i = msg.rfind('.', 0, end)
350 if i >= 0:
351 start = i+1
352 return msg[start: end]
353
Edward Loper2de91ba2004-08-27 02:07:46 +0000354class _OutputRedirectingPdb(pdb.Pdb):
355 """
356 A specialized version of the python debugger that redirects stdout
357 to a given stream when interacting with the user. Stdout is *not*
358 redirected when traced code is executed.
359 """
360 def __init__(self, out):
361 self.__out = out
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000362 self.__debugger_used = False
Georg Brandl34748cd2010-12-04 17:11:36 +0000363 # do not play signal games in the pdb
364 pdb.Pdb.__init__(self, stdout=out, nosigint=True)
Georg Brandld72e0432010-07-30 09:59:28 +0000365 # still use input() to get user input
366 self.use_rawinput = 1
Edward Loper2de91ba2004-08-27 02:07:46 +0000367
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000368 def set_trace(self, frame=None):
369 self.__debugger_used = True
370 if frame is None:
371 frame = sys._getframe().f_back
372 pdb.Pdb.set_trace(self, frame)
373
374 def set_continue(self):
375 # Calling set_continue unconditionally would break unit test
376 # coverage reporting, as Bdb.set_continue calls sys.settrace(None).
377 if self.__debugger_used:
378 pdb.Pdb.set_continue(self)
379
Edward Loper2de91ba2004-08-27 02:07:46 +0000380 def trace_dispatch(self, *args):
381 # Redirect stdout to the given stream.
382 save_stdout = sys.stdout
383 sys.stdout = self.__out
384 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000385 try:
386 return pdb.Pdb.trace_dispatch(self, *args)
387 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000388 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000389
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000390# [XX] Normalize with respect to os.path.pardir?
Victor Stinnerb1511f72016-03-30 01:29:05 +0200391def _module_relative_path(module, test_path):
Edward Loper052d0cd2004-09-19 17:19:33 +0000392 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000393 raise TypeError('Expected a module: %r' % module)
Victor Stinnerb1511f72016-03-30 01:29:05 +0200394 if test_path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000395 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000396
Victor Stinnerb1511f72016-03-30 01:29:05 +0200397 # Normalize the path. On Windows, replace "/" with "\".
398 test_path = os.path.join(*(test_path.split('/')))
399
Edward Loper052d0cd2004-09-19 17:19:33 +0000400 # Find the base directory for the path.
401 if hasattr(module, '__file__'):
402 # A normal module/package
403 basedir = os.path.split(module.__file__)[0]
404 elif module.__name__ == '__main__':
405 # An interactive session.
406 if len(sys.argv)>0 and sys.argv[0] != '':
407 basedir = os.path.split(sys.argv[0])[0]
408 else:
409 basedir = os.curdir
410 else:
Victor Stinnerb1511f72016-03-30 01:29:05 +0200411 if hasattr(module, '__path__'):
412 for directory in module.__path__:
413 fullpath = os.path.join(directory, test_path)
414 if os.path.exists(fullpath):
415 return fullpath
416
Edward Loper052d0cd2004-09-19 17:19:33 +0000417 # A module w/o __file__ (this includes builtins)
Victor Stinner84ca9fe2016-03-25 12:50:36 +0100418 raise ValueError("Can't resolve paths relative to the module "
419 "%r (it has no __file__)"
420 % module.__name__)
Edward Loper052d0cd2004-09-19 17:19:33 +0000421
Victor Stinnerb1511f72016-03-30 01:29:05 +0200422 # Combine the base directory and the test path.
423 return os.path.join(basedir, test_path)
Edward Loper052d0cd2004-09-19 17:19:33 +0000424
Tim Peters8485b562004-08-04 18:46:34 +0000425######################################################################
426## 2. Example & DocTest
427######################################################################
428## - An "example" is a <source, want> pair, where "source" is a
429## fragment of source code, and "want" is the expected output for
430## "source." The Example class also includes information about
431## where the example was extracted from.
432##
Edward Lopera1ef6112004-08-09 16:14:41 +0000433## - A "doctest" is a collection of examples, typically extracted from
434## a string (such as an object's docstring). The DocTest class also
435## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000436
Tim Peters8485b562004-08-04 18:46:34 +0000437class Example:
438 """
439 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000440 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000441
Edward Loper74bca7a2004-08-12 02:27:44 +0000442 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000443 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000444
Edward Loper74bca7a2004-08-12 02:27:44 +0000445 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000446 from stdout, or a traceback in case of exception). `want` ends
447 with a newline unless it's empty, in which case it's an empty
448 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000449
Edward Lopera6b68322004-08-26 00:05:43 +0000450 - exc_msg: The exception message generated by the example, if
451 the example is expected to generate an exception; or `None` if
452 it is not expected to generate an exception. This exception
453 message is compared against the return value of
454 `traceback.format_exception_only()`. `exc_msg` ends with a
455 newline unless it's `None`. The constructor adds a newline
456 if needed.
457
Edward Loper74bca7a2004-08-12 02:27:44 +0000458 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000459 this Example where the Example begins. This line number is
460 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000461
462 - indent: The example's indentation in the DocTest string.
Ezio Melotti30b9d5d2013-08-17 15:50:46 +0300463 I.e., the number of space characters that precede the
Edward Loper74bca7a2004-08-12 02:27:44 +0000464 example's first prompt.
465
466 - options: A dictionary mapping from option flags to True or
467 False, which is used to override default options for this
468 example. Any option flags not contained in this dictionary
469 are left at their default value (as specified by the
470 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000471 """
Edward Lopera6b68322004-08-26 00:05:43 +0000472 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
473 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000474 # Normalize inputs.
475 if not source.endswith('\n'):
476 source += '\n'
477 if want and not want.endswith('\n'):
478 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000479 if exc_msg is not None and not exc_msg.endswith('\n'):
480 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000481 # Store properties.
482 self.source = source
483 self.want = want
484 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000485 self.indent = indent
486 if options is None: options = {}
487 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000488 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000489
Antoine Pitrou2bc801c2011-12-18 19:27:45 +0100490 def __eq__(self, other):
491 if type(self) is not type(other):
492 return NotImplemented
493
494 return self.source == other.source and \
495 self.want == other.want and \
496 self.lineno == other.lineno and \
497 self.indent == other.indent and \
498 self.options == other.options and \
499 self.exc_msg == other.exc_msg
500
Antoine Pitrou165b1282011-12-18 20:20:17 +0100501 def __hash__(self):
502 return hash((self.source, self.want, self.lineno, self.indent,
503 self.exc_msg))
Antoine Pitrou2bc801c2011-12-18 19:27:45 +0100504
Tim Peters8485b562004-08-04 18:46:34 +0000505class DocTest:
506 """
507 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000508 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000509
Tim Peters8485b562004-08-04 18:46:34 +0000510 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000511
Tim Peters8485b562004-08-04 18:46:34 +0000512 - globs: The namespace (aka globals) that the examples should
513 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000514
Tim Peters8485b562004-08-04 18:46:34 +0000515 - name: A name identifying the DocTest (typically, the name of
516 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000517
Tim Peters8485b562004-08-04 18:46:34 +0000518 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000519 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000520
Tim Peters8485b562004-08-04 18:46:34 +0000521 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000522 begins, or `None` if the line number is unavailable. This
523 line number is zero-based, with respect to the beginning of
524 the file.
525
526 - docstring: The string that the examples were extracted from,
527 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000528 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000529 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000530 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000531 Create a new DocTest containing the given examples. The
532 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000533 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000534 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000535 "DocTest no longer accepts str; use DocTestParser instead"
536 self.examples = examples
537 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000538 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000539 self.name = name
540 self.filename = filename
541 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000542
543 def __repr__(self):
544 if len(self.examples) == 0:
545 examples = 'no examples'
546 elif len(self.examples) == 1:
547 examples = '1 example'
548 else:
549 examples = '%d examples' % len(self.examples)
Serhiy Storchaka465e60e2014-07-25 23:36:00 +0300550 return ('<%s %s from %s:%s (%s)>' %
551 (self.__class__.__name__,
552 self.name, self.filename, self.lineno, examples))
Tim Peters8485b562004-08-04 18:46:34 +0000553
Antoine Pitrou2bc801c2011-12-18 19:27:45 +0100554 def __eq__(self, other):
555 if type(self) is not type(other):
556 return NotImplemented
557
558 return self.examples == other.examples and \
559 self.docstring == other.docstring and \
560 self.globs == other.globs and \
561 self.name == other.name and \
562 self.filename == other.filename and \
563 self.lineno == other.lineno
564
Antoine Pitrou165b1282011-12-18 20:20:17 +0100565 def __hash__(self):
566 return hash((self.docstring, self.name, self.filename, self.lineno))
567
Tim Peters8485b562004-08-04 18:46:34 +0000568 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000569 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000570 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000571 return NotImplemented
572 return ((self.name, self.filename, self.lineno, id(self))
573 <
574 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000575
576######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000577## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000578######################################################################
579
Edward Lopera1ef6112004-08-09 16:14:41 +0000580class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000581 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000582 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000583 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000584 # This regular expression is used to find doctest examples in a
585 # string. It defines three groups: `source` is the source code
586 # (including leading indentation and prompts); `indent` is the
587 # indentation of the first (PS1) line of the source code; and
588 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000589 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000590 # Source consists of a PS1 line followed by zero or more PS2 lines.
591 (?P<source>
592 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
593 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
594 \n?
595 # Want consists of any non-blank lines that do not start with PS1.
596 (?P<want> (?:(?![ ]*$) # Not a blank line
597 (?![ ]*>>>) # Not a line starting with PS1
Serhiy Storchaka1ca66ed2013-08-19 22:59:31 +0300598 .+$\n? # But any other line
Tim Petersd40a92b2004-08-09 03:28:45 +0000599 )*)
600 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000601
Edward Lopera6b68322004-08-26 00:05:43 +0000602 # A regular expression for handling `want` strings that contain
603 # expected exceptions. It divides `want` into three pieces:
604 # - the traceback header line (`hdr`)
605 # - the traceback stack (`stack`)
606 # - the exception message (`msg`), as generated by
607 # traceback.format_exception_only()
608 # `msg` may have multiple lines. We assume/require that the
609 # exception message is the first non-indented line starting with a word
610 # character following the traceback header line.
611 _EXCEPTION_RE = re.compile(r"""
612 # Grab the traceback header. Different versions of Python have
613 # said different things on the first traceback line.
614 ^(?P<hdr> Traceback\ \(
615 (?: most\ recent\ call\ last
616 | innermost\ last
617 ) \) :
618 )
619 \s* $ # toss trailing whitespace on the header.
620 (?P<stack> .*?) # don't blink: absorb stuff until...
621 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
622 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
623
Tim Peters7ea48dd2004-08-13 01:52:59 +0000624 # A callable returning a true value iff its argument is a blank line
625 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000626 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000627
Edward Loper00f8da72004-08-26 18:05:07 +0000628 def parse(self, string, name='<string>'):
629 """
630 Divide the given string into examples and intervening text,
631 and return them as a list of alternating Examples and strings.
632 Line numbers for the Examples are 0-based. The optional
633 argument `name` is a name identifying this string, and is only
634 used for error messages.
635 """
636 string = string.expandtabs()
637 # If all lines begin with the same indentation, then strip it.
638 min_indent = self._min_indent(string)
639 if min_indent > 0:
640 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
641
642 output = []
643 charno, lineno = 0, 0
644 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000645 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000646 # Add the pre-example text to `output`.
647 output.append(string[charno:m.start()])
648 # Update lineno (lines before this example)
649 lineno += string.count('\n', charno, m.start())
650 # Extract info from the regexp match.
651 (source, options, want, exc_msg) = \
652 self._parse_example(m, name, lineno)
653 # Create an Example, and add it to the list.
654 if not self._IS_BLANK_OR_COMMENT(source):
655 output.append( Example(source, want, exc_msg,
656 lineno=lineno,
657 indent=min_indent+len(m.group('indent')),
658 options=options) )
659 # Update lineno (lines inside this example)
660 lineno += string.count('\n', m.start(), m.end())
661 # Update charno.
662 charno = m.end()
663 # Add any remaining post-example text to `output`.
664 output.append(string[charno:])
665 return output
666
Edward Lopera1ef6112004-08-09 16:14:41 +0000667 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000668 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000669 Extract all doctest examples from the given string, and
670 collect them into a `DocTest` object.
671
672 `globs`, `name`, `filename`, and `lineno` are attributes for
673 the new `DocTest` object. See the documentation for `DocTest`
674 for more information.
675 """
676 return DocTest(self.get_examples(string, name), globs,
677 name, filename, lineno, string)
678
679 def get_examples(self, string, name='<string>'):
680 """
681 Extract all doctest examples from the given string, and return
682 them as a list of `Example` objects. Line numbers are
683 0-based, because it's most common in doctests that nothing
684 interesting appears on the same line as opening triple-quote,
685 and so the first interesting line is called \"line 1\" then.
686
687 The optional argument `name` is a name identifying this
688 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000689 """
Edward Loper00f8da72004-08-26 18:05:07 +0000690 return [x for x in self.parse(string, name)
691 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000692
Edward Loper74bca7a2004-08-12 02:27:44 +0000693 def _parse_example(self, m, name, lineno):
694 """
695 Given a regular expression match from `_EXAMPLE_RE` (`m`),
696 return a pair `(source, want)`, where `source` is the matched
697 example's source code (with prompts and indentation stripped);
698 and `want` is the example's expected output (with indentation
699 stripped).
700
701 `name` is the string's name, and `lineno` is the line number
702 where the example starts; both are used for error messages.
703 """
Edward Loper7c748462004-08-09 02:06:06 +0000704 # Get the example's indentation level.
705 indent = len(m.group('indent'))
706
707 # Divide source into lines; check that they're properly
708 # indented; and then strip their indentation & prompts.
709 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000710 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000711 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000712 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000713
Tim Petersc5049152004-08-22 17:34:58 +0000714 # Divide want into lines; check that it's properly indented; and
715 # then strip the indentation. Spaces before the last newline should
716 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000717 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000718 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000719 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
720 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000721 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000722 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000723 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000724
Edward Lopera6b68322004-08-26 00:05:43 +0000725 # If `want` contains a traceback message, then extract it.
726 m = self._EXCEPTION_RE.match(want)
727 if m:
728 exc_msg = m.group('msg')
729 else:
730 exc_msg = None
731
Edward Loper00f8da72004-08-26 18:05:07 +0000732 # Extract options from the source.
733 options = self._find_options(source, name, lineno)
734
735 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000736
Edward Loper74bca7a2004-08-12 02:27:44 +0000737 # This regular expression looks for option directives in the
738 # source code of an example. Option directives are comments
739 # starting with "doctest:". Warning: this may give false
740 # positives for string-literals that contain the string
741 # "#doctest:". Eliminating these false positives would require
742 # actually parsing the string; but we limit them by ignoring any
743 # line containing "#doctest:" that is *followed* by a quote mark.
744 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
745 re.MULTILINE)
746
747 def _find_options(self, source, name, lineno):
748 """
749 Return a dictionary containing option overrides extracted from
750 option directives in the given source string.
751
752 `name` is the string's name, and `lineno` is the line number
753 where the example starts; both are used for error messages.
754 """
755 options = {}
756 # (note: with the current regexp, this will match at most once:)
757 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
758 option_strings = m.group(1).replace(',', ' ').split()
759 for option in option_strings:
760 if (option[0] not in '+-' or
761 option[1:] not in OPTIONFLAGS_BY_NAME):
762 raise ValueError('line %r of the doctest for %s '
763 'has an invalid option: %r' %
764 (lineno+1, name, option))
765 flag = OPTIONFLAGS_BY_NAME[option[1:]]
766 options[flag] = (option[0] == '+')
767 if options and self._IS_BLANK_OR_COMMENT(source):
768 raise ValueError('line %r of the doctest for %s has an option '
769 'directive on a line with no example: %r' %
770 (lineno, name, source))
771 return options
772
Edward Lopera5db6002004-08-12 02:41:30 +0000773 # This regular expression finds the indentation of every non-blank
774 # line in a string.
R David Murray44b548d2016-09-08 13:59:53 -0400775 _INDENT_RE = re.compile(r'^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000776
777 def _min_indent(self, s):
778 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000779 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
780 if len(indents) > 0:
781 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000782 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000783 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000784
Edward Lopera1ef6112004-08-09 16:14:41 +0000785 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000786 """
787 Given the lines of a source string (including prompts and
788 leading indentation), check to make sure that every prompt is
789 followed by a space character. If any line is not followed by
790 a space character, then raise ValueError.
791 """
Edward Loper7c748462004-08-09 02:06:06 +0000792 for i, line in enumerate(lines):
793 if len(line) >= indent+4 and line[indent+3] != ' ':
794 raise ValueError('line %r of the docstring for %s '
795 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000796 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000797 line[indent:indent+3], line))
798
Edward Lopera1ef6112004-08-09 16:14:41 +0000799 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000800 """
801 Check that every line in the given list starts with the given
802 prefix; if any line does not, then raise a ValueError.
803 """
Edward Loper7c748462004-08-09 02:06:06 +0000804 for i, line in enumerate(lines):
805 if line and not line.startswith(prefix):
806 raise ValueError('line %r of the docstring for %s has '
807 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000808 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000809
810
811######################################################################
812## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000813######################################################################
814
815class DocTestFinder:
816 """
817 A class used to extract the DocTests that are relevant to a given
818 object, from its docstring and the docstrings of its contained
819 objects. Doctests can currently be extracted from the following
820 object types: modules, functions, classes, methods, staticmethods,
821 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000822 """
823
Edward Lopera1ef6112004-08-09 16:14:41 +0000824 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000825 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000826 """
827 Create a new doctest finder.
828
Edward Lopera1ef6112004-08-09 16:14:41 +0000829 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000830 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000831 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000832 signature for this factory function should match the signature
833 of the DocTest constructor.
834
Tim Peters8485b562004-08-04 18:46:34 +0000835 If the optional argument `recurse` is false, then `find` will
836 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000837
Tim Peters958cc892004-09-13 14:53:28 +0000838 If the optional argument `exclude_empty` is false, then `find`
839 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000840 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000841 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000842 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000843 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000844 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000845
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000846 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000847 """
848 Return a list of the DocTests that are defined by the given
849 object's docstring, or by any of its contained objects'
850 docstrings.
851
852 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000853 the given object. If the module is not specified or is None, then
854 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000855 correct module. The object's module is used:
856
857 - As a default namespace, if `globs` is not specified.
858 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000859 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000860 - To find the name of the file containing the object.
861 - To help find the line number of the object within its
862 file.
863
Tim Petersf3f57472004-08-08 06:11:48 +0000864 Contained objects whose module does not match `module` are ignored.
865
866 If `module` is False, no attempt to find the module will be made.
867 This is obscure, of use mostly in tests: if `module` is False, or
868 is None but cannot be found automatically, then all objects are
869 considered to belong to the (non-existent) module, so all contained
870 objects will (recursively) be searched for doctests.
871
Tim Peters8485b562004-08-04 18:46:34 +0000872 The globals for each DocTest is formed by combining `globs`
873 and `extraglobs` (bindings in `extraglobs` override bindings
874 in `globs`). A new copy of the globals dictionary is created
875 for each DocTest. If `globs` is not specified, then it
876 defaults to the module's `__dict__`, if specified, or {}
877 otherwise. If `extraglobs` is not specified, then it defaults
878 to {}.
879
Tim Peters8485b562004-08-04 18:46:34 +0000880 """
881 # If name was not specified, then extract it from the object.
882 if name is None:
883 name = getattr(obj, '__name__', None)
884 if name is None:
885 raise ValueError("DocTestFinder.find: name must be given "
886 "when obj.__name__ doesn't exist: %r" %
887 (type(obj),))
888
889 # Find the module that contains the given object (if obj is
890 # a module, then module=obj.). Note: this may fail, in which
891 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000892 if module is False:
893 module = None
894 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000895 module = inspect.getmodule(obj)
896
897 # Read the module's source code. This is used by
898 # DocTestFinder._find_lineno to find the line number for a
899 # given object's docstring.
900 try:
R. David Murray58641de2009-06-12 15:33:19 +0000901 file = inspect.getsourcefile(obj)
Tim Peters8485b562004-08-04 18:46:34 +0000902 except TypeError:
903 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000904 else:
905 if not file:
906 # Check to see if it's one of our special internal "files"
907 # (see __patched_linecache_getlines).
908 file = inspect.getfile(obj)
909 if not file[0]+file[-2:] == '<]>': file = None
R. David Murray765b9762009-07-15 14:16:54 +0000910 if file is None:
911 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000912 else:
913 if module is not None:
914 # Supply the module globals in case the module was
915 # originally loaded via a PEP 302 loader and
916 # file is not a valid filesystem path
917 source_lines = linecache.getlines(file, module.__dict__)
918 else:
919 # No access to a loader, so assume it's a normal
920 # filesystem path
921 source_lines = linecache.getlines(file)
922 if not source_lines:
923 source_lines = None
Tim Peters8485b562004-08-04 18:46:34 +0000924
925 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000926 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000927 if module is None:
928 globs = {}
929 else:
930 globs = module.__dict__.copy()
931 else:
932 globs = globs.copy()
933 if extraglobs is not None:
934 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +0000935 if '__name__' not in globs:
936 globs['__name__'] = '__main__' # provide a default module name
Tim Peters8a7d2d52001-01-16 07:10:57 +0000937
Ezio Melotti30b9d5d2013-08-17 15:50:46 +0300938 # Recursively explore `obj`, extracting DocTests.
Tim Peters8485b562004-08-04 18:46:34 +0000939 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000940 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000941 # Sort the tests by alpha order of names, for consistency in
942 # verbose-mode output. This was a feature of doctest in Pythons
943 # <= 2.3 that got lost by accident in 2.4. It was repaired in
944 # 2.4.4 and 2.5.
945 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000946 return tests
947
Tim Peters8485b562004-08-04 18:46:34 +0000948 def _from_module(self, module, object):
949 """
950 Return true if the given object is defined in the given
951 module.
952 """
953 if module is None:
954 return True
Benjamin Peterson6cadba72008-11-19 22:38:29 +0000955 elif inspect.getmodule(object) is not None:
956 return module is inspect.getmodule(object)
Tim Peters8485b562004-08-04 18:46:34 +0000957 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000958 return module.__dict__ is object.__globals__
Zachary Warea4b7a752013-11-24 01:19:09 -0600959 elif inspect.ismethoddescriptor(object):
Zachary Wareeee44f22014-02-06 15:46:38 -0600960 if hasattr(object, '__objclass__'):
961 obj_mod = object.__objclass__.__module__
962 elif hasattr(object, '__module__'):
963 obj_mod = object.__module__
964 else:
965 return True # [XX] no easy way to tell otherwise
966 return module.__name__ == obj_mod
Tim Peters8485b562004-08-04 18:46:34 +0000967 elif inspect.isclass(object):
968 return module.__name__ == object.__module__
Tim Peters8485b562004-08-04 18:46:34 +0000969 elif hasattr(object, '__module__'):
970 return module.__name__ == object.__module__
971 elif isinstance(object, property):
972 return True # [XX] no way not be sure.
973 else:
974 raise ValueError("object must be a class or function")
975
Miss Islington (bot)10d6f6b2021-05-05 11:01:21 -0700976 def _is_routine(self, obj):
977 """
978 Safely unwrap objects and determine if they are functions.
979 """
980 maybe_routine = obj
981 try:
982 maybe_routine = inspect.unwrap(maybe_routine)
983 except ValueError:
984 pass
985 return inspect.isroutine(maybe_routine)
986
Tim Petersf3f57472004-08-08 06:11:48 +0000987 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000988 """
989 Find tests for the given object and any contained objects, and
990 add them to `tests`.
991 """
992 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000993 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000994
995 # If we've already processed this object, then ignore it.
996 if id(obj) in seen:
997 return
998 seen[id(obj)] = 1
999
1000 # Find a test for this object, and add it to the list of tests.
1001 test = self._get_test(obj, name, module, globs, source_lines)
1002 if test is not None:
1003 tests.append(test)
1004
1005 # Look for tests in a module's contained objects.
1006 if inspect.ismodule(obj) and self._recurse:
1007 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +00001008 valname = '%s.%s' % (name, valname)
Miss Islington (bot)10d6f6b2021-05-05 11:01:21 -07001009
Tim Peters8485b562004-08-04 18:46:34 +00001010 # Recurse to functions & classes.
Miss Islington (bot)10d6f6b2021-05-05 11:01:21 -07001011 if ((self._is_routine(val) or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +00001012 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +00001013 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +00001014 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +00001015
1016 # Look for tests in a module's __test__ dictionary.
1017 if inspect.ismodule(obj) and self._recurse:
1018 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +00001019 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +00001020 raise ValueError("DocTestFinder.find: __test__ keys "
1021 "must be strings: %r" %
1022 (type(valname),))
Zachary Warea4b7a752013-11-24 01:19:09 -06001023 if not (inspect.isroutine(val) or inspect.isclass(val) or
1024 inspect.ismodule(val) or isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +00001025 raise ValueError("DocTestFinder.find: __test__ values "
1026 "must be strings, functions, methods, "
1027 "classes, or modules: %r" %
1028 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +00001029 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +00001030 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +00001031 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +00001032
1033 # Look for tests in a class's contained objects.
1034 if inspect.isclass(obj) and self._recurse:
1035 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +00001036 # Special handling for staticmethod/classmethod.
Miss Islington (bot)1f45cc02021-10-28 01:09:41 -07001037 if isinstance(val, (staticmethod, classmethod)):
1038 val = val.__func__
Tim Peters8485b562004-08-04 18:46:34 +00001039
1040 # Recurse to methods, properties, and nested classes.
Zachary Warea4b7a752013-11-24 01:19:09 -06001041 if ((inspect.isroutine(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +00001042 isinstance(val, property)) and
1043 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +00001044 valname = '%s.%s' % (name, valname)
1045 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +00001046 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +00001047
1048 def _get_test(self, obj, name, module, globs, source_lines):
1049 """
1050 Return a DocTest for the given object, if it defines a docstring;
1051 otherwise, return None.
1052 """
1053 # Extract the object's docstring. If it doesn't have one,
1054 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +00001055 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +00001056 docstring = obj
1057 else:
1058 try:
1059 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +00001060 docstring = ''
1061 else:
Jim Fulton7d428782004-10-13 14:15:32 +00001062 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +00001063 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +00001064 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +00001065 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +00001066 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +00001067
1068 # Find the docstring's location in the file.
1069 lineno = self._find_lineno(obj, source_lines)
1070
Edward Loper32ddbf72004-09-13 05:47:24 +00001071 # Don't bother if the docstring is empty.
1072 if self._exclude_empty and not docstring:
1073 return None
1074
Tim Peters8485b562004-08-04 18:46:34 +00001075 # Return a DocTest for this object.
1076 if module is None:
1077 filename = None
1078 else:
Xtreak8289e272019-12-13 23:36:53 +05301079 # __file__ can be None for namespace packages.
1080 filename = getattr(module, '__file__', None) or module.__name__
Brett Cannonf299abd2015-04-13 14:21:02 -04001081 if filename[-4:] == ".pyc":
Jim Fulton07a349c2004-08-22 14:10:00 +00001082 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +00001083 return self._parser.get_doctest(docstring, globs, name,
1084 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +00001085
1086 def _find_lineno(self, obj, source_lines):
1087 """
1088 Return a line number of the given object's docstring. Note:
1089 this method assumes that the object has a docstring.
1090 """
1091 lineno = None
1092
1093 # Find the line number for modules.
1094 if inspect.ismodule(obj):
1095 lineno = 0
1096
1097 # Find the line number for classes.
1098 # Note: this could be fooled if a class is defined multiple
1099 # times in a single file.
1100 if inspect.isclass(obj):
1101 if source_lines is None:
1102 return None
1103 pat = re.compile(r'^\s*class\s*%s\b' %
1104 getattr(obj, '__name__', '-'))
1105 for i, line in enumerate(source_lines):
1106 if pat.match(line):
1107 lineno = i
1108 break
1109
1110 # Find the line number for functions & methods.
Christian Heimesff737952007-11-27 10:40:20 +00001111 if inspect.ismethod(obj): obj = obj.__func__
Neal Norwitz221085d2007-02-25 20:55:47 +00001112 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +00001113 if inspect.istraceback(obj): obj = obj.tb_frame
1114 if inspect.isframe(obj): obj = obj.f_code
1115 if inspect.iscode(obj):
1116 lineno = getattr(obj, 'co_firstlineno', None)-1
1117
1118 # Find the line number where the docstring starts. Assume
1119 # that it's the first line that begins with a quote mark.
1120 # Note: this could be fooled by a multiline function
1121 # signature, where a continuation line begins with a quote
1122 # mark.
1123 if lineno is not None:
1124 if source_lines is None:
1125 return lineno+1
R David Murray44b548d2016-09-08 13:59:53 -04001126 pat = re.compile(r'(^|.*:)\s*\w*("|\')')
Tim Peters8485b562004-08-04 18:46:34 +00001127 for lineno in range(lineno, len(source_lines)):
1128 if pat.match(source_lines[lineno]):
1129 return lineno
1130
1131 # We couldn't find the line number.
1132 return None
1133
1134######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001135## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001136######################################################################
1137
Tim Peters8485b562004-08-04 18:46:34 +00001138class DocTestRunner:
1139 """
1140 A class used to run DocTest test cases, and accumulate statistics.
1141 The `run` method is used to process a single DocTest case. It
1142 returns a tuple `(f, t)`, where `t` is the number of test cases
1143 tried, and `f` is the number of test cases that failed.
1144
1145 >>> tests = DocTestFinder().find(_TestClass)
1146 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001147 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001148 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001149 ... print(test.name, '->', runner.run(test))
Christian Heimes25bb7832008-01-11 16:17:00 +00001150 _TestClass -> TestResults(failed=0, attempted=2)
1151 _TestClass.__init__ -> TestResults(failed=0, attempted=2)
1152 _TestClass.get -> TestResults(failed=0, attempted=2)
1153 _TestClass.square -> TestResults(failed=0, attempted=1)
Tim Peters8485b562004-08-04 18:46:34 +00001154
1155 The `summarize` method prints a summary of all the test cases that
1156 have been run by the runner, and returns an aggregated `(f, t)`
1157 tuple:
1158
1159 >>> runner.summarize(verbose=1)
1160 4 items passed all tests:
1161 2 tests in _TestClass
1162 2 tests in _TestClass.__init__
1163 2 tests in _TestClass.get
1164 1 tests in _TestClass.square
1165 7 tests in 4 items.
1166 7 passed and 0 failed.
1167 Test passed.
Christian Heimes25bb7832008-01-11 16:17:00 +00001168 TestResults(failed=0, attempted=7)
Tim Peters8485b562004-08-04 18:46:34 +00001169
1170 The aggregated number of tried examples and failed examples is
1171 also available via the `tries` and `failures` attributes:
1172
1173 >>> runner.tries
1174 7
1175 >>> runner.failures
1176 0
1177
1178 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001179 by an `OutputChecker`. This comparison may be customized with a
1180 number of option flags; see the documentation for `testmod` for
1181 more information. If the option flags are insufficient, then the
1182 comparison may also be customized by passing a subclass of
1183 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001184
1185 The test runner's display output can be controlled in two ways.
1186 First, an output function (`out) can be passed to
1187 `TestRunner.run`; this function will be called with strings that
1188 should be displayed. It defaults to `sys.stdout.write`. If
1189 capturing the output is not sufficient, then the display output
1190 can be also customized by subclassing DocTestRunner, and
1191 overriding the methods `report_start`, `report_success`,
1192 `report_unexpected_exception`, and `report_failure`.
1193 """
1194 # This divider string is used to separate failure messages, and to
1195 # separate sections of the summary.
1196 DIVIDER = "*" * 70
1197
Edward Loper34fcb142004-08-09 02:45:41 +00001198 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001199 """
1200 Create a new test runner.
1201
Edward Loper34fcb142004-08-09 02:45:41 +00001202 Optional keyword arg `checker` is the `OutputChecker` that
1203 should be used to compare the expected outputs and actual
1204 outputs of doctest examples.
1205
Tim Peters8485b562004-08-04 18:46:34 +00001206 Optional keyword arg 'verbose' prints lots of stuff if true,
1207 only failures if false; by default, it's true iff '-v' is in
1208 sys.argv.
1209
1210 Optional argument `optionflags` can be used to control how the
1211 test runner compares expected output to actual output, and how
1212 it displays failures. See the documentation for `testmod` for
1213 more information.
1214 """
Edward Loper34fcb142004-08-09 02:45:41 +00001215 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001216 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001217 verbose = '-v' in sys.argv
1218 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001219 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001220 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001221
Tim Peters8485b562004-08-04 18:46:34 +00001222 # Keep track of the examples we've run.
1223 self.tries = 0
1224 self.failures = 0
1225 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001226
Tim Peters8485b562004-08-04 18:46:34 +00001227 # Create a fake output target for capturing doctest output.
1228 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001229
Tim Peters8485b562004-08-04 18:46:34 +00001230 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001231 # Reporting methods
1232 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001233
Tim Peters8485b562004-08-04 18:46:34 +00001234 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001235 """
Tim Peters8485b562004-08-04 18:46:34 +00001236 Report that the test runner is about to process the given
1237 example. (Only displays a message if verbose=True)
1238 """
1239 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001240 if example.want:
1241 out('Trying:\n' + _indent(example.source) +
1242 'Expecting:\n' + _indent(example.want))
1243 else:
1244 out('Trying:\n' + _indent(example.source) +
1245 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001246
Tim Peters8485b562004-08-04 18:46:34 +00001247 def report_success(self, out, test, example, got):
1248 """
1249 Report that the given example ran successfully. (Only
1250 displays a message if verbose=True)
1251 """
1252 if self._verbose:
1253 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001254
Tim Peters8485b562004-08-04 18:46:34 +00001255 def report_failure(self, out, test, example, got):
1256 """
1257 Report that the given example failed.
1258 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001259 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001260 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001261
Tim Peters8485b562004-08-04 18:46:34 +00001262 def report_unexpected_exception(self, out, test, example, exc_info):
1263 """
1264 Report that the given example raised an unexpected exception.
1265 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001266 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001267 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001268
Edward Loper8e4a34b2004-08-12 02:34:27 +00001269 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001270 out = [self.DIVIDER]
1271 if test.filename:
1272 if test.lineno is not None and example.lineno is not None:
1273 lineno = test.lineno + example.lineno + 1
1274 else:
1275 lineno = '?'
1276 out.append('File "%s", line %s, in %s' %
1277 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001278 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001279 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1280 out.append('Failed example:')
1281 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001282 out.append(_indent(source))
1283 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001284
Tim Peters8485b562004-08-04 18:46:34 +00001285 #/////////////////////////////////////////////////////////////////
1286 # DocTest Running
1287 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001288
Tim Peters8485b562004-08-04 18:46:34 +00001289 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001290 """
Tim Peters8485b562004-08-04 18:46:34 +00001291 Run the examples in `test`. Write the outcome of each example
1292 with one of the `DocTestRunner.report_*` methods, using the
1293 writer function `out`. `compileflags` is the set of compiler
1294 flags that should be used to execute examples. Return a tuple
1295 `(f, t)`, where `t` is the number of examples tried, and `f`
1296 is the number of examples that failed. The examples are run
1297 in the namespace `test.globs`.
1298 """
1299 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001300 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001301
1302 # Save the option flags (since option directives can be used
1303 # to modify them).
1304 original_optionflags = self.optionflags
1305
Tim Peters1fbf9c52004-09-04 17:21:02 +00001306 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1307
1308 check = self._checker.check_output
1309
Tim Peters8485b562004-08-04 18:46:34 +00001310 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001311 for examplenum, example in enumerate(test.examples):
1312
Ezio Melotti13925002011-03-16 11:05:33 +02001313 # If REPORT_ONLY_FIRST_FAILURE is set, then suppress
Edward Lopera89f88d2004-08-26 02:45:51 +00001314 # reporting after the first failure.
1315 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1316 failures > 0)
1317
Edward Loper74bca7a2004-08-12 02:27:44 +00001318 # Merge in the example's options.
1319 self.optionflags = original_optionflags
1320 if example.options:
1321 for (optionflag, val) in example.options.items():
1322 if val:
1323 self.optionflags |= optionflag
1324 else:
1325 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001326
Thomas Wouters477c8d52006-05-27 19:21:47 +00001327 # If 'SKIP' is set, then skip this example.
1328 if self.optionflags & SKIP:
1329 continue
1330
Tim Peters8485b562004-08-04 18:46:34 +00001331 # Record that we started this example.
1332 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001333 if not quiet:
1334 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001335
Edward Loper2de91ba2004-08-27 02:07:46 +00001336 # Use a special filename for compile(), so we can retrieve
1337 # the source code during interactive debugging (see
1338 # __patched_linecache_getlines).
1339 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1340
Tim Peters8485b562004-08-04 18:46:34 +00001341 # Run the example in the given context (globs), and record
1342 # any exception that gets raised. (But don't intercept
1343 # keyboard interrupts.)
1344 try:
Tim Peters208ca702004-08-09 04:12:36 +00001345 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001346 exec(compile(example.source, filename, "single",
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03001347 compileflags, True), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001348 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001349 exception = None
1350 except KeyboardInterrupt:
1351 raise
1352 except:
1353 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001354 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001355
Tim Peters208ca702004-08-09 04:12:36 +00001356 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001357 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001358 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001359
1360 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001361 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001362 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001363 if check(example.want, got, self.optionflags):
1364 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001365
Tim Peters1fbf9c52004-09-04 17:21:02 +00001366 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001367 else:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001368 exc_msg = traceback.format_exception_only(*exception[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001369 if not quiet:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001370 got += _exception_traceback(exception)
Tim Peters8485b562004-08-04 18:46:34 +00001371
Tim Peters1fbf9c52004-09-04 17:21:02 +00001372 # If `example.exc_msg` is None, then we weren't expecting
1373 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001374 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001375 outcome = BOOM
1376
1377 # We expected an exception: see whether it matches.
1378 elif check(example.exc_msg, exc_msg, self.optionflags):
1379 outcome = SUCCESS
1380
1381 # Another chance if they didn't care about the detail.
1382 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
Tim Petersf9a07f22013-12-03 21:02:05 -06001383 if check(_strip_exception_details(example.exc_msg),
1384 _strip_exception_details(exc_msg),
1385 self.optionflags):
Tim Peters1fbf9c52004-09-04 17:21:02 +00001386 outcome = SUCCESS
1387
1388 # Report the outcome.
1389 if outcome is SUCCESS:
1390 if not quiet:
1391 self.report_success(out, test, example, got)
1392 elif outcome is FAILURE:
1393 if not quiet:
1394 self.report_failure(out, test, example, got)
1395 failures += 1
1396 elif outcome is BOOM:
1397 if not quiet:
1398 self.report_unexpected_exception(out, test, example,
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001399 exception)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001400 failures += 1
1401 else:
1402 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001403
R David Murray5a9d7062012-11-21 15:09:21 -05001404 if failures and self.optionflags & FAIL_FAST:
1405 break
1406
Tim Peters8485b562004-08-04 18:46:34 +00001407 # Restore the option flags (in case they were modified)
1408 self.optionflags = original_optionflags
1409
1410 # Record and return the number of failures and tries.
1411 self.__record_outcome(test, failures, tries)
Christian Heimes25bb7832008-01-11 16:17:00 +00001412 return TestResults(failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001413
Tim Peters8485b562004-08-04 18:46:34 +00001414 def __record_outcome(self, test, f, t):
1415 """
1416 Record the fact that the given DocTest (`test`) generated `f`
1417 failures out of `t` tried examples.
1418 """
1419 f2, t2 = self._name2ft.get(test.name, (0,0))
1420 self._name2ft[test.name] = (f+f2, t+t2)
1421 self.failures += f
1422 self.tries += t
1423
Edward Loper2de91ba2004-08-27 02:07:46 +00001424 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
Florent Xiclunad9f57632010-10-14 20:56:20 +00001425 r'(?P<name>.+)'
Edward Loper2de91ba2004-08-27 02:07:46 +00001426 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001427 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001428 m = self.__LINECACHE_FILENAME_RE.match(filename)
1429 if m and m.group('name') == self.test.name:
1430 example = self.test.examples[int(m.group('examplenum'))]
Ezio Melottid8b509b2011-09-28 17:37:55 +03001431 return example.source.splitlines(keepends=True)
Edward Loper2de91ba2004-08-27 02:07:46 +00001432 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001433 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001434
Tim Peters8485b562004-08-04 18:46:34 +00001435 def run(self, test, compileflags=None, out=None, clear_globs=True):
1436 """
1437 Run the examples in `test`, and display the results using the
1438 writer function `out`.
1439
1440 The examples are run in the namespace `test.globs`. If
1441 `clear_globs` is true (the default), then this namespace will
1442 be cleared after the test runs, to help with garbage
1443 collection. If you would like to examine the namespace after
1444 the test completes, then use `clear_globs=False`.
1445
1446 `compileflags` gives the set of flags that should be used by
1447 the Python compiler when running the examples. If not
1448 specified, then it will default to the set of future-import
1449 flags that apply to `globs`.
1450
1451 The output of each example is checked using
1452 `DocTestRunner.check_output`, and the results are formatted by
1453 the `DocTestRunner.report_*` methods.
1454 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001455 self.test = test
1456
Tim Peters8485b562004-08-04 18:46:34 +00001457 if compileflags is None:
1458 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001459
Tim Peters6c542b72004-08-09 16:43:36 +00001460 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001461 if out is None:
Florent Xicluna59250852010-02-27 14:21:57 +00001462 encoding = save_stdout.encoding
1463 if encoding is None or encoding.lower() == 'utf-8':
1464 out = save_stdout.write
1465 else:
1466 # Use backslashreplace error handling on write
1467 def out(s):
1468 s = str(s.encode(encoding, 'backslashreplace'), encoding)
1469 save_stdout.write(s)
Tim Peters6c542b72004-08-09 16:43:36 +00001470 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001471
Edward Loper2de91ba2004-08-27 02:07:46 +00001472 # Patch pdb.set_trace to restore sys.stdout during interactive
1473 # debugging (so it's not still redirected to self._fakeout).
1474 # Note that the interactive output will go to *our*
1475 # save_stdout, even if that's not the real sys.stdout; this
1476 # allows us to write test cases for the set_trace behavior.
Brett Cannon31f59292011-02-21 19:29:56 +00001477 save_trace = sys.gettrace()
Tim Peters6c542b72004-08-09 16:43:36 +00001478 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001479 self.debugger = _OutputRedirectingPdb(save_stdout)
1480 self.debugger.reset()
1481 pdb.set_trace = self.debugger.set_trace
1482
1483 # Patch linecache.getlines, so we can see the example's source
1484 # when we're inside the debugger.
1485 self.save_linecache_getlines = linecache.getlines
1486 linecache.getlines = self.__patched_linecache_getlines
1487
Georg Brandl25fbb892010-07-30 09:23:23 +00001488 # Make sure sys.displayhook just prints the value to stdout
1489 save_displayhook = sys.displayhook
1490 sys.displayhook = sys.__displayhook__
1491
Tim Peters8485b562004-08-04 18:46:34 +00001492 try:
Tim Peters8485b562004-08-04 18:46:34 +00001493 return self.__run(test, compileflags, out)
1494 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001495 sys.stdout = save_stdout
1496 pdb.set_trace = save_set_trace
Brett Cannon31f59292011-02-21 19:29:56 +00001497 sys.settrace(save_trace)
Edward Loper2de91ba2004-08-27 02:07:46 +00001498 linecache.getlines = self.save_linecache_getlines
Georg Brandl25fbb892010-07-30 09:23:23 +00001499 sys.displayhook = save_displayhook
Tim Peters8485b562004-08-04 18:46:34 +00001500 if clear_globs:
1501 test.globs.clear()
Benjamin Petersonfbf66bd2008-07-29 15:55:50 +00001502 import builtins
1503 builtins._ = None
Tim Peters8485b562004-08-04 18:46:34 +00001504
1505 #/////////////////////////////////////////////////////////////////
1506 # Summarization
1507 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001508 def summarize(self, verbose=None):
1509 """
Tim Peters8485b562004-08-04 18:46:34 +00001510 Print a summary of all the test cases that have been run by
1511 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1512 the total number of failed examples, and `t` is the total
1513 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001514
Tim Peters8485b562004-08-04 18:46:34 +00001515 The optional `verbose` argument controls how detailed the
1516 summary is. If the verbosity is not specified, then the
1517 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001518 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001519 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001520 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001521 notests = []
1522 passed = []
1523 failed = []
1524 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001525 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001526 name, (f, t) = x
1527 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001528 totalt += t
1529 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001530 if t == 0:
1531 notests.append(name)
1532 elif f == 0:
1533 passed.append( (name, t) )
1534 else:
1535 failed.append(x)
1536 if verbose:
1537 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001538 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001539 notests.sort()
1540 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001541 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001542 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001543 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001544 passed.sort()
1545 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001546 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001547 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001548 print(self.DIVIDER)
1549 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001550 failed.sort()
1551 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001552 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001553 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001554 print(totalt, "tests in", len(self._name2ft), "items.")
1555 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001556 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001557 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001558 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001559 print("Test passed.")
Christian Heimes25bb7832008-01-11 16:17:00 +00001560 return TestResults(totalf, totalt)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001561
Tim Peters82076ef2004-09-13 00:52:51 +00001562 #/////////////////////////////////////////////////////////////////
1563 # Backward compatibility cruft to maintain doctest.master.
1564 #/////////////////////////////////////////////////////////////////
1565 def merge(self, other):
1566 d = self._name2ft
1567 for name, (f, t) in other._name2ft.items():
1568 if name in d:
Nick Coghlan38622002008-12-15 12:01:34 +00001569 # Don't print here by default, since doing
1570 # so breaks some of the buildbots
1571 #print("*** DocTestRunner.merge: '" + name + "' in both" \
1572 # " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001573 f2, t2 = d[name]
1574 f = f + f2
1575 t = t + t2
1576 d[name] = f, t
1577
Edward Loper34fcb142004-08-09 02:45:41 +00001578class OutputChecker:
1579 """
1580 A class used to check the whether the actual output from a doctest
1581 example matches the expected output. `OutputChecker` defines two
1582 methods: `check_output`, which compares a given pair of outputs,
1583 and returns true if they match; and `output_difference`, which
1584 returns a string describing the differences between two outputs.
1585 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001586 def _toAscii(self, s):
1587 """
1588 Convert string to hex-escaped ASCII string.
1589 """
1590 return str(s.encode('ASCII', 'backslashreplace'), "ASCII")
1591
Edward Loper34fcb142004-08-09 02:45:41 +00001592 def check_output(self, want, got, optionflags):
1593 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001594 Return True iff the actual output from an example (`got`)
1595 matches the expected output (`want`). These strings are
1596 always considered to match if they are identical; but
1597 depending on what option flags the test runner is using,
1598 several non-exact match types are also possible. See the
1599 documentation for `TestRunner` for more information about
1600 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001601 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001602
1603 # If `want` contains hex-escaped character such as "\u1234",
1604 # then `want` is a string of six characters(e.g. [\,u,1,2,3,4]).
Martin Panter2e4571a2015-11-14 01:07:43 +00001605 # On the other hand, `got` could be another sequence of
Georg Brandl559e5d72008-06-11 18:37:52 +00001606 # characters such as [\u1234], so `want` and `got` should
1607 # be folded to hex-escaped ASCII string to compare.
1608 got = self._toAscii(got)
1609 want = self._toAscii(want)
1610
Edward Loper34fcb142004-08-09 02:45:41 +00001611 # Handle the common case first, for efficiency:
1612 # if they're string-identical, always return true.
1613 if got == want:
1614 return True
1615
1616 # The values True and False replaced 1 and 0 as the return
1617 # value for boolean comparisons in Python 2.3.
1618 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1619 if (got,want) == ("True\n", "1\n"):
1620 return True
1621 if (got,want) == ("False\n", "0\n"):
1622 return True
1623
1624 # <BLANKLINE> can be used as a special sequence to signify a
1625 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1626 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1627 # Replace <BLANKLINE> in want with a blank line.
R David Murray44b548d2016-09-08 13:59:53 -04001628 want = re.sub(r'(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
Edward Loper34fcb142004-08-09 02:45:41 +00001629 '', want)
1630 # If a line in got contains only spaces, then remove the
1631 # spaces.
Serhiy Storchaka70d56fb2017-12-04 14:29:05 +02001632 got = re.sub(r'(?m)^[^\S\n]+$', '', got)
Edward Loper34fcb142004-08-09 02:45:41 +00001633 if got == want:
1634 return True
1635
1636 # This flag causes doctest to ignore any differences in the
1637 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001638 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001639 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001640 got = ' '.join(got.split())
1641 want = ' '.join(want.split())
1642 if got == want:
1643 return True
1644
1645 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001646 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001647 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001648 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001649 return True
1650
1651 # We didn't find any match; return false.
1652 return False
1653
Tim Petersc6cbab02004-08-22 19:43:28 +00001654 # Should we do a fancy diff?
1655 def _do_a_fancy_diff(self, want, got, optionflags):
1656 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001657 if not optionflags & (REPORT_UDIFF |
1658 REPORT_CDIFF |
1659 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001660 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001661
Tim Petersc6cbab02004-08-22 19:43:28 +00001662 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001663 # too hard ... or maybe not. In two real-life failures Tim saw,
1664 # a diff was a major help anyway, so this is commented out.
1665 # [todo] _ellipsis_match() knows which pieces do and don't match,
1666 # and could be the basis for a kick-ass diff in this case.
1667 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1668 ## return False
1669
Tim Petersc6cbab02004-08-22 19:43:28 +00001670 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001671 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001672 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001673 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001674
Tim Petersc6cbab02004-08-22 19:43:28 +00001675 # The other diff types need at least a few lines to be helpful.
1676 return want.count('\n') > 2 and got.count('\n') > 2
1677
Edward Loperca9111e2004-08-26 03:00:24 +00001678 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001679 """
1680 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001681 expected output for a given example (`example`) and the actual
1682 output (`got`). `optionflags` is the set of option flags used
1683 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001684 """
Edward Loperca9111e2004-08-26 03:00:24 +00001685 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001686 # If <BLANKLINE>s are being used, then replace blank lines
1687 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001688 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001689 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001690
Tim Peters5b799c12004-08-26 05:21:59 +00001691 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001692 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001693 # Split want & got into lines.
Ezio Melottid8b509b2011-09-28 17:37:55 +03001694 want_lines = want.splitlines(keepends=True)
1695 got_lines = got.splitlines(keepends=True)
Edward Loper34fcb142004-08-09 02:45:41 +00001696 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001697 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001698 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1699 diff = list(diff)[2:] # strip the diff header
1700 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001701 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001702 diff = difflib.context_diff(want_lines, got_lines, n=2)
1703 diff = list(diff)[2:] # strip the diff header
1704 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001705 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001706 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1707 diff = list(engine.compare(want_lines, got_lines))
1708 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001709 else:
1710 assert 0, 'Bad diff option'
Edward Loperaacf0832004-08-26 01:19:50 +00001711 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001712
1713 # If we're not using diff, then simply list the expected
1714 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001715 if want and got:
1716 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1717 elif want:
1718 return 'Expected:\n%sGot nothing\n' % _indent(want)
1719 elif got:
1720 return 'Expected nothing\nGot:\n%s' % _indent(got)
1721 else:
1722 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001723
Tim Peters19397e52004-08-06 22:02:59 +00001724class DocTestFailure(Exception):
1725 """A DocTest example has failed in debugging mode.
1726
1727 The exception instance has variables:
1728
1729 - test: the DocTest object being run
1730
Neal Norwitzc082cb72006-08-29 05:40:08 +00001731 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001732
1733 - got: the actual output
1734 """
1735 def __init__(self, test, example, got):
1736 self.test = test
1737 self.example = example
1738 self.got = got
1739
1740 def __str__(self):
1741 return str(self.test)
1742
1743class UnexpectedException(Exception):
1744 """A DocTest example has encountered an unexpected exception
1745
1746 The exception instance has variables:
1747
1748 - test: the DocTest object being run
1749
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001750 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001751
1752 - exc_info: the exception info
1753 """
1754 def __init__(self, test, example, exc_info):
1755 self.test = test
1756 self.example = example
1757 self.exc_info = exc_info
1758
1759 def __str__(self):
1760 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001761
Tim Peters19397e52004-08-06 22:02:59 +00001762class DebugRunner(DocTestRunner):
1763 r"""Run doc tests but raise an exception as soon as there is a failure.
1764
1765 If an unexpected exception occurs, an UnexpectedException is raised.
1766 It contains the test, the example, and the original exception:
1767
1768 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001769 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1770 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001771 >>> try:
1772 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001773 ... except UnexpectedException as f:
1774 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001775
1776 >>> failure.test is test
1777 True
1778
1779 >>> failure.example.want
1780 '42\n'
1781
1782 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001783 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001784 Traceback (most recent call last):
1785 ...
1786 KeyError
1787
1788 We wrap the original exception to give the calling application
1789 access to the test and example information.
1790
1791 If the output doesn't match, then a DocTestFailure is raised:
1792
Edward Lopera1ef6112004-08-09 16:14:41 +00001793 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001794 ... >>> x = 1
1795 ... >>> x
1796 ... 2
1797 ... ''', {}, 'foo', 'foo.py', 0)
1798
1799 >>> try:
1800 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001801 ... except DocTestFailure as f:
1802 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001803
1804 DocTestFailure objects provide access to the test:
1805
1806 >>> failure.test is test
1807 True
1808
1809 As well as to the example:
1810
1811 >>> failure.example.want
1812 '2\n'
1813
1814 and the actual output:
1815
1816 >>> failure.got
1817 '1\n'
1818
1819 If a failure or error occurs, the globals are left intact:
1820
1821 >>> del test.globs['__builtins__']
1822 >>> test.globs
1823 {'x': 1}
1824
Edward Lopera1ef6112004-08-09 16:14:41 +00001825 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001826 ... >>> x = 2
1827 ... >>> raise KeyError
1828 ... ''', {}, 'foo', 'foo.py', 0)
1829
1830 >>> runner.run(test)
1831 Traceback (most recent call last):
1832 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001833 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001834
Tim Peters19397e52004-08-06 22:02:59 +00001835 >>> del test.globs['__builtins__']
1836 >>> test.globs
1837 {'x': 2}
1838
1839 But the globals are cleared if there is no error:
1840
Edward Lopera1ef6112004-08-09 16:14:41 +00001841 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001842 ... >>> x = 2
1843 ... ''', {}, 'foo', 'foo.py', 0)
1844
1845 >>> runner.run(test)
Christian Heimes25bb7832008-01-11 16:17:00 +00001846 TestResults(failed=0, attempted=1)
Tim Peters19397e52004-08-06 22:02:59 +00001847
1848 >>> test.globs
1849 {}
1850
1851 """
1852
1853 def run(self, test, compileflags=None, out=None, clear_globs=True):
1854 r = DocTestRunner.run(self, test, compileflags, out, False)
1855 if clear_globs:
1856 test.globs.clear()
1857 return r
1858
1859 def report_unexpected_exception(self, out, test, example, exc_info):
1860 raise UnexpectedException(test, example, exc_info)
1861
1862 def report_failure(self, out, test, example, got):
1863 raise DocTestFailure(test, example, got)
1864
Tim Peters8485b562004-08-04 18:46:34 +00001865######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001866## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001867######################################################################
1868# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001869
Tim Peters82076ef2004-09-13 00:52:51 +00001870# For backward compatibility, a global instance of a DocTestRunner
1871# class, updated by testmod.
1872master = None
1873
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001874def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001875 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001876 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001877 """m=None, name=None, globs=None, verbose=None, report=True,
1878 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001879 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001880
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001881 Test examples in docstrings in functions and classes reachable
1882 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001883 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001884
1885 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001886 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001887 function and class docstrings are tested even if the name is private;
1888 strings are tested directly, as if they were docstrings.
1889
1890 Return (#failures, #tests).
1891
Alexander Belopolsky977a6842010-08-16 20:17:07 +00001892 See help(doctest) for an overview.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001893
1894 Optional keyword arg "name" gives the name of the module; by default
1895 use m.__name__.
1896
1897 Optional keyword arg "globs" gives a dict to be used as the globals
1898 when executing examples; by default, use m.__dict__. A copy of this
1899 dict is actually used for each docstring, so that each docstring's
1900 examples start with a clean slate.
1901
Tim Peters8485b562004-08-04 18:46:34 +00001902 Optional keyword arg "extraglobs" gives a dictionary that should be
1903 merged into the globals that are used to execute examples. By
1904 default, no extra globals are used. This is new in 2.4.
1905
Tim Peters8a7d2d52001-01-16 07:10:57 +00001906 Optional keyword arg "verbose" prints lots of stuff if true, prints
1907 only failures if false; by default, it's true iff "-v" is in sys.argv.
1908
Tim Peters8a7d2d52001-01-16 07:10:57 +00001909 Optional keyword arg "report" prints a summary at the end when true,
1910 else prints nothing at the end. In verbose mode, the summary is
1911 detailed, else very brief (in fact, empty if all tests passed).
1912
Tim Peters6ebe61f2003-06-27 20:48:05 +00001913 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001914 and defaults to 0. This is new in 2.3. Possible values (see the
1915 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001916
1917 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001918 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001919 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001920 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001921 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001922 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001923 REPORT_UDIFF
1924 REPORT_CDIFF
1925 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001926 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001927
1928 Optional keyword arg "raise_on_error" raises an exception on the
1929 first unexpected exception or failure. This allows failures to be
1930 post-mortem debugged.
1931
Tim Peters8a7d2d52001-01-16 07:10:57 +00001932 Advanced tomfoolery: testmod runs methods of a local instance of
1933 class doctest.Tester, then merges the results into (or creates)
1934 global Tester instance doctest.master. Methods of doctest.master
1935 can be called directly too, if you want to do something unusual.
1936 Passing report=0 to testmod is especially useful then, to delay
1937 displaying a summary. Invoke doctest.master.summarize(verbose)
1938 when you're done fiddling.
1939 """
Tim Peters82076ef2004-09-13 00:52:51 +00001940 global master
1941
Tim Peters8485b562004-08-04 18:46:34 +00001942 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001943 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001944 # DWA - m will still be None if this wasn't invoked from the command
1945 # line, in which case the following TypeError is about as good an error
1946 # as we should expect
1947 m = sys.modules.get('__main__')
1948
Tim Peters8485b562004-08-04 18:46:34 +00001949 # Check that we were actually given a module.
1950 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001951 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001952
1953 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001954 if name is None:
1955 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001956
1957 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001958 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001959
1960 if raise_on_error:
1961 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1962 else:
1963 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1964
Tim Peters8485b562004-08-04 18:46:34 +00001965 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1966 runner.run(test)
1967
Tim Peters8a7d2d52001-01-16 07:10:57 +00001968 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001969 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001970
Tim Peters82076ef2004-09-13 00:52:51 +00001971 if master is None:
1972 master = runner
1973 else:
1974 master.merge(runner)
1975
Christian Heimes25bb7832008-01-11 16:17:00 +00001976 return TestResults(runner.failures, runner.tries)
Tim Petersdb3756d2003-06-29 05:30:48 +00001977
Edward Loper052d0cd2004-09-19 17:19:33 +00001978def testfile(filename, module_relative=True, name=None, package=None,
1979 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001980 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1981 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001982 """
1983 Test examples in the given file. Return (#failures, #tests).
1984
1985 Optional keyword arg "module_relative" specifies how filenames
1986 should be interpreted:
1987
1988 - If "module_relative" is True (the default), then "filename"
1989 specifies a module-relative path. By default, this path is
1990 relative to the calling module's directory; but if the
1991 "package" argument is specified, then it is relative to that
1992 package. To ensure os-independence, "filename" should use
1993 "/" characters to separate path segments, and should not
1994 be an absolute path (i.e., it may not begin with "/").
1995
1996 - If "module_relative" is False, then "filename" specifies an
1997 os-specific path. The path may be absolute or relative (to
1998 the current working directory).
1999
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002000 Optional keyword arg "name" gives the name of the test; by default
2001 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00002002
2003 Optional keyword argument "package" is a Python package or the
2004 name of a Python package whose directory should be used as the
2005 base directory for a module relative filename. If no package is
2006 specified, then the calling module's directory is used as the base
2007 directory for module relative filenames. It is an error to
2008 specify "package" if "module_relative" is False.
2009
2010 Optional keyword arg "globs" gives a dict to be used as the globals
2011 when executing examples; by default, use {}. A copy of this dict
2012 is actually used for each docstring, so that each docstring's
2013 examples start with a clean slate.
2014
2015 Optional keyword arg "extraglobs" gives a dictionary that should be
2016 merged into the globals that are used to execute examples. By
2017 default, no extra globals are used.
2018
2019 Optional keyword arg "verbose" prints lots of stuff if true, prints
2020 only failures if false; by default, it's true iff "-v" is in sys.argv.
2021
2022 Optional keyword arg "report" prints a summary at the end when true,
2023 else prints nothing at the end. In verbose mode, the summary is
2024 detailed, else very brief (in fact, empty if all tests passed).
2025
2026 Optional keyword arg "optionflags" or's together module constants,
2027 and defaults to 0. Possible values (see the docs for details):
2028
2029 DONT_ACCEPT_TRUE_FOR_1
2030 DONT_ACCEPT_BLANKLINE
2031 NORMALIZE_WHITESPACE
2032 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00002033 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00002034 IGNORE_EXCEPTION_DETAIL
2035 REPORT_UDIFF
2036 REPORT_CDIFF
2037 REPORT_NDIFF
2038 REPORT_ONLY_FIRST_FAILURE
2039
2040 Optional keyword arg "raise_on_error" raises an exception on the
2041 first unexpected exception or failure. This allows failures to be
2042 post-mortem debugged.
2043
Edward Loper498a1862004-09-27 03:42:58 +00002044 Optional keyword arg "parser" specifies a DocTestParser (or
2045 subclass) that should be used to extract tests from the files.
2046
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002047 Optional keyword arg "encoding" specifies an encoding that should
2048 be used to convert the file to unicode.
2049
Edward Loper052d0cd2004-09-19 17:19:33 +00002050 Advanced tomfoolery: testmod runs methods of a local instance of
2051 class doctest.Tester, then merges the results into (or creates)
2052 global Tester instance doctest.master. Methods of doctest.master
2053 can be called directly too, if you want to do something unusual.
2054 Passing report=0 to testmod is especially useful then, to delay
2055 displaying a summary. Invoke doctest.master.summarize(verbose)
2056 when you're done fiddling.
2057 """
2058 global master
2059
2060 if package and not module_relative:
2061 raise ValueError("Package may only be specified for module-"
2062 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002063
Edward Loper052d0cd2004-09-19 17:19:33 +00002064 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002065 text, filename = _load_testfile(filename, package, module_relative,
2066 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00002067
2068 # If no name was given, then use the file's name.
2069 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002070 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00002071
2072 # Assemble the globals.
2073 if globs is None:
2074 globs = {}
2075 else:
2076 globs = globs.copy()
2077 if extraglobs is not None:
2078 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +00002079 if '__name__' not in globs:
2080 globs['__name__'] = '__main__'
Edward Loper052d0cd2004-09-19 17:19:33 +00002081
2082 if raise_on_error:
2083 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
2084 else:
2085 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2086
2087 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002088 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00002089 runner.run(test)
2090
2091 if report:
2092 runner.summarize()
2093
2094 if master is None:
2095 master = runner
2096 else:
2097 master.merge(runner)
2098
Christian Heimes25bb7832008-01-11 16:17:00 +00002099 return TestResults(runner.failures, runner.tries)
Edward Loper052d0cd2004-09-19 17:19:33 +00002100
Tim Peters8485b562004-08-04 18:46:34 +00002101def run_docstring_examples(f, globs, verbose=False, name="NoName",
2102 compileflags=None, optionflags=0):
2103 """
2104 Test examples in the given object's docstring (`f`), using `globs`
2105 as globals. Optional argument `name` is used in failure messages.
2106 If the optional argument `verbose` is true, then generate output
2107 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00002108
Tim Peters8485b562004-08-04 18:46:34 +00002109 `compileflags` gives the set of flags that should be used by the
2110 Python compiler when running the examples. If not specified, then
2111 it will default to the set of future-import flags that apply to
2112 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00002113
Tim Peters8485b562004-08-04 18:46:34 +00002114 Optional keyword arg `optionflags` specifies options for the
2115 testing and output. See the documentation for `testmod` for more
2116 information.
2117 """
2118 # Find, parse, and run all tests in the given module.
2119 finder = DocTestFinder(verbose=verbose, recurse=False)
2120 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2121 for test in finder.find(f, name, globs=globs):
2122 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00002123
Tim Peters8485b562004-08-04 18:46:34 +00002124######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002125## 7. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002126######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002127
Jim Fultonf54bad42004-08-28 14:57:56 +00002128_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002129
Jim Fultonf54bad42004-08-28 14:57:56 +00002130def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002131 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002132
2133 The old flag is returned so that a runner could restore the old
2134 value if it wished to:
2135
Tim Petersb7e99b62005-03-28 23:50:54 +00002136 >>> import doctest
2137 >>> old = doctest._unittest_reportflags
2138 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002139 ... REPORT_ONLY_FIRST_FAILURE) == old
2140 True
2141
Jim Fultonf54bad42004-08-28 14:57:56 +00002142 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2143 ... REPORT_ONLY_FIRST_FAILURE)
2144 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002145
Jim Fultonf54bad42004-08-28 14:57:56 +00002146 Only reporting flags can be set:
2147
Tim Petersb7e99b62005-03-28 23:50:54 +00002148 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002149 Traceback (most recent call last):
2150 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002151 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002152
Tim Petersb7e99b62005-03-28 23:50:54 +00002153 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002154 ... REPORT_ONLY_FIRST_FAILURE)
2155 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002156 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002157 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002158
2159 if (flags & REPORTING_FLAGS) != flags:
2160 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002161 old = _unittest_reportflags
2162 _unittest_reportflags = flags
2163 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002164
Jim Fultonf54bad42004-08-28 14:57:56 +00002165
Tim Peters19397e52004-08-06 22:02:59 +00002166class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002167
Edward Loper34fcb142004-08-09 02:45:41 +00002168 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2169 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002170
Jim Fultona643b652004-07-14 19:06:50 +00002171 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002172 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002173 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002174 self._dt_test = test
2175 self._dt_setUp = setUp
2176 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002177
Jim Fultona643b652004-07-14 19:06:50 +00002178 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002179 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002180
Tim Peters19397e52004-08-06 22:02:59 +00002181 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002182 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002183
2184 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002185 test = self._dt_test
2186
Tim Peters19397e52004-08-06 22:02:59 +00002187 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002188 self._dt_tearDown(test)
2189
2190 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002191
2192 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002193 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002194 old = sys.stdout
2195 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002196 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002197
Tim Peters38330fe2004-08-30 16:19:24 +00002198 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002199 # The option flags don't include any reporting flags,
2200 # so add the default reporting flags
2201 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002202
Jim Fultonf54bad42004-08-28 14:57:56 +00002203 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002204 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002205
Jim Fultona643b652004-07-14 19:06:50 +00002206 try:
Tim Peters19397e52004-08-06 22:02:59 +00002207 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002208 failures, tries = runner.run(
2209 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002210 finally:
2211 sys.stdout = old
2212
2213 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002214 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002215
Tim Peters19397e52004-08-06 22:02:59 +00002216 def format_failure(self, err):
2217 test = self._dt_test
2218 if test.lineno is None:
2219 lineno = 'unknown line number'
2220 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002221 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002222 lname = '.'.join(test.name.split('.')[-1:])
2223 return ('Failed doctest test for %s\n'
2224 ' File "%s", line %s, in %s\n\n%s'
2225 % (test.name, test.filename, lineno, lname, err)
2226 )
2227
2228 def debug(self):
2229 r"""Run the test case without results and without catching exceptions
2230
2231 The unit test framework includes a debug method on test cases
2232 and test suites to support post-mortem debugging. The test code
2233 is run in such a way that errors are not caught. This way a
2234 caller can catch the errors and initiate post-mortem debugging.
2235
2236 The DocTestCase provides a debug method that raises
Ezio Melotti13925002011-03-16 11:05:33 +02002237 UnexpectedException errors if there is an unexpected
Tim Peters19397e52004-08-06 22:02:59 +00002238 exception:
2239
Edward Lopera1ef6112004-08-09 16:14:41 +00002240 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002241 ... {}, 'foo', 'foo.py', 0)
2242 >>> case = DocTestCase(test)
2243 >>> try:
2244 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002245 ... except UnexpectedException as f:
2246 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002247
2248 The UnexpectedException contains the test, the example, and
2249 the original exception:
2250
2251 >>> failure.test is test
2252 True
2253
2254 >>> failure.example.want
2255 '42\n'
2256
2257 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002258 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002259 Traceback (most recent call last):
2260 ...
2261 KeyError
2262
2263 If the output doesn't match, then a DocTestFailure is raised:
2264
Edward Lopera1ef6112004-08-09 16:14:41 +00002265 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002266 ... >>> x = 1
2267 ... >>> x
2268 ... 2
2269 ... ''', {}, 'foo', 'foo.py', 0)
2270 >>> case = DocTestCase(test)
2271
2272 >>> try:
2273 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002274 ... except DocTestFailure as f:
2275 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002276
2277 DocTestFailure objects provide access to the test:
2278
2279 >>> failure.test is test
2280 True
2281
2282 As well as to the example:
2283
2284 >>> failure.example.want
2285 '2\n'
2286
2287 and the actual output:
2288
2289 >>> failure.got
2290 '1\n'
2291
2292 """
2293
Jim Fultonf54bad42004-08-28 14:57:56 +00002294 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002295 runner = DebugRunner(optionflags=self._dt_optionflags,
2296 checker=self._dt_checker, verbose=False)
Alexandre Vassalottieca20b62008-05-16 02:54:33 +00002297 runner.run(self._dt_test, clear_globs=False)
Jim Fultonf54bad42004-08-28 14:57:56 +00002298 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002299
2300 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002301 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002302
Antoine Pitrou2bc801c2011-12-18 19:27:45 +01002303 def __eq__(self, other):
2304 if type(self) is not type(other):
2305 return NotImplemented
2306
2307 return self._dt_test == other._dt_test and \
2308 self._dt_optionflags == other._dt_optionflags and \
2309 self._dt_setUp == other._dt_setUp and \
2310 self._dt_tearDown == other._dt_tearDown and \
2311 self._dt_checker == other._dt_checker
2312
Antoine Pitrou165b1282011-12-18 20:20:17 +01002313 def __hash__(self):
2314 return hash((self._dt_optionflags, self._dt_setUp, self._dt_tearDown,
2315 self._dt_checker))
2316
Jim Fultona643b652004-07-14 19:06:50 +00002317 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002318 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002319 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2320
Serhiy Storchaka96aeaec2019-05-06 22:29:40 +03002321 __str__ = object.__str__
Jim Fultona643b652004-07-14 19:06:50 +00002322
2323 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002324 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002325
R. David Murray378c0cf2010-02-24 01:46:21 +00002326class SkipDocTestCase(DocTestCase):
R David Murraye1121532012-03-21 14:53:42 -04002327 def __init__(self, module):
2328 self.module = module
R. David Murray378c0cf2010-02-24 01:46:21 +00002329 DocTestCase.__init__(self, None)
2330
2331 def setUp(self):
2332 self.skipTest("DocTestSuite will not work with -O2 and above")
2333
2334 def test_skip(self):
2335 pass
2336
2337 def shortDescription(self):
R David Murraye1121532012-03-21 14:53:42 -04002338 return "Skipping tests from %s" % self.module.__name__
2339
2340 __str__ = shortDescription
2341
R. David Murray378c0cf2010-02-24 01:46:21 +00002342
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002343class _DocTestSuite(unittest.TestSuite):
2344
2345 def _removeTestAtIndex(self, index):
2346 pass
2347
2348
Jim Fultonf54bad42004-08-28 14:57:56 +00002349def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2350 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002351 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002352 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002353
Tim Peters19397e52004-08-06 22:02:59 +00002354 This converts each documentation string in a module that
2355 contains doctest tests to a unittest test case. If any of the
2356 tests in a doc string fail, then the test case fails. An exception
2357 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002358 (sometimes approximate) line number.
2359
Tim Peters19397e52004-08-06 22:02:59 +00002360 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002361 can be either a module or a module name.
2362
2363 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002364
2365 A number of options may be provided as keyword arguments:
2366
Jim Fultonf54bad42004-08-28 14:57:56 +00002367 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002368 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002369 tests in each file. The setUp function will be passed a DocTest
2370 object. The setUp function can access the test globals as the
2371 globs attribute of the test passed.
2372
2373 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002374 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002375 tests in each file. The tearDown function will be passed a DocTest
2376 object. The tearDown function can access the test globals as the
2377 globs attribute of the test passed.
2378
2379 globs
2380 A dictionary containing initial global variables for the tests.
2381
2382 optionflags
2383 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002384 """
Jim Fultona643b652004-07-14 19:06:50 +00002385
Tim Peters8485b562004-08-04 18:46:34 +00002386 if test_finder is None:
2387 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002388
Tim Peters19397e52004-08-06 22:02:59 +00002389 module = _normalize_module(module)
2390 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
R. David Murray378c0cf2010-02-24 01:46:21 +00002391
2392 if not tests and sys.flags.optimize >=2:
2393 # Skip doctests when running with -O2
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002394 suite = _DocTestSuite()
R David Murraye1121532012-03-21 14:53:42 -04002395 suite.addTest(SkipDocTestCase(module))
R. David Murray378c0cf2010-02-24 01:46:21 +00002396 return suite
Tim Petersdb3756d2003-06-29 05:30:48 +00002397
2398 tests.sort()
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002399 suite = _DocTestSuite()
R. David Murray378c0cf2010-02-24 01:46:21 +00002400
Tim Peters8485b562004-08-04 18:46:34 +00002401 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002402 if len(test.examples) == 0:
2403 continue
Tim Peters8485b562004-08-04 18:46:34 +00002404 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002405 filename = module.__file__
Brett Cannonf299abd2015-04-13 14:21:02 -04002406 if filename[-4:] == ".pyc":
Tim Petersdb3756d2003-06-29 05:30:48 +00002407 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002408 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002409 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002410
2411 return suite
2412
2413class DocFileCase(DocTestCase):
2414
2415 def id(self):
2416 return '_'.join(self._dt_test.name.split('.'))
2417
2418 def __repr__(self):
2419 return self._dt_test.filename
Tim Peters19397e52004-08-06 22:02:59 +00002420
2421 def format_failure(self, err):
2422 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2423 % (self._dt_test.name, self._dt_test.filename, err)
2424 )
2425
Edward Loper052d0cd2004-09-19 17:19:33 +00002426def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002427 globs=None, parser=DocTestParser(),
2428 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002429 if globs is None:
2430 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002431 else:
2432 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002433
Edward Loper052d0cd2004-09-19 17:19:33 +00002434 if package and not module_relative:
2435 raise ValueError("Package may only be specified for module-"
2436 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002437
Edward Loper052d0cd2004-09-19 17:19:33 +00002438 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002439 doc, path = _load_testfile(path, package, module_relative,
2440 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002441
Fred Drake7c404a42004-12-21 23:46:34 +00002442 if "__file__" not in globs:
2443 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002444
Edward Loper052d0cd2004-09-19 17:19:33 +00002445 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002446 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002447
2448 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002449 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002450 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002451
2452def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002453 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002454
Edward Loper052d0cd2004-09-19 17:19:33 +00002455 The path to each doctest file is given as a string; the
2456 interpretation of that string depends on the keyword argument
2457 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002458
2459 A number of options may be provided as keyword arguments:
2460
Edward Loper052d0cd2004-09-19 17:19:33 +00002461 module_relative
2462 If "module_relative" is True, then the given file paths are
2463 interpreted as os-independent module-relative paths. By
2464 default, these paths are relative to the calling module's
2465 directory; but if the "package" argument is specified, then
2466 they are relative to that package. To ensure os-independence,
2467 "filename" should use "/" characters to separate path
2468 segments, and may not be an absolute path (i.e., it may not
2469 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002470
Edward Loper052d0cd2004-09-19 17:19:33 +00002471 If "module_relative" is False, then the given file paths are
2472 interpreted as os-specific paths. These paths may be absolute
2473 or relative (to the current working directory).
2474
Tim Peters19397e52004-08-06 22:02:59 +00002475 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002476 A Python package or the name of a Python package whose directory
2477 should be used as the base directory for module relative paths.
2478 If "package" is not specified, then the calling module's
2479 directory is used as the base directory for module relative
2480 filenames. It is an error to specify "package" if
2481 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002482
2483 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002484 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002485 tests in each file. The setUp function will be passed a DocTest
2486 object. The setUp function can access the test globals as the
2487 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002488
2489 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002490 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002491 tests in each file. The tearDown function will be passed a DocTest
2492 object. The tearDown function can access the test globals as the
2493 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002494
2495 globs
2496 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002497
2498 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002499 A set of doctest option flags expressed as an integer.
2500
2501 parser
2502 A DocTestParser (or subclass) that should be used to extract
2503 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002504
2505 encoding
2506 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002507 """
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002508 suite = _DocTestSuite()
Tim Peters19397e52004-08-06 22:02:59 +00002509
2510 # We do this here so that _normalize_module is called at the right
2511 # level. If it were called in DocFileTest, then this function
2512 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002513 if kw.get('module_relative', True):
2514 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002515
2516 for path in paths:
2517 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002518
Tim Petersdb3756d2003-06-29 05:30:48 +00002519 return suite
2520
Tim Peters8485b562004-08-04 18:46:34 +00002521######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002522## 8. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002523######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002524
Tim Peters19397e52004-08-06 22:02:59 +00002525def script_from_examples(s):
2526 r"""Extract script from text with examples.
2527
2528 Converts text with examples to a Python script. Example input is
2529 converted to regular code. Example output and all other words
2530 are converted to comments:
2531
2532 >>> text = '''
2533 ... Here are examples of simple math.
2534 ...
2535 ... Python has super accurate integer addition
2536 ...
2537 ... >>> 2 + 2
2538 ... 5
2539 ...
2540 ... And very friendly error messages:
2541 ...
2542 ... >>> 1/0
2543 ... To Infinity
2544 ... And
2545 ... Beyond
2546 ...
2547 ... You can use logic if you want:
2548 ...
2549 ... >>> if 0:
2550 ... ... blah
2551 ... ... blah
2552 ... ...
2553 ...
2554 ... Ho hum
2555 ... '''
2556
Guido van Rossum7131f842007-02-09 20:13:25 +00002557 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002558 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002559 #
Edward Lopera5db6002004-08-12 02:41:30 +00002560 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002561 #
2562 2 + 2
2563 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002564 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002565 #
Edward Lopera5db6002004-08-12 02:41:30 +00002566 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002567 #
2568 1/0
2569 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002570 ## To Infinity
2571 ## And
2572 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002573 #
Edward Lopera5db6002004-08-12 02:41:30 +00002574 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002575 #
2576 if 0:
2577 blah
2578 blah
Tim Peters19397e52004-08-06 22:02:59 +00002579 #
Edward Lopera5db6002004-08-12 02:41:30 +00002580 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002581 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002582 """
Edward Loper00f8da72004-08-26 18:05:07 +00002583 output = []
2584 for piece in DocTestParser().parse(s):
2585 if isinstance(piece, Example):
2586 # Add the example's source code (strip trailing NL)
2587 output.append(piece.source[:-1])
2588 # Add the expected output:
2589 want = piece.want
2590 if want:
2591 output.append('# Expected:')
2592 output += ['## '+l for l in want.split('\n')[:-1]]
2593 else:
2594 # Add non-example text.
2595 output += [_comment_line(l)
2596 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002597
Edward Loper00f8da72004-08-26 18:05:07 +00002598 # Trim junk on both ends.
2599 while output and output[-1] == '#':
2600 output.pop()
2601 while output and output[0] == '#':
2602 output.pop(0)
2603 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002604 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2605 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002606
2607def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002608 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002609
2610 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002611 test to be debugged and the name (within the module) of the object
2612 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002613 """
Tim Peters8485b562004-08-04 18:46:34 +00002614 module = _normalize_module(module)
2615 tests = DocTestFinder().find(module)
2616 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002617 if not test:
2618 raise ValueError(name, "not found in tests")
2619 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002620 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002621 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002622
Jim Fultona643b652004-07-14 19:06:50 +00002623def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002624 """Debug a single doctest docstring, in argument `src`'"""
2625 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002626 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002627
Jim Fultona643b652004-07-14 19:06:50 +00002628def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002629 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002630 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002631
Victor Stinner12b8d142011-06-30 17:35:55 +02002632 if globs:
2633 globs = globs.copy()
2634 else:
2635 globs = {}
Tim Peters8485b562004-08-04 18:46:34 +00002636
Victor Stinner12b8d142011-06-30 17:35:55 +02002637 if pm:
2638 try:
2639 exec(src, globs, globs)
2640 except:
2641 print(sys.exc_info()[1])
2642 p = pdb.Pdb(nosigint=True)
2643 p.reset()
2644 p.interaction(None, sys.exc_info()[2])
2645 else:
2646 pdb.Pdb(nosigint=True).run("exec(%r)" % src, globs, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002647
Jim Fultona643b652004-07-14 19:06:50 +00002648def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002649 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002650
2651 Provide the module (or dotted name of the module) containing the
2652 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002653 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002654 """
Tim Peters8485b562004-08-04 18:46:34 +00002655 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002656 testsrc = testsource(module, name)
2657 debug_script(testsrc, pm, module.__dict__)
2658
Tim Peters8485b562004-08-04 18:46:34 +00002659######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002660## 9. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002661######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002662class _TestClass:
2663 """
2664 A pointless class, for sanity-checking of docstring testing.
2665
2666 Methods:
2667 square()
2668 get()
2669
2670 >>> _TestClass(13).get() + _TestClass(-12).get()
2671 1
2672 >>> hex(_TestClass(13).square().get())
2673 '0xa9'
2674 """
2675
2676 def __init__(self, val):
2677 """val -> _TestClass object with associated value val.
2678
2679 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002680 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002681 123
2682 """
2683
2684 self.val = val
2685
2686 def square(self):
2687 """square() -> square TestClass's associated value
2688
2689 >>> _TestClass(13).square().get()
2690 169
2691 """
2692
2693 self.val = self.val ** 2
2694 return self
2695
2696 def get(self):
2697 """get() -> return TestClass's associated value.
2698
2699 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002700 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002701 -42
2702 """
2703
2704 return self.val
2705
2706__test__ = {"_TestClass": _TestClass,
2707 "string": r"""
2708 Example of a string object, searched as-is.
2709 >>> x = 1; y = 2
2710 >>> x + y, x * y
2711 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002712 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002713
Tim Peters6ebe61f2003-06-27 20:48:05 +00002714 "bool-int equivalence": r"""
2715 In 2.2, boolean expressions displayed
2716 0 or 1. By default, we still accept
2717 them. This can be disabled by passing
2718 DONT_ACCEPT_TRUE_FOR_1 to the new
2719 optionflags argument.
2720 >>> 4 == 4
2721 1
2722 >>> 4 == 4
2723 True
2724 >>> 4 > 4
2725 0
2726 >>> 4 > 4
2727 False
2728 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002729
Tim Peters8485b562004-08-04 18:46:34 +00002730 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002731 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002732 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002733 foo
2734 <BLANKLINE>
2735 bar
2736 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002737 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002738
2739 "ellipsis": r"""
2740 If the ellipsis flag is used, then '...' can be used to
2741 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002742 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002743 [0, 1, 2, ..., 999]
2744 """,
2745
2746 "whitespace normalization": r"""
2747 If the whitespace normalization flag is used, then
2748 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002749 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002750 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2751 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2752 27, 28, 29]
2753 """,
2754 }
Tim Peters8485b562004-08-04 18:46:34 +00002755
R. David Murray445448c2009-12-20 17:28:31 +00002756
Tim Peters8a7d2d52001-01-16 07:10:57 +00002757def _test():
Serhiy Storchaka7e4db2f2017-05-04 08:17:47 +03002758 import argparse
2759
R David Murray5707d502013-06-23 14:24:13 -04002760 parser = argparse.ArgumentParser(description="doctest runner")
2761 parser.add_argument('-v', '--verbose', action='store_true', default=False,
2762 help='print very verbose output for all tests')
2763 parser.add_argument('-o', '--option', action='append',
2764 choices=OPTIONFLAGS_BY_NAME.keys(), default=[],
2765 help=('specify a doctest option flag to apply'
2766 ' to the test run; may be specified more'
2767 ' than once to apply multiple options'))
2768 parser.add_argument('-f', '--fail-fast', action='store_true',
2769 help=('stop running tests after first failure (this'
2770 ' is a shorthand for -o FAIL_FAST, and is'
2771 ' in addition to any other -o options)'))
2772 parser.add_argument('file', nargs='+',
2773 help='file containing the tests to run')
2774 args = parser.parse_args()
2775 testfiles = args.file
2776 # Verbose used to be handled by the "inspect argv" magic in DocTestRunner,
2777 # but since we are using argparse we are passing it manually now.
2778 verbose = args.verbose
2779 options = 0
2780 for option in args.option:
2781 options |= OPTIONFLAGS_BY_NAME[option]
2782 if args.fail_fast:
2783 options |= FAIL_FAST
R. David Murray445448c2009-12-20 17:28:31 +00002784 for filename in testfiles:
2785 if filename.endswith(".py"):
2786 # It is a module -- insert its dir into sys.path and try to
2787 # import it. If it is part of a package, that possibly
2788 # won't work because of package imports.
2789 dirname, filename = os.path.split(filename)
2790 sys.path.insert(0, dirname)
2791 m = __import__(filename[:-3])
2792 del sys.path[0]
R David Murray5707d502013-06-23 14:24:13 -04002793 failures, _ = testmod(m, verbose=verbose, optionflags=options)
R. David Murray445448c2009-12-20 17:28:31 +00002794 else:
R David Murray5707d502013-06-23 14:24:13 -04002795 failures, _ = testfile(filename, module_relative=False,
2796 verbose=verbose, optionflags=options)
R. David Murray445448c2009-12-20 17:28:31 +00002797 if failures:
2798 return 1
Christian Heimes895627f2007-12-08 17:28:33 +00002799 return 0
Tim Peters8a7d2d52001-01-16 07:10:57 +00002800
R. David Murray445448c2009-12-20 17:28:31 +00002801
Tim Peters8a7d2d52001-01-16 07:10:57 +00002802if __name__ == "__main__":
Christian Heimes895627f2007-12-08 17:28:33 +00002803 sys.exit(_test())