michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: 
michael@0: protocol PTestSanity {
michael@0: 
michael@0: child:
michael@0:     Ping(int zero, float zeroPtFive, int8_t dummy);
michael@0:     __delete__();
michael@0: 
michael@0: parent:
michael@0:     Pong(int one, float zeroPtTwoFive, uint8_t dummy);
michael@0: 
michael@0: 
michael@0: state PING:
michael@0:     send Ping goto PONG;
michael@0: 
michael@0: state PONG:
michael@0:     recv Pong goto DEAD;
michael@0: 
michael@0: state DEAD:
michael@0:     send __delete__;
michael@0: };
michael@0: 
michael@0: 
michael@0: } // namespace mozilla
michael@0: } // namespace _ipdltest