Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | |
michael@0 | 2 | include protocol PTestActorPunningPunned; |
michael@0 | 3 | include protocol PTestActorPunningSub; |
michael@0 | 4 | include "mozilla/_ipdltest/IPDLUnitTestUtils.h"; |
michael@0 | 5 | |
michael@0 | 6 | using struct mozilla::_ipdltest::Bad from "mozilla/_ipdltest/IPDLUnitTestUtils.h"; |
michael@0 | 7 | |
michael@0 | 8 | namespace mozilla { |
michael@0 | 9 | namespace _ipdltest { |
michael@0 | 10 | |
michael@0 | 11 | protocol PTestActorPunning { |
michael@0 | 12 | manages PTestActorPunningPunned; |
michael@0 | 13 | manages PTestActorPunningSub; |
michael@0 | 14 | |
michael@0 | 15 | child: |
michael@0 | 16 | Start(); |
michael@0 | 17 | |
michael@0 | 18 | parent: |
michael@0 | 19 | PTestActorPunningPunned(); |
michael@0 | 20 | PTestActorPunningSub(); |
michael@0 | 21 | Pun(PTestActorPunningSub a, Bad bad); |
michael@0 | 22 | __delete__(); |
michael@0 | 23 | |
michael@0 | 24 | |
michael@0 | 25 | state PING: |
michael@0 | 26 | send Start goto CONSTRUCTING; |
michael@0 | 27 | |
michael@0 | 28 | state CONSTRUCTING: |
michael@0 | 29 | recv PTestActorPunningPunned goto CONSTRUCTING; |
michael@0 | 30 | recv PTestActorPunningSub goto CONSTRUCTING; |
michael@0 | 31 | recv Pun goto DEAD; |
michael@0 | 32 | // We never make it past this transition, --> error. |
michael@0 | 33 | |
michael@0 | 34 | state DEAD: |
michael@0 | 35 | recv __delete__; |
michael@0 | 36 | }; |
michael@0 | 37 | |
michael@0 | 38 | } // namespace mozilla |
michael@0 | 39 | } // namespace _ipdltest |