codenexus 0.3.3

A queryable code knowledge graph tool built on LadybugDB and tree-sitter
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

// Copyright (c) 2026 Kirky.X. All rights reserved.
// SPDX-License-Identifier: MIT

//! Data flow type enum (DDD §7.4).

use std::fmt;

use serde::{Deserialize, Serialize};

/// The 4 data flow types defined in DDD §7.4.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
pub enum FlowType {
    ArgPass,
    ReturnAssign,
    AssignFrom,
    AssignTo,
}

impl FlowType {
    /// Returns all variants in declaration order.
    #[must_use]
    pub const fn all() -> [FlowType; 4] {
        [
            FlowType::ArgPass,
            FlowType::ReturnAssign,
            FlowType::AssignFrom,
            FlowType::AssignTo,
        ]
    }
}

impl fmt::Display for FlowType {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            FlowType::ArgPass => f.write_str("ArgPass"),
            FlowType::ReturnAssign => f.write_str("ReturnAssign"),
            FlowType::AssignFrom => f.write_str("AssignFrom"),
            FlowType::AssignTo => f.write_str("AssignTo"),
        }
    }
}

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

    #[test]
    fn has_four_variants() {
        assert_eq!(FlowType::all().len(), 4);
    }

    #[test]
    fn display_outputs_variant_name() {
        assert_eq!(FlowType::ArgPass.to_string(), "ArgPass");
        assert_eq!(FlowType::ReturnAssign.to_string(), "ReturnAssign");
        assert_eq!(FlowType::AssignFrom.to_string(), "AssignFrom");
        assert_eq!(FlowType::AssignTo.to_string(), "AssignTo");
    }

    #[test]
    fn serde_roundtrip() {
        for flow in FlowType::all() {
            let json = serde_json::to_string(&flow).unwrap();
            let parsed: FlowType = serde_json::from_str(&json).unwrap();
            assert_eq!(flow, parsed);
        }
    }

    #[test]
    fn serde_serializes_as_variant_name() {
        assert_eq!(
            serde_json::to_string(&FlowType::ArgPass).unwrap(),
            "\"ArgPass\""
        );
        assert_eq!(
            serde_json::to_string(&FlowType::ReturnAssign).unwrap(),
            "\"ReturnAssign\""
        );
    }

    #[test]
    fn is_copy() {
        let flow = FlowType::ArgPass;
        let copied = flow;
        assert_eq!(flow, copied);
    }

    #[test]
    fn equality() {
        assert_eq!(FlowType::ArgPass, FlowType::ArgPass);
        assert_ne!(FlowType::ArgPass, FlowType::ReturnAssign);
        assert_ne!(FlowType::AssignFrom, FlowType::AssignTo);
    }
}