Struct AffectedRowGuard 

pub struct AffectedRowGuard {
    pub expected_min: u64,
    pub expected_max: Option<u64>,
}

An affected-row guard (ADR-099 D1, rule 2): the row-count prepare assumed its target write would affect, re-verified in-transaction. A prepare-time validation is a plan hypothesis, never a commitment — if the guard does not hold at apply time, the op fails inside the atomic unit and the whole unit rolls back (ADR-099 acceptance criteria: “zero-row apply fails the unit”).

Fields

expected_min: u64

Minimum affected-row count for the guard to hold (inclusive).

expected_max: Option<u64>

Maximum affected-row count for the guard to hold (inclusive), or None for “no upper bound” (e.g. a predicate-based rewire that may touch any number of rows).

Implementations

impl AffectedRowGuard

pub fn exactly(n: u64) -> Self

A guard requiring exactly n affected rows (the common case for a single-target update/delete/link statement).

pub fn at_least_one() -> Self

A guard requiring at least one affected row and no upper bound (the shape for a predicate-based rewire that may touch any number of rows, e.g. merge’s edge rewire).

pub fn holds_for(&self, affected: u64) -> bool

Whether an observed affected-row count satisfies this guard.

Trait Implementations

impl Clone for AffectedRowGuard

fn clone(&self) -> AffectedRowGuard

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AffectedRowGuard

impl Debug for AffectedRowGuard

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

Formats the value using the given formatter.

impl Eq for AffectedRowGuard

impl PartialEq for AffectedRowGuard

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AffectedRowGuard