machine 0.0.1

compiler checked state machine development
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

#[macro_use]
extern crate machine;

machine!(TrafficLight {
  attributes {
    cars: u8
  }

  impl {

  }

  states {
    Green { }  => {
      next => Orange;
    };

    Orange { } => {
      next => Red;
    };

    Red { }    =>  {
      next => Green;
    };

  }
});

impl TrafficLight<Green> {
  pub fn pass_car(&mut self) {
    self.cars = self.cars + 1;
  }
}

#[test]
fn test() {
  let mut t = TrafficLight { state: Green, cars: 0 };
  t.pass_car();
  t.pass_car();
  let t = t.next();
  assert_eq!(t, TrafficLight { state: Orange, cars: 2 } );

  let t = t.next();
  assert_eq!(t, TrafficLight { state: Red, cars: 2 } );

  let mut t = t.next();
  t.pass_car();
  assert_eq!(t, TrafficLight { state: Green, cars: 3 } );
}