2000-06-29 16:17:04 -03:00
|
|
|
# test the invariant that
|
|
|
|
# iff a==b then hash(a)==hash(b)
|
|
|
|
#
|
|
|
|
|
|
|
|
import test_support
|
2001-05-18 18:45:35 -03:00
|
|
|
import unittest
|
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]:
|
|
|
|
self.fail("hashed values differ: %s" % `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)
|
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'))
|
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
|
|
|
|
|
|
|
test_support.run_unittest(HashEqualityTestCase)
|