# $EPIC: timerctl,v 1.2 2005/03/12 05:23:23 jnelson Exp $
Synopsis:
   $timerctl(REFNUMS)
   $timerctl(REFNUM <refnum>)
   $timerctl(ADD <refnum> <interval> <events> <commands> <subargs> <window>)
                                                     (NOT IMPLEMENTED YET)
   $timerctl(DELETE <refnum>)
   $timerctl(GET <refnum> <item>)
   $timerctl(SET <refnum> <item> <value>)

Technical:
   * This function is a low-level interface to the client's timer system.
   * The REFNUMS operation returns all of the timer names (refnums) that
     are currently pending, including any system timers that may not be 
     visible from the /timer command.
   * The REFNUM operation returns <refnum> if <refnum> is a pending timer.
   * The ADD operation isn't implemented yet.  Sorry.
   * The DELETE operation removes a pending timer.  It returns 0 on success,
     and the empty string if the timer doesn't exist or is a system timer.
   * The GET/SET operators work by retreiving or setting attributes of the
     pending timers.  The SET operator always returns the empty string, 
     whether the operation succeeded or failed.  The GET operator returns
     the empty string if the requested timer doesn't exist.
        TIMEOUT:  The $utime() when the timer expires.
        COMMAND:  The commands that will be run when timer expires
        SUBARGS:  The value that $* will have when timer is run.
        REPEATS:  The number of times this timer should be run
        INTERVAL: The $utime() between REPEATs.
        SERVER:   The server in whose context the timer is run.
        WINDOW:   The window in whose context the timer is run.

See Also:
   timer(5)

History:
   The $timerctl() function first appeared in EPIC4-1.1.8.
