A State-Based Programming Model for Wireless Sensor Networks

158 Appendix A. OSM Code Generation
1 // -------------------------------------------------------
2 // test.osm -- A program for testing the OSM compiler
3 // -------------------------------------------------------
4
5 state PROG {
6 state PROG_1 {
7
8 initial state A {
9 var int a;
10 onEntry: start/ inA();
11 e / outA() -> B;
12 f / outA() -> A;
13 } // end state A
14
15 state B {
16 var int b;
17 f / outB() -> C;
18 e / -> C;
19 } // end state B
20
21 state C {
22 var int c;
23 onEntry: B -> f/ inC1();
24 onEntry: B -> e/ inC2();
25 } // end state C
26
27 } // end PROG_1
28 ||
29 state PROG_2 {
30 initial state D {
31 var int a;
32
33 initial state E {
34 var int b;
35 onEntry: f / inE(a, b);
36 f / outE() -> F;
37 // onPreemption: prE();
38 } // end state E
39 state F {
40 var int a;
41 var int c;
42 f / outF(a, c) -> E;
43 } // end state F
44
45 e / outD() -> G;
46 } // end state D
47
48 state G { e / -> D; }
49 } // end PROG_2
50 } // end PROG