Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
michael@0 | 1 | include protocol PTestMultiMgrsLeft; |
michael@0 | 2 | include protocol PTestMultiMgrsRight; |
michael@0 | 3 | |
michael@0 | 4 | namespace mozilla { |
michael@0 | 5 | namespace _ipdltest { |
michael@0 | 6 | |
michael@0 | 7 | protocol PTestMultiMgrs { |
michael@0 | 8 | manages PTestMultiMgrsLeft; |
michael@0 | 9 | manages PTestMultiMgrsRight; |
michael@0 | 10 | |
michael@0 | 11 | parent: |
michael@0 | 12 | OK(); |
michael@0 | 13 | |
michael@0 | 14 | child: |
michael@0 | 15 | PTestMultiMgrsLeft(); |
michael@0 | 16 | PTestMultiMgrsRight(); |
michael@0 | 17 | Check(); |
michael@0 | 18 | __delete__(); |
michael@0 | 19 | |
michael@0 | 20 | state START: |
michael@0 | 21 | send PTestMultiMgrsLeft goto CONSTRUCT_RIGHT; |
michael@0 | 22 | state CONSTRUCT_RIGHT: |
michael@0 | 23 | send PTestMultiMgrsRight goto CHILD_CHECK; |
michael@0 | 24 | state CHILD_CHECK: |
michael@0 | 25 | send Check goto CHILD_ACK; |
michael@0 | 26 | state CHILD_ACK: |
michael@0 | 27 | recv OK goto DONE; |
michael@0 | 28 | |
michael@0 | 29 | state DONE: |
michael@0 | 30 | send __delete__; |
michael@0 | 31 | }; |
michael@0 | 32 | |
michael@0 | 33 | } // namespace _ipdltest |
michael@0 | 34 | } // namespace mozilla |