tests/test3


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

machine light_bulb
[
	states [ light_on , light_off ];
	events [ switch_state , turn_on , turn_off ];

	starting on light_off;

	transitions
	[
		from light_on to light_off on event switch_state execute light_switch();
		from light_off to light_on on event switch_state execute light_switch();

		from light_on to light_off on event turn_on execute light_switch();
		from light_off to light_on on event turn_off execute light_switch();
	];
];

transition light_switch()
{

}