Struct Violations 

pub struct Violations { /* private fields */ }

Accumulator for Validate::validate_all implementations.

Feed each check into check: a failing ConfigError is recorded and evaluation continues, so one pass collects every violation. into_result then yields Ok(()) when nothing failed or the full list otherwise.

use rlevo_core::config::{self, Violations};

let mut v = Violations::new();
v.check(config::positive("Demo", "a", -1.0)); // fails
v.check(config::nonzero("Demo", "b", 3)); // ok
v.check(config::in_range("Demo", "c", 0.0, 1.0, 2.0)); // fails
let errs = v.into_result().unwrap_err();
assert_eq!(errs.len(), 2);
assert_eq!(errs[0].field, "a");
assert_eq!(errs[1].field, "c");

Implementations

impl Violations

pub fn new() -> Self

Creates an empty accumulator.

pub fn check(&mut self, check: Result<(), ConfigError>)

Records check when it failed; a passing check is a no-op. Either way evaluation continues, so callers list all their invariants back to back.

pub fn into_result(self) -> Result<(), Vec<ConfigError>>

Consumes the accumulator: Ok(()) if nothing failed, otherwise every collected violation.

Errors

Returns the non-empty Vec<ConfigError> of all recorded violations.

Trait Implementations

impl Debug for Violations

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

Formats the value using the given formatter.

impl Default for Violations

fn default() -> Violations

Returns the “default value” for a type.