DIRECTORY BasicTime USING [GMT]; UXTime: CEDAR DEFINITIONS ~ { OPEN BasicTime; OutOfRange: ERROR; TimeNotKnown: ERROR; UXTIME: TYPE[UNITS[CARD32]]; -- seconds since 00:00Z Jan 1, 1978. earliestUXTIME: UXTIME ~ LOOPHOLE[CARD32.FIRST]; latestUXTIME: UXTIME ~ LOOPHOLE[CARD32.LAST-1]; -- semi-arbitrary = nullUXTIME.PRED nullUXTIME: UXTIME ~ LOOPHOLE[CARD32.LAST]; -- arbitrary! Now: PROC RETURNS [UXTIME]; Period: PROC [from, to: UXTIME] RETURNS [INT32]; Update: PROC [base: UXTIME, period: INT32] RETURNS [UXTIME]; ToGMT: PROC [time: UXTIME] RETURNS [GMT]; FromGMT: PROC [gmt: GMT] RETURNS [UXTIME]; DOWN: PUBLIC PROC [time: UXTIME] RETURNS [CARD32]; UP: PUBLIC PROC [secs: CARD32] RETURNS [UXTIME]; unixBaseYear: NAT ~ 1970; -- times start at 00:00Z Jan 1, 1978. }. – UXTime.mesa Copyright Σ 1989, 1991 by Xerox Corporation. All rights reserved. Bill Jackson (bj) June 16, 1989 7:43:26 pm PDT Private details Κ•NewlineDelimiter –(cedarcode) style™šœ ™ Icodešœ Οeœ7™BKšœ.™.J™—šΟk ˜ Kšœ žœžœ˜K˜—šΟnœžœž œ˜Kšžœ ˜K˜KšŸ œžœ˜KšŸ œžœ˜K˜Kš žœžœžœžœΟc$˜AK˜Kš œžœžœžœžœ˜0Kš œžœžœžœžœ #˜SKš œ žœžœžœžœ  ˜9K˜KšŸœžœžœžœ˜Kš Ÿœžœ žœžœžœ˜0Kš Ÿœžœžœ žœžœžœ˜