Struct CheckConstraint 

pub struct CheckConstraint { /* private fields */ }

CheckConstraint

Named accepted-check declaration. The SQL spelling remains authored input until the compiler projection lowers it into the public source AST.

Implementations

impl CheckConstraint

pub const fn new( name: &'static str, check: &'static str, expression: SourceExpressionResolver, ) -> Self

Construct one named accepted-check declaration.

pub const fn name(&self) -> &'static str

Borrow the current accepted-check name.

pub const fn check(&self) -> &'static str

Borrow the authored check expression.

pub fn source_expression( &self, schema: &Schema, ) -> Result<SourceCheckExpr, SchemaContractError>

Lower the compiler-validated expression into the public source AST.

Errors

Returns a typed proposal error when an enum literal no longer resolves through the sealed graph or the expression violates public bounds.

Trait Implementations

impl Clone for CheckConstraint

fn clone(&self) -> CheckConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckConstraint

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

Formats the value using the given formatter.

impl Serialize for CheckConstraint

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

where __S: Serializer,

Serialize this value into the given Serde serializer.