michael@0: include protocol PTestMultiMgrsLeft;
michael@0: include protocol PTestMultiMgrsRight;
michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: protocol PTestMultiMgrsBottom {
michael@0:     manager PTestMultiMgrsLeft or PTestMultiMgrsRight;
michael@0: 
michael@0: child:
michael@0:     __delete__();
michael@0: 
michael@0: state DOA:
michael@0:     send __delete__;
michael@0: };
michael@0: 
michael@0: } // namespace _ipdltest
michael@0: } // namespace mozilla