2008-02-04 20:20:01 -04:00
|
|
|
# Access WeakSet through the weakref module.
|
|
|
|
# This code is separated-out because it is needed
|
|
|
|
# by abc.py to load everything else at startup.
|
|
|
|
|
|
|
|
from _weakref import ref
|
|
|
|
|
|
|
|
__all__ = ['WeakSet']
|
|
|
|
|
2010-01-08 13:56:16 -04:00
|
|
|
|
|
|
|
class _IterationGuard:
|
|
|
|
# This context manager registers itself in the current iterators of the
|
|
|
|
# weak container, such as to delay all removals until the context manager
|
|
|
|
# exits.
|
|
|
|
# This technique should be relatively thread-safe (since sets are).
|
|
|
|
|
|
|
|
def __init__(self, weakcontainer):
|
|
|
|
# Don't create cycles
|
|
|
|
self.weakcontainer = ref(weakcontainer)
|
|
|
|
|
|
|
|
def __enter__(self):
|
|
|
|
w = self.weakcontainer()
|
|
|
|
if w is not None:
|
|
|
|
w._iterating.add(self)
|
|
|
|
return self
|
|
|
|
|
|
|
|
def __exit__(self, e, t, b):
|
|
|
|
w = self.weakcontainer()
|
|
|
|
if w is not None:
|
|
|
|
s = w._iterating
|
|
|
|
s.remove(self)
|
|
|
|
if not s:
|
|
|
|
w._commit_removals()
|
|
|
|
|
|
|
|
|
2008-02-04 20:20:01 -04:00
|
|
|
class WeakSet:
|
|
|
|
def __init__(self, data=None):
|
|
|
|
self.data = set()
|
|
|
|
def _remove(item, selfref=ref(self)):
|
|
|
|
self = selfref()
|
|
|
|
if self is not None:
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._iterating:
|
|
|
|
self._pending_removals.append(item)
|
|
|
|
else:
|
|
|
|
self.data.discard(item)
|
2008-02-04 20:20:01 -04:00
|
|
|
self._remove = _remove
|
2010-01-08 13:56:16 -04:00
|
|
|
# A list of keys to be removed
|
|
|
|
self._pending_removals = []
|
|
|
|
self._iterating = set()
|
2008-02-04 20:20:01 -04:00
|
|
|
if data is not None:
|
|
|
|
self.update(data)
|
|
|
|
|
2010-01-08 13:56:16 -04:00
|
|
|
def _commit_removals(self):
|
|
|
|
l = self._pending_removals
|
|
|
|
discard = self.data.discard
|
|
|
|
while l:
|
|
|
|
discard(l.pop())
|
|
|
|
|
2008-02-04 20:20:01 -04:00
|
|
|
def __iter__(self):
|
2010-01-08 13:56:16 -04:00
|
|
|
with _IterationGuard(self):
|
|
|
|
for itemref in self.data:
|
|
|
|
item = itemref()
|
|
|
|
if item is not None:
|
|
|
|
yield item
|
2008-02-04 20:20:01 -04:00
|
|
|
|
2008-05-18 13:27:29 -03:00
|
|
|
def __len__(self):
|
|
|
|
return sum(x() is not None for x in self.data)
|
|
|
|
|
2008-02-04 20:20:01 -04:00
|
|
|
def __contains__(self, item):
|
Merged revisions 86537,86867-86868,86881,86887,86913-86915,86931-86933,86960,86964,86974,86980,86996,87008,87050 via svnmerge from
svn+ssh://svn.python.org/python/branches/py3k
........
r86537 | georg.brandl | 2010-11-19 23:09:04 +0100 (Fr, 19 Nov 2010) | 1 line
Do not put a raw REPLACEMENT CHARACTER in the document.
........
r86867 | georg.brandl | 2010-11-29 15:50:54 +0100 (Mo, 29 Nov 2010) | 1 line
Fix indentation bug.
........
r86868 | georg.brandl | 2010-11-29 15:53:15 +0100 (Mo, 29 Nov 2010) | 1 line
Fix heading style inconsistencies.
........
r86881 | georg.brandl | 2010-11-30 08:43:28 +0100 (Di, 30 Nov 2010) | 1 line
#10584: fix bad links.
........
r86887 | georg.brandl | 2010-11-30 15:57:54 +0100 (Di, 30 Nov 2010) | 1 line
Fix typo.
........
r86913 | georg.brandl | 2010-12-01 16:32:43 +0100 (Mi, 01 Dez 2010) | 1 line
Add missing word, and add a better reference to the actual function.
........
r86914 | georg.brandl | 2010-12-01 16:36:33 +0100 (Mi, 01 Dez 2010) | 1 line
#10594: fix parameter names in PyList API docs.
........
r86915 | georg.brandl | 2010-12-01 16:44:25 +0100 (Mi, 01 Dez 2010) | 1 line
Fix some markup and style in the unittest docs.
........
r86931 | georg.brandl | 2010-12-02 10:06:12 +0100 (Do, 02 Dez 2010) | 1 line
Fix-up documentation of makedirs().
........
r86932 | david.malcolm | 2010-12-02 17:41:00 +0100 (Do, 02 Dez 2010) | 2 lines
Fix spelling of Jamie Zawinski's surname in urllib.parse docstring (issue 10606)
........
r86933 | georg.brandl | 2010-12-02 19:02:01 +0100 (Do, 02 Dez 2010) | 1 line
#10597: fix Py_SetPythonHome docs by pointing to where the meaning of PYTHONHOME is already documented.
........
r86960 | georg.brandl | 2010-12-03 08:55:44 +0100 (Fr, 03 Dez 2010) | 1 line
#10360: catch TypeError in WeakSet.__contains__, just like WeakKeyDictionary does.
........
r86964 | georg.brandl | 2010-12-03 10:58:38 +0100 (Fr, 03 Dez 2010) | 1 line
#10549: fix interface of docclass() for text documenter.
........
r86974 | georg.brandl | 2010-12-03 16:30:09 +0100 (Fr, 03 Dez 2010) | 1 line
Markup consistency fixes.
........
r86980 | georg.brandl | 2010-12-03 18:19:27 +0100 (Fr, 03 Dez 2010) | 1 line
Fix punctuation.
........
r86996 | georg.brandl | 2010-12-03 20:56:42 +0100 (Fr, 03 Dez 2010) | 1 line
Fix indentation.
........
r87008 | georg.brandl | 2010-12-04 10:04:04 +0100 (Sa, 04 Dez 2010) | 1 line
Fix typo.
........
r87050 | georg.brandl | 2010-12-04 18:09:30 +0100 (Sa, 04 Dez 2010) | 1 line
Fix typo.
........
2011-02-25 05:48:21 -04:00
|
|
|
try:
|
|
|
|
wr = ref(item)
|
|
|
|
except TypeError:
|
|
|
|
return False
|
|
|
|
return wr in self.data
|
2008-02-04 20:20:01 -04:00
|
|
|
|
|
|
|
def __reduce__(self):
|
|
|
|
return (self.__class__, (list(self),),
|
|
|
|
getattr(self, '__dict__', None))
|
|
|
|
|
|
|
|
def add(self, item):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-02-04 20:20:01 -04:00
|
|
|
self.data.add(ref(item, self._remove))
|
|
|
|
|
|
|
|
def clear(self):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-02-04 20:20:01 -04:00
|
|
|
self.data.clear()
|
|
|
|
|
|
|
|
def copy(self):
|
|
|
|
return self.__class__(self)
|
|
|
|
|
|
|
|
def pop(self):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-02-04 20:20:01 -04:00
|
|
|
while True:
|
2008-05-18 04:46:13 -03:00
|
|
|
try:
|
|
|
|
itemref = self.data.pop()
|
|
|
|
except KeyError:
|
|
|
|
raise KeyError('pop from empty WeakSet')
|
2008-02-04 20:20:01 -04:00
|
|
|
item = itemref()
|
|
|
|
if item is not None:
|
|
|
|
return item
|
|
|
|
|
|
|
|
def remove(self, item):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-02-04 20:20:01 -04:00
|
|
|
self.data.remove(ref(item))
|
|
|
|
|
|
|
|
def discard(self, item):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-02-04 20:20:01 -04:00
|
|
|
self.data.discard(ref(item))
|
|
|
|
|
|
|
|
def update(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-02-04 20:20:01 -04:00
|
|
|
if isinstance(other, self.__class__):
|
|
|
|
self.data.update(other.data)
|
|
|
|
else:
|
|
|
|
for element in other:
|
|
|
|
self.add(element)
|
2010-01-08 13:56:16 -04:00
|
|
|
|
2008-05-18 13:27:29 -03:00
|
|
|
def __ior__(self, other):
|
|
|
|
self.update(other)
|
|
|
|
return self
|
2008-02-04 20:20:01 -04:00
|
|
|
|
|
|
|
# Helper functions for simple delegating methods.
|
|
|
|
def _apply(self, other, method):
|
|
|
|
if not isinstance(other, self.__class__):
|
|
|
|
other = self.__class__(other)
|
|
|
|
newdata = method(other.data)
|
|
|
|
newset = self.__class__()
|
|
|
|
newset.data = newdata
|
|
|
|
return newset
|
|
|
|
|
|
|
|
def difference(self, other):
|
|
|
|
return self._apply(other, self.data.difference)
|
|
|
|
__sub__ = difference
|
|
|
|
|
|
|
|
def difference_update(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-05-18 13:27:29 -03:00
|
|
|
if self is other:
|
|
|
|
self.data.clear()
|
|
|
|
else:
|
|
|
|
self.data.difference_update(ref(item) for item in other)
|
|
|
|
def __isub__(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-05-18 13:27:29 -03:00
|
|
|
if self is other:
|
|
|
|
self.data.clear()
|
|
|
|
else:
|
|
|
|
self.data.difference_update(ref(item) for item in other)
|
|
|
|
return self
|
2008-02-04 20:20:01 -04:00
|
|
|
|
|
|
|
def intersection(self, other):
|
|
|
|
return self._apply(other, self.data.intersection)
|
|
|
|
__and__ = intersection
|
|
|
|
|
|
|
|
def intersection_update(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-05-18 13:27:29 -03:00
|
|
|
self.data.intersection_update(ref(item) for item in other)
|
|
|
|
def __iand__(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-05-18 13:27:29 -03:00
|
|
|
self.data.intersection_update(ref(item) for item in other)
|
|
|
|
return self
|
2008-02-04 20:20:01 -04:00
|
|
|
|
|
|
|
def issubset(self, other):
|
|
|
|
return self.data.issubset(ref(item) for item in other)
|
|
|
|
__lt__ = issubset
|
|
|
|
|
2008-05-18 13:27:29 -03:00
|
|
|
def __le__(self, other):
|
|
|
|
return self.data <= set(ref(item) for item in other)
|
|
|
|
|
2008-02-04 20:20:01 -04:00
|
|
|
def issuperset(self, other):
|
|
|
|
return self.data.issuperset(ref(item) for item in other)
|
|
|
|
__gt__ = issuperset
|
|
|
|
|
2008-05-18 13:27:29 -03:00
|
|
|
def __ge__(self, other):
|
|
|
|
return self.data >= set(ref(item) for item in other)
|
|
|
|
|
|
|
|
def __eq__(self, other):
|
2009-05-17 14:32:20 -03:00
|
|
|
if not isinstance(other, self.__class__):
|
|
|
|
return NotImplemented
|
2008-05-18 13:27:29 -03:00
|
|
|
return self.data == set(ref(item) for item in other)
|
|
|
|
|
2008-02-04 20:20:01 -04:00
|
|
|
def symmetric_difference(self, other):
|
|
|
|
return self._apply(other, self.data.symmetric_difference)
|
|
|
|
__xor__ = symmetric_difference
|
|
|
|
|
|
|
|
def symmetric_difference_update(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-05-18 13:27:29 -03:00
|
|
|
if self is other:
|
|
|
|
self.data.clear()
|
|
|
|
else:
|
|
|
|
self.data.symmetric_difference_update(ref(item) for item in other)
|
|
|
|
def __ixor__(self, other):
|
2010-01-08 13:56:16 -04:00
|
|
|
if self._pending_removals:
|
|
|
|
self._commit_removals()
|
2008-05-18 13:27:29 -03:00
|
|
|
if self is other:
|
|
|
|
self.data.clear()
|
|
|
|
else:
|
|
|
|
self.data.symmetric_difference_update(ref(item) for item in other)
|
|
|
|
return self
|
2008-02-04 20:20:01 -04:00
|
|
|
|
|
|
|
def union(self, other):
|
2008-05-18 04:46:13 -03:00
|
|
|
return self._apply(other, self.data.union)
|
2008-02-04 20:20:01 -04:00
|
|
|
__or__ = union
|
2008-05-18 13:27:29 -03:00
|
|
|
|
|
|
|
def isdisjoint(self, other):
|
|
|
|
return len(self.intersection(other)) == 0
|