Struct RunLocator 

pub struct RunLocator {
    pub run_id: u128,
    pub min_epoch: Epoch,
    pub max_epoch: Epoch,
    pub min_hlc: Option<HlcTimestamp>,
    pub max_hlc: Option<HlcTimestamp>,
    pub contains_unstamped_versions: bool,
}

What one run-level posting says about a RowId: enough metadata to conservatively decide whether the run can contain a version visible to a supplied snapshot, without opening the run.

Fields

run_id: u128

Stable identifier of the run, matched against the manifest’s RunRef.

min_epoch: Epoch

max_epoch: Epoch

min_hlc: Option<HlcTimestamp>

Some when the run carries HLC-stamped rows.

max_hlc: Option<HlcTimestamp>

contains_unstamped_versions: bool

true when the run also contains legacy unstamped (epoch-only) rows.

Implementations

impl RunLocator

pub fn is_impossible_for(&self, snapshot: Snapshot) -> bool

true when this locator cannot contain a version visible to snapshot. Conservative: when in doubt, return false so the caller opens the run. The proof is split into the stamped and unstamped possibilities and never uses positional tuple fields (REM-A):

• a stamped version may be visible when the locator’s minimum HLC is at or below the snapshot (min_hlc, not max_hlc — a run can span the snapshot and still host an older visible version);
• an unstamped version may be visible when the locator’s minimum epoch is at or below the snapshot epoch.

Trait Implementations

impl Clone for RunLocator

fn clone(&self) -> RunLocator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RunLocator

impl Debug for RunLocator

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

Formats the value using the given formatter.

impl Eq for RunLocator

impl PartialEq for RunLocator

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RunLocator