meshdb-executor 0.2.0

use crate::error::Result;
use meshdb_core::{Edge, EdgeId, Node, NodeId};
use meshdb_storage::{
    ConstraintScope, PropertyConstraintKind, PropertyConstraintSpec, StorageEngine,
};

/// `(label, property)` pair identifying a single-property node point
/// / spatial index. Always length-1 on `property` side for now —
/// composite spatial indexes are a separate design and get their own
/// spec shape if they ship.
pub type PointIndexSpec = (String, String);

/// `(label, properties)` pair identifying a node property index.
/// `properties` is a `Vec<String>` so composite indexes round-trip
/// through the reader/writer boundary without truncating —
/// previously this was `(String, String)` and `SHOW INDEXES`
/// silently dropped everything past the first property.
pub type NodeIndexSpec = (String, Vec<String>);

/// `(edge_type, properties)` pair identifying an edge property
/// index. Relationship-scope analogue of [`NodeIndexSpec`].
pub type EdgeIndexSpec = (String, Vec<String>);

/// Sink for mutating graph operations produced by the executor. Isolates
/// write-side concerns from read-side traversal so we can plug in either a
/// direct-to-storage writer (single-node mode) or a Raft-backed writer that
/// proposes each mutation through consensus (cluster mode).
///
/// Methods are sync because the executor's iterator model is sync.
/// Async-backed implementations (e.g. the Raft writer) bridge via
/// `Handle::block_on`; callers must run the executor inside
/// `spawn_blocking` so they don't stall the tokio runtime.
pub trait GraphWriter {
    fn put_node(&self, node: &Node) -> Result<()>;
    fn put_edge(&self, edge: &Edge) -> Result<()>;
    fn delete_edge(&self, id: EdgeId) -> Result<()>;
    fn detach_delete_node(&self, id: NodeId) -> Result<()>;

