wrapclock.def 738 B

1234567891011121314151617181920212223
  1. DEFINITION MODULE wrapclock;
  2. (* gm2-compatible: clock primitives (a thin layer over the C library).
  3. timespec is opaque (a heap STRUCT). *)
  4. FROM SYSTEM IMPORT ADDRESS;
  5. TYPE
  6. timespec = ADDRESS;
  7. PROCEDURE timezone () : LONGINT;
  8. PROCEDURE istimezone () : INTEGER;
  9. PROCEDURE daylight () : INTEGER;
  10. PROCEDURE isdst () : INTEGER;
  11. PROCEDURE tzname (daylight : INTEGER) : ADDRESS;
  12. PROCEDURE InitTimespec () : timespec;
  13. PROCEDURE KillTimespec (ts : timespec) : timespec;
  14. PROCEDURE GetTimespec (ts : timespec; VAR sec, nano : LONGCARD) : INTEGER;
  15. PROCEDURE SetTimespec (ts : timespec; sec, nano : LONGCARD) : INTEGER;
  16. PROCEDURE GetTimeRealtime (ts : timespec) : INTEGER;
  17. PROCEDURE SetTimeRealtime (ts : timespec) : INTEGER;
  18. END wrapclock.