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 PTestMultiMgrs {
michael@0:     manages PTestMultiMgrsLeft;
michael@0:     manages PTestMultiMgrsRight;
michael@0: 
michael@0: parent:
michael@0:     OK();
michael@0: 
michael@0: child:
michael@0:     PTestMultiMgrsLeft();
michael@0:     PTestMultiMgrsRight();
michael@0:     Check();
michael@0:     __delete__();
michael@0: 
michael@0: state START:
michael@0:     send PTestMultiMgrsLeft goto CONSTRUCT_RIGHT;
michael@0: state CONSTRUCT_RIGHT:
michael@0:     send PTestMultiMgrsRight goto CHILD_CHECK;
michael@0: state CHILD_CHECK:
michael@0:     send Check goto CHILD_ACK;
michael@0: state CHILD_ACK:
michael@0:     recv OK goto DONE;
michael@0: 
michael@0: state DONE:
michael@0:     send __delete__;
michael@0: };
michael@0: 
michael@0: } // namespace _ipdltest
michael@0: } // namespace mozilla