linkrs-query 0.1.0

//! Insert Operation Planner
//!
//! Query planning for INSERT VERTEX and INSERT EDGE statements

use crate::parser::ast::{InsertStmt, InsertTarget, Stmt, VertexRow};
use crate::planning::plan::core::{
    node_id_generator::next_node_id,
    nodes::{EdgeInsertInfo, TagInsertSpec, VertexInsertInfo},
};
use crate::planning::plan::logical::logical_nodes::dml::{
    LogicalInsertEdgesNode, LogicalInsertVerticesNode,
};
use crate::planning::plan::logical::LogicalNodeEnum;
use crate::planning::plan::SubPlan;
use crate::planning::planner::{Planner, PlannerError, ValidatedStatement};
use crate::planning::statements::clauses::exists_planner;
use crate::QueryContext;
use linkrs_core::types::expr::contextual::ContextualExpression;
use std::sync::Arc;

#[cfg(test)]
use crate::parser::ast::utils::ExprFactory;
#[cfg(test)]
use linkrs_core::types::expr::expression_context::ExpressionAnalysisContext;
#[cfg(test)]
use linkrs_core::YieldColumn;

/// Insert Operation Planner
/// Responsible for converting INSERT statements into execution plans.
#[derive(Debug, Clone)]
pub struct InsertPlanner;

impl InsertPlanner {
    /// Create a new insertion planner.
    pub fn new() -> Self {
        Self
    }

    /// Check whether the statements match the insertion operations.
    pub fn match_stmt(stmt: &Stmt) -> bool {
        matches!(stmt, Stmt::Insert(_))
    }

    /// Extract the InsertStmt from the Stmt.
    fn extract_insert_stmt(&self, stmt: &Stmt) -> Result<InsertStmt, PlannerError> {
        match stmt {
            Stmt::Insert(insert_stmt) => Ok(insert_stmt.clone()),
            _ => Err(PlannerError::PlanGenerationFailed(
                "statement is not an INSERT statement".to_string(),
            )),
        }
    }

    /// Constructing vertex insertion information.
    ///
    /// The parser carries exactly one tag per vertex; storage enforces a
    /// single tag per vertex.
    fn build_vertex_insert_info(
        &self,
        space_name: String,
        tag: crate::parser::ast::TagInsertSpec,
        values: Vec<VertexRow>,
        if_not_exists: bool,
    ) -> Result<VertexInsertInfo, PlannerError> {
        let tag_spec = TagInsertSpec {
            tag_name: tag.tag_name,
            prop_names: tag.prop_names,
        };

        // Convert `VertexRow` to `(vid, Vec<Expression>)` pairs.
        let converted_values: Vec<(ContextualExpression, Vec<ContextualExpression>)> = values
            .into_iter()
            .map(|row| (row.vid, row.values))
            .collect();

        Ok(VertexInsertInfo {
            space_name,
            tag: tag_spec,
            values: converted_values,
            if_not_exists,
        })
    }

    /// Constructing edge insertion information
    fn build_edge_insert_info(
        &self,
        space_name: String,
        edge_name: String,
        prop_names: Vec<String>,
        edges: Vec<(
            ContextualExpression,
            ContextualExpression,
            Option<ContextualExpression>,
            Vec<ContextualExpression>,
        )>,
        if_not_exists: bool,
    ) -> EdgeInsertInfo {
        EdgeInsertInfo {
            space_name,
            edge_name,
            prop_names,
            edges,
            if_not_exists,
        }
    }

    /// Create columns for projecting the insertion results.
    #[cfg(test)]
    fn create_yield_columns(
        &self,
        count: usize,
        expr_context: &Arc<ExpressionAnalysisContext>,
    ) -> Vec<YieldColumn> {
        let expr = ExprFactory::constant(
            linkrs_core::Value::BigInt(count as i64),
            expr_context.clone(),
        );
        vec![YieldColumn::new(expr, "inserted_count".to_string())]
    }
}

