Enum Observed 

pub enum Observed {
    Satisfied {
        limitation: Option<String>,
    },
    Skipped,
    Unsatisfied,
    Unknown,
}

What the forge answered for a step that applies, without the words a person reads: the classification alone.

Variants

Satisfied

The desired state holds, with the weaker guarantee named where the forge enforces less than the step’s proof claims.

Fields

limitation: Option<String>

The stable limitation text, where one exists.

Skipped

An optional step’s condition does not hold: nothing is wrong and nothing is proven.

Unsatisfied

The desired state does not hold.

Unknown

The observation could not decide.

Implementations

impl Observed

pub fn of(state: &StepState) -> Self

The classification of one observer answer.

pub const fn label(&self) -> &'static str

The word a human report line opens with.

pub const fn wire(&self) -> &'static str

The word an event and a machine record carry.

Trait Implementations

impl Clone for Observed

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 Observed

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

Formats the value using the given formatter.

impl Eq for Observed

impl PartialEq for Observed

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Observed