main-spex 0.19.1

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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

#[cfg(test)]
mod tests {
    use super::super::*;

    #[test]
    fn spec_id_accepts_lowercase_words_separated_by_single_hyphens() {
        assert!(SpecId::try_from("place-pizza-order".to_string()).is_ok());
        assert!(SpecId::try_from("a".to_string()).is_ok());
    }

    #[test]
    fn spec_id_accepts_digits_anywhere() {
        for valid in ["oauth2-login", "s3-upload", "2fa-login", "step-2", "123"] {
            assert!(
                SpecId::try_from(valid.to_string()).is_ok(),
                "`{valid}` should be accepted"
            );
        }
    }

    #[test]
    fn spec_id_accepts_an_id_of_the_maximum_length() {
        assert!(SpecId::try_from("a".repeat(ID_MAX_LENGTH)).is_ok());
    }

    #[test]
    fn spec_id_rejects_an_id_over_the_maximum_length() {
        assert!(SpecId::try_from("a".repeat(ID_MAX_LENGTH + 1)).is_err());
    }

    #[test]
    fn spec_id_rejects_ids_outside_the_grammar() {
        for invalid in [
            "",
            "Bad-Id",
            "bad_id",
            "-leading",
            "trailing-",
            "double--hyphen",
            "with space",
        ] {
            assert!(
                SpecId::try_from(invalid.to_string()).is_err(),
                "`{invalid}` should be rejected"
            );
        }
    }

    #[test]
    fn spec_id_validates_on_deserialize() {
        let id: SpecId = serde_yaml_ng::from_str("place-pizza-order").expect("valid id");

        assert_eq!(id.as_str(), "place-pizza-order");
        assert_eq!(id.to_string(), "place-pizza-order");
        assert!(serde_yaml_ng::from_str::<SpecId>("Bad_ID").is_err());
    }

    #[test]
    fn ac_id_validates_on_deserialize() {
        let id: AcId = serde_yaml_ng::from_str("in-stock").expect("valid id");

        assert_eq!(id.as_str(), "in-stock");
        assert_eq!(id.to_string(), "in-stock");
        assert!(serde_yaml_ng::from_str::<AcId>("Bad_ID").is_err());
    }

    #[test]
    fn id_error_names_the_kind_and_the_value() {
        let error = AcId::try_from("Bad_ID".to_string()).expect_err("invalid id");

        assert!(
            error
                .to_string()
                .starts_with("invalid acceptance criterion id `Bad_ID`")
        );
    }

    #[test]
    fn grammar_matches_the_id_schemas() {
        for schema in ["spec-id", "ac-id"] {
            let file = crate::templates::BUNDLED_TEMPLATES_DIR
                .get_file(format!("schemas/{schema}.schema.json"))
                .expect("bundled id schema");
            let schema_json: serde_json::Value =
                serde_json::from_str(file.contents_utf8().expect("utf8 schema")).expect("json");

            assert_eq!(schema_json["pattern"], ID_PATTERN, "{schema} pattern");
            assert_eq!(
                schema_json["maxLength"], ID_MAX_LENGTH,
                "{schema} maxLength"
            );
        }
    }
}