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
michael@0 | 1 | include protocol PTestBridgeMain; |
michael@0 | 2 | include protocol PTestBridgeSub; |
michael@0 | 3 | |
michael@0 | 4 | namespace mozilla { |
michael@0 | 5 | namespace _ipdltest { |
michael@0 | 6 | |
michael@0 | 7 | // (Bridge protocols can have different semantics than the endpoints |
michael@0 | 8 | // they bridge) |
michael@0 | 9 | intr protocol PTestBridgeMainSub { |
michael@0 | 10 | bridges PTestBridgeMain, PTestBridgeSub; |
michael@0 | 11 | |
michael@0 | 12 | child: |
michael@0 | 13 | Hi(); |
michael@0 | 14 | intr HiRpc(); |
michael@0 | 15 | |
michael@0 | 16 | parent: |
michael@0 | 17 | Hello(); |
michael@0 | 18 | sync HelloSync(); |
michael@0 | 19 | intr HelloRpc(); |
michael@0 | 20 | __delete__(); |
michael@0 | 21 | |
michael@0 | 22 | state START: recv Hello goto HI; |
michael@0 | 23 | state HI: send Hi goto HELLO_SYNC; |
michael@0 | 24 | state HELLO_SYNC: recv HelloSync goto HELLO_RPC; |
michael@0 | 25 | state HELLO_RPC: answer HelloRpc goto HI_RPC; |
michael@0 | 26 | state HI_RPC: call HiRpc goto DEAD; |
michael@0 | 27 | state DEAD: |
michael@0 | 28 | recv __delete__; |
michael@0 | 29 | }; |
michael@0 | 30 | |
michael@0 | 31 | |
michael@0 | 32 | } // namespace mozilla |
michael@0 | 33 | } // namespace _ipdltest |