Gamma: Version 4.0
Prev
Next
XVII. Time, Date, and Timers
Table of Contents
after
-- performs an action after a period of time.
at
-- performs an action at a given time, or regularly.
block_timers
,
unblock_timers
-- block and unblock timer firing.
cancel
-- removes a timer from the set of pending timers.
clock
,
nanoclock
-- get the OS time.
date
-- gets the OS date and time; translates seconds into dates.
date_of
-- is obsolete, see
date
every
-- performs an action every number of seconds.
timer_is_proxy
-- controls timer handling in Gamma.
Prev
Home
Next
when_set_fns
Up
after
Copyright 1995-2002 by Cogent Real-Time Systems, Inc.