Trait Invariant 

pub trait Invariant: Send + Sync {
    // Required methods
    fn name(&self) -> &str;
    fn class(&self) -> InvariantClass;
    fn check(&self, ctx: &dyn Context) -> InvariantResult;
}

A runtime invariant that the engine enforces.

Invariants are the “law” that Gherkin specs compile to.

Required Methods

fn name(&self) -> &str

Human-readable name for tracing and error messages.

fn class(&self) -> InvariantClass

The class determines when this invariant is checked.

fn check(&self, ctx: &dyn Context) -> InvariantResult

Check the invariant against the current context.

Implementors