Enum CheckViolationStrategy 

#[non_exhaustive]
pub enum CheckViolationStrategy {
    NullifyViolatingColumn {
        column: ColumnName,
    },
    DeleteViolatingRows,
}

How AddConstraint(Check) should handle pre-existing rows that violate the CHECK predicate.

“Violation” is computed statically by the narrow-shape parser in vespertide-planner::validate::check_default and the cleanup SQL is emitted by vespertide-query::sql::add_constraint::check. CHECK expressions that exceed the narrow shape (function calls, AND/OR composition, subqueries) are not covered by either side ? the detector skips them and no pre-cleanup is emitted.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

NullifyViolatingColumn

Set the named column of every violating row to NULL ahead of the ADD CONSTRAINT. The row is preserved; only the failing value is cleared.

Only applicable when column is nullable in the baseline; the SQL generator emits a runtime SQL error otherwise (UPDATE … SET col = NULL violates the existing NOT NULL). The revision CLI’s narrow-shape parser identifies the target column automatically; the user rarely sets this directly in the model JSON.

Fields

column: ColumnName

Which column receives SET = NULL. Narrow-shape CHECKs always reduce to a single column, so this is the only column the cleanup affects.

DeleteViolatingRows

Delete the violating rows outright ahead of the ADD CONSTRAINT. Use when the violating rows are themselves invalid (logically dangling records).

This is also the canonical default for the wire format: v0.1.x models carry no strategy field and so deserialize to DeleteViolatingRows. The revision CLI re-prompts for an explicit choice, and the prompt offers NullifyViolatingColumn { column } when the narrow-shape parser can identify a nullable target column.

Trait Implementations

impl Clone for CheckViolationStrategy

fn clone(&self) -> CheckViolationStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckViolationStrategy

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

Formats the value using the given formatter.

impl Default for CheckViolationStrategy

fn default() -> Self

Default strategy is DeleteViolatingRows. Unlike F3 (NullifyOrphans), F4 cannot default to the less destructive NullifyViolatingColumn because that variant requires a column argument the wire-format default cannot supply (CHECK expressions are free-form text and the column name has to be parsed out by vespertide-planner).

Wire-format note. v0.1.x emitted no pre-cleanup at all and let the database reject the migration. v0.2 emits DELETE FROM table WHERE NOT (<expr>) automatically. Existing migrations that already applied under v0.1.x are unaffected (apply happens once); v0.1.x migrations re-run against a fresh DB will now drop violating rows instead of failing. The revision CLI prompts for an explicit choice on every new AddConstraint(Check), so production usage rarely hits the default - it exists for v0.1.x compatibility only.

impl<'de> Deserialize<'de> for CheckViolationStrategy

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CheckViolationStrategy

impl Hash for CheckViolationStrategy

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JsonSchema for CheckViolationStrategy

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Ord for CheckViolationStrategy

fn cmp(&self, other: &CheckViolationStrategy) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for CheckViolationStrategy

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

fn partial_cmp(&self, other: &CheckViolationStrategy) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for CheckViolationStrategy

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 CheckViolationStrategy