зеркало из https://github.com/mozilla/gecko-dev.git
38 строки
761 B
Plaintext
38 строки
761 B
Plaintext
|
|
||
|
include protocol PTestActorPunningPunned;
|
||
|
include protocol PTestActorPunningSub;
|
||
|
include "mozilla/_ipdltest/IPDLUnitTestUtils.h";
|
||
|
|
||
|
namespace mozilla {
|
||
|
namespace _ipdltest {
|
||
|
|
||
|
protocol PTestActorPunning {
|
||
|
manages PTestActorPunningPunned;
|
||
|
manages PTestActorPunningSub;
|
||
|
|
||
|
child:
|
||
|
Start();
|
||
|
|
||
|
parent:
|
||
|
PTestActorPunningPunned();
|
||
|
PTestActorPunningSub();
|
||
|
Pun(PTestActorPunningSub a, Bad bad);
|
||
|
__delete__();
|
||
|
|
||
|
|
||
|
state PING:
|
||
|
send Start goto CONSTRUCTING;
|
||
|
|
||
|
state CONSTRUCTING:
|
||
|
recv PTestActorPunningPunned goto CONSTRUCTING;
|
||
|
recv PTestActorPunningSub goto CONSTRUCTING;
|
||
|
recv Pun goto DEAD;
|
||
|
// We never make it past this transition, --> error.
|
||
|
|
||
|
state DEAD:
|
||
|
recv __delete__;
|
||
|
};
|
||
|
|
||
|
} // namespace mozilla
|
||
|
} // namespace _ipdltest
|