blob: 5bb35c9715d1e910b20f3438e5bd9654e5e3cdda [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
Guido van Rossum34d19282007-08-09 01:03:29 +0000105from io import StringIO
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):
215 # We have two cases to cover and we need to make sure we do
216 # them in the right order
217 for newline in ('\r\n', '\r'):
218 data = data.replace(newline, '\n')
219 return data
220
Guido van Rossum1b81e7b2007-08-29 03:53:53 +0000221def _load_testfile(filename, package, module_relative, encoding):
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000222 if module_relative:
223 package = _normalize_module(package, 3)
224 filename = _module_relative_path(package, filename)
Brett Cannon825ac382020-11-06 18:45:56 -0800225 if (loader := getattr(package, '__loader__', None)) is None:
226 try:
227 loader = package.__spec__.loader
228 except AttributeError:
229 pass
230 if hasattr(loader, 'get_data'):
231 file_contents = loader.get_data(filename)
232 file_contents = file_contents.decode(encoding)
233 # get_data() opens files as 'rb', so one must do the equivalent
234 # conversion as universal newlines would do.
235 return _newline_convert(file_contents), filename
Antoine Pitrou92f60ed2010-10-14 22:11:44 +0000236 with open(filename, encoding=encoding) as f:
237 return f.read(), filename
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000238
Edward Loperaacf0832004-08-26 01:19:50 +0000239def _indent(s, indent=4):
Tim Peters8485b562004-08-04 18:46:34 +0000240 """
Florent Xicluna59250852010-02-27 14:21:57 +0000241 Add the given number of space characters to the beginning of
242 every non-blank line in `s`, and return the result.
Tim Peters8485b562004-08-04 18:46:34 +0000243 """
Edward Loperaacf0832004-08-26 01:19:50 +0000244 # This regexp matches the start of non-blank lines:
245 return re.sub('(?m)^(?!$)', indent*' ', s)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000246
Edward Loper8e4a34b2004-08-12 02:34:27 +0000247def _exception_traceback(exc_info):
248 """
249 Return a string containing a traceback message for the given
250 exc_info tuple (as returned by sys.exc_info()).
251 """
252 # Get a traceback message.
253 excout = StringIO()
254 exc_type, exc_val, exc_tb = exc_info
255 traceback.print_exception(exc_type, exc_val, exc_tb, file=excout)
256 return excout.getvalue()
257
Tim Peters8485b562004-08-04 18:46:34 +0000258# Override some StringIO methods.
259class _SpoofOut(StringIO):
260 def getvalue(self):
261 result = StringIO.getvalue(self)
262 # If anything at all was written, make sure there's a trailing
263 # newline. There's no way for the expected output to indicate
264 # that a trailing newline is missing.
265 if result and not result.endswith("\n"):
266 result += "\n"
Tim Peters8485b562004-08-04 18:46:34 +0000267 return result
Tim Peters8a7d2d52001-01-16 07:10:57 +0000268
Guido van Rossum79139b22007-02-09 23:20:19 +0000269 def truncate(self, size=None):
Antoine Pitroub3d77002010-01-31 23:12:29 +0000270 self.seek(size)
271 StringIO.truncate(self)
Tim Peters8a7d2d52001-01-16 07:10:57 +0000272
Tim Peters26b3ebb2004-08-19 08:10:08 +0000273# Worst-case linear-time ellipsis matching.
Tim Petersb0a04e12004-08-20 02:08:04 +0000274def _ellipsis_match(want, got):
Tim Petersdc5de3b2004-08-19 14:06:20 +0000275 """
276 Essentially the only subtle case:
Tim Petersb0a04e12004-08-20 02:08:04 +0000277 >>> _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000278 False
279 """
Tim Peters26b3ebb2004-08-19 08:10:08 +0000280 if ELLIPSIS_MARKER not in want:
281 return want == got
Tim Petersdc5de3b2004-08-19 14:06:20 +0000282
Tim Peters26b3ebb2004-08-19 08:10:08 +0000283 # Find "the real" strings.
284 ws = want.split(ELLIPSIS_MARKER)
285 assert len(ws) >= 2
Tim Peters26b3ebb2004-08-19 08:10:08 +0000286
Tim Petersdc5de3b2004-08-19 14:06:20 +0000287 # Deal with exact matches possibly needed at one or both ends.
288 startpos, endpos = 0, len(got)
289 w = ws[0]
290 if w: # starts with exact match
291 if got.startswith(w):
292 startpos = len(w)
293 del ws[0]
294 else:
295 return False
296 w = ws[-1]
297 if w: # ends with exact match
298 if got.endswith(w):
299 endpos -= len(w)
300 del ws[-1]
301 else:
302 return False
303
304 if startpos > endpos:
305 # Exact end matches required more characters than we have, as in
Tim Petersb0a04e12004-08-20 02:08:04 +0000306 # _ellipsis_match('aa...aa', 'aaa')
Tim Petersdc5de3b2004-08-19 14:06:20 +0000307 return False
308
309 # For the rest, we only need to find the leftmost non-overlapping
310 # match for each piece. If there's no overall match that way alone,
311 # there's no overall match period.
Tim Peters26b3ebb2004-08-19 08:10:08 +0000312 for w in ws:
313 # w may be '' at times, if there are consecutive ellipses, or
314 # due to an ellipsis at the start or end of `want`. That's OK.
Tim Petersdc5de3b2004-08-19 14:06:20 +0000315 # Search for an empty string succeeds, and doesn't change startpos.
316 startpos = got.find(w, startpos, endpos)
317 if startpos < 0:
Tim Peters26b3ebb2004-08-19 08:10:08 +0000318 return False
Tim Petersdc5de3b2004-08-19 14:06:20 +0000319 startpos += len(w)
Tim Peters26b3ebb2004-08-19 08:10:08 +0000320
Tim Petersdc5de3b2004-08-19 14:06:20 +0000321 return True
Tim Peters26b3ebb2004-08-19 08:10:08 +0000322
Edward Loper00f8da72004-08-26 18:05:07 +0000323def _comment_line(line):
324 "Return a commented form of the given line"
325 line = line.rstrip()
326 if line:
327 return '# '+line
328 else:
329 return '#'
330
Tim Petersf9a07f22013-12-03 21:02:05 -0600331def _strip_exception_details(msg):
332 # Support for IGNORE_EXCEPTION_DETAIL.
333 # Get rid of everything except the exception name; in particular, drop
334 # the possibly dotted module path (if any) and the exception message (if
335 # any). We assume that a colon is never part of a dotted name, or of an
336 # exception name.
337 # E.g., given
338 # "foo.bar.MyError: la di da"
339 # return "MyError"
340 # Or for "abc.def" or "abc.def:\n" return "def".
341
342 start, end = 0, len(msg)
343 # The exception name must appear on the first line.
344 i = msg.find("\n")
345 if i >= 0:
346 end = i
347 # retain up to the first colon (if any)
348 i = msg.find(':', 0, end)
349 if i >= 0:
350 end = i
351 # retain just the exception name
352 i = msg.rfind('.', 0, end)
353 if i >= 0:
354 start = i+1
355 return msg[start: end]
356
Edward Loper2de91ba2004-08-27 02:07:46 +0000357class _OutputRedirectingPdb(pdb.Pdb):
358 """
359 A specialized version of the python debugger that redirects stdout
360 to a given stream when interacting with the user. Stdout is *not*
361 redirected when traced code is executed.
362 """
363 def __init__(self, out):
364 self.__out = out
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000365 self.__debugger_used = False
Georg Brandl34748cd2010-12-04 17:11:36 +0000366 # do not play signal games in the pdb
367 pdb.Pdb.__init__(self, stdout=out, nosigint=True)
Georg Brandld72e0432010-07-30 09:59:28 +0000368 # still use input() to get user input
369 self.use_rawinput = 1
Edward Loper2de91ba2004-08-27 02:07:46 +0000370
Guido van Rossum0d3fb8a2007-11-26 23:23:18 +0000371 def set_trace(self, frame=None):
372 self.__debugger_used = True
373 if frame is None:
374 frame = sys._getframe().f_back
375 pdb.Pdb.set_trace(self, frame)
376
377 def set_continue(self):
378 # Calling set_continue unconditionally would break unit test
379 # coverage reporting, as Bdb.set_continue calls sys.settrace(None).
380 if self.__debugger_used:
381 pdb.Pdb.set_continue(self)
382
Edward Loper2de91ba2004-08-27 02:07:46 +0000383 def trace_dispatch(self, *args):
384 # Redirect stdout to the given stream.
385 save_stdout = sys.stdout
386 sys.stdout = self.__out
387 # Call Pdb's trace dispatch method.
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000388 try:
389 return pdb.Pdb.trace_dispatch(self, *args)
390 finally:
Tim Petersd7bbbbc2004-11-08 22:30:28 +0000391 sys.stdout = save_stdout
Edward Loper2de91ba2004-08-27 02:07:46 +0000392
Edward Lopera2fc7ec2004-09-21 03:24:24 +0000393# [XX] Normalize with respect to os.path.pardir?
Victor Stinnerb1511f72016-03-30 01:29:05 +0200394def _module_relative_path(module, test_path):
Edward Loper052d0cd2004-09-19 17:19:33 +0000395 if not inspect.ismodule(module):
Collin Winterce36ad82007-08-30 01:19:48 +0000396 raise TypeError('Expected a module: %r' % module)
Victor Stinnerb1511f72016-03-30 01:29:05 +0200397 if test_path.startswith('/'):
Collin Winterce36ad82007-08-30 01:19:48 +0000398 raise ValueError('Module-relative files may not have absolute paths')
Edward Loper052d0cd2004-09-19 17:19:33 +0000399
Victor Stinnerb1511f72016-03-30 01:29:05 +0200400 # Normalize the path. On Windows, replace "/" with "\".
401 test_path = os.path.join(*(test_path.split('/')))
402
Edward Loper052d0cd2004-09-19 17:19:33 +0000403 # Find the base directory for the path.
404 if hasattr(module, '__file__'):
405 # A normal module/package
406 basedir = os.path.split(module.__file__)[0]
407 elif module.__name__ == '__main__':
408 # An interactive session.
409 if len(sys.argv)>0 and sys.argv[0] != '':
410 basedir = os.path.split(sys.argv[0])[0]
411 else:
412 basedir = os.curdir
413 else:
Victor Stinnerb1511f72016-03-30 01:29:05 +0200414 if hasattr(module, '__path__'):
415 for directory in module.__path__:
416 fullpath = os.path.join(directory, test_path)
417 if os.path.exists(fullpath):
418 return fullpath
419
Edward Loper052d0cd2004-09-19 17:19:33 +0000420 # A module w/o __file__ (this includes builtins)
Victor Stinner84ca9fe2016-03-25 12:50:36 +0100421 raise ValueError("Can't resolve paths relative to the module "
422 "%r (it has no __file__)"
423 % module.__name__)
Edward Loper052d0cd2004-09-19 17:19:33 +0000424
Victor Stinnerb1511f72016-03-30 01:29:05 +0200425 # Combine the base directory and the test path.
426 return os.path.join(basedir, test_path)
Edward Loper052d0cd2004-09-19 17:19:33 +0000427
Tim Peters8485b562004-08-04 18:46:34 +0000428######################################################################
429## 2. Example & DocTest
430######################################################################
431## - An "example" is a <source, want> pair, where "source" is a
432## fragment of source code, and "want" is the expected output for
433## "source." The Example class also includes information about
434## where the example was extracted from.
435##
Edward Lopera1ef6112004-08-09 16:14:41 +0000436## - A "doctest" is a collection of examples, typically extracted from
437## a string (such as an object's docstring). The DocTest class also
438## includes information about where the string was extracted from.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000439
Tim Peters8485b562004-08-04 18:46:34 +0000440class Example:
441 """
442 A single doctest example, consisting of source code and expected
Edward Lopera1ef6112004-08-09 16:14:41 +0000443 output. `Example` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000444
Edward Loper74bca7a2004-08-12 02:27:44 +0000445 - source: A single Python statement, always ending with a newline.
Tim Petersbb431472004-08-09 03:51:46 +0000446 The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000447
Edward Loper74bca7a2004-08-12 02:27:44 +0000448 - want: The expected output from running the source code (either
Tim Petersbb431472004-08-09 03:51:46 +0000449 from stdout, or a traceback in case of exception). `want` ends
450 with a newline unless it's empty, in which case it's an empty
451 string. The constructor adds a newline if needed.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000452
Edward Lopera6b68322004-08-26 00:05:43 +0000453 - exc_msg: The exception message generated by the example, if
454 the example is expected to generate an exception; or `None` if
455 it is not expected to generate an exception. This exception
456 message is compared against the return value of
457 `traceback.format_exception_only()`. `exc_msg` ends with a
458 newline unless it's `None`. The constructor adds a newline
459 if needed.
460
Edward Loper74bca7a2004-08-12 02:27:44 +0000461 - lineno: The line number within the DocTest string containing
Tim Peters8485b562004-08-04 18:46:34 +0000462 this Example where the Example begins. This line number is
463 zero-based, with respect to the beginning of the DocTest.
Edward Loper74bca7a2004-08-12 02:27:44 +0000464
465 - indent: The example's indentation in the DocTest string.
Ezio Melotti30b9d5d2013-08-17 15:50:46 +0300466 I.e., the number of space characters that precede the
Edward Loper74bca7a2004-08-12 02:27:44 +0000467 example's first prompt.
468
469 - options: A dictionary mapping from option flags to True or
470 False, which is used to override default options for this
471 example. Any option flags not contained in this dictionary
472 are left at their default value (as specified by the
473 DocTestRunner's optionflags). By default, no options are set.
Tim Peters8485b562004-08-04 18:46:34 +0000474 """
Edward Lopera6b68322004-08-26 00:05:43 +0000475 def __init__(self, source, want, exc_msg=None, lineno=0, indent=0,
476 options=None):
Tim Petersbb431472004-08-09 03:51:46 +0000477 # Normalize inputs.
478 if not source.endswith('\n'):
479 source += '\n'
480 if want and not want.endswith('\n'):
481 want += '\n'
Edward Lopera6b68322004-08-26 00:05:43 +0000482 if exc_msg is not None and not exc_msg.endswith('\n'):
483 exc_msg += '\n'
Tim Peters8485b562004-08-04 18:46:34 +0000484 # Store properties.
485 self.source = source
486 self.want = want
487 self.lineno = lineno
Edward Loper74bca7a2004-08-12 02:27:44 +0000488 self.indent = indent
489 if options is None: options = {}
490 self.options = options
Edward Lopera6b68322004-08-26 00:05:43 +0000491 self.exc_msg = exc_msg
Tim Peters8a7d2d52001-01-16 07:10:57 +0000492
Antoine Pitrou2bc801c2011-12-18 19:27:45 +0100493 def __eq__(self, other):
494 if type(self) is not type(other):
495 return NotImplemented
496
497 return self.source == other.source and \
498 self.want == other.want and \
499 self.lineno == other.lineno and \
500 self.indent == other.indent and \
501 self.options == other.options and \
502 self.exc_msg == other.exc_msg
503
Antoine Pitrou165b1282011-12-18 20:20:17 +0100504 def __hash__(self):
505 return hash((self.source, self.want, self.lineno, self.indent,
506 self.exc_msg))
Antoine Pitrou2bc801c2011-12-18 19:27:45 +0100507
Tim Peters8485b562004-08-04 18:46:34 +0000508class DocTest:
509 """
510 A collection of doctest examples that should be run in a single
Edward Lopera1ef6112004-08-09 16:14:41 +0000511 namespace. Each `DocTest` defines the following attributes:
Tim Peters8a7d2d52001-01-16 07:10:57 +0000512
Tim Peters8485b562004-08-04 18:46:34 +0000513 - examples: the list of examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000514
Tim Peters8485b562004-08-04 18:46:34 +0000515 - globs: The namespace (aka globals) that the examples should
516 be run in.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000517
Tim Peters8485b562004-08-04 18:46:34 +0000518 - name: A name identifying the DocTest (typically, the name of
519 the object whose docstring this DocTest was extracted from).
Tim Peters8a7d2d52001-01-16 07:10:57 +0000520
Tim Peters8485b562004-08-04 18:46:34 +0000521 - filename: The name of the file that this DocTest was extracted
Edward Lopera1ef6112004-08-09 16:14:41 +0000522 from, or `None` if the filename is unknown.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000523
Tim Peters8485b562004-08-04 18:46:34 +0000524 - lineno: The line number within filename where this DocTest
Edward Lopera1ef6112004-08-09 16:14:41 +0000525 begins, or `None` if the line number is unavailable. This
526 line number is zero-based, with respect to the beginning of
527 the file.
528
529 - docstring: The string that the examples were extracted from,
530 or `None` if the string is unavailable.
Tim Peters8485b562004-08-04 18:46:34 +0000531 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000532 def __init__(self, examples, globs, name, filename, lineno, docstring):
Tim Peters8485b562004-08-04 18:46:34 +0000533 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000534 Create a new DocTest containing the given examples. The
535 DocTest's globals are initialized with a copy of `globs`.
Tim Peters8485b562004-08-04 18:46:34 +0000536 """
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000537 assert not isinstance(examples, str), \
Edward Lopera1ef6112004-08-09 16:14:41 +0000538 "DocTest no longer accepts str; use DocTestParser instead"
539 self.examples = examples
540 self.docstring = docstring
Tim Peters8485b562004-08-04 18:46:34 +0000541 self.globs = globs.copy()
Tim Peters8485b562004-08-04 18:46:34 +0000542 self.name = name
543 self.filename = filename
544 self.lineno = lineno
Tim Peters8485b562004-08-04 18:46:34 +0000545
546 def __repr__(self):
547 if len(self.examples) == 0:
548 examples = 'no examples'
549 elif len(self.examples) == 1:
550 examples = '1 example'
551 else:
552 examples = '%d examples' % len(self.examples)
Serhiy Storchaka465e60e2014-07-25 23:36:00 +0300553 return ('<%s %s from %s:%s (%s)>' %
554 (self.__class__.__name__,
555 self.name, self.filename, self.lineno, examples))
Tim Peters8485b562004-08-04 18:46:34 +0000556
Antoine Pitrou2bc801c2011-12-18 19:27:45 +0100557 def __eq__(self, other):
558 if type(self) is not type(other):
559 return NotImplemented
560
561 return self.examples == other.examples and \
562 self.docstring == other.docstring and \
563 self.globs == other.globs and \
564 self.name == other.name and \
565 self.filename == other.filename and \
566 self.lineno == other.lineno
567
Antoine Pitrou165b1282011-12-18 20:20:17 +0100568 def __hash__(self):
569 return hash((self.docstring, self.name, self.filename, self.lineno))
570
Tim Peters8485b562004-08-04 18:46:34 +0000571 # This lets us sort tests by name:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000572 def __lt__(self, other):
Tim Peters8485b562004-08-04 18:46:34 +0000573 if not isinstance(other, DocTest):
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000574 return NotImplemented
575 return ((self.name, self.filename, self.lineno, id(self))
576 <
577 (other.name, other.filename, other.lineno, id(other)))
Tim Peters8485b562004-08-04 18:46:34 +0000578
579######################################################################
Edward Loperb7503ff2004-08-19 19:19:03 +0000580## 3. DocTestParser
Edward Loper7c748462004-08-09 02:06:06 +0000581######################################################################
582
Edward Lopera1ef6112004-08-09 16:14:41 +0000583class DocTestParser:
Edward Loper7c748462004-08-09 02:06:06 +0000584 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000585 A class used to parse strings containing doctest examples.
Edward Loper7c748462004-08-09 02:06:06 +0000586 """
Edward Loper8e4a34b2004-08-12 02:34:27 +0000587 # This regular expression is used to find doctest examples in a
588 # string. It defines three groups: `source` is the source code
589 # (including leading indentation and prompts); `indent` is the
590 # indentation of the first (PS1) line of the source code; and
591 # `want` is the expected output (including leading indentation).
Edward Loper7c748462004-08-09 02:06:06 +0000592 _EXAMPLE_RE = re.compile(r'''
Tim Petersd40a92b2004-08-09 03:28:45 +0000593 # Source consists of a PS1 line followed by zero or more PS2 lines.
594 (?P<source>
595 (?:^(?P<indent> [ ]*) >>> .*) # PS1 line
596 (?:\n [ ]* \.\.\. .*)*) # PS2 lines
597 \n?
598 # Want consists of any non-blank lines that do not start with PS1.
599 (?P<want> (?:(?![ ]*$) # Not a blank line
600 (?![ ]*>>>) # Not a line starting with PS1
Serhiy Storchaka1ca66ed2013-08-19 22:59:31 +0300601 .+$\n? # But any other line
Tim Petersd40a92b2004-08-09 03:28:45 +0000602 )*)
603 ''', re.MULTILINE | re.VERBOSE)
Edward Loper8e4a34b2004-08-12 02:34:27 +0000604
Edward Lopera6b68322004-08-26 00:05:43 +0000605 # A regular expression for handling `want` strings that contain
606 # expected exceptions. It divides `want` into three pieces:
607 # - the traceback header line (`hdr`)
608 # - the traceback stack (`stack`)
609 # - the exception message (`msg`), as generated by
610 # traceback.format_exception_only()
611 # `msg` may have multiple lines. We assume/require that the
612 # exception message is the first non-indented line starting with a word
613 # character following the traceback header line.
614 _EXCEPTION_RE = re.compile(r"""
615 # Grab the traceback header. Different versions of Python have
616 # said different things on the first traceback line.
617 ^(?P<hdr> Traceback\ \(
618 (?: most\ recent\ call\ last
619 | innermost\ last
620 ) \) :
621 )
622 \s* $ # toss trailing whitespace on the header.
623 (?P<stack> .*?) # don't blink: absorb stuff until...
624 ^ (?P<msg> \w+ .*) # a line *starts* with alphanum.
625 """, re.VERBOSE | re.MULTILINE | re.DOTALL)
626
Tim Peters7ea48dd2004-08-13 01:52:59 +0000627 # A callable returning a true value iff its argument is a blank line
628 # or contains a single comment.
Edward Loper8e4a34b2004-08-12 02:34:27 +0000629 _IS_BLANK_OR_COMMENT = re.compile(r'^[ ]*(#.*)?$').match
Edward Loper7c748462004-08-09 02:06:06 +0000630
Edward Loper00f8da72004-08-26 18:05:07 +0000631 def parse(self, string, name='<string>'):
632 """
633 Divide the given string into examples and intervening text,
634 and return them as a list of alternating Examples and strings.
635 Line numbers for the Examples are 0-based. The optional
636 argument `name` is a name identifying this string, and is only
637 used for error messages.
638 """
639 string = string.expandtabs()
640 # If all lines begin with the same indentation, then strip it.
641 min_indent = self._min_indent(string)
642 if min_indent > 0:
643 string = '\n'.join([l[min_indent:] for l in string.split('\n')])
644
645 output = []
646 charno, lineno = 0, 0
647 # Find all doctest examples in the string:
Edward Loper2de91ba2004-08-27 02:07:46 +0000648 for m in self._EXAMPLE_RE.finditer(string):
Edward Loper00f8da72004-08-26 18:05:07 +0000649 # Add the pre-example text to `output`.
650 output.append(string[charno:m.start()])
651 # Update lineno (lines before this example)
652 lineno += string.count('\n', charno, m.start())
653 # Extract info from the regexp match.
654 (source, options, want, exc_msg) = \
655 self._parse_example(m, name, lineno)
656 # Create an Example, and add it to the list.
657 if not self._IS_BLANK_OR_COMMENT(source):
658 output.append( Example(source, want, exc_msg,
659 lineno=lineno,
660 indent=min_indent+len(m.group('indent')),
661 options=options) )
662 # Update lineno (lines inside this example)
663 lineno += string.count('\n', m.start(), m.end())
664 # Update charno.
665 charno = m.end()
666 # Add any remaining post-example text to `output`.
667 output.append(string[charno:])
668 return output
669
Edward Lopera1ef6112004-08-09 16:14:41 +0000670 def get_doctest(self, string, globs, name, filename, lineno):
Edward Loper7c748462004-08-09 02:06:06 +0000671 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000672 Extract all doctest examples from the given string, and
673 collect them into a `DocTest` object.
674
675 `globs`, `name`, `filename`, and `lineno` are attributes for
676 the new `DocTest` object. See the documentation for `DocTest`
677 for more information.
678 """
679 return DocTest(self.get_examples(string, name), globs,
680 name, filename, lineno, string)
681
682 def get_examples(self, string, name='<string>'):
683 """
684 Extract all doctest examples from the given string, and return
685 them as a list of `Example` objects. Line numbers are
686 0-based, because it's most common in doctests that nothing
687 interesting appears on the same line as opening triple-quote,
688 and so the first interesting line is called \"line 1\" then.
689
690 The optional argument `name` is a name identifying this
691 string, and is only used for error messages.
Edward Loper7c748462004-08-09 02:06:06 +0000692 """
Edward Loper00f8da72004-08-26 18:05:07 +0000693 return [x for x in self.parse(string, name)
694 if isinstance(x, Example)]
Edward Loper7c748462004-08-09 02:06:06 +0000695
Edward Loper74bca7a2004-08-12 02:27:44 +0000696 def _parse_example(self, m, name, lineno):
697 """
698 Given a regular expression match from `_EXAMPLE_RE` (`m`),
699 return a pair `(source, want)`, where `source` is the matched
700 example's source code (with prompts and indentation stripped);
701 and `want` is the example's expected output (with indentation
702 stripped).
703
704 `name` is the string's name, and `lineno` is the line number
705 where the example starts; both are used for error messages.
706 """
Edward Loper7c748462004-08-09 02:06:06 +0000707 # Get the example's indentation level.
708 indent = len(m.group('indent'))
709
710 # Divide source into lines; check that they're properly
711 # indented; and then strip their indentation & prompts.
712 source_lines = m.group('source').split('\n')
Edward Lopera1ef6112004-08-09 16:14:41 +0000713 self._check_prompt_blank(source_lines, indent, name, lineno)
Tim Petersc5049152004-08-22 17:34:58 +0000714 self._check_prefix(source_lines[1:], ' '*indent + '.', name, lineno)
Edward Loper7c748462004-08-09 02:06:06 +0000715 source = '\n'.join([sl[indent+4:] for sl in source_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000716
Tim Petersc5049152004-08-22 17:34:58 +0000717 # Divide want into lines; check that it's properly indented; and
718 # then strip the indentation. Spaces before the last newline should
719 # be preserved, so plain rstrip() isn't good enough.
Jim Fulton07a349c2004-08-22 14:10:00 +0000720 want = m.group('want')
Jim Fulton07a349c2004-08-22 14:10:00 +0000721 want_lines = want.split('\n')
Tim Petersc5049152004-08-22 17:34:58 +0000722 if len(want_lines) > 1 and re.match(r' *$', want_lines[-1]):
723 del want_lines[-1] # forget final newline & spaces after it
Edward Lopera1ef6112004-08-09 16:14:41 +0000724 self._check_prefix(want_lines, ' '*indent, name,
Tim Petersc5049152004-08-22 17:34:58 +0000725 lineno + len(source_lines))
Edward Loper7c748462004-08-09 02:06:06 +0000726 want = '\n'.join([wl[indent:] for wl in want_lines])
Edward Loper7c748462004-08-09 02:06:06 +0000727
Edward Lopera6b68322004-08-26 00:05:43 +0000728 # If `want` contains a traceback message, then extract it.
729 m = self._EXCEPTION_RE.match(want)
730 if m:
731 exc_msg = m.group('msg')
732 else:
733 exc_msg = None
734
Edward Loper00f8da72004-08-26 18:05:07 +0000735 # Extract options from the source.
736 options = self._find_options(source, name, lineno)
737
738 return source, options, want, exc_msg
Edward Loper7c748462004-08-09 02:06:06 +0000739
Edward Loper74bca7a2004-08-12 02:27:44 +0000740 # This regular expression looks for option directives in the
741 # source code of an example. Option directives are comments
742 # starting with "doctest:". Warning: this may give false
743 # positives for string-literals that contain the string
744 # "#doctest:". Eliminating these false positives would require
745 # actually parsing the string; but we limit them by ignoring any
746 # line containing "#doctest:" that is *followed* by a quote mark.
747 _OPTION_DIRECTIVE_RE = re.compile(r'#\s*doctest:\s*([^\n\'"]*)$',
748 re.MULTILINE)
749
750 def _find_options(self, source, name, lineno):
751 """
752 Return a dictionary containing option overrides extracted from
753 option directives in the given source string.
754
755 `name` is the string's name, and `lineno` is the line number
756 where the example starts; both are used for error messages.
757 """
758 options = {}
759 # (note: with the current regexp, this will match at most once:)
760 for m in self._OPTION_DIRECTIVE_RE.finditer(source):
761 option_strings = m.group(1).replace(',', ' ').split()
762 for option in option_strings:
763 if (option[0] not in '+-' or
764 option[1:] not in OPTIONFLAGS_BY_NAME):
765 raise ValueError('line %r of the doctest for %s '
766 'has an invalid option: %r' %
767 (lineno+1, name, option))
768 flag = OPTIONFLAGS_BY_NAME[option[1:]]
769 options[flag] = (option[0] == '+')
770 if options and self._IS_BLANK_OR_COMMENT(source):
771 raise ValueError('line %r of the doctest for %s has an option '
772 'directive on a line with no example: %r' %
773 (lineno, name, source))
774 return options
775
Edward Lopera5db6002004-08-12 02:41:30 +0000776 # This regular expression finds the indentation of every non-blank
777 # line in a string.
R David Murray44b548d2016-09-08 13:59:53 -0400778 _INDENT_RE = re.compile(r'^([ ]*)(?=\S)', re.MULTILINE)
Edward Lopera5db6002004-08-12 02:41:30 +0000779
780 def _min_indent(self, s):
781 "Return the minimum indentation of any non-blank line in `s`"
Edward Loper00f8da72004-08-26 18:05:07 +0000782 indents = [len(indent) for indent in self._INDENT_RE.findall(s)]
783 if len(indents) > 0:
784 return min(indents)
Tim Petersdd0e4752004-08-09 03:31:56 +0000785 else:
Edward Loper00f8da72004-08-26 18:05:07 +0000786 return 0
Edward Loper7c748462004-08-09 02:06:06 +0000787
Edward Lopera1ef6112004-08-09 16:14:41 +0000788 def _check_prompt_blank(self, lines, indent, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000789 """
790 Given the lines of a source string (including prompts and
791 leading indentation), check to make sure that every prompt is
792 followed by a space character. If any line is not followed by
793 a space character, then raise ValueError.
794 """
Edward Loper7c748462004-08-09 02:06:06 +0000795 for i, line in enumerate(lines):
796 if len(line) >= indent+4 and line[indent+3] != ' ':
797 raise ValueError('line %r of the docstring for %s '
798 'lacks blank after %s: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000799 (lineno+i+1, name,
Edward Loper7c748462004-08-09 02:06:06 +0000800 line[indent:indent+3], line))
801
Edward Lopera1ef6112004-08-09 16:14:41 +0000802 def _check_prefix(self, lines, prefix, name, lineno):
Edward Loper74bca7a2004-08-12 02:27:44 +0000803 """
804 Check that every line in the given list starts with the given
805 prefix; if any line does not, then raise a ValueError.
806 """
Edward Loper7c748462004-08-09 02:06:06 +0000807 for i, line in enumerate(lines):
808 if line and not line.startswith(prefix):
809 raise ValueError('line %r of the docstring for %s has '
810 'inconsistent leading whitespace: %r' %
Edward Lopera1ef6112004-08-09 16:14:41 +0000811 (lineno+i+1, name, line))
Edward Loper7c748462004-08-09 02:06:06 +0000812
813
814######################################################################
815## 4. DocTest Finder
Tim Peters8485b562004-08-04 18:46:34 +0000816######################################################################
817
818class DocTestFinder:
819 """
820 A class used to extract the DocTests that are relevant to a given
821 object, from its docstring and the docstrings of its contained
822 objects. Doctests can currently be extracted from the following
823 object types: modules, functions, classes, methods, staticmethods,
824 classmethods, and properties.
Tim Peters8485b562004-08-04 18:46:34 +0000825 """
826
Edward Lopera1ef6112004-08-09 16:14:41 +0000827 def __init__(self, verbose=False, parser=DocTestParser(),
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000828 recurse=True, exclude_empty=True):
Tim Peters8485b562004-08-04 18:46:34 +0000829 """
830 Create a new doctest finder.
831
Edward Lopera1ef6112004-08-09 16:14:41 +0000832 The optional argument `parser` specifies a class or
Tim Peters19397e52004-08-06 22:02:59 +0000833 function that should be used to create new DocTest objects (or
Tim Peters161c9632004-08-08 03:38:33 +0000834 objects that implement the same interface as DocTest). The
Tim Peters19397e52004-08-06 22:02:59 +0000835 signature for this factory function should match the signature
836 of the DocTest constructor.
837
Tim Peters8485b562004-08-04 18:46:34 +0000838 If the optional argument `recurse` is false, then `find` will
839 only examine the given object, and not any contained objects.
Edward Loper32ddbf72004-09-13 05:47:24 +0000840
Tim Peters958cc892004-09-13 14:53:28 +0000841 If the optional argument `exclude_empty` is false, then `find`
842 will include tests for objects with empty docstrings.
Tim Peters8485b562004-08-04 18:46:34 +0000843 """
Edward Lopera1ef6112004-08-09 16:14:41 +0000844 self._parser = parser
Tim Peters8485b562004-08-04 18:46:34 +0000845 self._verbose = verbose
Tim Peters8485b562004-08-04 18:46:34 +0000846 self._recurse = recurse
Edward Loper32ddbf72004-09-13 05:47:24 +0000847 self._exclude_empty = exclude_empty
Tim Peters8485b562004-08-04 18:46:34 +0000848
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000849 def find(self, obj, name=None, module=None, globs=None, extraglobs=None):
Tim Peters8485b562004-08-04 18:46:34 +0000850 """
851 Return a list of the DocTests that are defined by the given
852 object's docstring, or by any of its contained objects'
853 docstrings.
854
855 The optional parameter `module` is the module that contains
Tim Petersf3f57472004-08-08 06:11:48 +0000856 the given object. If the module is not specified or is None, then
857 the test finder will attempt to automatically determine the
Tim Peters8485b562004-08-04 18:46:34 +0000858 correct module. The object's module is used:
859
860 - As a default namespace, if `globs` is not specified.
861 - To prevent the DocTestFinder from extracting DocTests
Tim Petersf3f57472004-08-08 06:11:48 +0000862 from objects that are imported from other modules.
Tim Peters8485b562004-08-04 18:46:34 +0000863 - To find the name of the file containing the object.
864 - To help find the line number of the object within its
865 file.
866
Tim Petersf3f57472004-08-08 06:11:48 +0000867 Contained objects whose module does not match `module` are ignored.
868
869 If `module` is False, no attempt to find the module will be made.
870 This is obscure, of use mostly in tests: if `module` is False, or
871 is None but cannot be found automatically, then all objects are
872 considered to belong to the (non-existent) module, so all contained
873 objects will (recursively) be searched for doctests.
874
Tim Peters8485b562004-08-04 18:46:34 +0000875 The globals for each DocTest is formed by combining `globs`
876 and `extraglobs` (bindings in `extraglobs` override bindings
877 in `globs`). A new copy of the globals dictionary is created
878 for each DocTest. If `globs` is not specified, then it
879 defaults to the module's `__dict__`, if specified, or {}
880 otherwise. If `extraglobs` is not specified, then it defaults
881 to {}.
882
Tim Peters8485b562004-08-04 18:46:34 +0000883 """
884 # If name was not specified, then extract it from the object.
885 if name is None:
886 name = getattr(obj, '__name__', None)
887 if name is None:
888 raise ValueError("DocTestFinder.find: name must be given "
889 "when obj.__name__ doesn't exist: %r" %
890 (type(obj),))
891
892 # Find the module that contains the given object (if obj is
893 # a module, then module=obj.). Note: this may fail, in which
894 # case module will be None.
Tim Petersf3f57472004-08-08 06:11:48 +0000895 if module is False:
896 module = None
897 elif module is None:
Tim Peters8485b562004-08-04 18:46:34 +0000898 module = inspect.getmodule(obj)
899
900 # Read the module's source code. This is used by
901 # DocTestFinder._find_lineno to find the line number for a
902 # given object's docstring.
903 try:
R. David Murray58641de2009-06-12 15:33:19 +0000904 file = inspect.getsourcefile(obj)
Tim Peters8485b562004-08-04 18:46:34 +0000905 except TypeError:
906 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000907 else:
908 if not file:
909 # Check to see if it's one of our special internal "files"
910 # (see __patched_linecache_getlines).
911 file = inspect.getfile(obj)
912 if not file[0]+file[-2:] == '<]>': file = None
R. David Murray765b9762009-07-15 14:16:54 +0000913 if file is None:
914 source_lines = None
R. David Murray58641de2009-06-12 15:33:19 +0000915 else:
916 if module is not None:
917 # Supply the module globals in case the module was
918 # originally loaded via a PEP 302 loader and
919 # file is not a valid filesystem path
920 source_lines = linecache.getlines(file, module.__dict__)
921 else:
922 # No access to a loader, so assume it's a normal
923 # filesystem path
924 source_lines = linecache.getlines(file)
925 if not source_lines:
926 source_lines = None
Tim Peters8485b562004-08-04 18:46:34 +0000927
928 # Initialize globals, and merge in extraglobs.
Tim Peters8a7d2d52001-01-16 07:10:57 +0000929 if globs is None:
Tim Peters8485b562004-08-04 18:46:34 +0000930 if module is None:
931 globs = {}
932 else:
933 globs = module.__dict__.copy()
934 else:
935 globs = globs.copy()
936 if extraglobs is not None:
937 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +0000938 if '__name__' not in globs:
939 globs['__name__'] = '__main__' # provide a default module name
Tim Peters8a7d2d52001-01-16 07:10:57 +0000940
Ezio Melotti30b9d5d2013-08-17 15:50:46 +0300941 # Recursively explore `obj`, extracting DocTests.
Tim Peters8485b562004-08-04 18:46:34 +0000942 tests = []
Tim Petersf3f57472004-08-08 06:11:48 +0000943 self._find(tests, obj, name, module, source_lines, globs, {})
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000944 # Sort the tests by alpha order of names, for consistency in
945 # verbose-mode output. This was a feature of doctest in Pythons
946 # <= 2.3 that got lost by accident in 2.4. It was repaired in
947 # 2.4.4 and 2.5.
948 tests.sort()
Tim Peters8485b562004-08-04 18:46:34 +0000949 return tests
950
Tim Peters8485b562004-08-04 18:46:34 +0000951 def _from_module(self, module, object):
952 """
953 Return true if the given object is defined in the given
954 module.
955 """
956 if module is None:
957 return True
Benjamin Peterson6cadba72008-11-19 22:38:29 +0000958 elif inspect.getmodule(object) is not None:
959 return module is inspect.getmodule(object)
Tim Peters8485b562004-08-04 18:46:34 +0000960 elif inspect.isfunction(object):
Neal Norwitz221085d2007-02-25 20:55:47 +0000961 return module.__dict__ is object.__globals__
Zachary Warea4b7a752013-11-24 01:19:09 -0600962 elif inspect.ismethoddescriptor(object):
Zachary Wareeee44f22014-02-06 15:46:38 -0600963 if hasattr(object, '__objclass__'):
964 obj_mod = object.__objclass__.__module__
965 elif hasattr(object, '__module__'):
966 obj_mod = object.__module__
967 else:
968 return True # [XX] no easy way to tell otherwise
969 return module.__name__ == obj_mod
Tim Peters8485b562004-08-04 18:46:34 +0000970 elif inspect.isclass(object):
971 return module.__name__ == object.__module__
Tim Peters8485b562004-08-04 18:46:34 +0000972 elif hasattr(object, '__module__'):
973 return module.__name__ == object.__module__
974 elif isinstance(object, property):
975 return True # [XX] no way not be sure.
976 else:
977 raise ValueError("object must be a class or function")
978
Tim Petersf3f57472004-08-08 06:11:48 +0000979 def _find(self, tests, obj, name, module, source_lines, globs, seen):
Tim Peters8485b562004-08-04 18:46:34 +0000980 """
981 Find tests for the given object and any contained objects, and
982 add them to `tests`.
983 """
984 if self._verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000985 print('Finding tests in %s' % name)
Tim Peters8485b562004-08-04 18:46:34 +0000986
987 # If we've already processed this object, then ignore it.
988 if id(obj) in seen:
989 return
990 seen[id(obj)] = 1
991
992 # Find a test for this object, and add it to the list of tests.
993 test = self._get_test(obj, name, module, globs, source_lines)
994 if test is not None:
995 tests.append(test)
996
997 # Look for tests in a module's contained objects.
998 if inspect.ismodule(obj) and self._recurse:
999 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +00001000 valname = '%s.%s' % (name, valname)
1001 # Recurse to functions & classes.
Yury Selivanovb532df62014-12-08 15:00:05 -05001002 if ((inspect.isroutine(inspect.unwrap(val))
1003 or inspect.isclass(val)) and
Tim Petersf3f57472004-08-08 06:11:48 +00001004 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +00001005 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +00001006 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +00001007
1008 # Look for tests in a module's __test__ dictionary.
1009 if inspect.ismodule(obj) and self._recurse:
1010 for valname, val in getattr(obj, '__test__', {}).items():
Guido van Rossum3172c5d2007-10-16 18:12:55 +00001011 if not isinstance(valname, str):
Tim Peters8485b562004-08-04 18:46:34 +00001012 raise ValueError("DocTestFinder.find: __test__ keys "
1013 "must be strings: %r" %
1014 (type(valname),))
Zachary Warea4b7a752013-11-24 01:19:09 -06001015 if not (inspect.isroutine(val) or inspect.isclass(val) or
1016 inspect.ismodule(val) or isinstance(val, str)):
Tim Peters8485b562004-08-04 18:46:34 +00001017 raise ValueError("DocTestFinder.find: __test__ values "
1018 "must be strings, functions, methods, "
1019 "classes, or modules: %r" %
1020 (type(val),))
Tim Petersc5684782004-09-13 01:07:12 +00001021 valname = '%s.__test__.%s' % (name, valname)
Tim Peters8485b562004-08-04 18:46:34 +00001022 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +00001023 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +00001024
1025 # Look for tests in a class's contained objects.
1026 if inspect.isclass(obj) and self._recurse:
1027 for valname, val in obj.__dict__.items():
Tim Peters8485b562004-08-04 18:46:34 +00001028 # Special handling for staticmethod/classmethod.
1029 if isinstance(val, staticmethod):
1030 val = getattr(obj, valname)
1031 if isinstance(val, classmethod):
Christian Heimesff737952007-11-27 10:40:20 +00001032 val = getattr(obj, valname).__func__
Tim Peters8485b562004-08-04 18:46:34 +00001033
1034 # Recurse to methods, properties, and nested classes.
Zachary Warea4b7a752013-11-24 01:19:09 -06001035 if ((inspect.isroutine(val) or inspect.isclass(val) or
Tim Petersf3f57472004-08-08 06:11:48 +00001036 isinstance(val, property)) and
1037 self._from_module(module, val)):
Tim Peters8485b562004-08-04 18:46:34 +00001038 valname = '%s.%s' % (name, valname)
1039 self._find(tests, val, valname, module, source_lines,
Tim Petersf3f57472004-08-08 06:11:48 +00001040 globs, seen)
Tim Peters8485b562004-08-04 18:46:34 +00001041
1042 def _get_test(self, obj, name, module, globs, source_lines):
1043 """
1044 Return a DocTest for the given object, if it defines a docstring;
1045 otherwise, return None.
1046 """
1047 # Extract the object's docstring. If it doesn't have one,
1048 # then return None (no test for this object).
Guido van Rossum3172c5d2007-10-16 18:12:55 +00001049 if isinstance(obj, str):
Tim Peters8485b562004-08-04 18:46:34 +00001050 docstring = obj
1051 else:
1052 try:
1053 if obj.__doc__ is None:
Edward Loper32ddbf72004-09-13 05:47:24 +00001054 docstring = ''
1055 else:
Jim Fulton7d428782004-10-13 14:15:32 +00001056 docstring = obj.__doc__
Guido van Rossum3172c5d2007-10-16 18:12:55 +00001057 if not isinstance(docstring, str):
Jim Fulton7d428782004-10-13 14:15:32 +00001058 docstring = str(docstring)
Tim Peters8485b562004-08-04 18:46:34 +00001059 except (TypeError, AttributeError):
Edward Loper32ddbf72004-09-13 05:47:24 +00001060 docstring = ''
Tim Peters8485b562004-08-04 18:46:34 +00001061
1062 # Find the docstring's location in the file.
1063 lineno = self._find_lineno(obj, source_lines)
1064
Edward Loper32ddbf72004-09-13 05:47:24 +00001065 # Don't bother if the docstring is empty.
1066 if self._exclude_empty and not docstring:
1067 return None
1068
Tim Peters8485b562004-08-04 18:46:34 +00001069 # Return a DocTest for this object.
1070 if module is None:
1071 filename = None
1072 else:
Xtreak8289e272019-12-13 23:36:53 +05301073 # __file__ can be None for namespace packages.
1074 filename = getattr(module, '__file__', None) or module.__name__
Brett Cannonf299abd2015-04-13 14:21:02 -04001075 if filename[-4:] == ".pyc":
Jim Fulton07a349c2004-08-22 14:10:00 +00001076 filename = filename[:-1]
Edward Lopera1ef6112004-08-09 16:14:41 +00001077 return self._parser.get_doctest(docstring, globs, name,
1078 filename, lineno)
Tim Peters8485b562004-08-04 18:46:34 +00001079
1080 def _find_lineno(self, obj, source_lines):
1081 """
1082 Return a line number of the given object's docstring. Note:
1083 this method assumes that the object has a docstring.
1084 """
1085 lineno = None
1086
1087 # Find the line number for modules.
1088 if inspect.ismodule(obj):
1089 lineno = 0
1090
1091 # Find the line number for classes.
1092 # Note: this could be fooled if a class is defined multiple
1093 # times in a single file.
1094 if inspect.isclass(obj):
1095 if source_lines is None:
1096 return None
1097 pat = re.compile(r'^\s*class\s*%s\b' %
1098 getattr(obj, '__name__', '-'))
1099 for i, line in enumerate(source_lines):
1100 if pat.match(line):
1101 lineno = i
1102 break
1103
1104 # Find the line number for functions & methods.
Christian Heimesff737952007-11-27 10:40:20 +00001105 if inspect.ismethod(obj): obj = obj.__func__
Neal Norwitz221085d2007-02-25 20:55:47 +00001106 if inspect.isfunction(obj): obj = obj.__code__
Tim Peters8485b562004-08-04 18:46:34 +00001107 if inspect.istraceback(obj): obj = obj.tb_frame
1108 if inspect.isframe(obj): obj = obj.f_code
1109 if inspect.iscode(obj):
1110 lineno = getattr(obj, 'co_firstlineno', None)-1
1111
1112 # Find the line number where the docstring starts. Assume
1113 # that it's the first line that begins with a quote mark.
1114 # Note: this could be fooled by a multiline function
1115 # signature, where a continuation line begins with a quote
1116 # mark.
1117 if lineno is not None:
1118 if source_lines is None:
1119 return lineno+1
R David Murray44b548d2016-09-08 13:59:53 -04001120 pat = re.compile(r'(^|.*:)\s*\w*("|\')')
Tim Peters8485b562004-08-04 18:46:34 +00001121 for lineno in range(lineno, len(source_lines)):
1122 if pat.match(source_lines[lineno]):
1123 return lineno
1124
1125 # We couldn't find the line number.
1126 return None
1127
1128######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001129## 5. DocTest Runner
Tim Peters8485b562004-08-04 18:46:34 +00001130######################################################################
1131
Tim Peters8485b562004-08-04 18:46:34 +00001132class DocTestRunner:
1133 """
1134 A class used to run DocTest test cases, and accumulate statistics.
1135 The `run` method is used to process a single DocTest case. It
1136 returns a tuple `(f, t)`, where `t` is the number of test cases
1137 tried, and `f` is the number of test cases that failed.
1138
1139 >>> tests = DocTestFinder().find(_TestClass)
1140 >>> runner = DocTestRunner(verbose=False)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001141 >>> tests.sort(key = lambda test: test.name)
Tim Peters8485b562004-08-04 18:46:34 +00001142 >>> for test in tests:
Guido van Rossum7131f842007-02-09 20:13:25 +00001143 ... print(test.name, '->', runner.run(test))
Christian Heimes25bb7832008-01-11 16:17:00 +00001144 _TestClass -> TestResults(failed=0, attempted=2)
1145 _TestClass.__init__ -> TestResults(failed=0, attempted=2)
1146 _TestClass.get -> TestResults(failed=0, attempted=2)
1147 _TestClass.square -> TestResults(failed=0, attempted=1)
Tim Peters8485b562004-08-04 18:46:34 +00001148
1149 The `summarize` method prints a summary of all the test cases that
1150 have been run by the runner, and returns an aggregated `(f, t)`
1151 tuple:
1152
1153 >>> runner.summarize(verbose=1)
1154 4 items passed all tests:
1155 2 tests in _TestClass
1156 2 tests in _TestClass.__init__
1157 2 tests in _TestClass.get
1158 1 tests in _TestClass.square
1159 7 tests in 4 items.
1160 7 passed and 0 failed.
1161 Test passed.
Christian Heimes25bb7832008-01-11 16:17:00 +00001162 TestResults(failed=0, attempted=7)
Tim Peters8485b562004-08-04 18:46:34 +00001163
1164 The aggregated number of tried examples and failed examples is
1165 also available via the `tries` and `failures` attributes:
1166
1167 >>> runner.tries
1168 7
1169 >>> runner.failures
1170 0
1171
1172 The comparison between expected outputs and actual outputs is done
Edward Loper34fcb142004-08-09 02:45:41 +00001173 by an `OutputChecker`. This comparison may be customized with a
1174 number of option flags; see the documentation for `testmod` for
1175 more information. If the option flags are insufficient, then the
1176 comparison may also be customized by passing a subclass of
1177 `OutputChecker` to the constructor.
Tim Peters8485b562004-08-04 18:46:34 +00001178
1179 The test runner's display output can be controlled in two ways.
1180 First, an output function (`out) can be passed to
1181 `TestRunner.run`; this function will be called with strings that
1182 should be displayed. It defaults to `sys.stdout.write`. If
1183 capturing the output is not sufficient, then the display output
1184 can be also customized by subclassing DocTestRunner, and
1185 overriding the methods `report_start`, `report_success`,
1186 `report_unexpected_exception`, and `report_failure`.
1187 """
1188 # This divider string is used to separate failure messages, and to
1189 # separate sections of the summary.
1190 DIVIDER = "*" * 70
1191
Edward Loper34fcb142004-08-09 02:45:41 +00001192 def __init__(self, checker=None, verbose=None, optionflags=0):
Tim Peters8485b562004-08-04 18:46:34 +00001193 """
1194 Create a new test runner.
1195
Edward Loper34fcb142004-08-09 02:45:41 +00001196 Optional keyword arg `checker` is the `OutputChecker` that
1197 should be used to compare the expected outputs and actual
1198 outputs of doctest examples.
1199
Tim Peters8485b562004-08-04 18:46:34 +00001200 Optional keyword arg 'verbose' prints lots of stuff if true,
1201 only failures if false; by default, it's true iff '-v' is in
1202 sys.argv.
1203
1204 Optional argument `optionflags` can be used to control how the
1205 test runner compares expected output to actual output, and how
1206 it displays failures. See the documentation for `testmod` for
1207 more information.
1208 """
Edward Loper34fcb142004-08-09 02:45:41 +00001209 self._checker = checker or OutputChecker()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001210 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001211 verbose = '-v' in sys.argv
1212 self._verbose = verbose
Tim Peters6ebe61f2003-06-27 20:48:05 +00001213 self.optionflags = optionflags
Jim Fulton07a349c2004-08-22 14:10:00 +00001214 self.original_optionflags = optionflags
Tim Peters6ebe61f2003-06-27 20:48:05 +00001215
Tim Peters8485b562004-08-04 18:46:34 +00001216 # Keep track of the examples we've run.
1217 self.tries = 0
1218 self.failures = 0
1219 self._name2ft = {}
Tim Peters8a7d2d52001-01-16 07:10:57 +00001220
Tim Peters8485b562004-08-04 18:46:34 +00001221 # Create a fake output target for capturing doctest output.
1222 self._fakeout = _SpoofOut()
Tim Peters4fd9e2f2001-08-18 00:05:50 +00001223
Tim Peters8485b562004-08-04 18:46:34 +00001224 #/////////////////////////////////////////////////////////////////
Tim Peters8485b562004-08-04 18:46:34 +00001225 # Reporting methods
1226 #/////////////////////////////////////////////////////////////////
Tim Peters17111f32001-10-03 04:08:26 +00001227
Tim Peters8485b562004-08-04 18:46:34 +00001228 def report_start(self, out, test, example):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001229 """
Tim Peters8485b562004-08-04 18:46:34 +00001230 Report that the test runner is about to process the given
1231 example. (Only displays a message if verbose=True)
1232 """
1233 if self._verbose:
Edward Loperaacf0832004-08-26 01:19:50 +00001234 if example.want:
1235 out('Trying:\n' + _indent(example.source) +
1236 'Expecting:\n' + _indent(example.want))
1237 else:
1238 out('Trying:\n' + _indent(example.source) +
1239 'Expecting nothing\n')
Tim Peters8a7d2d52001-01-16 07:10:57 +00001240
Tim Peters8485b562004-08-04 18:46:34 +00001241 def report_success(self, out, test, example, got):
1242 """
1243 Report that the given example ran successfully. (Only
1244 displays a message if verbose=True)
1245 """
1246 if self._verbose:
1247 out("ok\n")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001248
Tim Peters8485b562004-08-04 18:46:34 +00001249 def report_failure(self, out, test, example, got):
1250 """
1251 Report that the given example failed.
1252 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001253 out(self._failure_header(test, example) +
Edward Loperca9111e2004-08-26 03:00:24 +00001254 self._checker.output_difference(example, got, self.optionflags))
Tim Peters7402f792001-10-02 03:53:41 +00001255
Tim Peters8485b562004-08-04 18:46:34 +00001256 def report_unexpected_exception(self, out, test, example, exc_info):
1257 """
1258 Report that the given example raised an unexpected exception.
1259 """
Edward Loper8e4a34b2004-08-12 02:34:27 +00001260 out(self._failure_header(test, example) +
Edward Loperaacf0832004-08-26 01:19:50 +00001261 'Exception raised:\n' + _indent(_exception_traceback(exc_info)))
Tim Peters7402f792001-10-02 03:53:41 +00001262
Edward Loper8e4a34b2004-08-12 02:34:27 +00001263 def _failure_header(self, test, example):
Jim Fulton07a349c2004-08-22 14:10:00 +00001264 out = [self.DIVIDER]
1265 if test.filename:
1266 if test.lineno is not None and example.lineno is not None:
1267 lineno = test.lineno + example.lineno + 1
1268 else:
1269 lineno = '?'
1270 out.append('File "%s", line %s, in %s' %
1271 (test.filename, lineno, test.name))
Tim Peters8485b562004-08-04 18:46:34 +00001272 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00001273 out.append('Line %s, in %s' % (example.lineno+1, test.name))
1274 out.append('Failed example:')
1275 source = example.source
Edward Loperaacf0832004-08-26 01:19:50 +00001276 out.append(_indent(source))
1277 return '\n'.join(out)
Tim Peters7402f792001-10-02 03:53:41 +00001278
Tim Peters8485b562004-08-04 18:46:34 +00001279 #/////////////////////////////////////////////////////////////////
1280 # DocTest Running
1281 #/////////////////////////////////////////////////////////////////
Tim Peters7402f792001-10-02 03:53:41 +00001282
Tim Peters8485b562004-08-04 18:46:34 +00001283 def __run(self, test, compileflags, out):
Tim Peters8a7d2d52001-01-16 07:10:57 +00001284 """
Tim Peters8485b562004-08-04 18:46:34 +00001285 Run the examples in `test`. Write the outcome of each example
1286 with one of the `DocTestRunner.report_*` methods, using the
1287 writer function `out`. `compileflags` is the set of compiler
1288 flags that should be used to execute examples. Return a tuple
1289 `(f, t)`, where `t` is the number of examples tried, and `f`
1290 is the number of examples that failed. The examples are run
1291 in the namespace `test.globs`.
1292 """
1293 # Keep track of the number of failures and tries.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001294 failures = tries = 0
Tim Peters8485b562004-08-04 18:46:34 +00001295
1296 # Save the option flags (since option directives can be used
1297 # to modify them).
1298 original_optionflags = self.optionflags
1299
Tim Peters1fbf9c52004-09-04 17:21:02 +00001300 SUCCESS, FAILURE, BOOM = range(3) # `outcome` state
1301
1302 check = self._checker.check_output
1303
Tim Peters8485b562004-08-04 18:46:34 +00001304 # Process each example.
Edward Loper2de91ba2004-08-27 02:07:46 +00001305 for examplenum, example in enumerate(test.examples):
1306
Ezio Melotti13925002011-03-16 11:05:33 +02001307 # If REPORT_ONLY_FIRST_FAILURE is set, then suppress
Edward Lopera89f88d2004-08-26 02:45:51 +00001308 # reporting after the first failure.
1309 quiet = (self.optionflags & REPORT_ONLY_FIRST_FAILURE and
1310 failures > 0)
1311
Edward Loper74bca7a2004-08-12 02:27:44 +00001312 # Merge in the example's options.
1313 self.optionflags = original_optionflags
1314 if example.options:
1315 for (optionflag, val) in example.options.items():
1316 if val:
1317 self.optionflags |= optionflag
1318 else:
1319 self.optionflags &= ~optionflag
Tim Peters8485b562004-08-04 18:46:34 +00001320
Thomas Wouters477c8d52006-05-27 19:21:47 +00001321 # If 'SKIP' is set, then skip this example.
1322 if self.optionflags & SKIP:
1323 continue
1324
Tim Peters8485b562004-08-04 18:46:34 +00001325 # Record that we started this example.
1326 tries += 1
Edward Lopera89f88d2004-08-26 02:45:51 +00001327 if not quiet:
1328 self.report_start(out, test, example)
Tim Peters8485b562004-08-04 18:46:34 +00001329
Edward Loper2de91ba2004-08-27 02:07:46 +00001330 # Use a special filename for compile(), so we can retrieve
1331 # the source code during interactive debugging (see
1332 # __patched_linecache_getlines).
1333 filename = '<doctest %s[%d]>' % (test.name, examplenum)
1334
Tim Peters8485b562004-08-04 18:46:34 +00001335 # Run the example in the given context (globs), and record
1336 # any exception that gets raised. (But don't intercept
1337 # keyboard interrupts.)
1338 try:
Tim Peters208ca702004-08-09 04:12:36 +00001339 # Don't blink! This is where the user's code gets run.
Georg Brandl7cae87c2006-09-06 06:51:57 +00001340 exec(compile(example.source, filename, "single",
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03001341 compileflags, True), test.globs)
Edward Loper2de91ba2004-08-27 02:07:46 +00001342 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001343 exception = None
1344 except KeyboardInterrupt:
1345 raise
1346 except:
1347 exception = sys.exc_info()
Edward Loper2de91ba2004-08-27 02:07:46 +00001348 self.debugger.set_continue() # ==== Example Finished ====
Tim Peters8485b562004-08-04 18:46:34 +00001349
Tim Peters208ca702004-08-09 04:12:36 +00001350 got = self._fakeout.getvalue() # the actual output
Tim Peters8485b562004-08-04 18:46:34 +00001351 self._fakeout.truncate(0)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001352 outcome = FAILURE # guilty until proved innocent or insane
Tim Peters8485b562004-08-04 18:46:34 +00001353
1354 # If the example executed without raising any exceptions,
Tim Peters1fbf9c52004-09-04 17:21:02 +00001355 # verify its output.
Tim Peters8485b562004-08-04 18:46:34 +00001356 if exception is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001357 if check(example.want, got, self.optionflags):
1358 outcome = SUCCESS
Tim Peters8485b562004-08-04 18:46:34 +00001359
Tim Peters1fbf9c52004-09-04 17:21:02 +00001360 # The example raised an exception: check if it was expected.
Tim Peters8485b562004-08-04 18:46:34 +00001361 else:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001362 exc_msg = traceback.format_exception_only(*exception[:2])[-1]
Tim Peters1fbf9c52004-09-04 17:21:02 +00001363 if not quiet:
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001364 got += _exception_traceback(exception)
Tim Peters8485b562004-08-04 18:46:34 +00001365
Tim Peters1fbf9c52004-09-04 17:21:02 +00001366 # If `example.exc_msg` is None, then we weren't expecting
1367 # an exception.
Edward Lopera6b68322004-08-26 00:05:43 +00001368 if example.exc_msg is None:
Tim Peters1fbf9c52004-09-04 17:21:02 +00001369 outcome = BOOM
1370
1371 # We expected an exception: see whether it matches.
1372 elif check(example.exc_msg, exc_msg, self.optionflags):
1373 outcome = SUCCESS
1374
1375 # Another chance if they didn't care about the detail.
1376 elif self.optionflags & IGNORE_EXCEPTION_DETAIL:
Tim Petersf9a07f22013-12-03 21:02:05 -06001377 if check(_strip_exception_details(example.exc_msg),
1378 _strip_exception_details(exc_msg),
1379 self.optionflags):
Tim Peters1fbf9c52004-09-04 17:21:02 +00001380 outcome = SUCCESS
1381
1382 # Report the outcome.
1383 if outcome is SUCCESS:
1384 if not quiet:
1385 self.report_success(out, test, example, got)
1386 elif outcome is FAILURE:
1387 if not quiet:
1388 self.report_failure(out, test, example, got)
1389 failures += 1
1390 elif outcome is BOOM:
1391 if not quiet:
1392 self.report_unexpected_exception(out, test, example,
Benjamin Petersoneec3d712008-06-11 15:59:43 +00001393 exception)
Tim Peters1fbf9c52004-09-04 17:21:02 +00001394 failures += 1
1395 else:
1396 assert False, ("unknown outcome", outcome)
Tim Peters8485b562004-08-04 18:46:34 +00001397
R David Murray5a9d7062012-11-21 15:09:21 -05001398 if failures and self.optionflags & FAIL_FAST:
1399 break
1400
Tim Peters8485b562004-08-04 18:46:34 +00001401 # Restore the option flags (in case they were modified)
1402 self.optionflags = original_optionflags
1403
1404 # Record and return the number of failures and tries.
1405 self.__record_outcome(test, failures, tries)
Christian Heimes25bb7832008-01-11 16:17:00 +00001406 return TestResults(failures, tries)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001407
Tim Peters8485b562004-08-04 18:46:34 +00001408 def __record_outcome(self, test, f, t):
1409 """
1410 Record the fact that the given DocTest (`test`) generated `f`
1411 failures out of `t` tried examples.
1412 """
1413 f2, t2 = self._name2ft.get(test.name, (0,0))
1414 self._name2ft[test.name] = (f+f2, t+t2)
1415 self.failures += f
1416 self.tries += t
1417
Edward Loper2de91ba2004-08-27 02:07:46 +00001418 __LINECACHE_FILENAME_RE = re.compile(r'<doctest '
Florent Xiclunad9f57632010-10-14 20:56:20 +00001419 r'(?P<name>.+)'
Edward Loper2de91ba2004-08-27 02:07:46 +00001420 r'\[(?P<examplenum>\d+)\]>$')
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001421 def __patched_linecache_getlines(self, filename, module_globals=None):
Edward Loper2de91ba2004-08-27 02:07:46 +00001422 m = self.__LINECACHE_FILENAME_RE.match(filename)
1423 if m and m.group('name') == self.test.name:
1424 example = self.test.examples[int(m.group('examplenum'))]
Ezio Melottid8b509b2011-09-28 17:37:55 +03001425 return example.source.splitlines(keepends=True)
Edward Loper2de91ba2004-08-27 02:07:46 +00001426 else:
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001427 return self.save_linecache_getlines(filename, module_globals)
Edward Loper2de91ba2004-08-27 02:07:46 +00001428
Tim Peters8485b562004-08-04 18:46:34 +00001429 def run(self, test, compileflags=None, out=None, clear_globs=True):
1430 """
1431 Run the examples in `test`, and display the results using the
1432 writer function `out`.
1433
1434 The examples are run in the namespace `test.globs`. If
1435 `clear_globs` is true (the default), then this namespace will
1436 be cleared after the test runs, to help with garbage
1437 collection. If you would like to examine the namespace after
1438 the test completes, then use `clear_globs=False`.
1439
1440 `compileflags` gives the set of flags that should be used by
1441 the Python compiler when running the examples. If not
1442 specified, then it will default to the set of future-import
1443 flags that apply to `globs`.
1444
1445 The output of each example is checked using
1446 `DocTestRunner.check_output`, and the results are formatted by
1447 the `DocTestRunner.report_*` methods.
1448 """
Edward Loper2de91ba2004-08-27 02:07:46 +00001449 self.test = test
1450
Tim Peters8485b562004-08-04 18:46:34 +00001451 if compileflags is None:
1452 compileflags = _extract_future_flags(test.globs)
Jim Fulton356fd192004-08-09 11:34:47 +00001453
Tim Peters6c542b72004-08-09 16:43:36 +00001454 save_stdout = sys.stdout
Tim Peters8485b562004-08-04 18:46:34 +00001455 if out is None:
Florent Xicluna59250852010-02-27 14:21:57 +00001456 encoding = save_stdout.encoding
1457 if encoding is None or encoding.lower() == 'utf-8':
1458 out = save_stdout.write
1459 else:
1460 # Use backslashreplace error handling on write
1461 def out(s):
1462 s = str(s.encode(encoding, 'backslashreplace'), encoding)
1463 save_stdout.write(s)
Tim Peters6c542b72004-08-09 16:43:36 +00001464 sys.stdout = self._fakeout
Tim Peters8485b562004-08-04 18:46:34 +00001465
Edward Loper2de91ba2004-08-27 02:07:46 +00001466 # Patch pdb.set_trace to restore sys.stdout during interactive
1467 # debugging (so it's not still redirected to self._fakeout).
1468 # Note that the interactive output will go to *our*
1469 # save_stdout, even if that's not the real sys.stdout; this
1470 # allows us to write test cases for the set_trace behavior.
Brett Cannon31f59292011-02-21 19:29:56 +00001471 save_trace = sys.gettrace()
Tim Peters6c542b72004-08-09 16:43:36 +00001472 save_set_trace = pdb.set_trace
Edward Loper2de91ba2004-08-27 02:07:46 +00001473 self.debugger = _OutputRedirectingPdb(save_stdout)
1474 self.debugger.reset()
1475 pdb.set_trace = self.debugger.set_trace
1476
1477 # Patch linecache.getlines, so we can see the example's source
1478 # when we're inside the debugger.
1479 self.save_linecache_getlines = linecache.getlines
1480 linecache.getlines = self.__patched_linecache_getlines
1481
Georg Brandl25fbb892010-07-30 09:23:23 +00001482 # Make sure sys.displayhook just prints the value to stdout
1483 save_displayhook = sys.displayhook
1484 sys.displayhook = sys.__displayhook__
1485
Tim Peters8485b562004-08-04 18:46:34 +00001486 try:
Tim Peters8485b562004-08-04 18:46:34 +00001487 return self.__run(test, compileflags, out)
1488 finally:
Tim Peters6c542b72004-08-09 16:43:36 +00001489 sys.stdout = save_stdout
1490 pdb.set_trace = save_set_trace
Brett Cannon31f59292011-02-21 19:29:56 +00001491 sys.settrace(save_trace)
Edward Loper2de91ba2004-08-27 02:07:46 +00001492 linecache.getlines = self.save_linecache_getlines
Georg Brandl25fbb892010-07-30 09:23:23 +00001493 sys.displayhook = save_displayhook
Tim Peters8485b562004-08-04 18:46:34 +00001494 if clear_globs:
1495 test.globs.clear()
Benjamin Petersonfbf66bd2008-07-29 15:55:50 +00001496 import builtins
1497 builtins._ = None
Tim Peters8485b562004-08-04 18:46:34 +00001498
1499 #/////////////////////////////////////////////////////////////////
1500 # Summarization
1501 #/////////////////////////////////////////////////////////////////
Tim Peters8a7d2d52001-01-16 07:10:57 +00001502 def summarize(self, verbose=None):
1503 """
Tim Peters8485b562004-08-04 18:46:34 +00001504 Print a summary of all the test cases that have been run by
1505 this DocTestRunner, and return a tuple `(f, t)`, where `f` is
1506 the total number of failed examples, and `t` is the total
1507 number of tried examples.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001508
Tim Peters8485b562004-08-04 18:46:34 +00001509 The optional `verbose` argument controls how detailed the
1510 summary is. If the verbosity is not specified, then the
1511 DocTestRunner's verbosity is used.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001512 """
Tim Peters8a7d2d52001-01-16 07:10:57 +00001513 if verbose is None:
Tim Peters8485b562004-08-04 18:46:34 +00001514 verbose = self._verbose
Tim Peters8a7d2d52001-01-16 07:10:57 +00001515 notests = []
1516 passed = []
1517 failed = []
1518 totalt = totalf = 0
Tim Peters8485b562004-08-04 18:46:34 +00001519 for x in self._name2ft.items():
Tim Peters8a7d2d52001-01-16 07:10:57 +00001520 name, (f, t) = x
1521 assert f <= t
Tim Peters8485b562004-08-04 18:46:34 +00001522 totalt += t
1523 totalf += f
Tim Peters8a7d2d52001-01-16 07:10:57 +00001524 if t == 0:
1525 notests.append(name)
1526 elif f == 0:
1527 passed.append( (name, t) )
1528 else:
1529 failed.append(x)
1530 if verbose:
1531 if notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001532 print(len(notests), "items had no tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001533 notests.sort()
1534 for thing in notests:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001535 print(" ", thing)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001536 if passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001537 print(len(passed), "items passed all tests:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001538 passed.sort()
1539 for thing, count in passed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001540 print(" %3d tests in %s" % (count, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001541 if failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001542 print(self.DIVIDER)
1543 print(len(failed), "items had failures:")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001544 failed.sort()
1545 for thing, (f, t) in failed:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001546 print(" %3d of %3d in %s" % (f, t, thing))
Tim Peters8a7d2d52001-01-16 07:10:57 +00001547 if verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001548 print(totalt, "tests in", len(self._name2ft), "items.")
1549 print(totalt - totalf, "passed and", totalf, "failed.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001550 if totalf:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001551 print("***Test Failed***", totalf, "failures.")
Tim Peters8a7d2d52001-01-16 07:10:57 +00001552 elif verbose:
Guido van Rossumbe19ed72007-02-09 05:37:30 +00001553 print("Test passed.")
Christian Heimes25bb7832008-01-11 16:17:00 +00001554 return TestResults(totalf, totalt)
Tim Peters8a7d2d52001-01-16 07:10:57 +00001555
Tim Peters82076ef2004-09-13 00:52:51 +00001556 #/////////////////////////////////////////////////////////////////
1557 # Backward compatibility cruft to maintain doctest.master.
1558 #/////////////////////////////////////////////////////////////////
1559 def merge(self, other):
1560 d = self._name2ft
1561 for name, (f, t) in other._name2ft.items():
1562 if name in d:
Nick Coghlan38622002008-12-15 12:01:34 +00001563 # Don't print here by default, since doing
1564 # so breaks some of the buildbots
1565 #print("*** DocTestRunner.merge: '" + name + "' in both" \
1566 # " testers; summing outcomes.")
Tim Peters82076ef2004-09-13 00:52:51 +00001567 f2, t2 = d[name]
1568 f = f + f2
1569 t = t + t2
1570 d[name] = f, t
1571
Edward Loper34fcb142004-08-09 02:45:41 +00001572class OutputChecker:
1573 """
1574 A class used to check the whether the actual output from a doctest
1575 example matches the expected output. `OutputChecker` defines two
1576 methods: `check_output`, which compares a given pair of outputs,
1577 and returns true if they match; and `output_difference`, which
1578 returns a string describing the differences between two outputs.
1579 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001580 def _toAscii(self, s):
1581 """
1582 Convert string to hex-escaped ASCII string.
1583 """
1584 return str(s.encode('ASCII', 'backslashreplace'), "ASCII")
1585
Edward Loper34fcb142004-08-09 02:45:41 +00001586 def check_output(self, want, got, optionflags):
1587 """
Edward Loper74bca7a2004-08-12 02:27:44 +00001588 Return True iff the actual output from an example (`got`)
1589 matches the expected output (`want`). These strings are
1590 always considered to match if they are identical; but
1591 depending on what option flags the test runner is using,
1592 several non-exact match types are also possible. See the
1593 documentation for `TestRunner` for more information about
1594 option flags.
Edward Loper34fcb142004-08-09 02:45:41 +00001595 """
Georg Brandl559e5d72008-06-11 18:37:52 +00001596
1597 # If `want` contains hex-escaped character such as "\u1234",
1598 # then `want` is a string of six characters(e.g. [\,u,1,2,3,4]).
Martin Panter2e4571a2015-11-14 01:07:43 +00001599 # On the other hand, `got` could be another sequence of
Georg Brandl559e5d72008-06-11 18:37:52 +00001600 # characters such as [\u1234], so `want` and `got` should
1601 # be folded to hex-escaped ASCII string to compare.
1602 got = self._toAscii(got)
1603 want = self._toAscii(want)
1604
Edward Loper34fcb142004-08-09 02:45:41 +00001605 # Handle the common case first, for efficiency:
1606 # if they're string-identical, always return true.
1607 if got == want:
1608 return True
1609
1610 # The values True and False replaced 1 and 0 as the return
1611 # value for boolean comparisons in Python 2.3.
1612 if not (optionflags & DONT_ACCEPT_TRUE_FOR_1):
1613 if (got,want) == ("True\n", "1\n"):
1614 return True
1615 if (got,want) == ("False\n", "0\n"):
1616 return True
1617
1618 # <BLANKLINE> can be used as a special sequence to signify a
1619 # blank line, unless the DONT_ACCEPT_BLANKLINE flag is used.
1620 if not (optionflags & DONT_ACCEPT_BLANKLINE):
1621 # Replace <BLANKLINE> in want with a blank line.
R David Murray44b548d2016-09-08 13:59:53 -04001622 want = re.sub(r'(?m)^%s\s*?$' % re.escape(BLANKLINE_MARKER),
Edward Loper34fcb142004-08-09 02:45:41 +00001623 '', want)
1624 # If a line in got contains only spaces, then remove the
1625 # spaces.
Serhiy Storchaka70d56fb2017-12-04 14:29:05 +02001626 got = re.sub(r'(?m)^[^\S\n]+$', '', got)
Edward Loper34fcb142004-08-09 02:45:41 +00001627 if got == want:
1628 return True
1629
1630 # This flag causes doctest to ignore any differences in the
1631 # contents of whitespace strings. Note that this can be used
Tim Peters3fa8c202004-08-23 21:43:39 +00001632 # in conjunction with the ELLIPSIS flag.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001633 if optionflags & NORMALIZE_WHITESPACE:
Edward Loper34fcb142004-08-09 02:45:41 +00001634 got = ' '.join(got.split())
1635 want = ' '.join(want.split())
1636 if got == want:
1637 return True
1638
1639 # The ELLIPSIS flag says to let the sequence "..." in `want`
Tim Peters26b3ebb2004-08-19 08:10:08 +00001640 # match any substring in `got`.
Tim Peters1cf3aa62004-08-19 06:49:33 +00001641 if optionflags & ELLIPSIS:
Tim Petersb0a04e12004-08-20 02:08:04 +00001642 if _ellipsis_match(want, got):
Edward Loper34fcb142004-08-09 02:45:41 +00001643 return True
1644
1645 # We didn't find any match; return false.
1646 return False
1647
Tim Petersc6cbab02004-08-22 19:43:28 +00001648 # Should we do a fancy diff?
1649 def _do_a_fancy_diff(self, want, got, optionflags):
1650 # Not unless they asked for a fancy diff.
Edward Loper71f55af2004-08-26 01:41:51 +00001651 if not optionflags & (REPORT_UDIFF |
1652 REPORT_CDIFF |
1653 REPORT_NDIFF):
Tim Petersc6cbab02004-08-22 19:43:28 +00001654 return False
Tim Peters5b799c12004-08-26 05:21:59 +00001655
Tim Petersc6cbab02004-08-22 19:43:28 +00001656 # If expected output uses ellipsis, a meaningful fancy diff is
Tim Peters5b799c12004-08-26 05:21:59 +00001657 # too hard ... or maybe not. In two real-life failures Tim saw,
1658 # a diff was a major help anyway, so this is commented out.
1659 # [todo] _ellipsis_match() knows which pieces do and don't match,
1660 # and could be the basis for a kick-ass diff in this case.
1661 ##if optionflags & ELLIPSIS and ELLIPSIS_MARKER in want:
1662 ## return False
1663
Tim Petersc6cbab02004-08-22 19:43:28 +00001664 # ndiff does intraline difference marking, so can be useful even
Tim Peters5b799c12004-08-26 05:21:59 +00001665 # for 1-line differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001666 if optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001667 return True
Tim Peters5b799c12004-08-26 05:21:59 +00001668
Tim Petersc6cbab02004-08-22 19:43:28 +00001669 # The other diff types need at least a few lines to be helpful.
1670 return want.count('\n') > 2 and got.count('\n') > 2
1671
Edward Loperca9111e2004-08-26 03:00:24 +00001672 def output_difference(self, example, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001673 """
1674 Return a string describing the differences between the
Edward Loperca9111e2004-08-26 03:00:24 +00001675 expected output for a given example (`example`) and the actual
1676 output (`got`). `optionflags` is the set of option flags used
1677 to compare `want` and `got`.
Edward Loper34fcb142004-08-09 02:45:41 +00001678 """
Edward Loperca9111e2004-08-26 03:00:24 +00001679 want = example.want
Edward Loper68ba9a62004-08-12 02:43:49 +00001680 # If <BLANKLINE>s are being used, then replace blank lines
1681 # with <BLANKLINE> in the actual output string.
Edward Loper34fcb142004-08-09 02:45:41 +00001682 if not (optionflags & DONT_ACCEPT_BLANKLINE):
Edward Loper68ba9a62004-08-12 02:43:49 +00001683 got = re.sub('(?m)^[ ]*(?=\n)', BLANKLINE_MARKER, got)
Edward Loper34fcb142004-08-09 02:45:41 +00001684
Tim Peters5b799c12004-08-26 05:21:59 +00001685 # Check if we should use diff.
Tim Petersc6cbab02004-08-22 19:43:28 +00001686 if self._do_a_fancy_diff(want, got, optionflags):
Edward Loper34fcb142004-08-09 02:45:41 +00001687 # Split want & got into lines.
Ezio Melottid8b509b2011-09-28 17:37:55 +03001688 want_lines = want.splitlines(keepends=True)
1689 got_lines = got.splitlines(keepends=True)
Edward Loper34fcb142004-08-09 02:45:41 +00001690 # Use difflib to find their differences.
Edward Loper71f55af2004-08-26 01:41:51 +00001691 if optionflags & REPORT_UDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001692 diff = difflib.unified_diff(want_lines, got_lines, n=2)
1693 diff = list(diff)[2:] # strip the diff header
1694 kind = 'unified diff with -expected +actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001695 elif optionflags & REPORT_CDIFF:
Edward Loper56629292004-08-26 01:31:56 +00001696 diff = difflib.context_diff(want_lines, got_lines, n=2)
1697 diff = list(diff)[2:] # strip the diff header
1698 kind = 'context diff with expected followed by actual'
Edward Loper71f55af2004-08-26 01:41:51 +00001699 elif optionflags & REPORT_NDIFF:
Tim Petersc6cbab02004-08-22 19:43:28 +00001700 engine = difflib.Differ(charjunk=difflib.IS_CHARACTER_JUNK)
1701 diff = list(engine.compare(want_lines, got_lines))
1702 kind = 'ndiff with -expected +actual'
Edward Loper34fcb142004-08-09 02:45:41 +00001703 else:
1704 assert 0, 'Bad diff option'
Edward Loperaacf0832004-08-26 01:19:50 +00001705 return 'Differences (%s):\n' % kind + _indent(''.join(diff))
Edward Loper34fcb142004-08-09 02:45:41 +00001706
1707 # If we're not using diff, then simply list the expected
1708 # output followed by the actual output.
Edward Loperaacf0832004-08-26 01:19:50 +00001709 if want and got:
1710 return 'Expected:\n%sGot:\n%s' % (_indent(want), _indent(got))
1711 elif want:
1712 return 'Expected:\n%sGot nothing\n' % _indent(want)
1713 elif got:
1714 return 'Expected nothing\nGot:\n%s' % _indent(got)
1715 else:
1716 return 'Expected nothing\nGot nothing\n'
Edward Loper34fcb142004-08-09 02:45:41 +00001717
Tim Peters19397e52004-08-06 22:02:59 +00001718class DocTestFailure(Exception):
1719 """A DocTest example has failed in debugging mode.
1720
1721 The exception instance has variables:
1722
1723 - test: the DocTest object being run
1724
Neal Norwitzc082cb72006-08-29 05:40:08 +00001725 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001726
1727 - got: the actual output
1728 """
1729 def __init__(self, test, example, got):
1730 self.test = test
1731 self.example = example
1732 self.got = got
1733
1734 def __str__(self):
1735 return str(self.test)
1736
1737class UnexpectedException(Exception):
1738 """A DocTest example has encountered an unexpected exception
1739
1740 The exception instance has variables:
1741
1742 - test: the DocTest object being run
1743
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001744 - example: the Example object that failed
Tim Peters19397e52004-08-06 22:02:59 +00001745
1746 - exc_info: the exception info
1747 """
1748 def __init__(self, test, example, exc_info):
1749 self.test = test
1750 self.example = example
1751 self.exc_info = exc_info
1752
1753 def __str__(self):
1754 return str(self.test)
Tim Petersd1b78272004-08-07 06:03:09 +00001755
Tim Peters19397e52004-08-06 22:02:59 +00001756class DebugRunner(DocTestRunner):
1757 r"""Run doc tests but raise an exception as soon as there is a failure.
1758
1759 If an unexpected exception occurs, an UnexpectedException is raised.
1760 It contains the test, the example, and the original exception:
1761
1762 >>> runner = DebugRunner(verbose=False)
Edward Lopera1ef6112004-08-09 16:14:41 +00001763 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
1764 ... {}, 'foo', 'foo.py', 0)
Tim Peters19397e52004-08-06 22:02:59 +00001765 >>> try:
1766 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001767 ... except UnexpectedException as f:
1768 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001769
1770 >>> failure.test is test
1771 True
1772
1773 >>> failure.example.want
1774 '42\n'
1775
1776 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00001777 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00001778 Traceback (most recent call last):
1779 ...
1780 KeyError
1781
1782 We wrap the original exception to give the calling application
1783 access to the test and example information.
1784
1785 If the output doesn't match, then a DocTestFailure is raised:
1786
Edward Lopera1ef6112004-08-09 16:14:41 +00001787 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001788 ... >>> x = 1
1789 ... >>> x
1790 ... 2
1791 ... ''', {}, 'foo', 'foo.py', 0)
1792
1793 >>> try:
1794 ... runner.run(test)
Guido van Rossumb940e112007-01-10 16:19:56 +00001795 ... except DocTestFailure as f:
1796 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00001797
1798 DocTestFailure objects provide access to the test:
1799
1800 >>> failure.test is test
1801 True
1802
1803 As well as to the example:
1804
1805 >>> failure.example.want
1806 '2\n'
1807
1808 and the actual output:
1809
1810 >>> failure.got
1811 '1\n'
1812
1813 If a failure or error occurs, the globals are left intact:
1814
1815 >>> del test.globs['__builtins__']
1816 >>> test.globs
1817 {'x': 1}
1818
Edward Lopera1ef6112004-08-09 16:14:41 +00001819 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001820 ... >>> x = 2
1821 ... >>> raise KeyError
1822 ... ''', {}, 'foo', 'foo.py', 0)
1823
1824 >>> runner.run(test)
1825 Traceback (most recent call last):
1826 ...
Guido van Rossum6a2a2a02006-08-26 20:37:44 +00001827 doctest.UnexpectedException: <DocTest foo from foo.py:0 (2 examples)>
Tim Petersd1b78272004-08-07 06:03:09 +00001828
Tim Peters19397e52004-08-06 22:02:59 +00001829 >>> del test.globs['__builtins__']
1830 >>> test.globs
1831 {'x': 2}
1832
1833 But the globals are cleared if there is no error:
1834
Edward Lopera1ef6112004-08-09 16:14:41 +00001835 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00001836 ... >>> x = 2
1837 ... ''', {}, 'foo', 'foo.py', 0)
1838
1839 >>> runner.run(test)
Christian Heimes25bb7832008-01-11 16:17:00 +00001840 TestResults(failed=0, attempted=1)
Tim Peters19397e52004-08-06 22:02:59 +00001841
1842 >>> test.globs
1843 {}
1844
1845 """
1846
1847 def run(self, test, compileflags=None, out=None, clear_globs=True):
1848 r = DocTestRunner.run(self, test, compileflags, out, False)
1849 if clear_globs:
1850 test.globs.clear()
1851 return r
1852
1853 def report_unexpected_exception(self, out, test, example, exc_info):
1854 raise UnexpectedException(test, example, exc_info)
1855
1856 def report_failure(self, out, test, example, got):
1857 raise DocTestFailure(test, example, got)
1858
Tim Peters8485b562004-08-04 18:46:34 +00001859######################################################################
Edward Loper7c748462004-08-09 02:06:06 +00001860## 6. Test Functions
Tim Peters8485b562004-08-04 18:46:34 +00001861######################################################################
1862# These should be backwards compatible.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001863
Tim Peters82076ef2004-09-13 00:52:51 +00001864# For backward compatibility, a global instance of a DocTestRunner
1865# class, updated by testmod.
1866master = None
1867
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001868def testmod(m=None, name=None, globs=None, verbose=None,
Tim Peters19397e52004-08-06 22:02:59 +00001869 report=True, optionflags=0, extraglobs=None,
Tim Peters958cc892004-09-13 14:53:28 +00001870 raise_on_error=False, exclude_empty=False):
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001871 """m=None, name=None, globs=None, verbose=None, report=True,
1872 optionflags=0, extraglobs=None, raise_on_error=False,
Tim Peters958cc892004-09-13 14:53:28 +00001873 exclude_empty=False
Tim Peters8a7d2d52001-01-16 07:10:57 +00001874
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001875 Test examples in docstrings in functions and classes reachable
1876 from module m (or the current module if m is not supplied), starting
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001877 with m.__doc__.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001878
1879 Also test examples reachable from dict m.__test__ if it exists and is
Tim Petersc2388a22004-08-10 01:41:28 +00001880 not None. m.__test__ maps names to functions, classes and strings;
Tim Peters8a7d2d52001-01-16 07:10:57 +00001881 function and class docstrings are tested even if the name is private;
1882 strings are tested directly, as if they were docstrings.
1883
1884 Return (#failures, #tests).
1885
Alexander Belopolsky977a6842010-08-16 20:17:07 +00001886 See help(doctest) for an overview.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001887
1888 Optional keyword arg "name" gives the name of the module; by default
1889 use m.__name__.
1890
1891 Optional keyword arg "globs" gives a dict to be used as the globals
1892 when executing examples; by default, use m.__dict__. A copy of this
1893 dict is actually used for each docstring, so that each docstring's
1894 examples start with a clean slate.
1895
Tim Peters8485b562004-08-04 18:46:34 +00001896 Optional keyword arg "extraglobs" gives a dictionary that should be
1897 merged into the globals that are used to execute examples. By
1898 default, no extra globals are used. This is new in 2.4.
1899
Tim Peters8a7d2d52001-01-16 07:10:57 +00001900 Optional keyword arg "verbose" prints lots of stuff if true, prints
1901 only failures if false; by default, it's true iff "-v" is in sys.argv.
1902
Tim Peters8a7d2d52001-01-16 07:10:57 +00001903 Optional keyword arg "report" prints a summary at the end when true,
1904 else prints nothing at the end. In verbose mode, the summary is
1905 detailed, else very brief (in fact, empty if all tests passed).
1906
Tim Peters6ebe61f2003-06-27 20:48:05 +00001907 Optional keyword arg "optionflags" or's together module constants,
Tim Petersf82a9de2004-08-22 20:51:53 +00001908 and defaults to 0. This is new in 2.3. Possible values (see the
1909 docs for details):
Tim Peters6ebe61f2003-06-27 20:48:05 +00001910
1911 DONT_ACCEPT_TRUE_FOR_1
Tim Peters8485b562004-08-04 18:46:34 +00001912 DONT_ACCEPT_BLANKLINE
Tim Peters8485b562004-08-04 18:46:34 +00001913 NORMALIZE_WHITESPACE
Tim Peters8485b562004-08-04 18:46:34 +00001914 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00001915 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00001916 IGNORE_EXCEPTION_DETAIL
Edward Loper71f55af2004-08-26 01:41:51 +00001917 REPORT_UDIFF
1918 REPORT_CDIFF
1919 REPORT_NDIFF
Edward Lopera89f88d2004-08-26 02:45:51 +00001920 REPORT_ONLY_FIRST_FAILURE
Tim Peters19397e52004-08-06 22:02:59 +00001921
1922 Optional keyword arg "raise_on_error" raises an exception on the
1923 first unexpected exception or failure. This allows failures to be
1924 post-mortem debugged.
1925
Tim Peters8a7d2d52001-01-16 07:10:57 +00001926 Advanced tomfoolery: testmod runs methods of a local instance of
1927 class doctest.Tester, then merges the results into (or creates)
1928 global Tester instance doctest.master. Methods of doctest.master
1929 can be called directly too, if you want to do something unusual.
1930 Passing report=0 to testmod is especially useful then, to delay
1931 displaying a summary. Invoke doctest.master.summarize(verbose)
1932 when you're done fiddling.
1933 """
Tim Peters82076ef2004-09-13 00:52:51 +00001934 global master
1935
Tim Peters8485b562004-08-04 18:46:34 +00001936 # If no module was given, then use __main__.
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001937 if m is None:
Martin v. Löwis4581cfa2002-11-22 08:23:09 +00001938 # DWA - m will still be None if this wasn't invoked from the command
1939 # line, in which case the following TypeError is about as good an error
1940 # as we should expect
1941 m = sys.modules.get('__main__')
1942
Tim Peters8485b562004-08-04 18:46:34 +00001943 # Check that we were actually given a module.
1944 if not inspect.ismodule(m):
Walter Dörwald70a6b492004-02-12 17:35:32 +00001945 raise TypeError("testmod: module required; %r" % (m,))
Tim Peters8485b562004-08-04 18:46:34 +00001946
1947 # If no name was given, then use the module's name.
Tim Peters8a7d2d52001-01-16 07:10:57 +00001948 if name is None:
1949 name = m.__name__
Tim Peters8485b562004-08-04 18:46:34 +00001950
1951 # Find, parse, and run all tests in the given module.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001952 finder = DocTestFinder(exclude_empty=exclude_empty)
Tim Peters19397e52004-08-06 22:02:59 +00001953
1954 if raise_on_error:
1955 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
1956 else:
1957 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
1958
Tim Peters8485b562004-08-04 18:46:34 +00001959 for test in finder.find(m, name, globs=globs, extraglobs=extraglobs):
1960 runner.run(test)
1961
Tim Peters8a7d2d52001-01-16 07:10:57 +00001962 if report:
Tim Peters8485b562004-08-04 18:46:34 +00001963 runner.summarize()
Tim Peters8a7d2d52001-01-16 07:10:57 +00001964
Tim Peters82076ef2004-09-13 00:52:51 +00001965 if master is None:
1966 master = runner
1967 else:
1968 master.merge(runner)
1969
Christian Heimes25bb7832008-01-11 16:17:00 +00001970 return TestResults(runner.failures, runner.tries)
Tim Petersdb3756d2003-06-29 05:30:48 +00001971
Edward Loper052d0cd2004-09-19 17:19:33 +00001972def testfile(filename, module_relative=True, name=None, package=None,
1973 globs=None, verbose=None, report=True, optionflags=0,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001974 extraglobs=None, raise_on_error=False, parser=DocTestParser(),
1975 encoding=None):
Edward Loper052d0cd2004-09-19 17:19:33 +00001976 """
1977 Test examples in the given file. Return (#failures, #tests).
1978
1979 Optional keyword arg "module_relative" specifies how filenames
1980 should be interpreted:
1981
1982 - If "module_relative" is True (the default), then "filename"
1983 specifies a module-relative path. By default, this path is
1984 relative to the calling module's directory; but if the
1985 "package" argument is specified, then it is relative to that
1986 package. To ensure os-independence, "filename" should use
1987 "/" characters to separate path segments, and should not
1988 be an absolute path (i.e., it may not begin with "/").
1989
1990 - If "module_relative" is False, then "filename" specifies an
1991 os-specific path. The path may be absolute or relative (to
1992 the current working directory).
1993
Edward Lopera2fc7ec2004-09-21 03:24:24 +00001994 Optional keyword arg "name" gives the name of the test; by default
1995 use the file's basename.
Edward Loper052d0cd2004-09-19 17:19:33 +00001996
1997 Optional keyword argument "package" is a Python package or the
1998 name of a Python package whose directory should be used as the
1999 base directory for a module relative filename. If no package is
2000 specified, then the calling module's directory is used as the base
2001 directory for module relative filenames. It is an error to
2002 specify "package" if "module_relative" is False.
2003
2004 Optional keyword arg "globs" gives a dict to be used as the globals
2005 when executing examples; by default, use {}. A copy of this dict
2006 is actually used for each docstring, so that each docstring's
2007 examples start with a clean slate.
2008
2009 Optional keyword arg "extraglobs" gives a dictionary that should be
2010 merged into the globals that are used to execute examples. By
2011 default, no extra globals are used.
2012
2013 Optional keyword arg "verbose" prints lots of stuff if true, prints
2014 only failures if false; by default, it's true iff "-v" is in sys.argv.
2015
2016 Optional keyword arg "report" prints a summary at the end when true,
2017 else prints nothing at the end. In verbose mode, the summary is
2018 detailed, else very brief (in fact, empty if all tests passed).
2019
2020 Optional keyword arg "optionflags" or's together module constants,
2021 and defaults to 0. Possible values (see the docs for details):
2022
2023 DONT_ACCEPT_TRUE_FOR_1
2024 DONT_ACCEPT_BLANKLINE
2025 NORMALIZE_WHITESPACE
2026 ELLIPSIS
Thomas Wouters477c8d52006-05-27 19:21:47 +00002027 SKIP
Edward Loper052d0cd2004-09-19 17:19:33 +00002028 IGNORE_EXCEPTION_DETAIL
2029 REPORT_UDIFF
2030 REPORT_CDIFF
2031 REPORT_NDIFF
2032 REPORT_ONLY_FIRST_FAILURE
2033
2034 Optional keyword arg "raise_on_error" raises an exception on the
2035 first unexpected exception or failure. This allows failures to be
2036 post-mortem debugged.
2037
Edward Loper498a1862004-09-27 03:42:58 +00002038 Optional keyword arg "parser" specifies a DocTestParser (or
2039 subclass) that should be used to extract tests from the files.
2040
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002041 Optional keyword arg "encoding" specifies an encoding that should
2042 be used to convert the file to unicode.
2043
Edward Loper052d0cd2004-09-19 17:19:33 +00002044 Advanced tomfoolery: testmod runs methods of a local instance of
2045 class doctest.Tester, then merges the results into (or creates)
2046 global Tester instance doctest.master. Methods of doctest.master
2047 can be called directly too, if you want to do something unusual.
2048 Passing report=0 to testmod is especially useful then, to delay
2049 displaying a summary. Invoke doctest.master.summarize(verbose)
2050 when you're done fiddling.
2051 """
2052 global master
2053
2054 if package and not module_relative:
2055 raise ValueError("Package may only be specified for module-"
2056 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002057
Edward Loper052d0cd2004-09-19 17:19:33 +00002058 # Relativize the path
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002059 text, filename = _load_testfile(filename, package, module_relative,
2060 encoding or "utf-8")
Edward Loper052d0cd2004-09-19 17:19:33 +00002061
2062 # If no name was given, then use the file's name.
2063 if name is None:
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002064 name = os.path.basename(filename)
Edward Loper052d0cd2004-09-19 17:19:33 +00002065
2066 # Assemble the globals.
2067 if globs is None:
2068 globs = {}
2069 else:
2070 globs = globs.copy()
2071 if extraglobs is not None:
2072 globs.update(extraglobs)
Raymond Hettinger0f055172009-01-27 10:06:09 +00002073 if '__name__' not in globs:
2074 globs['__name__'] = '__main__'
Edward Loper052d0cd2004-09-19 17:19:33 +00002075
2076 if raise_on_error:
2077 runner = DebugRunner(verbose=verbose, optionflags=optionflags)
2078 else:
2079 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2080
2081 # Read the file, convert it to a test, and run it.
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002082 test = parser.get_doctest(text, globs, name, filename, 0)
Edward Loper052d0cd2004-09-19 17:19:33 +00002083 runner.run(test)
2084
2085 if report:
2086 runner.summarize()
2087
2088 if master is None:
2089 master = runner
2090 else:
2091 master.merge(runner)
2092
Christian Heimes25bb7832008-01-11 16:17:00 +00002093 return TestResults(runner.failures, runner.tries)
Edward Loper052d0cd2004-09-19 17:19:33 +00002094
Tim Peters8485b562004-08-04 18:46:34 +00002095def run_docstring_examples(f, globs, verbose=False, name="NoName",
2096 compileflags=None, optionflags=0):
2097 """
2098 Test examples in the given object's docstring (`f`), using `globs`
2099 as globals. Optional argument `name` is used in failure messages.
2100 If the optional argument `verbose` is true, then generate output
2101 even if there are no failures.
Tim Petersdb3756d2003-06-29 05:30:48 +00002102
Tim Peters8485b562004-08-04 18:46:34 +00002103 `compileflags` gives the set of flags that should be used by the
2104 Python compiler when running the examples. If not specified, then
2105 it will default to the set of future-import flags that apply to
2106 `globs`.
Tim Petersdb3756d2003-06-29 05:30:48 +00002107
Tim Peters8485b562004-08-04 18:46:34 +00002108 Optional keyword arg `optionflags` specifies options for the
2109 testing and output. See the documentation for `testmod` for more
2110 information.
2111 """
2112 # Find, parse, and run all tests in the given module.
2113 finder = DocTestFinder(verbose=verbose, recurse=False)
2114 runner = DocTestRunner(verbose=verbose, optionflags=optionflags)
2115 for test in finder.find(f, name, globs=globs):
2116 runner.run(test, compileflags=compileflags)
Tim Petersdb3756d2003-06-29 05:30:48 +00002117
Tim Peters8485b562004-08-04 18:46:34 +00002118######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002119## 7. Unittest Support
Tim Peters8485b562004-08-04 18:46:34 +00002120######################################################################
Tim Petersdb3756d2003-06-29 05:30:48 +00002121
Jim Fultonf54bad42004-08-28 14:57:56 +00002122_unittest_reportflags = 0
Tim Peters38330fe2004-08-30 16:19:24 +00002123
Jim Fultonf54bad42004-08-28 14:57:56 +00002124def set_unittest_reportflags(flags):
Tim Peters38330fe2004-08-30 16:19:24 +00002125 """Sets the unittest option flags.
Jim Fultonf54bad42004-08-28 14:57:56 +00002126
2127 The old flag is returned so that a runner could restore the old
2128 value if it wished to:
2129
Tim Petersb7e99b62005-03-28 23:50:54 +00002130 >>> import doctest
2131 >>> old = doctest._unittest_reportflags
2132 >>> doctest.set_unittest_reportflags(REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002133 ... REPORT_ONLY_FIRST_FAILURE) == old
2134 True
2135
Jim Fultonf54bad42004-08-28 14:57:56 +00002136 >>> doctest._unittest_reportflags == (REPORT_NDIFF |
2137 ... REPORT_ONLY_FIRST_FAILURE)
2138 True
Tim Petersdf7a2082004-08-29 00:38:17 +00002139
Jim Fultonf54bad42004-08-28 14:57:56 +00002140 Only reporting flags can be set:
2141
Tim Petersb7e99b62005-03-28 23:50:54 +00002142 >>> doctest.set_unittest_reportflags(ELLIPSIS)
Jim Fultonf54bad42004-08-28 14:57:56 +00002143 Traceback (most recent call last):
2144 ...
Tim Peters38330fe2004-08-30 16:19:24 +00002145 ValueError: ('Only reporting flags allowed', 8)
Jim Fultonf54bad42004-08-28 14:57:56 +00002146
Tim Petersb7e99b62005-03-28 23:50:54 +00002147 >>> doctest.set_unittest_reportflags(old) == (REPORT_NDIFF |
Jim Fultonf54bad42004-08-28 14:57:56 +00002148 ... REPORT_ONLY_FIRST_FAILURE)
2149 True
Jim Fultonf54bad42004-08-28 14:57:56 +00002150 """
Jim Fultonf54bad42004-08-28 14:57:56 +00002151 global _unittest_reportflags
Tim Peters38330fe2004-08-30 16:19:24 +00002152
2153 if (flags & REPORTING_FLAGS) != flags:
2154 raise ValueError("Only reporting flags allowed", flags)
Jim Fultonf54bad42004-08-28 14:57:56 +00002155 old = _unittest_reportflags
2156 _unittest_reportflags = flags
2157 return old
Tim Petersdf7a2082004-08-29 00:38:17 +00002158
Jim Fultonf54bad42004-08-28 14:57:56 +00002159
Tim Peters19397e52004-08-06 22:02:59 +00002160class DocTestCase(unittest.TestCase):
Tim Petersdb3756d2003-06-29 05:30:48 +00002161
Edward Loper34fcb142004-08-09 02:45:41 +00002162 def __init__(self, test, optionflags=0, setUp=None, tearDown=None,
2163 checker=None):
Jim Fulton07a349c2004-08-22 14:10:00 +00002164
Jim Fultona643b652004-07-14 19:06:50 +00002165 unittest.TestCase.__init__(self)
Tim Peters19397e52004-08-06 22:02:59 +00002166 self._dt_optionflags = optionflags
Edward Loper34fcb142004-08-09 02:45:41 +00002167 self._dt_checker = checker
Tim Peters19397e52004-08-06 22:02:59 +00002168 self._dt_test = test
2169 self._dt_setUp = setUp
2170 self._dt_tearDown = tearDown
Tim Petersdb3756d2003-06-29 05:30:48 +00002171
Jim Fultona643b652004-07-14 19:06:50 +00002172 def setUp(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002173 test = self._dt_test
Tim Petersdf7a2082004-08-29 00:38:17 +00002174
Tim Peters19397e52004-08-06 22:02:59 +00002175 if self._dt_setUp is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002176 self._dt_setUp(test)
Jim Fultona643b652004-07-14 19:06:50 +00002177
2178 def tearDown(self):
Jim Fultonf54bad42004-08-28 14:57:56 +00002179 test = self._dt_test
2180
Tim Peters19397e52004-08-06 22:02:59 +00002181 if self._dt_tearDown is not None:
Jim Fultonf54bad42004-08-28 14:57:56 +00002182 self._dt_tearDown(test)
2183
2184 test.globs.clear()
Jim Fultona643b652004-07-14 19:06:50 +00002185
2186 def runTest(self):
Tim Peters19397e52004-08-06 22:02:59 +00002187 test = self._dt_test
Jim Fultona643b652004-07-14 19:06:50 +00002188 old = sys.stdout
2189 new = StringIO()
Jim Fultonf54bad42004-08-28 14:57:56 +00002190 optionflags = self._dt_optionflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002191
Tim Peters38330fe2004-08-30 16:19:24 +00002192 if not (optionflags & REPORTING_FLAGS):
Jim Fultonf54bad42004-08-28 14:57:56 +00002193 # The option flags don't include any reporting flags,
2194 # so add the default reporting flags
2195 optionflags |= _unittest_reportflags
Tim Petersdf7a2082004-08-29 00:38:17 +00002196
Jim Fultonf54bad42004-08-28 14:57:56 +00002197 runner = DocTestRunner(optionflags=optionflags,
Edward Loper34fcb142004-08-09 02:45:41 +00002198 checker=self._dt_checker, verbose=False)
Tim Peters19397e52004-08-06 22:02:59 +00002199
Jim Fultona643b652004-07-14 19:06:50 +00002200 try:
Tim Peters19397e52004-08-06 22:02:59 +00002201 runner.DIVIDER = "-"*70
Jim Fultonf54bad42004-08-28 14:57:56 +00002202 failures, tries = runner.run(
2203 test, out=new.write, clear_globs=False)
Jim Fultona643b652004-07-14 19:06:50 +00002204 finally:
2205 sys.stdout = old
2206
2207 if failures:
Tim Peters19397e52004-08-06 22:02:59 +00002208 raise self.failureException(self.format_failure(new.getvalue()))
Tim Peters8485b562004-08-04 18:46:34 +00002209
Tim Peters19397e52004-08-06 22:02:59 +00002210 def format_failure(self, err):
2211 test = self._dt_test
2212 if test.lineno is None:
2213 lineno = 'unknown line number'
2214 else:
Jim Fulton07a349c2004-08-22 14:10:00 +00002215 lineno = '%s' % test.lineno
Tim Peters19397e52004-08-06 22:02:59 +00002216 lname = '.'.join(test.name.split('.')[-1:])
2217 return ('Failed doctest test for %s\n'
2218 ' File "%s", line %s, in %s\n\n%s'
2219 % (test.name, test.filename, lineno, lname, err)
2220 )
2221
2222 def debug(self):
2223 r"""Run the test case without results and without catching exceptions
2224
2225 The unit test framework includes a debug method on test cases
2226 and test suites to support post-mortem debugging. The test code
2227 is run in such a way that errors are not caught. This way a
2228 caller can catch the errors and initiate post-mortem debugging.
2229
2230 The DocTestCase provides a debug method that raises
Ezio Melotti13925002011-03-16 11:05:33 +02002231 UnexpectedException errors if there is an unexpected
Tim Peters19397e52004-08-06 22:02:59 +00002232 exception:
2233
Edward Lopera1ef6112004-08-09 16:14:41 +00002234 >>> test = DocTestParser().get_doctest('>>> raise KeyError\n42',
Tim Peters19397e52004-08-06 22:02:59 +00002235 ... {}, 'foo', 'foo.py', 0)
2236 >>> case = DocTestCase(test)
2237 >>> try:
2238 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002239 ... except UnexpectedException as f:
2240 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002241
2242 The UnexpectedException contains the test, the example, and
2243 the original exception:
2244
2245 >>> failure.test is test
2246 True
2247
2248 >>> failure.example.want
2249 '42\n'
2250
2251 >>> exc_info = failure.exc_info
Collin Winter828f04a2007-08-31 00:04:24 +00002252 >>> raise exc_info[1] # Already has the traceback
Tim Peters19397e52004-08-06 22:02:59 +00002253 Traceback (most recent call last):
2254 ...
2255 KeyError
2256
2257 If the output doesn't match, then a DocTestFailure is raised:
2258
Edward Lopera1ef6112004-08-09 16:14:41 +00002259 >>> test = DocTestParser().get_doctest('''
Tim Peters19397e52004-08-06 22:02:59 +00002260 ... >>> x = 1
2261 ... >>> x
2262 ... 2
2263 ... ''', {}, 'foo', 'foo.py', 0)
2264 >>> case = DocTestCase(test)
2265
2266 >>> try:
2267 ... case.debug()
Guido van Rossumb940e112007-01-10 16:19:56 +00002268 ... except DocTestFailure as f:
2269 ... failure = f
Tim Peters19397e52004-08-06 22:02:59 +00002270
2271 DocTestFailure objects provide access to the test:
2272
2273 >>> failure.test is test
2274 True
2275
2276 As well as to the example:
2277
2278 >>> failure.example.want
2279 '2\n'
2280
2281 and the actual output:
2282
2283 >>> failure.got
2284 '1\n'
2285
2286 """
2287
Jim Fultonf54bad42004-08-28 14:57:56 +00002288 self.setUp()
Edward Loper34fcb142004-08-09 02:45:41 +00002289 runner = DebugRunner(optionflags=self._dt_optionflags,
2290 checker=self._dt_checker, verbose=False)
Alexandre Vassalottieca20b62008-05-16 02:54:33 +00002291 runner.run(self._dt_test, clear_globs=False)
Jim Fultonf54bad42004-08-28 14:57:56 +00002292 self.tearDown()
Jim Fultona643b652004-07-14 19:06:50 +00002293
2294 def id(self):
Tim Peters19397e52004-08-06 22:02:59 +00002295 return self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002296
Antoine Pitrou2bc801c2011-12-18 19:27:45 +01002297 def __eq__(self, other):
2298 if type(self) is not type(other):
2299 return NotImplemented
2300
2301 return self._dt_test == other._dt_test and \
2302 self._dt_optionflags == other._dt_optionflags and \
2303 self._dt_setUp == other._dt_setUp and \
2304 self._dt_tearDown == other._dt_tearDown and \
2305 self._dt_checker == other._dt_checker
2306
Antoine Pitrou165b1282011-12-18 20:20:17 +01002307 def __hash__(self):
2308 return hash((self._dt_optionflags, self._dt_setUp, self._dt_tearDown,
2309 self._dt_checker))
2310
Jim Fultona643b652004-07-14 19:06:50 +00002311 def __repr__(self):
Tim Peters19397e52004-08-06 22:02:59 +00002312 name = self._dt_test.name.split('.')
Jim Fultona643b652004-07-14 19:06:50 +00002313 return "%s (%s)" % (name[-1], '.'.join(name[:-1]))
2314
Serhiy Storchaka96aeaec2019-05-06 22:29:40 +03002315 __str__ = object.__str__
Jim Fultona643b652004-07-14 19:06:50 +00002316
2317 def shortDescription(self):
Tim Peters19397e52004-08-06 22:02:59 +00002318 return "Doctest: " + self._dt_test.name
Jim Fultona643b652004-07-14 19:06:50 +00002319
R. David Murray378c0cf2010-02-24 01:46:21 +00002320class SkipDocTestCase(DocTestCase):
R David Murraye1121532012-03-21 14:53:42 -04002321 def __init__(self, module):
2322 self.module = module
R. David Murray378c0cf2010-02-24 01:46:21 +00002323 DocTestCase.__init__(self, None)
2324
2325 def setUp(self):
2326 self.skipTest("DocTestSuite will not work with -O2 and above")
2327
2328 def test_skip(self):
2329 pass
2330
2331 def shortDescription(self):
R David Murraye1121532012-03-21 14:53:42 -04002332 return "Skipping tests from %s" % self.module.__name__
2333
2334 __str__ = shortDescription
2335
R. David Murray378c0cf2010-02-24 01:46:21 +00002336
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002337class _DocTestSuite(unittest.TestSuite):
2338
2339 def _removeTestAtIndex(self, index):
2340 pass
2341
2342
Jim Fultonf54bad42004-08-28 14:57:56 +00002343def DocTestSuite(module=None, globs=None, extraglobs=None, test_finder=None,
2344 **options):
Tim Peters8485b562004-08-04 18:46:34 +00002345 """
Tim Peters75dc5e12004-08-22 17:50:45 +00002346 Convert doctest tests for a module to a unittest test suite.
Jim Fultona643b652004-07-14 19:06:50 +00002347
Tim Peters19397e52004-08-06 22:02:59 +00002348 This converts each documentation string in a module that
2349 contains doctest tests to a unittest test case. If any of the
2350 tests in a doc string fail, then the test case fails. An exception
2351 is raised showing the name of the file containing the test and a
Jim Fultona643b652004-07-14 19:06:50 +00002352 (sometimes approximate) line number.
2353
Tim Peters19397e52004-08-06 22:02:59 +00002354 The `module` argument provides the module to be tested. The argument
Jim Fultona643b652004-07-14 19:06:50 +00002355 can be either a module or a module name.
2356
2357 If no argument is given, the calling module is used.
Jim Fultonf54bad42004-08-28 14:57:56 +00002358
2359 A number of options may be provided as keyword arguments:
2360
Jim Fultonf54bad42004-08-28 14:57:56 +00002361 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002362 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002363 tests in each file. The setUp function will be passed a DocTest
2364 object. The setUp function can access the test globals as the
2365 globs attribute of the test passed.
2366
2367 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002368 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002369 tests in each file. The tearDown function will be passed a DocTest
2370 object. The tearDown function can access the test globals as the
2371 globs attribute of the test passed.
2372
2373 globs
2374 A dictionary containing initial global variables for the tests.
2375
2376 optionflags
2377 A set of doctest option flags expressed as an integer.
Jim Fultona643b652004-07-14 19:06:50 +00002378 """
Jim Fultona643b652004-07-14 19:06:50 +00002379
Tim Peters8485b562004-08-04 18:46:34 +00002380 if test_finder is None:
2381 test_finder = DocTestFinder()
Tim Peters8485b562004-08-04 18:46:34 +00002382
Tim Peters19397e52004-08-06 22:02:59 +00002383 module = _normalize_module(module)
2384 tests = test_finder.find(module, globs=globs, extraglobs=extraglobs)
R. David Murray378c0cf2010-02-24 01:46:21 +00002385
2386 if not tests and sys.flags.optimize >=2:
2387 # Skip doctests when running with -O2
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002388 suite = _DocTestSuite()
R David Murraye1121532012-03-21 14:53:42 -04002389 suite.addTest(SkipDocTestCase(module))
R. David Murray378c0cf2010-02-24 01:46:21 +00002390 return suite
Tim Petersdb3756d2003-06-29 05:30:48 +00002391
2392 tests.sort()
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002393 suite = _DocTestSuite()
R. David Murray378c0cf2010-02-24 01:46:21 +00002394
Tim Peters8485b562004-08-04 18:46:34 +00002395 for test in tests:
Tim Peters19397e52004-08-06 22:02:59 +00002396 if len(test.examples) == 0:
2397 continue
Tim Peters8485b562004-08-04 18:46:34 +00002398 if not test.filename:
Tim Petersdb3756d2003-06-29 05:30:48 +00002399 filename = module.__file__
Brett Cannonf299abd2015-04-13 14:21:02 -04002400 if filename[-4:] == ".pyc":
Tim Petersdb3756d2003-06-29 05:30:48 +00002401 filename = filename[:-1]
Tim Peters8485b562004-08-04 18:46:34 +00002402 test.filename = filename
Jim Fultonf54bad42004-08-28 14:57:56 +00002403 suite.addTest(DocTestCase(test, **options))
Tim Peters19397e52004-08-06 22:02:59 +00002404
2405 return suite
2406
2407class DocFileCase(DocTestCase):
2408
2409 def id(self):
2410 return '_'.join(self._dt_test.name.split('.'))
2411
2412 def __repr__(self):
2413 return self._dt_test.filename
Tim Peters19397e52004-08-06 22:02:59 +00002414
2415 def format_failure(self, err):
2416 return ('Failed doctest test for %s\n File "%s", line 0\n\n%s'
2417 % (self._dt_test.name, self._dt_test.filename, err)
2418 )
2419
Edward Loper052d0cd2004-09-19 17:19:33 +00002420def DocFileTest(path, module_relative=True, package=None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002421 globs=None, parser=DocTestParser(),
2422 encoding=None, **options):
Tim Peters19397e52004-08-06 22:02:59 +00002423 if globs is None:
2424 globs = {}
Fred Drake7c404a42004-12-21 23:46:34 +00002425 else:
2426 globs = globs.copy()
Tim Peters19397e52004-08-06 22:02:59 +00002427
Edward Loper052d0cd2004-09-19 17:19:33 +00002428 if package and not module_relative:
2429 raise ValueError("Package may only be specified for module-"
2430 "relative paths.")
Tim Petersbab3e992004-09-20 19:52:34 +00002431
Edward Loper052d0cd2004-09-19 17:19:33 +00002432 # Relativize the path.
Guido van Rossum1b81e7b2007-08-29 03:53:53 +00002433 doc, path = _load_testfile(path, package, module_relative,
2434 encoding or "utf-8")
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002435
Fred Drake7c404a42004-12-21 23:46:34 +00002436 if "__file__" not in globs:
2437 globs["__file__"] = path
Tim Peters19397e52004-08-06 22:02:59 +00002438
Edward Loper052d0cd2004-09-19 17:19:33 +00002439 # Find the file and read it.
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002440 name = os.path.basename(path)
Edward Loper052d0cd2004-09-19 17:19:33 +00002441
2442 # Convert it to a test, and wrap it in a DocFileCase.
Edward Loper498a1862004-09-27 03:42:58 +00002443 test = parser.get_doctest(doc, globs, name, path, 0)
Jim Fultonf54bad42004-08-28 14:57:56 +00002444 return DocFileCase(test, **options)
Tim Peters19397e52004-08-06 22:02:59 +00002445
2446def DocFileSuite(*paths, **kw):
Edward Loper052d0cd2004-09-19 17:19:33 +00002447 """A unittest suite for one or more doctest files.
Tim Petersbab3e992004-09-20 19:52:34 +00002448
Edward Loper052d0cd2004-09-19 17:19:33 +00002449 The path to each doctest file is given as a string; the
2450 interpretation of that string depends on the keyword argument
2451 "module_relative".
Tim Peters19397e52004-08-06 22:02:59 +00002452
2453 A number of options may be provided as keyword arguments:
2454
Edward Loper052d0cd2004-09-19 17:19:33 +00002455 module_relative
2456 If "module_relative" is True, then the given file paths are
2457 interpreted as os-independent module-relative paths. By
2458 default, these paths are relative to the calling module's
2459 directory; but if the "package" argument is specified, then
2460 they are relative to that package. To ensure os-independence,
2461 "filename" should use "/" characters to separate path
2462 segments, and may not be an absolute path (i.e., it may not
2463 begin with "/").
Tim Petersbab3e992004-09-20 19:52:34 +00002464
Edward Loper052d0cd2004-09-19 17:19:33 +00002465 If "module_relative" is False, then the given file paths are
2466 interpreted as os-specific paths. These paths may be absolute
2467 or relative (to the current working directory).
2468
Tim Peters19397e52004-08-06 22:02:59 +00002469 package
Edward Loper052d0cd2004-09-19 17:19:33 +00002470 A Python package or the name of a Python package whose directory
2471 should be used as the base directory for module relative paths.
2472 If "package" is not specified, then the calling module's
2473 directory is used as the base directory for module relative
2474 filenames. It is an error to specify "package" if
2475 "module_relative" is False.
Tim Peters19397e52004-08-06 22:02:59 +00002476
2477 setUp
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002478 A set-up function. This is called before running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002479 tests in each file. The setUp function will be passed a DocTest
2480 object. The setUp function can access the test globals as the
2481 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002482
2483 tearDown
Edward Lopera2fc7ec2004-09-21 03:24:24 +00002484 A tear-down function. This is called after running the
Jim Fultonf54bad42004-08-28 14:57:56 +00002485 tests in each file. The tearDown function will be passed a DocTest
2486 object. The tearDown function can access the test globals as the
2487 globs attribute of the test passed.
Tim Peters19397e52004-08-06 22:02:59 +00002488
2489 globs
2490 A dictionary containing initial global variables for the tests.
Jim Fultonf54bad42004-08-28 14:57:56 +00002491
2492 optionflags
Edward Loper498a1862004-09-27 03:42:58 +00002493 A set of doctest option flags expressed as an integer.
2494
2495 parser
2496 A DocTestParser (or subclass) that should be used to extract
2497 tests from the files.
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002498
2499 encoding
2500 An encoding that will be used to convert the files to unicode.
Tim Peters19397e52004-08-06 22:02:59 +00002501 """
Andrew Svetlov7c1017b2013-08-29 01:24:39 +03002502 suite = _DocTestSuite()
Tim Peters19397e52004-08-06 22:02:59 +00002503
2504 # We do this here so that _normalize_module is called at the right
2505 # level. If it were called in DocFileTest, then this function
2506 # would be the caller and we might guess the package incorrectly.
Edward Loper052d0cd2004-09-19 17:19:33 +00002507 if kw.get('module_relative', True):
2508 kw['package'] = _normalize_module(kw.get('package'))
Tim Peters19397e52004-08-06 22:02:59 +00002509
2510 for path in paths:
2511 suite.addTest(DocFileTest(path, **kw))
Jim Fultona643b652004-07-14 19:06:50 +00002512
Tim Petersdb3756d2003-06-29 05:30:48 +00002513 return suite
2514
Tim Peters8485b562004-08-04 18:46:34 +00002515######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002516## 8. Debugging Support
Tim Peters8485b562004-08-04 18:46:34 +00002517######################################################################
Jim Fultona643b652004-07-14 19:06:50 +00002518
Tim Peters19397e52004-08-06 22:02:59 +00002519def script_from_examples(s):
2520 r"""Extract script from text with examples.
2521
2522 Converts text with examples to a Python script. Example input is
2523 converted to regular code. Example output and all other words
2524 are converted to comments:
2525
2526 >>> text = '''
2527 ... Here are examples of simple math.
2528 ...
2529 ... Python has super accurate integer addition
2530 ...
2531 ... >>> 2 + 2
2532 ... 5
2533 ...
2534 ... And very friendly error messages:
2535 ...
2536 ... >>> 1/0
2537 ... To Infinity
2538 ... And
2539 ... Beyond
2540 ...
2541 ... You can use logic if you want:
2542 ...
2543 ... >>> if 0:
2544 ... ... blah
2545 ... ... blah
2546 ... ...
2547 ...
2548 ... Ho hum
2549 ... '''
2550
Guido van Rossum7131f842007-02-09 20:13:25 +00002551 >>> print(script_from_examples(text))
Edward Lopera5db6002004-08-12 02:41:30 +00002552 # Here are examples of simple math.
Tim Peters19397e52004-08-06 22:02:59 +00002553 #
Edward Lopera5db6002004-08-12 02:41:30 +00002554 # Python has super accurate integer addition
Tim Peters19397e52004-08-06 22:02:59 +00002555 #
2556 2 + 2
2557 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002558 ## 5
Tim Peters19397e52004-08-06 22:02:59 +00002559 #
Edward Lopera5db6002004-08-12 02:41:30 +00002560 # And very friendly error messages:
Tim Peters19397e52004-08-06 22:02:59 +00002561 #
2562 1/0
2563 # Expected:
Edward Lopera5db6002004-08-12 02:41:30 +00002564 ## To Infinity
2565 ## And
2566 ## Beyond
Tim Peters19397e52004-08-06 22:02:59 +00002567 #
Edward Lopera5db6002004-08-12 02:41:30 +00002568 # You can use logic if you want:
Tim Peters19397e52004-08-06 22:02:59 +00002569 #
2570 if 0:
2571 blah
2572 blah
Tim Peters19397e52004-08-06 22:02:59 +00002573 #
Edward Lopera5db6002004-08-12 02:41:30 +00002574 # Ho hum
Georg Brandlecf93c72005-06-26 23:09:51 +00002575 <BLANKLINE>
Tim Peters19397e52004-08-06 22:02:59 +00002576 """
Edward Loper00f8da72004-08-26 18:05:07 +00002577 output = []
2578 for piece in DocTestParser().parse(s):
2579 if isinstance(piece, Example):
2580 # Add the example's source code (strip trailing NL)
2581 output.append(piece.source[:-1])
2582 # Add the expected output:
2583 want = piece.want
2584 if want:
2585 output.append('# Expected:')
2586 output += ['## '+l for l in want.split('\n')[:-1]]
2587 else:
2588 # Add non-example text.
2589 output += [_comment_line(l)
2590 for l in piece.split('\n')[:-1]]
Tim Peters19397e52004-08-06 22:02:59 +00002591
Edward Loper00f8da72004-08-26 18:05:07 +00002592 # Trim junk on both ends.
2593 while output and output[-1] == '#':
2594 output.pop()
2595 while output and output[0] == '#':
2596 output.pop(0)
2597 # Combine the output, and return it.
Georg Brandl1f149642005-06-26 22:22:31 +00002598 # Add a courtesy newline to prevent exec from choking (see bug #1172785)
2599 return '\n'.join(output) + '\n'
Tim Petersdb3756d2003-06-29 05:30:48 +00002600
2601def testsource(module, name):
Tim Peters19397e52004-08-06 22:02:59 +00002602 """Extract the test sources from a doctest docstring as a script.
Tim Petersdb3756d2003-06-29 05:30:48 +00002603
2604 Provide the module (or dotted name of the module) containing the
Jim Fultona643b652004-07-14 19:06:50 +00002605 test to be debugged and the name (within the module) of the object
2606 with the doc string with tests to be debugged.
Tim Petersdb3756d2003-06-29 05:30:48 +00002607 """
Tim Peters8485b562004-08-04 18:46:34 +00002608 module = _normalize_module(module)
2609 tests = DocTestFinder().find(module)
2610 test = [t for t in tests if t.name == name]
Tim Petersdb3756d2003-06-29 05:30:48 +00002611 if not test:
2612 raise ValueError(name, "not found in tests")
2613 test = test[0]
Tim Peters19397e52004-08-06 22:02:59 +00002614 testsrc = script_from_examples(test.docstring)
Jim Fultona643b652004-07-14 19:06:50 +00002615 return testsrc
Tim Petersdb3756d2003-06-29 05:30:48 +00002616
Jim Fultona643b652004-07-14 19:06:50 +00002617def debug_src(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002618 """Debug a single doctest docstring, in argument `src`'"""
2619 testsrc = script_from_examples(src)
Tim Peters8485b562004-08-04 18:46:34 +00002620 debug_script(testsrc, pm, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002621
Jim Fultona643b652004-07-14 19:06:50 +00002622def debug_script(src, pm=False, globs=None):
Tim Peters19397e52004-08-06 22:02:59 +00002623 "Debug a test script. `src` is the script, as a string."
Tim Petersdb3756d2003-06-29 05:30:48 +00002624 import pdb
Tim Petersdb3756d2003-06-29 05:30:48 +00002625
Victor Stinner12b8d142011-06-30 17:35:55 +02002626 if globs:
2627 globs = globs.copy()
2628 else:
2629 globs = {}
Tim Peters8485b562004-08-04 18:46:34 +00002630
Victor Stinner12b8d142011-06-30 17:35:55 +02002631 if pm:
2632 try:
2633 exec(src, globs, globs)
2634 except:
2635 print(sys.exc_info()[1])
2636 p = pdb.Pdb(nosigint=True)
2637 p.reset()
2638 p.interaction(None, sys.exc_info()[2])
2639 else:
2640 pdb.Pdb(nosigint=True).run("exec(%r)" % src, globs, globs)
Tim Petersdb3756d2003-06-29 05:30:48 +00002641
Jim Fultona643b652004-07-14 19:06:50 +00002642def debug(module, name, pm=False):
Tim Peters19397e52004-08-06 22:02:59 +00002643 """Debug a single doctest docstring.
Jim Fultona643b652004-07-14 19:06:50 +00002644
2645 Provide the module (or dotted name of the module) containing the
2646 test to be debugged and the name (within the module) of the object
Tim Peters19397e52004-08-06 22:02:59 +00002647 with the docstring with tests to be debugged.
Jim Fultona643b652004-07-14 19:06:50 +00002648 """
Tim Peters8485b562004-08-04 18:46:34 +00002649 module = _normalize_module(module)
Jim Fultona643b652004-07-14 19:06:50 +00002650 testsrc = testsource(module, name)
2651 debug_script(testsrc, pm, module.__dict__)
2652
Tim Peters8485b562004-08-04 18:46:34 +00002653######################################################################
Georg Brandl31835852008-05-12 17:38:56 +00002654## 9. Example Usage
Tim Peters8485b562004-08-04 18:46:34 +00002655######################################################################
Tim Peters8a7d2d52001-01-16 07:10:57 +00002656class _TestClass:
2657 """
2658 A pointless class, for sanity-checking of docstring testing.
2659
2660 Methods:
2661 square()
2662 get()
2663
2664 >>> _TestClass(13).get() + _TestClass(-12).get()
2665 1
2666 >>> hex(_TestClass(13).square().get())
2667 '0xa9'
2668 """
2669
2670 def __init__(self, val):
2671 """val -> _TestClass object with associated value val.
2672
2673 >>> t = _TestClass(123)
Guido van Rossum7131f842007-02-09 20:13:25 +00002674 >>> print(t.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002675 123
2676 """
2677
2678 self.val = val
2679
2680 def square(self):
2681 """square() -> square TestClass's associated value
2682
2683 >>> _TestClass(13).square().get()
2684 169
2685 """
2686
2687 self.val = self.val ** 2
2688 return self
2689
2690 def get(self):
2691 """get() -> return TestClass's associated value.
2692
2693 >>> x = _TestClass(-42)
Guido van Rossum7131f842007-02-09 20:13:25 +00002694 >>> print(x.get())
Tim Peters8a7d2d52001-01-16 07:10:57 +00002695 -42
2696 """
2697
2698 return self.val
2699
2700__test__ = {"_TestClass": _TestClass,
2701 "string": r"""
2702 Example of a string object, searched as-is.
2703 >>> x = 1; y = 2
2704 >>> x + y, x * y
2705 (3, 2)
Tim Peters6ebe61f2003-06-27 20:48:05 +00002706 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002707
Tim Peters6ebe61f2003-06-27 20:48:05 +00002708 "bool-int equivalence": r"""
2709 In 2.2, boolean expressions displayed
2710 0 or 1. By default, we still accept
2711 them. This can be disabled by passing
2712 DONT_ACCEPT_TRUE_FOR_1 to the new
2713 optionflags argument.
2714 >>> 4 == 4
2715 1
2716 >>> 4 == 4
2717 True
2718 >>> 4 > 4
2719 0
2720 >>> 4 > 4
2721 False
2722 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002723
Tim Peters8485b562004-08-04 18:46:34 +00002724 "blank lines": r"""
Tim Peters3fa8c202004-08-23 21:43:39 +00002725 Blank lines can be marked with <BLANKLINE>:
Guido van Rossum7131f842007-02-09 20:13:25 +00002726 >>> print('foo\n\nbar\n')
Tim Peters3fa8c202004-08-23 21:43:39 +00002727 foo
2728 <BLANKLINE>
2729 bar
2730 <BLANKLINE>
Tim Peters8485b562004-08-04 18:46:34 +00002731 """,
Tim Peters3fa8c202004-08-23 21:43:39 +00002732
2733 "ellipsis": r"""
2734 If the ellipsis flag is used, then '...' can be used to
2735 elide substrings in the desired output:
Guido van Rossum805365e2007-05-07 22:24:25 +00002736 >>> print(list(range(1000))) #doctest: +ELLIPSIS
Tim Peters3fa8c202004-08-23 21:43:39 +00002737 [0, 1, 2, ..., 999]
2738 """,
2739
2740 "whitespace normalization": r"""
2741 If the whitespace normalization flag is used, then
2742 differences in whitespace are ignored.
Guido van Rossum805365e2007-05-07 22:24:25 +00002743 >>> print(list(range(30))) #doctest: +NORMALIZE_WHITESPACE
Tim Peters3fa8c202004-08-23 21:43:39 +00002744 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
2745 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
2746 27, 28, 29]
2747 """,
2748 }
Tim Peters8485b562004-08-04 18:46:34 +00002749
R. David Murray445448c2009-12-20 17:28:31 +00002750
Tim Peters8a7d2d52001-01-16 07:10:57 +00002751def _test():
Serhiy Storchaka7e4db2f2017-05-04 08:17:47 +03002752 import argparse
2753
R David Murray5707d502013-06-23 14:24:13 -04002754 parser = argparse.ArgumentParser(description="doctest runner")
2755 parser.add_argument('-v', '--verbose', action='store_true', default=False,
2756 help='print very verbose output for all tests')
2757 parser.add_argument('-o', '--option', action='append',
2758 choices=OPTIONFLAGS_BY_NAME.keys(), default=[],
2759 help=('specify a doctest option flag to apply'
2760 ' to the test run; may be specified more'
2761 ' than once to apply multiple options'))
2762 parser.add_argument('-f', '--fail-fast', action='store_true',
2763 help=('stop running tests after first failure (this'
2764 ' is a shorthand for -o FAIL_FAST, and is'
2765 ' in addition to any other -o options)'))
2766 parser.add_argument('file', nargs='+',
2767 help='file containing the tests to run')
2768 args = parser.parse_args()
2769 testfiles = args.file
2770 # Verbose used to be handled by the "inspect argv" magic in DocTestRunner,
2771 # but since we are using argparse we are passing it manually now.
2772 verbose = args.verbose
2773 options = 0
2774 for option in args.option:
2775 options |= OPTIONFLAGS_BY_NAME[option]
2776 if args.fail_fast:
2777 options |= FAIL_FAST
R. David Murray445448c2009-12-20 17:28:31 +00002778 for filename in testfiles:
2779 if filename.endswith(".py"):
2780 # It is a module -- insert its dir into sys.path and try to
2781 # import it. If it is part of a package, that possibly
2782 # won't work because of package imports.
2783 dirname, filename = os.path.split(filename)
2784 sys.path.insert(0, dirname)
2785 m = __import__(filename[:-3])
2786 del sys.path[0]
R David Murray5707d502013-06-23 14:24:13 -04002787 failures, _ = testmod(m, verbose=verbose, optionflags=options)
R. David Murray445448c2009-12-20 17:28:31 +00002788 else:
R David Murray5707d502013-06-23 14:24:13 -04002789 failures, _ = testfile(filename, module_relative=False,
2790 verbose=verbose, optionflags=options)
R. David Murray445448c2009-12-20 17:28:31 +00002791 if failures:
2792 return 1
Christian Heimes895627f2007-12-08 17:28:33 +00002793 return 0
Tim Peters8a7d2d52001-01-16 07:10:57 +00002794
R. David Murray445448c2009-12-20 17:28:31 +00002795
Tim Peters8a7d2d52001-01-16 07:10:57 +00002796if __name__ == "__main__":
Christian Heimes895627f2007-12-08 17:28:33 +00002797 sys.exit(_test())