blob: e55edcab2892ac5a259c68dcd304612ac87a91d5 [file] [log] [blame]
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +00001"""Get useful information from live Python objects.
2
3This module encapsulates the interface provided by the internal special
4attributes (func_*, co_*, im_*, tb_*, etc.) in a friendlier fashion.
5It also provides some help for examining source code and class layout.
6
7Here are some of the useful functions provided by this module:
8
9 ismodule(), isclass(), ismethod(), isfunction(), istraceback(),
10 isframe(), iscode(), isbuiltin(), isroutine() - check object types
11 getmembers() - get members of an object that satisfy a given condition
12
13 getfile(), getsourcefile(), getsource() - find an object's source code
14 getdoc(), getcomments() - get documentation on an object
15 getmodule() - determine the module that an object came from
16 getclasstree() - arrange classes so as to represent their hierarchy
17
18 getargspec(), getargvalues() - get info about function arguments
19 formatargspec(), formatargvalues() - format an argument spec
20 getouterframes(), getinnerframes() - get info about frames
21 currentframe() - get the current stack frame
22 stack(), trace() - get info about frames on the stack or in a traceback
23"""
24
25# This module is in the public domain. No warranties.
26
Ka-Ping Yee8b58b842001-03-01 13:56:16 +000027__author__ = 'Ka-Ping Yee <ping@lfw.org>'
28__date__ = '1 Jan 2001'
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000029
Ka-Ping Yeea6e59712001-03-10 09:31:55 +000030import sys, os, types, string, re, dis, imp, tokenize
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000031
32# ----------------------------------------------------------- type-checking
33def ismodule(object):
34 """Return true if the object is a module.
35
36 Module objects provide these attributes:
37 __doc__ documentation string
38 __file__ filename (missing for built-in modules)"""
Tim Peters28bc59f2001-09-16 08:40:16 +000039 return isinstance(object, types.ModuleType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000040
41def isclass(object):
42 """Return true if the object is a class.
43
44 Class objects provide these attributes:
45 __doc__ documentation string
46 __module__ name of module in which this class was defined"""
Tim Peters28bc59f2001-09-16 08:40:16 +000047 return isinstance(object, types.ClassType) or hasattr(object, '__bases__')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000048
49def ismethod(object):
50 """Return true if the object is an instance method.
51
52 Instance method objects provide these attributes:
53 __doc__ documentation string
54 __name__ name with which this method was defined
55 im_class class object in which this method belongs
56 im_func function object containing implementation of method
57 im_self instance to which this method is bound, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +000058 return isinstance(object, types.MethodType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000059
Tim Peters536d2262001-09-20 05:13:38 +000060def ismethoddescriptor(object):
Tim Petersf1d90b92001-09-20 05:47:55 +000061 """Return true if the object is a method descriptor.
62
63 But not if ismethod() or isclass() or isfunction() are true.
Tim Peters536d2262001-09-20 05:13:38 +000064
65 This is new in Python 2.2, and, for example, is true of int.__add__.
66 An object passing this test has a __get__ attribute but not a __set__
67 attribute, but beyond that the set of attributes varies. __name__ is
68 usually sensible, and __doc__ often is.
69
Tim Petersf1d90b92001-09-20 05:47:55 +000070 Methods implemented via descriptors that also pass one of the other
71 tests return false from the ismethoddescriptor() test, simply because
72 the other tests promise more -- you can, e.g., count on having the
73 im_func attribute (etc) when an object passes ismethod()."""
Tim Peters536d2262001-09-20 05:13:38 +000074 return (hasattr(object, "__get__")
75 and not hasattr(object, "__set__") # else it's a data descriptor
76 and not ismethod(object) # mutual exclusion
Tim Petersf1d90b92001-09-20 05:47:55 +000077 and not isfunction(object)
Tim Peters536d2262001-09-20 05:13:38 +000078 and not isclass(object))
79
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000080def isfunction(object):
81 """Return true if the object is a user-defined function.
82
83 Function objects provide these attributes:
84 __doc__ documentation string
85 __name__ name with which this function was defined
86 func_code code object containing compiled function bytecode
87 func_defaults tuple of any default values for arguments
88 func_doc (same as __doc__)
89 func_globals global namespace in which this function was defined
90 func_name (same as __name__)"""
Tim Peters28bc59f2001-09-16 08:40:16 +000091 return isinstance(object, types.FunctionType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +000092
93def istraceback(object):
94 """Return true if the object is a traceback.
95
96 Traceback objects provide these attributes:
97 tb_frame frame object at this level
98 tb_lasti index of last attempted instruction in bytecode
99 tb_lineno current line number in Python source code
100 tb_next next inner traceback object (called by this level)"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000101 return isinstance(object, types.TracebackType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000102
103def isframe(object):
104 """Return true if the object is a frame object.
105
106 Frame objects provide these attributes:
107 f_back next outer frame object (this frame's caller)
108 f_builtins built-in namespace seen by this frame
109 f_code code object being executed in this frame
110 f_exc_traceback traceback if raised in this frame, or None
111 f_exc_type exception type if raised in this frame, or None
112 f_exc_value exception value if raised in this frame, or None
113 f_globals global namespace seen by this frame
114 f_lasti index of last attempted instruction in bytecode
115 f_lineno current line number in Python source code
116 f_locals local namespace seen by this frame
117 f_restricted 0 or 1 if frame is in restricted execution mode
118 f_trace tracing function for this frame, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000119 return isinstance(object, types.FrameType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000120
121def iscode(object):
122 """Return true if the object is a code object.
123
124 Code objects provide these attributes:
125 co_argcount number of arguments (not including * or ** args)
126 co_code string of raw compiled bytecode
127 co_consts tuple of constants used in the bytecode
128 co_filename name of file in which this code object was created
129 co_firstlineno number of first line in Python source code
130 co_flags bitmap: 1=optimized | 2=newlocals | 4=*arg | 8=**arg
131 co_lnotab encoded mapping of line numbers to bytecode indices
132 co_name name with which this code object was defined
133 co_names tuple of names of local variables
134 co_nlocals number of local variables
135 co_stacksize virtual machine stack space required
136 co_varnames tuple of names of arguments and local variables"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000137 return isinstance(object, types.CodeType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000138
139def isbuiltin(object):
140 """Return true if the object is a built-in function or method.
141
142 Built-in functions and methods provide these attributes:
143 __doc__ documentation string
144 __name__ original name of this function or method
145 __self__ instance to which a method is bound, or None"""
Tim Peters28bc59f2001-09-16 08:40:16 +0000146 return isinstance(object, types.BuiltinFunctionType)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000147
148def isroutine(object):
149 """Return true if the object is any kind of function or method."""
Tim Peters536d2262001-09-20 05:13:38 +0000150 return (isbuiltin(object)
151 or isfunction(object)
152 or ismethod(object)
153 or ismethoddescriptor(object))
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000154
155def getmembers(object, predicate=None):
156 """Return all members of an object as (name, value) pairs sorted by name.
157 Optionally, only return members that satisfy a given predicate."""
158 results = []
159 for key in dir(object):
160 value = getattr(object, key)
161 if not predicate or predicate(value):
162 results.append((key, value))
163 results.sort()
164 return results
165
Tim Peters13b49d32001-09-23 02:00:29 +0000166def classify_class_attrs(cls):
167 """Return list of attribute-descriptor tuples.
168
169 For each name in dir(cls), the return list contains a 4-tuple
170 with these elements:
171
172 0. The name (a string).
173
174 1. The kind of attribute this is, one of these strings:
175 'class method' created via classmethod()
176 'static method' created via staticmethod()
177 'property' created via property()
178 'method' any other flavor of method
179 'data' not a method
180
181 2. The class which defined this attribute (a class).
182
183 3. The object as obtained directly from the defining class's
184 __dict__, not via getattr. This is especially important for
185 data attributes: C.data is just a data object, but
186 C.__dict__['data'] may be a data descriptor with additional
187 info, like a __doc__ string.
188 """
189
190 mro = getmro(cls)
191 names = dir(cls)
192 result = []
193 for name in names:
194 # Get the object associated with the name.
195 # Getting an obj from the __dict__ sometimes reveals more than
196 # using getattr. Static and class methods are dramatic examples.
197 if name in cls.__dict__:
198 obj = cls.__dict__[name]
199 else:
200 obj = getattr(cls, name)
201
202 # Figure out where it was defined.
Tim Peters13b49d32001-09-23 02:00:29 +0000203 homecls = getattr(obj, "__objclass__", None)
204 if homecls is None:
Guido van Rossum687ae002001-10-15 22:03:32 +0000205 # search the dicts.
Tim Peters13b49d32001-09-23 02:00:29 +0000206 for base in mro:
207 if name in base.__dict__:
208 homecls = base
209 break
210
211 # Get the object again, in order to get it from the defining
212 # __dict__ instead of via getattr (if possible).
213 if homecls is not None and name in homecls.__dict__:
214 obj = homecls.__dict__[name]
215
216 # Also get the object via getattr.
217 obj_via_getattr = getattr(cls, name)
218
219 # Classify the object.
220 if isinstance(obj, staticmethod):
221 kind = "static method"
222 elif isinstance(obj, classmethod):
223 kind = "class method"
224 elif isinstance(obj, property):
225 kind = "property"
226 elif (ismethod(obj_via_getattr) or
227 ismethoddescriptor(obj_via_getattr)):
228 kind = "method"
229 else:
230 kind = "data"
231
232 result.append((name, kind, homecls, obj))
233
234 return result
235
Tim Peterse0b2d7a2001-09-22 06:10:55 +0000236# ----------------------------------------------------------- class helpers
237def _searchbases(cls, accum):
238 # Simulate the "classic class" search order.
239 if cls in accum:
240 return
241 accum.append(cls)
242 for base in cls.__bases__:
243 _searchbases(base, accum)
244
245def getmro(cls):
246 "Return tuple of base classes (including cls) in method resolution order."
247 if hasattr(cls, "__mro__"):
248 return cls.__mro__
249 else:
250 result = []
251 _searchbases(cls, result)
252 return tuple(result)
253
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000254# -------------------------------------------------- source code extraction
255def indentsize(line):
256 """Return the indent size, in spaces, at the start of a line of text."""
257 expline = string.expandtabs(line)
258 return len(expline) - len(string.lstrip(expline))
259
260def getdoc(object):
261 """Get the documentation string for an object.
262
263 All tabs are expanded to spaces. To clean up docstrings that are
264 indented to line up with blocks of code, any whitespace than can be
265 uniformly removed from the second line onwards is removed."""
266 if hasattr(object, '__doc__') and object.__doc__:
267 lines = string.split(string.expandtabs(object.__doc__), '\n')
268 margin = None
269 for line in lines[1:]:
270 content = len(string.lstrip(line))
271 if not content: continue
272 indent = len(line) - content
273 if margin is None: margin = indent
274 else: margin = min(margin, indent)
275 if margin is not None:
276 for i in range(1, len(lines)): lines[i] = lines[i][margin:]
277 return string.join(lines, '\n')
278
279def getfile(object):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000280 """Work out which source or compiled file an object was defined in."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000281 if ismodule(object):
282 if hasattr(object, '__file__'):
283 return object.__file__
284 raise TypeError, 'arg is a built-in module'
285 if isclass(object):
Ka-Ping Yeec99e0f12001-04-13 12:10:40 +0000286 object = sys.modules.get(object.__module__)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000287 if hasattr(object, '__file__'):
288 return object.__file__
289 raise TypeError, 'arg is a built-in class'
290 if ismethod(object):
291 object = object.im_func
292 if isfunction(object):
293 object = object.func_code
294 if istraceback(object):
295 object = object.tb_frame
296 if isframe(object):
297 object = object.f_code
298 if iscode(object):
299 return object.co_filename
300 raise TypeError, 'arg is not a module, class, method, ' \
301 'function, traceback, frame, or code object'
302
Ka-Ping Yee4d6fc7f2001-04-10 11:43:00 +0000303def getmoduleinfo(path):
304 """Get the module name, suffix, mode, and module type for a given file."""
305 filename = os.path.basename(path)
306 suffixes = map(lambda (suffix, mode, mtype):
307 (-len(suffix), suffix, mode, mtype), imp.get_suffixes())
308 suffixes.sort() # try longest suffixes first, in case they overlap
309 for neglen, suffix, mode, mtype in suffixes:
310 if filename[neglen:] == suffix:
311 return filename[:neglen], suffix, mode, mtype
312
313def getmodulename(path):
314 """Return the module name for a given file, or None."""
315 info = getmoduleinfo(path)
316 if info: return info[0]
317
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000318def getsourcefile(object):
319 """Return the Python source file an object was defined in, if it exists."""
320 filename = getfile(object)
321 if string.lower(filename[-4:]) in ['.pyc', '.pyo']:
322 filename = filename[:-4] + '.py'
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000323 for suffix, mode, kind in imp.get_suffixes():
324 if 'b' in mode and string.lower(filename[-len(suffix):]) == suffix:
325 # Looks like a binary file. We want to only return a text file.
326 return None
327 if os.path.exists(filename):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000328 return filename
329
330def getabsfile(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000331 """Return an absolute path to the source or compiled file for an object.
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000332
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000333 The idea is for each object to have a unique origin, so this routine
334 normalizes the result as much as possible."""
335 return os.path.normcase(
336 os.path.abspath(getsourcefile(object) or getfile(object)))
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000337
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000338modulesbyfile = {}
339
340def getmodule(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000341 """Return the module an object was defined in, or None if not found."""
Ka-Ping Yee202c99b2001-04-13 09:15:08 +0000342 if ismodule(object):
343 return object
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000344 if isclass(object):
Ka-Ping Yee8b58b842001-03-01 13:56:16 +0000345 return sys.modules.get(object.__module__)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000346 try:
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000347 file = getabsfile(object)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000348 except TypeError:
349 return None
350 if modulesbyfile.has_key(file):
351 return sys.modules[modulesbyfile[file]]
352 for module in sys.modules.values():
353 if hasattr(module, '__file__'):
Ka-Ping Yeec113c242001-03-02 02:08:53 +0000354 modulesbyfile[getabsfile(module)] = module.__name__
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000355 if modulesbyfile.has_key(file):
356 return sys.modules[modulesbyfile[file]]
357 main = sys.modules['__main__']
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000358 if hasattr(main, object.__name__):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000359 mainobject = getattr(main, object.__name__)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000360 if mainobject is object:
361 return main
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000362 builtin = sys.modules['__builtin__']
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000363 if hasattr(builtin, object.__name__):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000364 builtinobject = getattr(builtin, object.__name__)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000365 if builtinobject is object:
366 return builtin
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000367
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000368def findsource(object):
369 """Return the entire source file and starting line number for an object.
370
371 The argument may be a module, class, method, function, traceback, frame,
372 or code object. The source code is returned as a list of all the lines
373 in the file and the line number indexes a line in that list. An IOError
374 is raised if the source code cannot be retrieved."""
375 try:
376 file = open(getsourcefile(object))
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000377 except (TypeError, IOError):
378 raise IOError, 'could not get source code'
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000379 lines = file.readlines()
380 file.close()
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000381
382 if ismodule(object):
383 return lines, 0
384
385 if isclass(object):
386 name = object.__name__
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000387 pat = re.compile(r'^\s*class\s*' + name + r'\b')
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000388 for i in range(len(lines)):
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000389 if pat.match(lines[i]): return lines, i
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000390 else: raise IOError, 'could not find class definition'
391
392 if ismethod(object):
393 object = object.im_func
394 if isfunction(object):
395 object = object.func_code
396 if istraceback(object):
397 object = object.tb_frame
398 if isframe(object):
399 object = object.f_code
400 if iscode(object):
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000401 if not hasattr(object, 'co_firstlineno'):
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000402 raise IOError, 'could not find function definition'
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000403 lnum = object.co_firstlineno - 1
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000404 pat = re.compile(r'^\s*def\s')
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000405 while lnum > 0:
Ka-Ping Yeea6e59712001-03-10 09:31:55 +0000406 if pat.match(lines[lnum]): break
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000407 lnum = lnum - 1
408 return lines, lnum
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000409
410def getcomments(object):
411 """Get lines of comments immediately preceding an object's source code."""
412 try: lines, lnum = findsource(object)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000413 except IOError: return None
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000414
415 if ismodule(object):
416 # Look for a comment block at the top of the file.
417 start = 0
Ka-Ping Yeeb910efe2001-04-12 13:17:17 +0000418 if lines and lines[0][:2] == '#!': start = 1
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000419 while start < len(lines) and string.strip(lines[start]) in ['', '#']:
420 start = start + 1
Ka-Ping Yeeb910efe2001-04-12 13:17:17 +0000421 if start < len(lines) and lines[start][:1] == '#':
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000422 comments = []
423 end = start
424 while end < len(lines) and lines[end][:1] == '#':
425 comments.append(string.expandtabs(lines[end]))
426 end = end + 1
427 return string.join(comments, '')
428
429 # Look for a preceding block of comments at the same indentation.
430 elif lnum > 0:
431 indent = indentsize(lines[lnum])
432 end = lnum - 1
433 if end >= 0 and string.lstrip(lines[end])[:1] == '#' and \
434 indentsize(lines[end]) == indent:
435 comments = [string.lstrip(string.expandtabs(lines[end]))]
436 if end > 0:
437 end = end - 1
438 comment = string.lstrip(string.expandtabs(lines[end]))
439 while comment[:1] == '#' and indentsize(lines[end]) == indent:
440 comments[:0] = [comment]
441 end = end - 1
442 if end < 0: break
443 comment = string.lstrip(string.expandtabs(lines[end]))
444 while comments and string.strip(comments[0]) == '#':
445 comments[:1] = []
446 while comments and string.strip(comments[-1]) == '#':
447 comments[-1:] = []
448 return string.join(comments, '')
449
450class ListReader:
451 """Provide a readline() method to return lines from a list of strings."""
452 def __init__(self, lines):
453 self.lines = lines
454 self.index = 0
455
456 def readline(self):
457 i = self.index
458 if i < len(self.lines):
459 self.index = i + 1
460 return self.lines[i]
461 else: return ''
462
Tim Peters4efb6e92001-06-29 23:51:08 +0000463class EndOfBlock(Exception): pass
464
465class BlockFinder:
466 """Provide a tokeneater() method to detect the end of a code block."""
467 def __init__(self):
468 self.indent = 0
469 self.started = 0
470 self.last = 0
471
472 def tokeneater(self, type, token, (srow, scol), (erow, ecol), line):
473 if not self.started:
474 if type == tokenize.NAME: self.started = 1
475 elif type == tokenize.NEWLINE:
476 self.last = srow
477 elif type == tokenize.INDENT:
478 self.indent = self.indent + 1
479 elif type == tokenize.DEDENT:
480 self.indent = self.indent - 1
481 if self.indent == 0: raise EndOfBlock, self.last
482
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000483def getblock(lines):
484 """Extract the block of code at the top of the given list of lines."""
Tim Peters4efb6e92001-06-29 23:51:08 +0000485 try:
486 tokenize.tokenize(ListReader(lines).readline, BlockFinder().tokeneater)
487 except EndOfBlock, eob:
488 return lines[:eob.args[0]]
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000489
490def getsourcelines(object):
491 """Return a list of source lines and starting line number for an object.
492
493 The argument may be a module, class, method, function, traceback, frame,
494 or code object. The source code is returned as a list of the lines
495 corresponding to the object and the line number indicates where in the
496 original source file the first line of code was found. An IOError is
497 raised if the source code cannot be retrieved."""
498 lines, lnum = findsource(object)
499
500 if ismodule(object): return lines, 0
501 else: return getblock(lines[lnum:]), lnum + 1
502
503def getsource(object):
504 """Return the text of the source code for an object.
505
506 The argument may be a module, class, method, function, traceback, frame,
507 or code object. The source code is returned as a single string. An
508 IOError is raised if the source code cannot be retrieved."""
509 lines, lnum = getsourcelines(object)
510 return string.join(lines, '')
511
512# --------------------------------------------------- class tree extraction
513def walktree(classes, children, parent):
514 """Recursive helper function for getclasstree()."""
515 results = []
516 classes.sort(lambda a, b: cmp(a.__name__, b.__name__))
517 for c in classes:
518 results.append((c, c.__bases__))
519 if children.has_key(c):
520 results.append(walktree(children[c], children, c))
521 return results
522
523def getclasstree(classes, unique=0):
524 """Arrange the given list of classes into a hierarchy of nested lists.
525
526 Where a nested list appears, it contains classes derived from the class
527 whose entry immediately precedes the list. Each entry is a 2-tuple
528 containing a class and a tuple of its base classes. If the 'unique'
529 argument is true, exactly one entry appears in the returned structure
530 for each class in the given list. Otherwise, classes using multiple
531 inheritance and their descendants will appear multiple times."""
532 children = {}
533 roots = []
534 for c in classes:
535 if c.__bases__:
536 for parent in c.__bases__:
537 if not children.has_key(parent):
538 children[parent] = []
539 children[parent].append(c)
540 if unique and parent in classes: break
541 elif c not in roots:
542 roots.append(c)
543 for parent in children.keys():
544 if parent not in classes:
545 roots.append(parent)
546 return walktree(roots, children, None)
547
548# ------------------------------------------------ argument list extraction
549# These constants are from Python's compile.h.
550CO_OPTIMIZED, CO_NEWLOCALS, CO_VARARGS, CO_VARKEYWORDS = 1, 2, 4, 8
551
552def getargs(co):
553 """Get information about the arguments accepted by a code object.
554
555 Three things are returned: (args, varargs, varkw), where 'args' is
556 a list of argument names (possibly containing nested lists), and
557 'varargs' and 'varkw' are the names of the * and ** arguments or None."""
558 if not iscode(co): raise TypeError, 'arg is not a code object'
559
560 code = co.co_code
561 nargs = co.co_argcount
562 names = co.co_varnames
563 args = list(names[:nargs])
564 step = 0
565
566 # The following acrobatics are for anonymous (tuple) arguments.
567 for i in range(nargs):
568 if args[i][:1] in ['', '.']:
569 stack, remain, count = [], [], []
570 while step < len(code):
571 op = ord(code[step])
572 step = step + 1
573 if op >= dis.HAVE_ARGUMENT:
574 opname = dis.opname[op]
575 value = ord(code[step]) + ord(code[step+1])*256
576 step = step + 2
577 if opname in ['UNPACK_TUPLE', 'UNPACK_SEQUENCE']:
578 remain.append(value)
579 count.append(value)
580 elif opname == 'STORE_FAST':
581 stack.append(names[value])
582 remain[-1] = remain[-1] - 1
583 while remain[-1] == 0:
584 remain.pop()
585 size = count.pop()
586 stack[-size:] = [stack[-size:]]
587 if not remain: break
588 remain[-1] = remain[-1] - 1
589 if not remain: break
590 args[i] = stack[0]
591
592 varargs = None
593 if co.co_flags & CO_VARARGS:
594 varargs = co.co_varnames[nargs]
595 nargs = nargs + 1
596 varkw = None
597 if co.co_flags & CO_VARKEYWORDS:
598 varkw = co.co_varnames[nargs]
599 return args, varargs, varkw
600
601def getargspec(func):
602 """Get the names and default values of a function's arguments.
603
604 A tuple of four things is returned: (args, varargs, varkw, defaults).
605 'args' is a list of the argument names (it may contain nested lists).
606 'varargs' and 'varkw' are the names of the * and ** arguments or None.
607 'defaults' is an n-tuple of the default values of the last n arguments."""
608 if not isfunction(func): raise TypeError, 'arg is not a Python function'
609 args, varargs, varkw = getargs(func.func_code)
610 return args, varargs, varkw, func.func_defaults
611
612def getargvalues(frame):
613 """Get information about arguments passed into a particular frame.
614
615 A tuple of four things is returned: (args, varargs, varkw, locals).
616 'args' is a list of the argument names (it may contain nested lists).
617 'varargs' and 'varkw' are the names of the * and ** arguments or None.
618 'locals' is the locals dictionary of the given frame."""
619 args, varargs, varkw = getargs(frame.f_code)
620 return args, varargs, varkw, frame.f_locals
621
622def joinseq(seq):
623 if len(seq) == 1:
624 return '(' + seq[0] + ',)'
625 else:
626 return '(' + string.join(seq, ', ') + ')'
627
628def strseq(object, convert, join=joinseq):
629 """Recursively walk a sequence, stringifying each element."""
630 if type(object) in [types.ListType, types.TupleType]:
631 return join(map(lambda o, c=convert, j=join: strseq(o, c, j), object))
632 else:
633 return convert(object)
634
635def formatargspec(args, varargs=None, varkw=None, defaults=None,
636 formatarg=str,
637 formatvarargs=lambda name: '*' + name,
638 formatvarkw=lambda name: '**' + name,
639 formatvalue=lambda value: '=' + repr(value),
640 join=joinseq):
641 """Format an argument spec from the 4 values returned by getargspec.
642
643 The first four arguments are (args, varargs, varkw, defaults). The
644 other four arguments are the corresponding optional formatting functions
645 that are called to turn names and values into strings. The ninth
646 argument is an optional function to format the sequence of arguments."""
647 specs = []
648 if defaults:
649 firstdefault = len(args) - len(defaults)
650 for i in range(len(args)):
651 spec = strseq(args[i], formatarg, join)
652 if defaults and i >= firstdefault:
653 spec = spec + formatvalue(defaults[i - firstdefault])
654 specs.append(spec)
655 if varargs:
656 specs.append(formatvarargs(varargs))
657 if varkw:
658 specs.append(formatvarkw(varkw))
659 return '(' + string.join(specs, ', ') + ')'
660
661def formatargvalues(args, varargs, varkw, locals,
662 formatarg=str,
663 formatvarargs=lambda name: '*' + name,
664 formatvarkw=lambda name: '**' + name,
665 formatvalue=lambda value: '=' + repr(value),
666 join=joinseq):
667 """Format an argument spec from the 4 values returned by getargvalues.
668
669 The first four arguments are (args, varargs, varkw, locals). The
670 next four arguments are the corresponding optional formatting functions
671 that are called to turn names and values into strings. The ninth
672 argument is an optional function to format the sequence of arguments."""
673 def convert(name, locals=locals,
674 formatarg=formatarg, formatvalue=formatvalue):
675 return formatarg(name) + formatvalue(locals[name])
676 specs = []
677 for i in range(len(args)):
678 specs.append(strseq(args[i], convert, join))
679 if varargs:
680 specs.append(formatvarargs(varargs) + formatvalue(locals[varargs]))
681 if varkw:
682 specs.append(formatvarkw(varkw) + formatvalue(locals[varkw]))
683 return '(' + string.join(specs, ', ') + ')'
684
685# -------------------------------------------------- stack frame extraction
686def getframeinfo(frame, context=1):
687 """Get information about a frame or traceback object.
688
689 A tuple of five things is returned: the filename, the line number of
690 the current line, the function name, a list of lines of context from
691 the source code, and the index of the current line within that list.
692 The optional second argument specifies the number of lines of context
693 to return, which are centered around the current line."""
694 if istraceback(frame):
695 frame = frame.tb_frame
696 if not isframe(frame):
697 raise TypeError, 'arg is not a frame or traceback object'
698
699 filename = getsourcefile(frame)
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000700 lineno = getlineno(frame)
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000701 if context > 0:
Guido van Rossum54e54c62001-09-04 19:14:14 +0000702 start = lineno - 1 - context//2
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000703 try:
704 lines, lnum = findsource(frame)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000705 except IOError:
706 lines = index = None
707 else:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000708 start = max(start, 1)
709 start = min(start, len(lines) - context)
710 lines = lines[start:start+context]
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000711 index = lineno - 1 - start
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000712 else:
713 lines = index = None
714
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000715 return (filename, lineno, frame.f_code.co_name, lines, index)
716
717def getlineno(frame):
718 """Get the line number from a frame object, allowing for optimization."""
719 # Written by Marc-André Lemburg; revised by Jim Hugunin and Fredrik Lundh.
720 lineno = frame.f_lineno
721 code = frame.f_code
722 if hasattr(code, 'co_lnotab'):
723 table = code.co_lnotab
724 lineno = code.co_firstlineno
725 addr = 0
726 for i in range(0, len(table), 2):
727 addr = addr + ord(table[i])
728 if addr > frame.f_lasti: break
729 lineno = lineno + ord(table[i+1])
730 return lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000731
732def getouterframes(frame, context=1):
733 """Get a list of records for a frame and all higher (calling) frames.
734
735 Each record contains a frame object, filename, line number, function
736 name, a list of lines of context, and index within the context."""
737 framelist = []
738 while frame:
739 framelist.append((frame,) + getframeinfo(frame, context))
740 frame = frame.f_back
741 return framelist
742
743def getinnerframes(tb, context=1):
744 """Get a list of records for a traceback's frame and all lower frames.
745
746 Each record contains a frame object, filename, line number, function
747 name, a list of lines of context, and index within the context."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000748 framelist = []
749 while tb:
750 framelist.append((tb.tb_frame,) + getframeinfo(tb, context))
751 tb = tb.tb_next
752 return framelist
753
754def currentframe():
755 """Return the frame object for the caller's stack frame."""
756 try:
757 raise 'catch me'
758 except:
759 return sys.exc_traceback.tb_frame.f_back
760
761if hasattr(sys, '_getframe'): currentframe = sys._getframe
762
763def stack(context=1):
764 """Return a list of records for the stack above the caller's frame."""
765 return getouterframes(currentframe().f_back, context)
766
767def trace(context=1):
Tim Peters85ba6732001-02-28 08:26:44 +0000768 """Return a list of records for the stack below the current exception."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000769 return getinnerframes(sys.exc_traceback, context)