Wed, 31 Dec 2014 13:27:57 +0100
Ignore runtime configuration files generated during quality assurance.
michael@0 | 1 | include protocol PTestShutdown; |
michael@0 | 2 | include protocol PTestShutdownSubsub; |
michael@0 | 3 | |
michael@0 | 4 | namespace mozilla { |
michael@0 | 5 | namespace _ipdltest { |
michael@0 | 6 | |
michael@0 | 7 | intr protocol PTestShutdownSub { |
michael@0 | 8 | manager PTestShutdown; |
michael@0 | 9 | manages PTestShutdownSubsub; |
michael@0 | 10 | |
michael@0 | 11 | both: |
michael@0 | 12 | intr StackFrame(); |
michael@0 | 13 | |
michael@0 | 14 | parent: |
michael@0 | 15 | PTestShutdownSubsub(bool expectParentDeleted); |
michael@0 | 16 | sync __delete__(); |
michael@0 | 17 | |
michael@0 | 18 | state CREATING: |
michael@0 | 19 | recv PTestShutdownSubsub goto CREATING; |
michael@0 | 20 | answer StackFrame goto DUMMYFRAME; |
michael@0 | 21 | |
michael@0 | 22 | state DUMMYFRAME: |
michael@0 | 23 | call StackFrame goto DEAD; |
michael@0 | 24 | |
michael@0 | 25 | state DEAD: |
michael@0 | 26 | recv __delete__; |
michael@0 | 27 | }; |
michael@0 | 28 | |
michael@0 | 29 | } // namespace _ipdltest |
michael@0 | 30 | } // namespace mozilla |