Enum LemmaError 

pub enum LemmaError {
    Parse(Box<ErrorDetails>),
    Semantic(Box<ErrorDetails>),
    Runtime(Box<ErrorDetails>),
    Engine(String),
    CircularDependency(String),
    ResourceLimitExceeded {
        limit_name: String,
        limit_value: String,
        actual_value: String,
        suggestion: String,
    },
    MultipleErrors(Vec<LemmaError>),
}

Error types for the Lemma system with source location tracking

Variants

Parse(Box<ErrorDetails>)

Parse error with source location

Semantic(Box<ErrorDetails>)

Semantic validation error with source location

Runtime(Box<ErrorDetails>)

Runtime error during evaluation with source location

Engine(String)

Engine error without specific source location

CircularDependency(String)

Circular dependency error

ResourceLimitExceeded

Resource limit exceeded

Fields

limit_name: String

limit_value: String

actual_value: String

suggestion: String

MultipleErrors(Vec<LemmaError>)

Multiple errors collected together

Implementations

impl LemmaError

pub fn parse( message: impl Into<String>, span: Span, source_id: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, ) -> Self

Create a parse error with source information

pub fn parse_with_suggestion( message: impl Into<String>, span: Span, source_id: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: impl Into<String>, ) -> Self

Create a parse error with suggestion

pub fn semantic( message: impl Into<String>, span: Span, source_id: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, ) -> Self

Create a semantic error with source information

pub fn semantic_with_suggestion( message: impl Into<String>, span: Span, source_id: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: impl Into<String>, ) -> Self

Create a semantic error with suggestion

Trait Implementations

impl Clone for LemmaError

fn clone(&self) -> LemmaError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LemmaError

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

Formats the value using the given formatter.

impl Display for LemmaError

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

Formats the value using the given formatter.

impl Error for LemmaError

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 LemmaError

fn from(err: Error) -> Self

Converts to this type from the input type.