Struct Overlap 

pub struct Overlap {
    pub source_id: String,
    pub target_id: String,
    pub edge_type: String,
    pub valid_from: String,
    pub valid_to: String,
    pub existing_from: String,
    pub existing_to: String,
    pub within_batch: bool,
}

The two intervals of a DbError::OverlappingInterval, boxed out of the error enum (D-075).

Both are reported because neither alone identifies the conflict: the caller knows what they asserted and not what it collided with, and a message naming only the other interval reads as though the assertion were the innocent one.

Fields

source_id: String

target_id: String

edge_type: String

valid_from: String

The interval the caller asserted.

valid_to: String

existing_from: String

The interval it collides with — see Overlap::within_batch for where that one is, because it is not always in the database.

existing_to: String

within_batch: bool

Whether the collision is with another edge in the same call (0.13.7, D-180).

Two guards raise this one error. reject_overlapping_interval compares the assertion against committed rows; reject_overlaps_within compares a batch against itself, before the transaction opens, and nothing it names is in the database — the batch is refused whole, so nothing it names ever will be. A caller told an edge “already holds” an interval goes looking for a row that is not there.

Implementations

impl Overlap

pub fn provenance(&self) -> &'static str

The message’s closing clause: where the second interval came from.

A method rather than two #[error] strings, because one variant gets one format string, and rather than a String because this is on a Display path.

Trait Implementations

impl Clone for Overlap

fn clone(&self) -> Overlap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Overlap

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

Formats the value using the given formatter.

impl Eq for Overlap

impl PartialEq for Overlap

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Overlap