lemma-engine 0.8.10

use crate::error::Error;
use crate::parsing::ast::Span;
use crate::parsing::source::Source;

fn test_source() -> Source {
    Source::new(
        "test.lemma",
        Span {
            start: 14,
            end: 21,
            line: 1,
            col: 15,
        },
    )
}

#[test]
fn test_error_creation_and_display() {
    let source = test_source();

    let parse_error = Error::parsing("Invalid currency", source.clone(), None::<String>);
    assert_eq!(
        format!("{parse_error}"),
        "Parse error: Invalid currency at test.lemma:1:15"
    );

    let typo_source = Source::new(
        "suggestion.lemma",
        Span {
            start: 5,
            end: 10,
            line: 1,
            col: 6,
        },
    );

    let parse_error_with_suggestion =
        Error::parsing_with_suggestion("Typo in fact name", typo_source, "Did you mean 'amount'?");
    assert_eq!(
        format!("{parse_error_with_suggestion}"),
        "Parse error: Typo in fact name (suggestion: Did you mean 'amount'?) at suggestion.lemma:1:6"
    );

    let engine_error =
        Error::validation("Something went wrong", Some(source.clone()), None::<String>);
    assert_eq!(
        format!("{engine_error}"),
        "Validation error: Something went wrong at test.lemma:1:15"
    );

    let validation_error = Error::validation(
        "Circular dependency: a -> b -> a",
        Some(source),
        None::<String>,
    );
    assert_eq!(
        format!("{validation_error}"),
        "Validation error: Circular dependency: a -> b -> a at test.lemma:1:15"
    );

    let engine_error_no_source = Error::validation("No source context", None, None::<String>);
    assert_eq!(
        format!("{engine_error_no_source}"),
        "Validation error: No source context"
    );
}