Enum BoolExpr 

pub enum BoolExpr {
    Comparison {
        left: Operand,
        op: CmpOp,
        right: Operand,
    },
    And(Box<BoolExpr>, Box<BoolExpr>),
    Or(Box<BoolExpr>, Box<BoolExpr>),
    Not(Box<BoolExpr>),
    In {
        field: String,
        values: Vec<Operand>,
    },
    Paren(Box<BoolExpr>),
}

A parsed boolean expression node.

Variants

Comparison

A comparison (e.g. age > 18).

Fields

left: Operand

Left-hand operand.

op: CmpOp

Comparison operator.

right: Operand

Right-hand operand.

And(Box<BoolExpr>, Box<BoolExpr>)

Logical AND (e.g. a AND b).

Or(Box<BoolExpr>, Box<BoolExpr>)

Logical OR (e.g. a OR b).

Not(Box<BoolExpr>)

Logical NOT (e.g. NOT a).

In

IN list (e.g. status IN [ACTIVE, PENDING]).

Fields

field: String

Field being tested.

values: Vec<Operand>

List of values to test against.

Paren(Box<BoolExpr>)

Parenthesised sub-expression.

Implementations

impl BoolExpr

pub fn field_references(&self) -> Vec<&str>

Collect all field references in this expression.

pub fn enum_in_lists(&self) -> Vec<(&str, Vec<&str>)>

Collect (field_name, [variant_names]) pairs from IN nodes where values are enum variants. Used by the validator for enum checking.

pub fn to_sql(&self) -> String

Render this expression as valid SQL (for DDL CHECK (...) clauses).

This differs from Display in that IN lists use SQL IN (...) syntax and enum variants are rendered as quoted string literals.

pub fn to_sql_mapped<F>(&self, map_field: &F) -> String

where F: Fn(&str) -> String,

Render this expression as valid SQL, mapping logical field names to their physical database column names using the provided function.

Trait Implementations

impl Clone for BoolExpr

fn clone(&self) -> BoolExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BoolExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for BoolExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for BoolExpr

fn eq(&self, other: &BoolExpr) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BoolExpr