mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-30 21:55:31 +00:00
31 lines
562 B
Plaintext
31 lines
562 B
Plaintext
include protocol PTestShutdown;
|
|
include protocol PTestShutdownSubsub;
|
|
|
|
namespace mozilla {
|
|
namespace _ipdltest {
|
|
|
|
intr protocol PTestShutdownSub {
|
|
manager PTestShutdown;
|
|
manages PTestShutdownSubsub;
|
|
|
|
both:
|
|
intr StackFrame();
|
|
|
|
parent:
|
|
async PTestShutdownSubsub(bool expectParentDeleted);
|
|
sync __delete__();
|
|
|
|
state CREATING:
|
|
recv PTestShutdownSubsub goto CREATING;
|
|
answer StackFrame goto DUMMYFRAME;
|
|
|
|
state DUMMYFRAME:
|
|
call StackFrame goto DEAD;
|
|
|
|
state DEAD:
|
|
recv __delete__;
|
|
};
|
|
|
|
} // namespace _ipdltest
|
|
} // namespace mozilla
|