| changeset 15274 | 42b710b0f883 |
| parent 15270 | 7446258fab98 |
| child 15275 | 66c987015f2d |
| 15273:bfd185ad03e7 | 15274:42b710b0f883 |
|---|---|
77 }; |
77 }; |
78 self.events.push(event); |
78 self.events.push(event); |
79 event_id |
79 event_id |
80 } |
80 } |
81 |
81 |
82 pub fn cancel(&mut self, gear_id: GearId) {} |
|
83 |
|
82 pub fn process(&mut self, time_step: FPNum) -> &OccurredEvents { |
84 pub fn process(&mut self, time_step: FPNum) -> &OccurredEvents { |
83 self.timeouts.clear(); |
85 self.timeouts.clear(); |
84 self.current_time += time_step; |
86 self.current_time += time_step; |
85 while self |
87 while self |
86 .events |
88 .events |