Method del_view

atomic-core/src/pristine/txn/write/mod.rs:1368–1446

(&mut self, view: &ViewState)

    }

    fn del_view(&mut self, view: &ViewState) -> PristineResult<()> {
        // Guard: Shared views cannot be deleted (they own global GRAPH edges).
        if view.kind.is_shared() {
            return Err(PristineError::CannotDeleteSharedView {
                name: view.name.clone(),
            });
        }

        // Guard: Check for child views that reference this view as parent.
        // Deleting a parent would leave children with a dangling parent pointer.
        let children = ViewTxnT::get_children_views(self, view.id)?;
        if !children.is_empty() {
            let child_names: Vec<String> = children.iter().map(|c| c.name.clone()).collect();
            return Err(PristineError::ViewHasChildren {
                name: view.name.clone(),
                children: child_names,
            });
        }

        // Remove from VIEWS table
        {
            let mut table = self.txn.open_table(VIEWS)?;
            table.remove(view.name.as_str())?;
        }

        // Remove all change log entries for this view
        {
            let mut table = self.txn.open_table(VIEW_CHANGES)?;
            for seq in 0..view.change_count {
                let key = encode_view_seq(view.id, seq);
                table.remove(&key)?;
            }
        }

        // Remove all reverse change log entries
        {
            let mut rev_table = self.txn.open_table(REV_VIEW_CHANGES)?;
            let table = self.txn.open_table(VIEW_CHANGES)?;
            for seq in 0..view.change_count {
                let key = encode_view_seq(view.id, seq);
                if let Some(change_id) = table.get(&key)? {
                    let rev_key = encode_view_seq(view.id, change_id.value());
                    rev_table.remove(&rev_key)?;
                }
            }
        }

        // Remove all state/sequence mappings from STATES table
        {
            let mut table = self.txn.open_table(STATES)?;
            let merkle_table = self.txn.open_table(MERKLE_CHAIN)?;
            for seq in 0..view.change_count {
                let key = encode_view_seq(view.id, seq);
                if let Some(merkle_bytes) = merkle_table.get(&key)? {
                    let merkle = merkle_bytes.value();
                    let state_key = encode_view_merkle(view.id, merkle);
                    table.remove(&state_key)?;
                }