lemma-engine 0.8.14

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

use lemma::engine::EMBEDDED_STDLIB_REPOSITORY;
use lemma::{Engine, ErrorKind};

#[test]
fn list_includes_embedded_lemma_repository_with_si() {
    let engine = Engine::new();
    let repos = engine.list();
    let lemma = repos
        .iter()
        .find(|r| r.repository.name.as_deref() == Some(EMBEDDED_STDLIB_REPOSITORY))
        .expect("embedded lemma repository must appear in list");
    assert!(
        lemma
            .specs
            .iter()
            .flat_map(|ss| ss.iter_specs())
            .any(|s| s.name == "si"),
        "expected spec si in lemma repo"
    );
}

#[test]
fn format_repository_lemma_contains_si_duration() {
    let engine = Engine::new();
    let text = engine
        .format_repository(EMBEDDED_STDLIB_REPOSITORY)
        .expect("format embedded lemma repo");
    assert!(
        text.contains("repo lemma"),
        "expected repo header, got:\n{text}"
    );
    assert!(
        text.contains("spec si"),
        "expected spec si in formatted output, got:\n{text}"
    );
    assert!(
        text.contains("duration") && text.contains("trait duration"),
        "expected duration typedef in formatted output, got:\n{text}"
    );
}

#[test]
fn format_repository_unknown_qualifier_errors() {
    let engine = Engine::new();
    let err = engine
        .format_repository("workspace")
        .expect_err("workspace is not a repository qualifier");
    assert!(
        err.kind() == ErrorKind::Request,
        "expected request error, got: {err:?}"
    );
}