Struct ContractValidationErrors 

pub struct ContractValidationErrors { /* private fields */ }

Deterministic, bounded public validation failures.

The empty value contains only inline path state. Heap-backed field paths and messages are created only when Self::add records a failure.

Implementations

impl ContractValidationErrors

pub const fn new() -> ContractValidationErrors

Create an empty validation result.

pub fn at_field( &mut self, field: &'static str, validate: impl FnOnce(&mut ContractValidationErrors), )

Validate within a generated object field without allocating a path.

pub fn at_index( &mut self, index: usize, validate: impl FnOnce(&mut ContractValidationErrors), )

Validate within a generated array index without allocating a path.

pub fn add(&mut self, message: &'static str)

Record one public-safe validation rule failure at the current path.

pub const fn fields(&self) -> &BTreeMap<String, Vec<String>>

Return retained field paths in deterministic order.

pub fn into_fields(self) -> BTreeMap<String, Vec<String>>

Consume the collector and return retained field paths.

pub fn len(&self) -> usize

Return the number of retained field paths.

pub fn is_empty(&self) -> bool

Return whether no validation failures were retained.

pub const fn is_truncated(&self) -> bool

Return whether the bounded collector has omitted further validation work.

Trait Implementations

impl Clone for ContractValidationErrors

fn clone(&self) -> ContractValidationErrors

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractValidationErrors

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

Formats the value using the given formatter.

impl Default for ContractValidationErrors

fn default() -> ContractValidationErrors

Returns the “default value” for a type.

impl Eq for ContractValidationErrors

impl PartialEq for ContractValidationErrors

fn eq(&self, other: &ContractValidationErrors) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ContractValidationErrors