gecko/ipc/ipdl/test/cxx/PTestActorPunning.ipdl
2012-09-20 12:30:53 -07:00

40 lines
793 B
Plaintext

include protocol PTestActorPunningPunned;
include protocol PTestActorPunningSub;
include "mozilla/_ipdltest/IPDLUnitTestUtils.h";
using mozilla::_ipdltest::Bad;
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