Struct InvariantSet 

pub struct InvariantSet { /* private fields */ }

A collection of invariants that must all pass.

Implementations

impl InvariantSet

pub fn new() -> Self

Create an empty set.

pub fn add(&mut self, invariant: impl Invariant + 'static)

Add an invariant to the set.

pub fn len(&self) -> usize

Number of invariants in the set.

pub fn is_empty(&self) -> bool

Is the set empty?

pub fn check_all(&self, context: &InvariantContext) -> Result<()>

Check all invariants, collecting every violation.

Returns Ok(()) if all invariants pass, or Err with the first blocking violation found.

pub fn check_all_collect( &self, context: &InvariantContext, ) -> Vec<InvariantViolation>

Check all invariants and return all violations (does not short-circuit).

Trait Implementations

impl Debug for InvariantSet

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

Formats the value using the given formatter.

impl Default for InvariantSet

fn default() -> Self

Returns the “default value” for a type.