Function is_file_only_on_view

atomic-repository/src/repository/insert.rs:26–68

Check whether a file's creating change exists ONLY on the given view (and no other view). Returns `true` when it is safe to remove the file's TREE / INODES entries because no other view needs them. When the inode has no INODES position (not yet recorded) the function returns `true` — there is nothing to protect. # Complexity O(S × log C) where S is the number of views and C is the number of ch

(
    txn: &T,
    inode: Inode,
    current_view: &str,
)

/// on `REV_STACK_CHANGES` via [`ViewTxnT::get_change_seq`], rather than
/// linearly scanning the entire change log.
fn is_file_only_on_view<T: GraphTxnT + ViewTxnT + TreeTxnT>(
    txn: &T,
    inode: Inode,
    current_view: &str,
) -> bool {
    // Look up the position for this inode.  If there is no position the
    // file was never recorded, so removing from TREE is safe.
    let position = match txn.inode_position(inode) {
        Ok(Some(pos)) => pos,
        _ => return true,
    };

    let creating_change = position.change;
    if creating_change.is_root() {
        return true;
    }

    // Walk every view and check whether the creating change appears on
    // any view OTHER than `current_view`.
    let view_names = match txn.list_views() {
        Ok(names) => names,
        Err(_) => return true,
    };

    for name in view_names {
        if name == current_view {
            continue;
        }
        let view = match txn.get_view(&name) {
            Ok(Some(s)) => s,
            _ => continue,
        };
        // O(log C) B-tree lookup on REV_STACK_CHANGES instead of
        // iterating the entire change log.
        if let Ok(Some(_seq)) = txn.get_change_seq(&view, creating_change) {
            // Another view still references this file — not safe to remove.
            return false;
        }
    }

    // No other view references the creating change.
    true
}

/// Timing details for the git-import fresh-write path.
#[derive(Debug, Clone, Copy, Default)]