ipc/ipdl/test/cxx/PTestNestedLoops.ipdl@b8a032363ba2 (annotated)
ipc/ipdl/test/cxx/PTestNestedLoops.ipdl
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
| michael@0 | 1 | |
| michael@0 | 2 | namespace mozilla { |
| michael@0 | 3 | namespace _ipdltest { |
| michael@0 | 4 | |
| michael@0 | 5 | |
| michael@0 | 6 | intr protocol PTestNestedLoops { |
| michael@0 | 7 | |
| michael@0 | 8 | child: |
| michael@0 | 9 | async Start(); |
| michael@0 | 10 | intr R(); |
| michael@0 | 11 | __delete__(); |
| michael@0 | 12 | |
| michael@0 | 13 | parent: |
| michael@0 | 14 | async Nonce(); |
| michael@0 | 15 | |
| michael@0 | 16 | |
| michael@0 | 17 | state START: |
| michael@0 | 18 | send Start goto RACE; |
| michael@0 | 19 | |
| michael@0 | 20 | state RACE: |
| michael@0 | 21 | recv Nonce goto RACE1; |
| michael@0 | 22 | call R goto RACE2; |
| michael@0 | 23 | state RACE1: |
| michael@0 | 24 | call R goto DEAD; |
| michael@0 | 25 | state RACE2: |
| michael@0 | 26 | recv Nonce goto DEAD; |
| michael@0 | 27 | |
| michael@0 | 28 | state DEAD: |
| michael@0 | 29 | send __delete__; |
| michael@0 | 30 | }; |
| michael@0 | 31 | |
| michael@0 | 32 | |
| michael@0 | 33 | } // namespace mozilla |
| michael@0 | 34 | } // namespace _ipdltest |
