-- file: DMSTimeDefs.Mesa
-- edited by Brotz, March 3, 1983 4:42 PM
-- edited by Levin, June 6, 1980 8:25 AM

DIRECTORY
InlineDefs USING [BcplLongNumber, LongNumber],
TimeDefs USING [currentParameters, currentTime, LocalTimeParameters, UnpackedTime,
WestEast];

DMSTimeDefs: DEFINITIONS =

BEGIN

timeStringLength: CARDINAL = 38; -- length of "23 March 1978 12:45 pm PST (Wednesday)"

WestEast: TYPE = TimeDefs.WestEast;
LocalTimeParameters: TYPE = TimeDefs.LocalTimeParameters;

currentParameters: POINTER TO LocalTimeParameters = TimeDefs.currentParameters;

HardwareTime: TYPE = InlineDefs.BcplLongNumber;

currentTime: POINTER TO HardwareTime = TimeDefs.currentTime;

PackedTime: TYPE = InlineDefs.LongNumber;-- Note: not LONG CARDINAL
UnpackedTime: TYPE = TimeDefs.UnpackedTime;

TimeFormat: TYPE = {timeHouse, arpaMsg};
-- timeHouse: Thursday Sept. 23, 1977 12:34 am PST
-- arpaMsg: Thu, 23 Sep 77 00:34 PST

MapPackedTimeToTimeZoneString: PROCEDURE
[pt: PackedTime, s: STRING, format: TimeFormat ← timeHouse];


SetLaurelTime: PROCEDURE;
-- Initializes Laurel’s time variables so that time updating is synchronized with the Alto OS.


END. -- of DMSTimeDefs --