meerkat-machine-schema 0.5.2

Formal machine schemas and transition definitions for Meerkat
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

mod comms_drain_lifecycle;
mod compositions;
mod coverage;
mod external_tool_surface;
mod flow_frame;
mod flow_run;
mod input_lifecycle;
mod loop_iteration;
mod mob_lifecycle;
mod mob_member_bootstrap;
mod mob_member_lifecycle;
mod mob_orchestrator;
mod mob_runtime_bridge;
mod mob_wiring;
mod occurrence_lifecycle;
mod ops_lifecycle;
mod peer_comms;
mod peer_directory_reachability;
mod runtime_control;
mod runtime_ingress;
mod schedule_lifecycle;
mod session_tool_visibility;
mod session_turn_admission;
mod turn_execution;

use crate::{CompositionSchema, MachineSchema};

pub use comms_drain_lifecycle::comms_drain_lifecycle_machine;
pub use compositions::{
    comms_drain_lifecycle_composition, continuation_runtime_bundle_composition,
    external_tool_bundle_composition, flow_frame_loop_composition, mob_bundle_composition,
    ops_peer_bundle_composition, ops_runtime_bundle_composition, peer_runtime_bundle_composition,
    runtime_pipeline_composition, surface_event_runtime_bundle_composition,
};
pub use coverage::{
    CodeAnchor, CompositionCoverageManifest, MachineCoverageManifest, ScenarioCoverage,
    SemanticCoverageEntry, canonical_composition_coverage_manifests,
    canonical_machine_coverage_manifests,
};
pub use external_tool_surface::external_tool_surface_machine;
pub use flow_frame::flow_frame_machine;
pub use flow_run::flow_run_machine;
pub use input_lifecycle::input_lifecycle_machine;
pub use loop_iteration::loop_iteration_machine;
pub use mob_lifecycle::mob_lifecycle_machine;
pub use mob_member_bootstrap::mob_member_bootstrap_machine;
pub use mob_member_lifecycle::mob_member_lifecycle_machine;
pub use mob_orchestrator::mob_orchestrator_machine;
pub use mob_runtime_bridge::mob_runtime_bridge_machine;
pub use mob_wiring::mob_wiring_machine;
pub use occurrence_lifecycle::occurrence_lifecycle_machine;
pub use ops_lifecycle::ops_lifecycle_machine;
pub use peer_comms::peer_comms_machine;
pub use peer_directory_reachability::peer_directory_reachability_machine;
pub use runtime_control::runtime_control_machine;
pub use runtime_ingress::runtime_ingress_machine;
pub use schedule_lifecycle::schedule_lifecycle_machine;
pub use session_tool_visibility::session_tool_visibility_machine;
pub use session_turn_admission::session_turn_admission_machine;
pub use turn_execution::turn_execution_machine;

pub fn canonical_machine_schemas() -> Vec<MachineSchema> {
    vec![
        input_lifecycle_machine(),
        runtime_control_machine(),
        runtime_ingress_machine(),
        ops_lifecycle_machine(),
        schedule_lifecycle_machine(),
        session_tool_visibility_machine(),
        occurrence_lifecycle_machine(),
        peer_comms_machine(),
        peer_directory_reachability_machine(),
        external_tool_surface_machine(),
        session_turn_admission_machine(),
        turn_execution_machine(),
        mob_lifecycle_machine(),
        mob_member_lifecycle_machine(),
        mob_runtime_bridge_machine(),
        mob_wiring_machine(),
        mob_member_bootstrap_machine(),
        flow_run_machine(),
        mob_orchestrator_machine(),
        comms_drain_lifecycle_machine(),
        flow_frame_machine(),
        loop_iteration_machine(),
    ]
}

pub fn canonical_composition_schemas() -> Vec<CompositionSchema> {
    vec![
        runtime_pipeline_composition(),
        surface_event_runtime_bundle_composition(),
        continuation_runtime_bundle_composition(),
        external_tool_bundle_composition(),
        peer_runtime_bundle_composition(),
        ops_runtime_bundle_composition(),
        ops_peer_bundle_composition(),
        mob_bundle_composition(),
        flow_frame_loop_composition(),
        comms_drain_lifecycle_composition(),
    ]
}