michael@0: include protocol PTestMultiMgrs;
michael@0: include protocol PTestMultiMgrsBottom;
michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: protocol PTestMultiMgrsLeft {
michael@0:     manager PTestMultiMgrs;
michael@0: 
michael@0:     manages PTestMultiMgrsBottom;
michael@0: 
michael@0: child:
michael@0:     PTestMultiMgrsBottom();
michael@0:     __delete__();
michael@0: 
michael@0: state START:
michael@0:     send PTestMultiMgrsBottom goto DONE;
michael@0: 
michael@0: state DONE:
michael@0:     send __delete__;
michael@0: };
michael@0: 
michael@0: } // namespace _ipdltest
michael@0: } // namespace mozilla