14.11 Time Interface

ORIGIN '~beta/basiclib/betaenv';
LIB_DEF 'sysutilstime' '../lib';
BODY 'private/timebody';

(*
 * COPYRIGHT
 *       Copyright Mjolner Informatics, 1992-96
 *       All rights reserved.
 *)

-- LIB: attributes --

systemTime:
  (* Exits the current time in a system-dependent format *)
  (# t: @integer;
  ...
  exit t
  #);

preciseTime:
  (* Same as SystemTime, except that it also returns the millisecond resolution
   * of time - note that the accuracy of the millisecond resolution is
   * system-dependent
   *) 
  (# time, millitm: @integer;
     gettime: @...
  do gettime;
  exit (time, millitm)
  #);

cpuTime:
  (* Exits the the amount of CPU time (in microseconds) used since the first
   * call to cpuTime (in the same program).  May not be supported on all
   * platforms.
   *)
  (# t: @integer;
  ...
  exit t
  #);

formatTime:
  (* Translates the entered system time into a text readable by humans *)
  (# t: @integer;
     readable: ^text;
  enter t
  ...
  exit readable[]
  #)


14.11 Time Interface
© 1994-2004 Mjølner Informatics
[Modified: Tuesday January 11th 2000 at 16:32]