Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
2 namespace mozilla {
3 namespace _ipdltest {
6 protocol PTestSanity {
8 child:
9 Ping(int zero, float zeroPtFive, int8_t dummy);
10 __delete__();
12 parent:
13 Pong(int one, float zeroPtTwoFive, uint8_t dummy);
16 state PING:
17 send Ping goto PONG;
19 state PONG:
20 recv Pong goto DEAD;
22 state DEAD:
23 send __delete__;
24 };
27 } // namespace mozilla
28 } // namespace _ipdltest