зеркало из https://github.com/mozilla/gecko-dev.git
40 строки
845 B
Plaintext
40 строки
845 B
Plaintext
|
|
include protocol PTestActorPunningPunned;
|
|
include protocol PTestActorPunningSub;
|
|
include "mozilla/_ipdltest/IPDLUnitTestUtils.h";
|
|
|
|
using struct mozilla::_ipdltest::Bad from "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
|