File: apptest_exceptiongroup.py

package info (click to toggle)
pypy3 7.3.19%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 212,236 kB
  • sloc: python: 2,098,316; ansic: 540,565; sh: 21,462; asm: 14,419; cpp: 4,451; makefile: 4,209; objc: 761; xml: 530; exp: 499; javascript: 314; pascal: 244; lisp: 45; csh: 12; awk: 4
file content (303 lines) | stat: -rw-r--r-- 8,272 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
import sys
from pytest import raises

def test_simple():
    try:
        raise TypeError()
    except* TypeError:
        a = 1
    except* ValueError:
        a = 2
    assert a == 1

def test_both_excepts_run():
    l = []
    try:
        raise ExceptionGroup('abc', [ValueError(), TypeError()])
    except* TypeError:
        l.append(1)
    except* ValueError:
        l.append(2)
    print(l)
    assert l == [1, 2]

def raises_one():
    try:
        raise ExceptionGroup('abc', [ValueError(), TypeError()])
    except* TypeError:
        pass

def test_reraise():
    a = 1
    try:
        raises_one()
    except* ValueError:
        a = 0
    assert a == 0 # and in particular, we reach this line

def error_in_handler():
    try:
        raise ExceptionGroup('abc', [ValueError(), TypeError()])
    except* TypeError:
        1 / 0

def test_error_in_exception_handler():
    a = 1
    try:
        error_in_handler()
    except ExceptionGroup as e:
        assert repr(e) == "ExceptionGroup('', [ZeroDivisionError('division by zero'), ExceptionGroup('abc', [ValueError()])])"
        # TODO what's wrong with the context?
        #assert repr(e.exceptions[0].__context__) == "ExceptionGroup('abc', [TypeError()])"
    else:
        assert 0, "an ExceptionGroup should be raised"

def test_name_except_star():
    l = []
    value = ValueError()
    typ = TypeError()
    try:
        raise ExceptionGroup('abc', [value, typ])
    except* TypeError as e1:
        assert e1.exceptions[0] is typ
        l.append(1)
    except* ValueError as e2:
        assert e2.exceptions[0] is value
        l.append(2)
    print(l)
    assert l == [1, 2]
    with raises(UnboundLocalError):
        e1
    with raises(UnboundLocalError):
        e2

def test_try_star_name_raise_in_except_handler():
    l = []
    value = ValueError()
    typ = TypeError()
    try:
        try:
            raise ExceptionGroup('abc', [value, typ])
        except* TypeError as e1:
            1 / 0
    except Exception as e:
        assert "ZeroDivisionError" in repr(e)
    with raises(UnboundLocalError):
        e1

def maybe_raise_typeerror(x):
    if x:
        raise TypeError

def try_except_star_with_else(x):
    try:
        maybe_raise_typeerror(x)
    except* TypeError:
        a = 1
    else:
        a = 2
    return a

def test_try_except_star_with_else():
    assert try_except_star_with_else(True) == 1
    assert try_except_star_with_else(False) == 2

def test_return_break_continue_in_except_group_handler():
    for kw in "return break continue".split():
        src = f"""\
def try_except_star_with_else_direct_return(x):
    try:
        pass
    except* TypeError:
        {kw}
    """
        with raises(SyntaxError) as info:
            exec(src)
        assert str(info.value).startswith(f"'{kw}' cannot appear in an except* block")

def test_return_in_except_star_outside_function():
    src = """\
try:
    pass
except* TypeError:
    return
    """
    with raises(SyntaxError) as info:
        exec(src)
    assert str(info.value).startswith("'return' cannot appear in an except* block")

def test_syntax_error_both_except_except_star():
    src = """\
try:
    pass
except ValueError:
    pass
except* TypeError:
    pass
"""
    with raises(SyntaxError) as info:
        exec(src)
    assert str(info.value).startswith("cannot have both 'except' and 'except*' on the same 'try'")


def maybe_raise(err):
    if err:
        raise err
    

def with_finally(l, err):
    try:
        maybe_raise(err)
    except* TypeError:
        l.append(1)
    except* ValueError:
        l.append(2)
    else:
        l.append(3)
    finally:
        l.append(4)

