| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | # test the invariant that | 
					
						
							|  |  |  | #   iff a==b then hash(a)==hash(b) | 
					
						
							|  |  |  | # | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | # Also test that hash implementations are inherited as expected | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  | import unittest | 
					
						
							| 
									
										
										
										
											2002-07-23 19:04:11 +00:00
										 |  |  | from test import test_support | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | from collections import Hashable | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  | class HashEqualityTestCase(unittest.TestCase): | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  |     def same_hash(self, *objlist): | 
					
						
							| 
									
										
										
										
											2001-05-18 21:50:02 +00:00
										 |  |  |         # Hash each object given and fail if | 
					
						
							|  |  |  |         # the hash values are not all the same. | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  |         hashed = map(hash, objlist) | 
					
						
							|  |  |  |         for h in hashed[1:]: | 
					
						
							|  |  |  |             if h != hashed[0]: | 
					
						
							| 
									
										
										
										
											2004-02-12 17:35:32 +00:00
										 |  |  |                 self.fail("hashed values differ: %r" % (objlist,)) | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  |     def test_numeric_literals(self): | 
					
						
							|  |  |  |         self.same_hash(1, 1L, 1.0, 1.0+0.0j) | 
					
						
							| 
									
										
										
										
											2007-09-19 15:10:06 +00:00
										 |  |  |         self.same_hash(0, 0L, 0.0, 0.0+0.0j) | 
					
						
							|  |  |  |         self.same_hash(-1, -1L, -1.0, -1.0+0.0j) | 
					
						
							|  |  |  |         self.same_hash(-2, -2L, -2.0, -2.0+0.0j) | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  |     def test_coerced_integers(self): | 
					
						
							|  |  |  |         self.same_hash(int(1), long(1), float(1), complex(1), | 
					
						
							|  |  |  |                        int('1'), float('1.0')) | 
					
						
							| 
									
										
										
										
											2007-09-19 15:10:06 +00:00
										 |  |  |         self.same_hash(int(-2**31), long(-2**31), float(-2**31)) | 
					
						
							|  |  |  |         self.same_hash(int(1-2**31), long(1-2**31), float(1-2**31)) | 
					
						
							|  |  |  |         self.same_hash(int(2**31-1), long(2**31-1), float(2**31-1)) | 
					
						
							|  |  |  |         # for 64-bit platforms | 
					
						
							|  |  |  |         self.same_hash(int(2**31), long(2**31), float(2**31)) | 
					
						
							|  |  |  |         self.same_hash(int(-2**63), long(-2**63), float(-2**63)) | 
					
						
							|  |  |  |         self.same_hash(int(1-2**63), long(1-2**63)) | 
					
						
							|  |  |  |         self.same_hash(int(2**63-1), long(2**63-1)) | 
					
						
							| 
									
										
										
										
											2009-01-31 16:44:04 +00:00
										 |  |  |         self.same_hash(long(2**63), float(2**63)) | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  |     def test_coerced_floats(self): | 
					
						
							|  |  |  |         self.same_hash(long(1.23e300), float(1.23e300)) | 
					
						
							|  |  |  |         self.same_hash(float(0.5), complex(0.5, 0.0)) | 
					
						
							| 
									
										
										
										
											2000-06-29 19:17:04 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-05-18 21:45:35 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | _default_hash = object.__hash__ | 
					
						
							|  |  |  | class DefaultHash(object): pass | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | _FIXED_HASH_VALUE = 42 | 
					
						
							|  |  |  | class FixedHash(object): | 
					
						
							|  |  |  |     def __hash__(self): | 
					
						
							|  |  |  |         return _FIXED_HASH_VALUE | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class OnlyEquality(object): | 
					
						
							|  |  |  |     def __eq__(self, other): | 
					
						
							|  |  |  |         return self is other | 
					
						
							| 
									
										
										
										
											2008-08-11 15:45:58 +00:00
										 |  |  |     # Trick to suppress Py3k warning in 2.x | 
					
						
							|  |  |  |     __hash__ = None | 
					
						
							|  |  |  | del OnlyEquality.__hash__ | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | class OnlyInequality(object): | 
					
						
							|  |  |  |     def __ne__(self, other): | 
					
						
							|  |  |  |         return self is not other | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class OnlyCmp(object): | 
					
						
							|  |  |  |     def __cmp__(self, other): | 
					
						
							|  |  |  |         return cmp(id(self), id(other)) | 
					
						
							| 
									
										
										
										
											2008-08-11 15:45:58 +00:00
										 |  |  |     # Trick to suppress Py3k warning in 2.x | 
					
						
							|  |  |  |     __hash__ = None | 
					
						
							|  |  |  | del OnlyCmp.__hash__ | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | class InheritedHashWithEquality(FixedHash, OnlyEquality): pass | 
					
						
							|  |  |  | class InheritedHashWithInequality(FixedHash, OnlyInequality): pass | 
					
						
							|  |  |  | class InheritedHashWithCmp(FixedHash, OnlyCmp): pass | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class NoHash(object): | 
					
						
							|  |  |  |     __hash__ = None | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class HashInheritanceTestCase(unittest.TestCase): | 
					
						
							|  |  |  |     default_expected = [object(), | 
					
						
							|  |  |  |                         DefaultHash(), | 
					
						
							| 
									
										
										
										
											2008-08-11 15:45:58 +00:00
										 |  |  |                         OnlyEquality(), | 
					
						
							|  |  |  |                         OnlyInequality(), | 
					
						
							|  |  |  |                         OnlyCmp(), | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  |                        ] | 
					
						
							|  |  |  |     fixed_expected = [FixedHash(), | 
					
						
							|  |  |  |                       InheritedHashWithEquality(), | 
					
						
							|  |  |  |                       InheritedHashWithInequality(), | 
					
						
							|  |  |  |                       InheritedHashWithCmp(), | 
					
						
							|  |  |  |                       ] | 
					
						
							|  |  |  |     error_expected = [NoHash()] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_default_hash(self): | 
					
						
							|  |  |  |         for obj in self.default_expected: | 
					
						
							|  |  |  |             self.assertEqual(hash(obj), _default_hash(obj)) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_fixed_hash(self): | 
					
						
							|  |  |  |         for obj in self.fixed_expected: | 
					
						
							|  |  |  |             self.assertEqual(hash(obj), _FIXED_HASH_VALUE) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_error_hash(self): | 
					
						
							|  |  |  |         for obj in self.error_expected: | 
					
						
							|  |  |  |             self.assertRaises(TypeError, hash, obj) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_hashable(self): | 
					
						
							|  |  |  |         objects = (self.default_expected + | 
					
						
							| 
									
										
										
										
											2008-08-11 15:45:58 +00:00
										 |  |  |                    self.fixed_expected) | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  |         for obj in objects: | 
					
						
							| 
									
										
										
										
											2010-01-24 16:58:36 +00:00
										 |  |  |             self.assertIsInstance(obj, Hashable) | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def test_not_hashable(self): | 
					
						
							|  |  |  |         for obj in self.error_expected: | 
					
						
							| 
									
										
										
										
											2010-01-24 16:58:36 +00:00
										 |  |  |             self.assertNotIsInstance(obj, Hashable) | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-12-30 01:18:48 +00:00
										 |  |  | # Issue #4701: Check that some builtin types are correctly hashable | 
					
						
							|  |  |  | #  (This test only used to fail in Python 3.0, but has been included | 
					
						
							|  |  |  | #   in 2.x along with the lazy call to PyType_Ready in PyObject_Hash) | 
					
						
							|  |  |  | class DefaultIterSeq(object): | 
					
						
							|  |  |  |     seq = range(10) | 
					
						
							|  |  |  |     def __len__(self): | 
					
						
							|  |  |  |         return len(self.seq) | 
					
						
							|  |  |  |     def __getitem__(self, index): | 
					
						
							|  |  |  |         return self.seq[index] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class HashBuiltinsTestCase(unittest.TestCase): | 
					
						
							|  |  |  |     hashes_to_check = [xrange(10), | 
					
						
							|  |  |  |                        enumerate(xrange(10)), | 
					
						
							|  |  |  |                        iter(DefaultIterSeq()), | 
					
						
							|  |  |  |                        iter(lambda: 0, 0), | 
					
						
							|  |  |  |                       ] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def test_hashes(self): | 
					
						
							|  |  |  |         _default_hash = object.__hash__ | 
					
						
							|  |  |  |         for obj in self.hashes_to_check: | 
					
						
							|  |  |  |             self.assertEqual(hash(obj), _default_hash(obj)) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-09-20 21:33:42 +00:00
										 |  |  | def test_main(): | 
					
						
							| 
									
										
										
										
											2008-07-15 14:27:37 +00:00
										 |  |  |     test_support.run_unittest(HashEqualityTestCase, | 
					
						
							| 
									
										
										
										
											2008-12-30 01:18:48 +00:00
										 |  |  |                               HashInheritanceTestCase, | 
					
						
							|  |  |  |                               HashBuiltinsTestCase) | 
					
						
							| 
									
										
										
										
											2001-09-20 21:33:42 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if __name__ == "__main__": | 
					
						
							|  |  |  |     test_main() |