Struct InvariantDef 

pub struct InvariantDef {
    pub name: String,
    pub description: String,
    pub critical: bool,
}

Definition of an invariant

Fields

name: String

Invariant name

description: String

Human-readable description

critical: bool

Whether this is critical (blocks promotion if violated)

Implementations

impl InvariantDef

pub fn critical(name: impl Into<String>, description: impl Into<String>) -> Self

Create a critical invariant (blocks promotion if violated)

pub fn advisory(name: impl Into<String>, description: impl Into<String>) -> Self

Create a non-critical (advisory) invariant

Trait Implementations

impl Clone for InvariantDef

fn clone(&self) -> InvariantDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantDef

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

Formats the value using the given formatter.