Martin v. Löwis | 09776b7 | 2002-08-04 17:22:59 +0000 | [diff] [blame] | 1 | # -*- coding: iso-8859-1 -*- |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 2 | """Get useful information from live Python objects. |
| 3 | |
| 4 | This module encapsulates the interface provided by the internal special |
Neal Norwitz | 221085d | 2007-02-25 20:55:47 +0000 | [diff] [blame] | 5 | attributes (co_*, im_*, tb_*, etc.) in a friendlier fashion. |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 6 | It also provides some help for examining source code and class layout. |
| 7 | |
| 8 | Here are some of the useful functions provided by this module: |
| 9 | |
Christian Heimes | 7131fd9 | 2008-02-19 14:21:46 +0000 | [diff] [blame] | 10 | ismodule(), isclass(), ismethod(), isfunction(), isgeneratorfunction(), |
| 11 | isgenerator(), istraceback(), isframe(), iscode(), isbuiltin(), |
| 12 | isroutine() - check object types |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 13 | getmembers() - get members of an object that satisfy a given condition |
| 14 | |
| 15 | getfile(), getsourcefile(), getsource() - find an object's source code |
| 16 | getdoc(), getcomments() - get documentation on an object |
| 17 | getmodule() - determine the module that an object came from |
| 18 | getclasstree() - arrange classes so as to represent their hierarchy |
| 19 | |
| 20 | getargspec(), getargvalues() - get info about function arguments |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 21 | getfullargspec() - same, with support for Python-3000 features |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 22 | formatargspec(), formatargvalues() - format an argument spec |
| 23 | getouterframes(), getinnerframes() - get info about frames |
| 24 | currentframe() - get the current stack frame |
| 25 | stack(), trace() - get info about frames on the stack or in a traceback |
| 26 | """ |
| 27 | |
| 28 | # This module is in the public domain. No warranties. |
| 29 | |
Ka-Ping Yee | 8b58b84 | 2001-03-01 13:56:16 +0000 | [diff] [blame] | 30 | __author__ = 'Ka-Ping Yee <ping@lfw.org>' |
| 31 | __date__ = '1 Jan 2001' |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 32 | |
Christian Heimes | 7131fd9 | 2008-02-19 14:21:46 +0000 | [diff] [blame] | 33 | import sys |
| 34 | import os |
| 35 | import types |
| 36 | import string |
| 37 | import re |
| 38 | import dis |
| 39 | import imp |
| 40 | import tokenize |
| 41 | import linecache |
Raymond Hettinger | a1a992c | 2005-03-11 06:46:45 +0000 | [diff] [blame] | 42 | from operator import attrgetter |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 43 | from collections import namedtuple |
Christian Heimes | 7131fd9 | 2008-02-19 14:21:46 +0000 | [diff] [blame] | 44 | # These constants are from Include/code.h. |
| 45 | CO_OPTIMIZED, CO_NEWLOCALS, CO_VARARGS, CO_VARKEYWORDS = 0x1, 0x2, 0x4, 0x8 |
| 46 | CO_NESTED, CO_GENERATOR, CO_NOFREE = 0x10, 0x20, 0x40 |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 47 | |
Christian Heimes | be5b30b | 2008-03-03 19:18:51 +0000 | [diff] [blame] | 48 | # See Include/object.h |
| 49 | TPFLAGS_IS_ABSTRACT = 1 << 20 |
| 50 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 51 | # ----------------------------------------------------------- type-checking |
| 52 | def ismodule(object): |
| 53 | """Return true if the object is a module. |
| 54 | |
| 55 | Module objects provide these attributes: |
| 56 | __doc__ documentation string |
| 57 | __file__ filename (missing for built-in modules)""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 58 | return isinstance(object, types.ModuleType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 59 | |
| 60 | def isclass(object): |
| 61 | """Return true if the object is a class. |
| 62 | |
| 63 | Class objects provide these attributes: |
| 64 | __doc__ documentation string |
| 65 | __module__ name of module in which this class was defined""" |
Benjamin Peterson | c465600 | 2009-01-17 22:41:18 +0000 | [diff] [blame] | 66 | return isinstance(object, type) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 67 | |
| 68 | def ismethod(object): |
| 69 | """Return true if the object is an instance method. |
| 70 | |
| 71 | Instance method objects provide these attributes: |
| 72 | __doc__ documentation string |
| 73 | __name__ name with which this method was defined |
Christian Heimes | ff73795 | 2007-11-27 10:40:20 +0000 | [diff] [blame] | 74 | __func__ function object containing implementation of method |
| 75 | __self__ instance to which this method is bound""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 76 | return isinstance(object, types.MethodType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 77 | |
Tim Peters | 536d226 | 2001-09-20 05:13:38 +0000 | [diff] [blame] | 78 | def ismethoddescriptor(object): |
Tim Peters | f1d90b9 | 2001-09-20 05:47:55 +0000 | [diff] [blame] | 79 | """Return true if the object is a method descriptor. |
| 80 | |
| 81 | But not if ismethod() or isclass() or isfunction() are true. |
Tim Peters | 536d226 | 2001-09-20 05:13:38 +0000 | [diff] [blame] | 82 | |
| 83 | This is new in Python 2.2, and, for example, is true of int.__add__. |
| 84 | An object passing this test has a __get__ attribute but not a __set__ |
| 85 | attribute, but beyond that the set of attributes varies. __name__ is |
| 86 | usually sensible, and __doc__ often is. |
| 87 | |
Tim Peters | f1d90b9 | 2001-09-20 05:47:55 +0000 | [diff] [blame] | 88 | Methods implemented via descriptors that also pass one of the other |
| 89 | tests return false from the ismethoddescriptor() test, simply because |
| 90 | the other tests promise more -- you can, e.g., count on having the |
Christian Heimes | ff73795 | 2007-11-27 10:40:20 +0000 | [diff] [blame] | 91 | __func__ attribute (etc) when an object passes ismethod().""" |
Tim Peters | 536d226 | 2001-09-20 05:13:38 +0000 | [diff] [blame] | 92 | return (hasattr(object, "__get__") |
| 93 | and not hasattr(object, "__set__") # else it's a data descriptor |
| 94 | and not ismethod(object) # mutual exclusion |
Tim Peters | f1d90b9 | 2001-09-20 05:47:55 +0000 | [diff] [blame] | 95 | and not isfunction(object) |
Tim Peters | 536d226 | 2001-09-20 05:13:38 +0000 | [diff] [blame] | 96 | and not isclass(object)) |
| 97 | |
Martin v. Löwis | e59e2ba | 2003-05-03 09:09:02 +0000 | [diff] [blame] | 98 | def isdatadescriptor(object): |
| 99 | """Return true if the object is a data descriptor. |
| 100 | |
| 101 | Data descriptors have both a __get__ and a __set__ attribute. Examples are |
| 102 | properties (defined in Python) and getsets and members (defined in C). |
| 103 | Typically, data descriptors will also have __name__ and __doc__ attributes |
| 104 | (properties, getsets, and members have both of these attributes), but this |
| 105 | is not guaranteed.""" |
| 106 | return (hasattr(object, "__set__") and hasattr(object, "__get__")) |
| 107 | |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 108 | if hasattr(types, 'MemberDescriptorType'): |
| 109 | # CPython and equivalent |
| 110 | def ismemberdescriptor(object): |
| 111 | """Return true if the object is a member descriptor. |
| 112 | |
| 113 | Member descriptors are specialized descriptors defined in extension |
| 114 | modules.""" |
| 115 | return isinstance(object, types.MemberDescriptorType) |
| 116 | else: |
| 117 | # Other implementations |
| 118 | def ismemberdescriptor(object): |
| 119 | """Return true if the object is a member descriptor. |
| 120 | |
| 121 | Member descriptors are specialized descriptors defined in extension |
| 122 | modules.""" |
| 123 | return False |
| 124 | |
| 125 | if hasattr(types, 'GetSetDescriptorType'): |
| 126 | # CPython and equivalent |
| 127 | def isgetsetdescriptor(object): |
| 128 | """Return true if the object is a getset descriptor. |
| 129 | |
| 130 | getset descriptors are specialized descriptors defined in extension |
| 131 | modules.""" |
| 132 | return isinstance(object, types.GetSetDescriptorType) |
| 133 | else: |
| 134 | # Other implementations |
| 135 | def isgetsetdescriptor(object): |
| 136 | """Return true if the object is a getset descriptor. |
| 137 | |
| 138 | getset descriptors are specialized descriptors defined in extension |
| 139 | modules.""" |
| 140 | return False |
| 141 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 142 | def isfunction(object): |
| 143 | """Return true if the object is a user-defined function. |
| 144 | |
| 145 | Function objects provide these attributes: |
| 146 | __doc__ documentation string |
| 147 | __name__ name with which this function was defined |
Neal Norwitz | 221085d | 2007-02-25 20:55:47 +0000 | [diff] [blame] | 148 | __code__ code object containing compiled function bytecode |
| 149 | __defaults__ tuple of any default values for arguments |
| 150 | __globals__ global namespace in which this function was defined |
| 151 | __annotations__ dict of parameter annotations |
| 152 | __kwdefaults__ dict of keyword only parameters with defaults""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 153 | return isinstance(object, types.FunctionType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 154 | |
Christian Heimes | 7131fd9 | 2008-02-19 14:21:46 +0000 | [diff] [blame] | 155 | def isgeneratorfunction(object): |
| 156 | """Return true if the object is a user-defined generator function. |
| 157 | |
| 158 | Generator function objects provides same attributes as functions. |
| 159 | |
Alexander Belopolsky | 102594f | 2010-08-16 20:26:04 +0000 | [diff] [blame] | 160 | See help(isfunction) for attributes listing.""" |
Georg Brandl | b1441c7 | 2009-01-03 22:33:39 +0000 | [diff] [blame] | 161 | return bool((isfunction(object) or ismethod(object)) and |
| 162 | object.__code__.co_flags & CO_GENERATOR) |
Christian Heimes | 7131fd9 | 2008-02-19 14:21:46 +0000 | [diff] [blame] | 163 | |
| 164 | def isgenerator(object): |
| 165 | """Return true if the object is a generator. |
| 166 | |
| 167 | Generator objects provide these attributes: |
| 168 | __iter__ defined to support interation over container |
| 169 | close raises a new GeneratorExit exception inside the |
| 170 | generator to terminate the iteration |
| 171 | gi_code code object |
| 172 | gi_frame frame object or possibly None once the generator has |
| 173 | been exhausted |
| 174 | gi_running set to 1 when generator is executing, 0 otherwise |
| 175 | next return the next item from the container |
| 176 | send resumes the generator and "sends" a value that becomes |
| 177 | the result of the current yield-expression |
| 178 | throw used to raise an exception inside the generator""" |
| 179 | return isinstance(object, types.GeneratorType) |
| 180 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 181 | def istraceback(object): |
| 182 | """Return true if the object is a traceback. |
| 183 | |
| 184 | Traceback objects provide these attributes: |
| 185 | tb_frame frame object at this level |
| 186 | tb_lasti index of last attempted instruction in bytecode |
| 187 | tb_lineno current line number in Python source code |
| 188 | tb_next next inner traceback object (called by this level)""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 189 | return isinstance(object, types.TracebackType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 190 | |
| 191 | def isframe(object): |
| 192 | """Return true if the object is a frame object. |
| 193 | |
| 194 | Frame objects provide these attributes: |
| 195 | f_back next outer frame object (this frame's caller) |
| 196 | f_builtins built-in namespace seen by this frame |
| 197 | f_code code object being executed in this frame |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 198 | f_globals global namespace seen by this frame |
| 199 | f_lasti index of last attempted instruction in bytecode |
| 200 | f_lineno current line number in Python source code |
| 201 | f_locals local namespace seen by this frame |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 202 | f_trace tracing function for this frame, or None""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 203 | return isinstance(object, types.FrameType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 204 | |
| 205 | def iscode(object): |
| 206 | """Return true if the object is a code object. |
| 207 | |
| 208 | Code objects provide these attributes: |
| 209 | co_argcount number of arguments (not including * or ** args) |
| 210 | co_code string of raw compiled bytecode |
| 211 | co_consts tuple of constants used in the bytecode |
| 212 | co_filename name of file in which this code object was created |
| 213 | co_firstlineno number of first line in Python source code |
| 214 | co_flags bitmap: 1=optimized | 2=newlocals | 4=*arg | 8=**arg |
| 215 | co_lnotab encoded mapping of line numbers to bytecode indices |
| 216 | co_name name with which this code object was defined |
| 217 | co_names tuple of names of local variables |
| 218 | co_nlocals number of local variables |
| 219 | co_stacksize virtual machine stack space required |
| 220 | co_varnames tuple of names of arguments and local variables""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 221 | return isinstance(object, types.CodeType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 222 | |
| 223 | def isbuiltin(object): |
| 224 | """Return true if the object is a built-in function or method. |
| 225 | |
| 226 | Built-in functions and methods provide these attributes: |
| 227 | __doc__ documentation string |
| 228 | __name__ original name of this function or method |
| 229 | __self__ instance to which a method is bound, or None""" |
Tim Peters | 28bc59f | 2001-09-16 08:40:16 +0000 | [diff] [blame] | 230 | return isinstance(object, types.BuiltinFunctionType) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 231 | |
| 232 | def isroutine(object): |
| 233 | """Return true if the object is any kind of function or method.""" |
Tim Peters | 536d226 | 2001-09-20 05:13:38 +0000 | [diff] [blame] | 234 | return (isbuiltin(object) |
| 235 | or isfunction(object) |
| 236 | or ismethod(object) |
| 237 | or ismethoddescriptor(object)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 238 | |
Christian Heimes | be5b30b | 2008-03-03 19:18:51 +0000 | [diff] [blame] | 239 | def isabstract(object): |
| 240 | """Return true if the object is an abstract base class (ABC).""" |
Benjamin Peterson | 8f6713f | 2009-11-13 02:29:35 +0000 | [diff] [blame] | 241 | return bool(isinstance(object, type) and object.__flags__ & TPFLAGS_IS_ABSTRACT) |
Christian Heimes | be5b30b | 2008-03-03 19:18:51 +0000 | [diff] [blame] | 242 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 243 | def getmembers(object, predicate=None): |
| 244 | """Return all members of an object as (name, value) pairs sorted by name. |
| 245 | Optionally, only return members that satisfy a given predicate.""" |
| 246 | results = [] |
| 247 | for key in dir(object): |
Benjamin Peterson | 058e31e | 2009-01-16 03:54:08 +0000 | [diff] [blame] | 248 | try: |
| 249 | value = getattr(object, key) |
| 250 | except AttributeError: |
| 251 | continue |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 252 | if not predicate or predicate(value): |
| 253 | results.append((key, value)) |
| 254 | results.sort() |
| 255 | return results |
| 256 | |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 257 | Attribute = namedtuple('Attribute', 'name kind defining_class object') |
| 258 | |
Tim Peters | 13b49d3 | 2001-09-23 02:00:29 +0000 | [diff] [blame] | 259 | def classify_class_attrs(cls): |
| 260 | """Return list of attribute-descriptor tuples. |
| 261 | |
| 262 | For each name in dir(cls), the return list contains a 4-tuple |
| 263 | with these elements: |
| 264 | |
| 265 | 0. The name (a string). |
| 266 | |
| 267 | 1. The kind of attribute this is, one of these strings: |
| 268 | 'class method' created via classmethod() |
| 269 | 'static method' created via staticmethod() |
| 270 | 'property' created via property() |
| 271 | 'method' any other flavor of method |
| 272 | 'data' not a method |
| 273 | |
| 274 | 2. The class which defined this attribute (a class). |
| 275 | |
| 276 | 3. The object as obtained directly from the defining class's |
| 277 | __dict__, not via getattr. This is especially important for |
| 278 | data attributes: C.data is just a data object, but |
| 279 | C.__dict__['data'] may be a data descriptor with additional |
| 280 | info, like a __doc__ string. |
| 281 | """ |
| 282 | |
| 283 | mro = getmro(cls) |
| 284 | names = dir(cls) |
| 285 | result = [] |
| 286 | for name in names: |
| 287 | # Get the object associated with the name. |
| 288 | # Getting an obj from the __dict__ sometimes reveals more than |
| 289 | # using getattr. Static and class methods are dramatic examples. |
| 290 | if name in cls.__dict__: |
| 291 | obj = cls.__dict__[name] |
| 292 | else: |
| 293 | obj = getattr(cls, name) |
| 294 | |
| 295 | # Figure out where it was defined. |
Tim Peters | 13b49d3 | 2001-09-23 02:00:29 +0000 | [diff] [blame] | 296 | homecls = getattr(obj, "__objclass__", None) |
| 297 | if homecls is None: |
Guido van Rossum | 687ae00 | 2001-10-15 22:03:32 +0000 | [diff] [blame] | 298 | # search the dicts. |
Tim Peters | 13b49d3 | 2001-09-23 02:00:29 +0000 | [diff] [blame] | 299 | for base in mro: |
| 300 | if name in base.__dict__: |
| 301 | homecls = base |
| 302 | break |
| 303 | |
| 304 | # Get the object again, in order to get it from the defining |
| 305 | # __dict__ instead of via getattr (if possible). |
| 306 | if homecls is not None and name in homecls.__dict__: |
| 307 | obj = homecls.__dict__[name] |
| 308 | |
| 309 | # Also get the object via getattr. |
| 310 | obj_via_getattr = getattr(cls, name) |
| 311 | |
| 312 | # Classify the object. |
| 313 | if isinstance(obj, staticmethod): |
| 314 | kind = "static method" |
| 315 | elif isinstance(obj, classmethod): |
| 316 | kind = "class method" |
| 317 | elif isinstance(obj, property): |
| 318 | kind = "property" |
Christian Heimes | 4a22b5d | 2007-11-25 09:39:14 +0000 | [diff] [blame] | 319 | elif (isfunction(obj_via_getattr) or |
Tim Peters | 13b49d3 | 2001-09-23 02:00:29 +0000 | [diff] [blame] | 320 | ismethoddescriptor(obj_via_getattr)): |
| 321 | kind = "method" |
| 322 | else: |
| 323 | kind = "data" |
| 324 | |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 325 | result.append(Attribute(name, kind, homecls, obj)) |
Tim Peters | 13b49d3 | 2001-09-23 02:00:29 +0000 | [diff] [blame] | 326 | |
| 327 | return result |
| 328 | |
Tim Peters | e0b2d7a | 2001-09-22 06:10:55 +0000 | [diff] [blame] | 329 | # ----------------------------------------------------------- class helpers |
| 330 | def _searchbases(cls, accum): |
| 331 | # Simulate the "classic class" search order. |
| 332 | if cls in accum: |
| 333 | return |
| 334 | accum.append(cls) |
| 335 | for base in cls.__bases__: |
| 336 | _searchbases(base, accum) |
| 337 | |
| 338 | def getmro(cls): |
| 339 | "Return tuple of base classes (including cls) in method resolution order." |
| 340 | if hasattr(cls, "__mro__"): |
| 341 | return cls.__mro__ |
| 342 | else: |
| 343 | result = [] |
| 344 | _searchbases(cls, result) |
| 345 | return tuple(result) |
| 346 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 347 | # -------------------------------------------------- source code extraction |
| 348 | def indentsize(line): |
| 349 | """Return the indent size, in spaces, at the start of a line of text.""" |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 350 | expline = line.expandtabs() |
| 351 | return len(expline) - len(expline.lstrip()) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 352 | |
| 353 | def getdoc(object): |
| 354 | """Get the documentation string for an object. |
| 355 | |
| 356 | All tabs are expanded to spaces. To clean up docstrings that are |
| 357 | indented to line up with blocks of code, any whitespace than can be |
| 358 | uniformly removed from the second line onwards is removed.""" |
Tim Peters | 2400831 | 2002-03-17 18:56:20 +0000 | [diff] [blame] | 359 | try: |
| 360 | doc = object.__doc__ |
| 361 | except AttributeError: |
| 362 | return None |
Guido van Rossum | 3172c5d | 2007-10-16 18:12:55 +0000 | [diff] [blame] | 363 | if not isinstance(doc, str): |
Tim Peters | 2400831 | 2002-03-17 18:56:20 +0000 | [diff] [blame] | 364 | return None |
Georg Brandl | 0c77a82 | 2008-06-10 16:37:50 +0000 | [diff] [blame] | 365 | return cleandoc(doc) |
| 366 | |
| 367 | def cleandoc(doc): |
| 368 | """Clean up indentation from docstrings. |
| 369 | |
| 370 | Any whitespace that can be uniformly removed from the second line |
| 371 | onwards is removed.""" |
Tim Peters | 2400831 | 2002-03-17 18:56:20 +0000 | [diff] [blame] | 372 | try: |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 373 | lines = doc.expandtabs().split('\n') |
Tim Peters | 2400831 | 2002-03-17 18:56:20 +0000 | [diff] [blame] | 374 | except UnicodeError: |
| 375 | return None |
| 376 | else: |
Ka-Ping Yee | a59ef7b | 2002-11-30 03:53:15 +0000 | [diff] [blame] | 377 | # Find minimum indentation of any non-blank lines after first line. |
Christian Heimes | a37d4c6 | 2007-12-04 23:02:19 +0000 | [diff] [blame] | 378 | margin = sys.maxsize |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 379 | for line in lines[1:]: |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 380 | content = len(line.lstrip()) |
Ka-Ping Yee | a59ef7b | 2002-11-30 03:53:15 +0000 | [diff] [blame] | 381 | if content: |
| 382 | indent = len(line) - content |
| 383 | margin = min(margin, indent) |
| 384 | # Remove indentation. |
| 385 | if lines: |
| 386 | lines[0] = lines[0].lstrip() |
Christian Heimes | a37d4c6 | 2007-12-04 23:02:19 +0000 | [diff] [blame] | 387 | if margin < sys.maxsize: |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 388 | for i in range(1, len(lines)): lines[i] = lines[i][margin:] |
Ka-Ping Yee | a59ef7b | 2002-11-30 03:53:15 +0000 | [diff] [blame] | 389 | # Remove any trailing or leading blank lines. |
| 390 | while lines and not lines[-1]: |
| 391 | lines.pop() |
| 392 | while lines and not lines[0]: |
| 393 | lines.pop(0) |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 394 | return '\n'.join(lines) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 395 | |
| 396 | def getfile(object): |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 397 | """Work out which source or compiled file an object was defined in.""" |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 398 | if ismodule(object): |
| 399 | if hasattr(object, '__file__'): |
| 400 | return object.__file__ |
Benjamin Peterson | f3d7dbe | 2009-10-04 14:54:52 +0000 | [diff] [blame] | 401 | raise TypeError('{!r} is a built-in module'.format(object)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 402 | if isclass(object): |
Ka-Ping Yee | c99e0f1 | 2001-04-13 12:10:40 +0000 | [diff] [blame] | 403 | object = sys.modules.get(object.__module__) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 404 | if hasattr(object, '__file__'): |
| 405 | return object.__file__ |
Benjamin Peterson | f3d7dbe | 2009-10-04 14:54:52 +0000 | [diff] [blame] | 406 | raise TypeError('{!r} is a built-in class'.format(object)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 407 | if ismethod(object): |
Christian Heimes | ff73795 | 2007-11-27 10:40:20 +0000 | [diff] [blame] | 408 | object = object.__func__ |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 409 | if isfunction(object): |
Neal Norwitz | 221085d | 2007-02-25 20:55:47 +0000 | [diff] [blame] | 410 | object = object.__code__ |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 411 | if istraceback(object): |
| 412 | object = object.tb_frame |
| 413 | if isframe(object): |
| 414 | object = object.f_code |
| 415 | if iscode(object): |
| 416 | return object.co_filename |
Benjamin Peterson | f3d7dbe | 2009-10-04 14:54:52 +0000 | [diff] [blame] | 417 | raise TypeError('{!r} is not a module, class, method, ' |
| 418 | 'function, traceback, frame, or code object'.format(object)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 419 | |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 420 | ModuleInfo = namedtuple('ModuleInfo', 'name suffix mode module_type') |
| 421 | |
Ka-Ping Yee | 4d6fc7f | 2001-04-10 11:43:00 +0000 | [diff] [blame] | 422 | def getmoduleinfo(path): |
| 423 | """Get the module name, suffix, mode, and module type for a given file.""" |
| 424 | filename = os.path.basename(path) |
Guido van Rossum | 1bc535d | 2007-05-15 18:46:22 +0000 | [diff] [blame] | 425 | suffixes = [(-len(suffix), suffix, mode, mtype) |
| 426 | for suffix, mode, mtype in imp.get_suffixes()] |
Ka-Ping Yee | 4d6fc7f | 2001-04-10 11:43:00 +0000 | [diff] [blame] | 427 | suffixes.sort() # try longest suffixes first, in case they overlap |
| 428 | for neglen, suffix, mode, mtype in suffixes: |
| 429 | if filename[neglen:] == suffix: |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 430 | return ModuleInfo(filename[:neglen], suffix, mode, mtype) |
Ka-Ping Yee | 4d6fc7f | 2001-04-10 11:43:00 +0000 | [diff] [blame] | 431 | |
| 432 | def getmodulename(path): |
| 433 | """Return the module name for a given file, or None.""" |
| 434 | info = getmoduleinfo(path) |
| 435 | if info: return info[0] |
| 436 | |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 437 | def getsourcefile(object): |
R. David Murray | 19d8cc5 | 2010-06-17 02:06:12 +0000 | [diff] [blame] | 438 | """Return the filename that can be used to locate an object's source. |
| 439 | Return None if no way can be identified to get the source. |
| 440 | """ |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 441 | filename = getfile(object) |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 442 | if filename[-4:].lower() in ('.pyc', '.pyo'): |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 443 | filename = filename[:-4] + '.py' |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 444 | for suffix, mode, kind in imp.get_suffixes(): |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 445 | if 'b' in mode and filename[-len(suffix):].lower() == suffix: |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 446 | # Looks like a binary file. We want to only return a text file. |
| 447 | return None |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 448 | if os.path.exists(filename): |
| 449 | return filename |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 450 | # only return a non-existent filename if the module has a PEP 302 loader |
| 451 | if hasattr(getmodule(object, filename), '__loader__'): |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 452 | return filename |
R. David Murray | 19d8cc5 | 2010-06-17 02:06:12 +0000 | [diff] [blame] | 453 | # or it is in the linecache |
| 454 | if filename in linecache.cache: |
| 455 | return filename |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 456 | |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 457 | def getabsfile(object, _filename=None): |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 458 | """Return an absolute path to the source or compiled file for an object. |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 459 | |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 460 | The idea is for each object to have a unique origin, so this routine |
| 461 | normalizes the result as much as possible.""" |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 462 | if _filename is None: |
| 463 | _filename = getsourcefile(object) or getfile(object) |
| 464 | return os.path.normcase(os.path.abspath(_filename)) |
Ka-Ping Yee | c113c24 | 2001-03-02 02:08:53 +0000 | [diff] [blame] | 465 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 466 | modulesbyfile = {} |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 467 | _filesbymodname = {} |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 468 | |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 469 | def getmodule(object, _filename=None): |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 470 | """Return the module an object was defined in, or None if not found.""" |
Ka-Ping Yee | 202c99b | 2001-04-13 09:15:08 +0000 | [diff] [blame] | 471 | if ismodule(object): |
| 472 | return object |
Johannes Gijsbers | 9324526 | 2004-09-11 15:53:22 +0000 | [diff] [blame] | 473 | if hasattr(object, '__module__'): |
Ka-Ping Yee | 8b58b84 | 2001-03-01 13:56:16 +0000 | [diff] [blame] | 474 | return sys.modules.get(object.__module__) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 475 | # Try the filename to modulename cache |
| 476 | if _filename is not None and _filename in modulesbyfile: |
| 477 | return sys.modules.get(modulesbyfile[_filename]) |
| 478 | # Try the cache again with the absolute file name |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 479 | try: |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 480 | file = getabsfile(object, _filename) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 481 | except TypeError: |
| 482 | return None |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 483 | if file in modulesbyfile: |
Ka-Ping Yee | b38bbbd | 2003-03-28 16:29:50 +0000 | [diff] [blame] | 484 | return sys.modules.get(modulesbyfile[file]) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 485 | # Update the filename to module name cache and check yet again |
| 486 | # Copy sys.modules in order to cope with changes while iterating |
| 487 | for modname, module in sys.modules.items(): |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 488 | if ismodule(module) and hasattr(module, '__file__'): |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 489 | f = module.__file__ |
| 490 | if f == _filesbymodname.get(modname, None): |
| 491 | # Have already mapped this module, so skip it |
| 492 | continue |
| 493 | _filesbymodname[modname] = f |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 494 | f = getabsfile(module) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 495 | # Always map to the name the module knows itself by |
Thomas Wouters | 0e3f591 | 2006-08-11 14:57:12 +0000 | [diff] [blame] | 496 | modulesbyfile[f] = modulesbyfile[ |
| 497 | os.path.realpath(f)] = module.__name__ |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 498 | if file in modulesbyfile: |
Ka-Ping Yee | b38bbbd | 2003-03-28 16:29:50 +0000 | [diff] [blame] | 499 | return sys.modules.get(modulesbyfile[file]) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 500 | # Check the main module |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 501 | main = sys.modules['__main__'] |
Brett Cannon | 4a671fe | 2003-06-15 22:33:28 +0000 | [diff] [blame] | 502 | if not hasattr(object, '__name__'): |
| 503 | return None |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 504 | if hasattr(main, object.__name__): |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 505 | mainobject = getattr(main, object.__name__) |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 506 | if mainobject is object: |
| 507 | return main |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 508 | # Check builtins |
Georg Brandl | 1a3284e | 2007-12-02 09:40:06 +0000 | [diff] [blame] | 509 | builtin = sys.modules['builtins'] |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 510 | if hasattr(builtin, object.__name__): |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 511 | builtinobject = getattr(builtin, object.__name__) |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 512 | if builtinobject is object: |
| 513 | return builtin |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 514 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 515 | def findsource(object): |
| 516 | """Return the entire source file and starting line number for an object. |
| 517 | |
| 518 | The argument may be a module, class, method, function, traceback, frame, |
| 519 | or code object. The source code is returned as a list of all the lines |
| 520 | in the file and the line number indexes a line in that list. An IOError |
| 521 | is raised if the source code cannot be retrieved.""" |
R. David Murray | 74b8924 | 2009-05-13 17:33:03 +0000 | [diff] [blame] | 522 | file = getsourcefile(object) |
| 523 | if not file: |
| 524 | raise IOError('source code not available') |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 525 | module = getmodule(object, file) |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 526 | if module: |
| 527 | lines = linecache.getlines(file, module.__dict__) |
| 528 | else: |
| 529 | lines = linecache.getlines(file) |
Neil Schemenauer | f06f853 | 2002-03-23 23:51:04 +0000 | [diff] [blame] | 530 | if not lines: |
Jeremy Hylton | ab91902 | 2003-06-27 18:41:20 +0000 | [diff] [blame] | 531 | raise IOError('could not get source code') |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 532 | |
| 533 | if ismodule(object): |
| 534 | return lines, 0 |
| 535 | |
| 536 | if isclass(object): |
| 537 | name = object.__name__ |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 538 | pat = re.compile(r'^(\s*)class\s*' + name + r'\b') |
| 539 | # make some effort to find the best matching class definition: |
| 540 | # use the one with the least indentation, which is the one |
| 541 | # that's most probably not inside a function definition. |
| 542 | candidates = [] |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 543 | for i in range(len(lines)): |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 544 | match = pat.match(lines[i]) |
| 545 | if match: |
| 546 | # if it's at toplevel, it's already the best one |
| 547 | if lines[i][0] == 'c': |
| 548 | return lines, i |
| 549 | # else add whitespace to candidate list |
| 550 | candidates.append((match.group(1), i)) |
| 551 | if candidates: |
| 552 | # this will sort by whitespace, and by line number, |
| 553 | # less whitespace first |
| 554 | candidates.sort() |
| 555 | return lines, candidates[0][1] |
Jeremy Hylton | ab91902 | 2003-06-27 18:41:20 +0000 | [diff] [blame] | 556 | else: |
| 557 | raise IOError('could not find class definition') |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 558 | |
| 559 | if ismethod(object): |
Christian Heimes | ff73795 | 2007-11-27 10:40:20 +0000 | [diff] [blame] | 560 | object = object.__func__ |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 561 | if isfunction(object): |
Neal Norwitz | 221085d | 2007-02-25 20:55:47 +0000 | [diff] [blame] | 562 | object = object.__code__ |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 563 | if istraceback(object): |
| 564 | object = object.tb_frame |
| 565 | if isframe(object): |
| 566 | object = object.f_code |
| 567 | if iscode(object): |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 568 | if not hasattr(object, 'co_firstlineno'): |
Jeremy Hylton | ab91902 | 2003-06-27 18:41:20 +0000 | [diff] [blame] | 569 | raise IOError('could not find function definition') |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 570 | lnum = object.co_firstlineno - 1 |
Johannes Gijsbers | 1542f34 | 2004-12-12 16:46:28 +0000 | [diff] [blame] | 571 | pat = re.compile(r'^(\s*def\s)|(.*(?<!\w)lambda(:|\s))|^(\s*@)') |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 572 | while lnum > 0: |
Ka-Ping Yee | a6e5971 | 2001-03-10 09:31:55 +0000 | [diff] [blame] | 573 | if pat.match(lines[lnum]): break |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 574 | lnum = lnum - 1 |
| 575 | return lines, lnum |
Jeremy Hylton | ab91902 | 2003-06-27 18:41:20 +0000 | [diff] [blame] | 576 | raise IOError('could not find code object') |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 577 | |
| 578 | def getcomments(object): |
Jeremy Hylton | b4c17c8 | 2002-03-28 23:01:56 +0000 | [diff] [blame] | 579 | """Get lines of comments immediately preceding an object's source code. |
| 580 | |
| 581 | Returns None when source can't be found. |
| 582 | """ |
| 583 | try: |
| 584 | lines, lnum = findsource(object) |
| 585 | except (IOError, TypeError): |
| 586 | return None |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 587 | |
| 588 | if ismodule(object): |
| 589 | # Look for a comment block at the top of the file. |
| 590 | start = 0 |
Ka-Ping Yee | b910efe | 2001-04-12 13:17:17 +0000 | [diff] [blame] | 591 | if lines and lines[0][:2] == '#!': start = 1 |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 592 | while start < len(lines) and lines[start].strip() in ('', '#'): |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 593 | start = start + 1 |
Ka-Ping Yee | b910efe | 2001-04-12 13:17:17 +0000 | [diff] [blame] | 594 | if start < len(lines) and lines[start][:1] == '#': |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 595 | comments = [] |
| 596 | end = start |
| 597 | while end < len(lines) and lines[end][:1] == '#': |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 598 | comments.append(lines[end].expandtabs()) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 599 | end = end + 1 |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 600 | return ''.join(comments) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 601 | |
| 602 | # Look for a preceding block of comments at the same indentation. |
| 603 | elif lnum > 0: |
| 604 | indent = indentsize(lines[lnum]) |
| 605 | end = lnum - 1 |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 606 | if end >= 0 and lines[end].lstrip()[:1] == '#' and \ |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 607 | indentsize(lines[end]) == indent: |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 608 | comments = [lines[end].expandtabs().lstrip()] |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 609 | if end > 0: |
| 610 | end = end - 1 |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 611 | comment = lines[end].expandtabs().lstrip() |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 612 | while comment[:1] == '#' and indentsize(lines[end]) == indent: |
| 613 | comments[:0] = [comment] |
| 614 | end = end - 1 |
| 615 | if end < 0: break |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 616 | comment = lines[end].expandtabs().lstrip() |
| 617 | while comments and comments[0].strip() == '#': |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 618 | comments[:1] = [] |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 619 | while comments and comments[-1].strip() == '#': |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 620 | comments[-1:] = [] |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 621 | return ''.join(comments) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 622 | |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 623 | class EndOfBlock(Exception): pass |
| 624 | |
| 625 | class BlockFinder: |
| 626 | """Provide a tokeneater() method to detect the end of a code block.""" |
| 627 | def __init__(self): |
| 628 | self.indent = 0 |
Johannes Gijsbers | a5855d5 | 2005-03-12 16:37:11 +0000 | [diff] [blame] | 629 | self.islambda = False |
Johannes Gijsbers | 1542f34 | 2004-12-12 16:46:28 +0000 | [diff] [blame] | 630 | self.started = False |
| 631 | self.passline = False |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 632 | self.last = 1 |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 633 | |
Guido van Rossum | 1bc535d | 2007-05-15 18:46:22 +0000 | [diff] [blame] | 634 | def tokeneater(self, type, token, srowcol, erowcol, line): |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 635 | if not self.started: |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 636 | # look for the first "def", "class" or "lambda" |
Johannes Gijsbers | 1542f34 | 2004-12-12 16:46:28 +0000 | [diff] [blame] | 637 | if token in ("def", "class", "lambda"): |
Johannes Gijsbers | a5855d5 | 2005-03-12 16:37:11 +0000 | [diff] [blame] | 638 | if token == "lambda": |
| 639 | self.islambda = True |
Johannes Gijsbers | 1542f34 | 2004-12-12 16:46:28 +0000 | [diff] [blame] | 640 | self.started = True |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 641 | self.passline = True # skip to the end of the line |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 642 | elif type == tokenize.NEWLINE: |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 643 | self.passline = False # stop skipping when a NEWLINE is seen |
Guido van Rossum | 1bc535d | 2007-05-15 18:46:22 +0000 | [diff] [blame] | 644 | self.last = srowcol[0] |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 645 | if self.islambda: # lambdas always end at the first NEWLINE |
| 646 | raise EndOfBlock |
Johannes Gijsbers | 1542f34 | 2004-12-12 16:46:28 +0000 | [diff] [blame] | 647 | elif self.passline: |
| 648 | pass |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 649 | elif type == tokenize.INDENT: |
| 650 | self.indent = self.indent + 1 |
Johannes Gijsbers | 1542f34 | 2004-12-12 16:46:28 +0000 | [diff] [blame] | 651 | self.passline = True |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 652 | elif type == tokenize.DEDENT: |
| 653 | self.indent = self.indent - 1 |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 654 | # the end of matching indent/dedent pairs end a block |
| 655 | # (note that this only works for "def"/"class" blocks, |
| 656 | # not e.g. for "if: else:" or "try: finally:" blocks) |
| 657 | if self.indent <= 0: |
| 658 | raise EndOfBlock |
| 659 | elif self.indent == 0 and type not in (tokenize.COMMENT, tokenize.NL): |
| 660 | # any other token on the same indentation level end the previous |
| 661 | # block as well, except the pseudo-tokens COMMENT and NL. |
| 662 | raise EndOfBlock |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 663 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 664 | def getblock(lines): |
| 665 | """Extract the block of code at the top of the given list of lines.""" |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 666 | blockfinder = BlockFinder() |
Tim Peters | 4efb6e9 | 2001-06-29 23:51:08 +0000 | [diff] [blame] | 667 | try: |
Trent Nelson | 428de65 | 2008-03-18 22:41:35 +0000 | [diff] [blame] | 668 | tokens = tokenize.generate_tokens(iter(lines).__next__) |
| 669 | for _token in tokens: |
| 670 | blockfinder.tokeneater(*_token) |
Armin Rigo | dd5c023 | 2005-09-25 11:45:45 +0000 | [diff] [blame] | 671 | except (EndOfBlock, IndentationError): |
| 672 | pass |
| 673 | return lines[:blockfinder.last] |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 674 | |
| 675 | def getsourcelines(object): |
| 676 | """Return a list of source lines and starting line number for an object. |
| 677 | |
| 678 | The argument may be a module, class, method, function, traceback, frame, |
| 679 | or code object. The source code is returned as a list of the lines |
| 680 | corresponding to the object and the line number indicates where in the |
| 681 | original source file the first line of code was found. An IOError is |
| 682 | raised if the source code cannot be retrieved.""" |
| 683 | lines, lnum = findsource(object) |
| 684 | |
| 685 | if ismodule(object): return lines, 0 |
| 686 | else: return getblock(lines[lnum:]), lnum + 1 |
| 687 | |
| 688 | def getsource(object): |
| 689 | """Return the text of the source code for an object. |
| 690 | |
| 691 | The argument may be a module, class, method, function, traceback, frame, |
| 692 | or code object. The source code is returned as a single string. An |
| 693 | IOError is raised if the source code cannot be retrieved.""" |
| 694 | lines, lnum = getsourcelines(object) |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 695 | return ''.join(lines) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 696 | |
| 697 | # --------------------------------------------------- class tree extraction |
| 698 | def walktree(classes, children, parent): |
| 699 | """Recursive helper function for getclasstree().""" |
| 700 | results = [] |
Raymond Hettinger | a1a992c | 2005-03-11 06:46:45 +0000 | [diff] [blame] | 701 | classes.sort(key=attrgetter('__module__', '__name__')) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 702 | for c in classes: |
| 703 | results.append((c, c.__bases__)) |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 704 | if c in children: |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 705 | results.append(walktree(children[c], children, c)) |
| 706 | return results |
| 707 | |
Georg Brandl | 5ce83a0 | 2009-06-01 17:23:51 +0000 | [diff] [blame] | 708 | def getclasstree(classes, unique=False): |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 709 | """Arrange the given list of classes into a hierarchy of nested lists. |
| 710 | |
| 711 | Where a nested list appears, it contains classes derived from the class |
| 712 | whose entry immediately precedes the list. Each entry is a 2-tuple |
| 713 | containing a class and a tuple of its base classes. If the 'unique' |
| 714 | argument is true, exactly one entry appears in the returned structure |
| 715 | for each class in the given list. Otherwise, classes using multiple |
| 716 | inheritance and their descendants will appear multiple times.""" |
| 717 | children = {} |
| 718 | roots = [] |
| 719 | for c in classes: |
| 720 | if c.__bases__: |
| 721 | for parent in c.__bases__: |
Raymond Hettinger | 54f0222 | 2002-06-01 14:18:47 +0000 | [diff] [blame] | 722 | if not parent in children: |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 723 | children[parent] = [] |
| 724 | children[parent].append(c) |
| 725 | if unique and parent in classes: break |
| 726 | elif c not in roots: |
| 727 | roots.append(c) |
Raymond Hettinger | e0d4972 | 2002-06-02 18:55:56 +0000 | [diff] [blame] | 728 | for parent in children: |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 729 | if parent not in classes: |
| 730 | roots.append(parent) |
| 731 | return walktree(roots, children, None) |
| 732 | |
| 733 | # ------------------------------------------------ argument list extraction |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 734 | Arguments = namedtuple('Arguments', 'args, varargs, varkw') |
| 735 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 736 | def getargs(co): |
| 737 | """Get information about the arguments accepted by a code object. |
| 738 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 739 | Three things are returned: (args, varargs, varkw), where |
Guido van Rossum | a8add0e | 2007-05-14 22:03:55 +0000 | [diff] [blame] | 740 | 'args' is the list of argument names, possibly containing nested |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 741 | lists. Keyword-only arguments are appended. 'varargs' and 'varkw' |
| 742 | are the names of the * and ** arguments or None.""" |
| 743 | args, varargs, kwonlyargs, varkw = _getfullargs(co) |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 744 | return Arguments(args + kwonlyargs, varargs, varkw) |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 745 | |
| 746 | def _getfullargs(co): |
| 747 | """Get information about the arguments accepted by a code object. |
| 748 | |
| 749 | Four things are returned: (args, varargs, kwonlyargs, varkw), where |
| 750 | 'args' and 'kwonlyargs' are lists of argument names (with 'args' |
| 751 | possibly containing nested lists), and 'varargs' and 'varkw' are the |
| 752 | names of the * and ** arguments or None.""" |
Jeremy Hylton | 6496788 | 2003-06-27 18:14:39 +0000 | [diff] [blame] | 753 | |
| 754 | if not iscode(co): |
Benjamin Peterson | f3d7dbe | 2009-10-04 14:54:52 +0000 | [diff] [blame] | 755 | raise TypeError('{!r} is not a code object'.format(co)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 756 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 757 | nargs = co.co_argcount |
| 758 | names = co.co_varnames |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 759 | nkwargs = co.co_kwonlyargcount |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 760 | args = list(names[:nargs]) |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 761 | kwonlyargs = list(names[nargs:nargs+nkwargs]) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 762 | step = 0 |
| 763 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 764 | nargs += nkwargs |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 765 | varargs = None |
| 766 | if co.co_flags & CO_VARARGS: |
| 767 | varargs = co.co_varnames[nargs] |
| 768 | nargs = nargs + 1 |
| 769 | varkw = None |
| 770 | if co.co_flags & CO_VARKEYWORDS: |
| 771 | varkw = co.co_varnames[nargs] |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 772 | return args, varargs, kwonlyargs, varkw |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 773 | |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 774 | |
| 775 | ArgSpec = namedtuple('ArgSpec', 'args varargs keywords defaults') |
| 776 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 777 | def getargspec(func): |
| 778 | """Get the names and default values of a function's arguments. |
| 779 | |
| 780 | A tuple of four things is returned: (args, varargs, varkw, defaults). |
| 781 | 'args' is a list of the argument names (it may contain nested lists). |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 782 | 'args' will include keyword-only argument names. |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 783 | 'varargs' and 'varkw' are the names of the * and ** arguments or None. |
Jeremy Hylton | 6496788 | 2003-06-27 18:14:39 +0000 | [diff] [blame] | 784 | 'defaults' is an n-tuple of the default values of the last n arguments. |
Guido van Rossum | a8add0e | 2007-05-14 22:03:55 +0000 | [diff] [blame] | 785 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 786 | Use the getfullargspec() API for Python-3000 code, as annotations |
| 787 | and keyword arguments are supported. getargspec() will raise ValueError |
| 788 | if the func has either annotations or keyword arguments. |
| 789 | """ |
| 790 | |
| 791 | args, varargs, varkw, defaults, kwonlyargs, kwonlydefaults, ann = \ |
| 792 | getfullargspec(func) |
| 793 | if kwonlyargs or ann: |
Collin Winter | ce36ad8 | 2007-08-30 01:19:48 +0000 | [diff] [blame] | 794 | raise ValueError("Function has keyword-only arguments or annotations" |
| 795 | ", use getfullargspec() API which can support them") |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 796 | return ArgSpec(args, varargs, varkw, defaults) |
| 797 | |
| 798 | FullArgSpec = namedtuple('FullArgSpec', |
Benjamin Peterson | 3d4ca74 | 2008-11-12 21:39:01 +0000 | [diff] [blame] | 799 | 'args, varargs, varkw, defaults, kwonlyargs, kwonlydefaults, annotations') |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 800 | |
| 801 | def getfullargspec(func): |
| 802 | """Get the names and default values of a function's arguments. |
| 803 | |
Brett Cannon | 504d885 | 2007-09-07 02:12:14 +0000 | [diff] [blame] | 804 | A tuple of seven things is returned: |
| 805 | (args, varargs, varkw, defaults, kwonlyargs, kwonlydefaults annotations). |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 806 | 'args' is a list of the argument names (it may contain nested lists). |
| 807 | 'varargs' and 'varkw' are the names of the * and ** arguments or None. |
| 808 | 'defaults' is an n-tuple of the default values of the last n arguments. |
| 809 | 'kwonlyargs' is a list of keyword-only argument names. |
| 810 | 'kwonlydefaults' is a dictionary mapping names from kwonlyargs to defaults. |
| 811 | 'annotations' is a dictionary mapping argument names to annotations. |
Guido van Rossum | a8add0e | 2007-05-14 22:03:55 +0000 | [diff] [blame] | 812 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 813 | The first four items in the tuple correspond to getargspec(). |
Jeremy Hylton | 6496788 | 2003-06-27 18:14:39 +0000 | [diff] [blame] | 814 | """ |
| 815 | |
| 816 | if ismethod(func): |
Christian Heimes | ff73795 | 2007-11-27 10:40:20 +0000 | [diff] [blame] | 817 | func = func.__func__ |
Jeremy Hylton | 6496788 | 2003-06-27 18:14:39 +0000 | [diff] [blame] | 818 | if not isfunction(func): |
Benjamin Peterson | f3d7dbe | 2009-10-04 14:54:52 +0000 | [diff] [blame] | 819 | raise TypeError('{!r} is not a Python function'.format(func)) |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 820 | args, varargs, kwonlyargs, varkw = _getfullargs(func.__code__) |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 821 | return FullArgSpec(args, varargs, varkw, func.__defaults__, |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 822 | kwonlyargs, func.__kwdefaults__, func.__annotations__) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 823 | |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 824 | ArgInfo = namedtuple('ArgInfo', 'args varargs keywords locals') |
| 825 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 826 | def getargvalues(frame): |
| 827 | """Get information about arguments passed into a particular frame. |
| 828 | |
| 829 | A tuple of four things is returned: (args, varargs, varkw, locals). |
| 830 | 'args' is a list of the argument names (it may contain nested lists). |
| 831 | 'varargs' and 'varkw' are the names of the * and ** arguments or None. |
| 832 | 'locals' is the locals dictionary of the given frame.""" |
| 833 | args, varargs, varkw = getargs(frame.f_code) |
Benjamin Peterson | 1a6e0d0 | 2008-10-25 15:49:17 +0000 | [diff] [blame] | 834 | return ArgInfo(args, varargs, varkw, frame.f_locals) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 835 | |
| 836 | def joinseq(seq): |
| 837 | if len(seq) == 1: |
| 838 | return '(' + seq[0] + ',)' |
| 839 | else: |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 840 | return '(' + ', '.join(seq) + ')' |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 841 | |
| 842 | def strseq(object, convert, join=joinseq): |
| 843 | """Recursively walk a sequence, stringifying each element.""" |
Raymond Hettinger | dbecd93 | 2005-02-06 06:57:08 +0000 | [diff] [blame] | 844 | if type(object) in (list, tuple): |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 845 | return join(map(lambda o, c=convert, j=join: strseq(o, c, j), object)) |
| 846 | else: |
| 847 | return convert(object) |
| 848 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 849 | def formatannotation(annotation, base_module=None): |
| 850 | if isinstance(annotation, type): |
Georg Brandl | 1a3284e | 2007-12-02 09:40:06 +0000 | [diff] [blame] | 851 | if annotation.__module__ in ('builtins', base_module): |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 852 | return annotation.__name__ |
| 853 | return annotation.__module__+'.'+annotation.__name__ |
| 854 | return repr(annotation) |
Guido van Rossum | a8add0e | 2007-05-14 22:03:55 +0000 | [diff] [blame] | 855 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 856 | def formatannotationrelativeto(object): |
Guido van Rossum | a8add0e | 2007-05-14 22:03:55 +0000 | [diff] [blame] | 857 | module = getattr(object, '__module__', None) |
| 858 | def _formatannotation(annotation): |
| 859 | return formatannotation(annotation, module) |
| 860 | return _formatannotation |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 861 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 862 | def formatargspec(args, varargs=None, varkw=None, defaults=None, |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 863 | kwonlyargs=(), kwonlydefaults={}, annotations={}, |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 864 | formatarg=str, |
| 865 | formatvarargs=lambda name: '*' + name, |
| 866 | formatvarkw=lambda name: '**' + name, |
| 867 | formatvalue=lambda value: '=' + repr(value), |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 868 | formatreturns=lambda text: ' -> ' + text, |
| 869 | formatannotation=formatannotation, |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 870 | join=joinseq): |
Guido van Rossum | a8add0e | 2007-05-14 22:03:55 +0000 | [diff] [blame] | 871 | """Format an argument spec from the values returned by getargspec |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 872 | or getfullargspec. |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 873 | |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 874 | The first seven arguments are (args, varargs, varkw, defaults, |
| 875 | kwonlyargs, kwonlydefaults, annotations). The other five arguments |
| 876 | are the corresponding optional formatting functions that are called to |
| 877 | turn names and values into strings. The last argument is an optional |
| 878 | function to format the sequence of arguments.""" |
| 879 | def formatargandannotation(arg): |
| 880 | result = formatarg(arg) |
| 881 | if arg in annotations: |
| 882 | result += ': ' + formatannotation(annotations[arg]) |
| 883 | return result |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 884 | specs = [] |
| 885 | if defaults: |
| 886 | firstdefault = len(args) - len(defaults) |
Benjamin Peterson | b58dda7 | 2009-01-18 22:27:04 +0000 | [diff] [blame] | 887 | for i, arg in enumerate(args): |
| 888 | spec = strseq(arg, formatargandannotation, join) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 889 | if defaults and i >= firstdefault: |
| 890 | spec = spec + formatvalue(defaults[i - firstdefault]) |
| 891 | specs.append(spec) |
Raymond Hettinger | 936654b | 2002-06-01 03:06:31 +0000 | [diff] [blame] | 892 | if varargs is not None: |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 893 | specs.append(formatvarargs(formatargandannotation(varargs))) |
| 894 | else: |
| 895 | if kwonlyargs: |
| 896 | specs.append('*') |
| 897 | if kwonlyargs: |
| 898 | for kwonlyarg in kwonlyargs: |
| 899 | spec = formatargandannotation(kwonlyarg) |
Benjamin Peterson | 9953a8d | 2009-01-17 04:15:01 +0000 | [diff] [blame] | 900 | if kwonlydefaults and kwonlyarg in kwonlydefaults: |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 901 | spec += formatvalue(kwonlydefaults[kwonlyarg]) |
| 902 | specs.append(spec) |
Raymond Hettinger | 936654b | 2002-06-01 03:06:31 +0000 | [diff] [blame] | 903 | if varkw is not None: |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 904 | specs.append(formatvarkw(formatargandannotation(varkw))) |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 905 | result = '(' + ', '.join(specs) + ')' |
Guido van Rossum | 2e65f89 | 2007-02-28 22:03:49 +0000 | [diff] [blame] | 906 | if 'return' in annotations: |
| 907 | result += formatreturns(formatannotation(annotations['return'])) |
| 908 | return result |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 909 | |
| 910 | def formatargvalues(args, varargs, varkw, locals, |
| 911 | formatarg=str, |
| 912 | formatvarargs=lambda name: '*' + name, |
| 913 | formatvarkw=lambda name: '**' + name, |
| 914 | formatvalue=lambda value: '=' + repr(value), |
| 915 | join=joinseq): |
| 916 | """Format an argument spec from the 4 values returned by getargvalues. |
| 917 | |
| 918 | The first four arguments are (args, varargs, varkw, locals). The |
| 919 | next four arguments are the corresponding optional formatting functions |
| 920 | that are called to turn names and values into strings. The ninth |
| 921 | argument is an optional function to format the sequence of arguments.""" |
| 922 | def convert(name, locals=locals, |
| 923 | formatarg=formatarg, formatvalue=formatvalue): |
| 924 | return formatarg(name) + formatvalue(locals[name]) |
| 925 | specs = [] |
| 926 | for i in range(len(args)): |
| 927 | specs.append(strseq(args[i], convert, join)) |
| 928 | if varargs: |
| 929 | specs.append(formatvarargs(varargs) + formatvalue(locals[varargs])) |
| 930 | if varkw: |
| 931 | specs.append(formatvarkw(varkw) + formatvalue(locals[varkw])) |
Neal Norwitz | 9d72bb4 | 2007-04-17 08:48:32 +0000 | [diff] [blame] | 932 | return '(' + ', '.join(specs) + ')' |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 933 | |
| 934 | # -------------------------------------------------- stack frame extraction |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 935 | |
| 936 | Traceback = namedtuple('Traceback', 'filename lineno function code_context index') |
| 937 | |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 938 | def getframeinfo(frame, context=1): |
| 939 | """Get information about a frame or traceback object. |
| 940 | |
| 941 | A tuple of five things is returned: the filename, the line number of |
| 942 | the current line, the function name, a list of lines of context from |
| 943 | the source code, and the index of the current line within that list. |
| 944 | The optional second argument specifies the number of lines of context |
| 945 | to return, which are centered around the current line.""" |
| 946 | if istraceback(frame): |
Andrew M. Kuchling | ba8b6bc | 2004-06-05 14:11:59 +0000 | [diff] [blame] | 947 | lineno = frame.tb_lineno |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 948 | frame = frame.tb_frame |
Andrew M. Kuchling | ba8b6bc | 2004-06-05 14:11:59 +0000 | [diff] [blame] | 949 | else: |
| 950 | lineno = frame.f_lineno |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 951 | if not isframe(frame): |
Benjamin Peterson | f3d7dbe | 2009-10-04 14:54:52 +0000 | [diff] [blame] | 952 | raise TypeError('{!r} is not a frame or traceback object'.format(frame)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 953 | |
Neil Schemenauer | f06f853 | 2002-03-23 23:51:04 +0000 | [diff] [blame] | 954 | filename = getsourcefile(frame) or getfile(frame) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 955 | if context > 0: |
Guido van Rossum | 54e54c6 | 2001-09-04 19:14:14 +0000 | [diff] [blame] | 956 | start = lineno - 1 - context//2 |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 957 | try: |
| 958 | lines, lnum = findsource(frame) |
Ka-Ping Yee | 4eb0c00 | 2001-03-02 05:50:34 +0000 | [diff] [blame] | 959 | except IOError: |
| 960 | lines = index = None |
| 961 | else: |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 962 | start = max(start, 1) |
Raymond Hettinger | a050171 | 2004-06-15 11:22:53 +0000 | [diff] [blame] | 963 | start = max(0, min(start, len(lines) - context)) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 964 | lines = lines[start:start+context] |
Ka-Ping Yee | 59ade08 | 2001-03-01 03:55:35 +0000 | [diff] [blame] | 965 | index = lineno - 1 - start |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 966 | else: |
| 967 | lines = index = None |
| 968 | |
Christian Heimes | 25bb783 | 2008-01-11 16:17:00 +0000 | [diff] [blame] | 969 | return Traceback(filename, lineno, frame.f_code.co_name, lines, index) |
Ka-Ping Yee | 59ade08 | 2001-03-01 03:55:35 +0000 | [diff] [blame] | 970 | |
| 971 | def getlineno(frame): |
| 972 | """Get the line number from a frame object, allowing for optimization.""" |
Michael W. Hudson | dd32a91 | 2002-08-15 14:59:02 +0000 | [diff] [blame] | 973 | # FrameType.f_lineno is now a descriptor that grovels co_lnotab |
| 974 | return frame.f_lineno |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 975 | |
| 976 | def getouterframes(frame, context=1): |
| 977 | """Get a list of records for a frame and all higher (calling) frames. |
| 978 | |
| 979 | Each record contains a frame object, filename, line number, function |
| 980 | name, a list of lines of context, and index within the context.""" |
| 981 | framelist = [] |
| 982 | while frame: |
| 983 | framelist.append((frame,) + getframeinfo(frame, context)) |
| 984 | frame = frame.f_back |
| 985 | return framelist |
| 986 | |
| 987 | def getinnerframes(tb, context=1): |
| 988 | """Get a list of records for a traceback's frame and all lower frames. |
| 989 | |
| 990 | Each record contains a frame object, filename, line number, function |
| 991 | name, a list of lines of context, and index within the context.""" |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 992 | framelist = [] |
| 993 | while tb: |
| 994 | framelist.append((tb.tb_frame,) + getframeinfo(tb, context)) |
| 995 | tb = tb.tb_next |
| 996 | return framelist |
| 997 | |
Georg Brandl | 01a3052 | 2009-08-13 08:37:59 +0000 | [diff] [blame] | 998 | if hasattr(sys, '_getframe'): |
| 999 | currentframe = sys._getframe |
| 1000 | else: |
| 1001 | currentframe = lambda _=None: None |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 1002 | |
| 1003 | def stack(context=1): |
| 1004 | """Return a list of records for the stack above the caller's frame.""" |
Jeremy Hylton | ab91902 | 2003-06-27 18:41:20 +0000 | [diff] [blame] | 1005 | return getouterframes(sys._getframe(1), context) |
Ka-Ping Yee | 6397c7c | 2001-02-27 14:43:21 +0000 | [diff] [blame] | 1006 | |
| 1007 | def trace(context=1): |
Tim Peters | 85ba673 | 2001-02-28 08:26:44 +0000 | [diff] [blame] | 1008 | """Return a list of records for the stack below the current exception.""" |
Fred Drake | d451ec1 | 2002-04-26 02:29:55 +0000 | [diff] [blame] | 1009 | return getinnerframes(sys.exc_info()[2], context) |