Timer

Source on GitHub

Extension Functions

timer.destr

public function timer.destr()

timer.getElapsed

public function timer.getElapsed() returns real

timer.getHandleId

public function timer.getHandleId() returns int

timer.pause

public function timer.pause()

timer.getRemaining

public function timer.getRemaining() returns real

timer.resume

public function timer.resume()

timer.start

public function timer.start(real time, code timerCallBack)

timer.startPeriodic

public function timer.startPeriodic(real time, code timerCallBack)