blob: a801a298eac5c7e3b64b60b3d9d7e5f30aab4617 [file] [log] [blame]
Martin v. Löwis09776b72002-08-04 17:22:59 +00001# -*- coding: iso-8859-1 -*-
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +00002"""Get useful information from live Python objects.
3
4This module encapsulates the interface provided by the internal special
5attributes (func_*, co_*, im_*, tb_*, etc.) in a friendlier fashion.
6It also provides some help for examining source code and class layout.
7
8Here are some of the useful functions provided by this module:
9
10 ismodule(), isclass(), ismethod(), isfunction(), istraceback(),
11 isframe(), iscode(), isbuiltin(), isroutine() - check object types
12 getmembers() - get members of an object that satisfy a given condition
13
14 getfile(), getsourcefile(), getsource() - find an object's source code
15 getdoc(), getcomments() - get documentation on an object
16 getmodule() - determine the module that an object came from
17 getclasstree() - arrange classes so as to represent their hierarchy
18
19 getargspec(), getargvalues() - get info about function arguments
20 formatargspec(), formatargvalues() - format an argument spec
21 getouterframes(), getinnerframes() - get info about frames
22 currentframe() - get the current stack frame
23 stack(), trace() - get info about frames on the stack or in a traceback
24"""
25
26# This module is in the public domain. No warranties.
27
Ka-Ping Yee8b58b842001-03-01 13:56:16 +000028__author__ = 'Ka-Ping Yee <ping@lfw.org>'
29__date__ = '1 Jan 2001'
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000030
Neil Schemenauerf06f8532002-03-23 23:51:04 +000031import sys, os, types, string, re, dis, imp, tokenize, linecache
Raymond Hettingera1a992c2005-03-11 06:46:45 +000032from operator import attrgetter
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000033
34# ----------------------------------------------------------- type-checking
35def ismodule(object):
36 """Return true if the object is a module.
37
38 Module objects provide these attributes:
39 __doc__ documentation string
40 __file__ filename (missing for built-in modules)"""
Tim Peters28bc59f2001-09-16 08:40:16 +000041 return isinstance(object, types.ModuleType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000042
43def isclass(object):
44 """Return true if the object is a class.
45
46 Class objects provide these attributes:
47 __doc__ documentation string
48 __module__ name of module in which this class was defined"""
Tim Peters28bc59f2001-09-16 08:40:16 +000049 return isinstance(object, types.ClassType) or hasattr(object, '__bases__')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000050
51def ismethod(object):
52 """Return true if the object is an instance method.
53
54 Instance method objects provide these attributes:
55 __doc__ documentation string
56 __name__ name with which this method was defined
57 im_class class object in which this method belongs
58 im_func function object containing implementation of method
59 im_self instance to which this method is bound, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +000060 return isinstance(object, types.MethodType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000061
Tim Peters536d2262001-09-20 05:13:38 +000062def ismethoddescriptor(object):
Tim Petersf1d90b92001-09-20 05:47:55 +000063 """Return true if the object is a method descriptor.
64
65 But not if ismethod() or isclass() or isfunction() are true.
Tim Peters536d2262001-09-20 05:13:38 +000066
67 This is new in Python 2.2, and, for example, is true of int.__add__.
68 An object passing this test has a __get__ attribute but not a __set__
69 attribute, but beyond that the set of attributes varies. __name__ is
70 usually sensible, and __doc__ often is.
71
Tim Petersf1d90b92001-09-20 05:47:55 +000072 Methods implemented via descriptors that also pass one of the other
73 tests return false from the ismethoddescriptor() test, simply because
74 the other tests promise more -- you can, e.g., count on having the
75 im_func attribute (etc) when an object passes ismethod()."""
Tim Peters536d2262001-09-20 05:13:38 +000076 return (hasattr(object, "__get__")
77 and not hasattr(object, "__set__") # else it's a data descriptor
78 and not ismethod(object) # mutual exclusion
Tim Petersf1d90b92001-09-20 05:47:55 +000079 and not isfunction(object)
Tim Peters536d2262001-09-20 05:13:38 +000080 and not isclass(object))
81
Martin v. Löwise59e2ba2003-05-03 09:09:02 +000082def isdatadescriptor(object):
83 """Return true if the object is a data descriptor.
84
85 Data descriptors have both a __get__ and a __set__ attribute. Examples are
86 properties (defined in Python) and getsets and members (defined in C).
87 Typically, data descriptors will also have __name__ and __doc__ attributes
88 (properties, getsets, and members have both of these attributes), but this
89 is not guaranteed."""
90 return (hasattr(object, "__set__") and hasattr(object, "__get__"))
91
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000092def isfunction(object):
93 """Return true if the object is a user-defined function.
94
95 Function objects provide these attributes:
96 __doc__ documentation string
97 __name__ name with which this function was defined
98 func_code code object containing compiled function bytecode
99 func_defaults tuple of any default values for arguments
100 func_doc (same as __doc__)
101 func_globals global namespace in which this function was defined
102 func_name (same as __name__)"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000103 return isinstance(object, types.FunctionType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000104
105def istraceback(object):
106 """Return true if the object is a traceback.
107
108 Traceback objects provide these attributes:
109 tb_frame frame object at this level
110 tb_lasti index of last attempted instruction in bytecode
111 tb_lineno current line number in Python source code
112 tb_next next inner traceback object (called by this level)"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000113 return isinstance(object, types.TracebackType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000114
115def isframe(object):
116 """Return true if the object is a frame object.
117
118 Frame objects provide these attributes:
119 f_back next outer frame object (this frame's caller)
120 f_builtins built-in namespace seen by this frame
121 f_code code object being executed in this frame
122 f_exc_traceback traceback if raised in this frame, or None
123 f_exc_type exception type if raised in this frame, or None
124 f_exc_value exception value if raised in this frame, or None
125 f_globals global namespace seen by this frame
126 f_lasti index of last attempted instruction in bytecode
127 f_lineno current line number in Python source code
128 f_locals local namespace seen by this frame
129 f_restricted 0 or 1 if frame is in restricted execution mode
130 f_trace tracing function for this frame, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000131 return isinstance(object, types.FrameType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000132
133def iscode(object):
134 """Return true if the object is a code object.
135
136 Code objects provide these attributes:
137 co_argcount number of arguments (not including * or ** args)
138 co_code string of raw compiled bytecode
139 co_consts tuple of constants used in the bytecode
140 co_filename name of file in which this code object was created
141 co_firstlineno number of first line in Python source code
142 co_flags bitmap: 1=optimized | 2=newlocals | 4=*arg | 8=**arg
143 co_lnotab encoded mapping of line numbers to bytecode indices
144 co_name name with which this code object was defined
145 co_names tuple of names of local variables
146 co_nlocals number of local variables
147 co_stacksize virtual machine stack space required
148 co_varnames tuple of names of arguments and local variables"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000149 return isinstance(object, types.CodeType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000150
151def isbuiltin(object):
152 """Return true if the object is a built-in function or method.
153
154 Built-in functions and methods provide these attributes:
155 __doc__ documentation string
156 __name__ original name of this function or method
157 __self__ instance to which a method is bound, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000158 return isinstance(object, types.BuiltinFunctionType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000159
160def isroutine(object):
161 """Return true if the object is any kind of function or method."""
Tim Peters536d2262001-09-20 05:13:38 +0000162 return (isbuiltin(object)
163 or isfunction(object)
164 or ismethod(object)
165 or ismethoddescriptor(object))
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000166
167def getmembers(object, predicate=None):
168 """Return all members of an object as (name, value) pairs sorted by name.
169 Optionally, only return members that satisfy a given predicate."""
170 results = []
171 for key in dir(object):
172 value = getattr(object, key)
173 if not predicate or predicate(value):
174 results.append((key, value))
175 results.sort()
176 return results
177
Tim Peters13b49d32001-09-23 02:00:29 +0000178def classify_class_attrs(cls):
179 """Return list of attribute-descriptor tuples.
180
181 For each name in dir(cls), the return list contains a 4-tuple
182 with these elements:
183
184 0. The name (a string).
185
186 1. The kind of attribute this is, one of these strings:
187 'class method' created via classmethod()
188 'static method' created via staticmethod()
189 'property' created via property()
190 'method' any other flavor of method
191 'data' not a method
192
193 2. The class which defined this attribute (a class).
194
195 3. The object as obtained directly from the defining class's
196 __dict__, not via getattr. This is especially important for
197 data attributes: C.data is just a data object, but
198 C.__dict__['data'] may be a data descriptor with additional
199 info, like a __doc__ string.
200 """
201
202 mro = getmro(cls)
203 names = dir(cls)
204 result = []
205 for name in names:
206 # Get the object associated with the name.
207 # Getting an obj from the __dict__ sometimes reveals more than
208 # using getattr. Static and class methods are dramatic examples.
209 if name in cls.__dict__:
210 obj = cls.__dict__[name]
211 else:
212 obj = getattr(cls, name)
213
214 # Figure out where it was defined.
Tim Peters13b49d32001-09-23 02:00:29 +0000215 homecls = getattr(obj, "__objclass__", None)
216 if homecls is None:
Guido van Rossum687ae002001-10-15 22:03:32 +0000217 # search the dicts.
Tim Peters13b49d32001-09-23 02:00:29 +0000218 for base in mro:
219 if name in base.__dict__:
220 homecls = base
221 break
222
223 # Get the object again, in order to get it from the defining
224 # __dict__ instead of via getattr (if possible).
225 if homecls is not None and name in homecls.__dict__:
226 obj = homecls.__dict__[name]
227
228 # Also get the object via getattr.
229 obj_via_getattr = getattr(cls, name)
230
231 # Classify the object.
232 if isinstance(obj, staticmethod):
233 kind = "static method"
234 elif isinstance(obj, classmethod):
235 kind = "class method"
236 elif isinstance(obj, property):
237 kind = "property"
238 elif (ismethod(obj_via_getattr) or
239 ismethoddescriptor(obj_via_getattr)):
240 kind = "method"
241 else:
242 kind = "data"
243
244 result.append((name, kind, homecls, obj))
245
246 return result
247
Tim Peterse0b2d7a2001-09-22 06:10:55 +0000248# ----------------------------------------------------------- class helpers
249def _searchbases(cls, accum):
250 # Simulate the "classic class" search order.
251 if cls in accum:
252 return
253 accum.append(cls)
254 for base in cls.__bases__:
255 _searchbases(base, accum)
256
257def getmro(cls):
258 "Return tuple of base classes (including cls) in method resolution order."
259 if hasattr(cls, "__mro__"):
260 return cls.__mro__
261 else:
262 result = []
263 _searchbases(cls, result)
264 return tuple(result)
265
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000266# -------------------------------------------------- source code extraction
267def indentsize(line):
268 """Return the indent size, in spaces, at the start of a line of text."""
269 expline = string.expandtabs(line)
270 return len(expline) - len(string.lstrip(expline))
271
272def getdoc(object):
273 """Get the documentation string for an object.
274
275 All tabs are expanded to spaces. To clean up docstrings that are
276 indented to line up with blocks of code, any whitespace than can be
277 uniformly removed from the second line onwards is removed."""
Tim Peters24008312002-03-17 18:56:20 +0000278 try:
279 doc = object.__doc__
280 except AttributeError:
281 return None
Michael W. Hudson755f75e2002-05-20 17:29:46 +0000282 if not isinstance(doc, types.StringTypes):
Tim Peters24008312002-03-17 18:56:20 +0000283 return None
284 try:
285 lines = string.split(string.expandtabs(doc), '\n')
286 except UnicodeError:
287 return None
288 else:
Ka-Ping Yeea59ef7b2002-11-30 03:53:15 +0000289 # Find minimum indentation of any non-blank lines after first line.
290 margin = sys.maxint
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000291 for line in lines[1:]:
292 content = len(string.lstrip(line))
Ka-Ping Yeea59ef7b2002-11-30 03:53:15 +0000293 if content:
294 indent = len(line) - content
295 margin = min(margin, indent)
296 # Remove indentation.
297 if lines:
298 lines[0] = lines[0].lstrip()
299 if margin < sys.maxint:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000300 for i in range(1, len(lines)): lines[i] = lines[i][margin:]
Ka-Ping Yeea59ef7b2002-11-30 03:53:15 +0000301 # Remove any trailing or leading blank lines.
302 while lines and not lines[-1]:
303 lines.pop()
304 while lines and not lines[0]:
305 lines.pop(0)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000306 return string.join(lines, '\n')
307
308def getfile(object):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000309 """Work out which source or compiled file an object was defined in."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000310 if ismodule(object):
311 if hasattr(object, '__file__'):
312 return object.__file__
Jeremy Hyltonab919022003-06-27 18:41:20 +0000313 raise TypeError('arg is a built-in module')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000314 if isclass(object):
Ka-Ping Yeec99e0f12001-04-13 12:10:40 +0000315 object = sys.modules.get(object.__module__)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000316 if hasattr(object, '__file__'):
317 return object.__file__
Jeremy Hyltonab919022003-06-27 18:41:20 +0000318 raise TypeError('arg is a built-in class')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000319 if ismethod(object):
320 object = object.im_func
321 if isfunction(object):
322 object = object.func_code
323 if istraceback(object):
324 object = object.tb_frame
325 if isframe(object):
326 object = object.f_code
327 if iscode(object):
328 return object.co_filename
Tim Peters478c1052003-06-29 05:46:54 +0000329 raise TypeError('arg is not a module, class, method, '
Jeremy Hyltonab919022003-06-27 18:41:20 +0000330 'function, traceback, frame, or code object')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000331
Ka-Ping Yee4d6fc7f2001-04-10 11:43:00 +0000332def getmoduleinfo(path):
333 """Get the module name, suffix, mode, and module type for a given file."""
334 filename = os.path.basename(path)
335 suffixes = map(lambda (suffix, mode, mtype):
336 (-len(suffix), suffix, mode, mtype), imp.get_suffixes())
337 suffixes.sort() # try longest suffixes first, in case they overlap
338 for neglen, suffix, mode, mtype in suffixes:
339 if filename[neglen:] == suffix:
340 return filename[:neglen], suffix, mode, mtype
341
342def getmodulename(path):
343 """Return the module name for a given file, or None."""
344 info = getmoduleinfo(path)
345 if info: return info[0]
346
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000347def getsourcefile(object):
348 """Return the Python source file an object was defined in, if it exists."""
349 filename = getfile(object)
Raymond Hettingerdbecd932005-02-06 06:57:08 +0000350 if string.lower(filename[-4:]) in ('.pyc', '.pyo'):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000351 filename = filename[:-4] + '.py'
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000352 for suffix, mode, kind in imp.get_suffixes():
353 if 'b' in mode and string.lower(filename[-len(suffix):]) == suffix:
354 # Looks like a binary file. We want to only return a text file.
355 return None
356 if os.path.exists(filename):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000357 return filename
358
359def getabsfile(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000360 """Return an absolute path to the source or compiled file for an object.
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000361
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000362 The idea is for each object to have a unique origin, so this routine
363 normalizes the result as much as possible."""
364 return os.path.normcase(
365 os.path.abspath(getsourcefile(object) or getfile(object)))
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000366
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000367modulesbyfile = {}
368
369def getmodule(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000370 """Return the module an object was defined in, or None if not found."""
Ka-Ping Yee202c99b2001-04-13 09:15:08 +0000371 if ismodule(object):
372 return object
Johannes Gijsbers93245262004-09-11 15:53:22 +0000373 if hasattr(object, '__module__'):
Ka-Ping Yee8b58b842001-03-01 13:56:16 +0000374 return sys.modules.get(object.__module__)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000375 try:
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000376 file = getabsfile(object)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000377 except TypeError:
378 return None
Raymond Hettinger54f02222002-06-01 14:18:47 +0000379 if file in modulesbyfile:
Ka-Ping Yeeb38bbbd2003-03-28 16:29:50 +0000380 return sys.modules.get(modulesbyfile[file])
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000381 for module in sys.modules.values():
382 if hasattr(module, '__file__'):
Brett Cannonb3de2e12004-08-13 18:46:24 +0000383 modulesbyfile[
384 os.path.realpath(
385 getabsfile(module))] = module.__name__
Raymond Hettinger54f02222002-06-01 14:18:47 +0000386 if file in modulesbyfile:
Ka-Ping Yeeb38bbbd2003-03-28 16:29:50 +0000387 return sys.modules.get(modulesbyfile[file])
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000388 main = sys.modules['__main__']
Brett Cannon4a671fe2003-06-15 22:33:28 +0000389 if not hasattr(object, '__name__'):
390 return None
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000391 if hasattr(main, object.__name__):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000392 mainobject = getattr(main, object.__name__)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000393 if mainobject is object:
394 return main
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000395 builtin = sys.modules['__builtin__']
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000396 if hasattr(builtin, object.__name__):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000397 builtinobject = getattr(builtin, object.__name__)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000398 if builtinobject is object:
399 return builtin
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000400
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000401def findsource(object):
402 """Return the entire source file and starting line number for an object.
403
404 The argument may be a module, class, method, function, traceback, frame,
405 or code object. The source code is returned as a list of all the lines
406 in the file and the line number indexes a line in that list. An IOError
407 is raised if the source code cannot be retrieved."""
Neil Schemenauerf06f8532002-03-23 23:51:04 +0000408 file = getsourcefile(object) or getfile(object)
409 lines = linecache.getlines(file)
410 if not lines:
Jeremy Hyltonab919022003-06-27 18:41:20 +0000411 raise IOError('could not get source code')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000412
413 if ismodule(object):
414 return lines, 0
415
416 if isclass(object):
417 name = object.__name__
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000418 pat = re.compile(r'^\s*class\s*' + name + r'\b')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000419 for i in range(len(lines)):
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000420 if pat.match(lines[i]): return lines, i
Jeremy Hyltonab919022003-06-27 18:41:20 +0000421 else:
422 raise IOError('could not find class definition')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000423
424 if ismethod(object):
425 object = object.im_func
426 if isfunction(object):
427 object = object.func_code
428 if istraceback(object):
429 object = object.tb_frame
430 if isframe(object):
431 object = object.f_code
432 if iscode(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000433 if not hasattr(object, 'co_firstlineno'):
Jeremy Hyltonab919022003-06-27 18:41:20 +0000434 raise IOError('could not find function definition')
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000435 lnum = object.co_firstlineno - 1
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000436 pat = re.compile(r'^(\s*def\s)|(.*(?<!\w)lambda(:|\s))|^(\s*@)')
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000437 while lnum > 0:
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000438 if pat.match(lines[lnum]): break
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000439 lnum = lnum - 1
440 return lines, lnum
Jeremy Hyltonab919022003-06-27 18:41:20 +0000441 raise IOError('could not find code object')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000442
443def getcomments(object):
Jeremy Hyltonb4c17c82002-03-28 23:01:56 +0000444 """Get lines of comments immediately preceding an object's source code.
445
446 Returns None when source can't be found.
447 """
448 try:
449 lines, lnum = findsource(object)
450 except (IOError, TypeError):
451 return None
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000452
453 if ismodule(object):
454 # Look for a comment block at the top of the file.
455 start = 0
Ka-Ping Yeeb910efe2001-04-12 13:17:17 +0000456 if lines and lines[0][:2] == '#!': start = 1
Raymond Hettingerdbecd932005-02-06 06:57:08 +0000457 while start < len(lines) and string.strip(lines[start]) in ('', '#'):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000458 start = start + 1
Ka-Ping Yeeb910efe2001-04-12 13:17:17 +0000459 if start < len(lines) and lines[start][:1] == '#':
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000460 comments = []
461 end = start
462 while end < len(lines) and lines[end][:1] == '#':
463 comments.append(string.expandtabs(lines[end]))
464 end = end + 1
465 return string.join(comments, '')
466
467 # Look for a preceding block of comments at the same indentation.
468 elif lnum > 0:
469 indent = indentsize(lines[lnum])
470 end = lnum - 1
471 if end >= 0 and string.lstrip(lines[end])[:1] == '#' and \
472 indentsize(lines[end]) == indent:
473 comments = [string.lstrip(string.expandtabs(lines[end]))]
474 if end > 0:
475 end = end - 1
476 comment = string.lstrip(string.expandtabs(lines[end]))
477 while comment[:1] == '#' and indentsize(lines[end]) == indent:
478 comments[:0] = [comment]
479 end = end - 1
480 if end < 0: break
481 comment = string.lstrip(string.expandtabs(lines[end]))
482 while comments and string.strip(comments[0]) == '#':
483 comments[:1] = []
484 while comments and string.strip(comments[-1]) == '#':
485 comments[-1:] = []
486 return string.join(comments, '')
487
488class ListReader:
489 """Provide a readline() method to return lines from a list of strings."""
490 def __init__(self, lines):
491 self.lines = lines
492 self.index = 0
493
494 def readline(self):
495 i = self.index
496 if i < len(self.lines):
497 self.index = i + 1
498 return self.lines[i]
499 else: return ''
500
Tim Peters4efb6e92001-06-29 23:51:08 +0000501class EndOfBlock(Exception): pass
502
503class BlockFinder:
504 """Provide a tokeneater() method to detect the end of a code block."""
505 def __init__(self):
506 self.indent = 0
Johannes Gijsbersa5855d52005-03-12 16:37:11 +0000507 self.islambda = False
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000508 self.started = False
509 self.passline = False
Tim Peters4efb6e92001-06-29 23:51:08 +0000510 self.last = 0
511
512 def tokeneater(self, type, token, (srow, scol), (erow, ecol), line):
513 if not self.started:
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000514 if token in ("def", "class", "lambda"):
Johannes Gijsbersa5855d52005-03-12 16:37:11 +0000515 if token == "lambda":
516 self.islambda = True
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000517 self.started = True
518 self.passline = True
Tim Peters4efb6e92001-06-29 23:51:08 +0000519 elif type == tokenize.NEWLINE:
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000520 self.passline = False
Tim Peters4efb6e92001-06-29 23:51:08 +0000521 self.last = srow
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000522 elif self.passline:
523 pass
Johannes Gijsbersa5855d52005-03-12 16:37:11 +0000524 elif self.islambda:
525 raise EndOfBlock, self.last
Tim Peters4efb6e92001-06-29 23:51:08 +0000526 elif type == tokenize.INDENT:
527 self.indent = self.indent + 1
Johannes Gijsbers1542f342004-12-12 16:46:28 +0000528 self.passline = True
Tim Peters4efb6e92001-06-29 23:51:08 +0000529 elif type == tokenize.DEDENT:
530 self.indent = self.indent - 1
Jeremy Hyltonab919022003-06-27 18:41:20 +0000531 if self.indent == 0:
532 raise EndOfBlock, self.last
Raymond Hettinger2e7b7482003-01-19 13:21:20 +0000533 elif type == tokenize.NAME and scol == 0:
534 raise EndOfBlock, self.last
Tim Peters4efb6e92001-06-29 23:51:08 +0000535
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000536def getblock(lines):
537 """Extract the block of code at the top of the given list of lines."""
Tim Peters4efb6e92001-06-29 23:51:08 +0000538 try:
539 tokenize.tokenize(ListReader(lines).readline, BlockFinder().tokeneater)
540 except EndOfBlock, eob:
541 return lines[:eob.args[0]]
Raymond Hettinger2d375f72003-01-14 02:19:36 +0000542 # Fooling the indent/dedent logic implies a one-line definition
543 return lines[:1]
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000544
545def getsourcelines(object):
546 """Return a list of source lines and starting line number for an object.
547
548 The argument may be a module, class, method, function, traceback, frame,
549 or code object. The source code is returned as a list of the lines
550 corresponding to the object and the line number indicates where in the
551 original source file the first line of code was found. An IOError is
552 raised if the source code cannot be retrieved."""
553 lines, lnum = findsource(object)
554
555 if ismodule(object): return lines, 0
556 else: return getblock(lines[lnum:]), lnum + 1
557
558def getsource(object):
559 """Return the text of the source code for an object.
560
561 The argument may be a module, class, method, function, traceback, frame,
562 or code object. The source code is returned as a single string. An
563 IOError is raised if the source code cannot be retrieved."""
564 lines, lnum = getsourcelines(object)
565 return string.join(lines, '')
566
567# --------------------------------------------------- class tree extraction
568def walktree(classes, children, parent):
569 """Recursive helper function for getclasstree()."""
570 results = []
Raymond Hettingera1a992c2005-03-11 06:46:45 +0000571 classes.sort(key=attrgetter('__module__', '__name__'))
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000572 for c in classes:
573 results.append((c, c.__bases__))
Raymond Hettinger54f02222002-06-01 14:18:47 +0000574 if c in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000575 results.append(walktree(children[c], children, c))
576 return results
577
578def getclasstree(classes, unique=0):
579 """Arrange the given list of classes into a hierarchy of nested lists.
580
581 Where a nested list appears, it contains classes derived from the class
582 whose entry immediately precedes the list. Each entry is a 2-tuple
583 containing a class and a tuple of its base classes. If the 'unique'
584 argument is true, exactly one entry appears in the returned structure
585 for each class in the given list. Otherwise, classes using multiple
586 inheritance and their descendants will appear multiple times."""
587 children = {}
588 roots = []
589 for c in classes:
590 if c.__bases__:
591 for parent in c.__bases__:
Raymond Hettinger54f02222002-06-01 14:18:47 +0000592 if not parent in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000593 children[parent] = []
594 children[parent].append(c)
595 if unique and parent in classes: break
596 elif c not in roots:
597 roots.append(c)
Raymond Hettingere0d49722002-06-02 18:55:56 +0000598 for parent in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000599 if parent not in classes:
600 roots.append(parent)
601 return walktree(roots, children, None)
602
603# ------------------------------------------------ argument list extraction
604# These constants are from Python's compile.h.
605CO_OPTIMIZED, CO_NEWLOCALS, CO_VARARGS, CO_VARKEYWORDS = 1, 2, 4, 8
606
607def getargs(co):
608 """Get information about the arguments accepted by a code object.
609
610 Three things are returned: (args, varargs, varkw), where 'args' is
611 a list of argument names (possibly containing nested lists), and
612 'varargs' and 'varkw' are the names of the * and ** arguments or None."""
Jeremy Hylton64967882003-06-27 18:14:39 +0000613
614 if not iscode(co):
615 raise TypeError('arg is not a code object')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000616
617 code = co.co_code
618 nargs = co.co_argcount
619 names = co.co_varnames
620 args = list(names[:nargs])
621 step = 0
622
623 # The following acrobatics are for anonymous (tuple) arguments.
624 for i in range(nargs):
Raymond Hettingerdbecd932005-02-06 06:57:08 +0000625 if args[i][:1] in ('', '.'):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000626 stack, remain, count = [], [], []
627 while step < len(code):
628 op = ord(code[step])
629 step = step + 1
630 if op >= dis.HAVE_ARGUMENT:
631 opname = dis.opname[op]
632 value = ord(code[step]) + ord(code[step+1])*256
633 step = step + 2
Raymond Hettingerdbecd932005-02-06 06:57:08 +0000634 if opname in ('UNPACK_TUPLE', 'UNPACK_SEQUENCE'):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000635 remain.append(value)
636 count.append(value)
637 elif opname == 'STORE_FAST':
638 stack.append(names[value])
Matthias Klose2e829c02004-08-15 17:04:33 +0000639
640 # Special case for sublists of length 1: def foo((bar))
641 # doesn't generate the UNPACK_TUPLE bytecode, so if
642 # `remain` is empty here, we have such a sublist.
643 if not remain:
644 stack[0] = [stack[0]]
645 break
646 else:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000647 remain[-1] = remain[-1] - 1
Matthias Klose2e829c02004-08-15 17:04:33 +0000648 while remain[-1] == 0:
649 remain.pop()
650 size = count.pop()
651 stack[-size:] = [stack[-size:]]
652 if not remain: break
653 remain[-1] = remain[-1] - 1
654 if not remain: break
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000655 args[i] = stack[0]
656
657 varargs = None
658 if co.co_flags & CO_VARARGS:
659 varargs = co.co_varnames[nargs]
660 nargs = nargs + 1
661 varkw = None
662 if co.co_flags & CO_VARKEYWORDS:
663 varkw = co.co_varnames[nargs]
664 return args, varargs, varkw
665
666def getargspec(func):
667 """Get the names and default values of a function's arguments.
668
669 A tuple of four things is returned: (args, varargs, varkw, defaults).
670 'args' is a list of the argument names (it may contain nested lists).
671 'varargs' and 'varkw' are the names of the * and ** arguments or None.
Jeremy Hylton64967882003-06-27 18:14:39 +0000672 'defaults' is an n-tuple of the default values of the last n arguments.
673 """
674
675 if ismethod(func):
676 func = func.im_func
677 if not isfunction(func):
678 raise TypeError('arg is not a Python function')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000679 args, varargs, varkw = getargs(func.func_code)
680 return args, varargs, varkw, func.func_defaults
681
682def getargvalues(frame):
683 """Get information about arguments passed into a particular frame.
684
685 A tuple of four things is returned: (args, varargs, varkw, locals).
686 'args' is a list of the argument names (it may contain nested lists).
687 'varargs' and 'varkw' are the names of the * and ** arguments or None.
688 'locals' is the locals dictionary of the given frame."""
689 args, varargs, varkw = getargs(frame.f_code)
690 return args, varargs, varkw, frame.f_locals
691
692def joinseq(seq):
693 if len(seq) == 1:
694 return '(' + seq[0] + ',)'
695 else:
696 return '(' + string.join(seq, ', ') + ')'
697
698def strseq(object, convert, join=joinseq):
699 """Recursively walk a sequence, stringifying each element."""
Raymond Hettingerdbecd932005-02-06 06:57:08 +0000700 if type(object) in (list, tuple):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000701 return join(map(lambda o, c=convert, j=join: strseq(o, c, j), object))
702 else:
703 return convert(object)
704
705def formatargspec(args, varargs=None, varkw=None, defaults=None,
706 formatarg=str,
707 formatvarargs=lambda name: '*' + name,
708 formatvarkw=lambda name: '**' + name,
709 formatvalue=lambda value: '=' + repr(value),
710 join=joinseq):
711 """Format an argument spec from the 4 values returned by getargspec.
712
713 The first four arguments are (args, varargs, varkw, defaults). The
714 other four arguments are the corresponding optional formatting functions
715 that are called to turn names and values into strings. The ninth
716 argument is an optional function to format the sequence of arguments."""
717 specs = []
718 if defaults:
719 firstdefault = len(args) - len(defaults)
720 for i in range(len(args)):
721 spec = strseq(args[i], formatarg, join)
722 if defaults and i >= firstdefault:
723 spec = spec + formatvalue(defaults[i - firstdefault])
724 specs.append(spec)
Raymond Hettinger936654b2002-06-01 03:06:31 +0000725 if varargs is not None:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000726 specs.append(formatvarargs(varargs))
Raymond Hettinger936654b2002-06-01 03:06:31 +0000727 if varkw is not None:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000728 specs.append(formatvarkw(varkw))
729 return '(' + string.join(specs, ', ') + ')'
730
731def formatargvalues(args, varargs, varkw, locals,
732 formatarg=str,
733 formatvarargs=lambda name: '*' + name,
734 formatvarkw=lambda name: '**' + name,
735 formatvalue=lambda value: '=' + repr(value),
736 join=joinseq):
737 """Format an argument spec from the 4 values returned by getargvalues.
738
739 The first four arguments are (args, varargs, varkw, locals). The
740 next four arguments are the corresponding optional formatting functions
741 that are called to turn names and values into strings. The ninth
742 argument is an optional function to format the sequence of arguments."""
743 def convert(name, locals=locals,
744 formatarg=formatarg, formatvalue=formatvalue):
745 return formatarg(name) + formatvalue(locals[name])
746 specs = []
747 for i in range(len(args)):
748 specs.append(strseq(args[i], convert, join))
749 if varargs:
750 specs.append(formatvarargs(varargs) + formatvalue(locals[varargs]))
751 if varkw:
752 specs.append(formatvarkw(varkw) + formatvalue(locals[varkw]))
753 return '(' + string.join(specs, ', ') + ')'
754
755# -------------------------------------------------- stack frame extraction
756def getframeinfo(frame, context=1):
757 """Get information about a frame or traceback object.
758
759 A tuple of five things is returned: the filename, the line number of
760 the current line, the function name, a list of lines of context from
761 the source code, and the index of the current line within that list.
762 The optional second argument specifies the number of lines of context
763 to return, which are centered around the current line."""
764 if istraceback(frame):
Andrew M. Kuchlingba8b6bc2004-06-05 14:11:59 +0000765 lineno = frame.tb_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000766 frame = frame.tb_frame
Andrew M. Kuchlingba8b6bc2004-06-05 14:11:59 +0000767 else:
768 lineno = frame.f_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000769 if not isframe(frame):
Jeremy Hyltonab919022003-06-27 18:41:20 +0000770 raise TypeError('arg is not a frame or traceback object')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000771
Neil Schemenauerf06f8532002-03-23 23:51:04 +0000772 filename = getsourcefile(frame) or getfile(frame)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000773 if context > 0:
Guido van Rossum54e54c62001-09-04 19:14:14 +0000774 start = lineno - 1 - context//2
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000775 try:
776 lines, lnum = findsource(frame)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000777 except IOError:
778 lines = index = None
779 else:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000780 start = max(start, 1)
Raymond Hettingera0501712004-06-15 11:22:53 +0000781 start = max(0, min(start, len(lines) - context))
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000782 lines = lines[start:start+context]
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000783 index = lineno - 1 - start
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000784 else:
785 lines = index = None
786
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000787 return (filename, lineno, frame.f_code.co_name, lines, index)
788
789def getlineno(frame):
790 """Get the line number from a frame object, allowing for optimization."""
Michael W. Hudsondd32a912002-08-15 14:59:02 +0000791 # FrameType.f_lineno is now a descriptor that grovels co_lnotab
792 return frame.f_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000793
794def getouterframes(frame, context=1):
795 """Get a list of records for a frame and all higher (calling) frames.
796
797 Each record contains a frame object, filename, line number, function
798 name, a list of lines of context, and index within the context."""
799 framelist = []
800 while frame:
801 framelist.append((frame,) + getframeinfo(frame, context))
802 frame = frame.f_back
803 return framelist
804
805def getinnerframes(tb, context=1):
806 """Get a list of records for a traceback's frame and all lower frames.
807
808 Each record contains a frame object, filename, line number, function
809 name, a list of lines of context, and index within the context."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000810 framelist = []
811 while tb:
812 framelist.append((tb.tb_frame,) + getframeinfo(tb, context))
813 tb = tb.tb_next
814 return framelist
815
Jeremy Hyltonab919022003-06-27 18:41:20 +0000816currentframe = sys._getframe
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000817
818def stack(context=1):
819 """Return a list of records for the stack above the caller's frame."""
Jeremy Hyltonab919022003-06-27 18:41:20 +0000820 return getouterframes(sys._getframe(1), context)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000821
822def trace(context=1):
Tim Peters85ba6732001-02-28 08:26:44 +0000823 """Return a list of records for the stack below the current exception."""
Fred Draked451ec12002-04-26 02:29:55 +0000824 return getinnerframes(sys.exc_info()[2], context)