blob: d631c3ebf5061ecea99e4a070e538d7800772f2c [file] [log] [blame]
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001# Copyright 2007 Google, Inc. All Rights Reserved.
2# Licensed to PSF under a Contributor Agreement.
3
4"""Unit tests for abc.py."""
5
Guido van Rossumcd16bf62007-06-13 18:07:49 +00006import unittest
7from test import test_support
8
9import abc
Christian Heimesbe5b30b2008-03-03 19:18:51 +000010from inspect import isabstract
Guido van Rossumcd16bf62007-06-13 18:07:49 +000011
12
13class TestABC(unittest.TestCase):
14
15 def test_abstractmethod_basics(self):
16 @abc.abstractmethod
17 def foo(self): pass
18 self.assertEqual(foo.__isabstractmethod__, True)
19 def bar(self): pass
20 self.assertEqual(hasattr(bar, "__isabstractmethod__"), False)
21
Guido van Rossum70d2b892007-08-01 17:52:23 +000022 def test_abstractproperty_basics(self):
23 @abc.abstractproperty
24 def foo(self): pass
25 self.assertEqual(foo.__isabstractmethod__, True)
26 def bar(self): pass
27 self.assertEqual(hasattr(bar, "__isabstractmethod__"), False)
28
Guido van Rossumcd16bf62007-06-13 18:07:49 +000029 class C(metaclass=abc.ABCMeta):
Guido van Rossum70d2b892007-08-01 17:52:23 +000030 @abc.abstractproperty
31 def foo(self): return 3
Guido van Rossumcd16bf62007-06-13 18:07:49 +000032 class D(C):
Guido van Rossum70d2b892007-08-01 17:52:23 +000033 @property
34 def foo(self): return super().foo
35 self.assertEqual(D().foo, 3)
36
37 def test_abstractmethod_integration(self):
38 for abstractthing in [abc.abstractmethod, abc.abstractproperty]:
39 class C(metaclass=abc.ABCMeta):
40 @abstractthing
41 def foo(self): pass # abstract
42 def bar(self): pass # concrete
43 self.assertEqual(C.__abstractmethods__, {"foo"})
44 self.assertRaises(TypeError, C) # because foo is abstract
Christian Heimesbe5b30b2008-03-03 19:18:51 +000045 self.assert_(isabstract(C))
Guido van Rossum70d2b892007-08-01 17:52:23 +000046 class D(C):
47 def bar(self): pass # concrete override of concrete
48 self.assertEqual(D.__abstractmethods__, {"foo"})
49 self.assertRaises(TypeError, D) # because foo is still abstract
Christian Heimesbe5b30b2008-03-03 19:18:51 +000050 self.assert_(isabstract(D))
Guido van Rossum70d2b892007-08-01 17:52:23 +000051 class E(D):
52 def foo(self): pass
53 self.assertEqual(E.__abstractmethods__, set())
54 E() # now foo is concrete, too
Christian Heimesbe5b30b2008-03-03 19:18:51 +000055 self.failIf(isabstract(E))
Guido van Rossum70d2b892007-08-01 17:52:23 +000056 class F(E):
57 @abstractthing
58 def bar(self): pass # abstract override of concrete
59 self.assertEqual(F.__abstractmethods__, {"bar"})
60 self.assertRaises(TypeError, F) # because bar is abstract now
Christian Heimesbe5b30b2008-03-03 19:18:51 +000061 self.assert_(isabstract(F))
Guido van Rossumcd16bf62007-06-13 18:07:49 +000062
Christian Heimes043d6f62008-01-07 17:19:16 +000063 def test_subclass_oldstyle_class(self):
64 class A:
65 __metaclass__ = abc.ABCMeta
66 class OldstyleClass:
67 pass
68 self.assertFalse(issubclass(OldstyleClass, A))
69 self.assertFalse(issubclass(A, OldstyleClass))
70
Guido van Rossumcd16bf62007-06-13 18:07:49 +000071 def test_registration_basics(self):
72 class A(metaclass=abc.ABCMeta):
73 pass
Christian Heimes043d6f62008-01-07 17:19:16 +000074 class B(object):
Guido van Rossumcd16bf62007-06-13 18:07:49 +000075 pass
76 b = B()
77 self.assertEqual(issubclass(B, A), False)
78 self.assertEqual(isinstance(b, A), False)
79 A.register(B)
80 self.assertEqual(issubclass(B, A), True)
81 self.assertEqual(isinstance(b, A), True)
82 class C(B):
83 pass
84 c = C()
85 self.assertEqual(issubclass(C, A), True)
86 self.assertEqual(isinstance(c, A), True)
87
Christian Heimes68f5fbe2008-02-14 08:27:37 +000088 def test_isinstance_invalidation(self):
89 class A(metaclass=abc.ABCMeta):
90 pass
91 class B:
92 pass
93 b = B()
94 self.assertEqual(isinstance(b, A), False)
95 A.register(B)
96 self.assertEqual(isinstance(b, A), True)
97
Guido van Rossumcd16bf62007-06-13 18:07:49 +000098 def test_registration_builtins(self):
99 class A(metaclass=abc.ABCMeta):
100 pass
101 A.register(int)
102 self.assertEqual(isinstance(42, A), True)
103 self.assertEqual(issubclass(int, A), True)
104 class B(A):
105 pass
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000106 B.register(str)
107 class C(str): pass
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000108 self.assertEqual(isinstance("", A), True)
109 self.assertEqual(issubclass(str, A), True)
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000110 self.assertEqual(issubclass(C, A), True)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000111
112 def test_registration_edge_cases(self):
113 class A(metaclass=abc.ABCMeta):
114 pass
115 A.register(A) # should pass silently
116 class A1(A):
117 pass
118 self.assertRaises(RuntimeError, A1.register, A) # cycles not allowed
Christian Heimes043d6f62008-01-07 17:19:16 +0000119 class B(object):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000120 pass
121 A1.register(B) # ok
122 A1.register(B) # should pass silently
123 class C(A):
124 pass
125 A.register(C) # should pass silently
126 self.assertRaises(RuntimeError, C.register, A) # cycles not allowed
127 C.register(B) # ok
128
129 def test_registration_transitiveness(self):
130 class A(metaclass=abc.ABCMeta):
131 pass
132 self.failUnless(issubclass(A, A))
133 class B(metaclass=abc.ABCMeta):
134 pass
135 self.failIf(issubclass(A, B))
136 self.failIf(issubclass(B, A))
137 class C(metaclass=abc.ABCMeta):
138 pass
139 A.register(B)
140 class B1(B):
141 pass
142 self.failUnless(issubclass(B1, A))
143 class C1(C):
144 pass
145 B1.register(C1)
146 self.failIf(issubclass(C, B))
147 self.failIf(issubclass(C, B1))
148 self.failUnless(issubclass(C1, A))
149 self.failUnless(issubclass(C1, B))
150 self.failUnless(issubclass(C1, B1))
151 C1.register(int)
152 class MyInt(int):
153 pass
154 self.failUnless(issubclass(MyInt, A))
155 self.failUnless(isinstance(42, A))
156
Guido van Rossum894d35e2007-09-11 20:42:30 +0000157 def test_all_new_methods_are_called(self):
158 class A(metaclass=abc.ABCMeta):
159 pass
Christian Heimes043d6f62008-01-07 17:19:16 +0000160 class B(object):
Guido van Rossum894d35e2007-09-11 20:42:30 +0000161 counter = 0
162 def __new__(cls):
163 B.counter += 1
164 return super().__new__(cls)
165 class C(A, B):
166 pass
167 self.assertEqual(B.counter, 0)
168 C()
169 self.assertEqual(B.counter, 1)
170
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000171
172def test_main():
173 test_support.run_unittest(TestABC)
174
175
176if __name__ == "__main__":
177 unittest.main()