blob: 77129fd7324d7e0e194cea51e3dfe3c431d6bd7f [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
Raymond Hettinger2d375f72003-01-14 02:19:36 +0000420 pat = re.compile(r'^(\s*def\s)|(.*\slambda(:|\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]]
Raymond Hettinger2d375f72003-01-14 02:19:36 +0000511 # Fooling the indent/dedent logic implies a one-line definition
512 return lines[:1]
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000513
514def getsourcelines(object):
515 """Return a list of source lines and starting line number for an object.
516
517 The argument may be a module, class, method, function, traceback, frame,
518 or code object. The source code is returned as a list of the lines
519 corresponding to the object and the line number indicates where in the
520 original source file the first line of code was found. An IOError is
521 raised if the source code cannot be retrieved."""
522 lines, lnum = findsource(object)
523
524 if ismodule(object): return lines, 0
525 else: return getblock(lines[lnum:]), lnum + 1
526
527def getsource(object):
528 """Return the text of the source code for an object.
529
530 The argument may be a module, class, method, function, traceback, frame,
531 or code object. The source code is returned as a single string. An
532 IOError is raised if the source code cannot be retrieved."""
533 lines, lnum = getsourcelines(object)
534 return string.join(lines, '')
535
536# --------------------------------------------------- class tree extraction
537def walktree(classes, children, parent):
538 """Recursive helper function for getclasstree()."""
539 results = []
540 classes.sort(lambda a, b: cmp(a.__name__, b.__name__))
541 for c in classes:
542 results.append((c, c.__bases__))
Raymond Hettinger54f02222002-06-01 14:18:47 +0000543 if c in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000544 results.append(walktree(children[c], children, c))
545 return results
546
547def getclasstree(classes, unique=0):
548 """Arrange the given list of classes into a hierarchy of nested lists.
549
550 Where a nested list appears, it contains classes derived from the class
551 whose entry immediately precedes the list. Each entry is a 2-tuple
552 containing a class and a tuple of its base classes. If the 'unique'
553 argument is true, exactly one entry appears in the returned structure
554 for each class in the given list. Otherwise, classes using multiple
555 inheritance and their descendants will appear multiple times."""
556 children = {}
557 roots = []
558 for c in classes:
559 if c.__bases__:
560 for parent in c.__bases__:
Raymond Hettinger54f02222002-06-01 14:18:47 +0000561 if not parent in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000562 children[parent] = []
563 children[parent].append(c)
564 if unique and parent in classes: break
565 elif c not in roots:
566 roots.append(c)
Raymond Hettingere0d49722002-06-02 18:55:56 +0000567 for parent in children:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000568 if parent not in classes:
569 roots.append(parent)
570 return walktree(roots, children, None)
571
572# ------------------------------------------------ argument list extraction
573# These constants are from Python's compile.h.
574CO_OPTIMIZED, CO_NEWLOCALS, CO_VARARGS, CO_VARKEYWORDS = 1, 2, 4, 8
575
576def getargs(co):
577 """Get information about the arguments accepted by a code object.
578
579 Three things are returned: (args, varargs, varkw), where 'args' is
580 a list of argument names (possibly containing nested lists), and
581 'varargs' and 'varkw' are the names of the * and ** arguments or None."""
582 if not iscode(co): raise TypeError, 'arg is not a code object'
583
584 code = co.co_code
585 nargs = co.co_argcount
586 names = co.co_varnames
587 args = list(names[:nargs])
588 step = 0
589
590 # The following acrobatics are for anonymous (tuple) arguments.
591 for i in range(nargs):
592 if args[i][:1] in ['', '.']:
593 stack, remain, count = [], [], []
594 while step < len(code):
595 op = ord(code[step])
596 step = step + 1
597 if op >= dis.HAVE_ARGUMENT:
598 opname = dis.opname[op]
599 value = ord(code[step]) + ord(code[step+1])*256
600 step = step + 2
601 if opname in ['UNPACK_TUPLE', 'UNPACK_SEQUENCE']:
602 remain.append(value)
603 count.append(value)
604 elif opname == 'STORE_FAST':
605 stack.append(names[value])
606 remain[-1] = remain[-1] - 1
607 while remain[-1] == 0:
608 remain.pop()
609 size = count.pop()
610 stack[-size:] = [stack[-size:]]
611 if not remain: break
612 remain[-1] = remain[-1] - 1
613 if not remain: break
614 args[i] = stack[0]
615
616 varargs = None
617 if co.co_flags & CO_VARARGS:
618 varargs = co.co_varnames[nargs]
619 nargs = nargs + 1
620 varkw = None
621 if co.co_flags & CO_VARKEYWORDS:
622 varkw = co.co_varnames[nargs]
623 return args, varargs, varkw
624
625def getargspec(func):
626 """Get the names and default values of a function's arguments.
627
628 A tuple of four things is returned: (args, varargs, varkw, defaults).
629 'args' is a list of the argument names (it may contain nested lists).
630 'varargs' and 'varkw' are the names of the * and ** arguments or None.
631 'defaults' is an n-tuple of the default values of the last n arguments."""
632 if not isfunction(func): raise TypeError, 'arg is not a Python function'
633 args, varargs, varkw = getargs(func.func_code)
634 return args, varargs, varkw, func.func_defaults
635
636def getargvalues(frame):
637 """Get information about arguments passed into a particular frame.
638
639 A tuple of four things is returned: (args, varargs, varkw, locals).
640 'args' is a list of the argument names (it may contain nested lists).
641 'varargs' and 'varkw' are the names of the * and ** arguments or None.
642 'locals' is the locals dictionary of the given frame."""
643 args, varargs, varkw = getargs(frame.f_code)
644 return args, varargs, varkw, frame.f_locals
645
646def joinseq(seq):
647 if len(seq) == 1:
648 return '(' + seq[0] + ',)'
649 else:
650 return '(' + string.join(seq, ', ') + ')'
651
652def strseq(object, convert, join=joinseq):
653 """Recursively walk a sequence, stringifying each element."""
654 if type(object) in [types.ListType, types.TupleType]:
655 return join(map(lambda o, c=convert, j=join: strseq(o, c, j), object))
656 else:
657 return convert(object)
658
659def formatargspec(args, varargs=None, varkw=None, defaults=None,
660 formatarg=str,
661 formatvarargs=lambda name: '*' + name,
662 formatvarkw=lambda name: '**' + name,
663 formatvalue=lambda value: '=' + repr(value),
664 join=joinseq):
665 """Format an argument spec from the 4 values returned by getargspec.
666
667 The first four arguments are (args, varargs, varkw, defaults). The
668 other four arguments are the corresponding optional formatting functions
669 that are called to turn names and values into strings. The ninth
670 argument is an optional function to format the sequence of arguments."""
671 specs = []
672 if defaults:
673 firstdefault = len(args) - len(defaults)
674 for i in range(len(args)):
675 spec = strseq(args[i], formatarg, join)
676 if defaults and i >= firstdefault:
677 spec = spec + formatvalue(defaults[i - firstdefault])
678 specs.append(spec)
Raymond Hettinger936654b2002-06-01 03:06:31 +0000679 if varargs is not None:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000680 specs.append(formatvarargs(varargs))
Raymond Hettinger936654b2002-06-01 03:06:31 +0000681 if varkw is not None:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000682 specs.append(formatvarkw(varkw))
683 return '(' + string.join(specs, ', ') + ')'
684
685def formatargvalues(args, varargs, varkw, locals,
686 formatarg=str,
687 formatvarargs=lambda name: '*' + name,
688 formatvarkw=lambda name: '**' + name,
689 formatvalue=lambda value: '=' + repr(value),
690 join=joinseq):
691 """Format an argument spec from the 4 values returned by getargvalues.
692
693 The first four arguments are (args, varargs, varkw, locals). The
694 next four arguments are the corresponding optional formatting functions
695 that are called to turn names and values into strings. The ninth
696 argument is an optional function to format the sequence of arguments."""
697 def convert(name, locals=locals,
698 formatarg=formatarg, formatvalue=formatvalue):
699 return formatarg(name) + formatvalue(locals[name])
700 specs = []
701 for i in range(len(args)):
702 specs.append(strseq(args[i], convert, join))
703 if varargs:
704 specs.append(formatvarargs(varargs) + formatvalue(locals[varargs]))
705 if varkw:
706 specs.append(formatvarkw(varkw) + formatvalue(locals[varkw]))
707 return '(' + string.join(specs, ', ') + ')'
708
709# -------------------------------------------------- stack frame extraction
710def getframeinfo(frame, context=1):
711 """Get information about a frame or traceback object.
712
713 A tuple of five things is returned: the filename, the line number of
714 the current line, the function name, a list of lines of context from
715 the source code, and the index of the current line within that list.
716 The optional second argument specifies the number of lines of context
717 to return, which are centered around the current line."""
718 if istraceback(frame):
719 frame = frame.tb_frame
720 if not isframe(frame):
721 raise TypeError, 'arg is not a frame or traceback object'
722
Neil Schemenauerf06f8532002-03-23 23:51:04 +0000723 filename = getsourcefile(frame) or getfile(frame)
Michael W. Hudsondd32a912002-08-15 14:59:02 +0000724 lineno = frame.f_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000725 if context > 0:
Guido van Rossum54e54c62001-09-04 19:14:14 +0000726 start = lineno - 1 - context//2
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000727 try:
728 lines, lnum = findsource(frame)
Ka-Ping Yee4eb0c002001-03-02 05:50:34 +0000729 except IOError:
730 lines = index = None
731 else:
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000732 start = max(start, 1)
733 start = min(start, len(lines) - context)
734 lines = lines[start:start+context]
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000735 index = lineno - 1 - start
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000736 else:
737 lines = index = None
738
Ka-Ping Yee59ade082001-03-01 03:55:35 +0000739 return (filename, lineno, frame.f_code.co_name, lines, index)
740
741def getlineno(frame):
742 """Get the line number from a frame object, allowing for optimization."""
Michael W. Hudsondd32a912002-08-15 14:59:02 +0000743 # FrameType.f_lineno is now a descriptor that grovels co_lnotab
744 return frame.f_lineno
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000745
746def getouterframes(frame, context=1):
747 """Get a list of records for a frame and all higher (calling) frames.
748
749 Each record contains a frame object, filename, line number, function
750 name, a list of lines of context, and index within the context."""
751 framelist = []
752 while frame:
753 framelist.append((frame,) + getframeinfo(frame, context))
754 frame = frame.f_back
755 return framelist
756
757def getinnerframes(tb, context=1):
758 """Get a list of records for a traceback's frame and all lower frames.
759
760 Each record contains a frame object, filename, line number, function
761 name, a list of lines of context, and index within the context."""
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000762 framelist = []
763 while tb:
764 framelist.append((tb.tb_frame,) + getframeinfo(tb, context))
765 tb = tb.tb_next
766 return framelist
767
768def currentframe():
769 """Return the frame object for the caller's stack frame."""
770 try:
Skip Montanaroa959a362002-03-25 21:37:54 +0000771 1/0
772 except ZeroDivisionError:
Fred Draked451ec12002-04-26 02:29:55 +0000773 return sys.exc_info()[2].tb_frame.f_back
Ka-Ping Yee6397c7c2001-02-27 14:43:21 +0000774
775if hasattr(sys, '_getframe'): currentframe = sys._getframe
776
777def stack(context=1):
778 """Return a list of records for the stack above the caller's frame."""
779 return getouterframes(currentframe().f_back, context)
780
781def trace(context=1):
Tim Peters85ba6732001-02-28 08:26:44 +0000782 """Return a list of records for the stack below the current exception."""
Fred Draked451ec12002-04-26 02:29:55 +0000783 return getinnerframes(sys.exc_info()[2], context)