Enum InvariantStatus 

pub enum InvariantStatus {
    Preserved,
    Relaxed {
        waiver: WaiverId,
    },
    Violated,
    NotApplicable,
    Unknown,
}

Status of one declared serial-practice invariant.

Variants

Preserved

The expected fact held exactly under the selected reading.

Relaxed

The invariant would fail, but one explicit waiver declared the relaxation.

Fields

waiver: WaiverId

Stable waiver id that authorized the relaxation.

Violated

The invariant failed without a declared waiver.

NotApplicable

The selected reading did not expose evidence for this invariant.

Unknown

The invariant could not be classified decisively.

Trait Implementations

impl Clone for InvariantStatus

fn clone(&self) -> InvariantStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantStatus

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

Formats the value using the given formatter.

impl Eq for InvariantStatus

impl PartialEq for InvariantStatus

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InvariantStatus