Enum Error 

pub enum Error {
    Parsing(Box<ErrorDetails>),
    Inversion(Box<ErrorDetails>),
    Validation(Box<ErrorDetails>),
    Registry {
        details: Box<ErrorDetails>,
        identifier: String,
        kind: RegistryErrorKind,
    },
    ResourceLimitExceeded {
        details: Box<ErrorDetails>,
        limit_name: String,
        limit_value: String,
        actual_value: String,
    },
    Request(Box<ErrorDetails>),
}

Error types for the Lemma system with source location tracking

Variants

Parsing(Box<ErrorDetails>)

Parse error with source location

Inversion(Box<ErrorDetails>)

Inversion error (valid Lemma, but unsupported by inversion) with source location

Validation(Box<ErrorDetails>)

Validation error (semantic/planning, including circular dependency) with source location

Registry

Registry resolution error with source location and structured error kind.

Produced when an @... reference cannot be resolved by the configured Registry (e.g. the spec was not found, the request was unauthorized, or the network is unreachable).

Fields

details: Box<ErrorDetails>

identifier: String

The @... identifier that failed to resolve (includes the leading @).

kind: RegistryErrorKind

The category of failure.

ResourceLimitExceeded

Resource limit exceeded

Fields

details: Box<ErrorDetails>

limit_name: String

limit_value: String

actual_value: String

Request(Box<ErrorDetails>)

Request error: invalid or unsatisfiable API request (e.g. spec not found, invalid parameters). Not a parse/planning failure; the request itself is invalid. Such errors occur before any evaluation and never during evaluation.

Implementations

impl Error

pub fn parsing( message: impl Into<String>, source: Source, suggestion: Option<impl Into<String>>, ) -> Self

Create a parse error. Source is required: parsing errors always originate from source code.

pub fn parsing_with_suggestion( message: impl Into<String>, source: Source, suggestion: impl Into<String>, ) -> Self

Create a parse error with suggestion. Source is required.

pub fn inversion( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, ) -> Self

Create an inversion error with source information.

pub fn inversion_with_suggestion( message: impl Into<String>, source: Option<Source>, suggestion: impl Into<String>, ) -> Self

Create an inversion error with suggestion

pub fn validation( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, ) -> Self

Create a validation error with source information (semantic/planning, including circular dependency).

pub fn request( message: impl Into<String>, suggestion: Option<impl Into<String>>, ) -> Self

Create a request error (invalid API request, e.g. spec not found). Request errors never have source locations — they are API-level.

pub fn resource_limit_exceeded( limit_name: impl Into<String>, limit_value: impl Into<String>, actual_value: impl Into<String>, suggestion: impl Into<String>, source: Option<Source>, ) -> Self

Create a resource-limit-exceeded error with optional source location.

pub fn validation_with_context( message: impl Into<String>, source: Option<Source>, suggestion: Option<impl Into<String>>, related_spec: Option<Arc<LemmaSpec>>, ) -> Self

Create a validation error with optional related spec (for spec-interface errors). When related_spec is set, Display shows “See spec ‘X’ (active from Y).”

pub fn registry( message: impl Into<String>, source: Source, identifier: impl Into<String>, kind: RegistryErrorKind, suggestion: Option<impl Into<String>>, ) -> Self

Create a registry error. Source is required: registry errors point to @ref in source.

pub fn with_spec_context(self, spec: Arc<LemmaSpec>) -> Self

Attach spec context for display grouping. Returns a new Error with context set.

impl Error

pub fn message(&self) -> &str

Get the error message.

pub fn location(&self) -> Option<&Source>

Get the source location if available

pub fn source_text(&self) -> Option<&str>

Get the source text if available

pub fn suggestion(&self) -> Option<&str>

Get the suggestion if available

Trait Implementations

impl Clone for Error

fn clone(&self) -> Error

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<Error> for Error

fn from(err: Error) -> Self

Converts to this type from the input type.