Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 1 | """Unit tests for __instancecheck__ and __subclasscheck__.""" |
| 2 | |
| 3 | import unittest |
Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 4 | from test import support |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 5 | |
| 6 | |
| 7 | class ABC(type): |
| 8 | |
| 9 | def __instancecheck__(cls, inst): |
| 10 | """Implement isinstance(inst, cls).""" |
| 11 | return any(cls.__subclasscheck__(c) |
| 12 | for c in {type(inst), inst.__class__}) |
| 13 | |
| 14 | def __subclasscheck__(cls, sub): |
| 15 | """Implement issubclass(sub, cls).""" |
| 16 | candidates = cls.__dict__.get("__subclass__", set()) | {cls} |
| 17 | return any(c in candidates for c in sub.mro()) |
| 18 | |
| 19 | |
| 20 | class Integer(metaclass=ABC): |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 21 | __subclass__ = {int} |
| 22 | |
| 23 | |
| 24 | class SubInt(Integer): |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 25 | pass |
| 26 | |
| 27 | |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 28 | class TypeChecksTest(unittest.TestCase): |
| 29 | |
| 30 | def testIsSubclassInternal(self): |
| 31 | self.assertEqual(Integer.__subclasscheck__(int), True) |
| 32 | self.assertEqual(Integer.__subclasscheck__(float), False) |
| 33 | |
| 34 | def testIsSubclassBuiltin(self): |
| 35 | self.assertEqual(issubclass(int, Integer), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 36 | self.assertEqual(issubclass(int, (Integer,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 37 | self.assertEqual(issubclass(float, Integer), False) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 38 | self.assertEqual(issubclass(float, (Integer,)), False) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 39 | |
| 40 | def testIsInstanceBuiltin(self): |
| 41 | self.assertEqual(isinstance(42, Integer), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 42 | self.assertEqual(isinstance(42, (Integer,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 43 | self.assertEqual(isinstance(3.14, Integer), False) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 44 | self.assertEqual(isinstance(3.14, (Integer,)), False) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 45 | |
| 46 | def testIsInstanceActual(self): |
| 47 | self.assertEqual(isinstance(Integer(), Integer), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 48 | self.assertEqual(isinstance(Integer(), (Integer,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 49 | |
| 50 | def testIsSubclassActual(self): |
| 51 | self.assertEqual(issubclass(Integer, Integer), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 52 | self.assertEqual(issubclass(Integer, (Integer,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 53 | |
| 54 | def testSubclassBehavior(self): |
| 55 | self.assertEqual(issubclass(SubInt, Integer), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 56 | self.assertEqual(issubclass(SubInt, (Integer,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 57 | self.assertEqual(issubclass(SubInt, SubInt), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 58 | self.assertEqual(issubclass(SubInt, (SubInt,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 59 | self.assertEqual(issubclass(Integer, SubInt), False) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 60 | self.assertEqual(issubclass(Integer, (SubInt,)), False) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 61 | self.assertEqual(issubclass(int, SubInt), False) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 62 | self.assertEqual(issubclass(int, (SubInt,)), False) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 63 | self.assertEqual(isinstance(SubInt(), Integer), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 64 | self.assertEqual(isinstance(SubInt(), (Integer,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 65 | self.assertEqual(isinstance(SubInt(), SubInt), True) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 66 | self.assertEqual(isinstance(SubInt(), (SubInt,)), True) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 67 | self.assertEqual(isinstance(42, SubInt), False) |
Antoine Pitrou | ec569b7 | 2008-08-26 22:40:48 +0000 | [diff] [blame] | 68 | self.assertEqual(isinstance(42, (SubInt,)), False) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 69 | |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 70 | |
| 71 | def test_main(): |
Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 72 | support.run_unittest(TypeChecksTest) |
Guido van Rossum | adee45e | 2007-05-25 17:55:52 +0000 | [diff] [blame] | 73 | |
| 74 | |
| 75 | if __name__ == "__main__": |
| 76 | unittest.main() |