2000-06-29 16:17:04 -03:00
|
|
|
# test the invariant that
|
|
|
|
# iff a==b then hash(a)==hash(b)
|
|
|
|
#
|
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
import unittest
|
2002-07-23 16:04:11 -03:00
|
|
|
from test import test_support
|
2000-06-29 16:17:04 -03:00
|
|
|
|
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
class HashEqualityTestCase(unittest.TestCase):
|
2000-06-29 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
def same_hash(self, *objlist):
|
2001-05-18 18:50:02 -03:00
|
|
|
# Hash each object given and fail if
|
|
|
|
# the hash values are not all the same.
|
2001-05-18 18:45:35 -03:00
|
|
|
hashed = map(hash, objlist)
|
|
|
|
for h in hashed[1:]:
|
|
|
|
if h != hashed[0]:
|
2004-02-12 13:35:32 -04:00
|
|
|
self.fail("hashed values differ: %r" % (objlist,))
|
2000-06-29 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
def test_numeric_literals(self):
|
|
|
|
self.same_hash(1, 1L, 1.0, 1.0+0.0j)
|
2007-09-19 12:10:06 -03: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 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03: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 12:10:06 -03: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))
|
2000-06-29 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03: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 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
|
2001-09-20 18:33:42 -03:00
|
|
|
def test_main():
|
|
|
|
test_support.run_unittest(HashEqualityTestCase)
|
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
test_main()
|