Project

General

Profile

1
# Exception handling
2

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

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

    
14
def reraise(e=None): raise
15

    
16
def raise_(e): raise e
17

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

    
24
def has_tracebacks(e): return hasattr(e, 'tracebacks')
25

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

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

    
37
def get_e_tracebacks_str(e):
38
    traceback_ = sys_traceback() # get first in case later code throws exception
39
    try: tracebacks = e.tracebacks
40
    except AttributeError: tracebacks = [traceback_]
41
    return ''.join(get_traceback_str(t) for t in tracebacks)
42

    
43
def e_msg(e):
44
    if len(e.args) == 0: return strings.ustr(e)
45
    arg0 = e.args[0]
46
    if not util.is_str(arg0):
47
        warnings.warn(UserWarning('e.args[0] should be a string: '+repr(arg0)))
48
    return strings.ustr(arg0).rstrip()
49

    
50
def e_str(e): return e.__class__.__name__+': '+e_msg(e)
51

    
52
def add_msg(e, msg):
53
    e.args = (strings.to_raw_str(e_msg(e)+'\n'+strings.ustr(msg)),)
54

    
55
def repl_msg(e, **repls): e.args = (e_msg(e) % repls,)
56

    
57
def e_ct_exit_status(e_ct): return min(e_ct, 255)
58

    
59
class ExceptionWithCause(Exception):
60
    def __init__(self, msg, cause=None, cause_newline=False):
61
        add_traceback(self)
62
        
63
        if cause != None:
64
            if cause_newline: msg += '\ncause'
65
            msg += ': '+str_(cause)
66
        
67
        Exception.__init__(self, msg)
68
        
69
        self.cause = cause
70

    
71
def str_(e, first_line_only=False):
72
    if isinstance(e, SyntaxError):
73
        # format_exception_only() provides special formatting for SyntaxErrors.
74
        msg = (u''.join(traceback.format_exception_only(type(e), e))).rstrip()
75
    else:
76
        # Avoid traceback exception-formatting functions because they escape
77
        # non-ASCII characters with \x, causing exception parsers to read an
78
        # incorrect, escaped value.
79
        msg = e_str(e)
80
    
81
    if first_line_only: msg = msg.partition('\n')[0]
82
    return msg
83

    
84
def print_ex(e, emph=True, detail=True, plain=False):
85
    if plain:
86
        emph = False
87
        detail = False
88
    
89
    msg = str_(e)+'\n'
90
    if detail: msg += get_e_tracebacks_str(e)
91
    if emph:
92
        first_line, nl, rest = msg.partition('\n')
93
        msg = term.error(first_line)+nl+rest
94
    sys.stderr.write(strings.to_raw_str(msg))
95

    
96
class ExTracker:
97
    def __init__(self):
98
        self.e_ct = 0
99
    
100
    def msg(self): return 'Encountered '+str(self.e_ct)+' error(s)'
101
    
102
    def track(self, e, **format):
103
        self.e_ct += 1
104
        print_ex(e, **format)
105
    
106
    def exit(self):
107
        if self.e_ct > 0: raise SystemExit(e_ct_exit_status(self.e_ct))
108

    
109
class ExPercentTracker(ExTracker):
110
    def __init__(self, iter_text='iteration'):
111
        ExTracker.__init__(self)
112
        self.iter_text = iter_text
113
        self.iter_ct = None
114
        self.err_iter_ct = None
115
        self.last_iter_num = None
116
    
117
    def add_iters(self, iter_ct):
118
        if self.iter_ct == None: self.iter_ct = 0
119
        self.iter_ct += iter_ct
120
    
121
    def track(self, e, iter_num=None, **format):
122
        if iter_num != None:
123
            if iter_num != self.last_iter_num: # a new iter produced an error
124
                if self.err_iter_ct == None: self.err_iter_ct = 0
125
                self.err_iter_ct += 1
126
                self.last_iter_num = iter_num
127
        ExTracker.track(self, e, **format)
128
    
129
    def msg(self):
130
        msg = ExTracker.msg(self)
131
        iter_text_plural = self.iter_text+'(s)'
132
        numerator = self.e_ct
133
        if self.err_iter_ct != None:
134
            msg += ' in '+format.int2str(self.err_iter_ct)
135
            numerator = self.err_iter_ct
136
        if self.iter_ct != None and self.iter_ct > 0:
137
            msg += ('/'+format.int2str(self.iter_ct)+' '+iter_text_plural+' = '
138
            +format.to_percent(float(numerator)/self.iter_ct))
139
        return msg
(16-16/48)