Function predicate_to_vortex_expr

crates/paimon/src/arrow/format/vortex.rs:244–278

Convert a single Paimon `Predicate` tree node into a Vortex `Expression`.

(
    predicate: &Predicate,
    file_fields: &[DataField],
)

/// Convert a single Paimon `Predicate` tree node into a Vortex `Expression`.
fn predicate_to_vortex_expr(
    predicate: &Predicate,
    file_fields: &[DataField],
) -> Option<Expression> {
    match predicate {
        Predicate::AlwaysTrue => Some(lit(true)),
        Predicate::AlwaysFalse => Some(lit(false)),
        Predicate::And(children) => {
            // Dropping unconvertible children is safe for AND: it makes the filter
            // less restrictive, so no matching rows are incorrectly excluded.
            let exprs: Vec<Expression> = children
                .iter()
                .filter_map(|c| predicate_to_vortex_expr(c, file_fields))
                .collect();
            and_collect(exprs)
        }
        Predicate::Or(children) => {
            // All children must be convertible; otherwise skip the entire OR
            // to avoid incorrectly filtering out rows that match unconverted branches.
            let exprs: Vec<Expression> = children
                .iter()
                .map(|c| predicate_to_vortex_expr(c, file_fields))
                .collect::<Option<Vec<_>>>()?;
            or_collect(exprs)
        }
        Predicate::Not(inner) => predicate_to_vortex_expr(inner, file_fields).map(not),
        Predicate::Leaf {
            column,
            index,
            op,
            literals,
            ..
        } => leaf_to_vortex_expr(column, *index, *op, literals, file_fields),
    }
}

/// Convert a leaf predicate to a Vortex expression.
fn leaf_to_vortex_expr(