impl Planner for InsertPlanner {
    fn plan_bound(
        &mut self,
        ctx: &crate::planning::context::PlanContext<'_>,
    ) -> Result<SubPlan, PlannerError> {
        use crate::binder::bound::{BoundExpression, BoundInsertTarget};

        let bound = ctx.bound;
        let qctx = ctx.qctx.clone();
        let validated = ctx.validated;
        let insert = match bound {
            crate::binder::BoundStatement::Insert(i) => i,
            _ => {
                return Err(PlannerError::PlanGenerationFailed(
                    "statement is not an INSERT statement".to_string(),
                ));
            }
        };

        let space_name = qctx.space_name().unwrap_or_else(|| "default".to_string());
        // Bound expressions are converted back into contextual expressions so
        // downstream plan nodes keep the same shape as the AST path. The
        // validated expression context is still required as the id registry.
        let expr_ctx = validated.expr_context().clone();
        let convert = |bound_expr: &BoundExpression| {
            crate::binder::expr_converter::bound_expr_to_contextual(bound_expr, &expr_ctx)
                .map_err(PlannerError::PlanGenerationFailed)
        };
        let check_space_id = qctx.space_id().unwrap_or(1);
        let check_space_name = qctx.space_name().unwrap_or_else(|| "default".to_string());
        let outer_col_names: Vec<String> = Vec::new();
        let reject_subquery = |expr: &ContextualExpression| -> Result<(), PlannerError> {
            if let Some(expr_meta) = expr.expression() {
                exists_planner::check_expression_subqueries(
                    expr_meta.inner(),
                    &qctx,
                    check_space_id,
                    &check_space_name,
                    &outer_col_names,
                )?;
            }
            Ok(())
        };

        let (insert_node, _inserted_count) = match &insert.target {
            BoundInsertTarget::Vertices { tag, values } => {
                let mut rows = Vec::with_capacity(values.len());
                for row in values {
                    let vid = convert(&row.vid)?;
                    reject_subquery(&vid)?;
                    let mut converted = Vec::with_capacity(row.values.len());
                    for value in &row.values {
                        let expr = convert(value)?;
                        reject_subquery(&expr)?;
                        converted.push(expr);
                    }
                    rows.push(VertexRow {
                        vid,
                        values: converted,
                    });
                }
                let count = rows.len();
                let info = self.build_vertex_insert_info(
                    space_name,
                    tag.clone(),
                    rows,
                    insert.if_not_exists,
                )?;
                (
                    LogicalNodeEnum::InsertVertices(LogicalInsertVerticesNode {
                        id: next_node_id(),
                        info,
                        output_var: None,
                        col_names: vec!["inserted".to_string()],
                        column_types: vec![],
                    }),
                    count,
                )
            }
            BoundInsertTarget::Edge {
                edge_name,
                prop_names,
                edges,
            } => {
                let mut converted_edges = Vec::with_capacity(edges.len());
                for (src_b, dst_b, rank_b, props_b) in edges {
                    let src = convert(src_b)?;
                    reject_subquery(&src)?;
                    let dst = convert(dst_b)?;
                    reject_subquery(&dst)?;
                    let rank = rank_b
                        .as_ref()
                        .map(|rank| -> Result<ContextualExpression, PlannerError> {
                            let expr = convert(rank)?;
                            reject_subquery(&expr)?;
                            Ok(expr)
                        })
                        .transpose()?;
                    let mut props = Vec::with_capacity(props_b.len());
                    for prop in props_b {
                        let expr = convert(prop)?;
                        reject_subquery(&expr)?;
                        props.push(expr);
                    }
                    converted_edges.push((src, dst, rank, props));
                }
                let count = converted_edges.len();
                let info = self.build_edge_insert_info(
                    space_name,
                    edge_name.clone(),
                    prop_names.clone(),
                    converted_edges,
                    insert.if_not_exists,
                );
                (
                    LogicalNodeEnum::InsertEdges(LogicalInsertEdgesNode {
                        id: next_node_id(),
                        info,
                        output_var: None,
                        col_names: vec!["inserted".to_string()],
                        column_types: vec![],
                    }),
                    count,
                )
            }
        };

        Ok(SubPlan::from_logical_root(insert_node))
    }

