changeset 15295 | 42b710b0f883 |
parent 15291 | 7446258fab98 |
child 15296 | 66c987015f2d |
15294:bfd185ad03e7 | 15295: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 |