lemma-engine 0.8.12

A language that means business.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

use lemma::{DateTimeValue, Engine};

#[test]
fn test_meta_fields_parsing_and_planning() {
    let mut engine = Engine::new();
    let code = r#"
spec meta_test 2025-01-01

meta title: "Test Spec"
meta version: v1.2.3
meta author: "Alice"

data x: 1
"#;

    engine
        .load(code, lemma::SourceType::Labeled("meta_test.lemma"))
        .expect("Failed to parse meta_test");

    let effective = DateTimeValue {
        year: 2025,
        month: 6,
        day: 1,
        hour: 0,
        minute: 0,
        second: 0,
        microsecond: 0,
        timezone: None,
    };
    let plan = engine
        .get_plan("meta_test", Some(&effective))
        .expect("Plan not found");

    assert_eq!(
        plan.meta.get("title").map(|v| v.to_string()),
        Some("Test Spec".to_string())
    );
    assert_eq!(
        plan.meta.get("version").map(|v| v.to_string()),
        Some("v1.2.3".to_string())
    );
    assert_eq!(
        plan.meta.get("author").map(|v| v.to_string()),
        Some("Alice".to_string())
    );
}

#[test]
fn test_meta_fields_validation_errors() {
    let mut engine = Engine::new();
    let code = r#"
spec meta_error

meta title: 123
"#;

    let errs = engine
        .load(code, lemma::SourceType::Labeled("meta_error.lemma"))
        .expect_err("meta title must reject non-text");
    let err_msg = errs
        .iter()
        .map(|e| e.to_string())
        .collect::<Vec<_>>()
        .join("; ");
    assert!(err_msg.contains("Meta 'title' must be a text literal"));
}

#[test]
fn test_duplicate_meta_key() {
    let mut engine = Engine::new();
    let code = r#"
spec meta_dup

meta title: "First"
meta title: "Second"
"#;

    let errs = engine
        .load(code, lemma::SourceType::Labeled("meta_dup.lemma"))
        .expect_err("duplicate meta key must fail");
    let err_msg = errs
        .iter()
        .map(|e| e.to_string())
        .collect::<Vec<_>>()
        .join("; ");
    assert!(err_msg.contains("Duplicate meta key 'title'"));
}