nbody.Semaphore.go
void go()
Vars:
Semaphore TEMP$3,
Semaphore TEMP$2,
Body TEMP$0,
Body TEMP$1.
| Queue | Object |
|---|
| q0 | ARG |
| q1 | TEMP |
| q2 | TEMP2 |
| q3 | TEMP3 |
| q4 | TEMP4 |
| q5 | LOADADDR |
| q6 | LOADDATA |
| q7 | THIS |
| q8 | TEMP$0 |
| q9 | TEMP$1 |
| q10 | TEMP$2 |
| q11 | TEMP$3 |
- go_top6
-
(TEST (IVARREF (THIS) bottom))
- true_branch7
-
(ASSIGN (ENQUEUE NO TEMP$0) (IVARREF (THIS) child1))
(CALL (METHODACCESS (DEQUEUE NO TEMP$0) People.Method:move))
(ASSIGN (ENQUEUE NO TEMP$1) (IVARREF (THIS) child2))
(CALL (METHODACCESS (DEQUEUE NO TEMP$1) People.Method:move))
- after_if8
-
- false_branch9
-
(ASSIGN (ENQUEUE NO TEMP$2) (IVARREF (THIS) sem1))
(CALL (METHODACCESS (DEQUEUE NO TEMP$2) People.Method:go))
(ASSIGN (ENQUEUE NO TEMP$3) (IVARREF (THIS) sem2))
(CALL (METHODACCESS (DEQUEUE NO TEMP$3) People.Method:go))