    fn transform(
        &mut self,
        validated: &ValidatedStatement,
        qctx: Arc<QueryContext>,
    ) -> Result<SubPlan, PlannerError> {
        // Obtain the space name
        let space_name = qctx.space_name().unwrap_or_else(|| "default".to_string());

        // Use the verification information to optimize the planning process.
        let validation_info = &validated.validation_info;

        // Check the semantic information.
        let referenced_tags = &validation_info.semantic_info.referenced_tags;
        if !referenced_tags.is_empty() {
            log::debug!("INSERT references the tag: {:?}", referenced_tags);
        }

        let referenced_edges = &validation_info.semantic_info.referenced_edges;
        if !referenced_edges.is_empty() {
            log::debug!("INSERT referenced edge type: {:?}", referenced_edges);
        }

        // Extract the INSERT statement
        let insert_stmt = self.extract_insert_stmt(validated.stmt())?;

        // Unified entry for expression-level EXISTS / IN: subqueries in
        // INSERT value expressions are rejected at planning time with a
        // precise error.
        let check_space_id = qctx.space_id().unwrap_or(1);
        let check_space_name = qctx.space_name().unwrap_or_else(|| "default".to_string());
        let outer_col_names: Vec<String> = Vec::new();
        match &insert_stmt.target {
            InsertTarget::Vertices { values, .. } => {
                for row in values {
                    for expr in std::iter::once(&row.vid).chain(row.values.iter()) {
                        if let Some(expr_meta) = expr.expression() {
                            exists_planner::check_expression_subqueries(
                                expr_meta.inner(),
                                &qctx,
                                check_space_id,
                                &check_space_name,
                                &outer_col_names,
                            )?;
                        }
                    }
                }
            }
            InsertTarget::Edge { edges, .. } => {
                for (src, dst, rank, prop_values) in edges {
                    for expr in std::iter::once(src)
                        .chain(std::iter::once(dst))
                        .chain(rank.iter())
                        .chain(prop_values.iter())
                    {
                        if let Some(expr_meta) = expr.expression() {
                            exists_planner::check_expression_subqueries(
                                expr_meta.inner(),
                                &qctx,
                                check_space_id,
                                &check_space_name,
                                &outer_col_names,
                            )?;
                        }
                    }
                }
            }
        }

        // Create the corresponding insertion nodes based on the type of the INSERT target.
        let (insert_node, _inserted_count) = match &insert_stmt.target {
            InsertTarget::Vertices { tag, values } => {
                let count = values.len();
                let info = self.build_vertex_insert_info(
                    space_name,
                    tag.clone(),
                    values.clone(),
                    insert_stmt.if_not_exists,
                )?;
                (
                    LogicalNodeEnum::InsertVertices(LogicalInsertVerticesNode {
                        id: next_node_id(),
                        info,
                        output_var: None,
                        col_names: vec!["inserted".to_string()],
                        column_types: vec![],
                    }),
                    count,
                )
            }
            InsertTarget::Edge {
                edge_name,
                prop_names,
                edges,
            } => {
                let count = edges.len();
                let info = self.build_edge_insert_info(
                    space_name,
                    edge_name.clone(),
                    prop_names.clone(),
                    edges.clone(),
                    insert_stmt.if_not_exists,
                );
                (
                    LogicalNodeEnum::InsertEdges(LogicalInsertEdgesNode {
                        id: next_node_id(),
                        info,
                        output_var: None,
                        col_names: vec!["inserted".to_string()],
                        column_types: vec![],
                    }),
                    count,
                )
            }
        };

        // InsertVertices/InsertEdges is the root node; the executor returns
        // the count summary directly, so no projection node is needed.
        Ok(SubPlan::from_logical_root(insert_node))
    }

    fn match_planner(&self, stmt: &Stmt) -> bool {
        Self::match_stmt(stmt)
    }
}

impl Default for InsertPlanner {
    fn default() -> Self {
        Self::new()
    }
}

