tinystate 0.1.1

Fast and tiny finite state machine
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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

use tinystate::Events;
use tinystate::StateMachineBuilder;
use tinystate::States;

#[derive(Debug, PartialEq, States)]
enum VendingState {
    Idle,
    Has25Cents,
    Has50Cents,
    Has75Cents,
    ReadyToDispense,
    Dispensing,
}

#[derive(Debug, Events)]
enum VendingEvent {
    Insert25Cents,
    Insert50Cents,
    SelectItem,
    Cancel,
    DispenseComplete,
}

fn main() {
    let mut machine = StateMachineBuilder::<VendingState, VendingEvent, 6, 5>::new()
        .initial(VendingState::Idle)
        .transition(
            VendingState::Idle,
            VendingEvent::Insert25Cents,
            VendingState::Has25Cents,
        )
        .transition(
            VendingState::Idle,
            VendingEvent::Insert50Cents,
            VendingState::Has50Cents,
        )
        .self_loop(VendingState::Idle, VendingEvent::SelectItem)
        .self_loop(VendingState::Idle, VendingEvent::Cancel)
        .self_loop(VendingState::Idle, VendingEvent::DispenseComplete)
        .transition(
            VendingState::Has25Cents,
            VendingEvent::Insert25Cents,
            VendingState::Has50Cents,
        )
        .transition(
            VendingState::Has25Cents,
            VendingEvent::Insert50Cents,
            VendingState::Has75Cents,
        )
        .self_loop(VendingState::Has25Cents, VendingEvent::SelectItem)
        .transition(
            VendingState::Has25Cents,
            VendingEvent::Cancel,
            VendingState::Idle,
        )
        .self_loop(VendingState::Has25Cents, VendingEvent::DispenseComplete)
        .transition(
            VendingState::Has50Cents,
            VendingEvent::Insert25Cents,
            VendingState::Has75Cents,
        )
        .transition(
            VendingState::Has50Cents,
            VendingEvent::Insert50Cents,
            VendingState::ReadyToDispense,
        )
        .self_loop(VendingState::Has50Cents, VendingEvent::SelectItem)
        .transition(
            VendingState::Has50Cents,
            VendingEvent::Cancel,
            VendingState::Idle,
        )
        .self_loop(VendingState::Has50Cents, VendingEvent::DispenseComplete)
        .transition(
            VendingState::Has75Cents,
            VendingEvent::Insert25Cents,
            VendingState::ReadyToDispense,
        )
        .self_loop(VendingState::Has75Cents, VendingEvent::Insert50Cents)
        .self_loop(VendingState::Has75Cents, VendingEvent::SelectItem)
        .transition(
            VendingState::Has75Cents,
            VendingEvent::Cancel,
            VendingState::Idle,
        )
        .self_loop(VendingState::Has75Cents, VendingEvent::DispenseComplete)
        .self_loop(VendingState::ReadyToDispense, VendingEvent::Insert25Cents)
        .self_loop(VendingState::ReadyToDispense, VendingEvent::Insert50Cents)
        .transition(
            VendingState::ReadyToDispense,
            VendingEvent::SelectItem,
            VendingState::Dispensing,
        )
        .transition(
            VendingState::ReadyToDispense,
            VendingEvent::Cancel,
            VendingState::Idle,
        )
        .self_loop(
            VendingState::ReadyToDispense,
            VendingEvent::DispenseComplete,
        )
        .self_loop(VendingState::Dispensing, VendingEvent::Insert25Cents)
        .self_loop(VendingState::Dispensing, VendingEvent::Insert50Cents)
        .self_loop(VendingState::Dispensing, VendingEvent::SelectItem)
        .self_loop(VendingState::Dispensing, VendingEvent::Cancel)
        .transition(
            VendingState::Dispensing,
            VendingEvent::DispenseComplete,
            VendingState::Idle,
        )
        .build()
        .unwrap();

    println!("Vending Machine Simulator");
    println!("Item cost: $1.00\n");

    println!("State: {:?}", machine.current());

    machine.trigger(VendingEvent::Insert25Cents);
    println!("Inserted 25 cents -> State: {:?}", machine.current());

    machine.trigger(VendingEvent::Insert25Cents);
    println!("Inserted 25 cents -> State: {:?}", machine.current());

    machine.trigger(VendingEvent::Insert25Cents);
    println!("Inserted 25 cents -> State: {:?}", machine.current());

    machine.trigger(VendingEvent::Insert25Cents);
    println!("Inserted 25 cents -> State: {:?}", machine.current());

    machine.trigger(VendingEvent::SelectItem);
    println!("Selected item -> State: {:?}", machine.current());

    machine.trigger(VendingEvent::DispenseComplete);
    println!("Dispensed item -> State: {:?}", machine.current());

    println!("\nStarting new transaction...");
    machine.trigger(VendingEvent::Insert50Cents);
    println!("Inserted 50 cents -> State: {:?}", machine.current());

    machine.trigger(VendingEvent::Cancel);
    println!("Cancelled (refund) -> State: {:?}", machine.current());
}