main-spex 0.20.0

AI-first development framework that turns specifications into deterministic, verifiable code
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

#[cfg(test)]
mod tests {
    use super::super::*;
    use crate::commands::check::conformance::conformance::RULE_ID;
    use crate::rule;
    use crate::spec;
    use tempfile::tempdir;

    #[test]
    fn no_duplicate_ids_passes_when_all_ids_are_unique() {
        let dir = tempdir().expect("temp dir");
        let rules_dir = dir.path().join(rule::RULES_DIR);
        std::fs::create_dir_all(rules_dir.join("frontend")).expect("rules/frontend");
        std::fs::write(rules_dir.join("frontend/one.yaml"), "id: one\n").expect("one");
        std::fs::write(rules_dir.join("two.yaml"), "id: two\n").expect("two");

        let specs = Spec::load_all(&dir.path().join(spec::SPECS_DIR)).expect("specs");
        let rules = Rule::load_all(&rules_dir).expect("rules");
        let findings = validate_no_duplicate_ids(dir.path(), &specs, &rules);

        assert!(findings.is_empty());
    }

    #[test]
    fn no_duplicate_ids_flags_the_same_id_across_subfolders() {
        let dir = tempdir().expect("temp dir");
        let rules_dir = dir.path().join(rule::RULES_DIR);
        std::fs::create_dir_all(rules_dir.join("frontend")).expect("rules/frontend");
        std::fs::create_dir_all(rules_dir.join("backend")).expect("rules/backend");
        std::fs::write(rules_dir.join("frontend/shared.yaml"), "id: shared\n")
            .expect("frontend rule");
        std::fs::write(rules_dir.join("backend/shared.yaml"), "id: shared\n")
            .expect("backend rule");

        let specs = Spec::load_all(&dir.path().join(spec::SPECS_DIR)).expect("specs");
        let rules = Rule::load_all(&rules_dir).expect("rules");
        let findings = validate_no_duplicate_ids(dir.path(), &specs, &rules);

        assert_eq!(findings.len(), 1);
        assert_eq!(
            findings[0].source.baseline_key(),
            Some((RULE_ID, DUPLICATE_ID_CHECK))
        );
        assert!(findings[0].message.contains("shared"));
    }

    #[test]
    fn no_duplicate_ids_flags_a_rule_id_colliding_with_a_spec_id() {
        let dir = tempdir().expect("temp dir");
        let specs_dir = dir.path().join(spec::SPECS_DIR);
        let rules_dir = dir.path().join(rule::RULES_DIR);
        std::fs::create_dir_all(&specs_dir).expect("specs dir");
        std::fs::create_dir_all(&rules_dir).expect("rules dir");
        std::fs::write(
            specs_dir.join("shared.yaml"),
            "id: shared\ncontract: single\n",
        )
        .expect("spec");
        std::fs::write(rules_dir.join("shared.yaml"), "id: shared\n").expect("rule");

        let specs = Spec::load_all(&specs_dir).expect("specs");
        let rules = Rule::load_all(&rules_dir).expect("rules");
        let findings = validate_no_duplicate_ids(dir.path(), &specs, &rules);

        assert_eq!(findings.len(), 1);
        assert_eq!(
            findings[0].source.baseline_key(),
            Some((RULE_ID, DUPLICATE_ID_CHECK))
        );
        assert!(findings[0].message.contains("shared"));
    }
}