Function validate_binary_operation

graphlite/src/ast/validator.rs:1957–2017

Validate binary operations

(
    operator: &Operator,
    left: &Expression,
    right: &Expression,
    ctx: &mut ValidationContext,
    errors: &mut Vec<ValidationError>,
)

/// Validate binary operations
fn validate_binary_operation(
    operator: &Operator,
    left: &Expression,
    right: &Expression,
    ctx: &mut ValidationContext,
    errors: &mut Vec<ValidationError>,
) {
    // Validate that both operands are valid expressions
    validate_expression(left, ctx, errors);
    validate_expression(right, ctx, errors);

    // Type compatibility checks (simplified)
    match operator {
        // Arithmetic operators
        Operator::Plus
        | Operator::Minus
        | Operator::Star
        | Operator::Slash
        | Operator::Percent
        | Operator::Caret => {
            // These require numeric types
        }
        // Comparison operators
        Operator::Equal
        | Operator::NotEqual
        | Operator::LessThan
        | Operator::LessEqual
        | Operator::GreaterThan
        | Operator::GreaterEqual => {
            // These can work with comparable types
        }
        // Logical operators
        Operator::And | Operator::Or | Operator::Not | Operator::Xor => {
            // These require boolean operands
        }
        // String operators
        Operator::In
        | Operator::NotIn
        | Operator::Contains
        | Operator::Starts
        | Operator::Ends
        | Operator::Like
        | Operator::Matches
        | Operator::FuzzyEqual
        | Operator::Concat => {
            // These require string operands (Concat converts non-strings to strings)
        }
        // Existence operator
        Operator::Exists => {
            // This is for checking existence
        }
        // Regex operator
        Operator::Regex => {
            // This requires string operands
        }
        // Temporal operator
        Operator::Within => {
            // This is for temporal operations