mirror of
https://gitlab.winehq.org/wine/wine-gecko.git
synced 2024-09-13 09:24:08 -07:00
40 lines
845 B
Plaintext
40 lines
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
|