equal
deleted
inserted
replaced
15 mapping = {} |
15 mapping = {} |
16 if flags is None: |
16 if flags is None: |
17 flags = {} |
17 flags = {} |
18 dict.__init__(self, mapping) |
18 dict.__init__(self, mapping) |
19 self._flags = flags |
19 self._flags = flags |
|
20 def __setitem__(self, k, v): |
|
21 assert v is not None |
|
22 dict.__setitem__(self, k, v) |
20 def flags(self, f): |
23 def flags(self, f): |
21 return self._flags.get(f, "") |
24 return self._flags.get(f, "") |
22 def withflags(self): |
25 def withflags(self): |
23 return set(self._flags.keys()) |
26 return set(self._flags.keys()) |
24 def setflag(self, f, flags): |
27 def setflag(self, f, flags): |