|
1 namespace mozilla { |
|
2 namespace _ipdltest2 { |
|
3 |
|
4 // (Opens protocols can have different semantics than the endpoints |
|
5 // that opened them) |
|
6 intr protocol PTestOpensOpened { |
|
7 child: |
|
8 Hi(); |
|
9 intr HiRpc(); |
|
10 |
|
11 parent: |
|
12 Hello(); |
|
13 sync HelloSync(); |
|
14 intr HelloRpc(); |
|
15 __delete__(); |
|
16 |
|
17 state START: recv Hello goto HI; |
|
18 state HI: send Hi goto HELLO_SYNC; |
|
19 state HELLO_SYNC: recv HelloSync goto HELLO_RPC; |
|
20 state HELLO_RPC: answer HelloRpc goto HI_RPC; |
|
21 state HI_RPC: call HiRpc goto DEAD; |
|
22 state DEAD: |
|
23 recv __delete__; |
|
24 }; |
|
25 |
|
26 |
|
27 } // namespace mozilla |
|
28 } // namespace _ipdltest2 |