2.5.27. Timer¶
TODO.
2.5.27.1. Instruction¶
-
timer.cancel
op1
[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.update
op1 op2
[timer::Update]
¶ Operator 1: ref<timer> Operator 2: time Adjusts op1‘s expiration time to op2. Raises
TimerNotScheduled
if the timer is not scheduled with a timer manager.