DEFINITION MODULE wrapclock; (* gm2-compatible: clock primitives (a thin layer over the C library). timespec is opaque (a heap STRUCT). *) FROM SYSTEM IMPORT ADDRESS; TYPE timespec = ADDRESS; PROCEDURE timezone () : LONGINT; PROCEDURE istimezone () : INTEGER; PROCEDURE daylight () : INTEGER; PROCEDURE isdst () : INTEGER; PROCEDURE tzname (daylight : INTEGER) : ADDRESS; PROCEDURE InitTimespec () : timespec; PROCEDURE KillTimespec (ts : timespec) : timespec; PROCEDURE GetTimespec (ts : timespec; VAR sec, nano : LONGCARD) : INTEGER; PROCEDURE SetTimespec (ts : timespec; sec, nano : LONGCARD) : INTEGER; PROCEDURE GetTimeRealtime (ts : timespec) : INTEGER; PROCEDURE SetTimeRealtime (ts : timespec) : INTEGER; END wrapclock.