blob: 23e559cabc2d105fec2513e2d39f07ca33613e94 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001:mod:`inspect` --- Inspect live objects
2=======================================
3
4.. module:: inspect
5 :synopsis: Extract information and source code from live objects.
6.. moduleauthor:: Ka-Ping Yee <ping@lfw.org>
7.. sectionauthor:: Ka-Ping Yee <ping@lfw.org>
8
Raymond Hettinger469271d2011-01-27 20:38:46 +00009**Source code:** :source:`Lib/inspect.py`
10
11--------------
Georg Brandl116aa622007-08-15 14:28:22 +000012
Georg Brandl116aa622007-08-15 14:28:22 +000013The :mod:`inspect` module provides several useful functions to help get
14information about live objects such as modules, classes, methods, functions,
15tracebacks, frame objects, and code objects. For example, it can help you
16examine the contents of a class, retrieve the source code of a method, extract
17and format the argument list for a function, or get all the information you need
18to display a detailed traceback.
19
20There are four main kinds of services provided by this module: type checking,
21getting source code, inspecting classes and functions, and examining the
22interpreter stack.
23
24
25.. _inspect-types:
26
27Types and members
28-----------------
29
30The :func:`getmembers` function retrieves the members of an object such as a
Yury Selivanov59a3b672015-06-30 22:06:42 -040031class or module. The functions whose names begin with "is" are mainly
Georg Brandl116aa622007-08-15 14:28:22 +000032provided as convenient choices for the second argument to :func:`getmembers`.
33They also help you determine when you can expect to find the following special
34attributes:
35
Georg Brandl55ac8f02007-09-01 13:51:09 +000036+-----------+-----------------+---------------------------+
37| Type | Attribute | Description |
38+===========+=================+===========================+
39| module | __doc__ | documentation string |
40+-----------+-----------------+---------------------------+
41| | __file__ | filename (missing for |
42| | | built-in modules) |
43+-----------+-----------------+---------------------------+
44| class | __doc__ | documentation string |
45+-----------+-----------------+---------------------------+
Yury Selivanov03395682015-05-30 13:53:49 -040046| | __name__ | name with which this |
47| | | class was defined |
48+-----------+-----------------+---------------------------+
49| | __qualname__ | qualified name |
50+-----------+-----------------+---------------------------+
Georg Brandl55ac8f02007-09-01 13:51:09 +000051| | __module__ | name of module in which |
52| | | this class was defined |
53+-----------+-----------------+---------------------------+
54| method | __doc__ | documentation string |
55+-----------+-----------------+---------------------------+
56| | __name__ | name with which this |
57| | | method was defined |
58+-----------+-----------------+---------------------------+
Yury Selivanov03395682015-05-30 13:53:49 -040059| | __qualname__ | qualified name |
60+-----------+-----------------+---------------------------+
Christian Heimesff737952007-11-27 10:40:20 +000061| | __func__ | function object |
Georg Brandl55ac8f02007-09-01 13:51:09 +000062| | | containing implementation |
63| | | of method |
64+-----------+-----------------+---------------------------+
Christian Heimesff737952007-11-27 10:40:20 +000065| | __self__ | instance to which this |
Georg Brandl55ac8f02007-09-01 13:51:09 +000066| | | method is bound, or |
67| | | ``None`` |
68+-----------+-----------------+---------------------------+
69| function | __doc__ | documentation string |
70+-----------+-----------------+---------------------------+
71| | __name__ | name with which this |
72| | | function was defined |
73+-----------+-----------------+---------------------------+
Yury Selivanov03395682015-05-30 13:53:49 -040074| | __qualname__ | qualified name |
75+-----------+-----------------+---------------------------+
Georg Brandl55ac8f02007-09-01 13:51:09 +000076| | __code__ | code object containing |
77| | | compiled function |
Georg Brandl9afde1c2007-11-01 20:32:30 +000078| | | :term:`bytecode` |
Georg Brandl55ac8f02007-09-01 13:51:09 +000079+-----------+-----------------+---------------------------+
80| | __defaults__ | tuple of any default |
Yury Selivanovea2d66e2014-01-27 14:26:28 -050081| | | values for positional or |
82| | | keyword parameters |
83+-----------+-----------------+---------------------------+
84| | __kwdefaults__ | mapping of any default |
85| | | values for keyword-only |
86| | | parameters |
Georg Brandl55ac8f02007-09-01 13:51:09 +000087+-----------+-----------------+---------------------------+
88| | __globals__ | global namespace in which |
89| | | this function was defined |
90+-----------+-----------------+---------------------------+
Yury Selivanovc62162d2015-10-31 13:29:15 -040091| | __annotations__ | mapping of parameters |
92| | | names to annotations; |
93| | | ``"return"`` key is |
94| | | reserved for return |
95| | | annotations. |
96+-----------+-----------------+---------------------------+
Georg Brandl55ac8f02007-09-01 13:51:09 +000097| traceback | tb_frame | frame object at this |
98| | | level |
99+-----------+-----------------+---------------------------+
100| | tb_lasti | index of last attempted |
101| | | instruction in bytecode |
102+-----------+-----------------+---------------------------+
103| | tb_lineno | current line number in |
104| | | Python source code |
105+-----------+-----------------+---------------------------+
106| | tb_next | next inner traceback |
107| | | object (called by this |
108| | | level) |
109+-----------+-----------------+---------------------------+
110| frame | f_back | next outer frame object |
111| | | (this frame's caller) |
112+-----------+-----------------+---------------------------+
Georg Brandlc4a55fc2010-02-06 18:46:57 +0000113| | f_builtins | builtins namespace seen |
Georg Brandl55ac8f02007-09-01 13:51:09 +0000114| | | by this frame |
115+-----------+-----------------+---------------------------+
116| | f_code | code object being |
117| | | executed in this frame |
118+-----------+-----------------+---------------------------+
Georg Brandl55ac8f02007-09-01 13:51:09 +0000119| | f_globals | global namespace seen by |
120| | | this frame |
121+-----------+-----------------+---------------------------+
122| | f_lasti | index of last attempted |
123| | | instruction in bytecode |
124+-----------+-----------------+---------------------------+
125| | f_lineno | current line number in |
126| | | Python source code |
127+-----------+-----------------+---------------------------+
128| | f_locals | local namespace seen by |
129| | | this frame |
130+-----------+-----------------+---------------------------+
131| | f_restricted | 0 or 1 if frame is in |
132| | | restricted execution mode |
133+-----------+-----------------+---------------------------+
134| | f_trace | tracing function for this |
135| | | frame, or ``None`` |
136+-----------+-----------------+---------------------------+
137| code | co_argcount | number of arguments (not |
138| | | including \* or \*\* |
139| | | args) |
140+-----------+-----------------+---------------------------+
141| | co_code | string of raw compiled |
142| | | bytecode |
143+-----------+-----------------+---------------------------+
144| | co_consts | tuple of constants used |
145| | | in the bytecode |
146+-----------+-----------------+---------------------------+
147| | co_filename | name of file in which |
148| | | this code object was |
149| | | created |
150+-----------+-----------------+---------------------------+
151| | co_firstlineno | number of first line in |
152| | | Python source code |
153+-----------+-----------------+---------------------------+
154| | co_flags | bitmap: 1=optimized ``|`` |
155| | | 2=newlocals ``|`` 4=\*arg |
156| | | ``|`` 8=\*\*arg |
157+-----------+-----------------+---------------------------+
158| | co_lnotab | encoded mapping of line |
159| | | numbers to bytecode |
160| | | indices |
161+-----------+-----------------+---------------------------+
162| | co_name | name with which this code |
163| | | object was defined |
164+-----------+-----------------+---------------------------+
165| | co_names | tuple of names of local |
166| | | variables |
167+-----------+-----------------+---------------------------+
168| | co_nlocals | number of local variables |
169+-----------+-----------------+---------------------------+
170| | co_stacksize | virtual machine stack |
171| | | space required |
172+-----------+-----------------+---------------------------+
173| | co_varnames | tuple of names of |
174| | | arguments and local |
175| | | variables |
176+-----------+-----------------+---------------------------+
Victor Stinner40ee3012014-06-16 15:59:28 +0200177| generator | __name__ | name |
178+-----------+-----------------+---------------------------+
179| | __qualname__ | qualified name |
180+-----------+-----------------+---------------------------+
181| | gi_frame | frame |
182+-----------+-----------------+---------------------------+
183| | gi_running | is the generator running? |
184+-----------+-----------------+---------------------------+
185| | gi_code | code |
186+-----------+-----------------+---------------------------+
Yury Selivanovc135f0a2015-08-17 13:02:42 -0400187| | gi_yieldfrom | object being iterated by |
188| | | ``yield from``, or |
189| | | ``None`` |
190+-----------+-----------------+---------------------------+
Yury Selivanov5376ba92015-06-22 12:19:30 -0400191| coroutine | __name__ | name |
192+-----------+-----------------+---------------------------+
193| | __qualname__ | qualified name |
194+-----------+-----------------+---------------------------+
Yury Selivanove13f8f32015-07-03 00:23:30 -0400195| | cr_await | object being awaited on, |
196| | | or ``None`` |
197+-----------+-----------------+---------------------------+
Yury Selivanov5376ba92015-06-22 12:19:30 -0400198| | cr_frame | frame |
199+-----------+-----------------+---------------------------+
200| | cr_running | is the coroutine running? |
201+-----------+-----------------+---------------------------+
202| | cr_code | code |
203+-----------+-----------------+---------------------------+
Georg Brandl55ac8f02007-09-01 13:51:09 +0000204| builtin | __doc__ | documentation string |
205+-----------+-----------------+---------------------------+
206| | __name__ | original name of this |
207| | | function or method |
208+-----------+-----------------+---------------------------+
Yury Selivanov03395682015-05-30 13:53:49 -0400209| | __qualname__ | qualified name |
210+-----------+-----------------+---------------------------+
Georg Brandl55ac8f02007-09-01 13:51:09 +0000211| | __self__ | instance to which a |
212| | | method is bound, or |
213| | | ``None`` |
214+-----------+-----------------+---------------------------+
Georg Brandl116aa622007-08-15 14:28:22 +0000215
Victor Stinner40ee3012014-06-16 15:59:28 +0200216.. versionchanged:: 3.5
217
Yury Selivanov5fbad3c2015-08-17 13:04:41 -0400218 Add ``__qualname__`` and ``gi_yieldfrom`` attributes to generators.
219
220 The ``__name__`` attribute of generators is now set from the function
221 name, instead of the code name, and it can now be modified.
Victor Stinner40ee3012014-06-16 15:59:28 +0200222
Georg Brandl116aa622007-08-15 14:28:22 +0000223
224.. function:: getmembers(object[, predicate])
225
226 Return all the members of an object in a list of (name, value) pairs sorted by
227 name. If the optional *predicate* argument is supplied, only members for which
228 the predicate returns a true value are included.
229
Christian Heimes7f044312008-01-06 17:05:40 +0000230 .. note::
231
Ethan Furman63c141c2013-10-18 00:27:39 -0700232 :func:`getmembers` will only return class attributes defined in the
233 metaclass when the argument is a class and those attributes have been
234 listed in the metaclass' custom :meth:`__dir__`.
Christian Heimes7f044312008-01-06 17:05:40 +0000235
Georg Brandl116aa622007-08-15 14:28:22 +0000236
237.. function:: getmoduleinfo(path)
238
Georg Brandlb30f3302011-01-06 09:23:56 +0000239 Returns a :term:`named tuple` ``ModuleInfo(name, suffix, mode, module_type)``
240 of values that describe how Python will interpret the file identified by
241 *path* if it is a module, or ``None`` if it would not be identified as a
242 module. In that tuple, *name* is the name of the module without the name of
243 any enclosing package, *suffix* is the trailing part of the file name (which
244 may not be a dot-delimited extension), *mode* is the :func:`open` mode that
245 would be used (``'r'`` or ``'rb'``), and *module_type* is an integer giving
246 the type of the module. *module_type* will have a value which can be
247 compared to the constants defined in the :mod:`imp` module; see the
248 documentation for that module for more information on module types.
Georg Brandl116aa622007-08-15 14:28:22 +0000249
Brett Cannoncb66eb02012-05-11 12:58:42 -0400250 .. deprecated:: 3.3
251 You may check the file path's suffix against the supported suffixes
252 listed in :mod:`importlib.machinery` to infer the same information.
253
Georg Brandl116aa622007-08-15 14:28:22 +0000254
255.. function:: getmodulename(path)
256
257 Return the name of the module named by the file *path*, without including the
Nick Coghlan76e07702012-07-18 23:14:57 +1000258 names of enclosing packages. The file extension is checked against all of
259 the entries in :func:`importlib.machinery.all_suffixes`. If it matches,
260 the final path component is returned with the extension removed.
261 Otherwise, ``None`` is returned.
262
263 Note that this function *only* returns a meaningful name for actual
264 Python modules - paths that potentially refer to Python packages will
265 still return ``None``.
266
267 .. versionchanged:: 3.3
268 This function is now based directly on :mod:`importlib` rather than the
269 deprecated :func:`getmoduleinfo`.
Georg Brandl116aa622007-08-15 14:28:22 +0000270
271
272.. function:: ismodule(object)
273
274 Return true if the object is a module.
275
276
277.. function:: isclass(object)
278
Georg Brandl39cadc32010-10-15 16:53:24 +0000279 Return true if the object is a class, whether built-in or created in Python
280 code.
Georg Brandl116aa622007-08-15 14:28:22 +0000281
282
283.. function:: ismethod(object)
284
Georg Brandl39cadc32010-10-15 16:53:24 +0000285 Return true if the object is a bound method written in Python.
Georg Brandl116aa622007-08-15 14:28:22 +0000286
287
288.. function:: isfunction(object)
289
Georg Brandl39cadc32010-10-15 16:53:24 +0000290 Return true if the object is a Python function, which includes functions
291 created by a :term:`lambda` expression.
Georg Brandl116aa622007-08-15 14:28:22 +0000292
293
Christian Heimes7131fd92008-02-19 14:21:46 +0000294.. function:: isgeneratorfunction(object)
295
296 Return true if the object is a Python generator function.
297
298
299.. function:: isgenerator(object)
300
301 Return true if the object is a generator.
302
303
Yury Selivanovf3e40fa2015-05-21 11:50:30 -0400304.. function:: iscoroutinefunction(object)
305
Yury Selivanov5376ba92015-06-22 12:19:30 -0400306 Return true if the object is a :term:`coroutine function`
307 (a function defined with an :keyword:`async def` syntax).
Yury Selivanovf3e40fa2015-05-21 11:50:30 -0400308
Yury Selivanovf3e40fa2015-05-21 11:50:30 -0400309 .. versionadded:: 3.5
310
311
312.. function:: iscoroutine(object)
313
Yury Selivanov5376ba92015-06-22 12:19:30 -0400314 Return true if the object is a :term:`coroutine` created by an
315 :keyword:`async def` function.
Yury Selivanovf3e40fa2015-05-21 11:50:30 -0400316
317 .. versionadded:: 3.5
318
319
Yury Selivanovfdbeb2b2015-07-03 13:11:35 -0400320.. function:: isawaitable(object)
321
322 Return true if the object can be used in :keyword:`await` expression.
323
324 Can also be used to distinguish generator-based coroutines from regular
325 generators::
326
327 def gen():
328 yield
329 @types.coroutine
330 def gen_coro():
331 yield
332
333 assert not isawaitable(gen())
334 assert isawaitable(gen_coro())
335
336 .. versionadded:: 3.5
337
338
Georg Brandl116aa622007-08-15 14:28:22 +0000339.. function:: istraceback(object)
340
341 Return true if the object is a traceback.
342
343
344.. function:: isframe(object)
345
346 Return true if the object is a frame.
347
348
349.. function:: iscode(object)
350
351 Return true if the object is a code.
352
353
354.. function:: isbuiltin(object)
355
Georg Brandl39cadc32010-10-15 16:53:24 +0000356 Return true if the object is a built-in function or a bound built-in method.
Georg Brandl116aa622007-08-15 14:28:22 +0000357
358
359.. function:: isroutine(object)
360
361 Return true if the object is a user-defined or built-in function or method.
362
Georg Brandl39cadc32010-10-15 16:53:24 +0000363
Christian Heimesbe5b30b2008-03-03 19:18:51 +0000364.. function:: isabstract(object)
365
366 Return true if the object is an abstract base class.
367
Georg Brandl116aa622007-08-15 14:28:22 +0000368
369.. function:: ismethoddescriptor(object)
370
Georg Brandl39cadc32010-10-15 16:53:24 +0000371 Return true if the object is a method descriptor, but not if
372 :func:`ismethod`, :func:`isclass`, :func:`isfunction` or :func:`isbuiltin`
373 are true.
Georg Brandl116aa622007-08-15 14:28:22 +0000374
Georg Brandle6bcc912008-05-12 18:05:20 +0000375 This, for example, is true of ``int.__add__``. An object passing this test
376 has a :attr:`__get__` attribute but not a :attr:`__set__` attribute, but
377 beyond that the set of attributes varies. :attr:`__name__` is usually
378 sensible, and :attr:`__doc__` often is.
Georg Brandl116aa622007-08-15 14:28:22 +0000379
Georg Brandl9afde1c2007-11-01 20:32:30 +0000380 Methods implemented via descriptors that also pass one of the other tests
381 return false from the :func:`ismethoddescriptor` test, simply because the
382 other tests promise more -- you can, e.g., count on having the
Christian Heimesff737952007-11-27 10:40:20 +0000383 :attr:`__func__` attribute (etc) when an object passes :func:`ismethod`.
Georg Brandl116aa622007-08-15 14:28:22 +0000384
385
386.. function:: isdatadescriptor(object)
387
388 Return true if the object is a data descriptor.
389
Georg Brandl9afde1c2007-11-01 20:32:30 +0000390 Data descriptors have both a :attr:`__get__` and a :attr:`__set__` attribute.
391 Examples are properties (defined in Python), getsets, and members. The
392 latter two are defined in C and there are more specific tests available for
393 those types, which is robust across Python implementations. Typically, data
394 descriptors will also have :attr:`__name__` and :attr:`__doc__` attributes
395 (properties, getsets, and members have both of these attributes), but this is
396 not guaranteed.
Georg Brandl116aa622007-08-15 14:28:22 +0000397
Georg Brandl116aa622007-08-15 14:28:22 +0000398
399.. function:: isgetsetdescriptor(object)
400
401 Return true if the object is a getset descriptor.
402
Georg Brandl495f7b52009-10-27 15:28:25 +0000403 .. impl-detail::
404
405 getsets are attributes defined in extension modules via
Georg Brandl60203b42010-10-06 10:11:56 +0000406 :c:type:`PyGetSetDef` structures. For Python implementations without such
Georg Brandl495f7b52009-10-27 15:28:25 +0000407 types, this method will always return ``False``.
Georg Brandl116aa622007-08-15 14:28:22 +0000408
Georg Brandl116aa622007-08-15 14:28:22 +0000409
410.. function:: ismemberdescriptor(object)
411
412 Return true if the object is a member descriptor.
413
Georg Brandl495f7b52009-10-27 15:28:25 +0000414 .. impl-detail::
415
416 Member descriptors are attributes defined in extension modules via
Georg Brandl60203b42010-10-06 10:11:56 +0000417 :c:type:`PyMemberDef` structures. For Python implementations without such
Georg Brandl495f7b52009-10-27 15:28:25 +0000418 types, this method will always return ``False``.
Georg Brandl116aa622007-08-15 14:28:22 +0000419
Georg Brandl116aa622007-08-15 14:28:22 +0000420
421.. _inspect-source:
422
423Retrieving source code
424----------------------
425
Georg Brandl116aa622007-08-15 14:28:22 +0000426.. function:: getdoc(object)
427
Georg Brandl0c77a822008-06-10 16:37:50 +0000428 Get the documentation string for an object, cleaned up with :func:`cleandoc`.
Serhiy Storchaka5cf2b7252015-04-03 22:38:53 +0300429 If the documentation string for an object is not provided and the object is
430 a class, a method, a property or a descriptor, retrieve the documentation
431 string from the inheritance hierarchy.
Georg Brandl116aa622007-08-15 14:28:22 +0000432
Berker Peksag4333d8b2015-07-30 18:06:09 +0300433 .. versionchanged:: 3.5
434 Documentation strings are now inherited if not overridden.
435
Georg Brandl116aa622007-08-15 14:28:22 +0000436
437.. function:: getcomments(object)
438
439 Return in a single string any lines of comments immediately preceding the
440 object's source code (for a class, function, or method), or at the top of the
441 Python source file (if the object is a module).
442
443
444.. function:: getfile(object)
445
446 Return the name of the (text or binary) file in which an object was defined.
447 This will fail with a :exc:`TypeError` if the object is a built-in module,
448 class, or function.
449
450
451.. function:: getmodule(object)
452
453 Try to guess which module an object was defined in.
454
455
456.. function:: getsourcefile(object)
457
458 Return the name of the Python source file in which an object was defined. This
459 will fail with a :exc:`TypeError` if the object is a built-in module, class, or
460 function.
461
462
463.. function:: getsourcelines(object)
464
465 Return a list of source lines and starting line number for an object. The
466 argument may be a module, class, method, function, traceback, frame, or code
467 object. The source code is returned as a list of the lines corresponding to the
468 object and the line number indicates where in the original source file the first
Antoine Pitrou62ab10a02011-10-12 20:10:51 +0200469 line of code was found. An :exc:`OSError` is raised if the source code cannot
Georg Brandl116aa622007-08-15 14:28:22 +0000470 be retrieved.
471
Antoine Pitrou62ab10a02011-10-12 20:10:51 +0200472 .. versionchanged:: 3.3
473 :exc:`OSError` is raised instead of :exc:`IOError`, now an alias of the
474 former.
475
Georg Brandl116aa622007-08-15 14:28:22 +0000476
477.. function:: getsource(object)
478
479 Return the text of the source code for an object. The argument may be a module,
480 class, method, function, traceback, frame, or code object. The source code is
Antoine Pitrou62ab10a02011-10-12 20:10:51 +0200481 returned as a single string. An :exc:`OSError` is raised if the source code
Georg Brandl116aa622007-08-15 14:28:22 +0000482 cannot be retrieved.
483
Antoine Pitrou62ab10a02011-10-12 20:10:51 +0200484 .. versionchanged:: 3.3
485 :exc:`OSError` is raised instead of :exc:`IOError`, now an alias of the
486 former.
487
Georg Brandl116aa622007-08-15 14:28:22 +0000488
Georg Brandl0c77a822008-06-10 16:37:50 +0000489.. function:: cleandoc(doc)
490
491 Clean up indentation from docstrings that are indented to line up with blocks
492 of code. Any whitespace that can be uniformly removed from the second line
493 onwards is removed. Also, all tabs are expanded to spaces.
494
Georg Brandl0c77a822008-06-10 16:37:50 +0000495
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300496.. _inspect-signature-object:
497
Georg Brandle4717722012-08-14 09:45:28 +0200498Introspecting callables with the Signature object
499-------------------------------------------------
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300500
501.. versionadded:: 3.3
502
Georg Brandle4717722012-08-14 09:45:28 +0200503The Signature object represents the call signature of a callable object and its
504return annotation. To retrieve a Signature object, use the :func:`signature`
505function.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300506
Yury Selivanovbcd4fc12015-05-20 14:30:08 -0400507.. function:: signature(callable, \*, follow_wrapped=True)
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300508
Georg Brandle4717722012-08-14 09:45:28 +0200509 Return a :class:`Signature` object for the given ``callable``::
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300510
511 >>> from inspect import signature
512 >>> def foo(a, *, b:int, **kwargs):
513 ... pass
514
515 >>> sig = signature(foo)
516
517 >>> str(sig)
518 '(a, *, b:int, **kwargs)'
519
520 >>> str(sig.parameters['b'])
521 'b:int'
522
523 >>> sig.parameters['b'].annotation
524 <class 'int'>
525
Georg Brandle4717722012-08-14 09:45:28 +0200526 Accepts a wide range of python callables, from plain functions and classes to
527 :func:`functools.partial` objects.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300528
Larry Hastings5c661892014-01-24 06:17:25 -0800529 Raises :exc:`ValueError` if no signature can be provided, and
530 :exc:`TypeError` if that type of object is not supported.
531
Yury Selivanovbcd4fc12015-05-20 14:30:08 -0400532 .. versionadded:: 3.5
533 ``follow_wrapped`` parameter. Pass ``False`` to get a signature of
534 ``callable`` specifically (``callable.__wrapped__`` will not be used to
535 unwrap decorated callables.)
536
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300537 .. note::
538
Georg Brandle4717722012-08-14 09:45:28 +0200539 Some callables may not be introspectable in certain implementations of
Yury Selivanovd71e52f2014-01-30 00:22:57 -0500540 Python. For example, in CPython, some built-in functions defined in
541 C provide no metadata about their arguments.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300542
543
Yury Selivanov78356892014-01-30 00:10:54 -0500544.. class:: Signature(parameters=None, \*, return_annotation=Signature.empty)
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300545
Georg Brandle4717722012-08-14 09:45:28 +0200546 A Signature object represents the call signature of a function and its return
547 annotation. For each parameter accepted by the function it stores a
548 :class:`Parameter` object in its :attr:`parameters` collection.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300549
Yury Selivanov78356892014-01-30 00:10:54 -0500550 The optional *parameters* argument is a sequence of :class:`Parameter`
551 objects, which is validated to check that there are no parameters with
552 duplicate names, and that the parameters are in the right order, i.e.
553 positional-only first, then positional-or-keyword, and that parameters with
554 defaults follow parameters without defaults.
555
556 The optional *return_annotation* argument, can be an arbitrary Python object,
557 is the "return" annotation of the callable.
558
Georg Brandle4717722012-08-14 09:45:28 +0200559 Signature objects are *immutable*. Use :meth:`Signature.replace` to make a
560 modified copy.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300561
Yury Selivanov67d727e2014-03-29 13:24:14 -0400562 .. versionchanged:: 3.5
Yury Selivanov67ae50e2014-04-08 11:46:50 -0400563 Signature objects are picklable and hashable.
Yury Selivanov67d727e2014-03-29 13:24:14 -0400564
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300565 .. attribute:: Signature.empty
566
567 A special class-level marker to specify absence of a return annotation.
568
569 .. attribute:: Signature.parameters
570
571 An ordered mapping of parameters' names to the corresponding
572 :class:`Parameter` objects.
573
574 .. attribute:: Signature.return_annotation
575
Georg Brandle4717722012-08-14 09:45:28 +0200576 The "return" annotation for the callable. If the callable has no "return"
577 annotation, this attribute is set to :attr:`Signature.empty`.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300578
579 .. method:: Signature.bind(*args, **kwargs)
580
Georg Brandle4717722012-08-14 09:45:28 +0200581 Create a mapping from positional and keyword arguments to parameters.
582 Returns :class:`BoundArguments` if ``*args`` and ``**kwargs`` match the
583 signature, or raises a :exc:`TypeError`.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300584
585 .. method:: Signature.bind_partial(*args, **kwargs)
586
Georg Brandle4717722012-08-14 09:45:28 +0200587 Works the same way as :meth:`Signature.bind`, but allows the omission of
588 some required arguments (mimics :func:`functools.partial` behavior.)
589 Returns :class:`BoundArguments`, or raises a :exc:`TypeError` if the
590 passed arguments do not match the signature.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300591
Ezio Melotti8429b672012-09-14 06:35:09 +0300592 .. method:: Signature.replace(*[, parameters][, return_annotation])
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300593
Georg Brandle4717722012-08-14 09:45:28 +0200594 Create a new Signature instance based on the instance replace was invoked
595 on. It is possible to pass different ``parameters`` and/or
596 ``return_annotation`` to override the corresponding properties of the base
597 signature. To remove return_annotation from the copied Signature, pass in
598 :attr:`Signature.empty`.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300599
600 ::
601
602 >>> def test(a, b):
603 ... pass
604 >>> sig = signature(test)
605 >>> new_sig = sig.replace(return_annotation="new return anno")
606 >>> str(new_sig)
607 "(a, b) -> 'new return anno'"
608
Yury Selivanovbcd4fc12015-05-20 14:30:08 -0400609 .. classmethod:: Signature.from_callable(obj, \*, follow_wrapped=True)
Yury Selivanovda396452014-03-27 12:09:24 -0400610
611 Return a :class:`Signature` (or its subclass) object for a given callable
Yury Selivanovbcd4fc12015-05-20 14:30:08 -0400612 ``obj``. Pass ``follow_wrapped=False`` to get a signature of ``obj``
613 without unwrapping its ``__wrapped__`` chain.
Yury Selivanovda396452014-03-27 12:09:24 -0400614
Yury Selivanovbcd4fc12015-05-20 14:30:08 -0400615 This method simplifies subclassing of :class:`Signature`::
Yury Selivanovda396452014-03-27 12:09:24 -0400616
617 class MySignature(Signature):
618 pass
619 sig = MySignature.from_callable(min)
620 assert isinstance(sig, MySignature)
621
Yury Selivanov232b9342014-03-29 13:18:30 -0400622 .. versionadded:: 3.5
623
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300624
Yury Selivanov78356892014-01-30 00:10:54 -0500625.. class:: Parameter(name, kind, \*, default=Parameter.empty, annotation=Parameter.empty)
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300626
Georg Brandle4717722012-08-14 09:45:28 +0200627 Parameter objects are *immutable*. Instead of modifying a Parameter object,
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300628 you can use :meth:`Parameter.replace` to create a modified copy.
629
Yury Selivanov67d727e2014-03-29 13:24:14 -0400630 .. versionchanged:: 3.5
Yury Selivanov67ae50e2014-04-08 11:46:50 -0400631 Parameter objects are picklable and hashable.
Yury Selivanov67d727e2014-03-29 13:24:14 -0400632
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300633 .. attribute:: Parameter.empty
634
Georg Brandle4717722012-08-14 09:45:28 +0200635 A special class-level marker to specify absence of default values and
636 annotations.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300637
638 .. attribute:: Parameter.name
639
Yury Selivanov2393dca2014-01-27 15:07:58 -0500640 The name of the parameter as a string. The name must be a valid
641 Python identifier.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300642
643 .. attribute:: Parameter.default
644
Georg Brandle4717722012-08-14 09:45:28 +0200645 The default value for the parameter. If the parameter has no default
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300646 value, this attribute is set to :attr:`Parameter.empty`.
647
648 .. attribute:: Parameter.annotation
649
Georg Brandle4717722012-08-14 09:45:28 +0200650 The annotation for the parameter. If the parameter has no annotation,
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300651 this attribute is set to :attr:`Parameter.empty`.
652
653 .. attribute:: Parameter.kind
654
Georg Brandle4717722012-08-14 09:45:28 +0200655 Describes how argument values are bound to the parameter. Possible values
656 (accessible via :class:`Parameter`, like ``Parameter.KEYWORD_ONLY``):
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300657
Georg Brandl44ea77b2013-03-28 13:28:44 +0100658 .. tabularcolumns:: |l|L|
659
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300660 +------------------------+----------------------------------------------+
661 | Name | Meaning |
662 +========================+==============================================+
663 | *POSITIONAL_ONLY* | Value must be supplied as a positional |
664 | | argument. |
665 | | |
666 | | Python has no explicit syntax for defining |
667 | | positional-only parameters, but many built-in|
668 | | and extension module functions (especially |
669 | | those that accept only one or two parameters)|
670 | | accept them. |
671 +------------------------+----------------------------------------------+
672 | *POSITIONAL_OR_KEYWORD*| Value may be supplied as either a keyword or |
673 | | positional argument (this is the standard |
674 | | binding behaviour for functions implemented |
675 | | in Python.) |
676 +------------------------+----------------------------------------------+
677 | *VAR_POSITIONAL* | A tuple of positional arguments that aren't |
678 | | bound to any other parameter. This |
679 | | corresponds to a ``*args`` parameter in a |
680 | | Python function definition. |
681 +------------------------+----------------------------------------------+
682 | *KEYWORD_ONLY* | Value must be supplied as a keyword argument.|
683 | | Keyword only parameters are those which |
684 | | appear after a ``*`` or ``*args`` entry in a |
685 | | Python function definition. |
686 +------------------------+----------------------------------------------+
687 | *VAR_KEYWORD* | A dict of keyword arguments that aren't bound|
688 | | to any other parameter. This corresponds to a|
689 | | ``**kwargs`` parameter in a Python function |
690 | | definition. |
691 +------------------------+----------------------------------------------+
692
Andrew Svetloveed18082012-08-13 18:23:54 +0300693 Example: print all keyword-only arguments without default values::
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300694
695 >>> def foo(a, b, *, c, d=10):
696 ... pass
697
698 >>> sig = signature(foo)
699 >>> for param in sig.parameters.values():
700 ... if (param.kind == param.KEYWORD_ONLY and
701 ... param.default is param.empty):
702 ... print('Parameter:', param)
703 Parameter: c
704
Ezio Melotti8429b672012-09-14 06:35:09 +0300705 .. method:: Parameter.replace(*[, name][, kind][, default][, annotation])
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300706
Georg Brandle4717722012-08-14 09:45:28 +0200707 Create a new Parameter instance based on the instance replaced was invoked
708 on. To override a :class:`Parameter` attribute, pass the corresponding
709 argument. To remove a default value or/and an annotation from a
710 Parameter, pass :attr:`Parameter.empty`.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300711
712 ::
713
714 >>> from inspect import Parameter
715 >>> param = Parameter('foo', Parameter.KEYWORD_ONLY, default=42)
716 >>> str(param)
717 'foo=42'
718
719 >>> str(param.replace()) # Will create a shallow copy of 'param'
720 'foo=42'
721
722 >>> str(param.replace(default=Parameter.empty, annotation='spam'))
723 "foo:'spam'"
724
Yury Selivanov2393dca2014-01-27 15:07:58 -0500725 .. versionchanged:: 3.4
726 In Python 3.3 Parameter objects were allowed to have ``name`` set
727 to ``None`` if their ``kind`` was set to ``POSITIONAL_ONLY``.
728 This is no longer permitted.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300729
730.. class:: BoundArguments
731
732 Result of a :meth:`Signature.bind` or :meth:`Signature.bind_partial` call.
733 Holds the mapping of arguments to the function's parameters.
734
735 .. attribute:: BoundArguments.arguments
736
737 An ordered, mutable mapping (:class:`collections.OrderedDict`) of
Georg Brandle4717722012-08-14 09:45:28 +0200738 parameters' names to arguments' values. Contains only explicitly bound
739 arguments. Changes in :attr:`arguments` will reflect in :attr:`args` and
740 :attr:`kwargs`.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300741
Georg Brandle4717722012-08-14 09:45:28 +0200742 Should be used in conjunction with :attr:`Signature.parameters` for any
743 argument processing purposes.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300744
745 .. note::
746
747 Arguments for which :meth:`Signature.bind` or
748 :meth:`Signature.bind_partial` relied on a default value are skipped.
Yury Selivanovb907a512015-05-16 13:45:09 -0400749 However, if needed, use :meth:`BoundArguments.apply_defaults` to add
750 them.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300751
752 .. attribute:: BoundArguments.args
753
Georg Brandle4717722012-08-14 09:45:28 +0200754 A tuple of positional arguments values. Dynamically computed from the
755 :attr:`arguments` attribute.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300756
757 .. attribute:: BoundArguments.kwargs
758
Georg Brandle4717722012-08-14 09:45:28 +0200759 A dict of keyword arguments values. Dynamically computed from the
760 :attr:`arguments` attribute.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300761
Yury Selivanov82796192015-05-14 14:14:02 -0400762 .. attribute:: BoundArguments.signature
763
764 A reference to the parent :class:`Signature` object.
765
Yury Selivanovb907a512015-05-16 13:45:09 -0400766 .. method:: BoundArguments.apply_defaults()
767
768 Set default values for missing arguments.
769
770 For variable-positional arguments (``*args``) the default is an
771 empty tuple.
772
773 For variable-keyword arguments (``**kwargs``) the default is an
774 empty dict.
775
776 ::
777
778 >>> def foo(a, b='ham', *args): pass
779 >>> ba = inspect.signature(foo).bind('spam')
780 >>> ba.apply_defaults()
781 >>> ba.arguments
782 OrderedDict([('a', 'spam'), ('b', 'ham'), ('args', ())])
783
Berker Peksag5b3df5b2015-05-16 23:29:31 +0300784 .. versionadded:: 3.5
785
Georg Brandle4717722012-08-14 09:45:28 +0200786 The :attr:`args` and :attr:`kwargs` properties can be used to invoke
787 functions::
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300788
789 def test(a, *, b):
790 ...
791
792 sig = signature(test)
793 ba = sig.bind(10, b=20)
794 test(*ba.args, **ba.kwargs)
795
796
Georg Brandle4717722012-08-14 09:45:28 +0200797.. seealso::
798
799 :pep:`362` - Function Signature Object.
800 The detailed specification, implementation details and examples.
801
802
Georg Brandl116aa622007-08-15 14:28:22 +0000803.. _inspect-classes-functions:
804
805Classes and functions
806---------------------
807
Georg Brandl3dd33882009-06-01 17:35:27 +0000808.. function:: getclasstree(classes, unique=False)
Georg Brandl116aa622007-08-15 14:28:22 +0000809
810 Arrange the given list of classes into a hierarchy of nested lists. Where a
811 nested list appears, it contains classes derived from the class whose entry
812 immediately precedes the list. Each entry is a 2-tuple containing a class and a
813 tuple of its base classes. If the *unique* argument is true, exactly one entry
814 appears in the returned structure for each class in the given list. Otherwise,
815 classes using multiple inheritance and their descendants will appear multiple
816 times.
817
818
819.. function:: getargspec(func)
820
Georg Brandl82402752010-01-09 09:48:46 +0000821 Get the names and default values of a Python function's arguments. A
Georg Brandlb30f3302011-01-06 09:23:56 +0000822 :term:`named tuple` ``ArgSpec(args, varargs, keywords, defaults)`` is
823 returned. *args* is a list of the argument names. *varargs* and *keywords*
824 are the names of the ``*`` and ``**`` arguments or ``None``. *defaults* is a
Larry Hastingsbf84bba2012-09-21 09:40:41 -0700825 tuple of default argument values or ``None`` if there are no default
826 arguments; if this tuple has *n* elements, they correspond to the last
827 *n* elements listed in *args*.
Georg Brandl138bcb52007-09-12 19:04:21 +0000828
829 .. deprecated:: 3.0
Yury Selivanov945fff42015-05-22 16:28:05 -0400830 Use :func:`signature` and
831 :ref:`Signature Object <inspect-signature-object>`, which provide a
832 better introspecting API for callables. This function will be removed
833 in Python 3.6.
Georg Brandl138bcb52007-09-12 19:04:21 +0000834
835
836.. function:: getfullargspec(func)
837
Georg Brandl82402752010-01-09 09:48:46 +0000838 Get the names and default values of a Python function's arguments. A
839 :term:`named tuple` is returned:
Georg Brandl138bcb52007-09-12 19:04:21 +0000840
Georg Brandl3dd33882009-06-01 17:35:27 +0000841 ``FullArgSpec(args, varargs, varkw, defaults, kwonlyargs, kwonlydefaults,
842 annotations)``
Georg Brandl138bcb52007-09-12 19:04:21 +0000843
844 *args* is a list of the argument names. *varargs* and *varkw* are the names
Larry Hastingsbf84bba2012-09-21 09:40:41 -0700845 of the ``*`` and ``**`` arguments or ``None``. *defaults* is an *n*-tuple
846 of the default values of the last *n* arguments, or ``None`` if there are no
847 default arguments. *kwonlyargs* is a list of
Georg Brandl138bcb52007-09-12 19:04:21 +0000848 keyword-only argument names. *kwonlydefaults* is a dictionary mapping names
849 from kwonlyargs to defaults. *annotations* is a dictionary mapping argument
850 names to annotations.
851
852 The first four items in the tuple correspond to :func:`getargspec`.
Georg Brandl116aa622007-08-15 14:28:22 +0000853
Nick Coghlan16355782014-03-08 16:36:37 +1000854 .. versionchanged:: 3.4
855 This function is now based on :func:`signature`, but still ignores
856 ``__wrapped__`` attributes and includes the already bound first
857 parameter in the signature output for bound methods.
858
Yury Selivanov3cfec2e2015-05-22 11:38:38 -0400859 .. deprecated:: 3.5
860 Use :func:`signature` and
861 :ref:`Signature Object <inspect-signature-object>`, which provide a
862 better introspecting API for callables.
863
Georg Brandl116aa622007-08-15 14:28:22 +0000864
865.. function:: getargvalues(frame)
866
Georg Brandl3dd33882009-06-01 17:35:27 +0000867 Get information about arguments passed into a particular frame. A
868 :term:`named tuple` ``ArgInfo(args, varargs, keywords, locals)`` is
Georg Brandlb30f3302011-01-06 09:23:56 +0000869 returned. *args* is a list of the argument names. *varargs* and *keywords*
870 are the names of the ``*`` and ``**`` arguments or ``None``. *locals* is the
Georg Brandlc1c4bf82010-10-15 16:07:41 +0000871 locals dictionary of the given frame.
Georg Brandl116aa622007-08-15 14:28:22 +0000872
Yury Selivanov945fff42015-05-22 16:28:05 -0400873 .. deprecated:: 3.5
874 Use :func:`signature` and
875 :ref:`Signature Object <inspect-signature-object>`, which provide a
876 better introspecting API for callables.
877
Georg Brandl116aa622007-08-15 14:28:22 +0000878
Andrew Svetlov735d3172012-10-27 00:28:20 +0300879.. function:: formatargspec(args[, varargs, varkw, defaults, kwonlyargs, kwonlydefaults, annotations[, formatarg, formatvarargs, formatvarkw, formatvalue, formatreturns, formatannotations]])
Georg Brandl116aa622007-08-15 14:28:22 +0000880
Michael Foord3af125a2012-04-21 18:22:28 +0100881 Format a pretty argument spec from the values returned by
882 :func:`getargspec` or :func:`getfullargspec`.
883
884 The first seven arguments are (``args``, ``varargs``, ``varkw``,
Georg Brandl8ed75cd2014-10-31 10:25:48 +0100885 ``defaults``, ``kwonlyargs``, ``kwonlydefaults``, ``annotations``).
Andrew Svetlov735d3172012-10-27 00:28:20 +0300886
Georg Brandl8ed75cd2014-10-31 10:25:48 +0100887 The other six arguments are functions that are called to turn argument names,
888 ``*`` argument name, ``**`` argument name, default values, return annotation
889 and individual annotations into strings, respectively.
890
891 For example:
892
893 >>> from inspect import formatargspec, getfullargspec
894 >>> def f(a: int, b: float):
895 ... pass
896 ...
897 >>> formatargspec(*getfullargspec(f))
898 '(a: int, b: float)'
Georg Brandl116aa622007-08-15 14:28:22 +0000899
Yury Selivanov945fff42015-05-22 16:28:05 -0400900 .. deprecated:: 3.5
901 Use :func:`signature` and
902 :ref:`Signature Object <inspect-signature-object>`, which provide a
903 better introspecting API for callables.
904
Georg Brandl116aa622007-08-15 14:28:22 +0000905
Georg Brandlc1c4bf82010-10-15 16:07:41 +0000906.. function:: formatargvalues(args[, varargs, varkw, locals, formatarg, formatvarargs, formatvarkw, formatvalue])
Georg Brandl116aa622007-08-15 14:28:22 +0000907
908 Format a pretty argument spec from the four values returned by
909 :func:`getargvalues`. The format\* arguments are the corresponding optional
910 formatting functions that are called to turn names and values into strings.
911
Yury Selivanov945fff42015-05-22 16:28:05 -0400912 .. deprecated:: 3.5
913 Use :func:`signature` and
914 :ref:`Signature Object <inspect-signature-object>`, which provide a
915 better introspecting API for callables.
916
Georg Brandl116aa622007-08-15 14:28:22 +0000917
918.. function:: getmro(cls)
919
920 Return a tuple of class cls's base classes, including cls, in method resolution
921 order. No class appears more than once in this tuple. Note that the method
922 resolution order depends on cls's type. Unless a very peculiar user-defined
923 metatype is in use, cls will be the first element of the tuple.
924
925
Benjamin Peterson3a990c62014-01-02 12:22:30 -0600926.. function:: getcallargs(func, *args, **kwds)
Benjamin Peterson25cd7eb2010-03-30 18:42:32 +0000927
928 Bind the *args* and *kwds* to the argument names of the Python function or
929 method *func*, as if it was called with them. For bound methods, bind also the
930 first argument (typically named ``self``) to the associated instance. A dict
931 is returned, mapping the argument names (including the names of the ``*`` and
932 ``**`` arguments, if any) to their values from *args* and *kwds*. In case of
933 invoking *func* incorrectly, i.e. whenever ``func(*args, **kwds)`` would raise
934 an exception because of incompatible signature, an exception of the same type
935 and the same or similar message is raised. For example::
936
937 >>> from inspect import getcallargs
938 >>> def f(a, b=1, *pos, **named):
939 ... pass
Andrew Svetlove939f382012-08-09 13:25:32 +0300940 >>> getcallargs(f, 1, 2, 3) == {'a': 1, 'named': {}, 'b': 2, 'pos': (3,)}
941 True
942 >>> getcallargs(f, a=2, x=4) == {'a': 2, 'named': {'x': 4}, 'b': 1, 'pos': ()}
943 True
Benjamin Peterson25cd7eb2010-03-30 18:42:32 +0000944 >>> getcallargs(f)
945 Traceback (most recent call last):
946 ...
Andrew Svetlove939f382012-08-09 13:25:32 +0300947 TypeError: f() missing 1 required positional argument: 'a'
Benjamin Peterson25cd7eb2010-03-30 18:42:32 +0000948
949 .. versionadded:: 3.2
950
Yury Selivanov3cfec2e2015-05-22 11:38:38 -0400951 .. deprecated:: 3.5
952 Use :meth:`Signature.bind` and :meth:`Signature.bind_partial` instead.
Andrew Svetlov4e48bf92012-08-13 17:10:28 +0300953
Benjamin Peterson25cd7eb2010-03-30 18:42:32 +0000954
Nick Coghlan2f92e542012-06-23 19:39:55 +1000955.. function:: getclosurevars(func)
956
957 Get the mapping of external name references in a Python function or
958 method *func* to their current values. A
959 :term:`named tuple` ``ClosureVars(nonlocals, globals, builtins, unbound)``
960 is returned. *nonlocals* maps referenced names to lexical closure
961 variables, *globals* to the function's module globals and *builtins* to
962 the builtins visible from the function body. *unbound* is the set of names
963 referenced in the function that could not be resolved at all given the
964 current module globals and builtins.
965
966 :exc:`TypeError` is raised if *func* is not a Python function or method.
967
968 .. versionadded:: 3.3
969
970
Nick Coghlane8c45d62013-07-28 20:00:01 +1000971.. function:: unwrap(func, *, stop=None)
972
973 Get the object wrapped by *func*. It follows the chain of :attr:`__wrapped__`
974 attributes returning the last object in the chain.
975
976 *stop* is an optional callback accepting an object in the wrapper chain
977 as its sole argument that allows the unwrapping to be terminated early if
978 the callback returns a true value. If the callback never returns a true
979 value, the last object in the chain is returned as usual. For example,
980 :func:`signature` uses this to stop unwrapping if any object in the
981 chain has a ``__signature__`` attribute defined.
982
983 :exc:`ValueError` is raised if a cycle is encountered.
984
985 .. versionadded:: 3.4
986
987
Georg Brandl116aa622007-08-15 14:28:22 +0000988.. _inspect-stack:
989
990The interpreter stack
991---------------------
992
Antoine Pitroucdcafb72014-08-24 10:50:28 -0400993When the following functions return "frame records," each record is a
994:term:`named tuple`
995``FrameInfo(frame, filename, lineno, function, code_context, index)``.
996The tuple contains the frame object, the filename, the line number of the
997current line,
Georg Brandl116aa622007-08-15 14:28:22 +0000998the function name, a list of lines of context from the source code, and the
999index of the current line within that list.
1000
Antoine Pitroucdcafb72014-08-24 10:50:28 -04001001.. versionchanged:: 3.5
1002 Return a named tuple instead of a tuple.
1003
Georg Brandle720c0a2009-04-27 16:20:50 +00001004.. note::
Georg Brandl116aa622007-08-15 14:28:22 +00001005
1006 Keeping references to frame objects, as found in the first element of the frame
1007 records these functions return, can cause your program to create reference
1008 cycles. Once a reference cycle has been created, the lifespan of all objects
1009 which can be accessed from the objects which form the cycle can become much
1010 longer even if Python's optional cycle detector is enabled. If such cycles must
1011 be created, it is important to ensure they are explicitly broken to avoid the
1012 delayed destruction of objects and increased memory consumption which occurs.
1013
1014 Though the cycle detector will catch these, destruction of the frames (and local
1015 variables) can be made deterministic by removing the cycle in a
1016 :keyword:`finally` clause. This is also important if the cycle detector was
1017 disabled when Python was compiled or using :func:`gc.disable`. For example::
1018
1019 def handle_stackframe_without_leak():
1020 frame = inspect.currentframe()
1021 try:
1022 # do something with the frame
1023 finally:
1024 del frame
1025
Antoine Pitrou58720d62013-08-05 23:26:40 +02001026 If you want to keep the frame around (for example to print a traceback
1027 later), you can also break reference cycles by using the
1028 :meth:`frame.clear` method.
1029
Georg Brandl116aa622007-08-15 14:28:22 +00001030The optional *context* argument supported by most of these functions specifies
1031the number of lines of context to return, which are centered around the current
1032line.
1033
1034
Georg Brandl3dd33882009-06-01 17:35:27 +00001035.. function:: getframeinfo(frame, context=1)
Georg Brandl116aa622007-08-15 14:28:22 +00001036
Georg Brandl48310cd2009-01-03 21:18:54 +00001037 Get information about a frame or traceback object. A :term:`named tuple`
Christian Heimes25bb7832008-01-11 16:17:00 +00001038 ``Traceback(filename, lineno, function, code_context, index)`` is returned.
Georg Brandl116aa622007-08-15 14:28:22 +00001039
1040
Georg Brandl3dd33882009-06-01 17:35:27 +00001041.. function:: getouterframes(frame, context=1)
Georg Brandl116aa622007-08-15 14:28:22 +00001042
1043 Get a list of frame records for a frame and all outer frames. These frames
1044 represent the calls that lead to the creation of *frame*. The first entry in the
1045 returned list represents *frame*; the last entry represents the outermost call
1046 on *frame*'s stack.
1047
Yury Selivanov100fc3f2015-09-08 22:40:30 -04001048 .. versionchanged:: 3.5
1049 A list of :term:`named tuples <named tuple>`
1050 ``FrameInfo(frame, filename, lineno, function, code_context, index)``
1051 is returned.
1052
Georg Brandl116aa622007-08-15 14:28:22 +00001053
Georg Brandl3dd33882009-06-01 17:35:27 +00001054.. function:: getinnerframes(traceback, context=1)
Georg Brandl116aa622007-08-15 14:28:22 +00001055
1056 Get a list of frame records for a traceback's frame and all inner frames. These
1057 frames represent calls made as a consequence of *frame*. The first entry in the
1058 list represents *traceback*; the last entry represents where the exception was
1059 raised.
1060
Yury Selivanov100fc3f2015-09-08 22:40:30 -04001061 .. versionchanged:: 3.5
1062 A list of :term:`named tuples <named tuple>`
1063 ``FrameInfo(frame, filename, lineno, function, code_context, index)``
1064 is returned.
1065
Georg Brandl116aa622007-08-15 14:28:22 +00001066
1067.. function:: currentframe()
1068
1069 Return the frame object for the caller's stack frame.
1070
Georg Brandl495f7b52009-10-27 15:28:25 +00001071 .. impl-detail::
1072
1073 This function relies on Python stack frame support in the interpreter,
1074 which isn't guaranteed to exist in all implementations of Python. If
1075 running in an implementation without Python stack frame support this
1076 function returns ``None``.
Benjamin Peterson4ac9ce42009-10-04 14:49:41 +00001077
Georg Brandl116aa622007-08-15 14:28:22 +00001078
Georg Brandl3dd33882009-06-01 17:35:27 +00001079.. function:: stack(context=1)
Georg Brandl116aa622007-08-15 14:28:22 +00001080
1081 Return a list of frame records for the caller's stack. The first entry in the
1082 returned list represents the caller; the last entry represents the outermost
1083 call on the stack.
1084
Yury Selivanov100fc3f2015-09-08 22:40:30 -04001085 .. versionchanged:: 3.5
1086 A list of :term:`named tuples <named tuple>`
1087 ``FrameInfo(frame, filename, lineno, function, code_context, index)``
1088 is returned.
1089
Georg Brandl116aa622007-08-15 14:28:22 +00001090
Georg Brandl3dd33882009-06-01 17:35:27 +00001091.. function:: trace(context=1)
Georg Brandl116aa622007-08-15 14:28:22 +00001092
1093 Return a list of frame records for the stack between the current frame and the
1094 frame in which an exception currently being handled was raised in. The first
1095 entry in the list represents the caller; the last entry represents where the
1096 exception was raised.
1097
Yury Selivanov100fc3f2015-09-08 22:40:30 -04001098 .. versionchanged:: 3.5
1099 A list of :term:`named tuples <named tuple>`
1100 ``FrameInfo(frame, filename, lineno, function, code_context, index)``
1101 is returned.
1102
Michael Foord95fc51d2010-11-20 15:07:30 +00001103
1104Fetching attributes statically
1105------------------------------
1106
1107Both :func:`getattr` and :func:`hasattr` can trigger code execution when
1108fetching or checking for the existence of attributes. Descriptors, like
1109properties, will be invoked and :meth:`__getattr__` and :meth:`__getattribute__`
1110may be called.
1111
1112For cases where you want passive introspection, like documentation tools, this
Éric Araujo941afed2011-09-01 02:47:34 +02001113can be inconvenient. :func:`getattr_static` has the same signature as :func:`getattr`
Michael Foord95fc51d2010-11-20 15:07:30 +00001114but avoids executing code when it fetches attributes.
1115
1116.. function:: getattr_static(obj, attr, default=None)
1117
1118 Retrieve attributes without triggering dynamic lookup via the
Éric Araujo941afed2011-09-01 02:47:34 +02001119 descriptor protocol, :meth:`__getattr__` or :meth:`__getattribute__`.
Michael Foord95fc51d2010-11-20 15:07:30 +00001120
1121 Note: this function may not be able to retrieve all attributes
1122 that getattr can fetch (like dynamically created attributes)
1123 and may find attributes that getattr can't (like descriptors
1124 that raise AttributeError). It can also return descriptors objects
1125 instead of instance members.
1126
Serhiy Storchakabfdcd432013-10-13 23:09:14 +03001127 If the instance :attr:`~object.__dict__` is shadowed by another member (for
1128 example a property) then this function will be unable to find instance
1129 members.
Nick Coghlan2dad5ca2010-11-21 03:55:53 +00001130
Michael Foorddcebe0f2011-03-15 19:20:44 -04001131 .. versionadded:: 3.2
Michael Foord95fc51d2010-11-20 15:07:30 +00001132
Éric Araujo941afed2011-09-01 02:47:34 +02001133:func:`getattr_static` does not resolve descriptors, for example slot descriptors or
Michael Foorde5162652010-11-20 16:40:44 +00001134getset descriptors on objects implemented in C. The descriptor object
Michael Foord95fc51d2010-11-20 15:07:30 +00001135is returned instead of the underlying attribute.
1136
1137You can handle these with code like the following. Note that
1138for arbitrary getset descriptors invoking these may trigger
1139code execution::
1140
1141 # example code for resolving the builtin descriptor types
Éric Araujo28053fb2010-11-22 03:09:19 +00001142 class _foo:
Michael Foord95fc51d2010-11-20 15:07:30 +00001143 __slots__ = ['foo']
1144
1145 slot_descriptor = type(_foo.foo)
1146 getset_descriptor = type(type(open(__file__)).name)
1147 wrapper_descriptor = type(str.__dict__['__add__'])
1148 descriptor_types = (slot_descriptor, getset_descriptor, wrapper_descriptor)
1149
1150 result = getattr_static(some_object, 'foo')
1151 if type(result) in descriptor_types:
1152 try:
1153 result = result.__get__()
1154 except AttributeError:
1155 # descriptors can raise AttributeError to
1156 # indicate there is no underlying value
1157 # in which case the descriptor itself will
1158 # have to do
1159 pass
Nick Coghlane0f04652010-11-21 03:44:04 +00001160
Nick Coghlan2dad5ca2010-11-21 03:55:53 +00001161
Yury Selivanov5376ba92015-06-22 12:19:30 -04001162Current State of Generators and Coroutines
1163------------------------------------------
Nick Coghlane0f04652010-11-21 03:44:04 +00001164
1165When implementing coroutine schedulers and for other advanced uses of
1166generators, it is useful to determine whether a generator is currently
1167executing, is waiting to start or resume or execution, or has already
Raymond Hettinger48f3bd32010-12-16 00:30:53 +00001168terminated. :func:`getgeneratorstate` allows the current state of a
Nick Coghlane0f04652010-11-21 03:44:04 +00001169generator to be determined easily.
1170
1171.. function:: getgeneratorstate(generator)
1172
Raymond Hettinger48f3bd32010-12-16 00:30:53 +00001173 Get current state of a generator-iterator.
Nick Coghlane0f04652010-11-21 03:44:04 +00001174
Raymond Hettinger48f3bd32010-12-16 00:30:53 +00001175 Possible states are:
Raymond Hettingera275c982011-01-20 04:03:19 +00001176 * GEN_CREATED: Waiting to start execution.
1177 * GEN_RUNNING: Currently being executed by the interpreter.
1178 * GEN_SUSPENDED: Currently suspended at a yield expression.
1179 * GEN_CLOSED: Execution has completed.
Nick Coghlane0f04652010-11-21 03:44:04 +00001180
Nick Coghlan2dad5ca2010-11-21 03:55:53 +00001181 .. versionadded:: 3.2
Nick Coghlan04e2e3f2012-06-23 19:52:05 +10001182
Yury Selivanov5376ba92015-06-22 12:19:30 -04001183.. function:: getcoroutinestate(coroutine)
1184
1185 Get current state of a coroutine object. The function is intended to be
1186 used with coroutine objects created by :keyword:`async def` functions, but
1187 will accept any coroutine-like object that has ``cr_running`` and
1188 ``cr_frame`` attributes.
1189
1190 Possible states are:
1191 * CORO_CREATED: Waiting to start execution.
1192 * CORO_RUNNING: Currently being executed by the interpreter.
1193 * CORO_SUSPENDED: Currently suspended at an await expression.
1194 * CORO_CLOSED: Execution has completed.
1195
1196 .. versionadded:: 3.5
1197
Nick Coghlan04e2e3f2012-06-23 19:52:05 +10001198The current internal state of the generator can also be queried. This is
1199mostly useful for testing purposes, to ensure that internal state is being
1200updated as expected:
1201
1202.. function:: getgeneratorlocals(generator)
1203
1204 Get the mapping of live local variables in *generator* to their current
1205 values. A dictionary is returned that maps from variable names to values.
1206 This is the equivalent of calling :func:`locals` in the body of the
1207 generator, and all the same caveats apply.
1208
1209 If *generator* is a :term:`generator` with no currently associated frame,
1210 then an empty dictionary is returned. :exc:`TypeError` is raised if
1211 *generator* is not a Python generator object.
1212
1213 .. impl-detail::
1214
1215 This function relies on the generator exposing a Python stack frame
1216 for introspection, which isn't guaranteed to be the case in all
1217 implementations of Python. In such cases, this function will always
1218 return an empty dictionary.
1219
1220 .. versionadded:: 3.3
Nick Coghlanf94a16b2013-09-22 22:46:49 +10001221
Yury Selivanov5376ba92015-06-22 12:19:30 -04001222.. function:: getcoroutinelocals(coroutine)
1223
1224 This function is analogous to :func:`~inspect.getgeneratorlocals`, but
1225 works for coroutine objects created by :keyword:`async def` functions.
1226
1227 .. versionadded:: 3.5
1228
Nick Coghlanf94a16b2013-09-22 22:46:49 +10001229
Nick Coghlan367df122013-10-27 01:57:34 +10001230.. _inspect-module-cli:
1231
Nick Coghlanf94a16b2013-09-22 22:46:49 +10001232Command Line Interface
1233----------------------
1234
1235The :mod:`inspect` module also provides a basic introspection capability
1236from the command line.
1237
1238.. program:: inspect
1239
1240By default, accepts the name of a module and prints the source of that
1241module. A class or function within the module can be printed instead by
1242appended a colon and the qualified name of the target object.
1243
1244.. cmdoption:: --details
1245
1246 Print information about the specified object rather than the source code