Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 1 | # Python test set -- part 2, opcodes |
| 2 | |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 3 | import unittest |
Serhiy Storchaka | 06ca3f0 | 2018-07-21 07:44:04 +0300 | [diff] [blame] | 4 | from test import ann_module, support |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 5 | |
| 6 | class OpcodeTest(unittest.TestCase): |
| 7 | |
| 8 | def test_try_inside_for_loop(self): |
| 9 | n = 0 |
| 10 | for i in range(10): |
| 11 | n = n+i |
| 12 | try: 1/0 |
| 13 | except NameError: pass |
| 14 | except ZeroDivisionError: pass |
| 15 | except TypeError: pass |
| 16 | try: pass |
| 17 | except: pass |
| 18 | try: pass |
| 19 | finally: pass |
| 20 | n = n+i |
| 21 | if n != 90: |
| 22 | self.fail('try inside for') |
| 23 | |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 24 | def test_setup_annotations_line(self): |
| 25 | # check that SETUP_ANNOTATIONS does not create spurious line numbers |
| 26 | try: |
Inada Naoki | 8bbfeb3 | 2021-04-02 12:53:46 +0900 | [diff] [blame] | 27 | with open(ann_module.__file__, encoding="utf-8") as f: |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 28 | txt = f.read() |
| 29 | co = compile(txt, ann_module.__file__, 'exec') |
Mark Shannon | 877df85 | 2020-11-12 09:43:29 +0000 | [diff] [blame] | 30 | self.assertEqual(co.co_firstlineno, 1) |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 31 | except OSError: |
| 32 | pass |
| 33 | |
larryhastings | 2f2b698 | 2021-04-29 20:09:08 -0700 | [diff] [blame] | 34 | def test_default_annotations_exist(self): |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 35 | class C: pass |
larryhastings | 2f2b698 | 2021-04-29 20:09:08 -0700 | [diff] [blame] | 36 | self.assertEqual(C.__annotations__, {}) |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 37 | |
| 38 | def test_use_existing_annotations(self): |
| 39 | ns = {'__annotations__': {1: 2}} |
| 40 | exec('x: int', ns) |
Pablo Galindo | b0544ba | 2021-04-21 12:41:19 +0100 | [diff] [blame] | 41 | self.assertEqual(ns['__annotations__'], {'x': int, 1: 2}) |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 42 | |
| 43 | def test_do_not_recreate_annotations(self): |
Serhiy Storchaka | 06ca3f0 | 2018-07-21 07:44:04 +0300 | [diff] [blame] | 44 | # Don't rely on the existence of the '__annotations__' global. |
Serhiy Storchaka | c206f0d | 2018-07-24 15:05:28 +0300 | [diff] [blame] | 45 | with support.swap_item(globals(), '__annotations__', {}): |
| 46 | del globals()['__annotations__'] |
Serhiy Storchaka | 06ca3f0 | 2018-07-21 07:44:04 +0300 | [diff] [blame] | 47 | class C: |
| 48 | del __annotations__ |
Serhiy Storchaka | c206f0d | 2018-07-24 15:05:28 +0300 | [diff] [blame] | 49 | with self.assertRaises(NameError): |
| 50 | x: int |
Yury Selivanov | f8cb8a1 | 2016-09-08 20:50:03 -0700 | [diff] [blame] | 51 | |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 52 | def test_raise_class_exceptions(self): |
| 53 | |
| 54 | class AClass(Exception): pass |
| 55 | class BClass(AClass): pass |
| 56 | class CClass(Exception): pass |
| 57 | class DClass(AClass): |
| 58 | def __init__(self, ignore): |
| 59 | pass |
| 60 | |
| 61 | try: raise AClass() |
| 62 | except: pass |
| 63 | |
| 64 | try: raise AClass() |
| 65 | except AClass: pass |
| 66 | |
| 67 | try: raise BClass() |
| 68 | except AClass: pass |
| 69 | |
| 70 | try: raise BClass() |
| 71 | except CClass: self.fail() |
| 72 | except: pass |
| 73 | |
| 74 | a = AClass() |
| 75 | b = BClass() |
| 76 | |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 77 | try: |
| 78 | raise b |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 79 | except AClass as v: |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 80 | self.assertEqual(v, b) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 81 | else: |
| 82 | self.fail("no exception") |
| 83 | |
| 84 | # not enough arguments |
| 85 | ##try: raise BClass, a |
| 86 | ##except TypeError: pass |
| 87 | ##else: self.fail("no exception") |
| 88 | |
Collin Winter | 828f04a | 2007-08-31 00:04:24 +0000 | [diff] [blame] | 89 | try: raise DClass(a) |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 90 | except DClass as v: |
Ezio Melotti | e961593 | 2010-01-24 19:26:24 +0000 | [diff] [blame] | 91 | self.assertIsInstance(v, DClass) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 92 | else: |
| 93 | self.fail("no exception") |
| 94 | |
| 95 | def test_compare_function_objects(self): |
| 96 | |
| 97 | f = eval('lambda: None') |
| 98 | g = eval('lambda: None') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 99 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 100 | |
| 101 | f = eval('lambda a: a') |
| 102 | g = eval('lambda a: a') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 103 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 104 | |
| 105 | f = eval('lambda a=1: a') |
| 106 | g = eval('lambda a=1: a') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 107 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 108 | |
| 109 | f = eval('lambda: 0') |
| 110 | g = eval('lambda: 1') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 111 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 112 | |
| 113 | f = eval('lambda: None') |
| 114 | g = eval('lambda a: None') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 115 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 116 | |
| 117 | f = eval('lambda a: None') |
| 118 | g = eval('lambda b: None') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 119 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 120 | |
| 121 | f = eval('lambda a: None') |
| 122 | g = eval('lambda a=None: None') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 123 | self.assertNotEqual(f, g) |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 124 | |
| 125 | f = eval('lambda a=0: None') |
| 126 | g = eval('lambda a=1: None') |
Ezio Melotti | b3aedd4 | 2010-11-20 19:04:17 +0000 | [diff] [blame] | 127 | self.assertNotEqual(f, g) |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 128 | |
Benjamin Peterson | efb06b0 | 2009-02-26 18:55:48 +0000 | [diff] [blame] | 129 | def test_modulo_of_string_subclasses(self): |
| 130 | class MyString(str): |
| 131 | def __mod__(self, value): |
| 132 | return 42 |
| 133 | self.assertEqual(MyString() % 3, 42) |
| 134 | |
Guido van Rossum | 3bead09 | 1992-01-27 17:00:37 +0000 | [diff] [blame] | 135 | |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 136 | if __name__ == '__main__': |
Zachary Ware | 38c707e | 2015-04-13 15:00:43 -0500 | [diff] [blame] | 137 | unittest.main() |