Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
2 include protocol PTestActorPunningPunned;
3 include protocol PTestActorPunningSub;
4 include "mozilla/_ipdltest/IPDLUnitTestUtils.h";
6 using struct mozilla::_ipdltest::Bad from "mozilla/_ipdltest/IPDLUnitTestUtils.h";
8 namespace mozilla {
9 namespace _ipdltest {
11 protocol PTestActorPunning {
12 manages PTestActorPunningPunned;
13 manages PTestActorPunningSub;
15 child:
16 Start();
18 parent:
19 PTestActorPunningPunned();
20 PTestActorPunningSub();
21 Pun(PTestActorPunningSub a, Bad bad);
22 __delete__();
25 state PING:
26 send Start goto CONSTRUCTING;
28 state CONSTRUCTING:
29 recv PTestActorPunningPunned goto CONSTRUCTING;
30 recv PTestActorPunningSub goto CONSTRUCTING;
31 recv Pun goto DEAD;
32 // We never make it past this transition, --> error.
34 state DEAD:
35 recv __delete__;
36 };
38 } // namespace mozilla
39 } // namespace _ipdltest