Struct InvariantResult 

pub struct InvariantResult {
    pub invariant: String,
    pub passed: bool,
    pub violation: Option<Violation>,
}

Result of checking an invariant

Fields

invariant: String

Which invariant was checked

passed: bool

Whether it passed

violation: Option<Violation>

Violation details if failed

Implementations

impl InvariantResult

pub fn pass(invariant: impl Into<String>) -> Self

Create a passing result

pub fn fail(invariant: impl Into<String>, violation: Violation) -> Self

Create a failing result

pub fn is_critical_failure(&self, invariants: &[InvariantDef]) -> bool

Check if this is a critical failure

Trait Implementations

impl Clone for InvariantResult

fn clone(&self) -> InvariantResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantResult

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

Formats the value using the given formatter.