oxirs-core 0.2.4

//! Named Graph Transaction Support
//!
//! This module provides transactional operations specifically for named graphs,
//! integrating MVCC and ACID guarantees with graph-level operations.
//!
//! Features:
//! - Atomic multi-graph operations
//! - Graph-level isolation
//! - MVCC snapshot isolation per graph
//! - Efficient graph cloning and merging

use super::{AcidTransaction, IsolationLevel, TransactionId, TransactionState};
use crate::model::{GraphName, NamedNode, Object, Predicate, Quad, Subject};
use crate::OxirsError;
use ahash::{AHashMap, AHashSet};
use std::sync::{Arc, RwLock};

/// Named graph transaction that extends ACID transactions with graph-specific operations
pub struct NamedGraphTransaction {
    /// Underlying ACID transaction
    inner: AcidTransaction,
    /// Per-graph operation tracking
    graph_operations: AHashMap<GraphName, GraphOperations>,
    /// Graph-level locks (for serializable isolation)
    graph_locks: Arc<RwLock<AHashSet<GraphName>>>,
}

/// Operations performed on a specific graph
#[derive(Debug, Clone, Default)]
struct GraphOperations {
    /// Quads inserted into this graph
    inserts: Vec<Quad>,
    /// Quads deleted from this graph
    deletes: Vec<Quad>,
    /// Whether the entire graph was cleared
    cleared: bool,
    /// Whether the graph was created
    created: bool,
    /// Whether the graph was dropped
    dropped: bool,
}

impl NamedGraphTransaction {
    /// Create a new named graph transaction
    pub(super) fn new(
        inner: AcidTransaction,
        graph_locks: Arc<RwLock<AHashSet<GraphName>>>,
    ) -> Self {
        Self {
            inner,
            graph_operations: AHashMap::new(),
            graph_locks,
        }
    }

    /// Get the transaction ID
    pub fn id(&self) -> TransactionId {
        self.inner.id()
    }

    /// Get the transaction state
    pub fn state(&self) -> TransactionState {
        self.inner.state()
    }

    /// Get the isolation level
    pub fn isolation(&self) -> IsolationLevel {
        self.inner.isolation()
    }

    /// Insert a quad into a named graph
    pub fn insert_into_graph(
        &mut self,
        graph: GraphName,
        subject: Subject,
        predicate: Predicate,
        object: Object,
    ) -> Result<bool, OxirsError> {
        // Create quad with the specified graph
        let quad = Quad::new(subject, predicate, object, graph.clone());

        // Track the operation
        let ops = self.graph_operations.entry(graph).or_default();
        ops.inserts.push(quad.clone());

        // Delegate to underlying transaction
        self.inner.insert(quad)
    }

    /// Delete a quad from a named graph
    pub fn delete_from_graph(
        &mut self,
        graph: GraphName,
        subject: Subject,
        predicate: Predicate,
        object: Object,
    ) -> Result<bool, OxirsError> {
        // Create quad with the specified graph
        let quad = Quad::new(subject, predicate, object, graph.clone());

        // Track the operation
        let ops = self.graph_operations.entry(graph).or_default();
        ops.deletes.push(quad.clone());

        // Delegate to underlying transaction
        self.inner.delete(quad)
    }

    /// Clear all quads from a named graph
    pub fn clear_graph(&mut self, graph: GraphName) -> Result<usize, OxirsError> {
        // Track the operation
        let ops = self.graph_operations.entry(graph.clone()).or_default();
        ops.cleared = true;

        // In practice, you would query all quads in the graph and delete them
        // For now, we return a placeholder
        Ok(0)
    }

    /// Create a new named graph
    pub fn create_graph(&mut self, graph: NamedNode) -> Result<(), OxirsError> {
        let graph_name = GraphName::NamedNode(graph);

        // Track the operation
        let ops = self.graph_operations.entry(graph_name).or_default();
        if ops.dropped {
            return Err(OxirsError::Store(
                "Cannot create a graph that was dropped in the same transaction".to_string(),
            ));
        }
        ops.created = true;

        Ok(())
    }

    /// Drop a named graph
    pub fn drop_graph(&mut self, graph: NamedNode) -> Result<(), OxirsError> {
        let graph_name = GraphName::NamedNode(graph);

        // Check if created in same transaction
        let should_remove = if let Some(ops) = self.graph_operations.get(&graph_name) {
            ops.created
        } else {
            false
        };

        if should_remove {
            // If created and dropped in same transaction, just remove the entry
            self.graph_operations.remove(&graph_name);
        } else {
            // Track the operation
            let ops = self.graph_operations.entry(graph_name).or_default();
            ops.dropped = true;
            ops.cleared = true; // Dropping clears all data
        }

        Ok(())
    }

