Struct StorageRangeConstraint 

pub struct StorageRangeConstraint { /* private fields */ }

Mandatory storage bounds and immutable fence for one physical range.

The primary-key interval is always represented as concrete half-open KV bounds. Even a full logical table uses the canonical table-prefix end, never scan_prefix.

Implementations

impl StorageRangeConstraint

pub fn new( range_id: impl Into<String>, generation: u64, row_key_range: RowKeyRange, snapshot: RangeReadSnapshot, ) -> Result<Self, StorageRangeConstraintError>

Constructs a validated, range-bound worker constraint.

pub fn range_id(&self) -> &str

Returns the physical range identity selected by the route planner.

pub const fn generation(&self) -> u64

Returns the immutable range-generation fence.

pub const fn table_id(&self) -> u32

Returns the sole table whose rows may be emitted.

pub const fn row_key_range(&self) -> RowKeyRange

Returns the canonical primary-key interval.

pub fn encoded_bounds(&self) -> (&[u8], &[u8])

Returns concrete KV scan bounds [lower_inclusive, upper_exclusive).

pub fn snapshot(&self) -> &RangeReadSnapshot

Returns the immutable catalog/schema/index snapshot fence.

pub fn validate_table(&self, table_meta: &TableMetadata) -> Result<()>

Validates that a supplied SQL table matches the planned physical range.

pub fn validate_read_at(&self, actual: Option<ReadAtPoint>) -> Result<()>

Validates that the storage transaction is pinned at this exact fence.

pub fn contains_primary_key(&self, encoded_primary_key: &[u8]) -> Result<bool>

Rechecks a canonical primary key after a secondary-index lookup.

pub fn recheck_secondary_index_hits<I>(&self, row_ids: I) -> Result<Vec<u64>>

where I: IntoIterator<Item = u64>,

Rechecks every secondary-index candidate against the primary-key range.

Index sort order is not a substitute for physical row bounds. A candidate outside the range is omitted before its row can be fetched or emitted.

Trait Implementations

impl Clone for StorageRangeConstraint

fn clone(&self) -> StorageRangeConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StorageRangeConstraint

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

Formats the value using the given formatter.

impl Eq for StorageRangeConstraint

impl PartialEq for StorageRangeConstraint

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StorageRangeConstraint