michael@0: include protocol PTestShutdown;
michael@0: include protocol PTestShutdownSubsub;
michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: intr protocol PTestShutdownSub {
michael@0:     manager PTestShutdown;
michael@0:     manages PTestShutdownSubsub;
michael@0: 
michael@0: both:
michael@0:     intr StackFrame();
michael@0: 
michael@0: parent:
michael@0:     PTestShutdownSubsub(bool expectParentDeleted);
michael@0:     sync __delete__();
michael@0: 
michael@0: state CREATING:
michael@0:     recv PTestShutdownSubsub goto CREATING;
michael@0:     answer StackFrame goto DUMMYFRAME;
michael@0: 
michael@0: state DUMMYFRAME:
michael@0:     call StackFrame goto DEAD;
michael@0: 
michael@0: state DEAD:
michael@0:     recv __delete__;
michael@0: };
michael@0: 
michael@0: } // namespace _ipdltest
michael@0: } // namespace mozilla