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