mirror of
https://repo.dactyloidae.xyz/Dactyloidae/UXP.git
synced 2026-09-19 14:57:32 +09:00
34 lines
436 B
Text
34 lines
436 B
Text
|
|
namespace mozilla {
|
|
namespace _ipdltest {
|
|
|
|
|
|
intr protocol PTestNestedLoops {
|
|
|
|
child:
|
|
async Start();
|
|
intr R();
|
|
async __delete__();
|
|
|
|
parent:
|
|
async Nonce();
|
|
|
|
|
|
state START:
|
|
send Start goto RACE;
|
|
|
|
state RACE:
|
|
recv Nonce goto RACE1;
|
|
call R goto RACE2;
|
|
state RACE1:
|
|
call R goto DEAD;
|
|
state RACE2:
|
|
recv Nonce goto DEAD;
|
|
|
|
state DEAD:
|
|
send __delete__;
|
|
};
|
|
|
|
|
|
} // namespace mozilla
|
|
} // namespace _ipdltest
|