Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
1 namespace mozilla {
2 namespace _ipdltest {
4 intr protocol PTestRacyInterruptReplies {
5 child:
6 intr R_() returns (int replyNum);
7 async _A();
8 async ChildTest();
9 async __delete__();
11 parent:
12 intr _R() returns (int replyNum);
13 async A_();
15 state PARENT_START:
16 call R_ goto PARENT_S1;
18 state PARENT_S1:
19 recv A_ goto PARENT_S2;
21 state PARENT_S2:
22 call R_ goto CHILD_TEST;
24 state CHILD_TEST:
25 send ChildTest goto CHILD_START;
27 state CHILD_START:
28 answer _R goto CHILD_S1;
30 state CHILD_S1:
31 send _A goto CHILD_S2;
33 state CHILD_S2:
34 answer _R goto DYING;
36 state DYING:
37 send __delete__;
38 };
40 } // namespace _ipdltest
41 } // namespace mozilla