Enum Errata 

pub enum Errata {
    One {
        reason: Arc<str>,
    },
    Two {
        reason: Arc<str>,
        formula: Arc<str>,
    },
    Three {
        reason: Arc<str>,
        formula: Arc<str>,
        location: Arc<str>,
    },
    Critical {
        reason: Arc<str>,
        formula: Arc<str>,
    },
}

Structured expression and evaluation error metadata.

Variants capture increasing diagnostic detail used by Value::Errata and Expression::Errata to propagate failures without panics.

Variants

One

Error with reason only

Fields

reason: Arc<str>

Two

Error with reason and formula context

Fields

reason: Arc<str>

formula: Arc<str>

Three

Full diagnostic error with reason, formula, and location

Fields

reason: Arc<str>

formula: Arc<str>

location: Arc<str>

Critical

Critical error marker used for HITL / suspension semantics

Fields

reason: Arc<str>

formula: Arc<str>

Implementations

impl Errata

pub fn new_reason(reason: Arc<str>) -> Value

Creates a Value::Errata with only a reason.

pub fn new_reason_formula(reason: Arc<str>, formula: Arc<str>) -> Value

Creates a Value::Errata with a reason and formula context.

pub fn new_reason_formula_location( reason: Arc<str>, formula: Arc<str>, location: Arc<str>, ) -> Value

Creates a Value::Errata with full diagnostic information (reason, formula, location).

pub fn new_expression(reason: Arc<str>, expression: Arc<str>) -> Expression

Creates an Expression::Errata with a reason and expression context.

pub fn new_expression_location( reason: Arc<str>, expression: Arc<str>, location: Arc<str>, ) -> Expression

Creates an Expression::Errata with full diagnostic information.

pub fn reason(&self) -> Arc<str>

Returns the error reason string.

pub fn formula(&self) -> Arc<str>

Returns the problematic formula or expression, or an empty string if unavailable.

pub fn location(&self) -> Arc<str>

Returns the specific error location within the expression, or empty if unavailable.

pub fn print(&self, writer: &mut Writer)

Writes this error using Writer::print_errata.

pub fn to_formula(&self) -> String

Return the formula-string representation (round-trippable by the parser).

Trait Implementations

impl Clone for Errata

fn clone(&self) -> Errata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Errata

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

Formats the value using the given formatter.

impl Display for Errata

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

Formats the value using the given formatter.

impl PartialEq for Errata

fn eq(&self, other: &Errata) -> 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 WriterLike for Errata

fn write(&self, writer: &mut Writer)

Serialize this expression with the given Writer.

fn to_stringized(&self) -> String

Return a string representation (raw unsafe output).

fn to_sanitized(&self) -> String

Return a sanitized string representation (escaped for safe output).

fn to_expressionized(&self) -> String

Return a sanitized string representation (escaped for safe output).

impl Eq for Errata

impl StructuralPartialEq for Errata