Enum PostconditionResponse 

pub enum PostconditionResponse {
    Satisfied {
        observed: Datum,
        evidence: Datum,
    },
    NotSatisfied {
        observed: Datum,
        evidence: Datum,
    },
    Unavailable {
        reason: Datum,
    },
    Disputed {
        first: Datum,
        second: Datum,
    },
}

Typed result from a postcondition observer.

Variants

Satisfied

The intended postcondition is present.

Fields

observed: Datum

Exact semantic value observed.

evidence: Datum

Observer-owned evidence describing the read.

NotSatisfied

The observer proved that the intended postcondition is absent.

Fields

observed: Datum

Exact semantic value observed instead.

evidence: Datum

Observer-owned evidence describing the read.

Unavailable

The observer could not establish a value.

Fields

reason: Datum

Typed reason no trustworthy value could be obtained.

Disputed

Independent observation sources disagreed.

Fields

first: Datum

First incompatible observation.

second: Datum

Second incompatible observation.

Trait Implementations

impl Clone for PostconditionResponse

fn clone(&self) -> PostconditionResponse

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PostconditionResponse

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

Formats the value using the given formatter.

impl Eq for PostconditionResponse

impl PartialEq for PostconditionResponse

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PostconditionResponse