|
1 namespace mozilla { |
|
2 namespace _ipdltest { |
|
3 |
|
4 intr protocol PTestInterruptShutdownRace { |
|
5 parent: |
|
6 sync StartDeath(); |
|
7 async Orphan(); |
|
8 |
|
9 child: |
|
10 async Start(); |
|
11 intr Exit(); |
|
12 async __delete__(); |
|
13 |
|
14 state START: |
|
15 send Start goto START_DEATH; |
|
16 |
|
17 state START_DEATH: |
|
18 recv StartDeath goto EXITING; |
|
19 |
|
20 state EXITING: |
|
21 recv Orphan goto QUITTING1; |
|
22 call Exit goto QUITTING2; |
|
23 |
|
24 state QUITTING1: |
|
25 call Exit goto DEAD; |
|
26 state QUITTING2: |
|
27 recv Orphan goto DEAD; |
|
28 |
|
29 state DEAD: |
|
30 send __delete__; |
|
31 }; |
|
32 |
|
33 } // namespace _ipdltest |
|
34 } // namespace mozilla |