active-core 1.4.0

Core implementation of the Active configuration and data language: lexer, parser, IR, dependency graph, evaluator, type system and diagnostics
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

//! Unit round-trip tests.
//!
//! Guards the invariant that every unit suffix produced by `Unit::suffix()`
//! (used by JSON/TOML export and interpolation) is re-parseable by the
//! lexer and `Unit::from_suffix`, so exported configurations can be fed
//! back into Active unchanged. Drives the real shipped path:
//! parse → evaluate → export → parse → evaluate.

use active_core::convert::{value_to_pretty_json, value_to_simple_toml};
use active_core::{parse, Engine};

fn eval_json(src: &str) -> String {
    let module = parse(src, "roundtrip").expect("must parse");
    let engine = Engine::new();
    let (value, diags) = engine.evaluate(&module).expect("must evaluate");
    assert!(diags.is_empty(), "unexpected diagnostics: {diags:?}");
    value_to_pretty_json(&value)
}

#[test]
fn rate_unit_suffixes_round_trip_through_export() {
    // Covers every rate unit and both slash-prefixed and bare spellings.
    let sources = [
        "x = 100/req/s",
        "x = 100/req/m",
        "x = 100/req/h",
        "x = 100req/s",
        "x = 100req/m",
        "x = 100req/h",
        "x = 100/s",
        "x = 100/m",
        "x = 100/h",
    ];
    for src in sources {
        let first = eval_json(src);
        let module = parse(src, "roundtrip").expect("must parse");
        let (value, _) = Engine::new().evaluate(&module).expect("must evaluate");
        let exported = value_to_simple_toml(&value, "");
        let second = eval_json(&exported);
        assert_eq!(
            first, second,
            "round-trip failed for {src}: exported as {exported:?}"
        );
    }
}

#[test]
fn percent_round_trips_through_export() {
    // Percent canonicalizes to the ratio (100% = 1.0) but respells in
    // percent-form, so export → parse → evaluate is a fixed point.
    let sources = [
        "x = 25%",
        "x = 50%",
        "x = 12.5%",
        "x = 150%",
        "x = -5%",
        "x = 0.1%",
    ];
    for src in sources {
        let first = eval_json(src);
        let module = parse(src, "roundtrip").expect("must parse");
        let (value, _) = Engine::new().evaluate(&module).expect("must evaluate");
        let exported = value_to_simple_toml(&value, "");
        let second = eval_json(&exported);
        assert_eq!(
            first, second,
            "round-trip failed for {src}: exported as {exported:?}"
        );
    }
}

/// Round-trip for time and byte units (pre-existing coverage, untouched).
#[test]
fn time_and_byte_units_round_trip_through_export() {
    let sources = [
        "x = 5s",
        "x = 500ms",
        "x = 15m",
        "x = 2h",
        "x = 512MiB",
        "x = 2KiB",
        "x = 1GiB",
        "x = 100MB",
    ];
    for src in sources {
        let first = eval_json(src);
        let module = parse(src, "roundtrip").expect("must parse");
        let (value, _) = Engine::new().evaluate(&module).expect("must evaluate");
        let exported = value_to_simple_toml(&value, "");
        let second = eval_json(&exported);
        assert_eq!(
            first, second,
            "round-trip failed for {src}: exported as {exported:?}"
        );
    }
}

#[test]
fn frequency_round_trips_through_export() {
    // All spellings canonicalize to Hz-form; export re-parses to the same
    // canonical value (fixed point of export o parse o evaluate).
    let sources = [
        "x = 60Hz",
        "x = 1kHz",
        "x = 2.4GHz",
        "x = 1MHz",
        "x = 1THz",
        "x = 0.5Hz",
    ];
    for src in sources {
        let first = eval_json(src);
        let module = parse(src, "roundtrip").expect("must parse");
        let (value, _) = Engine::new().evaluate(&module).expect("must evaluate");
        let exported = value_to_simple_toml(&value, "");
        let second = eval_json(&exported);
        assert_eq!(
            first, second,
            "round-trip failed for {src}: exported as {exported:?}"
        );
    }
}