2.5.27. Timer¶
TODO.
2.5.27.1. Instruction¶
-
timer.cancelop1[timer::Cancel]¶ Operator 1: ref<timer> Cancels the timer op1. This also detaches the timer from its manager, and allows it to be rescheduled subsequently.
-
timer.updateop1 op2[timer::Update]¶ Operator 1: ref<timer> Operator 2: time Adjusts op1‘s expiration time to op2. Raises
TimerNotScheduledif the timer is not scheduled with a timer manager.