    /// Declare a new property index. `properties` is a slice so the
    /// composite form (`CREATE INDEX FOR (n:L) ON (n.a, n.b)`) fits
    /// the same surface as single-property. Default impl errors so
    /// remote writers that don't yet support cluster-aware DDL
    /// surface the limitation immediately; storage-backed writers
    /// override via the blanket impl.
    fn create_property_index(&self, _label: &str, _properties: &[String]) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "property-index DDL is not supported by this writer".into(),
        ))
    }

    /// Tear down a property index. Mirrors [`Self::create_property_index`].
    fn drop_property_index(&self, _label: &str, _properties: &[String]) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "property-index DDL is not supported by this writer".into(),
        ))
    }

    /// Snapshot the currently-registered property indexes as
    /// `(label, property)` pairs for `SHOW INDEXES`. Default impl
    /// returns an empty list — remote writers will wire real
    /// fan-out in Phase C.
    fn list_property_indexes(&self) -> Result<Vec<NodeIndexSpec>> {
        Ok(Vec::new())
    }

    /// Relationship-scope analogue of
    /// [`Self::create_property_index`].
    fn create_edge_property_index(&self, _edge_type: &str, _properties: &[String]) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "edge-property-index DDL is not supported by this writer".into(),
        ))
    }

    /// Tear down an edge property index. Mirrors
    /// [`Self::create_edge_property_index`].
    fn drop_edge_property_index(&self, _edge_type: &str, _properties: &[String]) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "edge-property-index DDL is not supported by this writer".into(),
        ))
    }

    /// Snapshot the currently-registered edge property indexes as
    /// `(edge_type, property)` pairs. Default impl returns an empty
    /// list.
    fn list_edge_property_indexes(&self) -> Result<Vec<EdgeIndexSpec>> {
        Ok(Vec::new())
    }

    /// Declare a point / spatial index on `(label, property)`.
    /// Default impl errors — remote writers opt in via the blanket
    /// `StorageEngine` impl or a cluster-aware override.
    fn create_point_index(&self, _label: &str, _property: &str) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "point-index DDL is not supported by this writer".into(),
        ))
    }

    /// Tear down a point index. Mirrors
    /// [`Self::create_point_index`].
    fn drop_point_index(&self, _label: &str, _property: &str) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "point-index DDL is not supported by this writer".into(),
        ))
    }

    /// Snapshot the currently-registered point indexes as
    /// `(label, property)` pairs. Default impl returns empty.
    fn list_point_indexes(&self) -> Result<Vec<PointIndexSpec>> {
        Ok(Vec::new())
    }

    /// Relationship-scope analogue of
    /// [`Self::create_point_index`].
    fn create_edge_point_index(&self, _edge_type: &str, _property: &str) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "edge-point-index DDL is not supported by this writer".into(),
        ))
    }

    /// Tear down an edge point index. Mirrors
    /// [`Self::create_edge_point_index`].
    fn drop_edge_point_index(&self, _edge_type: &str, _property: &str) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "edge-point-index DDL is not supported by this writer".into(),
        ))
    }

    /// Snapshot the currently-registered edge point indexes as
    /// `(edge_type, property)` pairs.
    fn list_edge_point_indexes(&self) -> Result<Vec<PointIndexSpec>> {
        Ok(Vec::new())
    }

    /// Declare a new property constraint. Default impl errors so
    /// remote writers that haven't plumbed constraint DDL yet surface
    /// the limitation immediately — storage-backed writers override
    /// via the blanket impl. `properties` is a list to accommodate
    /// composite kinds (`NodeKey`); single-property kinds pass a
    /// one-element slice.
    fn create_property_constraint(
        &self,
        _name: Option<&str>,
        _scope: &ConstraintScope,
        _properties: &[String],
        _kind: PropertyConstraintKind,
        _if_not_exists: bool,
    ) -> Result<PropertyConstraintSpec> {
        Err(crate::error::Error::Unsupported(
            "constraint DDL is not supported by this writer".into(),
        ))
    }

    /// Tear down a constraint by name. Mirrors
    /// [`Self::create_property_constraint`].
    fn drop_property_constraint(&self, _name: &str, _if_exists: bool) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "constraint DDL is not supported by this writer".into(),
        ))
    }

    /// Snapshot the currently-registered constraints for
    /// `SHOW CONSTRAINTS`. Default impl returns an empty list.
    fn list_property_constraints(&self) -> Result<Vec<PropertyConstraintSpec>> {
        Ok(Vec::new())
    }

    /// Install (or replace) an `apoc.trigger.*` registration.
    /// `spec_blob` is the serde-encoded trigger spec — opaque
    /// to the writer; the storage layer just persists the
    /// bytes. Cluster-aware writers buffer this as a
    /// `GraphCommand::InstallTrigger` so the commit path
    /// replicates it; direct-to-storage writers persist
    /// immediately.
    fn install_trigger(&self, _name: &str, _spec_blob: &[u8]) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "trigger DDL is not supported by this writer".into(),
        ))
    }

    /// Drop a registered trigger by name. Idempotent — a
    /// missing name is not an error so routing-mode rollback
    /// can re-issue partially-applied DROPs.
    fn drop_trigger(&self, _name: &str) -> Result<()> {
        Err(crate::error::Error::Unsupported(
            "trigger DDL is not supported by this writer".into(),
        ))
    }
}

/// Blanket impl: any **sized** type that implements [`StorageEngine`]
/// is automatically a [`GraphWriter`]. See the matching
/// [`crate::reader::GraphReader`] blanket for rationale, and
/// [`StorageWriterAdapter`] for the trait-object adapter.
impl<T: StorageEngine> GraphWriter for T {
    fn put_node(&self, node: &Node) -> Result<()> {
        StorageEngine::put_node(self, node)?;
        Ok(())
    }

    fn put_edge(&self, edge: &Edge) -> Result<()> {
        StorageEngine::put_edge(self, edge)?;
        Ok(())
    }

    fn delete_edge(&self, id: EdgeId) -> Result<()> {
        if StorageEngine::get_edge(self, id)?.is_some() {
            StorageEngine::delete_edge(self, id)?;
        }
        Ok(())
    }

