(self)
| 67 | return rv |
| 68 | |
| 69 | def copy(self): |
| 70 | rv = object.__new__(self.__class__) |
| 71 | rv.__dict__.update(self.__dict__) |
| 72 | rv.refs = self.refs.copy() |
| 73 | rv.loads = self.loads.copy() |
| 74 | rv.stores = self.stores.copy() |
| 75 | return rv |
| 76 | |
| 77 | def store(self, name): |
| 78 | self.stores.add(name) |