Function validate_query

graphlite/src/ast/validator.rs:629–784

Validate a GQL query document

(
    document: &Document,
    has_graph_context: bool,
)

/// Validate a GQL query document
pub fn validate_query(
    document: &Document,
    has_graph_context: bool,
) -> Result<(), Vec<ValidationError>> {
    let mut errors = Vec::new();
    let mut ctx = ValidationContext::new();
    ctx.has_graph_context = has_graph_context;

    match &document.statement {
        Statement::Query(query) => {
            // 1. Structural validations
            validate_query_structure(query, &mut errors);

            // 2. Variable declarations and scope
            validate_variable_declarations(query, &mut ctx, &mut errors);

            // 3. Path pattern validations
            validate_path_patterns(query, &mut ctx, &mut errors);

            // 4. Expression validations
            validate_expressions(query, &mut ctx, &mut errors);

            // 5. Temporal validations
            validate_temporal_literals(query, &mut errors);

            // 6. Edge pattern validations
            validate_edge_patterns(query, &mut errors);
        }
        Statement::Select(select_stmt) => {
            validate_select_statement(select_stmt, &mut ctx, &mut errors);
        }
        Statement::Call(call_stmt) => {
            validate_call_statement(call_stmt, &mut ctx, &mut errors);
        }
        Statement::CatalogStatement(catalog_stmt) => {
            validate_catalog_statement(catalog_stmt, &mut ctx, &mut errors);
        }
        Statement::DataStatement(_) => {
            // TODO: Add data statement validation
        }
        Statement::SessionStatement(_) => {
            // TODO: Add session statement validation
        }
        Statement::Declare(_) => {
            // TODO: Add DECLARE statement validation
        }
        Statement::Next(_) => {
            // TODO: Add NEXT statement validation
        }
        Statement::AtLocation(_) => {
            // TODO: Add AT location statement validation
        }
        Statement::TransactionStatement(_) => {
            // TODO: Add transaction statement validation
        }
        Statement::ProcedureBody(procedure_body) => {
            // Validate procedure body: validate initial statement and all chained statements
            // First validate variable definitions