1993-11-30 13:43:54 +00:00
|
|
|
# A more or less complete user-defined wrapper around list objects
|
|
|
|
|
|
|
|
class UserList:
|
1994-08-01 11:34:53 +00:00
|
|
|
def __init__(self, list = None):
|
1993-11-30 13:43:54 +00:00
|
|
|
self.data = []
|
1994-08-01 11:34:53 +00:00
|
|
|
if list is not None:
|
1993-11-30 13:43:54 +00:00
|
|
|
if type(list) == type(self.data):
|
|
|
|
self.data[:] = list
|
|
|
|
else:
|
|
|
|
self.data[:] = list.data[:]
|
|
|
|
def __repr__(self): return repr(self.data)
|
|
|
|
def __cmp__(self, list):
|
|
|
|
if type(list) == type(self.data):
|
|
|
|
return cmp(self.data, list)
|
|
|
|
else:
|
|
|
|
return cmp(self.data, list.data)
|
|
|
|
def __len__(self): return len(self.data)
|
|
|
|
def __getitem__(self, i): return self.data[i]
|
|
|
|
def __setitem__(self, i, item): self.data[i] = item
|
|
|
|
def __delitem__(self, i): del self.data[i]
|
|
|
|
def __getslice__(self, i, j):
|
1998-12-09 22:15:01 +00:00
|
|
|
userlist = self.__class__()
|
1993-11-30 13:43:54 +00:00
|
|
|
userlist.data[:] = self.data[i:j]
|
|
|
|
return userlist
|
|
|
|
def __setslice__(self, i, j, list):
|
|
|
|
if type(list) == type(self.data):
|
|
|
|
self.data[i:j] = list
|
|
|
|
else:
|
|
|
|
self.data[i:j] = list.data
|
|
|
|
def __delslice__(self, i, j): del self.data[i:j]
|
1996-05-28 22:56:16 +00:00
|
|
|
def __add__(self, list):
|
|
|
|
if type(list) == type(self.data):
|
|
|
|
return self.__class__(self.data + list)
|
|
|
|
else:
|
|
|
|
return self.__class__(self.data + list.data)
|
|
|
|
def __radd__(self, list):
|
|
|
|
if type(list) == type(self.data):
|
|
|
|
return self.__class__(list + self.data)
|
|
|
|
else:
|
|
|
|
return self.__class__(list.data + self.data)
|
|
|
|
def __mul__(self, n):
|
|
|
|
return self.__class__(self.data*n)
|
|
|
|
__rmul__ = __mul__
|
1993-11-30 13:43:54 +00:00
|
|
|
def append(self, item): self.data.append(item)
|
|
|
|
def insert(self, i, item): self.data.insert(i, item)
|
1998-06-30 15:40:05 +00:00
|
|
|
def pop(self, i=-1): return self.data.pop(i)
|
1993-11-30 13:43:54 +00:00
|
|
|
def remove(self, item): self.data.remove(item)
|
|
|
|
def count(self, item): return self.data.count(item)
|
|
|
|
def index(self, item): return self.data.index(item)
|
|
|
|
def reverse(self): self.data.reverse()
|
|
|
|
def sort(self, *args): apply(self.data.sort, args)
|
1999-01-06 12:49:24 +00:00
|
|
|
def extend(self, list): self.data.extend(list)
|