|
1 |
|
2 include protocol PTestActorPunningPunned; |
|
3 include protocol PTestActorPunningSub; |
|
4 include "mozilla/_ipdltest/IPDLUnitTestUtils.h"; |
|
5 |
|
6 using struct mozilla::_ipdltest::Bad from "mozilla/_ipdltest/IPDLUnitTestUtils.h"; |
|
7 |
|
8 namespace mozilla { |
|
9 namespace _ipdltest { |
|
10 |
|
11 protocol PTestActorPunning { |
|
12 manages PTestActorPunningPunned; |
|
13 manages PTestActorPunningSub; |
|
14 |
|
15 child: |
|
16 Start(); |
|
17 |
|
18 parent: |
|
19 PTestActorPunningPunned(); |
|
20 PTestActorPunningSub(); |
|
21 Pun(PTestActorPunningSub a, Bad bad); |
|
22 __delete__(); |
|
23 |
|
24 |
|
25 state PING: |
|
26 send Start goto CONSTRUCTING; |
|
27 |
|
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. |
|
33 |
|
34 state DEAD: |
|
35 recv __delete__; |
|
36 }; |
|
37 |
|
38 } // namespace mozilla |
|
39 } // namespace _ipdltest |