Struct ValidationError 

pub struct ValidationError {
    pub loc: Loc,
    pub kind: ErrorKind,
    pub severity: Severity,
    pub input: Option<String>,
    pub msg: String,
}

A single validation failure at a precise Loc.

Fields

loc: Loc

Where in the config tree the failure occurred.

kind: ErrorKind

The structured reason.

severity: Severity

How severe this failure is.

input: Option<String>

The offending value, stringified, if it was captured.

msg: String

Human-readable message.

Implementations

impl ValidationError

pub fn code(&self) -> &str

Shorthand for self.kind.code().

pub fn is_fatal(&self) -> bool

Whether this error requires an immediate halt (severity == Fatal).

pub fn repair_hint(&self) -> String

Auto-derived repair suggestion based on the error kind.

For custom predicates the message itself is the best hint; for built-in kinds the hint is derived from the constraint parameters.

This implements Van der Aalst’s alignment repair concept: given a deviation from the reference model, what is the minimum edit?

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Eq for ValidationError

impl PartialEq for ValidationError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ValidationError