|
1 include protocol PTestMultiMgrsLeft; |
|
2 include protocol PTestMultiMgrsRight; |
|
3 |
|
4 namespace mozilla { |
|
5 namespace _ipdltest { |
|
6 |
|
7 protocol PTestMultiMgrs { |
|
8 manages PTestMultiMgrsLeft; |
|
9 manages PTestMultiMgrsRight; |
|
10 |
|
11 parent: |
|
12 OK(); |
|
13 |
|
14 child: |
|
15 PTestMultiMgrsLeft(); |
|
16 PTestMultiMgrsRight(); |
|
17 Check(); |
|
18 __delete__(); |
|
19 |
|
20 state START: |
|
21 send PTestMultiMgrsLeft goto CONSTRUCT_RIGHT; |
|
22 state CONSTRUCT_RIGHT: |
|
23 send PTestMultiMgrsRight goto CHILD_CHECK; |
|
24 state CHILD_CHECK: |
|
25 send Check goto CHILD_ACK; |
|
26 state CHILD_ACK: |
|
27 recv OK goto DONE; |
|
28 |
|
29 state DONE: |
|
30 send __delete__; |
|
31 }; |
|
32 |
|
33 } // namespace _ipdltest |
|
34 } // namespace mozilla |