]>
Commit | Line | Data |
---|---|---|
4710c53d | 1 | \r |
2 | import unittest\r | |
3 | from test import test_support\r | |
4 | import gc\r | |
5 | import weakref\r | |
6 | import operator\r | |
7 | import copy\r | |
8 | import pickle\r | |
9 | from random import randrange, shuffle\r | |
10 | import sys\r | |
11 | import collections\r | |
12 | \r | |
13 | class PassThru(Exception):\r | |
14 | pass\r | |
15 | \r | |
16 | def check_pass_thru():\r | |
17 | raise PassThru\r | |
18 | yield 1\r | |
19 | \r | |
20 | class BadCmp:\r | |
21 | def __hash__(self):\r | |
22 | return 1\r | |
23 | def __cmp__(self, other):\r | |
24 | raise RuntimeError\r | |
25 | \r | |
26 | class ReprWrapper:\r | |
27 | 'Used to test self-referential repr() calls'\r | |
28 | def __repr__(self):\r | |
29 | return repr(self.value)\r | |
30 | \r | |
31 | class HashCountingInt(int):\r | |
32 | 'int-like object that counts the number of times __hash__ is called'\r | |
33 | def __init__(self, *args):\r | |
34 | self.hash_count = 0\r | |
35 | def __hash__(self):\r | |
36 | self.hash_count += 1\r | |
37 | return int.__hash__(self)\r | |
38 | \r | |
39 | class TestJointOps(unittest.TestCase):\r | |
40 | # Tests common to both set and frozenset\r | |
41 | \r | |
42 | def setUp(self):\r | |
43 | self.word = word = 'simsalabim'\r | |
44 | self.otherword = 'madagascar'\r | |
45 | self.letters = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ'\r | |
46 | self.s = self.thetype(word)\r | |
47 | self.d = dict.fromkeys(word)\r | |
48 | \r | |
49 | def test_new_or_init(self):\r | |
50 | self.assertRaises(TypeError, self.thetype, [], 2)\r | |
51 | self.assertRaises(TypeError, set().__init__, a=1)\r | |
52 | \r | |
53 | def test_uniquification(self):\r | |
54 | actual = sorted(self.s)\r | |
55 | expected = sorted(self.d)\r | |
56 | self.assertEqual(actual, expected)\r | |
57 | self.assertRaises(PassThru, self.thetype, check_pass_thru())\r | |
58 | self.assertRaises(TypeError, self.thetype, [[]])\r | |
59 | \r | |
60 | def test_len(self):\r | |
61 | self.assertEqual(len(self.s), len(self.d))\r | |
62 | \r | |
63 | def test_contains(self):\r | |
64 | for c in self.letters:\r | |
65 | self.assertEqual(c in self.s, c in self.d)\r | |
66 | self.assertRaises(TypeError, self.s.__contains__, [[]])\r | |
67 | s = self.thetype([frozenset(self.letters)])\r | |
68 | self.assertIn(self.thetype(self.letters), s)\r | |
69 | \r | |
70 | def test_union(self):\r | |
71 | u = self.s.union(self.otherword)\r | |
72 | for c in self.letters:\r | |
73 | self.assertEqual(c in u, c in self.d or c in self.otherword)\r | |
74 | self.assertEqual(self.s, self.thetype(self.word))\r | |
75 | self.assertEqual(type(u), self.thetype)\r | |
76 | self.assertRaises(PassThru, self.s.union, check_pass_thru())\r | |
77 | self.assertRaises(TypeError, self.s.union, [[]])\r | |
78 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
79 | self.assertEqual(self.thetype('abcba').union(C('cdc')), set('abcd'))\r | |
80 | self.assertEqual(self.thetype('abcba').union(C('efgfe')), set('abcefg'))\r | |
81 | self.assertEqual(self.thetype('abcba').union(C('ccb')), set('abc'))\r | |
82 | self.assertEqual(self.thetype('abcba').union(C('ef')), set('abcef'))\r | |
83 | self.assertEqual(self.thetype('abcba').union(C('ef'), C('fg')), set('abcefg'))\r | |
84 | \r | |
85 | # Issue #6573\r | |
86 | x = self.thetype()\r | |
87 | self.assertEqual(x.union(set([1]), x, set([2])), self.thetype([1, 2]))\r | |
88 | \r | |
89 | def test_or(self):\r | |
90 | i = self.s.union(self.otherword)\r | |
91 | self.assertEqual(self.s | set(self.otherword), i)\r | |
92 | self.assertEqual(self.s | frozenset(self.otherword), i)\r | |
93 | try:\r | |
94 | self.s | self.otherword\r | |
95 | except TypeError:\r | |
96 | pass\r | |
97 | else:\r | |
98 | self.fail("s|t did not screen-out general iterables")\r | |
99 | \r | |
100 | def test_intersection(self):\r | |
101 | i = self.s.intersection(self.otherword)\r | |
102 | for c in self.letters:\r | |
103 | self.assertEqual(c in i, c in self.d and c in self.otherword)\r | |
104 | self.assertEqual(self.s, self.thetype(self.word))\r | |
105 | self.assertEqual(type(i), self.thetype)\r | |
106 | self.assertRaises(PassThru, self.s.intersection, check_pass_thru())\r | |
107 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
108 | self.assertEqual(self.thetype('abcba').intersection(C('cdc')), set('cc'))\r | |
109 | self.assertEqual(self.thetype('abcba').intersection(C('efgfe')), set(''))\r | |
110 | self.assertEqual(self.thetype('abcba').intersection(C('ccb')), set('bc'))\r | |
111 | self.assertEqual(self.thetype('abcba').intersection(C('ef')), set(''))\r | |
112 | self.assertEqual(self.thetype('abcba').intersection(C('cbcf'), C('bag')), set('b'))\r | |
113 | s = self.thetype('abcba')\r | |
114 | z = s.intersection()\r | |
115 | if self.thetype == frozenset():\r | |
116 | self.assertEqual(id(s), id(z))\r | |
117 | else:\r | |
118 | self.assertNotEqual(id(s), id(z))\r | |
119 | \r | |
120 | def test_isdisjoint(self):\r | |
121 | def f(s1, s2):\r | |
122 | 'Pure python equivalent of isdisjoint()'\r | |
123 | return not set(s1).intersection(s2)\r | |
124 | for larg in '', 'a', 'ab', 'abc', 'ababac', 'cdc', 'cc', 'efgfe', 'ccb', 'ef':\r | |
125 | s1 = self.thetype(larg)\r | |
126 | for rarg in '', 'a', 'ab', 'abc', 'ababac', 'cdc', 'cc', 'efgfe', 'ccb', 'ef':\r | |
127 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
128 | s2 = C(rarg)\r | |
129 | actual = s1.isdisjoint(s2)\r | |
130 | expected = f(s1, s2)\r | |
131 | self.assertEqual(actual, expected)\r | |
132 | self.assertTrue(actual is True or actual is False)\r | |
133 | \r | |
134 | def test_and(self):\r | |
135 | i = self.s.intersection(self.otherword)\r | |
136 | self.assertEqual(self.s & set(self.otherword), i)\r | |
137 | self.assertEqual(self.s & frozenset(self.otherword), i)\r | |
138 | try:\r | |
139 | self.s & self.otherword\r | |
140 | except TypeError:\r | |
141 | pass\r | |
142 | else:\r | |
143 | self.fail("s&t did not screen-out general iterables")\r | |
144 | \r | |
145 | def test_difference(self):\r | |
146 | i = self.s.difference(self.otherword)\r | |
147 | for c in self.letters:\r | |
148 | self.assertEqual(c in i, c in self.d and c not in self.otherword)\r | |
149 | self.assertEqual(self.s, self.thetype(self.word))\r | |
150 | self.assertEqual(type(i), self.thetype)\r | |
151 | self.assertRaises(PassThru, self.s.difference, check_pass_thru())\r | |
152 | self.assertRaises(TypeError, self.s.difference, [[]])\r | |
153 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
154 | self.assertEqual(self.thetype('abcba').difference(C('cdc')), set('ab'))\r | |
155 | self.assertEqual(self.thetype('abcba').difference(C('efgfe')), set('abc'))\r | |
156 | self.assertEqual(self.thetype('abcba').difference(C('ccb')), set('a'))\r | |
157 | self.assertEqual(self.thetype('abcba').difference(C('ef')), set('abc'))\r | |
158 | self.assertEqual(self.thetype('abcba').difference(), set('abc'))\r | |
159 | self.assertEqual(self.thetype('abcba').difference(C('a'), C('b')), set('c'))\r | |
160 | \r | |
161 | def test_sub(self):\r | |
162 | i = self.s.difference(self.otherword)\r | |
163 | self.assertEqual(self.s - set(self.otherword), i)\r | |
164 | self.assertEqual(self.s - frozenset(self.otherword), i)\r | |
165 | try:\r | |
166 | self.s - self.otherword\r | |
167 | except TypeError:\r | |
168 | pass\r | |
169 | else:\r | |
170 | self.fail("s-t did not screen-out general iterables")\r | |
171 | \r | |
172 | def test_symmetric_difference(self):\r | |
173 | i = self.s.symmetric_difference(self.otherword)\r | |
174 | for c in self.letters:\r | |
175 | self.assertEqual(c in i, (c in self.d) ^ (c in self.otherword))\r | |
176 | self.assertEqual(self.s, self.thetype(self.word))\r | |
177 | self.assertEqual(type(i), self.thetype)\r | |
178 | self.assertRaises(PassThru, self.s.symmetric_difference, check_pass_thru())\r | |
179 | self.assertRaises(TypeError, self.s.symmetric_difference, [[]])\r | |
180 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
181 | self.assertEqual(self.thetype('abcba').symmetric_difference(C('cdc')), set('abd'))\r | |
182 | self.assertEqual(self.thetype('abcba').symmetric_difference(C('efgfe')), set('abcefg'))\r | |
183 | self.assertEqual(self.thetype('abcba').symmetric_difference(C('ccb')), set('a'))\r | |
184 | self.assertEqual(self.thetype('abcba').symmetric_difference(C('ef')), set('abcef'))\r | |
185 | \r | |
186 | def test_xor(self):\r | |
187 | i = self.s.symmetric_difference(self.otherword)\r | |
188 | self.assertEqual(self.s ^ set(self.otherword), i)\r | |
189 | self.assertEqual(self.s ^ frozenset(self.otherword), i)\r | |
190 | try:\r | |
191 | self.s ^ self.otherword\r | |
192 | except TypeError:\r | |
193 | pass\r | |
194 | else:\r | |
195 | self.fail("s^t did not screen-out general iterables")\r | |
196 | \r | |
197 | def test_equality(self):\r | |
198 | self.assertEqual(self.s, set(self.word))\r | |
199 | self.assertEqual(self.s, frozenset(self.word))\r | |
200 | self.assertEqual(self.s == self.word, False)\r | |
201 | self.assertNotEqual(self.s, set(self.otherword))\r | |
202 | self.assertNotEqual(self.s, frozenset(self.otherword))\r | |
203 | self.assertEqual(self.s != self.word, True)\r | |
204 | \r | |
205 | def test_setOfFrozensets(self):\r | |
206 | t = map(frozenset, ['abcdef', 'bcd', 'bdcb', 'fed', 'fedccba'])\r | |
207 | s = self.thetype(t)\r | |
208 | self.assertEqual(len(s), 3)\r | |
209 | \r | |
210 | def test_compare(self):\r | |
211 | self.assertRaises(TypeError, self.s.__cmp__, self.s)\r | |
212 | \r | |
213 | def test_sub_and_super(self):\r | |
214 | p, q, r = map(self.thetype, ['ab', 'abcde', 'def'])\r | |
215 | self.assertTrue(p < q)\r | |
216 | self.assertTrue(p <= q)\r | |
217 | self.assertTrue(q <= q)\r | |
218 | self.assertTrue(q > p)\r | |
219 | self.assertTrue(q >= p)\r | |
220 | self.assertFalse(q < r)\r | |
221 | self.assertFalse(q <= r)\r | |
222 | self.assertFalse(q > r)\r | |
223 | self.assertFalse(q >= r)\r | |
224 | self.assertTrue(set('a').issubset('abc'))\r | |
225 | self.assertTrue(set('abc').issuperset('a'))\r | |
226 | self.assertFalse(set('a').issubset('cbs'))\r | |
227 | self.assertFalse(set('cbs').issuperset('a'))\r | |
228 | \r | |
229 | def test_pickling(self):\r | |
230 | for i in range(pickle.HIGHEST_PROTOCOL + 1):\r | |
231 | p = pickle.dumps(self.s, i)\r | |
232 | dup = pickle.loads(p)\r | |
233 | self.assertEqual(self.s, dup, "%s != %s" % (self.s, dup))\r | |
234 | if type(self.s) not in (set, frozenset):\r | |
235 | self.s.x = 10\r | |
236 | p = pickle.dumps(self.s)\r | |
237 | dup = pickle.loads(p)\r | |
238 | self.assertEqual(self.s.x, dup.x)\r | |
239 | \r | |
240 | def test_deepcopy(self):\r | |
241 | class Tracer:\r | |
242 | def __init__(self, value):\r | |
243 | self.value = value\r | |
244 | def __hash__(self):\r | |
245 | return self.value\r | |
246 | def __deepcopy__(self, memo=None):\r | |
247 | return Tracer(self.value + 1)\r | |
248 | t = Tracer(10)\r | |
249 | s = self.thetype([t])\r | |
250 | dup = copy.deepcopy(s)\r | |
251 | self.assertNotEqual(id(s), id(dup))\r | |
252 | for elem in dup:\r | |
253 | newt = elem\r | |
254 | self.assertNotEqual(id(t), id(newt))\r | |
255 | self.assertEqual(t.value + 1, newt.value)\r | |
256 | \r | |
257 | def test_gc(self):\r | |
258 | # Create a nest of cycles to exercise overall ref count check\r | |
259 | class A:\r | |
260 | pass\r | |
261 | s = set(A() for i in xrange(1000))\r | |
262 | for elem in s:\r | |
263 | elem.cycle = s\r | |
264 | elem.sub = elem\r | |
265 | elem.set = set([elem])\r | |
266 | \r | |
267 | def test_subclass_with_custom_hash(self):\r | |
268 | # Bug #1257731\r | |
269 | class H(self.thetype):\r | |
270 | def __hash__(self):\r | |
271 | return int(id(self) & 0x7fffffff)\r | |
272 | s=H()\r | |
273 | f=set()\r | |
274 | f.add(s)\r | |
275 | self.assertIn(s, f)\r | |
276 | f.remove(s)\r | |
277 | f.add(s)\r | |
278 | f.discard(s)\r | |
279 | \r | |
280 | def test_badcmp(self):\r | |
281 | s = self.thetype([BadCmp()])\r | |
282 | # Detect comparison errors during insertion and lookup\r | |
283 | self.assertRaises(RuntimeError, self.thetype, [BadCmp(), BadCmp()])\r | |
284 | self.assertRaises(RuntimeError, s.__contains__, BadCmp())\r | |
285 | # Detect errors during mutating operations\r | |
286 | if hasattr(s, 'add'):\r | |
287 | self.assertRaises(RuntimeError, s.add, BadCmp())\r | |
288 | self.assertRaises(RuntimeError, s.discard, BadCmp())\r | |
289 | self.assertRaises(RuntimeError, s.remove, BadCmp())\r | |
290 | \r | |
291 | def test_cyclical_repr(self):\r | |
292 | w = ReprWrapper()\r | |
293 | s = self.thetype([w])\r | |
294 | w.value = s\r | |
295 | name = repr(s).partition('(')[0] # strip class name from repr string\r | |
296 | self.assertEqual(repr(s), '%s([%s(...)])' % (name, name))\r | |
297 | \r | |
298 | def test_cyclical_print(self):\r | |
299 | w = ReprWrapper()\r | |
300 | s = self.thetype([w])\r | |
301 | w.value = s\r | |
302 | fo = open(test_support.TESTFN, "wb")\r | |
303 | try:\r | |
304 | print >> fo, s,\r | |
305 | fo.close()\r | |
306 | fo = open(test_support.TESTFN, "rb")\r | |
307 | self.assertEqual(fo.read(), repr(s))\r | |
308 | finally:\r | |
309 | fo.close()\r | |
310 | test_support.unlink(test_support.TESTFN)\r | |
311 | \r | |
312 | def test_do_not_rehash_dict_keys(self):\r | |
313 | n = 10\r | |
314 | d = dict.fromkeys(map(HashCountingInt, xrange(n)))\r | |
315 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
316 | s = self.thetype(d)\r | |
317 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
318 | s.difference(d)\r | |
319 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
320 | if hasattr(s, 'symmetric_difference_update'):\r | |
321 | s.symmetric_difference_update(d)\r | |
322 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
323 | d2 = dict.fromkeys(set(d))\r | |
324 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
325 | d3 = dict.fromkeys(frozenset(d))\r | |
326 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
327 | d3 = dict.fromkeys(frozenset(d), 123)\r | |
328 | self.assertEqual(sum(elem.hash_count for elem in d), n)\r | |
329 | self.assertEqual(d3, dict.fromkeys(d, 123))\r | |
330 | \r | |
331 | def test_container_iterator(self):\r | |
332 | # Bug #3680: tp_traverse was not implemented for set iterator object\r | |
333 | class C(object):\r | |
334 | pass\r | |
335 | obj = C()\r | |
336 | ref = weakref.ref(obj)\r | |
337 | container = set([obj, 1])\r | |
338 | obj.x = iter(container)\r | |
339 | del obj, container\r | |
340 | gc.collect()\r | |
341 | self.assertTrue(ref() is None, "Cycle was not collected")\r | |
342 | \r | |
343 | class TestSet(TestJointOps):\r | |
344 | thetype = set\r | |
345 | \r | |
346 | def test_init(self):\r | |
347 | s = self.thetype()\r | |
348 | s.__init__(self.word)\r | |
349 | self.assertEqual(s, set(self.word))\r | |
350 | s.__init__(self.otherword)\r | |
351 | self.assertEqual(s, set(self.otherword))\r | |
352 | self.assertRaises(TypeError, s.__init__, s, 2);\r | |
353 | self.assertRaises(TypeError, s.__init__, 1);\r | |
354 | \r | |
355 | def test_constructor_identity(self):\r | |
356 | s = self.thetype(range(3))\r | |
357 | t = self.thetype(s)\r | |
358 | self.assertNotEqual(id(s), id(t))\r | |
359 | \r | |
360 | def test_hash(self):\r | |
361 | self.assertRaises(TypeError, hash, self.s)\r | |
362 | \r | |
363 | def test_clear(self):\r | |
364 | self.s.clear()\r | |
365 | self.assertEqual(self.s, set())\r | |
366 | self.assertEqual(len(self.s), 0)\r | |
367 | \r | |
368 | def test_copy(self):\r | |
369 | dup = self.s.copy()\r | |
370 | self.assertEqual(self.s, dup)\r | |
371 | self.assertNotEqual(id(self.s), id(dup))\r | |
372 | \r | |
373 | def test_add(self):\r | |
374 | self.s.add('Q')\r | |
375 | self.assertIn('Q', self.s)\r | |
376 | dup = self.s.copy()\r | |
377 | self.s.add('Q')\r | |
378 | self.assertEqual(self.s, dup)\r | |
379 | self.assertRaises(TypeError, self.s.add, [])\r | |
380 | \r | |
381 | def test_remove(self):\r | |
382 | self.s.remove('a')\r | |
383 | self.assertNotIn('a', self.s)\r | |
384 | self.assertRaises(KeyError, self.s.remove, 'Q')\r | |
385 | self.assertRaises(TypeError, self.s.remove, [])\r | |
386 | s = self.thetype([frozenset(self.word)])\r | |
387 | self.assertIn(self.thetype(self.word), s)\r | |
388 | s.remove(self.thetype(self.word))\r | |
389 | self.assertNotIn(self.thetype(self.word), s)\r | |
390 | self.assertRaises(KeyError, self.s.remove, self.thetype(self.word))\r | |
391 | \r | |
392 | def test_remove_keyerror_unpacking(self):\r | |
393 | # bug: www.python.org/sf/1576657\r | |
394 | for v1 in ['Q', (1,)]:\r | |
395 | try:\r | |
396 | self.s.remove(v1)\r | |
397 | except KeyError, e:\r | |
398 | v2 = e.args[0]\r | |
399 | self.assertEqual(v1, v2)\r | |
400 | else:\r | |
401 | self.fail()\r | |
402 | \r | |
403 | def test_remove_keyerror_set(self):\r | |
404 | key = self.thetype([3, 4])\r | |
405 | try:\r | |
406 | self.s.remove(key)\r | |
407 | except KeyError as e:\r | |
408 | self.assertTrue(e.args[0] is key,\r | |
409 | "KeyError should be {0}, not {1}".format(key,\r | |
410 | e.args[0]))\r | |
411 | else:\r | |
412 | self.fail()\r | |
413 | \r | |
414 | def test_discard(self):\r | |
415 | self.s.discard('a')\r | |
416 | self.assertNotIn('a', self.s)\r | |
417 | self.s.discard('Q')\r | |
418 | self.assertRaises(TypeError, self.s.discard, [])\r | |
419 | s = self.thetype([frozenset(self.word)])\r | |
420 | self.assertIn(self.thetype(self.word), s)\r | |
421 | s.discard(self.thetype(self.word))\r | |
422 | self.assertNotIn(self.thetype(self.word), s)\r | |
423 | s.discard(self.thetype(self.word))\r | |
424 | \r | |
425 | def test_pop(self):\r | |
426 | for i in xrange(len(self.s)):\r | |
427 | elem = self.s.pop()\r | |
428 | self.assertNotIn(elem, self.s)\r | |
429 | self.assertRaises(KeyError, self.s.pop)\r | |
430 | \r | |
431 | def test_update(self):\r | |
432 | retval = self.s.update(self.otherword)\r | |
433 | self.assertEqual(retval, None)\r | |
434 | for c in (self.word + self.otherword):\r | |
435 | self.assertIn(c, self.s)\r | |
436 | self.assertRaises(PassThru, self.s.update, check_pass_thru())\r | |
437 | self.assertRaises(TypeError, self.s.update, [[]])\r | |
438 | for p, q in (('cdc', 'abcd'), ('efgfe', 'abcefg'), ('ccb', 'abc'), ('ef', 'abcef')):\r | |
439 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
440 | s = self.thetype('abcba')\r | |
441 | self.assertEqual(s.update(C(p)), None)\r | |
442 | self.assertEqual(s, set(q))\r | |
443 | for p in ('cdc', 'efgfe', 'ccb', 'ef', 'abcda'):\r | |
444 | q = 'ahi'\r | |
445 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
446 | s = self.thetype('abcba')\r | |
447 | self.assertEqual(s.update(C(p), C(q)), None)\r | |
448 | self.assertEqual(s, set(s) | set(p) | set(q))\r | |
449 | \r | |
450 | def test_ior(self):\r | |
451 | self.s |= set(self.otherword)\r | |
452 | for c in (self.word + self.otherword):\r | |
453 | self.assertIn(c, self.s)\r | |
454 | \r | |
455 | def test_intersection_update(self):\r | |
456 | retval = self.s.intersection_update(self.otherword)\r | |
457 | self.assertEqual(retval, None)\r | |
458 | for c in (self.word + self.otherword):\r | |
459 | if c in self.otherword and c in self.word:\r | |
460 | self.assertIn(c, self.s)\r | |
461 | else:\r | |
462 | self.assertNotIn(c, self.s)\r | |
463 | self.assertRaises(PassThru, self.s.intersection_update, check_pass_thru())\r | |
464 | self.assertRaises(TypeError, self.s.intersection_update, [[]])\r | |
465 | for p, q in (('cdc', 'c'), ('efgfe', ''), ('ccb', 'bc'), ('ef', '')):\r | |
466 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
467 | s = self.thetype('abcba')\r | |
468 | self.assertEqual(s.intersection_update(C(p)), None)\r | |
469 | self.assertEqual(s, set(q))\r | |
470 | ss = 'abcba'\r | |
471 | s = self.thetype(ss)\r | |
472 | t = 'cbc'\r | |
473 | self.assertEqual(s.intersection_update(C(p), C(t)), None)\r | |
474 | self.assertEqual(s, set('abcba')&set(p)&set(t))\r | |
475 | \r | |
476 | def test_iand(self):\r | |
477 | self.s &= set(self.otherword)\r | |
478 | for c in (self.word + self.otherword):\r | |
479 | if c in self.otherword and c in self.word:\r | |
480 | self.assertIn(c, self.s)\r | |
481 | else:\r | |
482 | self.assertNotIn(c, self.s)\r | |
483 | \r | |
484 | def test_difference_update(self):\r | |
485 | retval = self.s.difference_update(self.otherword)\r | |
486 | self.assertEqual(retval, None)\r | |
487 | for c in (self.word + self.otherword):\r | |
488 | if c in self.word and c not in self.otherword:\r | |
489 | self.assertIn(c, self.s)\r | |
490 | else:\r | |
491 | self.assertNotIn(c, self.s)\r | |
492 | self.assertRaises(PassThru, self.s.difference_update, check_pass_thru())\r | |
493 | self.assertRaises(TypeError, self.s.difference_update, [[]])\r | |
494 | self.assertRaises(TypeError, self.s.symmetric_difference_update, [[]])\r | |
495 | for p, q in (('cdc', 'ab'), ('efgfe', 'abc'), ('ccb', 'a'), ('ef', 'abc')):\r | |
496 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
497 | s = self.thetype('abcba')\r | |
498 | self.assertEqual(s.difference_update(C(p)), None)\r | |
499 | self.assertEqual(s, set(q))\r | |
500 | \r | |
501 | s = self.thetype('abcdefghih')\r | |
502 | s.difference_update()\r | |
503 | self.assertEqual(s, self.thetype('abcdefghih'))\r | |
504 | \r | |
505 | s = self.thetype('abcdefghih')\r | |
506 | s.difference_update(C('aba'))\r | |
507 | self.assertEqual(s, self.thetype('cdefghih'))\r | |
508 | \r | |
509 | s = self.thetype('abcdefghih')\r | |
510 | s.difference_update(C('cdc'), C('aba'))\r | |
511 | self.assertEqual(s, self.thetype('efghih'))\r | |
512 | \r | |
513 | def test_isub(self):\r | |
514 | self.s -= set(self.otherword)\r | |
515 | for c in (self.word + self.otherword):\r | |
516 | if c in self.word and c not in self.otherword:\r | |
517 | self.assertIn(c, self.s)\r | |
518 | else:\r | |
519 | self.assertNotIn(c, self.s)\r | |
520 | \r | |
521 | def test_symmetric_difference_update(self):\r | |
522 | retval = self.s.symmetric_difference_update(self.otherword)\r | |
523 | self.assertEqual(retval, None)\r | |
524 | for c in (self.word + self.otherword):\r | |
525 | if (c in self.word) ^ (c in self.otherword):\r | |
526 | self.assertIn(c, self.s)\r | |
527 | else:\r | |
528 | self.assertNotIn(c, self.s)\r | |
529 | self.assertRaises(PassThru, self.s.symmetric_difference_update, check_pass_thru())\r | |
530 | self.assertRaises(TypeError, self.s.symmetric_difference_update, [[]])\r | |
531 | for p, q in (('cdc', 'abd'), ('efgfe', 'abcefg'), ('ccb', 'a'), ('ef', 'abcef')):\r | |
532 | for C in set, frozenset, dict.fromkeys, str, unicode, list, tuple:\r | |
533 | s = self.thetype('abcba')\r | |
534 | self.assertEqual(s.symmetric_difference_update(C(p)), None)\r | |
535 | self.assertEqual(s, set(q))\r | |
536 | \r | |
537 | def test_ixor(self):\r | |
538 | self.s ^= set(self.otherword)\r | |
539 | for c in (self.word + self.otherword):\r | |
540 | if (c in self.word) ^ (c in self.otherword):\r | |
541 | self.assertIn(c, self.s)\r | |
542 | else:\r | |
543 | self.assertNotIn(c, self.s)\r | |
544 | \r | |
545 | def test_inplace_on_self(self):\r | |
546 | t = self.s.copy()\r | |
547 | t |= t\r | |
548 | self.assertEqual(t, self.s)\r | |
549 | t &= t\r | |
550 | self.assertEqual(t, self.s)\r | |
551 | t -= t\r | |
552 | self.assertEqual(t, self.thetype())\r | |
553 | t = self.s.copy()\r | |
554 | t ^= t\r | |
555 | self.assertEqual(t, self.thetype())\r | |
556 | \r | |
557 | def test_weakref(self):\r | |
558 | s = self.thetype('gallahad')\r | |
559 | p = weakref.proxy(s)\r | |
560 | self.assertEqual(str(p), str(s))\r | |
561 | s = None\r | |
562 | self.assertRaises(ReferenceError, str, p)\r | |
563 | \r | |
564 | # C API test only available in a debug build\r | |
565 | if hasattr(set, "test_c_api"):\r | |
566 | def test_c_api(self):\r | |
567 | self.assertEqual(set().test_c_api(), True)\r | |
568 | \r | |
569 | class SetSubclass(set):\r | |
570 | pass\r | |
571 | \r | |
572 | class TestSetSubclass(TestSet):\r | |
573 | thetype = SetSubclass\r | |
574 | \r | |
575 | class SetSubclassWithKeywordArgs(set):\r | |
576 | def __init__(self, iterable=[], newarg=None):\r | |
577 | set.__init__(self, iterable)\r | |
578 | \r | |
579 | class TestSetSubclassWithKeywordArgs(TestSet):\r | |
580 | \r | |
581 | def test_keywords_in_subclass(self):\r | |
582 | 'SF bug #1486663 -- this used to erroneously raise a TypeError'\r | |
583 | SetSubclassWithKeywordArgs(newarg=1)\r | |
584 | \r | |
585 | class TestFrozenSet(TestJointOps):\r | |
586 | thetype = frozenset\r | |
587 | \r | |
588 | def test_init(self):\r | |
589 | s = self.thetype(self.word)\r | |
590 | s.__init__(self.otherword)\r | |
591 | self.assertEqual(s, set(self.word))\r | |
592 | \r | |
593 | def test_singleton_empty_frozenset(self):\r | |
594 | f = frozenset()\r | |
595 | efs = [frozenset(), frozenset([]), frozenset(()), frozenset(''),\r | |
596 | frozenset(), frozenset([]), frozenset(()), frozenset(''),\r | |
597 | frozenset(xrange(0)), frozenset(frozenset()),\r | |
598 | frozenset(f), f]\r | |
599 | # All of the empty frozensets should have just one id()\r | |
600 | self.assertEqual(len(set(map(id, efs))), 1)\r | |
601 | \r | |
602 | def test_constructor_identity(self):\r | |
603 | s = self.thetype(range(3))\r | |
604 | t = self.thetype(s)\r | |
605 | self.assertEqual(id(s), id(t))\r | |
606 | \r | |
607 | def test_hash(self):\r | |
608 | self.assertEqual(hash(self.thetype('abcdeb')),\r | |
609 | hash(self.thetype('ebecda')))\r | |
610 | \r | |
611 | # make sure that all permutations give the same hash value\r | |
612 | n = 100\r | |
613 | seq = [randrange(n) for i in xrange(n)]\r | |
614 | results = set()\r | |
615 | for i in xrange(200):\r | |
616 | shuffle(seq)\r | |
617 | results.add(hash(self.thetype(seq)))\r | |
618 | self.assertEqual(len(results), 1)\r | |
619 | \r | |
620 | def test_copy(self):\r | |
621 | dup = self.s.copy()\r | |
622 | self.assertEqual(id(self.s), id(dup))\r | |
623 | \r | |
624 | def test_frozen_as_dictkey(self):\r | |
625 | seq = range(10) + list('abcdefg') + ['apple']\r | |
626 | key1 = self.thetype(seq)\r | |
627 | key2 = self.thetype(reversed(seq))\r | |
628 | self.assertEqual(key1, key2)\r | |
629 | self.assertNotEqual(id(key1), id(key2))\r | |
630 | d = {}\r | |
631 | d[key1] = 42\r | |
632 | self.assertEqual(d[key2], 42)\r | |
633 | \r | |
634 | def test_hash_caching(self):\r | |
635 | f = self.thetype('abcdcda')\r | |
636 | self.assertEqual(hash(f), hash(f))\r | |
637 | \r | |
638 | def test_hash_effectiveness(self):\r | |
639 | n = 13\r | |
640 | hashvalues = set()\r | |
641 | addhashvalue = hashvalues.add\r | |
642 | elemmasks = [(i+1, 1<<i) for i in range(n)]\r | |
643 | for i in xrange(2**n):\r | |
644 | addhashvalue(hash(frozenset([e for e, m in elemmasks if m&i])))\r | |
645 | self.assertEqual(len(hashvalues), 2**n)\r | |
646 | \r | |
647 | class FrozenSetSubclass(frozenset):\r | |
648 | pass\r | |
649 | \r | |
650 | class TestFrozenSetSubclass(TestFrozenSet):\r | |
651 | thetype = FrozenSetSubclass\r | |
652 | \r | |
653 | def test_constructor_identity(self):\r | |
654 | s = self.thetype(range(3))\r | |
655 | t = self.thetype(s)\r | |
656 | self.assertNotEqual(id(s), id(t))\r | |
657 | \r | |
658 | def test_copy(self):\r | |
659 | dup = self.s.copy()\r | |
660 | self.assertNotEqual(id(self.s), id(dup))\r | |
661 | \r | |
662 | def test_nested_empty_constructor(self):\r | |
663 | s = self.thetype()\r | |
664 | t = self.thetype(s)\r | |
665 | self.assertEqual(s, t)\r | |
666 | \r | |
667 | def test_singleton_empty_frozenset(self):\r | |
668 | Frozenset = self.thetype\r | |
669 | f = frozenset()\r | |
670 | F = Frozenset()\r | |
671 | efs = [Frozenset(), Frozenset([]), Frozenset(()), Frozenset(''),\r | |
672 | Frozenset(), Frozenset([]), Frozenset(()), Frozenset(''),\r | |
673 | Frozenset(xrange(0)), Frozenset(Frozenset()),\r | |
674 | Frozenset(frozenset()), f, F, Frozenset(f), Frozenset(F)]\r | |
675 | # All empty frozenset subclass instances should have different ids\r | |
676 | self.assertEqual(len(set(map(id, efs))), len(efs))\r | |
677 | \r | |
678 | # Tests taken from test_sets.py =============================================\r | |
679 | \r | |
680 | empty_set = set()\r | |
681 | \r | |
682 | #==============================================================================\r | |
683 | \r | |
684 | class TestBasicOps(unittest.TestCase):\r | |
685 | \r | |
686 | def test_repr(self):\r | |
687 | if self.repr is not None:\r | |
688 | self.assertEqual(repr(self.set), self.repr)\r | |
689 | \r | |
690 | def test_print(self):\r | |
691 | fo = open(test_support.TESTFN, "wb")\r | |
692 | try:\r | |
693 | print >> fo, self.set,\r | |
694 | fo.close()\r | |
695 | fo = open(test_support.TESTFN, "rb")\r | |
696 | self.assertEqual(fo.read(), repr(self.set))\r | |
697 | finally:\r | |
698 | fo.close()\r | |
699 | test_support.unlink(test_support.TESTFN)\r | |
700 | \r | |
701 | def test_length(self):\r | |
702 | self.assertEqual(len(self.set), self.length)\r | |
703 | \r | |
704 | def test_self_equality(self):\r | |
705 | self.assertEqual(self.set, self.set)\r | |
706 | \r | |
707 | def test_equivalent_equality(self):\r | |
708 | self.assertEqual(self.set, self.dup)\r | |
709 | \r | |
710 | def test_copy(self):\r | |
711 | self.assertEqual(self.set.copy(), self.dup)\r | |
712 | \r | |
713 | def test_self_union(self):\r | |
714 | result = self.set | self.set\r | |
715 | self.assertEqual(result, self.dup)\r | |
716 | \r | |
717 | def test_empty_union(self):\r | |
718 | result = self.set | empty_set\r | |
719 | self.assertEqual(result, self.dup)\r | |
720 | \r | |
721 | def test_union_empty(self):\r | |
722 | result = empty_set | self.set\r | |
723 | self.assertEqual(result, self.dup)\r | |
724 | \r | |
725 | def test_self_intersection(self):\r | |
726 | result = self.set & self.set\r | |
727 | self.assertEqual(result, self.dup)\r | |
728 | \r | |
729 | def test_empty_intersection(self):\r | |
730 | result = self.set & empty_set\r | |
731 | self.assertEqual(result, empty_set)\r | |
732 | \r | |
733 | def test_intersection_empty(self):\r | |
734 | result = empty_set & self.set\r | |
735 | self.assertEqual(result, empty_set)\r | |
736 | \r | |
737 | def test_self_isdisjoint(self):\r | |
738 | result = self.set.isdisjoint(self.set)\r | |
739 | self.assertEqual(result, not self.set)\r | |
740 | \r | |
741 | def test_empty_isdisjoint(self):\r | |
742 | result = self.set.isdisjoint(empty_set)\r | |
743 | self.assertEqual(result, True)\r | |
744 | \r | |
745 | def test_isdisjoint_empty(self):\r | |
746 | result = empty_set.isdisjoint(self.set)\r | |
747 | self.assertEqual(result, True)\r | |
748 | \r | |
749 | def test_self_symmetric_difference(self):\r | |
750 | result = self.set ^ self.set\r | |
751 | self.assertEqual(result, empty_set)\r | |
752 | \r | |
753 | def test_empty_symmetric_difference(self):\r | |
754 | result = self.set ^ empty_set\r | |
755 | self.assertEqual(result, self.set)\r | |
756 | \r | |
757 | def test_self_difference(self):\r | |
758 | result = self.set - self.set\r | |
759 | self.assertEqual(result, empty_set)\r | |
760 | \r | |
761 | def test_empty_difference(self):\r | |
762 | result = self.set - empty_set\r | |
763 | self.assertEqual(result, self.dup)\r | |
764 | \r | |
765 | def test_empty_difference_rev(self):\r | |
766 | result = empty_set - self.set\r | |
767 | self.assertEqual(result, empty_set)\r | |
768 | \r | |
769 | def test_iteration(self):\r | |
770 | for v in self.set:\r | |
771 | self.assertIn(v, self.values)\r | |
772 | setiter = iter(self.set)\r | |
773 | # note: __length_hint__ is an internal undocumented API,\r | |
774 | # don't rely on it in your own programs\r | |
775 | self.assertEqual(setiter.__length_hint__(), len(self.set))\r | |
776 | \r | |
777 | def test_pickling(self):\r | |
778 | p = pickle.dumps(self.set)\r | |
779 | copy = pickle.loads(p)\r | |
780 | self.assertEqual(self.set, copy,\r | |
781 | "%s != %s" % (self.set, copy))\r | |
782 | \r | |
783 | #------------------------------------------------------------------------------\r | |
784 | \r | |
785 | class TestBasicOpsEmpty(TestBasicOps):\r | |
786 | def setUp(self):\r | |
787 | self.case = "empty set"\r | |
788 | self.values = []\r | |
789 | self.set = set(self.values)\r | |
790 | self.dup = set(self.values)\r | |
791 | self.length = 0\r | |
792 | self.repr = "set([])"\r | |
793 | \r | |
794 | #------------------------------------------------------------------------------\r | |
795 | \r | |
796 | class TestBasicOpsSingleton(TestBasicOps):\r | |
797 | def setUp(self):\r | |
798 | self.case = "unit set (number)"\r | |
799 | self.values = [3]\r | |
800 | self.set = set(self.values)\r | |
801 | self.dup = set(self.values)\r | |
802 | self.length = 1\r | |
803 | self.repr = "set([3])"\r | |
804 | \r | |
805 | def test_in(self):\r | |
806 | self.assertIn(3, self.set)\r | |
807 | \r | |
808 | def test_not_in(self):\r | |
809 | self.assertNotIn(2, self.set)\r | |
810 | \r | |
811 | #------------------------------------------------------------------------------\r | |
812 | \r | |
813 | class TestBasicOpsTuple(TestBasicOps):\r | |
814 | def setUp(self):\r | |
815 | self.case = "unit set (tuple)"\r | |
816 | self.values = [(0, "zero")]\r | |
817 | self.set = set(self.values)\r | |
818 | self.dup = set(self.values)\r | |
819 | self.length = 1\r | |
820 | self.repr = "set([(0, 'zero')])"\r | |
821 | \r | |
822 | def test_in(self):\r | |
823 | self.assertIn((0, "zero"), self.set)\r | |
824 | \r | |
825 | def test_not_in(self):\r | |
826 | self.assertNotIn(9, self.set)\r | |
827 | \r | |
828 | #------------------------------------------------------------------------------\r | |
829 | \r | |
830 | class TestBasicOpsTriple(TestBasicOps):\r | |
831 | def setUp(self):\r | |
832 | self.case = "triple set"\r | |
833 | self.values = [0, "zero", operator.add]\r | |
834 | self.set = set(self.values)\r | |
835 | self.dup = set(self.values)\r | |
836 | self.length = 3\r | |
837 | self.repr = None\r | |
838 | \r | |
839 | #==============================================================================\r | |
840 | \r | |
841 | def baditer():\r | |
842 | raise TypeError\r | |
843 | yield True\r | |
844 | \r | |
845 | def gooditer():\r | |
846 | yield True\r | |
847 | \r | |
848 | class TestExceptionPropagation(unittest.TestCase):\r | |
849 | """SF 628246: Set constructor should not trap iterator TypeErrors"""\r | |
850 | \r | |
851 | def test_instanceWithException(self):\r | |
852 | self.assertRaises(TypeError, set, baditer())\r | |
853 | \r | |
854 | def test_instancesWithoutException(self):\r | |
855 | # All of these iterables should load without exception.\r | |
856 | set([1,2,3])\r | |
857 | set((1,2,3))\r | |
858 | set({'one':1, 'two':2, 'three':3})\r | |
859 | set(xrange(3))\r | |
860 | set('abc')\r | |
861 | set(gooditer())\r | |
862 | \r | |
863 | def test_changingSizeWhileIterating(self):\r | |
864 | s = set([1,2,3])\r | |
865 | try:\r | |
866 | for i in s:\r | |
867 | s.update([4])\r | |
868 | except RuntimeError:\r | |
869 | pass\r | |
870 | else:\r | |
871 | self.fail("no exception when changing size during iteration")\r | |
872 | \r | |
873 | #==============================================================================\r | |
874 | \r | |
875 | class TestSetOfSets(unittest.TestCase):\r | |
876 | def test_constructor(self):\r | |
877 | inner = frozenset([1])\r | |
878 | outer = set([inner])\r | |
879 | element = outer.pop()\r | |
880 | self.assertEqual(type(element), frozenset)\r | |
881 | outer.add(inner) # Rebuild set of sets with .add method\r | |
882 | outer.remove(inner)\r | |
883 | self.assertEqual(outer, set()) # Verify that remove worked\r | |
884 | outer.discard(inner) # Absence of KeyError indicates working fine\r | |
885 | \r | |
886 | #==============================================================================\r | |
887 | \r | |
888 | class TestBinaryOps(unittest.TestCase):\r | |
889 | def setUp(self):\r | |
890 | self.set = set((2, 4, 6))\r | |
891 | \r | |
892 | def test_eq(self): # SF bug 643115\r | |
893 | self.assertEqual(self.set, set({2:1,4:3,6:5}))\r | |
894 | \r | |
895 | def test_union_subset(self):\r | |
896 | result = self.set | set([2])\r | |
897 | self.assertEqual(result, set((2, 4, 6)))\r | |
898 | \r | |
899 | def test_union_superset(self):\r | |
900 | result = self.set | set([2, 4, 6, 8])\r | |
901 | self.assertEqual(result, set([2, 4, 6, 8]))\r | |
902 | \r | |
903 | def test_union_overlap(self):\r | |
904 | result = self.set | set([3, 4, 5])\r | |
905 | self.assertEqual(result, set([2, 3, 4, 5, 6]))\r | |
906 | \r | |
907 | def test_union_non_overlap(self):\r | |
908 | result = self.set | set([8])\r | |
909 | self.assertEqual(result, set([2, 4, 6, 8]))\r | |
910 | \r | |
911 | def test_intersection_subset(self):\r | |
912 | result = self.set & set((2, 4))\r | |
913 | self.assertEqual(result, set((2, 4)))\r | |
914 | \r | |
915 | def test_intersection_superset(self):\r | |
916 | result = self.set & set([2, 4, 6, 8])\r | |
917 | self.assertEqual(result, set([2, 4, 6]))\r | |
918 | \r | |
919 | def test_intersection_overlap(self):\r | |
920 | result = self.set & set([3, 4, 5])\r | |
921 | self.assertEqual(result, set([4]))\r | |
922 | \r | |
923 | def test_intersection_non_overlap(self):\r | |
924 | result = self.set & set([8])\r | |
925 | self.assertEqual(result, empty_set)\r | |
926 | \r | |
927 | def test_isdisjoint_subset(self):\r | |
928 | result = self.set.isdisjoint(set((2, 4)))\r | |
929 | self.assertEqual(result, False)\r | |
930 | \r | |
931 | def test_isdisjoint_superset(self):\r | |
932 | result = self.set.isdisjoint(set([2, 4, 6, 8]))\r | |
933 | self.assertEqual(result, False)\r | |
934 | \r | |
935 | def test_isdisjoint_overlap(self):\r | |
936 | result = self.set.isdisjoint(set([3, 4, 5]))\r | |
937 | self.assertEqual(result, False)\r | |
938 | \r | |
939 | def test_isdisjoint_non_overlap(self):\r | |
940 | result = self.set.isdisjoint(set([8]))\r | |
941 | self.assertEqual(result, True)\r | |
942 | \r | |
943 | def test_sym_difference_subset(self):\r | |
944 | result = self.set ^ set((2, 4))\r | |
945 | self.assertEqual(result, set([6]))\r | |
946 | \r | |
947 | def test_sym_difference_superset(self):\r | |
948 | result = self.set ^ set((2, 4, 6, 8))\r | |
949 | self.assertEqual(result, set([8]))\r | |
950 | \r | |
951 | def test_sym_difference_overlap(self):\r | |
952 | result = self.set ^ set((3, 4, 5))\r | |
953 | self.assertEqual(result, set([2, 3, 5, 6]))\r | |
954 | \r | |
955 | def test_sym_difference_non_overlap(self):\r | |
956 | result = self.set ^ set([8])\r | |
957 | self.assertEqual(result, set([2, 4, 6, 8]))\r | |
958 | \r | |
959 | def test_cmp(self):\r | |
960 | a, b = set('a'), set('b')\r | |
961 | self.assertRaises(TypeError, cmp, a, b)\r | |
962 | \r | |
963 | # You can view this as a buglet: cmp(a, a) does not raise TypeError,\r | |
964 | # because __eq__ is tried before __cmp__, and a.__eq__(a) returns True,\r | |
965 | # which Python thinks is good enough to synthesize a cmp() result\r | |
966 | # without calling __cmp__.\r | |
967 | self.assertEqual(cmp(a, a), 0)\r | |
968 | \r | |
969 | self.assertRaises(TypeError, cmp, a, 12)\r | |
970 | self.assertRaises(TypeError, cmp, "abc", a)\r | |
971 | \r | |
972 | #==============================================================================\r | |
973 | \r | |
974 | class TestUpdateOps(unittest.TestCase):\r | |
975 | def setUp(self):\r | |
976 | self.set = set((2, 4, 6))\r | |
977 | \r | |
978 | def test_union_subset(self):\r | |
979 | self.set |= set([2])\r | |
980 | self.assertEqual(self.set, set((2, 4, 6)))\r | |
981 | \r | |
982 | def test_union_superset(self):\r | |
983 | self.set |= set([2, 4, 6, 8])\r | |
984 | self.assertEqual(self.set, set([2, 4, 6, 8]))\r | |
985 | \r | |
986 | def test_union_overlap(self):\r | |
987 | self.set |= set([3, 4, 5])\r | |
988 | self.assertEqual(self.set, set([2, 3, 4, 5, 6]))\r | |
989 | \r | |
990 | def test_union_non_overlap(self):\r | |
991 | self.set |= set([8])\r | |
992 | self.assertEqual(self.set, set([2, 4, 6, 8]))\r | |
993 | \r | |
994 | def test_union_method_call(self):\r | |
995 | self.set.update(set([3, 4, 5]))\r | |
996 | self.assertEqual(self.set, set([2, 3, 4, 5, 6]))\r | |
997 | \r | |
998 | def test_intersection_subset(self):\r | |
999 | self.set &= set((2, 4))\r | |
1000 | self.assertEqual(self.set, set((2, 4)))\r | |
1001 | \r | |
1002 | def test_intersection_superset(self):\r | |
1003 | self.set &= set([2, 4, 6, 8])\r | |
1004 | self.assertEqual(self.set, set([2, 4, 6]))\r | |
1005 | \r | |
1006 | def test_intersection_overlap(self):\r | |
1007 | self.set &= set([3, 4, 5])\r | |
1008 | self.assertEqual(self.set, set([4]))\r | |
1009 | \r | |
1010 | def test_intersection_non_overlap(self):\r | |
1011 | self.set &= set([8])\r | |
1012 | self.assertEqual(self.set, empty_set)\r | |
1013 | \r | |
1014 | def test_intersection_method_call(self):\r | |
1015 | self.set.intersection_update(set([3, 4, 5]))\r | |
1016 | self.assertEqual(self.set, set([4]))\r | |
1017 | \r | |
1018 | def test_sym_difference_subset(self):\r | |
1019 | self.set ^= set((2, 4))\r | |
1020 | self.assertEqual(self.set, set([6]))\r | |
1021 | \r | |
1022 | def test_sym_difference_superset(self):\r | |
1023 | self.set ^= set((2, 4, 6, 8))\r | |
1024 | self.assertEqual(self.set, set([8]))\r | |
1025 | \r | |
1026 | def test_sym_difference_overlap(self):\r | |
1027 | self.set ^= set((3, 4, 5))\r | |
1028 | self.assertEqual(self.set, set([2, 3, 5, 6]))\r | |
1029 | \r | |
1030 | def test_sym_difference_non_overlap(self):\r | |
1031 | self.set ^= set([8])\r | |
1032 | self.assertEqual(self.set, set([2, 4, 6, 8]))\r | |
1033 | \r | |
1034 | def test_sym_difference_method_call(self):\r | |
1035 | self.set.symmetric_difference_update(set([3, 4, 5]))\r | |
1036 | self.assertEqual(self.set, set([2, 3, 5, 6]))\r | |
1037 | \r | |
1038 | def test_difference_subset(self):\r | |
1039 | self.set -= set((2, 4))\r | |
1040 | self.assertEqual(self.set, set([6]))\r | |
1041 | \r | |
1042 | def test_difference_superset(self):\r | |
1043 | self.set -= set((2, 4, 6, 8))\r | |
1044 | self.assertEqual(self.set, set([]))\r | |
1045 | \r | |
1046 | def test_difference_overlap(self):\r | |
1047 | self.set -= set((3, 4, 5))\r | |
1048 | self.assertEqual(self.set, set([2, 6]))\r | |
1049 | \r | |
1050 | def test_difference_non_overlap(self):\r | |
1051 | self.set -= set([8])\r | |
1052 | self.assertEqual(self.set, set([2, 4, 6]))\r | |
1053 | \r | |
1054 | def test_difference_method_call(self):\r | |
1055 | self.set.difference_update(set([3, 4, 5]))\r | |
1056 | self.assertEqual(self.set, set([2, 6]))\r | |
1057 | \r | |
1058 | #==============================================================================\r | |
1059 | \r | |
1060 | class TestMutate(unittest.TestCase):\r | |
1061 | def setUp(self):\r | |
1062 | self.values = ["a", "b", "c"]\r | |
1063 | self.set = set(self.values)\r | |
1064 | \r | |
1065 | def test_add_present(self):\r | |
1066 | self.set.add("c")\r | |
1067 | self.assertEqual(self.set, set("abc"))\r | |
1068 | \r | |
1069 | def test_add_absent(self):\r | |
1070 | self.set.add("d")\r | |
1071 | self.assertEqual(self.set, set("abcd"))\r | |
1072 | \r | |
1073 | def test_add_until_full(self):\r | |
1074 | tmp = set()\r | |
1075 | expected_len = 0\r | |
1076 | for v in self.values:\r | |
1077 | tmp.add(v)\r | |
1078 | expected_len += 1\r | |
1079 | self.assertEqual(len(tmp), expected_len)\r | |
1080 | self.assertEqual(tmp, self.set)\r | |
1081 | \r | |
1082 | def test_remove_present(self):\r | |
1083 | self.set.remove("b")\r | |
1084 | self.assertEqual(self.set, set("ac"))\r | |
1085 | \r | |
1086 | def test_remove_absent(self):\r | |
1087 | try:\r | |
1088 | self.set.remove("d")\r | |
1089 | self.fail("Removing missing element should have raised LookupError")\r | |
1090 | except LookupError:\r | |
1091 | pass\r | |
1092 | \r | |
1093 | def test_remove_until_empty(self):\r | |
1094 | expected_len = len(self.set)\r | |
1095 | for v in self.values:\r | |
1096 | self.set.remove(v)\r | |
1097 | expected_len -= 1\r | |
1098 | self.assertEqual(len(self.set), expected_len)\r | |
1099 | \r | |
1100 | def test_discard_present(self):\r | |
1101 | self.set.discard("c")\r | |
1102 | self.assertEqual(self.set, set("ab"))\r | |
1103 | \r | |
1104 | def test_discard_absent(self):\r | |
1105 | self.set.discard("d")\r | |
1106 | self.assertEqual(self.set, set("abc"))\r | |
1107 | \r | |
1108 | def test_clear(self):\r | |
1109 | self.set.clear()\r | |
1110 | self.assertEqual(len(self.set), 0)\r | |
1111 | \r | |
1112 | def test_pop(self):\r | |
1113 | popped = {}\r | |
1114 | while self.set:\r | |
1115 | popped[self.set.pop()] = None\r | |
1116 | self.assertEqual(len(popped), len(self.values))\r | |
1117 | for v in self.values:\r | |
1118 | self.assertIn(v, popped)\r | |
1119 | \r | |
1120 | def test_update_empty_tuple(self):\r | |
1121 | self.set.update(())\r | |
1122 | self.assertEqual(self.set, set(self.values))\r | |
1123 | \r | |
1124 | def test_update_unit_tuple_overlap(self):\r | |
1125 | self.set.update(("a",))\r | |
1126 | self.assertEqual(self.set, set(self.values))\r | |
1127 | \r | |
1128 | def test_update_unit_tuple_non_overlap(self):\r | |
1129 | self.set.update(("a", "z"))\r | |
1130 | self.assertEqual(self.set, set(self.values + ["z"]))\r | |
1131 | \r | |
1132 | #==============================================================================\r | |
1133 | \r | |
1134 | class TestSubsets(unittest.TestCase):\r | |
1135 | \r | |
1136 | case2method = {"<=": "issubset",\r | |
1137 | ">=": "issuperset",\r | |
1138 | }\r | |
1139 | \r | |
1140 | reverse = {"==": "==",\r | |
1141 | "!=": "!=",\r | |
1142 | "<": ">",\r | |
1143 | ">": "<",\r | |
1144 | "<=": ">=",\r | |
1145 | ">=": "<=",\r | |
1146 | }\r | |
1147 | \r | |
1148 | def test_issubset(self):\r | |
1149 | x = self.left\r | |
1150 | y = self.right\r | |
1151 | for case in "!=", "==", "<", "<=", ">", ">=":\r | |
1152 | expected = case in self.cases\r | |
1153 | # Test the binary infix spelling.\r | |
1154 | result = eval("x" + case + "y", locals())\r | |
1155 | self.assertEqual(result, expected)\r | |
1156 | # Test the "friendly" method-name spelling, if one exists.\r | |
1157 | if case in TestSubsets.case2method:\r | |
1158 | method = getattr(x, TestSubsets.case2method[case])\r | |
1159 | result = method(y)\r | |
1160 | self.assertEqual(result, expected)\r | |
1161 | \r | |
1162 | # Now do the same for the operands reversed.\r | |
1163 | rcase = TestSubsets.reverse[case]\r | |
1164 | result = eval("y" + rcase + "x", locals())\r | |
1165 | self.assertEqual(result, expected)\r | |
1166 | if rcase in TestSubsets.case2method:\r | |
1167 | method = getattr(y, TestSubsets.case2method[rcase])\r | |
1168 | result = method(x)\r | |
1169 | self.assertEqual(result, expected)\r | |
1170 | #------------------------------------------------------------------------------\r | |
1171 | \r | |
1172 | class TestSubsetEqualEmpty(TestSubsets):\r | |
1173 | left = set()\r | |
1174 | right = set()\r | |
1175 | name = "both empty"\r | |
1176 | cases = "==", "<=", ">="\r | |
1177 | \r | |
1178 | #------------------------------------------------------------------------------\r | |
1179 | \r | |
1180 | class TestSubsetEqualNonEmpty(TestSubsets):\r | |
1181 | left = set([1, 2])\r | |
1182 | right = set([1, 2])\r | |
1183 | name = "equal pair"\r | |
1184 | cases = "==", "<=", ">="\r | |
1185 | \r | |
1186 | #------------------------------------------------------------------------------\r | |
1187 | \r | |
1188 | class TestSubsetEmptyNonEmpty(TestSubsets):\r | |
1189 | left = set()\r | |
1190 | right = set([1, 2])\r | |
1191 | name = "one empty, one non-empty"\r | |
1192 | cases = "!=", "<", "<="\r | |
1193 | \r | |
1194 | #------------------------------------------------------------------------------\r | |
1195 | \r | |
1196 | class TestSubsetPartial(TestSubsets):\r | |
1197 | left = set([1])\r | |
1198 | right = set([1, 2])\r | |
1199 | name = "one a non-empty proper subset of other"\r | |
1200 | cases = "!=", "<", "<="\r | |
1201 | \r | |
1202 | #------------------------------------------------------------------------------\r | |
1203 | \r | |
1204 | class TestSubsetNonOverlap(TestSubsets):\r | |
1205 | left = set([1])\r | |
1206 | right = set([2])\r | |
1207 | name = "neither empty, neither contains"\r | |
1208 | cases = "!="\r | |
1209 | \r | |
1210 | #==============================================================================\r | |
1211 | \r | |
1212 | class TestOnlySetsInBinaryOps(unittest.TestCase):\r | |
1213 | \r | |
1214 | def test_eq_ne(self):\r | |
1215 | # Unlike the others, this is testing that == and != *are* allowed.\r | |
1216 | self.assertEqual(self.other == self.set, False)\r | |
1217 | self.assertEqual(self.set == self.other, False)\r | |
1218 | self.assertEqual(self.other != self.set, True)\r | |
1219 | self.assertEqual(self.set != self.other, True)\r | |
1220 | \r | |
1221 | def test_ge_gt_le_lt(self):\r | |
1222 | self.assertRaises(TypeError, lambda: self.set < self.other)\r | |
1223 | self.assertRaises(TypeError, lambda: self.set <= self.other)\r | |
1224 | self.assertRaises(TypeError, lambda: self.set > self.other)\r | |
1225 | self.assertRaises(TypeError, lambda: self.set >= self.other)\r | |
1226 | \r | |
1227 | self.assertRaises(TypeError, lambda: self.other < self.set)\r | |
1228 | self.assertRaises(TypeError, lambda: self.other <= self.set)\r | |
1229 | self.assertRaises(TypeError, lambda: self.other > self.set)\r | |
1230 | self.assertRaises(TypeError, lambda: self.other >= self.set)\r | |
1231 | \r | |
1232 | def test_update_operator(self):\r | |
1233 | try:\r | |
1234 | self.set |= self.other\r | |
1235 | except TypeError:\r | |
1236 | pass\r | |
1237 | else:\r | |
1238 | self.fail("expected TypeError")\r | |
1239 | \r | |
1240 | def test_update(self):\r | |
1241 | if self.otherIsIterable:\r | |
1242 | self.set.update(self.other)\r | |
1243 | else:\r | |
1244 | self.assertRaises(TypeError, self.set.update, self.other)\r | |
1245 | \r | |
1246 | def test_union(self):\r | |
1247 | self.assertRaises(TypeError, lambda: self.set | self.other)\r | |
1248 | self.assertRaises(TypeError, lambda: self.other | self.set)\r | |
1249 | if self.otherIsIterable:\r | |
1250 | self.set.union(self.other)\r | |
1251 | else:\r | |
1252 | self.assertRaises(TypeError, self.set.union, self.other)\r | |
1253 | \r | |
1254 | def test_intersection_update_operator(self):\r | |
1255 | try:\r | |
1256 | self.set &= self.other\r | |
1257 | except TypeError:\r | |
1258 | pass\r | |
1259 | else:\r | |
1260 | self.fail("expected TypeError")\r | |
1261 | \r | |
1262 | def test_intersection_update(self):\r | |
1263 | if self.otherIsIterable:\r | |
1264 | self.set.intersection_update(self.other)\r | |
1265 | else:\r | |
1266 | self.assertRaises(TypeError,\r | |
1267 | self.set.intersection_update,\r | |
1268 | self.other)\r | |
1269 | \r | |
1270 | def test_intersection(self):\r | |
1271 | self.assertRaises(TypeError, lambda: self.set & self.other)\r | |
1272 | self.assertRaises(TypeError, lambda: self.other & self.set)\r | |
1273 | if self.otherIsIterable:\r | |
1274 | self.set.intersection(self.other)\r | |
1275 | else:\r | |
1276 | self.assertRaises(TypeError, self.set.intersection, self.other)\r | |
1277 | \r | |
1278 | def test_sym_difference_update_operator(self):\r | |
1279 | try:\r | |
1280 | self.set ^= self.other\r | |
1281 | except TypeError:\r | |
1282 | pass\r | |
1283 | else:\r | |
1284 | self.fail("expected TypeError")\r | |
1285 | \r | |
1286 | def test_sym_difference_update(self):\r | |
1287 | if self.otherIsIterable:\r | |
1288 | self.set.symmetric_difference_update(self.other)\r | |
1289 | else:\r | |
1290 | self.assertRaises(TypeError,\r | |
1291 | self.set.symmetric_difference_update,\r | |
1292 | self.other)\r | |
1293 | \r | |
1294 | def test_sym_difference(self):\r | |
1295 | self.assertRaises(TypeError, lambda: self.set ^ self.other)\r | |
1296 | self.assertRaises(TypeError, lambda: self.other ^ self.set)\r | |
1297 | if self.otherIsIterable:\r | |
1298 | self.set.symmetric_difference(self.other)\r | |
1299 | else:\r | |
1300 | self.assertRaises(TypeError, self.set.symmetric_difference, self.other)\r | |
1301 | \r | |
1302 | def test_difference_update_operator(self):\r | |
1303 | try:\r | |
1304 | self.set -= self.other\r | |
1305 | except TypeError:\r | |
1306 | pass\r | |
1307 | else:\r | |
1308 | self.fail("expected TypeError")\r | |
1309 | \r | |
1310 | def test_difference_update(self):\r | |
1311 | if self.otherIsIterable:\r | |
1312 | self.set.difference_update(self.other)\r | |
1313 | else:\r | |
1314 | self.assertRaises(TypeError,\r | |
1315 | self.set.difference_update,\r | |
1316 | self.other)\r | |
1317 | \r | |
1318 | def test_difference(self):\r | |
1319 | self.assertRaises(TypeError, lambda: self.set - self.other)\r | |
1320 | self.assertRaises(TypeError, lambda: self.other - self.set)\r | |
1321 | if self.otherIsIterable:\r | |
1322 | self.set.difference(self.other)\r | |
1323 | else:\r | |
1324 | self.assertRaises(TypeError, self.set.difference, self.other)\r | |
1325 | \r | |
1326 | #------------------------------------------------------------------------------\r | |
1327 | \r | |
1328 | class TestOnlySetsNumeric(TestOnlySetsInBinaryOps):\r | |
1329 | def setUp(self):\r | |
1330 | self.set = set((1, 2, 3))\r | |
1331 | self.other = 19\r | |
1332 | self.otherIsIterable = False\r | |
1333 | \r | |
1334 | #------------------------------------------------------------------------------\r | |
1335 | \r | |
1336 | class TestOnlySetsDict(TestOnlySetsInBinaryOps):\r | |
1337 | def setUp(self):\r | |
1338 | self.set = set((1, 2, 3))\r | |
1339 | self.other = {1:2, 3:4}\r | |
1340 | self.otherIsIterable = True\r | |
1341 | \r | |
1342 | #------------------------------------------------------------------------------\r | |
1343 | \r | |
1344 | class TestOnlySetsOperator(TestOnlySetsInBinaryOps):\r | |
1345 | def setUp(self):\r | |
1346 | self.set = set((1, 2, 3))\r | |
1347 | self.other = operator.add\r | |
1348 | self.otherIsIterable = False\r | |
1349 | \r | |
1350 | def test_ge_gt_le_lt(self):\r | |
1351 | with test_support.check_py3k_warnings():\r | |
1352 | super(TestOnlySetsOperator, self).test_ge_gt_le_lt()\r | |
1353 | \r | |
1354 | #------------------------------------------------------------------------------\r | |
1355 | \r | |
1356 | class TestOnlySetsTuple(TestOnlySetsInBinaryOps):\r | |
1357 | def setUp(self):\r | |
1358 | self.set = set((1, 2, 3))\r | |
1359 | self.other = (2, 4, 6)\r | |
1360 | self.otherIsIterable = True\r | |
1361 | \r | |
1362 | #------------------------------------------------------------------------------\r | |
1363 | \r | |
1364 | class TestOnlySetsString(TestOnlySetsInBinaryOps):\r | |
1365 | def setUp(self):\r | |
1366 | self.set = set((1, 2, 3))\r | |
1367 | self.other = 'abc'\r | |
1368 | self.otherIsIterable = True\r | |
1369 | \r | |
1370 | #------------------------------------------------------------------------------\r | |
1371 | \r | |
1372 | class TestOnlySetsGenerator(TestOnlySetsInBinaryOps):\r | |
1373 | def setUp(self):\r | |
1374 | def gen():\r | |
1375 | for i in xrange(0, 10, 2):\r | |
1376 | yield i\r | |
1377 | self.set = set((1, 2, 3))\r | |
1378 | self.other = gen()\r | |
1379 | self.otherIsIterable = True\r | |
1380 | \r | |
1381 | #==============================================================================\r | |
1382 | \r | |
1383 | class TestCopying(unittest.TestCase):\r | |
1384 | \r | |
1385 | def test_copy(self):\r | |
1386 | dup = list(self.set.copy())\r | |
1387 | self.assertEqual(len(dup), len(self.set))\r | |
1388 | for el in self.set:\r | |
1389 | self.assertIn(el, dup)\r | |
1390 | pos = dup.index(el)\r | |
1391 | self.assertIs(el, dup.pop(pos))\r | |
1392 | self.assertFalse(dup)\r | |
1393 | \r | |
1394 | def test_deep_copy(self):\r | |
1395 | dup = copy.deepcopy(self.set)\r | |
1396 | self.assertSetEqual(dup, self.set)\r | |
1397 | \r | |
1398 | #------------------------------------------------------------------------------\r | |
1399 | \r | |
1400 | class TestCopyingEmpty(TestCopying):\r | |
1401 | def setUp(self):\r | |
1402 | self.set = set()\r | |
1403 | \r | |
1404 | #------------------------------------------------------------------------------\r | |
1405 | \r | |
1406 | class TestCopyingSingleton(TestCopying):\r | |
1407 | def setUp(self):\r | |
1408 | self.set = set(["hello"])\r | |
1409 | \r | |
1410 | #------------------------------------------------------------------------------\r | |
1411 | \r | |
1412 | class TestCopyingTriple(TestCopying):\r | |
1413 | def setUp(self):\r | |
1414 | self.set = set(["zero", 0, None])\r | |
1415 | \r | |
1416 | #------------------------------------------------------------------------------\r | |
1417 | \r | |
1418 | class TestCopyingTuple(TestCopying):\r | |
1419 | def setUp(self):\r | |
1420 | self.set = set([(1, 2)])\r | |
1421 | \r | |
1422 | #------------------------------------------------------------------------------\r | |
1423 | \r | |
1424 | class TestCopyingNested(TestCopying):\r | |
1425 | def setUp(self):\r | |
1426 | self.set = set([((1, 2), (3, 4))])\r | |
1427 | \r | |
1428 | #==============================================================================\r | |
1429 | \r | |
1430 | class TestIdentities(unittest.TestCase):\r | |
1431 | def setUp(self):\r | |
1432 | self.a = set('abracadabra')\r | |
1433 | self.b = set('alacazam')\r | |
1434 | \r | |
1435 | def test_binopsVsSubsets(self):\r | |
1436 | a, b = self.a, self.b\r | |
1437 | self.assertTrue(a - b < a)\r | |
1438 | self.assertTrue(b - a < b)\r | |
1439 | self.assertTrue(a & b < a)\r | |
1440 | self.assertTrue(a & b < b)\r | |
1441 | self.assertTrue(a | b > a)\r | |
1442 | self.assertTrue(a | b > b)\r | |
1443 | self.assertTrue(a ^ b < a | b)\r | |
1444 | \r | |
1445 | def test_commutativity(self):\r | |
1446 | a, b = self.a, self.b\r | |
1447 | self.assertEqual(a&b, b&a)\r | |
1448 | self.assertEqual(a|b, b|a)\r | |
1449 | self.assertEqual(a^b, b^a)\r | |
1450 | if a != b:\r | |
1451 | self.assertNotEqual(a-b, b-a)\r | |
1452 | \r | |
1453 | def test_summations(self):\r | |
1454 | # check that sums of parts equal the whole\r | |
1455 | a, b = self.a, self.b\r | |
1456 | self.assertEqual((a-b)|(a&b)|(b-a), a|b)\r | |
1457 | self.assertEqual((a&b)|(a^b), a|b)\r | |
1458 | self.assertEqual(a|(b-a), a|b)\r | |
1459 | self.assertEqual((a-b)|b, a|b)\r | |
1460 | self.assertEqual((a-b)|(a&b), a)\r | |
1461 | self.assertEqual((b-a)|(a&b), b)\r | |
1462 | self.assertEqual((a-b)|(b-a), a^b)\r | |
1463 | \r | |
1464 | def test_exclusion(self):\r | |
1465 | # check that inverse operations show non-overlap\r | |
1466 | a, b, zero = self.a, self.b, set()\r | |
1467 | self.assertEqual((a-b)&b, zero)\r | |
1468 | self.assertEqual((b-a)&a, zero)\r | |
1469 | self.assertEqual((a&b)&(a^b), zero)\r | |
1470 | \r | |
1471 | # Tests derived from test_itertools.py =======================================\r | |
1472 | \r | |
1473 | def R(seqn):\r | |
1474 | 'Regular generator'\r | |
1475 | for i in seqn:\r | |
1476 | yield i\r | |
1477 | \r | |
1478 | class G:\r | |
1479 | 'Sequence using __getitem__'\r | |
1480 | def __init__(self, seqn):\r | |
1481 | self.seqn = seqn\r | |
1482 | def __getitem__(self, i):\r | |
1483 | return self.seqn[i]\r | |
1484 | \r | |
1485 | class I:\r | |
1486 | 'Sequence using iterator protocol'\r | |
1487 | def __init__(self, seqn):\r | |
1488 | self.seqn = seqn\r | |
1489 | self.i = 0\r | |
1490 | def __iter__(self):\r | |
1491 | return self\r | |
1492 | def next(self):\r | |
1493 | if self.i >= len(self.seqn): raise StopIteration\r | |
1494 | v = self.seqn[self.i]\r | |
1495 | self.i += 1\r | |
1496 | return v\r | |
1497 | \r | |
1498 | class Ig:\r | |
1499 | 'Sequence using iterator protocol defined with a generator'\r | |
1500 | def __init__(self, seqn):\r | |
1501 | self.seqn = seqn\r | |
1502 | self.i = 0\r | |
1503 | def __iter__(self):\r | |
1504 | for val in self.seqn:\r | |
1505 | yield val\r | |
1506 | \r | |
1507 | class X:\r | |
1508 | 'Missing __getitem__ and __iter__'\r | |
1509 | def __init__(self, seqn):\r | |
1510 | self.seqn = seqn\r | |
1511 | self.i = 0\r | |
1512 | def next(self):\r | |
1513 | if self.i >= len(self.seqn): raise StopIteration\r | |
1514 | v = self.seqn[self.i]\r | |
1515 | self.i += 1\r | |
1516 | return v\r | |
1517 | \r | |
1518 | class N:\r | |
1519 | 'Iterator missing next()'\r | |
1520 | def __init__(self, seqn):\r | |
1521 | self.seqn = seqn\r | |
1522 | self.i = 0\r | |
1523 | def __iter__(self):\r | |
1524 | return self\r | |
1525 | \r | |
1526 | class E:\r | |
1527 | 'Test propagation of exceptions'\r | |
1528 | def __init__(self, seqn):\r | |
1529 | self.seqn = seqn\r | |
1530 | self.i = 0\r | |
1531 | def __iter__(self):\r | |
1532 | return self\r | |
1533 | def next(self):\r | |
1534 | 3 // 0\r | |
1535 | \r | |
1536 | class S:\r | |
1537 | 'Test immediate stop'\r | |
1538 | def __init__(self, seqn):\r | |
1539 | pass\r | |
1540 | def __iter__(self):\r | |
1541 | return self\r | |
1542 | def next(self):\r | |
1543 | raise StopIteration\r | |
1544 | \r | |
1545 | from itertools import chain, imap\r | |
1546 | def L(seqn):\r | |
1547 | 'Test multiple tiers of iterators'\r | |
1548 | return chain(imap(lambda x:x, R(Ig(G(seqn)))))\r | |
1549 | \r | |
1550 | class TestVariousIteratorArgs(unittest.TestCase):\r | |
1551 | \r | |
1552 | def test_constructor(self):\r | |
1553 | for cons in (set, frozenset):\r | |
1554 | for s in ("123", "", range(1000), ('do', 1.2), xrange(2000,2200,5)):\r | |
1555 | for g in (G, I, Ig, S, L, R):\r | |
1556 | self.assertSetEqual(cons(g(s)), set(g(s)))\r | |
1557 | self.assertRaises(TypeError, cons , X(s))\r | |
1558 | self.assertRaises(TypeError, cons , N(s))\r | |
1559 | self.assertRaises(ZeroDivisionError, cons , E(s))\r | |
1560 | \r | |
1561 | def test_inline_methods(self):\r | |
1562 | s = set('november')\r | |
1563 | for data in ("123", "", range(1000), ('do', 1.2), xrange(2000,2200,5), 'december'):\r | |
1564 | for meth in (s.union, s.intersection, s.difference, s.symmetric_difference, s.isdisjoint):\r | |
1565 | for g in (G, I, Ig, L, R):\r | |
1566 | expected = meth(data)\r | |
1567 | actual = meth(G(data))\r | |
1568 | if isinstance(expected, bool):\r | |
1569 | self.assertEqual(actual, expected)\r | |
1570 | else:\r | |
1571 | self.assertSetEqual(actual, expected)\r | |
1572 | self.assertRaises(TypeError, meth, X(s))\r | |
1573 | self.assertRaises(TypeError, meth, N(s))\r | |
1574 | self.assertRaises(ZeroDivisionError, meth, E(s))\r | |
1575 | \r | |
1576 | def test_inplace_methods(self):\r | |
1577 | for data in ("123", "", range(1000), ('do', 1.2), xrange(2000,2200,5), 'december'):\r | |
1578 | for methname in ('update', 'intersection_update',\r | |
1579 | 'difference_update', 'symmetric_difference_update'):\r | |
1580 | for g in (G, I, Ig, S, L, R):\r | |
1581 | s = set('january')\r | |
1582 | t = s.copy()\r | |
1583 | getattr(s, methname)(list(g(data)))\r | |
1584 | getattr(t, methname)(g(data))\r | |
1585 | self.assertSetEqual(s, t)\r | |
1586 | \r | |
1587 | self.assertRaises(TypeError, getattr(set('january'), methname), X(data))\r | |
1588 | self.assertRaises(TypeError, getattr(set('january'), methname), N(data))\r | |
1589 | self.assertRaises(ZeroDivisionError, getattr(set('january'), methname), E(data))\r | |
1590 | \r | |
1591 | class bad_eq:\r | |
1592 | def __eq__(self, other):\r | |
1593 | if be_bad:\r | |
1594 | set2.clear()\r | |
1595 | raise ZeroDivisionError\r | |
1596 | return self is other\r | |
1597 | def __hash__(self):\r | |
1598 | return 0\r | |
1599 | \r | |
1600 | class bad_dict_clear:\r | |
1601 | def __eq__(self, other):\r | |
1602 | if be_bad:\r | |
1603 | dict2.clear()\r | |
1604 | return self is other\r | |
1605 | def __hash__(self):\r | |
1606 | return 0\r | |
1607 | \r | |
1608 | class TestWeirdBugs(unittest.TestCase):\r | |
1609 | def test_8420_set_merge(self):\r | |
1610 | # This used to segfault\r | |
1611 | global be_bad, set2, dict2\r | |
1612 | be_bad = False\r | |
1613 | set1 = {bad_eq()}\r | |
1614 | set2 = {bad_eq() for i in range(75)}\r | |
1615 | be_bad = True\r | |
1616 | self.assertRaises(ZeroDivisionError, set1.update, set2)\r | |
1617 | \r | |
1618 | be_bad = False\r | |
1619 | set1 = {bad_dict_clear()}\r | |
1620 | dict2 = {bad_dict_clear(): None}\r | |
1621 | be_bad = True\r | |
1622 | set1.symmetric_difference_update(dict2)\r | |
1623 | \r | |
1624 | # Application tests (based on David Eppstein's graph recipes ====================================\r | |
1625 | \r | |
1626 | def powerset(U):\r | |
1627 | """Generates all subsets of a set or sequence U."""\r | |
1628 | U = iter(U)\r | |
1629 | try:\r | |
1630 | x = frozenset([U.next()])\r | |
1631 | for S in powerset(U):\r | |
1632 | yield S\r | |
1633 | yield S | x\r | |
1634 | except StopIteration:\r | |
1635 | yield frozenset()\r | |
1636 | \r | |
1637 | def cube(n):\r | |
1638 | """Graph of n-dimensional hypercube."""\r | |
1639 | singletons = [frozenset([x]) for x in range(n)]\r | |
1640 | return dict([(x, frozenset([x^s for s in singletons]))\r | |
1641 | for x in powerset(range(n))])\r | |
1642 | \r | |
1643 | def linegraph(G):\r | |
1644 | """Graph, the vertices of which are edges of G,\r | |
1645 | with two vertices being adjacent iff the corresponding\r | |
1646 | edges share a vertex."""\r | |
1647 | L = {}\r | |
1648 | for x in G:\r | |
1649 | for y in G[x]:\r | |
1650 | nx = [frozenset([x,z]) for z in G[x] if z != y]\r | |
1651 | ny = [frozenset([y,z]) for z in G[y] if z != x]\r | |
1652 | L[frozenset([x,y])] = frozenset(nx+ny)\r | |
1653 | return L\r | |
1654 | \r | |
1655 | def faces(G):\r | |
1656 | 'Return a set of faces in G. Where a face is a set of vertices on that face'\r | |
1657 | # currently limited to triangles,squares, and pentagons\r | |
1658 | f = set()\r | |
1659 | for v1, edges in G.items():\r | |
1660 | for v2 in edges:\r | |
1661 | for v3 in G[v2]:\r | |
1662 | if v1 == v3:\r | |
1663 | continue\r | |
1664 | if v1 in G[v3]:\r | |
1665 | f.add(frozenset([v1, v2, v3]))\r | |
1666 | else:\r | |
1667 | for v4 in G[v3]:\r | |
1668 | if v4 == v2:\r | |
1669 | continue\r | |
1670 | if v1 in G[v4]:\r | |
1671 | f.add(frozenset([v1, v2, v3, v4]))\r | |
1672 | else:\r | |
1673 | for v5 in G[v4]:\r | |
1674 | if v5 == v3 or v5 == v2:\r | |
1675 | continue\r | |
1676 | if v1 in G[v5]:\r | |
1677 | f.add(frozenset([v1, v2, v3, v4, v5]))\r | |
1678 | return f\r | |
1679 | \r | |
1680 | \r | |
1681 | class TestGraphs(unittest.TestCase):\r | |
1682 | \r | |
1683 | def test_cube(self):\r | |
1684 | \r | |
1685 | g = cube(3) # vert --> {v1, v2, v3}\r | |
1686 | vertices1 = set(g)\r | |
1687 | self.assertEqual(len(vertices1), 8) # eight vertices\r | |
1688 | for edge in g.values():\r | |
1689 | self.assertEqual(len(edge), 3) # each vertex connects to three edges\r | |
1690 | vertices2 = set(v for edges in g.values() for v in edges)\r | |
1691 | self.assertEqual(vertices1, vertices2) # edge vertices in original set\r | |
1692 | \r | |
1693 | cubefaces = faces(g)\r | |
1694 | self.assertEqual(len(cubefaces), 6) # six faces\r | |
1695 | for face in cubefaces:\r | |
1696 | self.assertEqual(len(face), 4) # each face is a square\r | |
1697 | \r | |
1698 | def test_cuboctahedron(self):\r | |
1699 | \r | |
1700 | # http://en.wikipedia.org/wiki/Cuboctahedron\r | |
1701 | # 8 triangular faces and 6 square faces\r | |
1702 | # 12 indentical vertices each connecting a triangle and square\r | |
1703 | \r | |
1704 | g = cube(3)\r | |
1705 | cuboctahedron = linegraph(g) # V( --> {V1, V2, V3, V4}\r | |
1706 | self.assertEqual(len(cuboctahedron), 12)# twelve vertices\r | |
1707 | \r | |
1708 | vertices = set(cuboctahedron)\r | |
1709 | for edges in cuboctahedron.values():\r | |
1710 | self.assertEqual(len(edges), 4) # each vertex connects to four other vertices\r | |
1711 | othervertices = set(edge for edges in cuboctahedron.values() for edge in edges)\r | |
1712 | self.assertEqual(vertices, othervertices) # edge vertices in original set\r | |
1713 | \r | |
1714 | cubofaces = faces(cuboctahedron)\r | |
1715 | facesizes = collections.defaultdict(int)\r | |
1716 | for face in cubofaces:\r | |
1717 | facesizes[len(face)] += 1\r | |
1718 | self.assertEqual(facesizes[3], 8) # eight triangular faces\r | |
1719 | self.assertEqual(facesizes[4], 6) # six square faces\r | |
1720 | \r | |
1721 | for vertex in cuboctahedron:\r | |
1722 | edge = vertex # Cuboctahedron vertices are edges in Cube\r | |
1723 | self.assertEqual(len(edge), 2) # Two cube vertices define an edge\r | |
1724 | for cubevert in edge:\r | |
1725 | self.assertIn(cubevert, g)\r | |
1726 | \r | |
1727 | \r | |
1728 | #==============================================================================\r | |
1729 | \r | |
1730 | def test_main(verbose=None):\r | |
1731 | test_classes = (\r | |
1732 | TestSet,\r | |
1733 | TestSetSubclass,\r | |
1734 | TestSetSubclassWithKeywordArgs,\r | |
1735 | TestFrozenSet,\r | |
1736 | TestFrozenSetSubclass,\r | |
1737 | TestSetOfSets,\r | |
1738 | TestExceptionPropagation,\r | |
1739 | TestBasicOpsEmpty,\r | |
1740 | TestBasicOpsSingleton,\r | |
1741 | TestBasicOpsTuple,\r | |
1742 | TestBasicOpsTriple,\r | |
1743 | TestBinaryOps,\r | |
1744 | TestUpdateOps,\r | |
1745 | TestMutate,\r | |
1746 | TestSubsetEqualEmpty,\r | |
1747 | TestSubsetEqualNonEmpty,\r | |
1748 | TestSubsetEmptyNonEmpty,\r | |
1749 | TestSubsetPartial,\r | |
1750 | TestSubsetNonOverlap,\r | |
1751 | TestOnlySetsNumeric,\r | |
1752 | TestOnlySetsDict,\r | |
1753 | TestOnlySetsOperator,\r | |
1754 | TestOnlySetsTuple,\r | |
1755 | TestOnlySetsString,\r | |
1756 | TestOnlySetsGenerator,\r | |
1757 | TestCopyingEmpty,\r | |
1758 | TestCopyingSingleton,\r | |
1759 | TestCopyingTriple,\r | |
1760 | TestCopyingTuple,\r | |
1761 | TestCopyingNested,\r | |
1762 | TestIdentities,\r | |
1763 | TestVariousIteratorArgs,\r | |
1764 | TestGraphs,\r | |
1765 | TestWeirdBugs,\r | |
1766 | )\r | |
1767 | \r | |
1768 | test_support.run_unittest(*test_classes)\r | |
1769 | \r | |
1770 | # verify reference counting\r | |
1771 | if verbose and hasattr(sys, "gettotalrefcount"):\r | |
1772 | import gc\r | |
1773 | counts = [None] * 5\r | |
1774 | for i in xrange(len(counts)):\r | |
1775 | test_support.run_unittest(*test_classes)\r | |
1776 | gc.collect()\r | |
1777 | counts[i] = sys.gettotalrefcount()\r | |
1778 | print counts\r | |
1779 | \r | |
1780 | if __name__ == "__main__":\r | |
1781 | test_main(verbose=True)\r |