test_set.py 61 KB

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