blob: d3fd3ad195a6346a4cda6e8f4c1def0fa39f2b72 [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
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000032
33# ----------------------------------------------------------- type-checking
34def ismodule(object):
35 """Return true if the object is a module.
36
37 Module objects provide these attributes:
38 __doc__ documentation string
39 __file__ filename (missing for built-in modules)"""
Tim Peters28bc59f2001-09-16 08:40:16 +000040 return isinstance(object, types.ModuleType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000041
42def isclass(object):
43 """Return true if the object is a class.
44
45 Class objects provide these attributes:
46 __doc__ documentation string
47 __module__ name of module in which this class was defined"""
Tim Peters28bc59f2001-09-16 08:40:16 +000048 return isinstance(object, types.ClassType) or hasattr(object, '__bases__')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000049
50def ismethod(object):
51 """Return true if the object is an instance method.
52
53 Instance method objects provide these attributes:
54 __doc__ documentation string
55 __name__ name with which this method was defined
56 im_class class object in which this method belongs
57 im_func function object containing implementation of method
58 im_self instance to which this method is bound, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +000059 return isinstance(object, types.MethodType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000060
Tim Peters536d2262001-09-20 05:13:38 +000061def ismethoddescriptor(object):
Tim Petersf1d90b92001-09-20 05:47:55 +000062 """Return true if the object is a method descriptor.
63
64 But not if ismethod() or isclass() or isfunction() are true.
Tim Peters536d2262001-09-20 05:13:38 +000065
66 This is new in Python 2.2, and, for example, is true of int.__add__.
67 An object passing this test has a __get__ attribute but not a __set__
68 attribute, but beyond that the set of attributes varies. __name__ is
69 usually sensible, and __doc__ often is.
70
Tim Petersf1d90b92001-09-20 05:47:55 +000071 Methods implemented via descriptors that also pass one of the other
72 tests return false from the ismethoddescriptor() test, simply because
73 the other tests promise more -- you can, e.g., count on having the
74 im_func attribute (etc) when an object passes ismethod()."""
Tim Peters536d2262001-09-20 05:13:38 +000075 return (hasattr(object, "__get__")
76 and not hasattr(object, "__set__") # else it's a data descriptor
77 and not ismethod(object) # mutual exclusion
Tim Petersf1d90b92001-09-20 05:47:55 +000078 and not isfunction(object)
Tim Peters536d2262001-09-20 05:13:38 +000079 and not isclass(object))
80
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000081def isfunction(object):
82 """Return true if the object is a user-defined function.
83
84 Function objects provide these attributes:
85 __doc__ documentation string
86 __name__ name with which this function was defined
87 func_code code object containing compiled function bytecode
88 func_defaults tuple of any default values for arguments
89 func_doc (same as __doc__)
90 func_globals global namespace in which this function was defined
91 func_name (same as __name__)"""
Tim Peters28bc59f2001-09-16 08:40:16 +000092 return isinstance(object, types.FunctionType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000093
94def istraceback(object):
95 """Return true if the object is a traceback.
96
97 Traceback objects provide these attributes:
98 tb_frame frame object at this level
99 tb_lasti index of last attempted instruction in bytecode
100 tb_lineno current line number in Python source code
101 tb_next next inner traceback object (called by this level)"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000102 return isinstance(object, types.TracebackType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000103
104def isframe(object):
105 """Return true if the object is a frame object.
106
107 Frame objects provide these attributes:
108 f_back next outer frame object (this frame's caller)
109 f_builtins built-in namespace seen by this frame
110 f_code code object being executed in this frame
111 f_exc_traceback traceback if raised in this frame, or None
112 f_exc_type exception type if raised in this frame, or None
113 f_exc_value exception value if raised in this frame, or None
114 f_globals global namespace seen by this frame
115 f_lasti index of last attempted instruction in bytecode
116 f_lineno current line number in Python source code
117 f_locals local namespace seen by this frame
118 f_restricted 0 or 1 if frame is in restricted execution mode
119 f_trace tracing function for this frame, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000120 return isinstance(object, types.FrameType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000121
122def iscode(object):
123 """Return true if the object is a code object.
124
125 Code objects provide these attributes:
126 co_argcount number of arguments (not including * or ** args)
127 co_code string of raw compiled bytecode
128 co_consts tuple of constants used in the bytecode
129 co_filename name of file in which this code object was created
130 co_firstlineno number of first line in Python source code
131 co_flags bitmap: 1=optimized | 2=newlocals | 4=*arg | 8=**arg
132 co_lnotab encoded mapping of line numbers to bytecode indices
133 co_name name with which this code object was defined
134 co_names tuple of names of local variables
135 co_nlocals number of local variables
136 co_stacksize virtual machine stack space required
137 co_varnames tuple of names of arguments and local variables"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000138 return isinstance(object, types.CodeType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000139
140def isbuiltin(object):
141 """Return true if the object is a built-in function or method.
142
143 Built-in functions and methods provide these attributes:
144 __doc__ documentation string
145 __name__ original name of this function or method
146 __self__ instance to which a method is bound, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000147 return isinstance(object, types.BuiltinFunctionType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000148
149def isroutine(object):
150 """Return true if the object is any kind of function or method."""
Tim Peters536d2262001-09-20 05:13:38 +0000151 return (isbuiltin(object)
152 or isfunction(object)
153 or ismethod(object)
154 or ismethoddescriptor(object))
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000155
156def getmembers(object, predicate=None):
157 """Return all members of an object as (name, value) pairs sorted by name.
158 Optionally, only return members that satisfy a given predicate."""
159 results = []
160 for key in dir(object):
161 value = getattr(object, key)
162 if not predicate or predicate(value):
163 results.append((key, value))
164 results.sort()
165 return results
166
Tim Peters13b49d32001-09-23 02:00:29 +0000167def classify_class_attrs(cls):
168 """Return list of attribute-descriptor tuples.
169
170 For each name in dir(cls), the return list contains a 4-tuple
171 with these elements:
172
173 0. The name (a string).
174
175 1. The kind of attribute this is, one of these strings:
176 'class method' created via classmethod()
177 'static method' created via staticmethod()
178 'property' created via property()
179 'method' any other flavor of method
180 'data' not a method
181
182 2. The class which defined this attribute (a class).
183
184 3. The object as obtained directly from the defining class's
185 __dict__, not via getattr. This is especially important for
186 data attributes: C.data is just a data object, but
187 C.__dict__['data'] may be a data descriptor with additional
188 info, like a __doc__ string.
189 """
190
191 mro = getmro(cls)
192 names = dir(cls)
193 result = []
194 for name in names:
195 # Get the object associated with the name.
196 # Getting an obj from the __dict__ sometimes reveals more than
197 # using getattr. Static and class methods are dramatic examples.
198 if name in cls.__dict__:
199 obj = cls.__dict__[name]
200 else:
201 obj = getattr(cls, name)
202
203 # Figure out where it was defined.
Tim Peters13b49d32001-09-23 02:00:29 +0000204 homecls = getattr(obj, "__objclass__", None)
205 if homecls is None:
Guido van Rossum687ae002001-10-15 22:03:32 +0000206 # search the dicts.
Tim Peters13b49d32001-09-23 02:00:29 +0000207 for base in mro:
208 if name in base.__dict__:
209 homecls = base
210 break
211
212 # Get the object again, in order to get it from the defining
213 # __dict__ instead of via getattr (if possible).
214 if homecls is not None and name in homecls.__dict__:
215 obj = homecls.__dict__[name]
216
217 # Also get the object via getattr.
218 obj_via_getattr = getattr(cls, name)
219
220 # Classify the object.
221 if isinstance(obj, staticmethod):
222 kind = "static method"
223 elif isinstance(obj, classmethod):
224 kind = "class method"
225 elif isinstance(obj, property):
226 kind = "property"
227 elif (ismethod(obj_via_getattr) or
228 ismethoddescriptor(obj_via_getattr)):
229 kind = "method"
230 else:
231 kind = "data"
232
233 result.append((name, kind, homecls, obj))
234
235 return result
236
Tim Peterse0b2d7a2001-09-22 06:10:55 +0000237# ----------------------------------------------------------- class helpers
238def _searchbases(cls, accum):
239 # Simulate the "classic class" search order.
240 if cls in accum:
241 return
242 accum.append(cls)
243 for base in cls.__bases__:
244 _searchbases(base, accum)
245
246def getmro(cls):
247 "Return tuple of base classes (including cls) in method resolution order."
248 if hasattr(cls, "__mro__"):
249 return cls.__mro__
250 else:
251 result = []
252 _searchbases(cls, result)
253 return tuple(result)
254
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000255# -------------------------------------------------- source code extraction
256def indentsize(line):
257 """Return the indent size, in spaces, at the start of a line of text."""
258 expline = string.expandtabs(line)
259 return len(expline) - len(string.lstrip(expline))
260
261def getdoc(object):
262 """Get the documentation string for an object.
263
264 All tabs are expanded to spaces. To clean up docstrings that are
265 indented to line up with blocks of code, any whitespace than can be
266 uniformly removed from the second line onwards is removed."""
Tim Peters24008312002-03-17 18:56:20 +0000267 try:
268 doc = object.__doc__
269 except AttributeError:
270 return None
Michael W. Hudson755f75e2002-05-20 17:29:46 +0000271 if not isinstance(doc, types.StringTypes):
Tim Peters24008312002-03-17 18:56:20 +0000272 return None
273 try:
274 lines = string.split(string.expandtabs(doc), '\n')
275 except UnicodeError:
276 return None
277 else:
Ka-Ping Yeea59ef7b2002-11-30 03:53:15 +0000278 # Find minimum indentation of any non-blank lines after first line.
279 margin = sys.maxint
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000280 for line in lines[1:]:
281 content = len(string.lstrip(line))
Ka-Ping Yeea59ef7b2002-11-30 03:53:15 +0000282 if content:
283 indent = len(line) - content
284 margin = min(margin, indent)
285 # Remove indentation.
286 if lines:
287 lines[0] = lines[0].lstrip()
288 if margin < sys.maxint:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000289 for i in range(1, len(lines)): lines[i] = lines[i][margin:]
Ka-Ping Yeea59ef7b2002-11-30 03:53:15 +0000290 # Remove any trailing or leading blank lines.
291 while lines and not lines[-1]:
292 lines.pop()
293 while lines and not lines[0]:
294 lines.pop(0)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000295 return string.join(lines, '\n')
296
297def getfile(object):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000298 """Work out which source or compiled file an object was defined in."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000299 if ismodule(object):
300 if hasattr(object, '__file__'):
301 return object.__file__
302 raise TypeError, 'arg is a built-in module'
303 if isclass(object):
Ka-Ping Yeec99e0f12001-04-13 12:10:40 +0000304 object = sys.modules.get(object.__module__)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000305 if hasattr(object, '__file__'):
306 return object.__file__
307 raise TypeError, 'arg is a built-in class'
308 if ismethod(object):
309 object = object.im_func
310 if isfunction(object):
311 object = object.func_code
312 if istraceback(object):
313 object = object.tb_frame
314 if isframe(object):
315 object = object.f_code
316 if iscode(object):
317 return object.co_filename
318 raise TypeError, 'arg is not a module, class, method, ' \
319 'function, traceback, frame, or code object'
320
Ka-Ping Yee4d6fc7f2001-04-10 11:43:00 +0000321def getmoduleinfo(path):
322 """Get the module name, suffix, mode, and module type for a given file."""
323 filename = os.path.basename(path)
324 suffixes = map(lambda (suffix, mode, mtype):
325 (-len(suffix), suffix, mode, mtype), imp.get_suffixes())
326 suffixes.sort() # try longest suffixes first, in case they overlap
327 for neglen, suffix, mode, mtype in suffixes:
328 if filename[neglen:] == suffix:
329 return filename[:neglen], suffix, mode, mtype
330
331def getmodulename(path):
332 """Return the module name for a given file, or None."""
333 info = getmoduleinfo(path)
334 if info: return info[0]
335
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000336def getsourcefile(object):
337 """Return the Python source file an object was defined in, if it exists."""
338 filename = getfile(object)
339 if string.lower(filename[-4:]) in ['.pyc', '.pyo']:
340 filename = filename[:-4] + '.py'
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000341 for suffix, mode, kind in imp.get_suffixes():
342 if 'b' in mode and string.lower(filename[-len(suffix):]) == suffix:
343 # Looks like a binary file. We want to only return a text file.
344 return None
345 if os.path.exists(filename):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000346 return filename
347
348def getabsfile(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000349 """Return an absolute path to the source or compiled file for an object.
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000350
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000351 The idea is for each object to have a unique origin, so this routine
352 normalizes the result as much as possible."""
353 return os.path.normcase(
354 os.path.abspath(getsourcefile(object) or getfile(object)))
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000355
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000356modulesbyfile = {}
357
358def getmodule(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000359 """Return the module an object was defined in, or None if not found."""
Ka-Ping Yee202c99b2001-04-13 09:15:08 +0000360 if ismodule(object):
361 return object
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000362 if isclass(object):
Ka-Ping Yee8b58b842001-03-01 13:56:16 +0000363 return sys.modules.get(object.__module__)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000364 try:
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000365 file = getabsfile(object)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000366 except TypeError:
367 return None
Raymond Hettinger54f02222002-06-01 14:18:47 +0000368 if file in modulesbyfile:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000369 return sys.modules[modulesbyfile[file]]
370 for module in sys.modules.values():
371 if hasattr(module, '__file__'):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000372 modulesbyfile[getabsfile(module)] = module.__name__
Raymond Hettinger54f02222002-06-01 14:18:47 +0000373 if file in modulesbyfile:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000374 return sys.modules[modulesbyfile[file]]
375 main = sys.modules['__main__']
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000376 if hasattr(main, object.__name__):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000377 mainobject = getattr(main, object.__name__)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000378 if mainobject is object:
379 return main
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000380 builtin = sys.modules['__builtin__']
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000381 if hasattr(builtin, object.__name__):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000382 builtinobject = getattr(builtin, object.__name__)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000383 if builtinobject is object:
384 return builtin
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000385
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000386def findsource(object):
387 """Return the entire source file and starting line number for an object.
388
389 The argument may be a module, class, method, function, traceback, frame,
390 or code object. The source code is returned as a list of all the lines
391 in the file and the line number indexes a line in that list. An IOError
392 is raised if the source code cannot be retrieved."""
Neil Schemenauerf06f8532002-03-23 23:51:04 +0000393 file = getsourcefile(object) or getfile(object)
394 lines = linecache.getlines(file)
395 if not lines:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000396 raise IOError, 'could not get source code'
397
398 if ismodule(object):
399 return lines, 0
400
401 if isclass(object):
402 name = object.__name__
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000403 pat = re.compile(r'^\s*class\s*' + name + r'\b')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000404 for i in range(len(lines)):
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000405 if pat.match(lines[i]): return lines, i
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000406 else: raise IOError, 'could not find class definition'
407
408 if ismethod(object):
409 object = object.im_func
410 if isfunction(object):
411 object = object.func_code
412 if istraceback(object):
413 object = object.tb_frame
414 if isframe(object):
415 object = object.f_code
416 if iscode(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000417 if not hasattr(object, 'co_firstlineno'):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000418 raise IOError, 'could not find function definition'
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000419 lnum = object.co_firstlineno - 1
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000420 pat = re.compile(r'^\s*def\s')
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000421 while lnum > 0:
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000422 if pat.match(lines[lnum]): break
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000423 lnum = lnum - 1
424 return lines, lnum
Neal Norwitz8a11f5d2002-03-13 03:14:26 +0000425 raise IOError, 'could not find code object'
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000426
427def getcomments(object):
Jeremy Hyltonb4c17c82002-03-28 23:01:56 +0000428 """Get lines of comments immediately preceding an object's source code.
429
430 Returns None when source can't be found.
431 """
432 try:
433 lines, lnum = findsource(object)
434 except (IOError, TypeError):
435 return None
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000436
437 if ismodule(object):
438 # Look for a comment block at the top of the file.
439 start = 0
Ka-Ping Yeeb910efe2001-04-12 13:17:17 +0000440 if lines and lines[0][:2] == '#!': start = 1
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000441 while start < len(lines) and string.strip(lines[start]) in ['', '#']:
442 start = start + 1
Ka-Ping Yeeb910efe2001-04-12 13:17:17 +0000443 if start < len(lines) and lines[start][:1] == '#':
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000444 comments = []
445 end = start
446 while end < len(lines) and lines[end][:1] == '#':
447 comments.append(string.expandtabs(lines[end]))
448 end = end + 1
449 return string.join(comments, '')
450
451 # Look for a preceding block of comments at the same indentation.
452 elif lnum > 0:
453 indent = indentsize(lines[lnum])
454 end = lnum - 1
455 if end >= 0 and string.lstrip(lines[end])[:1] == '#' and \
456 indentsize(lines[end]) == indent:
457 comments = [string.lstrip(string.expandtabs(lines[end]))]
458 if end > 0:
459 end = end - 1
460 comment = string.lstrip(string.expandtabs(lines[end]))
461 while comment[:1] == '#' and indentsize(lines[end]) == indent:
462 comments[:0] = [comment]
463 end = end - 1
464 if end < 0: break
465 comment = string.lstrip(string.expandtabs(lines[end]))
466 while comments and string.strip(comments[0]) == '#':
467 comments[:1] = []
468 while comments and string.strip(comments[-1]) == '#':
469 comments[-1:] = []
470 return string.join(comments, '')
471
472class ListReader:
473 """Provide a readline() method to return lines from a list of strings."""
474 def __init__(self, lines):
475 self.lines = lines
476 self.index = 0
477
478 def readline(self):
479 i = self.index
480 if i < len(self.lines):
481 self.index = i + 1
482 return self.lines[i]
483 else: return ''
484
Tim Peters4efb6e92001-06-29 23:51:08 +0000485class EndOfBlock(Exception): pass
486
487class BlockFinder:
488 """Provide a tokeneater() method to detect the end of a code block."""
489 def __init__(self):
490 self.indent = 0
491 self.started = 0
492 self.last = 0
493
494 def tokeneater(self, type, token, (srow, scol), (erow, ecol), line):
495 if not self.started:
496 if type == tokenize.NAME: self.started = 1
497 elif type == tokenize.NEWLINE:
498 self.last = srow
499 elif type == tokenize.INDENT:
500 self.indent = self.indent + 1
501 elif type == tokenize.DEDENT:
502 self.indent = self.indent - 1
503 if self.indent == 0: raise EndOfBlock, self.last
504
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000505def getblock(lines):
506 """Extract the block of code at the top of the given list of lines."""
Tim Peters4efb6e92001-06-29 23:51:08 +0000507 try:
508 tokenize.tokenize(ListReader(lines).readline, BlockFinder().tokeneater)
509 except EndOfBlock, eob:
510 return lines[:eob.args[0]]
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000511
512def getsourcelines(object):
513 """Return a list of source lines and starting line number for an object.
514
515 The argument may be a module, class, method, function, traceback, frame,
516 or code object. The source code is returned as a list of the lines
517 corresponding to the object and the line number indicates where in the
518 original source file the first line of code was found. An IOError is
519 raised if the source code cannot be retrieved."""
520 lines, lnum = findsource(object)
521
522 if ismodule(object): return lines, 0
523 else: return getblock(lines[lnum:]), lnum + 1
524
525def getsource(object):
526 """Return the text of the source code for an object.
527
528 The argument may be a module, class, method, function, traceback, frame,
529 or code object. The source code is returned as a single string. An
530 IOError is raised if the source code cannot be retrieved."""
531 lines, lnum = getsourcelines(object)
532 return string.join(lines, '')
533
534# --------------------------------------------------- class tree extraction
535def walktree(classes, children, parent):
536 """Recursive helper function for getclasstree()."""
537 results = []
538 classes.sort(lambda a, b: cmp(a.__name__, b.__name__))
539 for c in classes:
540 results.append((c, c.__bases__))
Raymond Hettinger54f02222002-06-01 14:18:47 +0000541 if c in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000542 results.append(walktree(children[c], children, c))
543 return results
544
545def getclasstree(classes, unique=0):
546 """Arrange the given list of classes into a hierarchy of nested lists.
547
548 Where a nested list appears, it contains classes derived from the class
549 whose entry immediately precedes the list. Each entry is a 2-tuple
550 containing a class and a tuple of its base classes. If the 'unique'
551 argument is true, exactly one entry appears in the returned structure
552 for each class in the given list. Otherwise, classes using multiple
553 inheritance and their descendants will appear multiple times."""
554 children = {}
555 roots = []
556 for c in classes:
557 if c.__bases__:
558 for parent in c.__bases__:
Raymond Hettinger54f02222002-06-01 14:18:47 +0000559 if not parent in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000560 children[parent] = []
561 children[parent].append(c)
562 if unique and parent in classes: break
563 elif c not in roots:
564 roots.append(c)
Raymond Hettingere0d49722002-06-02 18:55:56 +0000565 for parent in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000566 if parent not in classes:
567 roots.append(parent)
568 return walktree(roots, children, None)
569
570# ------------------------------------------------ argument list extraction
571# These constants are from Python's compile.h.
572CO_OPTIMIZED, CO_NEWLOCALS, CO_VARARGS, CO_VARKEYWORDS = 1, 2, 4, 8
573
574def getargs(co):
575 """Get information about the arguments accepted by a code object.
576
577 Three things are returned: (args, varargs, varkw), where 'args' is
578 a list of argument names (possibly containing nested lists), and
579 'varargs' and 'varkw' are the names of the * and ** arguments or None."""
580 if not iscode(co): raise TypeError, 'arg is not a code object'
581
582 code = co.co_code
583 nargs = co.co_argcount
584 names = co.co_varnames
585 args = list(names[:nargs])
586 step = 0
587
588 # The following acrobatics are for anonymous (tuple) arguments.
589 for i in range(nargs):
590 if args[i][:1] in ['', '.']:
591 stack, remain, count = [], [], []
592 while step < len(code):
593 op = ord(code[step])
594 step = step + 1
595 if op >= dis.HAVE_ARGUMENT:
596 opname = dis.opname[op]
597 value = ord(code[step]) + ord(code[step+1])*256
598 step = step + 2
599 if opname in ['UNPACK_TUPLE', 'UNPACK_SEQUENCE']:
600 remain.append(value)
601 count.append(value)
602 elif opname == 'STORE_FAST':
603 stack.append(names[value])
604 remain[-1] = remain[-1] - 1
605 while remain[-1] == 0:
606 remain.pop()
607 size = count.pop()
608 stack[-size:] = [stack[-size:]]
609 if not remain: break
610 remain[-1] = remain[-1] - 1
611 if not remain: break
612 args[i] = stack[0]
613
614 varargs = None
615 if co.co_flags & CO_VARARGS:
616 varargs = co.co_varnames[nargs]
617 nargs = nargs + 1
618 varkw = None
619 if co.co_flags & CO_VARKEYWORDS:
620 varkw = co.co_varnames[nargs]
621 return args, varargs, varkw
622
623def getargspec(func):
624 """Get the names and default values of a function's arguments.
625
626 A tuple of four things is returned: (args, varargs, varkw, defaults).
627 'args' is a list of the argument names (it may contain nested lists).
628 'varargs' and 'varkw' are the names of the * and ** arguments or None.
629 'defaults' is an n-tuple of the default values of the last n arguments."""
630 if not isfunction(func): raise TypeError, 'arg is not a Python function'
631 args, varargs, varkw = getargs(func.func_code)
632 return args, varargs, varkw, func.func_defaults
633
634def getargvalues(frame):
635 """Get information about arguments passed into a particular frame.
636
637 A tuple of four things is returned: (args, varargs, varkw, locals).
638 'args' is a list of the argument names (it may contain nested lists).
639 'varargs' and 'varkw' are the names of the * and ** arguments or None.
640 'locals' is the locals dictionary of the given frame."""
641 args, varargs, varkw = getargs(frame.f_code)
642 return args, varargs, varkw, frame.f_locals
643
644def joinseq(seq):
645 if len(seq) == 1:
646 return '(' + seq[0] + ',)'
647 else:
648 return '(' + string.join(seq, ', ') + ')'
649
650def strseq(object, convert, join=joinseq):
651 """Recursively walk a sequence, stringifying each element."""
652 if type(object) in [types.ListType, types.TupleType]:
653 return join(map(lambda o, c=convert, j=join: strseq(o, c, j), object))
654 else:
655 return convert(object)
656
657def formatargspec(args, varargs=None, varkw=None, defaults=None,
658 formatarg=str,
659 formatvarargs=lambda name: '*' + name,
660 formatvarkw=lambda name: '**' + name,
661 formatvalue=lambda value: '=' + repr(value),
662 join=joinseq):
663 """Format an argument spec from the 4 values returned by getargspec.
664
665 The first four arguments are (args, varargs, varkw, defaults). The
666 other four arguments are the corresponding optional formatting functions
667 that are called to turn names and values into strings. The ninth
668 argument is an optional function to format the sequence of arguments."""
669 specs = []
670 if defaults:
671 firstdefault = len(args) - len(defaults)
672 for i in range(len(args)):
673 spec = strseq(args[i], formatarg, join)
674 if defaults and i >= firstdefault:
675 spec = spec + formatvalue(defaults[i - firstdefault])
676 specs.append(spec)
Raymond Hettinger936654b2002-06-01 03:06:31 +0000677 if varargs is not None:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000678 specs.append(formatvarargs(varargs))
Raymond Hettinger936654b2002-06-01 03:06:31 +0000679 if varkw is not None:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000680 specs.append(formatvarkw(varkw))
681 return '(' + string.join(specs, ', ') + ')'
682
683def formatargvalues(args, varargs, varkw, locals,
684 formatarg=str,
685 formatvarargs=lambda name: '*' + name,
686 formatvarkw=lambda name: '**' + name,
687 formatvalue=lambda value: '=' + repr(value),
688 join=joinseq):
689 """Format an argument spec from the 4 values returned by getargvalues.
690
691 The first four arguments are (args, varargs, varkw, locals). The
692 next four arguments are the corresponding optional formatting functions
693 that are called to turn names and values into strings. The ninth
694 argument is an optional function to format the sequence of arguments."""
695 def convert(name, locals=locals,
696 formatarg=formatarg, formatvalue=formatvalue):
697 return formatarg(name) + formatvalue(locals[name])
698 specs = []
699 for i in range(len(args)):
700 specs.append(strseq(args[i], convert, join))
701 if varargs:
702 specs.append(formatvarargs(varargs) + formatvalue(locals[varargs]))
703 if varkw:
704 specs.append(formatvarkw(varkw) + formatvalue(locals[varkw]))
705 return '(' + string.join(specs, ', ') + ')'
706
707# -------------------------------------------------- stack frame extraction
708def getframeinfo(frame, context=1):
709 """Get information about a frame or traceback object.
710
711 A tuple of five things is returned: the filename, the line number of
712 the current line, the function name, a list of lines of context from
713 the source code, and the index of the current line within that list.
714 The optional second argument specifies the number of lines of context
715 to return, which are centered around the current line."""
716 if istraceback(frame):
717 frame = frame.tb_frame
718 if not isframe(frame):
719 raise TypeError, 'arg is not a frame or traceback object'
720
Neil Schemenauerf06f8532002-03-23 23:51:04 +0000721 filename = getsourcefile(frame) or getfile(frame)
Michael W. Hudsondd32a912002-08-15 14:59:02 +0000722 lineno = frame.f_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000723 if context > 0:
Guido van Rossum54e54c62001-09-04 19:14:14 +0000724 start = lineno - 1 - context//2
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000725 try:
726 lines, lnum = findsource(frame)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000727 except IOError:
728 lines = index = None
729 else:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000730 start = max(start, 1)
731 start = min(start, len(lines) - context)
732 lines = lines[start:start+context]
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000733 index = lineno - 1 - start
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000734 else:
735 lines = index = None
736
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000737 return (filename, lineno, frame.f_code.co_name, lines, index)
738
739def getlineno(frame):
740 """Get the line number from a frame object, allowing for optimization."""
Michael W. Hudsondd32a912002-08-15 14:59:02 +0000741 # FrameType.f_lineno is now a descriptor that grovels co_lnotab
742 return frame.f_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000743
744def getouterframes(frame, context=1):
745 """Get a list of records for a frame and all higher (calling) frames.
746
747 Each record contains a frame object, filename, line number, function
748 name, a list of lines of context, and index within the context."""
749 framelist = []
750 while frame:
751 framelist.append((frame,) + getframeinfo(frame, context))
752 frame = frame.f_back
753 return framelist
754
755def getinnerframes(tb, context=1):
756 """Get a list of records for a traceback's frame and all lower frames.
757
758 Each record contains a frame object, filename, line number, function
759 name, a list of lines of context, and index within the context."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000760 framelist = []
761 while tb:
762 framelist.append((tb.tb_frame,) + getframeinfo(tb, context))
763 tb = tb.tb_next
764 return framelist
765
766def currentframe():
767 """Return the frame object for the caller's stack frame."""
768 try:
Skip Montanaroa959a362002-03-25 21:37:54 +0000769 1/0
770 except ZeroDivisionError:
Fred Draked451ec12002-04-26 02:29:55 +0000771 return sys.exc_info()[2].tb_frame.f_back
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000772
773if hasattr(sys, '_getframe'): currentframe = sys._getframe
774
775def stack(context=1):
776 """Return a list of records for the stack above the caller's frame."""
777 return getouterframes(currentframe().f_back, context)
778
779def trace(context=1):
Tim Peters85ba6732001-02-28 08:26:44 +0000780 """Return a list of records for the stack below the current exception."""
Fred Draked451ec12002-04-26 02:29:55 +0000781 return getinnerframes(sys.exc_info()[2], context)