Enum LemmaError 

pub enum LemmaError {
    Parse(Box<ErrorDetails>),
    Semantic(Box<ErrorDetails>),
    Inversion(Box<ErrorDetails>),
    Runtime(Box<ErrorDetails>),
    Engine(Box<ErrorDetails>),
    MissingFact(Box<ErrorDetails>),
    CircularDependency {
        details: Box<ErrorDetails>,
        cycle: Vec<Source>,
    },
    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

Inversion(Box<ErrorDetails>)

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

Runtime(Box<ErrorDetails>)

Runtime error during evaluation with source location

Engine(Box<ErrorDetails>)

Engine error with source location

MissingFact(Box<ErrorDetails>)

Missing fact error during evaluation with source location

CircularDependency

Circular dependency error with source location and cycle information

Fields

details: Box<ErrorDetails>

cycle: Vec<Source>

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, attribute: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: Option<impl Into<String>>, ) -> Self

Create a parse error with source information

pub fn parse_with_suggestion( message: impl Into<String>, span: Span, attribute: 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, attribute: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: Option<impl Into<String>>, ) -> Self

Create a semantic error with source information

pub fn semantic_with_suggestion( message: impl Into<String>, span: Span, attribute: 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

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

Create an inversion error with source information

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

Create an inversion error with suggestion

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

Create an engine error with source information

pub fn missing_fact( fact_path: FactPath, span: Span, attribute: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: Option<impl Into<String>>, ) -> Self

Create a missing fact error with source information

pub fn missing_rule( rule_path: RulePath, span: Span, attribute: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: Option<impl Into<String>>, ) -> Self

Create a missing rule error with source information

pub fn missing_type( type_name: impl Into<String>, span: Span, attribute: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, suggestion: Option<impl Into<String>>, ) -> Self

Create a missing type error with source information

pub fn missing_doc( doc_name: impl Into<String>, span: Span, attribute: impl Into<String>, source_text: Arc<str>, current_doc_name: impl Into<String>, doc_start_line: usize, suggestion: Option<impl Into<String>>, ) -> Self

Create a missing document error with source information

pub fn circular_dependency( message: impl Into<String>, span: Span, attribute: impl Into<String>, source_text: Arc<str>, doc_name: impl Into<String>, doc_start_line: usize, cycle: Vec<Source>, suggestion: Option<impl Into<String>>, ) -> Self

Create a circular dependency error with source information

impl LemmaError

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 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.