Struct InvariantCheck 

pub struct InvariantCheck {
    pub name: String,
    pub description: String,
}

A single invariant check

Fields

name: String

Name of the invariant

description: String

Description of what the invariant checks

Implementations

impl InvariantCheck

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

Create a new invariant check

Trait Implementations

impl Clone for InvariantCheck

fn clone(&self) -> InvariantCheck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantCheck

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

Formats the value using the given formatter.