    fn detach_delete_node(&self, id: NodeId) -> Result<()> {
        StorageEngine::detach_delete_node(self, id)?;
        Ok(())
    }

    fn create_property_index(&self, label: &str, properties: &[String]) -> Result<()> {
        StorageEngine::create_property_index_composite(self, label, properties)?;
        Ok(())
    }

    fn drop_property_index(&self, label: &str, properties: &[String]) -> Result<()> {
        StorageEngine::drop_property_index_composite(self, label, properties)?;
        Ok(())
    }

    fn list_property_indexes(&self) -> Result<Vec<NodeIndexSpec>> {
        Ok(StorageEngine::list_property_indexes(self)
            .into_iter()
            .map(|s| (s.label, s.properties))
            .collect())
    }

    fn create_edge_property_index(&self, edge_type: &str, properties: &[String]) -> Result<()> {
        StorageEngine::create_edge_property_index_composite(self, edge_type, properties)?;
        Ok(())
    }

    fn drop_edge_property_index(&self, edge_type: &str, properties: &[String]) -> Result<()> {
        StorageEngine::drop_edge_property_index_composite(self, edge_type, properties)?;
        Ok(())
    }

    fn list_edge_property_indexes(&self) -> Result<Vec<EdgeIndexSpec>> {
        Ok(StorageEngine::list_edge_property_indexes(self)
            .into_iter()
            .map(|s| (s.edge_type, s.properties))
            .collect())
    }

    fn create_point_index(&self, label: &str, property: &str) -> Result<()> {
        StorageEngine::create_point_index(self, label, property)?;
        Ok(())
    }

    fn drop_point_index(&self, label: &str, property: &str) -> Result<()> {
        StorageEngine::drop_point_index(self, label, property)?;
        Ok(())
    }

    fn list_point_indexes(&self) -> Result<Vec<PointIndexSpec>> {
        Ok(StorageEngine::list_point_indexes(self)
            .into_iter()
            .map(|s| (s.label, s.property))
            .collect())
    }

    fn create_edge_point_index(&self, edge_type: &str, property: &str) -> Result<()> {
        StorageEngine::create_edge_point_index(self, edge_type, property)?;
        Ok(())
    }

    fn drop_edge_point_index(&self, edge_type: &str, property: &str) -> Result<()> {
        StorageEngine::drop_edge_point_index(self, edge_type, property)?;
        Ok(())
    }

    fn list_edge_point_indexes(&self) -> Result<Vec<PointIndexSpec>> {
        Ok(StorageEngine::list_edge_point_indexes(self)
            .into_iter()
            .map(|s| (s.edge_type, s.property))
            .collect())
    }

    fn create_property_constraint(
        &self,
        name: Option<&str>,
        scope: &ConstraintScope,
        properties: &[String],
        kind: PropertyConstraintKind,
        if_not_exists: bool,
    ) -> Result<PropertyConstraintSpec> {
        Ok(StorageEngine::create_property_constraint(
            self,
            name,
            scope,
            properties,
            kind,
            if_not_exists,
        )?)
    }

    fn drop_property_constraint(&self, name: &str, if_exists: bool) -> Result<()> {
        StorageEngine::drop_property_constraint(self, name, if_exists)?;
        Ok(())
    }

    fn list_property_constraints(&self) -> Result<Vec<PropertyConstraintSpec>> {
        Ok(StorageEngine::list_property_constraints(self))
    }

    fn install_trigger(&self, name: &str, spec_blob: &[u8]) -> Result<()> {
        StorageEngine::put_trigger(self, name, spec_blob)?;
        Ok(())
    }

    fn drop_trigger(&self, name: &str) -> Result<()> {
        StorageEngine::delete_trigger(self, name)?;
        Ok(())
    }
}

/// Adapter that lets a `&dyn StorageEngine` act as a `GraphWriter`.
/// See [`crate::reader::StorageReaderAdapter`] for the rationale.
pub struct StorageWriterAdapter<'a>(pub &'a dyn StorageEngine);