def test_finally():
    l = []
    with_finally(l, None)
    assert l == [3, 4]
    l = []
    with_finally(l, ValueError())
    assert l == [2, 4]
    l = []
    with_finally(l, TypeError())
    assert l == [1, 4]
    l = []
    with_finally(l, ExceptionGroup('abc', [ValueError(), TypeError()]))
    assert l == [1, 2, 4]
    with raises(ZeroDivisionError):
        l = []
        with_finally(l, ZeroDivisionError())
    assert l == [4]

def test_invalid_catching_class():
    for cls, eg in [(int, False), (ExceptionGroup, True), (BaseExceptionGroup, True), ((ValueError, ExceptionGroup), True), ((int, ), False)]:
        with raises(TypeError) as info:
            try:
                1/0
            except* cls:
                pass
        if eg:
            assert "catching ExceptionGroup with except* is not allowed. Use except instead." in str(info.value)
        else:
            assert "catching classes that do not inherit from BaseException is not allowed" in str(info.value)
        assert isinstance(info.value.__context__, ZeroDivisionError)

def test_exceptiongroup_is_generic():
    assert isinstance(ExceptionGroup[int], type(list[int]))
    assert isinstance(BaseExceptionGroup[int], type(list[int]))

def test_split_does_not_copy_non_sequence_notes():
    # __notes__ should be a sequence, which is shallow copied.
    # If it is not a sequence, the split parts don't get any notes.
    eg = ExceptionGroup("eg", [ValueError(1), TypeError(2)])
    eg.__notes__ = 123
    match, rest = eg.split(TypeError)
    assert not hasattr(match, '__notes__')
    assert not hasattr(rest, '__notes__')


def assert_exception_is_like(exc, template):
    if exc is None and template is None:
        return

    assert template is not None
    assert exc is not None

    if not isinstance(exc, ExceptionGroup):
        assert exc.__class__ == template.__class__
        assert exc.args[0] == template.args[0]
    else:
        assert exc.message == template.message
        assert len(exc.exceptions) == len(template.exceptions)
        for e, t in zip(exc.exceptions, template.exceptions):
            assert_exception_is_like(e, t)


def do_split_test_named(exc, T, match_template, rest_template):
    initial_sys_exception = sys.exc_info()[1]
    sys_exception = match = rest = None
    try:
        try:
            raise exc
        except* T as e:
            sys_exception = sys.exc_info()[1]
            match = e
    except BaseException as e:
        rest = e

    assert sys_exception == match
    assert_exception_is_like(match, match_template)
    assert_exception_is_like(rest, rest_template)
    assert sys.exc_info()[1] == initial_sys_exception
do_split_test = do_split_test_named

def test_exception_group_except_star_Exception_not_wrapped():
    do_split_test(
        ExceptionGroup("eg", [ValueError("V")]),
        Exception,
        ExceptionGroup("eg", [ValueError("V")]),
        None)

def test_match_single_type_partial_match():
    do_split_test(
        ExceptionGroup(
            "test3",
            [ValueError("V1"), OSError("OS"), ValueError("V2")]),
        ValueError,
        ExceptionGroup("test3", [ValueError("V1"), ValueError("V2")]),
        ExceptionGroup("test3", [OSError("OS")]))

def test_reraise_plain_exception_named():
    try:
        try:
            raise ValueError(42)
        except* ValueError as e:
            print('sys.exc_info', sys.exc_info())
            print('except* e', e)
            raise e
    except ExceptionGroup as e:
        print('ExceptionGroup', e)
        exc = e

    assert_exception_is_like(
        exc, ExceptionGroup("", [ValueError(42)]))

def except_type(eg, type):
    match, rest = None, None
    try:
        try:
            raise eg
        except* type  as e:
            match = e
    except Exception as e:
        rest = e
    return match, rest

def test_unhashable():
    class UnhashableExc(ValueError):
        __hash__ = None

    eg = ExceptionGroup("eg", [TypeError(1), UnhashableExc(2)])
    match, rest = except_type(eg, UnhashableExc)
    assert_exception_is_like(
        match, ExceptionGroup("eg", [UnhashableExc(2)]))
    assert_exception_is_like(
        rest, ExceptionGroup("eg", [TypeError(1)]))

def test_broken_eq():
    class Bad(ValueError):
        def __eq__(self, other):
            raise RuntimeError()

    eg = ExceptionGroup("eg", [TypeError(1), Bad(2)])
    match, rest = except_type(eg, TypeError)
    assert_exception_is_like(
        match, ExceptionGroup("eg", [TypeError(1)]))
    assert_exception_is_like(
        rest, ExceptionGroup("eg", [Bad(2)]))