Enum LeaseCausalityError 

pub enum LeaseCausalityError {
    UnknownRun {
        run_id: RunId,
        event: LeaseEventKind,
    },
    InvalidRunState {
        run_id: RunId,
        event: LeaseEventKind,
        state: RunState,
    },
    MissingActiveLease {
        run_id: RunId,
        event: LeaseEventKind,
    },
    LeaseAlreadyActive {
        run_id: RunId,
    },
    OwnerMismatch {
        run_id: RunId,
        event: LeaseEventKind,
        expected_owner: String,
        actual_owner: String,
    },
    ExpiryMismatch {
        run_id: RunId,
        event: LeaseEventKind,
        expected_expiry: u64,
        actual_expiry: u64,
    },
    NonMonotonicHeartbeatExpiry {
        run_id: RunId,
        previous_expiry: u64,
        proposed_expiry: u64,
    },
}

Typed lease replay causality failures.

Variants

UnknownRun

Lease event references a run ID that has not been created.

Fields

run_id: RunId

Run ID referenced by the event.

event: LeaseEventKind

Lease event kind being validated.

InvalidRunState

Lease event is not allowed from the run’s current state.

Fields

run_id: RunId

Run ID referenced by the event.

event: LeaseEventKind

Lease event kind being validated.

state: RunState

Current run state at validation time.

MissingActiveLease

Lease mutation event requires an active lease projection but none exists.

Fields

run_id: RunId

Run ID referenced by the event.

event: LeaseEventKind

Lease event kind being validated.

LeaseAlreadyActive

Lease acquire encountered an already-active lease for the run.

Fields

run_id: RunId

Run ID with an existing active lease.

OwnerMismatch

Lease event owner did not match active lease owner.

Fields

run_id: RunId

Run ID referenced by the event.

event: LeaseEventKind

Lease event kind being validated.

expected_owner: String

Owner currently projected as active.

actual_owner: String

Owner carried by the event payload.

ExpiryMismatch

Lease event expiry did not match active lease expiry.

Fields

run_id: RunId

Run ID referenced by the event.

event: LeaseEventKind

Lease event kind being validated.

expected_expiry: u64

Expiry currently projected as active.

actual_expiry: u64

Expiry carried by the event payload.

NonMonotonicHeartbeatExpiry

Heartbeat attempted to regress lease expiry.

Fields

run_id: RunId

Run ID referenced by the event.

previous_expiry: u64

Current projected expiry.

proposed_expiry: u64

Heartbeat proposed expiry.

Trait Implementations

impl Clone for LeaseCausalityError

fn clone(&self) -> LeaseCausalityError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeaseCausalityError

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

Formats the value using the given formatter.

impl Display for LeaseCausalityError

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

Formats the value using the given formatter.

impl PartialEq for LeaseCausalityError

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

impl StructuralPartialEq for LeaseCausalityError