ipc/ipdl/test/cxx/PTestRacyInterruptReplies.ipdl@8bccb770b82d (annotated)
ipc/ipdl/test/cxx/PTestRacyInterruptReplies.ipdl
Wed, 31 Dec 2014 13:27:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 13:27:57 +0100
- branch
- TOR_BUG_3246
- changeset 6
- 8bccb770b82d
- permissions
- -rw-r--r--
Ignore runtime configuration files generated during quality assurance.
| michael@0 | 1 | namespace mozilla { |
| michael@0 | 2 | namespace _ipdltest { |
| michael@0 | 3 | |
| michael@0 | 4 | intr protocol PTestRacyInterruptReplies { |
| michael@0 | 5 | child: |
| michael@0 | 6 | intr R_() returns (int replyNum); |
| michael@0 | 7 | async _A(); |
| michael@0 | 8 | async ChildTest(); |
| michael@0 | 9 | async __delete__(); |
| michael@0 | 10 | |
| michael@0 | 11 | parent: |
| michael@0 | 12 | intr _R() returns (int replyNum); |
| michael@0 | 13 | async A_(); |
| michael@0 | 14 | |
| michael@0 | 15 | state PARENT_START: |
| michael@0 | 16 | call R_ goto PARENT_S1; |
| michael@0 | 17 | |
| michael@0 | 18 | state PARENT_S1: |
| michael@0 | 19 | recv A_ goto PARENT_S2; |
| michael@0 | 20 | |
| michael@0 | 21 | state PARENT_S2: |
| michael@0 | 22 | call R_ goto CHILD_TEST; |
| michael@0 | 23 | |
| michael@0 | 24 | state CHILD_TEST: |
| michael@0 | 25 | send ChildTest goto CHILD_START; |
| michael@0 | 26 | |
| michael@0 | 27 | state CHILD_START: |
| michael@0 | 28 | answer _R goto CHILD_S1; |
| michael@0 | 29 | |
| michael@0 | 30 | state CHILD_S1: |
| michael@0 | 31 | send _A goto CHILD_S2; |
| michael@0 | 32 | |
| michael@0 | 33 | state CHILD_S2: |
| michael@0 | 34 | answer _R goto DYING; |
| michael@0 | 35 | |
| michael@0 | 36 | state DYING: |
| michael@0 | 37 | send __delete__; |
| michael@0 | 38 | }; |
| michael@0 | 39 | |
| michael@0 | 40 | } // namespace _ipdltest |
| michael@0 | 41 | } // namespace mozilla |
