forjar 1.4.2

Rust-native Infrastructure as Code — bare-metal first, BLAKE3 state, provenance tracing
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

//! Tests: FJ-1385 Proof obligation taxonomy.

#[cfg(test)]
mod tests {
    use crate::core::planner::proof_obligation::*;
    use crate::core::types::*;

    #[test]
    fn test_noop_always_idempotent() {
        for rtype in &[
            ResourceType::File,
            ResourceType::Package,
            ResourceType::Service,
            ResourceType::User,
            ResourceType::Model,
        ] {
            assert_eq!(
                classify(rtype, &PlanAction::NoOp),
                ProofObligation::Idempotent
            );
        }
    }

    #[test]
    fn test_file_create_idempotent() {
        assert_eq!(
            classify(&ResourceType::File, &PlanAction::Create),
            ProofObligation::Idempotent
        );
    }

    #[test]
    fn test_model_create_monotonic() {
        assert_eq!(
            classify(&ResourceType::Model, &PlanAction::Create),
            ProofObligation::Monotonic
        );
    }

    #[test]
    fn test_service_create_convergent() {
        assert_eq!(
            classify(&ResourceType::Service, &PlanAction::Create),
            ProofObligation::Convergent
        );
    }

    #[test]
    fn test_file_update_idempotent() {
        assert_eq!(
            classify(&ResourceType::File, &PlanAction::Update),
            ProofObligation::Idempotent
        );
    }

    #[test]
    fn test_package_update_convergent() {
        assert_eq!(
            classify(&ResourceType::Package, &PlanAction::Update),
            ProofObligation::Convergent
        );
    }

    #[test]
    fn test_file_destroy_destructive() {
        assert_eq!(
            classify(&ResourceType::File, &PlanAction::Destroy),
            ProofObligation::Destructive
        );
    }

    #[test]
    fn test_service_destroy_convergent() {
        assert_eq!(
            classify(&ResourceType::Service, &PlanAction::Destroy),
            ProofObligation::Convergent
        );
    }

    #[test]
    fn test_user_destroy_destructive() {
        assert_eq!(
            classify(&ResourceType::User, &PlanAction::Destroy),
            ProofObligation::Destructive
        );
    }

    #[test]
    fn test_model_destroy_destructive() {
        assert_eq!(
            classify(&ResourceType::Model, &PlanAction::Destroy),
            ProofObligation::Destructive
        );
    }

    #[test]
    fn test_label_strings() {
        assert_eq!(label(&ProofObligation::Idempotent), "idempotent");
        assert_eq!(label(&ProofObligation::Monotonic), "monotonic");
        assert_eq!(label(&ProofObligation::Convergent), "convergent");
        assert_eq!(label(&ProofObligation::Destructive), "destructive");
    }

    #[test]
    fn test_is_safe() {
        assert!(is_safe(&ProofObligation::Idempotent));
        assert!(is_safe(&ProofObligation::Monotonic));
        assert!(is_safe(&ProofObligation::Convergent));
        assert!(!is_safe(&ProofObligation::Destructive));
    }
}