typestate 0.8.0

A proc macro DSL for typestates
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

use typestate::typestate;

#[typestate]
mod smart_bulb {
    #[automaton]
    struct SmartBulb {
        cycles: u64
    }

    #[state] struct Off;
    trait Off {
        fn screw() -> Off;
        fn unscrew(self);
        fn turn_on(self) -> On; // Off => On transition
    }

    #[state] struct On;
    trait On {
        fn turn_off(self) -> Off;
        fn get_color(&self);
        fn set_color(self, color: (u8, u8, u8)) -> Unknown;
    }

    enum Unknown {
        #[metadata(label = "bulb changed color successfully")]
        On,
        #[metadata(label = "bulb failed and turned off")]
        Off
    }
}

fn main() {}