1994-07-01 17:36:46 +02:00
|
|
|
# Format and print Python stack traces
|
|
|
|
|
|
|
|
import linecache
|
|
|
|
import string
|
|
|
|
import sys
|
1995-02-27 14:15:45 +01:00
|
|
|
import types
|
1994-07-01 17:36:46 +02:00
|
|
|
|
1995-09-20 22:31:51 +02:00
|
|
|
def _print(file, str='', terminator='\n'):
|
|
|
|
file.write(str+terminator)
|
|
|
|
|
|
|
|
|
|
|
|
def print_tb(tb, limit=None, file=None):
|
|
|
|
if not file:
|
|
|
|
file = sys.stderr
|
1994-07-01 17:36:46 +02:00
|
|
|
if limit is None:
|
|
|
|
if hasattr(sys, 'tracebacklimit'):
|
|
|
|
limit = sys.tracebacklimit
|
|
|
|
n = 0
|
|
|
|
while tb is not None and (limit is None or n < limit):
|
|
|
|
f = tb.tb_frame
|
|
|
|
lineno = tb.tb_lineno
|
|
|
|
co = f.f_code
|
|
|
|
filename = co.co_filename
|
|
|
|
name = co.co_name
|
1995-09-20 22:31:51 +02:00
|
|
|
_print(file,
|
|
|
|
' File "%s", line %d, in %s' % (filename,lineno,name))
|
1994-07-01 17:36:46 +02:00
|
|
|
line = linecache.getline(filename, lineno)
|
1995-09-20 22:31:51 +02:00
|
|
|
if line: _print(file, ' ' + string.strip(line))
|
1994-07-01 17:36:46 +02:00
|
|
|
tb = tb.tb_next
|
|
|
|
n = n+1
|
|
|
|
|
1995-08-04 06:30:30 +02:00
|
|
|
def format_tb(tb, limit = None):
|
|
|
|
list = []
|
|
|
|
for filename, lineno, name, line in extract_tb(tb, limit):
|
|
|
|
item = ' File "%s", line %d, in %s\n' % (filename,lineno,name)
|
|
|
|
if line:
|
|
|
|
item = item + ' %s\n' % string.strip(line)
|
|
|
|
list.append(item)
|
|
|
|
return list
|
|
|
|
|
1994-07-01 17:36:46 +02:00
|
|
|
def extract_tb(tb, limit = None):
|
|
|
|
if limit is None:
|
|
|
|
if hasattr(sys, 'tracebacklimit'):
|
|
|
|
limit = sys.tracebacklimit
|
|
|
|
list = []
|
|
|
|
n = 0
|
|
|
|
while tb is not None and (limit is None or n < limit):
|
|
|
|
f = tb.tb_frame
|
|
|
|
lineno = tb.tb_lineno
|
|
|
|
co = f.f_code
|
|
|
|
filename = co.co_filename
|
|
|
|
name = co.co_name
|
|
|
|
line = linecache.getline(filename, lineno)
|
|
|
|
if line: line = string.strip(line)
|
|
|
|
else: line = None
|
|
|
|
list.append(filename, lineno, name, line)
|
|
|
|
tb = tb.tb_next
|
|
|
|
n = n+1
|
|
|
|
return list
|
|
|
|
|
1995-08-04 06:30:30 +02:00
|
|
|
|
1995-09-20 22:31:51 +02:00
|
|
|
def print_exception(etype, value, tb, limit=None, file=None):
|
|
|
|
if not file:
|
|
|
|
file = sys.stderr
|
1994-08-23 15:32:20 +02:00
|
|
|
if tb:
|
1995-09-20 22:31:51 +02:00
|
|
|
_print(file, 'Traceback (innermost last):')
|
|
|
|
print_tb(tb, limit, file)
|
|
|
|
lines = format_exception_only(etype, value)
|
|
|
|
for line in lines[:-1]:
|
|
|
|
_print(file, line, ' ')
|
|
|
|
_print(file, lines[-1], '')
|
1995-08-04 06:30:30 +02:00
|
|
|
|
|
|
|
def format_exception(etype, value, tb, limit = None):
|
|
|
|
if tb:
|
|
|
|
list = ['Traceback (innermost last):\n']
|
|
|
|
list = list + format_tb(tb, limit)
|
|
|
|
list = list + format_exception_only(etype, value)
|
|
|
|
return list
|
|
|
|
|
|
|
|
def format_exception_only(etype, value):
|
|
|
|
list = []
|
1995-02-27 14:15:45 +01:00
|
|
|
if type(etype) == types.ClassType:
|
|
|
|
stype = etype.__name__
|
|
|
|
else:
|
|
|
|
stype = etype
|
1994-08-23 15:32:20 +02:00
|
|
|
if value is None:
|
1995-08-04 06:30:30 +02:00
|
|
|
list.append(str(stype) + '\n')
|
1994-08-23 15:32:20 +02:00
|
|
|
else:
|
1995-02-27 14:15:45 +01:00
|
|
|
if etype is SyntaxError:
|
1994-08-23 15:32:20 +02:00
|
|
|
try:
|
|
|
|
msg, (filename, lineno, offset, line) = value
|
|
|
|
except:
|
|
|
|
pass
|
|
|
|
else:
|
|
|
|
if not filename: filename = "<string>"
|
1995-08-04 06:30:30 +02:00
|
|
|
list.append(' File "%s", line %d\n' %
|
|
|
|
(filename, lineno))
|
1994-08-23 15:32:20 +02:00
|
|
|
i = 0
|
1995-02-27 14:15:45 +01:00
|
|
|
while i < len(line) and \
|
|
|
|
line[i] in string.whitespace:
|
1994-08-23 15:32:20 +02:00
|
|
|
i = i+1
|
1995-08-04 06:30:30 +02:00
|
|
|
list.append(' %s\n' % string.strip(line))
|
1994-08-23 15:32:20 +02:00
|
|
|
s = ' '
|
|
|
|
for c in line[i:offset-1]:
|
|
|
|
if c in string.whitespace:
|
|
|
|
s = s + c
|
|
|
|
else:
|
|
|
|
s = s + ' '
|
1995-08-04 06:30:30 +02:00
|
|
|
list.append('%s^\n' % s)
|
1994-08-23 15:32:20 +02:00
|
|
|
value = msg
|
1995-08-04 06:30:30 +02:00
|
|
|
list.append('%s: %s\n' % (str(stype), str(value)))
|
|
|
|
return list
|
|
|
|
|
1994-07-01 17:36:46 +02:00
|
|
|
|
1995-09-20 22:31:51 +02:00
|
|
|
def print_exc(limit=None, file=None):
|
|
|
|
if not file:
|
|
|
|
file = sys.stderr
|
1994-07-01 17:36:46 +02:00
|
|
|
print_exception(sys.exc_type, sys.exc_value, sys.exc_traceback,
|
1995-09-20 22:31:51 +02:00
|
|
|
limit, file)
|
1994-07-01 17:36:46 +02:00
|
|
|
|
1995-09-20 22:31:51 +02:00
|
|
|
def print_last(limit=None, file=None):
|
|
|
|
if not file:
|
|
|
|
file = sys.stderr
|
1994-07-01 17:36:46 +02:00
|
|
|
print_exception(sys.last_type, sys.last_value, sys.last_traceback,
|
1995-09-20 22:31:51 +02:00
|
|
|
limit, file)
|