michael@0: include protocol PTestOpensOpened;
michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: 
michael@0: protocol PTestOpens {
michael@0:     // This channel is opened and parked on a non-main thread
michael@0:     child opens PTestOpensOpened;
michael@0: 
michael@0: child:
michael@0:     Start();
michael@0: 
michael@0: parent:
michael@0:     __delete__();
michael@0: 
michael@0: state START:
michael@0:     send Start goto DEAD;
michael@0: state DEAD:
michael@0:     recv __delete__;
michael@0: };
michael@0: 
michael@0: 
michael@0: } // namespace mozilla
michael@0: } // namespace _ipdltest