#[cfg(test)]
#[allow(clippy::arc_with_non_send_sync)]
mod tests {
    use super::*;
    use crate::binder::validation::ValidationInfo;
    use crate::parser::ast::utils::ExprFactory;
    use crate::parser::ast::{Ast, Span, Stmt};
    use crate::parser::ast::{InsertStmt, InsertTarget, TagInsertSpec, VertexRow};
    use crate::planning::planner::{Planner, ValidatedStatement};
    use crate::QueryContext;
    use linkrs_core::types::expr::contextual::ContextualExpression;
    use linkrs_core::types::expr::expression_context::ExpressionAnalysisContext;
    use linkrs_core::Value;
    use std::sync::Arc;

    fn create_test_span() -> Span {
        use linkrs_core::types::span::Position;
        Span::new(Position::new(1, 1), Position::new(1, 1))
    }

    fn create_test_stmt_with_insert(target: InsertTarget) -> Arc<Ast> {
        let insert_stmt = InsertStmt {
            span: create_test_span(),
            target,
            if_not_exists: false,
        };
        let ctx = Arc::new(ExpressionAnalysisContext::new());
        Arc::new(Ast::new(Stmt::Insert(insert_stmt), ctx))
    }

    fn create_test_qctx() -> Arc<QueryContext> {
        Arc::new(QueryContext::default())
    }

    // Auxiliary function: Creating constant expressions
    fn lit(val: Value) -> ContextualExpression {
        let ctx = Arc::new(ExpressionAnalysisContext::new());
        ExprFactory::constant(val, ctx)
    }

    #[test]
    fn test_insert_planner_new() {
        let planner = InsertPlanner::new();
        let ast = create_test_stmt_with_insert(InsertTarget::Vertices {
            tag: TagInsertSpec {
                tag_name: "person".to_string(),
                prop_names: vec!["name".to_string(), "age".to_string()],
                is_default_props: false,
            },
            values: vec![VertexRow {
                vid: lit(Value::Int(1)),
                values: vec![lit(Value::string("Alice")), lit(Value::Int(30))],
            }],
        });
        assert!(planner.match_planner(&ast.stmt));
    }

    #[test]
    fn test_match_stmt_with_insert() {
        let ast = create_test_stmt_with_insert(InsertTarget::Vertices {
            tag: TagInsertSpec {
                tag_name: "person".to_string(),
                prop_names: vec![],
                is_default_props: true,
            },
            values: vec![],
        });
        assert!(InsertPlanner::match_stmt(&ast.stmt));
    }

    #[test]
    fn test_match_stmt_without_insert() {
        let stmt = Stmt::Use(crate::parser::ast::UseStmt {
            span: create_test_span(),
            space: "test_space".to_string(),
        });
        assert!(!InsertPlanner::match_stmt(&stmt));
    }

    #[test]
    fn test_extract_insert_stmt_success() {
        let planner = InsertPlanner::new();
        let target = InsertTarget::Vertices {
            tag: TagInsertSpec {
                tag_name: "person".to_string(),
                prop_names: vec!["name".to_string()],
                is_default_props: false,
            },
            values: vec![],
        };
        let stmt = create_test_stmt_with_insert(target.clone());
        let result = planner
            .extract_insert_stmt(&stmt.as_ref().stmt)
            .expect("Failed to extract insert statement");
        assert_eq!(result.target, target);
    }

    #[test]
    fn test_extract_insert_stmt_failure() {
        let planner = InsertPlanner::new();
        let stmt = Stmt::Use(crate::parser::ast::UseStmt {
            span: create_test_span(),
            space: "test_space".to_string(),
        });
        let result = planner.extract_insert_stmt(&stmt);
        assert!(result.is_err());
        assert!(result
            .unwrap_err()
            .to_string()
            .contains("not an INSERT statement"));
    }

    #[test]
    fn test_build_vertex_insert_info() {
        let planner = InsertPlanner::new();
        let info = planner
            .build_vertex_insert_info(
                "test_space".to_string(),
                TagInsertSpec {
                    tag_name: "person".to_string(),
                    prop_names: vec!["name".to_string(), "age".to_string()],
                    is_default_props: false,
                },
                vec![VertexRow {
                    vid: lit(Value::Int(1)),
                    values: vec![lit(Value::string("Alice")), lit(Value::Int(30))],
                }],
                false,
            )
            .expect("Failed to build vertex insert info");
        assert_eq!(info.space_name, "test_space");
        assert_eq!(info.tag.tag_name, "person");
        assert_eq!(info.tag.prop_names.len(), 2);
        assert_eq!(info.values.len(), 1);
    }

