| 139 | |
| 140 | |
| 141 | class _ReplayPipe(ReplayObservable): |
| 142 | def __init__(self, source_observable): |
| 143 | super().__init__() |
| 144 | self.source = source_observable |
| 145 | self.source.subscribe(self) |
| 146 | |
| 147 | def push(self, data: T): |
| 148 | raise RuntimeError('Piped observable is read-only') |
| 149 | |
| 150 | def close(self): |
| 151 | raise RuntimeError('Piped observable is read-only') |
| 152 | |
| 153 | def on_next(self, data): |
| 154 | self._push(data) |
| 155 | |
| 156 | def on_close(self): |
| 157 | self._close() |
| 158 | |
| 159 | def dispose(self): |
| 160 | self.source.subscribe_on_close(self._defer_dispose) |
| 161 | |
| 162 | def _defer_dispose(self): |
| 163 | self.source.unsubscribe(self) |
| 164 | super().dispose() |
| 165 | |
| 166 | |
| 167 | class _MappedPipe(PipedObservable): |