agm-core 1.1.0

Core library for parsing, validating, loading, and rendering AGM (Agent Graph Memory) files
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

//! Verification contract types (spec S24).

use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
#[serde(tag = "type", rename_all = "snake_case")]
pub enum VerifyCheck {
    Command {
        run: String,
        #[serde(skip_serializing_if = "Option::is_none")]
        expect: Option<String>,
    },
    FileExists {
        file: String,
    },
    FileContains {
        file: String,
        pattern: String,
    },
    FileNotContains {
        file: String,
        pattern: String,
    },
    NodeStatus {
        node: String,
        status: String,
    },
}

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

    #[test]
    fn test_verify_command_serde_roundtrip() {
        let v = VerifyCheck::Command {
            run: "cargo check".to_owned(),
            expect: Some("exit_code_0".to_owned()),
        };
        let json = serde_json::to_string(&v).unwrap();
        assert!(json.contains("\"type\":\"command\""));
        let back: VerifyCheck = serde_json::from_str(&json).unwrap();
        assert_eq!(v, back);
    }

    #[test]
    fn test_verify_command_without_expect() {
        let v = VerifyCheck::Command {
            run: "echo hello".to_owned(),
            expect: None,
        };
        let json = serde_json::to_string(&v).unwrap();
        assert!(!json.contains("expect"));
        let back: VerifyCheck = serde_json::from_str(&json).unwrap();
        assert_eq!(v, back);
    }

    #[test]
    fn test_verify_file_exists_serde_roundtrip() {
        let v = VerifyCheck::FileExists {
            file: "src/main.rs".to_owned(),
        };
        let json = serde_json::to_string(&v).unwrap();
        assert!(json.contains("\"type\":\"file_exists\""));
        let back: VerifyCheck = serde_json::from_str(&json).unwrap();
        assert_eq!(v, back);
    }

    #[test]
    fn test_verify_file_contains_serde_roundtrip() {
        let v = VerifyCheck::FileContains {
            file: "src/lib.rs".to_owned(),
            pattern: "fn main".to_owned(),
        };
        let json = serde_json::to_string(&v).unwrap();
        assert!(json.contains("\"type\":\"file_contains\""));
        let back: VerifyCheck = serde_json::from_str(&json).unwrap();
        assert_eq!(v, back);
    }

    #[test]
    fn test_verify_file_not_contains_serde_roundtrip() {
        let v = VerifyCheck::FileNotContains {
            file: "src/lib.rs".to_owned(),
            pattern: "unsafe".to_owned(),
        };
        let json = serde_json::to_string(&v).unwrap();
        assert!(json.contains("\"type\":\"file_not_contains\""));
        let back: VerifyCheck = serde_json::from_str(&json).unwrap();
        assert_eq!(v, back);
    }

    #[test]
    fn test_verify_node_status_serde_roundtrip() {
        let v = VerifyCheck::NodeStatus {
            node: "auth.login".to_owned(),
            status: "completed".to_owned(),
        };
        let json = serde_json::to_string(&v).unwrap();
        assert!(json.contains("\"type\":\"node_status\""));
        let back: VerifyCheck = serde_json::from_str(&json).unwrap();
        assert_eq!(v, back);
    }

    #[test]
    fn test_verify_deserialize_from_spec_json() {
        let json = r#"{"type":"command","run":"cargo check","expect":"exit_code_0"}"#;
        let v: VerifyCheck = serde_json::from_str(json).unwrap();
        assert!(matches!(v, VerifyCheck::Command { .. }));
    }
}