statum-graph 0.7.0

Static graph export for Statum machine introspection
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

#![allow(dead_code)]

use statum_graph::{CodebaseDoc, CodebaseDocError};

mod alpha {
    pub mod shared {
        use statum::{machine, state};

        #[state]
        pub enum State {
            Running,
        }

        #[machine]
        pub struct Machine<State> {}
    }
}

mod beta {
    pub mod shared {
        use statum::{machine, state};

        #[state]
        pub enum State {
            Running,
        }

        #[machine]
        pub struct Machine<State> {}
    }
}

mod holder {
    use super::alpha::shared;
    use statum::{machine, state};

    #[state]
    pub enum State {
        Uses(shared::Machine<shared::Running>),
    }

    #[machine]
    pub struct Machine<State> {}
}

#[test]
fn ambiguous_static_links_fail_closed() {
    let err = CodebaseDoc::linked().expect_err("ambiguous link should fail");

    assert_eq!(
        err,
        CodebaseDocError::AmbiguousStaticLink {
            machine: "codebase_ambiguity::holder::Machine",
            state: "Uses",
            field_name: None,
            target_machine_path: "shared::Machine".to_owned(),
            target_state: "Running",
        }
    );
}