    #[test]
    fn test_build_edge_insert_info() {
        let planner = InsertPlanner::new();
        let info = planner.build_edge_insert_info(
            "test_space".to_string(),
            "follow".to_string(),
            vec!["since".to_string()],
            vec![(
                lit(Value::Int(1)),
                lit(Value::Int(2)),
                Some(lit(Value::Int(0))),
                vec![lit(Value::string("2023"))],
            )],
            false,
        );
        assert_eq!(info.space_name, "test_space");
        assert_eq!(info.edge_name, "follow");
        assert_eq!(info.prop_names.len(), 1);
        assert_eq!(info.edges.len(), 1);
    }

    #[test]
    fn test_create_yield_columns() {
        let planner = InsertPlanner::new();
        let expr_ctx = Arc::new(ExpressionAnalysisContext::new());
        let columns = planner.create_yield_columns(5, &expr_ctx);
        assert_eq!(columns.len(), 1);
        assert_eq!(columns[0].alias, "inserted_count");
    }

    #[test]
    fn test_transform_insert_vertices() {
        let mut planner = InsertPlanner::new();
        let target = InsertTarget::Vertices {
            tag: TagInsertSpec {
                tag_name: "person".to_string(),
                prop_names: vec!["name".to_string()],
                is_default_props: false,
            },
            values: vec![
                VertexRow {
                    vid: lit(Value::Int(1)),
                    values: vec![lit(Value::string("Alice"))],
                },
                VertexRow {
                    vid: lit(Value::Int(2)),
                    values: vec![lit(Value::string("Bob"))],
                },
            ],
        };
        let ast = create_test_stmt_with_insert(target);
        let qctx = create_test_qctx();

        // Create a verified statement.
        let validation_info = ValidationInfo::new();
        let validated = ValidatedStatement::new(ast, validation_info);

        let result = planner.transform(&validated, qctx);
        assert!(result.is_ok());
        let sub_plan = result.expect("Failed to transform insert statement");
        assert!(sub_plan.root.is_some());
    }

    #[test]
    fn test_transform_insert_edge() {
        let mut planner = InsertPlanner::new();
        let target = InsertTarget::Edge {
            edge_name: "follow".to_string(),
            prop_names: vec!["since".to_string()],
            edges: vec![(
                lit(Value::Int(1)),
                lit(Value::Int(2)),
                Some(lit(Value::Int(0))),
                vec![lit(Value::string("2023"))],
            )],
        };
        let ast = create_test_stmt_with_insert(target);
        let qctx = create_test_qctx();

        // Create a verified statement.
        let validation_info = ValidationInfo::new();
        let validated = ValidatedStatement::new(ast, validation_info);

        let result = planner.transform(&validated, qctx);
        assert!(result.is_ok());
        let sub_plan = result.expect("Failed to transform insert statement");
        assert!(sub_plan.root.is_some());
    }

    #[test]
    fn test_transform_without_insert_stmt() {
        let mut planner = InsertPlanner::new();
        let stmt = Stmt::Use(crate::parser::ast::UseStmt {
            span: create_test_span(),
            space: "test_space".to_string(),
        });
        let qctx = create_test_qctx();
        let ctx = Arc::new(ExpressionAnalysisContext::new());
        let ast = Arc::new(Ast::new(stmt, ctx));

        // Create a verified statement.
        let validation_info = ValidationInfo::new();
        let validated = ValidatedStatement::new(ast, validation_info);

        let result = planner.transform(&validated, qctx);
        assert!(result.is_err());
    }

    #[test]
    fn test_default_impl() {
        let planner: InsertPlanner = Default::default();
        let ast = create_test_stmt_with_insert(InsertTarget::Vertices {
            tag: TagInsertSpec {
                tag_name: "test".to_string(),
                prop_names: vec![],
                is_default_props: true,
            },
            values: vec![],
        });
        assert!(planner.match_planner(&ast.stmt));
    }
}