Method ensure_loaded

atomic-core/src/apply/graph_batch.rs:55–72

Ensure all of `change_id`'s spans are loaded into the in-memory index. Runs a single GRAPH range scan the first time a change is queried; later calls are no-ops. Writes during the batch keep the set current via [`VertexSpanIndex::note_write`], so the scan never has to be repeated.

(&self, change_id: u64)

    /// calls are no-ops. Writes during the batch keep the set current via
    /// [`VertexSpanIndex::note_write`], so the scan never has to be repeated.
    fn ensure_loaded(&self, change_id: u64) -> PristineResult<()> {
        if self.index.borrow().contains_change(change_id) {
            return Ok(());
        }
        let start_key = encode_vertex(change_id, 0, 0);
        let end_key = encode_vertex(change_id, u64::MAX, u64::MAX);
        let mut set = BTreeSet::new();
        for result in self.graph.range::<&[u8; 24]>(&start_key..=&end_key)? {
            let (key, _) = result?;
            let (v_change, v_start, v_end) = decode_vertex(key.value());
            if v_change != change_id {
                continue;
            }
            set.insert((v_start, v_end));
        }
        self.index.borrow_mut().insert_change(change_id, set);
        Ok(())
    }

    pub fn put_graph(
        &mut self,