actionqueue-core 0.1.2

Pure domain types and state machine for the ActionQueue durable task queue engine.
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

//! Property-based tests for state machine transition invariants.

use actionqueue_core::run::state::RunState;
use actionqueue_core::run::transitions::is_valid_transition;
use proptest::prelude::*;

fn arb_run_state() -> impl Strategy<Value = RunState> {
    prop_oneof![
        Just(RunState::Scheduled),
        Just(RunState::Ready),
        Just(RunState::Leased),
        Just(RunState::Running),
        Just(RunState::RetryWait),
        Just(RunState::Completed),
        Just(RunState::Failed),
        Just(RunState::Canceled),
    ]
}

fn config() -> ProptestConfig {
    ProptestConfig::with_cases(256)
}

proptest! {
    #![proptest_config(config())]

    #[test]
    fn terminal_states_have_no_valid_outgoing_transitions(
        to in arb_run_state(),
    ) {
        let terminal_states = [RunState::Completed, RunState::Failed, RunState::Canceled];
        for from in &terminal_states {
            prop_assert!(
                !is_valid_transition(*from, to),
                "terminal state {:?} should have no valid transition to {:?}",
                from,
                to,
            );
        }
    }

    #[test]
    fn valid_transition_implies_from_differs_from_to(
        from in arb_run_state(),
        to in arb_run_state(),
    ) {
        if is_valid_transition(from, to) {
            prop_assert_ne!(
                from, to,
                "valid transition must go to a different state, but got {:?} -> {:?}",
                from, to,
            );
        }
    }

    #[test]
    fn no_backward_transitions_from_terminal_states(
        from in prop_oneof![
            Just(RunState::Completed),
            Just(RunState::Failed),
            Just(RunState::Canceled),
        ],
        to in arb_run_state(),
    ) {
        prop_assert!(
            !is_valid_transition(from, to),
            "no transition should succeed from terminal state {:?} to {:?}",
            from,
            to,
        );
    }
}