Project

General

Profile

1
# Exception handling
2

    
3
import copy
4
import atexit
5
import sys
6
import traceback
7

    
8
import format
9
import strings
10
import term
11
import util
12

    
13
def raise_(e): raise e
14

    
15
def sys_traceback():
16
    '''Note that Python tracebacks seems to have a bug that truncates them to
17
    only a few stack frames. See <http://bugs.python.org/issue7378>.'''
18
    return sys.exc_info()[2]
19
        # can't just return pointer to traceback because it will change :-(
20

    
21
def has_tracebacks(e): return hasattr(e, 'tracebacks')
22

    
23
def add_traceback(e):
24
    '''Adds current traceback to an exception if it doesn't already have one'''
25
    traceback_ = sys_traceback() # get first in case later code throws exception
26
    if not has_tracebacks(e): e.tracebacks = []
27
    if util.list_get(e.tracebacks, 0) == traceback_: return
28
    e.tracebacks.insert(0, traceback_) # tracebacks have most recent call last
29

    
30
def get_traceback_str(traceback_):
31
    return ''.join(traceback.format_exception(None, None, traceback_)[:-1])
32
        # remove final "None" line ("exception name")
33

    
34
def get_e_tracebacks_str(e):
35
    try: tracebacks = e.tracebacks
36
    except AttributeError: return ''
37
    return ''.join(get_traceback_str(t) for t in tracebacks)
38

    
39
def add_msg(e, msg): e.args = (strings.ensure_newl(str(e))+msg,)
40

    
41
def repl_msg(e, **repls): e.args = (str(e) % repls,)
42

    
43
def e_ct_exit_status(e_ct): return min(e_ct, 255)
44

    
45
class ExceptionWithCause(Exception):
46
    def __init__(self, msg, cause=None):
47
        add_traceback(self)
48
        if cause != None: msg += ': '+str_(cause)
49
        Exception.__init__(self, msg)
50

    
51
def str_(e):
52
    return ''.join(traceback.format_exception_only(type(e), e)).rstrip()
53

    
54
def print_ex(e, emph=True, plain=False):
55
    if plain: emph = False
56
    
57
    msg = str_(e)+'\n'
58
    if not plain: msg += get_e_tracebacks_str(e)
59
    if emph:
60
        first_line, nl, rest = msg.partition('\n')
61
        msg = term.error(first_line)+nl+rest
62
    sys.stderr.write(msg)
63

    
64
class ExTracker:
65
    def __init__(self):
66
        self.e_ct = 0
67
    
68
    def msg(self): return 'Encountered '+str(self.e_ct)+' error(s)'
69
    
70
    def track(self, e, **format):
71
        self.e_ct += 1
72
        print_ex(e, **format)
73
    
74
    def exit(self):
75
        if self.e_ct > 0: raise SystemExit(e_ct_exit_status(self.e_ct))
76

    
77
class ExPercentTracker(ExTracker):
78
    def __init__(self, iter_text='iteration'):
79
        ExTracker.__init__(self)
80
        self.iter_text = iter_text
81
        self.iter_ct = None
82
        self.err_iter_ct = None
83
        self.last_iter_num = None
84
    
85
    def add_iters(self, iter_ct):
86
        if self.iter_ct == None: self.iter_ct = 0
87
        self.iter_ct += iter_ct
88
    
89
    def track(self, e, iter_num=None, **format):
90
        if iter_num != None:
91
            if iter_num != self.last_iter_num: # a new iter produced an error
92
                if self.err_iter_ct == None: self.err_iter_ct = 0
93
                self.err_iter_ct += 1
94
                self.last_iter_num = iter_num
95
        ExTracker.track(self, e, **format)
96
    
97
    def msg(self):
98
        msg = ExTracker.msg(self)
99
        iter_text_plural = self.iter_text+'(s)'
100
        numerator = self.e_ct
101
        if self.err_iter_ct != None:
102
            msg += ' in '+format.int2str(self.err_iter_ct)
103
            numerator = self.err_iter_ct
104
        if self.iter_ct != None and self.iter_ct > 0:
105
            msg += ('/'+format.int2str(self.iter_ct)+' '+iter_text_plural+' = '
106
            +format.to_percent(float(numerator)/self.iter_ct))
107
        return msg
(12-12/33)