13.21 Timehandler Interface

ORIGIN 'basicsystemenv';
LIB_DEF 'timehandler' '../lib';
BODY 'private/timehandlerbody';
(*
 * COPYRIGHT
 *       Copyright (C) Mjolner Informatics, 1984-96
 *       All rights reserved.
 *
 *)
--- systemLib:attributes ---
timeHandler:
  (* timeHandler handles the setting and unsetting of timers.
   * 
   * register takes a time to wait and an object reference. It returns
   * a unique id identifying the registration. If the registration is
   * not unregistered before the timer goes off, the object will be
   * executed.  Due to non-preemptive multitasking, it can only be
   * guaranteed that at least time seconds will elapse before obj is
   * executed.
   * 
   * unregister takes a registration id and unregisters the
   * registration.  If this happens before the corresponding timer
   * goes off, the registered object will not be executed.
   * 
   * init should be called before using the timeHandler.
   *)
  (# register:
       (# obj: ^Object; time: @Integer;
          id: @Integer;
       enter (obj[],time)
       ...
       exit id
       #);
     
     unregister:
       (# id: @Integer;
       enter id
       ...
       #);
     init:
       (#
       ...
       #);
     timeHandlerPrivate: @...;
  #)