-- file: DMSTimeDefs.Mesa
-- edited by Brotz, March 17, 1981 12:01 PM
-- edited by Levin, June 6, 1980 8:25 AM

DIRECTORY
InlineDefs: FROM "InlineDefs",
TimeDefs: FROM "TimeDefs";

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, laurelMsg, arpaMsg};
-- timeHouse: Thursday Sept. 23, 1977 12:34 am PST
-- laurelMsg: 23 Sept. 1977 12:34 am PST (Thursday)
-- arpaMsg: 23 Sep 1977 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