Enum AssertionState 

pub enum AssertionState {
    Met,
    NotMet,
    Unknowable {
        reason: String,
    },
}

One assertion’s answer (RFC 13 §3, v1.35).

Serialized flat into its Assertion under a state tag — {"state": "met"}, {"state": "not_met"}, {"state": "unknowable", "reason": …} — and only the third carries a reason, because it is the only one whose answer is “I could not say”: the other two are answers, and their evidence is the assertion’s own.

Variants

Met

The surface honours its declaration, on the evidence named.

NotMet

It does not — the finding, on the evidence named.

Unknowable

The question was put and the observation could not answer it, with what stood in the way. Never a failure (RFC 13 §3).

Fields

reason: String

Implementations

impl AssertionState

pub fn worst(self, other: AssertionState) -> AssertionState

The worse of two answers about one surface: not met, then unknowable, then met.

pub fn is_met(&self) -> bool

pub fn is_not_met(&self) -> bool

pub fn is_unknowable(&self) -> bool

Trait Implementations

impl Clone for AssertionState

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 AssertionState

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

Formats the value using the given formatter.

impl Eq for AssertionState

impl PartialEq for AssertionState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AssertionState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AssertionState