michael@0: include protocol PTestDescSub;
michael@0: include protocol PTestDescSubsub;
michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: intr protocol PTestDesc {
michael@0:     manages PTestDescSub; 
michael@0: child:
michael@0:     intr PTestDescSub(nullable PTestDescSubsub dummy);
michael@0: 
michael@0:     Test(PTestDescSubsub a);
michael@0: 
michael@0:     __delete__();
michael@0: 
michael@0: parent:
michael@0:     Ok(PTestDescSubsub a);
michael@0: 
michael@0: 
michael@0: state CONSTRUCT:
michael@0:     call PTestDescSub goto TEST;
michael@0: state TEST:
michael@0:     send Test goto ACK;
michael@0: state ACK:
michael@0:     recv Ok goto DEAD;
michael@0: state DEAD:
michael@0:     send __delete__;
michael@0: };
michael@0: 
michael@0: }
michael@0: }