lemma-engine 0.8.10

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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123

use crate::parsing::ast::FactValue;
use crate::parsing::parse;

#[test]
fn test_parse_simple_spec_reference() {
    let input = r#"spec person
fact name: "John"
fact contract: spec employment_contract"#;
    let result = parse(input, "test.lemma", &crate::ResourceLimits::default())
        .unwrap()
        .specs;
    assert_eq!(result.len(), 1);
    assert_eq!(result[0].facts.len(), 2);

    if let FactValue::SpecReference(spec_ref) = &result[0].facts[1].value {
        assert_eq!(spec_ref.name, "employment_contract");
        assert!(!spec_ref.from_registry);
    } else {
        panic!("Expected SpecReference");
    }
}

#[test]
fn test_parse_fact_bindings() {
    let input = r#"spec person
fact contract: spec employment_contract
fact contract.start_date: 2024-02-01
fact contract.end_date: [date]
fact contract.employment_type: "contractor"
fact contract.base: spec base_contract
fact contract.base.rate: 100"#;
    let result = parse(input, "test.lemma", &crate::ResourceLimits::default())
        .unwrap()
        .specs;
    assert_eq!(result.len(), 1);
    assert_eq!(result[0].facts.len(), 6);

    assert_eq!(
        result[0].facts[0].reference,
        crate::parsing::ast::Reference::from_path(vec!["contract".to_string()])
    );
    if let FactValue::SpecReference(spec_ref) = &result[0].facts[0].value {
        assert_eq!(spec_ref.name, "employment_contract");
        assert!(!spec_ref.from_registry);
    } else {
        panic!("Expected SpecReference");
    }

    assert_eq!(
        result[0].facts[1].reference,
        crate::parsing::ast::Reference::from_path(vec![
            "contract".to_string(),
            "start_date".to_string()
        ])
    );
    match &result[0].facts[1].value {
        FactValue::Literal(lit) => {
            assert!(
                matches!(lit, crate::parsing::ast::Value::Date(_)),
                "Expected Date literal"
            );
        }
        _ => panic!("Expected Date literal"),
    }

    assert_eq!(
        result[0].facts[2].reference,
        crate::parsing::ast::Reference::from_path(vec![
            "contract".to_string(),
            "end_date".to_string()
        ])
    );
    assert!(
        matches!(&result[0].facts[2].value, FactValue::TypeDeclaration { .. }),
        "Expected TypeDeclaration"
    );

    assert_eq!(
        result[0].facts[3].reference,
        crate::parsing::ast::Reference::from_path(vec![
            "contract".to_string(),
            "employment_type".to_string()
        ])
    );
    if let FactValue::Literal(lit) = &result[0].facts[3].value {
        if let crate::parsing::ast::Value::Text(s) = lit {
            assert_eq!(s, "contractor");
        } else {
            panic!("Expected Text literal");
        }
    } else {
        panic!("Expected Literal fact");
    }

    assert_eq!(
        result[0].facts[4].reference,
        crate::parsing::ast::Reference::from_path(vec!["contract".to_string(), "base".to_string()])
    );
    if let FactValue::SpecReference(spec_ref) = &result[0].facts[4].value {
        assert_eq!(spec_ref.name, "base_contract");
        assert!(!spec_ref.from_registry);
    } else {
        panic!("Expected SpecReference");
    }

    assert_eq!(
        result[0].facts[5].reference,
        crate::parsing::ast::Reference::from_path(vec![
            "contract".to_string(),
            "base".to_string(),
            "rate".to_string()
        ])
    );
    if let FactValue::Literal(lit) = &result[0].facts[5].value {
        if let crate::parsing::ast::Value::Number(n) = lit {
            assert_eq!(n, &rust_decimal::Decimal::new(100, 0));
        } else {
            panic!("Expected Number literal");
        }
    } else {
        panic!("Expected Literal fact");
    }
}