class BranchManager(Protocol[
A BranchManager
controls a group of timers in a branch scheduler created with branch
; pausing the passage of time in the branch, unpausing it, or making its relative rate of progress faster or slower.
Method | change |
Change the relative scale of the time coordinate system for this branch and for its trunk to the new, given scale. i.e.: with a scale of timesFaster(2.0), that means time is running 2 times faster in this ... |
Method | pause |
Pause the passage of time in the branched scheduler, causing its now to stop advancing and causing any timers schedule with it via Scheduler.callAt to stop running. |
Method | unpause |
Start the branched scheduler running again. |
Change the relative scale of the time coordinate system for this branch and for its trunk to the new, given scale. i.e.: with a scale of timesFaster(2.0), that means time is running 2 times faster in this BranchManager
's temporal coordinate system, and scheduler.callAt(3.0, X) will run X when the trunk's current timestamp is 1.5.
Pause the passage of time in the branched scheduler, causing its now to stop advancing and causing any timers schedule with it via Scheduler.callAt
to stop running.