blob: 8dfb9566534ef3f2a109e37b771f467b2faaa822 [file] [log] [blame]
Barry Warsaw906569d2002-04-23 22:48:42 +00001# Tests some corner cases with isinstance() and issubclass(). While these
2# tests use new style classes and properties, they actually do whitebox
3# testing of error conditions uncovered when using extension types.
4
5import unittest
Barry Warsaw04f357c2002-07-23 19:04:11 +00006from test import test_support
Barry Warsaw906569d2002-04-23 22:48:42 +00007
8
9
Neil Schemenauer3b04d632002-04-24 03:33:02 +000010class TestIsInstanceExceptions(unittest.TestCase):
Barry Warsaw906569d2002-04-23 22:48:42 +000011 # Test to make sure that an AttributeError when accessing the instance's
12 # class's bases is masked. This was actually a bug in Python 2.2 and
13 # 2.2.1 where the exception wasn't caught but it also wasn't being cleared
14 # (leading to an "undetected error" in the debug build). Set up is,
15 # isinstance(inst, cls) where:
16 #
17 # - inst isn't an InstanceType
18 # - cls isn't a ClassType, a TypeType, or a TupleType
19 # - cls has a __bases__ attribute
20 # - inst has a __class__ attribute
21 # - inst.__class__ as no __bases__ attribute
22 #
23 # Sounds complicated, I know, but this mimics a situation where an
24 # extension type raises an AttributeError when its __bases__ attribute is
25 # gotten. In that case, isinstance() should return False.
26 def test_class_has_no_bases(self):
27 class I(object):
28 def getclass(self):
29 # This must return an object that has no __bases__ attribute
30 return None
31 __class__ = property(getclass)
32
33 class C(object):
34 def getbases(self):
35 return ()
36 __bases__ = property(getbases)
37
38 self.assertEqual(False, isinstance(I(), C()))
39
40 # Like above except that inst.__class__.__bases__ raises an exception
41 # other than AttributeError
42 def test_bases_raises_other_than_attribute_error(self):
43 class E(object):
44 def getbases(self):
45 raise RuntimeError
46 __bases__ = property(getbases)
47
48 class I(object):
49 def getclass(self):
50 return E()
51 __class__ = property(getclass)
52
53 class C(object):
54 def getbases(self):
55 return ()
56 __bases__ = property(getbases)
57
58 self.assertRaises(RuntimeError, isinstance, I(), C())
59
60 # Here's a situation where getattr(cls, '__bases__') raises an exception.
61 # If that exception is not AttributeError, it should not get masked
62 def test_dont_mask_non_attribute_error(self):
63 class I: pass
64
65 class C(object):
66 def getbases(self):
67 raise RuntimeError
68 __bases__ = property(getbases)
69
70 self.assertRaises(RuntimeError, isinstance, I(), C())
71
72 # Like above, except that getattr(cls, '__bases__') raises an
73 # AttributeError, which /should/ get masked as a TypeError
74 def test_mask_attribute_error(self):
75 class I: pass
76
77 class C(object):
78 def getbases(self):
79 raise AttributeError
80 __bases__ = property(getbases)
81
82 self.assertRaises(TypeError, isinstance, I(), C())
83
84
85
86# These tests are similar to above, but tickle certain code paths in
87# issubclass() instead of isinstance() -- really PyObject_IsSubclass()
88# vs. PyObject_IsInstance().
Neil Schemenauer3b04d632002-04-24 03:33:02 +000089class TestIsSubclassExceptions(unittest.TestCase):
Barry Warsaw906569d2002-04-23 22:48:42 +000090 def test_dont_mask_non_attribute_error(self):
91 class C(object):
92 def getbases(self):
93 raise RuntimeError
94 __bases__ = property(getbases)
95
96 class S(C): pass
97
98 self.assertRaises(RuntimeError, issubclass, C(), S())
99
100 def test_mask_attribute_error(self):
101 class C(object):
102 def getbases(self):
103 raise AttributeError
104 __bases__ = property(getbases)
105
106 class S(C): pass
Tim Peters8ac14952002-05-23 15:15:30 +0000107
Barry Warsaw906569d2002-04-23 22:48:42 +0000108 self.assertRaises(TypeError, issubclass, C(), S())
109
110 # Like above, but test the second branch, where the __bases__ of the
111 # second arg (the cls arg) is tested. This means the first arg must
112 # return a valid __bases__, and it's okay for it to be a normal --
113 # unrelated by inheritance -- class.
114 def test_dont_mask_non_attribute_error_in_cls_arg(self):
115 class B: pass
116
117 class C(object):
118 def getbases(self):
119 raise RuntimeError
120 __bases__ = property(getbases)
121
122 self.assertRaises(RuntimeError, issubclass, B, C())
123
124 def test_mask_attribute_error_in_cls_arg(self):
125 class B: pass
126
127 class C(object):
128 def getbases(self):
129 raise AttributeError
130 __bases__ = property(getbases)
131
132 self.assertRaises(TypeError, issubclass, B, C())
133
134
135
Neil Schemenauer3b04d632002-04-24 03:33:02 +0000136# meta classes for creating abstract classes and instances
137class AbstractClass(object):
138 def __init__(self, bases):
139 self.bases = bases
140
141 def getbases(self):
142 return self.bases
143 __bases__ = property(getbases)
144
145 def __call__(self):
146 return AbstractInstance(self)
147
148class AbstractInstance(object):
149 def __init__(self, klass):
150 self.klass = klass
151
152 def getclass(self):
153 return self.klass
154 __class__ = property(getclass)
155
156# abstract classes
157AbstractSuper = AbstractClass(bases=())
158
159AbstractChild = AbstractClass(bases=(AbstractSuper,))
160
161# normal classes
162class Super:
163 pass
164
165class Child(Super):
166 pass
167
168
169
170class TestIsInstanceIsSubclass(unittest.TestCase):
171 # Tests to ensure that isinstance and issubclass work on abstract
172 # classes and instances. Before the 2.2 release, TypeErrors were
173 # raised when boolean values should have been returned. The bug was
174 # triggered by mixing 'normal' classes and instances were with
175 # 'abstract' classes and instances. This case tries to test all
176 # combinations.
177
178 def test_isinstance_normal(self):
Tim Peters8ac14952002-05-23 15:15:30 +0000179 # normal instances
Neil Schemenauer3b04d632002-04-24 03:33:02 +0000180 self.assertEqual(True, isinstance(Super(), Super))
181 self.assertEqual(False, isinstance(Super(), Child))
182 self.assertEqual(False, isinstance(Super(), AbstractSuper))
183 self.assertEqual(False, isinstance(Super(), AbstractChild))
184
185 self.assertEqual(True, isinstance(Child(), Super))
186 self.assertEqual(False, isinstance(Child(), AbstractSuper))
187
188 def test_isinstance_abstract(self):
Tim Peters8ac14952002-05-23 15:15:30 +0000189 # abstract instances
Neil Schemenauer3b04d632002-04-24 03:33:02 +0000190 self.assertEqual(True, isinstance(AbstractSuper(), AbstractSuper))
191 self.assertEqual(False, isinstance(AbstractSuper(), AbstractChild))
192 self.assertEqual(False, isinstance(AbstractSuper(), Super))
193 self.assertEqual(False, isinstance(AbstractSuper(), Child))
194
195 self.assertEqual(True, isinstance(AbstractChild(), AbstractChild))
196 self.assertEqual(True, isinstance(AbstractChild(), AbstractSuper))
197 self.assertEqual(False, isinstance(AbstractChild(), Super))
198 self.assertEqual(False, isinstance(AbstractChild(), Child))
Tim Peters8ac14952002-05-23 15:15:30 +0000199
Neil Schemenauer3b04d632002-04-24 03:33:02 +0000200 def test_subclass_normal(self):
201 # normal classes
202 self.assertEqual(True, issubclass(Super, Super))
203 self.assertEqual(False, issubclass(Super, AbstractSuper))
204 self.assertEqual(False, issubclass(Super, Child))
205
206 self.assertEqual(True, issubclass(Child, Child))
207 self.assertEqual(True, issubclass(Child, Super))
208 self.assertEqual(False, issubclass(Child, AbstractSuper))
209
210 def test_subclass_abstract(self):
211 # abstract classes
212 self.assertEqual(True, issubclass(AbstractSuper, AbstractSuper))
213 self.assertEqual(False, issubclass(AbstractSuper, AbstractChild))
214 self.assertEqual(False, issubclass(AbstractSuper, Child))
215
216 self.assertEqual(True, issubclass(AbstractChild, AbstractChild))
217 self.assertEqual(True, issubclass(AbstractChild, AbstractSuper))
218 self.assertEqual(False, issubclass(AbstractChild, Super))
219 self.assertEqual(False, issubclass(AbstractChild, Child))
Tim Peters8ac14952002-05-23 15:15:30 +0000220
Neil Schemenauer3b04d632002-04-24 03:33:02 +0000221
222
223
Barry Warsaw906569d2002-04-23 22:48:42 +0000224def test_main():
225 suite = unittest.TestSuite()
Neil Schemenauer3b04d632002-04-24 03:33:02 +0000226 suite.addTest(unittest.makeSuite(TestIsInstanceExceptions))
227 suite.addTest(unittest.makeSuite(TestIsSubclassExceptions))
228 suite.addTest(unittest.makeSuite(TestIsInstanceIsSubclass))
Barry Warsaw906569d2002-04-23 22:48:42 +0000229 test_support.run_suite(suite)
230
231
232if __name__ == '__main__':
233 test_main()