Enum Liveness 

pub enum Liveness {
    Live,
    Unreachable(String),
    Gone(String),
}

What all three layers say about a record.

Variants

Live

The process is the one that wrote the record and its door answers for that session.

Unreachable(String)

The process is alive and either the door did not answer for it or its identity could not be read. The record is kept.

Gone(String)

The process that wrote the record is gone. The record is stale and can be pruned.

Implementations

impl Liveness

pub fn is_running(&self) -> bool

Whether the record still names a running capsule: false exactly for Gone.

The same rule as ProcessState::is_running, reached through verify: Alive becomes Live or Unreachable after the probe, Unverified becomes Unreachable, and Gone stays Gone. The probe decides whether the door answers, never whether the capsule runs.

pub fn reason(&self) -> &str

Why the record is not Live, or the empty string when it is.

Trait Implementations

impl Clone for Liveness

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Liveness

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

Formats the value using the given formatter.

impl Eq for Liveness

impl PartialEq for Liveness

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Liveness