Record a newly written span for an already-tracked change. Untracked changes are skipped: they will be fully loaded from storage (which already contains this write) the first time they are queried.
(&mut self, change_id: u64, start: u64, end: u64)
| 36 | /// Untracked changes are skipped: they will be fully loaded from storage |
| 37 | /// (which already contains this write) the first time they are queried. |
| 38 | pub(crate) fn note_write(&mut self, change_id: u64, start: u64, end: u64) { |
| 39 | if let Some(set) = self.spans.get_mut(&change_id) { |
| 40 | set.insert((start, end)); |
| 41 | } |
| 42 | } |
| 43 | |
| 44 | /// Resolve the span containing `target` (preferring a non-empty span over |
| 45 | /// an empty marker), if this change is loaded. |