Enum CheckExpr 

pub enum CheckExpr {
    True,
    Col(u16),
    Lit(Value),
    IsNull(u16),
    IsNotNull(u16),
    Eq(Box<CheckExpr>, Box<CheckExpr>),
    Ne(Box<CheckExpr>, Box<CheckExpr>),
    Lt(Box<CheckExpr>, Box<CheckExpr>),
    Le(Box<CheckExpr>, Box<CheckExpr>),
    Gt(Box<CheckExpr>, Box<CheckExpr>),
    Ge(Box<CheckExpr>, Box<CheckExpr>),
    And(Box<CheckExpr>, Box<CheckExpr>),
    Or(Box<CheckExpr>, Box<CheckExpr>),
    Not(Box<CheckExpr>),
}

A minimal boolean expression IR for CHECK constraints, evaluated against a row’s cells. Terms (CheckExpr::Col / CheckExpr::Lit) resolve to Value; comparisons and logical ops are boolean. Any comparison involving Value::Null yields three-valued Unknown.

Variants

True

Constant true (the trivially-satisfied CHECK).

Col(u16)

A bare column reference used as a boolean (truthiness coercion).

Lit(Value)

A literal value.

IsNull(u16)

IsNotNull(u16)

Eq(Box<CheckExpr>, Box<CheckExpr>)

Ne(Box<CheckExpr>, Box<CheckExpr>)

Lt(Box<CheckExpr>, Box<CheckExpr>)

Le(Box<CheckExpr>, Box<CheckExpr>)

Gt(Box<CheckExpr>, Box<CheckExpr>)

Ge(Box<CheckExpr>, Box<CheckExpr>)

And(Box<CheckExpr>, Box<CheckExpr>)

Or(Box<CheckExpr>, Box<CheckExpr>)

Not(Box<CheckExpr>)

Implementations

impl CheckExpr

pub fn satisfied(&self, cells: &HashMap<u16, Value>) -> bool

Evaluate the expression against a row’s cells. A CHECK constraint is satisfied unless this returns [Tri::False].

Trait Implementations

impl Clone for CheckExpr

fn clone(&self) -> CheckExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CheckExpr

fn eq(&self, other: &CheckExpr) -> 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 Serialize for CheckExpr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CheckExpr