impl GraphWriter for StorageWriterAdapter<'_> {
    fn put_node(&self, node: &Node) -> Result<()> {
        self.0.put_node(node)?;
        Ok(())
    }

    fn put_edge(&self, edge: &Edge) -> Result<()> {
        self.0.put_edge(edge)?;
        Ok(())
    }

    fn delete_edge(&self, id: EdgeId) -> Result<()> {
        if self.0.get_edge(id)?.is_some() {
            self.0.delete_edge(id)?;
        }
        Ok(())
    }

    fn detach_delete_node(&self, id: NodeId) -> Result<()> {
        self.0.detach_delete_node(id)?;
        Ok(())
    }

    fn create_property_index(&self, label: &str, properties: &[String]) -> Result<()> {
        self.0.create_property_index_composite(label, properties)?;
        Ok(())
    }

    fn drop_property_index(&self, label: &str, properties: &[String]) -> Result<()> {
        self.0.drop_property_index_composite(label, properties)?;
        Ok(())
    }

    fn list_property_indexes(&self) -> Result<Vec<NodeIndexSpec>> {
        Ok(self
            .0
            .list_property_indexes()
            .into_iter()
            .map(|s| (s.label, s.properties))
            .collect())
    }

    fn create_edge_property_index(&self, edge_type: &str, properties: &[String]) -> Result<()> {
        self.0
            .create_edge_property_index_composite(edge_type, properties)?;
        Ok(())
    }

    fn drop_edge_property_index(&self, edge_type: &str, properties: &[String]) -> Result<()> {
        self.0
            .drop_edge_property_index_composite(edge_type, properties)?;
        Ok(())
    }

    fn list_edge_property_indexes(&self) -> Result<Vec<EdgeIndexSpec>> {
        Ok(self
            .0
            .list_edge_property_indexes()
            .into_iter()
            .map(|s| (s.edge_type, s.properties))
            .collect())
    }

    fn create_point_index(&self, label: &str, property: &str) -> Result<()> {
        self.0.create_point_index(label, property)?;
        Ok(())
    }

    fn drop_point_index(&self, label: &str, property: &str) -> Result<()> {
        self.0.drop_point_index(label, property)?;
        Ok(())
    }

    fn list_point_indexes(&self) -> Result<Vec<PointIndexSpec>> {
        Ok(self
            .0
            .list_point_indexes()
            .into_iter()
            .map(|s| (s.label, s.property))
            .collect())
    }

    fn create_edge_point_index(&self, edge_type: &str, property: &str) -> Result<()> {
        self.0.create_edge_point_index(edge_type, property)?;
        Ok(())
    }

    fn drop_edge_point_index(&self, edge_type: &str, property: &str) -> Result<()> {
        self.0.drop_edge_point_index(edge_type, property)?;
        Ok(())
    }

    fn list_edge_point_indexes(&self) -> Result<Vec<PointIndexSpec>> {
        Ok(self
            .0
            .list_edge_point_indexes()
            .into_iter()
            .map(|s| (s.edge_type, s.property))
            .collect())
    }

    fn create_property_constraint(
        &self,
        name: Option<&str>,
        scope: &ConstraintScope,
        properties: &[String],
        kind: PropertyConstraintKind,
        if_not_exists: bool,
    ) -> Result<PropertyConstraintSpec> {
        Ok(self
            .0
            .create_property_constraint(name, scope, properties, kind, if_not_exists)?)
    }

    fn drop_property_constraint(&self, name: &str, if_exists: bool) -> Result<()> {
        self.0.drop_property_constraint(name, if_exists)?;
        Ok(())
    }

    fn list_property_constraints(&self) -> Result<Vec<PropertyConstraintSpec>> {
        Ok(self.0.list_property_constraints())
    }

    fn install_trigger(&self, name: &str, spec_blob: &[u8]) -> Result<()> {
        self.0.put_trigger(name, spec_blob)?;
        Ok(())
    }

    fn drop_trigger(&self, name: &str) -> Result<()> {
        self.0.delete_trigger(name)?;
        Ok(())
    }
}