Struct ValidationState 

pub struct ValidationState {
    pub path: EurePath,
    pub has_holes: bool,
    pub errors: Vec<ValidationError>,
    pub warnings: Vec<ValidationWarning>,
    /* private fields */
}

Internal mutable state during validation.

Wrapped in RefCell to allow interior mutability through shared references.

Fields

path: EurePath

Current path in the document (for error reporting)

has_holes: bool

Whether any holes have been encountered

errors: Vec<ValidationError>

Accumulated validation errors

warnings: Vec<ValidationWarning>

Accumulated warnings

Implementations

impl ValidationState

pub fn new() -> Self

pub fn record_error(&mut self, error: ValidationError)

Record an error (validation continues).

pub fn record_warning(&mut self, warning: ValidationWarning)

Record a warning.

pub fn mark_has_holes(&mut self)

Mark that a hole was encountered.

pub fn has_errors(&self) -> bool

Check if any errors have been recorded.

pub fn error_count(&self) -> usize

Get the number of errors.

pub fn push_path_ident(&mut self, ident: Identifier)

Push an identifier to the path.

pub fn push_path_key(&mut self, key: ObjectKey)

Push a key to the path.

pub fn push_path_index(&mut self, index: usize)

Push an array index to the path.

pub fn push_path_tuple_index(&mut self, index: u8)

Push a tuple index to the path.

pub fn push_path_extension(&mut self, ident: Identifier)

Push an extension to the path.

pub fn pop_path(&mut self)

Pop the last segment from the path.

pub fn fork(&self) -> Self

Clone for fork (trial validation).

pub fn merge(&mut self, other: Self)

Merge results from a forked state.

pub fn finish(self) -> ValidationOutput

Consume and produce final output.

pub fn record_variant_errors( &mut self, variant_name: String, errors: Vec<ValidationError>, )

Record variant attempt errors (for union validation).

pub fn take_variant_errors(&mut self) -> Vec<(String, Vec<ValidationError>)>

Take collected variant errors (for union error construction).

pub fn clear_variant_errors(&mut self)

Clear variant errors without taking (for successful variant match).

Trait Implementations

impl Debug for ValidationState

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

Formats the value using the given formatter.

impl Default for ValidationState

fn default() -> Self

Returns the “default value” for a type.