|
1 namespace mozilla { |
|
2 namespace _ipdltest { |
|
3 |
|
4 intr protocol PTestRacyInterruptReplies { |
|
5 child: |
|
6 intr R_() returns (int replyNum); |
|
7 async _A(); |
|
8 async ChildTest(); |
|
9 async __delete__(); |
|
10 |
|
11 parent: |
|
12 intr _R() returns (int replyNum); |
|
13 async A_(); |
|
14 |
|
15 state PARENT_START: |
|
16 call R_ goto PARENT_S1; |
|
17 |
|
18 state PARENT_S1: |
|
19 recv A_ goto PARENT_S2; |
|
20 |
|
21 state PARENT_S2: |
|
22 call R_ goto CHILD_TEST; |
|
23 |
|
24 state CHILD_TEST: |
|
25 send ChildTest goto CHILD_START; |
|
26 |
|
27 state CHILD_START: |
|
28 answer _R goto CHILD_S1; |
|
29 |
|
30 state CHILD_S1: |
|
31 send _A goto CHILD_S2; |
|
32 |
|
33 state CHILD_S2: |
|
34 answer _R goto DYING; |
|
35 |
|
36 state DYING: |
|
37 send __delete__; |
|
38 }; |
|
39 |
|
40 } // namespace _ipdltest |
|
41 } // namespace mozilla |