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 PTestInterruptShutdownRace {
5 parent:
6 sync StartDeath();
7 async Orphan();
9 child:
10 async Start();
11 intr Exit();
12 async __delete__();
14 state START:
15 send Start goto START_DEATH;
17 state START_DEATH:
18 recv StartDeath goto EXITING;
20 state EXITING:
21 recv Orphan goto QUITTING1;
22 call Exit goto QUITTING2;
24 state QUITTING1:
25 call Exit goto DEAD;
26 state QUITTING2:
27 recv Orphan goto DEAD;
29 state DEAD:
30 send __delete__;
31 };
33 } // namespace _ipdltest
34 } // namespace mozilla