    /// Copy one graph to another atomically
    pub fn copy_graph(
        &mut self,
        _source: GraphName,
        _destination: GraphName,
    ) -> Result<usize, OxirsError> {
        // This would:
        // 1. Read all quads from source graph
        // 2. Clear destination graph
        // 3. Insert all quads into destination graph
        // All atomically within this transaction

        // Placeholder implementation
        Ok(0)
    }

    /// Move one graph to another atomically
    pub fn move_graph(
        &mut self,
        source: GraphName,
        destination: GraphName,
    ) -> Result<usize, OxirsError> {
        // This is equivalent to COPY + DROP source
        let count = self.copy_graph(source.clone(), destination)?;
        if let GraphName::NamedNode(node) = source {
            self.drop_graph(node)?;
        }
        Ok(count)
    }

    /// Add (merge) one graph into another atomically
    pub fn add_graph(
        &mut self,
        _source: GraphName,
        _destination: GraphName,
    ) -> Result<usize, OxirsError> {
        // This would:
        // 1. Read all quads from source graph
        // 2. Insert all quads into destination graph (without clearing)
        // All atomically within this transaction

        // Placeholder implementation
        Ok(0)
    }

    /// Get statistics about operations on a specific graph
    pub fn graph_stats(&self, graph: &GraphName) -> Option<GraphStats> {
        self.graph_operations.get(graph).map(|ops| GraphStats {
            inserts: ops.inserts.len(),
            deletes: ops.deletes.len(),
            cleared: ops.cleared,
            created: ops.created,
            dropped: ops.dropped,
        })
    }

    /// Get all graphs modified in this transaction
    pub fn modified_graphs(&self) -> Vec<GraphName> {
        self.graph_operations.keys().cloned().collect()
    }

    /// Acquire a lock on a graph (for serializable isolation)
    pub fn lock_graph(&mut self, graph: GraphName) -> Result<(), OxirsError> {
        if self.isolation() == IsolationLevel::Serializable {
            let mut locks = self.graph_locks.write().map_err(|e| {
                OxirsError::ConcurrencyError(format!("Failed to acquire graph lock: {}", e))
            })?;

            if !locks.insert(graph) {
                return Err(OxirsError::ConcurrencyError(
                    "Graph is already locked by another transaction".to_string(),
                ));
            }
        }
        Ok(())
    }

    /// Release all graph locks
    fn release_locks(&self) -> Result<(), OxirsError> {
        let mut locks = self.graph_locks.write().map_err(|e| {
            OxirsError::ConcurrencyError(format!("Failed to release graph locks: {}", e))
        })?;

        for graph in self.graph_operations.keys() {
            locks.remove(graph);
        }

        Ok(())
    }

    /// Commit the transaction
    pub fn commit(self) -> Result<(), OxirsError> {
        // Release locks before commit
        self.release_locks()?;

        // Delegate to underlying transaction
        self.inner.commit()
    }

    /// Rollback the transaction (abort)
    pub fn rollback(self) -> Result<(), OxirsError> {
        // Release locks before rollback
        self.release_locks()?;

        // Delegate to underlying transaction (use abort)
        self.inner.abort()
    }
}

/// Statistics about graph operations in a transaction
#[derive(Debug, Clone)]
pub struct GraphStats {
    /// Number of quads inserted
    pub inserts: usize,
    /// Number of quads deleted
    pub deletes: usize,
    /// Whether the graph was cleared
    pub cleared: bool,
    /// Whether the graph was created
    pub created: bool,
    /// Whether the graph was dropped
    pub dropped: bool,
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::model::{Literal, NamedNode};

    fn create_test_quad(graph: GraphName) -> Quad {
        Quad::new(
            Subject::NamedNode(NamedNode::new("http://example.org/subject").expect("valid IRI")),
            Predicate::from(NamedNode::new("http://example.org/predicate").expect("valid IRI")),
            Object::Literal(Literal::new("test")),
            graph,
        )
    }

    #[test]
    fn test_graph_operations_tracking() {
        // This test would require a full transaction manager setup
        // For now, we test the data structures

        let graph =
            GraphName::NamedNode(NamedNode::new("http://example.org/graph1").expect("valid IRI"));

        let mut ops = GraphOperations::default();
        ops.inserts.push(create_test_quad(graph.clone()));

        assert_eq!(ops.inserts.len(), 1);
        assert_eq!(ops.deletes.len(), 0);
        assert!(!ops.cleared);
    }

    #[test]
    fn test_graph_stats() {
        let mut ops = GraphOperations::default();
        ops.inserts.push(create_test_quad(GraphName::DefaultGraph));
        ops.cleared = true;

        assert_eq!(ops.inserts.len(), 1);
        assert!(ops.cleared);
    }
}