2000-06-29 16:17:04 -03:00
|
|
|
# test the invariant that
|
|
|
|
# iff a==b then hash(a)==hash(b)
|
|
|
|
#
|
2008-07-15 12:46:38 -03:00
|
|
|
# Also test that hash implementations are inherited as expected
|
2000-06-29 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
import unittest
|
2008-05-20 18:35:26 -03:00
|
|
|
from test import support
|
2008-07-15 12:46:38 -03:00
|
|
|
from collections import Hashable
|
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.
|
Merged revisions 56125-56153 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/branches/p3yk
........
r56127 | georg.brandl | 2007-06-30 09:32:49 +0200 (Sat, 30 Jun 2007) | 2 lines
Fix a place where floor division would be in order.
........
r56135 | guido.van.rossum | 2007-07-01 06:13:54 +0200 (Sun, 01 Jul 2007) | 28 lines
Make map() and filter() identical to itertools.imap() and .ifilter(),
respectively.
I fixed two bootstrap issues, due to the dynamic import of itertools:
1. Starting python requires that map() and filter() are not used until
site.py has added build/lib.<arch> to sys.path.
2. Building python requires that setup.py and distutils and everything
they use is free of map() and filter() calls.
Beyond this, I only fixed the tests in test_builtin.py.
Others, please help fixing the remaining tests that are now broken!
The fixes are usually simple:
a. map(None, X) -> list(X)
b. map(F, X) -> list(map(F, X))
c. map(lambda x: F(x), X) -> [F(x) for x in X]
d. filter(F, X) -> list(filter(F, X))
e. filter(lambda x: P(x), X) -> [x for x in X if P(x)]
Someone, please also contribute a fixer for 2to3 to do this.
It can leave map()/filter() calls alone that are already
inside a list() or sorted() call or for-loop.
Only in rare cases have I seen code that depends on map() of lists
of different lengths going to the end of the longest, or on filter()
of a string or tuple returning an object of the same type; these
will need more thought to fix.
........
r56136 | guido.van.rossum | 2007-07-01 06:22:01 +0200 (Sun, 01 Jul 2007) | 3 lines
Make it so that test_decimal fails instead of hangs, to help automated
test runners.
........
r56139 | georg.brandl | 2007-07-01 18:20:58 +0200 (Sun, 01 Jul 2007) | 2 lines
Fix a few test cases after the map->imap change.
........
r56142 | neal.norwitz | 2007-07-02 06:38:12 +0200 (Mon, 02 Jul 2007) | 1 line
Get a bunch more tests passing after converting map/filter to return iterators.
........
r56147 | guido.van.rossum | 2007-07-02 15:32:02 +0200 (Mon, 02 Jul 2007) | 4 lines
Fix the remaining failing unit tests (at least on OSX).
Also tweaked urllib2 so it doesn't raise socket.gaierror when
all network interfaces are turned off.
........
2007-07-03 05:25:58 -03:00
|
|
|
hashed = list(map(hash, objlist))
|
2001-05-18 18:45:35 -03:00
|
|
|
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):
|
2007-01-15 12:59:06 -04:00
|
|
|
self.same_hash(1, 1, 1.0, 1.0+0.0j)
|
2007-09-19 18:19:28 -03:00
|
|
|
self.same_hash(0, 0.0, 0.0+0.0j)
|
|
|
|
self.same_hash(-1, -1.0, -1.0+0.0j)
|
|
|
|
self.same_hash(-2, -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):
|
2007-01-15 12:59:06 -04:00
|
|
|
self.same_hash(int(1), int(1), float(1), complex(1),
|
2001-05-18 18:45:35 -03:00
|
|
|
int('1'), float('1.0'))
|
2007-09-19 18:19:28 -03:00
|
|
|
self.same_hash(int(-2**31), float(-2**31))
|
|
|
|
self.same_hash(int(1-2**31), float(1-2**31))
|
|
|
|
self.same_hash(int(2**31-1), float(2**31-1))
|
|
|
|
# for 64-bit platforms
|
|
|
|
self.same_hash(int(2**31), float(2**31))
|
|
|
|
self.same_hash(int(-2**63), float(-2**63))
|
Merged revisions 69129-69131,69139-69140,69143,69154-69159,69169,69288-69289,69293,69297-69301,69348 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/trunk
........
r69129 | benjamin.peterson | 2009-01-30 19:42:55 -0600 (Fri, 30 Jan 2009) | 1 line
check the errno in bad fd cases
........
r69130 | andrew.kuchling | 2009-01-30 20:50:09 -0600 (Fri, 30 Jan 2009) | 1 line
Add a section
........
r69131 | andrew.kuchling | 2009-01-30 21:26:02 -0600 (Fri, 30 Jan 2009) | 1 line
Text edits and markup fixes
........
r69139 | mark.dickinson | 2009-01-31 10:44:04 -0600 (Sat, 31 Jan 2009) | 2 lines
Add an extra test for long <-> float hash equivalence.
........
r69140 | benjamin.peterson | 2009-01-31 10:52:03 -0600 (Sat, 31 Jan 2009) | 1 line
PyErr_BadInternalCall() raises a SystemError, not TypeError #5112
........
r69143 | benjamin.peterson | 2009-01-31 15:00:10 -0600 (Sat, 31 Jan 2009) | 1 line
I believe the intention here was to avoid a global lookup
........
r69154 | benjamin.peterson | 2009-01-31 16:33:02 -0600 (Sat, 31 Jan 2009) | 1 line
fix indentation in comment
........
r69155 | david.goodger | 2009-01-31 16:53:46 -0600 (Sat, 31 Jan 2009) | 1 line
markup fix
........
r69156 | gregory.p.smith | 2009-01-31 16:57:30 -0600 (Sat, 31 Jan 2009) | 4 lines
- Issue #5104: The socket module now raises OverflowError when 16-bit port and
protocol numbers are supplied outside the allowed 0-65536 range on bind()
and getservbyport().
........
r69157 | benjamin.peterson | 2009-01-31 17:43:25 -0600 (Sat, 31 Jan 2009) | 1 line
add explanatory comment
........
r69158 | benjamin.peterson | 2009-01-31 17:54:38 -0600 (Sat, 31 Jan 2009) | 1 line
more flags which only work for function blocks
........
r69159 | gregory.p.smith | 2009-01-31 18:16:01 -0600 (Sat, 31 Jan 2009) | 2 lines
Update doc wording as suggested in issue4903.
........
r69169 | guilherme.polo | 2009-01-31 20:56:16 -0600 (Sat, 31 Jan 2009) | 3 lines
Restore Tkinter.Tk._loadtk so this test doesn't fail for problems
related to ttk.
........
r69288 | georg.brandl | 2009-02-05 04:30:57 -0600 (Thu, 05 Feb 2009) | 1 line
#5153: fix typo in example.
........
r69289 | georg.brandl | 2009-02-05 04:37:07 -0600 (Thu, 05 Feb 2009) | 1 line
#5144: document that PySys_SetArgv prepends the script directory (or the empty string) to sys.path.
........
r69293 | georg.brandl | 2009-02-05 04:59:28 -0600 (Thu, 05 Feb 2009) | 1 line
#5059: fix example.
........
r69297 | georg.brandl | 2009-02-05 05:32:18 -0600 (Thu, 05 Feb 2009) | 1 line
#5015: document PythonHome API functions.
........
r69298 | georg.brandl | 2009-02-05 05:33:21 -0600 (Thu, 05 Feb 2009) | 1 line
#4827: fix callback example.
........
r69299 | georg.brandl | 2009-02-05 05:35:28 -0600 (Thu, 05 Feb 2009) | 1 line
#4820: use correct module for ctypes.util.
........
r69300 | georg.brandl | 2009-02-05 05:38:23 -0600 (Thu, 05 Feb 2009) | 1 line
#4563: disable alpha and roman lists, fixes wrong formatting of contributor list.
........
r69301 | georg.brandl | 2009-02-05 05:40:35 -0600 (Thu, 05 Feb 2009) | 1 line
#5031: fix Thread.daemon property docs.
........
r69348 | benjamin.peterson | 2009-02-05 19:47:31 -0600 (Thu, 05 Feb 2009) | 1 line
fix download link
........
2009-02-05 22:40:07 -04:00
|
|
|
self.same_hash(long(2**63), float(2**63))
|
2000-06-29 16:17:04 -03:00
|
|
|
|
2001-05-18 18:45:35 -03:00
|
|
|
def test_coerced_floats(self):
|
2007-01-15 12:59:06 -04:00
|
|
|
self.same_hash(int(1.23e300), float(1.23e300))
|
2001-05-18 18:45:35 -03:00
|
|
|
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
|
|
|
|
2008-07-15 12:46:38 -03: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
|
|
|
|
|
|
|
|
class OnlyInequality(object):
|
|
|
|
def __ne__(self, other):
|
|
|
|
return self is not other
|
|
|
|
|
|
|
|
class InheritedHashWithEquality(FixedHash, OnlyEquality): pass
|
|
|
|
class InheritedHashWithInequality(FixedHash, OnlyInequality): pass
|
|
|
|
|
|
|
|
class NoHash(object):
|
|
|
|
__hash__ = None
|
|
|
|
|
|
|
|
class HashInheritanceTestCase(unittest.TestCase):
|
|
|
|
default_expected = [object(),
|
|
|
|
DefaultHash(),
|
|
|
|
OnlyInequality(),
|
|
|
|
]
|
|
|
|
fixed_expected = [FixedHash(),
|
|
|
|
InheritedHashWithEquality(),
|
|
|
|
InheritedHashWithInequality(),
|
|
|
|
]
|
|
|
|
error_expected = [NoHash(),
|
|
|
|
OnlyEquality(),
|
|
|
|
]
|
|
|
|
|
|
|
|
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 +
|
|
|
|
self.fixed_expected)
|
|
|
|
for obj in objects:
|
|
|
|
self.assert_(isinstance(obj, Hashable), repr(obj))
|
|
|
|
|
|
|
|
def test_not_hashable(self):
|
|
|
|
for obj in self.error_expected:
|
|
|
|
self.assertFalse(isinstance(obj, Hashable), repr(obj))
|
|
|
|
|
|
|
|
|
2008-12-30 03:29:12 -04:00
|
|
|
# Issue #4701: Check that some builtin types are correctly hashable
|
|
|
|
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 = [range(10),
|
|
|
|
enumerate(range(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 18:33:42 -03:00
|
|
|
def test_main():
|
2008-07-15 12:46:38 -03:00
|
|
|
support.run_unittest(HashEqualityTestCase,
|
2008-12-30 03:29:12 -04:00
|
|
|
HashInheritanceTestCase,
|
|
|
|
HashBuiltinsTestCase)
|
2001-09-20 18:33:42 -03:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
test_main()
|