<> <> <> <> <> <<>> DIRECTORY Ascii USING [Digit, Letter, Lower], BasicTime USING [daysPerMonth, DayOfWeek, earliestGMT, GMT, minutesPerHour, secondsPerMinute, MonthOfYear, Now, Pack, Unpack, Unpacked, Update], Convert USING [IntFromRope, Error], Rope USING [Fetch, Find, IsEmpty, Length, ROPE, SkipTo, Substr], TimeParse; TimeParseImpl: CEDAR PROGRAM IMPORTS Ascii, BasicTime, Convert, Rope EXPORTS TimeParse = BEGIN OPEN TimeParse; AmPm: TYPE = {am, pm}; shortMonths: ARRAY[0..11] OF Rope.ROPE; months: ARRAY[0..11] OF Rope.ROPE = ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"]; shortWeekdays: ARRAY[0..6] OF Rope.ROPE; otherWeekdays: ARRAY[0..6] OF Rope.ROPE Ź ALL[""]; weekdays: ARRAY[0..6] OF Rope.ROPE = ["Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday"]; ParseError: PUBLIC SIGNAL[errorType: ParseErrorType] = CODE; MakeArrays: PROC[] = { FOR i: INT IN [0..11] DO shortMonths[i] Ź Rope.Substr[months[i], 0, 3]; ENDLOOP; FOR i: INT IN [0..6] DO shortWeekdays[i] Ź Rope.Substr[weekdays[i], 0, 3]; ENDLOOP; otherWeekdays[1] Ź "Tues"; otherWeekdays[3] Ź "Thurs"; }; <> <> <<>> <> << Algorithm used by Parse:>> <<>> <> <> <<>> <> <<>> <> <> <> <> <> <> <<>> Parse: PUBLIC PROC[ str: Rope.ROPE, now: BasicTime.GMT, direction: DirectionType Ź heuristic, insistTime: BOOLEAN Ź TRUE, insistDay: BOOLEAN Ź TRUE] RETURNS [time: BasicTime.GMT, pieces: PiecesType Ź NIL] = { offset: INT; hr: INT Ź -1; min: INT Ź 0; year, tmpYr: INT; month: BasicTime.MonthOfYear; weekday: BasicTime.DayOfWeek; day, wday: INT Ź -1; past, maybe: BOOLEAN Ź FALSE; noAmPm: BOOLEAN Ź FALSE; unp: BasicTime.Unpacked; <> MatchAmPm: PROC [str: Rope.ROPE, k: INT Ź 0] RETURNS [found: BOOL, which: AmPm, start, stop: INT] = { ln: INT; ch: CHAR; found Ź FALSE; ln Ź Rope.Length[str]; WHILE k < Rope.Length[str] DO start Ź k Ź Rope.SkipTo[str, k, "aApP"]; IF k < ln-1 AND (ch Ź Rope.Fetch[str, k+1]) = '. THEN k Ź k + 1; IF k < ln-1 AND (ch Ź Rope.Fetch[str, k+1]) = 'm OR ch = 'M THEN { IF (ch Ź Rope.Fetch[str, start]) = 'a OR ch = 'A THEN which Ź am ELSE which Ź pm; found Ź TRUE; stop Ź k+1; IF Rope.Fetch[str, start+1] = '. THEN stop Ź stop + 1; RETURN; }; k Ź k + 1; ENDLOOP; }; <> SlashFormat: PROC[] RETURNS [ month: BasicTime.MonthOfYear Ź unspecified, day, yr: INT Ź -1 ] = { i, j, k, ln: INT; tmpDay, tmpMonth: INT; ln Ź Rope.Length[str]; FOR i Ź 0, Rope.Find[str, "/", i] UNTIL i = -1 DO IF i > 0 AND Ascii.Digit[Rope.Fetch[str, i-1]] AND i < ln + 1 AND Ascii.Digit[Rope.Fetch[str, i+1]] THEN { j Ź i-1; IF j > 0 AND Ascii.Digit[Rope.Fetch[str, j-1]] THEN j Ź j - 1; IF j > 0 AND AlNum[Rope.Fetch[str, j-1]] THEN {i Ź i + 1; LOOP;}; k Ź i + 1; IF k < ln - 1 AND Ascii.Digit[Rope.Fetch[str, k+1]] THEN k Ź k + 1; IF k < ln-1 AND AlNum[Rope.Fetch[str, k+1]] THEN {i Ź i + 1; LOOP;}; tmpDay Ź Convert.IntFromRope[Rope.Substr[str, i+1, k - i]]; tmpMonth Ź Convert.IntFromRope[Rope.Substr[str, j, i - j]]; IF tmpDay < 1 OR tmpDay > 31 OR tmpMonth < 1 OR tmpMonth > 12 THEN {i Ź i + 1; LOOP;}; day Ź tmpDay; month Ź VAL[CARDINAL[tmpMonth-1]]; -- mm=1 means month is January IF k < ln - 3 AND Rope.Fetch[str, k+1] = '/ AND Ascii.Digit[Rope.Fetch[str, k+2]] AND Ascii.Digit[Rope.Fetch[str, k+3]] THEN { yr Ź Convert.IntFromRope[Rope.Substr[str, k+2, 2]]; IF yr < 80 OR yr > 99 THEN SIGNAL ParseError[badYearInSlash]; yr Ź 1900 + yr; k Ź k + 3; }; pieces Ź CONS[NEW[PieceType Ź [j, k-j+1]], pieces]; RETURN; } ELSE i Ź i + 1; ENDLOOP; }; <<>> <> MatchColonTime: PROC[] RETURNS [hr: INT Ź -1, min: INT Ź 0] = { ln, i, j: INT; ok: BOOLEAN; start, stop: INT; which: AmPm; i Ź 0; ln Ź Rope.Length[str]; WHILE (i Ź Rope.Find[str, ":", i]) # -1 DO IF i >= 1 AND Ascii.Digit[Rope.Fetch[str, i-1]] AND i < ln-2 AND Ascii.Digit[Rope.Fetch[str, i+1]] AND Ascii.Digit[Rope.Fetch[str, i+2]] THEN { IF i >= 2 AND Ascii.Digit[Rope.Fetch[str, i-2]] THEN { hr Ź Convert.IntFromRope[Rope.Substr[str, i-2, 2]]; j Ź i-2; ln Ź 5; } ELSE { hr Ź Convert.IntFromRope[Rope.Substr[str, i-1, 1]]; j Ź i-1; ln Ź 4; }; min Ź Convert.IntFromRope[Rope.Substr[str, i+1, 2]]; pieces Ź CONS[NEW[PieceType Ź [j, ln]], pieces]; [ok, which, start, stop] Ź MatchAmPm[str, i+3 - ln]; IF ok THEN { pieces Ź CONS[NEW[PieceType Ź [start, stop - start + 1]], pieces]; IF hr = 12 THEN hr Ź 0; IF which = pm THEN hr Ź hr + 12; } ELSE noAmPm Ź TRUE; }; i Ź i + 1; ENDLOOP; }; <<>> <> MatchAmPmTime: PROC[] RETURNS [hr: INT Ź -1] = { ok: BOOLEAN; which: AmPm; i, start, stop: INT; [ok, which, start, stop] Ź MatchAmPm[str]; IF ok THEN { i Ź start-1; WHILE i >= 0 AND Rope.Fetch[str,i] = ' DO i Ź i - 1; ENDLOOP; WHILE i >= 0 AND Ascii.Digit[Rope.Fetch[str,i]] DO i Ź i - 1; ENDLOOP; hr Ź Convert.IntFromRope[Rope.Substr[str, i+1, (start-1) - (i+1) + 1] ! Convert.Error => {GOTO done;}]; IF hr >= 24 THEN hr Ź -1 ELSE IF which = pm THEN hr Ź hr + 12; --XXX: check to see if hr <= 12? IF hr >= 0 THEN pieces Ź CONS[NEW[PieceType Ź [i+1, stop - i]], pieces]; EXITS done => {}; }; }; <> MatchWord: PROC[word: Rope.ROPE] RETURNS [BOOLEAN] = { ln, k: INT; ln Ź Rope.Length[word]; k Ź 0; WHILE TRUE DO k Ź Rope.Find[str, word, k, FALSE]; IF k = -1 THEN RETURN[FALSE]; IF (k = 0 OR ~Ascii.Letter[Rope.Fetch[str, k-1]]) AND (k + ln = Rope.Length[str] OR ~Ascii.Letter[Rope.Fetch[str, k+ln]]) THEN { pieces Ź CONS[NEW[PieceType Ź [k, ln]], pieces]; RETURN[TRUE]; }; k Ź k + 1; ENDLOOP; RETURN[FALSE]; -- this is here to keep compiler happy }; AlNum : PROC [ch: CHAR] RETURNS [BOOL] = INLINE { RETURN [ch IN ['A..'Z] OR ch IN ['a..'z] OR ch IN ['0..'9]]; }; <<>> <> MatchYear: PROC[] RETURNS [year: INT] = { k, ln: INT; year Ź -1; k Ź 0; ln Ź Rope.Length[str]; WHILE TRUE DO k Ź Rope.Find[str, "19", k, FALSE]; IF k = -1 THEN RETURN; IF (k = 0 OR ~AlNum[Rope.Fetch[str, k-1]]) AND k < ln - 3 AND Ascii.Digit[Rope.Fetch[str, k+2]] AND Ascii.Digit[Rope.Fetch[str, k+3]] AND (k + 4 = ln OR ~Ascii.Letter[Rope.Fetch[str, k+4]]) THEN { year Ź Convert.IntFromRope[Rope.Substr[str, k, 4]]; pieces Ź CONS[NEW[PieceType Ź [k, 4]], pieces]; RETURN; }; k Ź k + 2; ENDLOOP; RETURN; -- this is here to keep compiler happy }; MatchMonth: PROC[] RETURNS [mnth: BasicTime.MonthOfYear] = { i: CARDINAL; FOR i IN [0..11] DO IF MatchWord[shortMonths[i]] THEN RETURN[VAL[i]]; ENDLOOP; FOR i IN [0..11] DO IF MatchWord[months[i]] THEN RETURN[VAL[i]]; ENDLOOP; RETURN[unspecified]; }; MatchWeekday: PROC[] RETURNS [BasicTime.DayOfWeek] = { i: CARDINAL; FOR i IN [0..6] DO IF MatchWord[shortWeekdays[i]] THEN RETURN[VAL[i]]; ENDLOOP; FOR i IN [0..6] DO IF MatchWord[weekdays[i]] THEN RETURN[VAL[i]]; ENDLOOP; FOR i IN [0..6] DO IF ~Rope.IsEmpty[otherWeekdays[i]] AND MatchWord[otherWeekdays[i]] THEN RETURN[VAL[i]]; ENDLOOP; RETURN[unspecified]; }; <> MatchTime: PROC[] RETURNS [INT] = { k, k1, ln, cnt, val: INT; ch: CHAR; ln Ź Rope.Length[str]; k Ź 0; WHILE TRUE DO k1 Ź k Ź Rope.SkipTo[str, k, "0123456789"]; cnt Ź 1; IF k = ln THEN RETURN[-1]; IF k > 0 AND (AlNum[ch Ź Rope.Fetch[str, k-1]] OR ch = ':) THEN {k Ź k + 1; LOOP}; IF k < ln-1 AND Ascii.Digit[Rope.Fetch[str, k+1]] THEN {k Ź k + 1; cnt Ź 2;}; IF k = ln-1 OR (~AlNum[ch Ź Rope.Fetch[str, k+1]] AND ch # ':) THEN { val Ź Convert.IntFromRope[Rope.Substr[str, k1, cnt]]; IF val >= 1 AND val <= 12 THEN { pieces Ź CONS[NEW[PieceType Ź [k1, cnt]], pieces]; noAmPm Ź TRUE; RETURN[val]; }; }; k Ź k + 1; ENDLOOP; RETURN[-1]; -- this is here to keep compiler happy }; InPieces: PROC[i: INT] RETURNS [BOOLEAN] = { plist: PiecesType; plist Ź pieces; WHILE plist # NIL DO IF i >= plist.first.start AND i < plist.first.start + plist.first.len THEN RETURN[TRUE]; plist Ź plist.rest; ENDLOOP; RETURN[FALSE]; }; <<>> <> <> MatchDay: PROC[] RETURNS [INT] = { k, k1, ln, cnt, val: INT; ch: CHAR; b: BOOLEAN Ź FALSE; <> Th: PROC[k: INT] RETURNS [b: BOOLEAN] = { IF k >= ln-2 THEN RETURN[FALSE]; SELECT Rope.Fetch[str, k] FROM '1 => b Ź Ascii.Lower[Rope.Fetch[str, k+1]] = 's AND Ascii.Lower[Rope.Fetch[str, k+2]] = 't; '2 => b Ź Ascii.Lower[Rope.Fetch[str, k+1]] = 'n AND Ascii.Lower[Rope.Fetch[str, k+2]] = 'd; '3 => b Ź Ascii.Lower[Rope.Fetch[str, k+1]] = 'r AND Ascii.Lower[Rope.Fetch[str, k+2]] = 'd; ENDCASE =>b Ź Ascii.Lower[Rope.Fetch[str, k+1]] = 't AND Ascii.Lower[Rope.Fetch[str, k+2]] # 'h; RETURN[b AND (k+2 = ln-1 OR ~AlNum[Rope.Fetch[str,k+3]])]; }; ln Ź Rope.Length[str]; k Ź 0; WHILE TRUE DO k1 Ź k Ź Rope.SkipTo[str, k, "0123456789"]; cnt Ź 1; IF k = ln THEN RETURN[-1]; IF k > 0 AND (AlNum[ch Ź Rope.Fetch[str, k-1]] OR ch = ':) THEN {k Ź k + 1; LOOP}; IF InPieces[k] THEN {k Ź k + 1; LOOP}; IF k < ln-1 AND Ascii.Digit[Rope.Fetch[str, k+1]] THEN {k Ź k + 1; cnt Ź 2;}; IF k = ln-1 OR (~AlNum[ch Ź Rope.Fetch[str, k+1]] AND ch # ':) OR (b Ź Th[k]) THEN { val Ź Convert.IntFromRope[Rope.Substr[str, k1, cnt]]; IF val >= 1 AND val <= 31 THEN { IF b THEN {cnt Ź cnt + 2;}; pieces Ź CONS[NEW[PieceType Ź [k1, cnt]], pieces]; RETURN[val]; }; }; k Ź k + 1; ENDLOOP; RETURN[-1]; -- this is here to keep compiler happy }; <> MyAdjust: PROC[time: BasicTime.GMT, min, hr: INT, days: INT] RETURNS [BasicTime.GMT] = { unp: BasicTime.Unpacked; unp Ź BasicTime.Unpack[time]; unp.minute Ź min; unp.hour Ź hr; time Ź BasicTime.Pack[unp]; RETURN[Adjust[days: days, baseTime: time, precisionOfResult: minutes].time]; }; MonthDistance: PROC[a, b: BasicTime.MonthOfYear] RETURNS [k: INT] = { k Ź 0; WHILE a # b DO <> IF a = December THEN a Ź FIRST[BasicTime.MonthOfYear] ELSE a Ź SUCC[a]; k Ź k + 1; ENDLOOP; }; unp Ź BasicTime.Unpack[now]; unp.second Ź 0; unp.dst Ź unspecified; -- we want it to float to the correct value for the result time <> IF MatchWord["noon"] THEN hr Ź 12 <> ELSE [hr, min] Ź MatchColonTime[]; <> IF hr < 0 THEN hr Ź MatchAmPmTime[]; <> IF hr < 0 AND (hr Ź MatchTime[]) # -1 THEN maybe Ź TRUE; IF hr = -1 THEN { IF insistTime THEN SIGNAL ParseError[noTime] ELSE hr Ź 0; }; <> IF MatchWord["today"] THEN { IF noAmPm AND hr # 0 AND hr < 12 THEN { IF direction # backward AND hr < unp.hour THEN hr Ź hr + 12 ELSE IF direction = backward AND hr + 12 > unp.hour THEN NULL ELSE IF hr < 8 THEN hr Ź hr + 12; }; time Ź MyAdjust[now, min, hr, 0]; RETURN; } ELSE IF MatchWord["yesterday"] THEN { IF noAmPm AND hr # 0 AND hr < 8 THEN hr Ź hr + 12; time Ź MyAdjust[now, min, hr, -1]; RETURN; } ELSE IF MatchWord["tomorrow"] THEN { IF noAmPm AND hr # 0 AND hr < 8 THEN hr Ź hr + 12; time Ź MyAdjust[now, min, hr, 1]; RETURN; }; <> <<>> year Ź MatchYear[]; [month, day, tmpYr] Ź SlashFormat[]; IF month = unspecified THEN month Ź MatchMonth[]; IF tmpYr # -1 AND year # -1 THEN SIGNAL ParseError[twoYears]; IF year = -1 THEN year Ź tmpYr; weekday Ź MatchWeekday[]; IF day = -1 THEN day Ź MatchDay[]; <> IF day = -1 AND maybe THEN { IF ~insistTime THEN { day Ź hr; hr Ź 0; } ELSE { <> IF (month # unspecified OR year # -1) AND insistDay THEN SIGNAL ParseError[noTime]; }; }; <<>> <> <> <> <> <<(unless direction=backward)>> <> <> <> < now ( or < now if direction = backward)>> <> <> <> <> <<(or thismonth -1 if direction=backward)>> <> <> <=11 months past now, assume last month>> <<>> <> BEGIN -- establish scope for EXITS clause IF weekday = unspecified AND day = -1 THEN { IF (month # unspecified OR year # -1) THEN { IF insistDay THEN SIGNAL ParseError[yearOrMonthButNoDay] ELSE day Ź 1; } ELSE { IF noAmPm AND hr # 0 AND hr < 12 THEN { IF direction # backward AND hr < unp.hour THEN hr Ź hr + 12 ELSE IF direction = backward AND hr + 12 > unp.hour THEN NULL ELSE IF hr < 8 THEN hr Ź hr + 12; }; past Ź 60*hr + min < 60*unp.hour + unp.minute; unp.minute Ź min; unp.hour Ź hr; time Ź BasicTime.Pack[unp]; SELECT direction FROM forward, heuristic => IF past THEN time Ź Adjust[baseTime: time, days: 1, precisionOfResult: minutes].time; backward => IF ~past THEN time Ź Adjust[baseTime: time, days: -1, precisionOfResult: minutes].time; ENDCASE => {}; GOTO out; }; }; IF noAmPm THEN { <> IF hr < 8 AND hr # 0 THEN hr Ź hr + 12; }; IF day = -1 AND weekday # unspecified THEN { IF month # unspecified OR year # -1 THEN SIGNAL ParseError[yearOrMonthButNoDay]; <> BEGIN -- establish scope for GOTO SELECT direction FROM forward, heuristic => IF unp.weekday # weekday OR 60*hr + min < 60*unp.hour + unp.minute THEN offset Ź 1; backward => IF unp.weekday # weekday OR 60*hr + min > 60*unp.hour + unp.minute THEN offset Ź -1; ENDCASE => {GOTO nochange;}; WHILE unp.weekday # weekday DO now Ź Adjust[baseTime: now, days: offset, precisionOfResult: minutes].time; unp Ź BasicTime.Unpack[now]; ENDLOOP; EXITS nochange => {}; END; unp.minute Ź min; unp.hour Ź hr; time Ź BasicTime.Pack[unp]; GOTO out; }; IF month = unspecified THEN { IF year # -1 THEN SIGNAL ParseError[yearButNoMonth]; past Ź day < unp.day OR (day = unp.day AND 60*hr + min < 60*unp.hour + unp.minute); offset Ź 0; SELECT direction FROM forward, heuristic => IF past THEN offset Ź 1; backward => IF ~past THEN offset Ź -1; ENDCASE => {}; IF offset = 0 THEN { unp.minute Ź min; unp.hour Ź hr; unp.day Ź day; } ELSE { time Ź Adjust[baseTime: now, months: offset, precisionOfResult: minutes].time; unp Ź BasicTime.Unpack[time]; unp.minute Ź min; unp.hour Ź hr; unp.day Ź day; }; time Ź BasicTime.Pack[unp]; GOTO out; }; IF year = -1 THEN { offset Ź MonthDistance[month, unp.month]; SELECT direction FROM forward => time Ź Adjust[baseTime: now, months: 12 - offset, precisionOfResult: minutes].time; heuristic => IF offset <= 1 THEN <> time Ź Adjust[baseTime: now, months: -offset, precisionOfResult: minutes].time ELSE <> time Ź Adjust[baseTime: now, months: 12 - offset, precisionOfResult: minutes].time; backward => time Ź Adjust[baseTime: now, months: -offset, precisionOfResult: minutes].time ENDCASE => {}; unp Ź BasicTime.Unpack[time]; unp.minute Ź min; unp.hour Ź hr; unp.day Ź day; time Ź BasicTime.Pack[unp]; GOTO out; }; IF year # -1 THEN { unp.minute Ź min; unp.hour Ź hr; unp.day Ź day; unp.month Ź month; unp.year Ź year; time Ź BasicTime.Pack[unp]; GOTO out; }; EXITS out => {}; END; IF weekday # unspecified THEN { unp Ź BasicTime.Unpack[time]; IF unp.weekday # weekday THEN SIGNAL ParseError[dayWeekdayMismatch]; }; }; TempusParse: PUBLIC PROC[ rope: Rope.ROPE, baseTime: BasicTime.GMT, search: BOOLEAN Ź TRUE] RETURNS [time: BasicTime.GMT, precision: Precision, start, length: NAT] = { time Ź Parse[rope, baseTime].time; start Ź length Ź 0; precision Ź unspecified; }; Adjust: PUBLIC PROCEDURE [ years: INT Ź LAST[INT], months: INT Ź LAST[INT], days: INT Ź LAST[INT], hours: INT Ź LAST[INT], minutes: INT Ź LAST[INT], seconds: INT Ź LAST[INT], baseTime: BasicTime.GMT Ź BasicTime.earliestGMT, precisionOfResult: Precision Ź unspecified] RETURNS [time: BasicTime.GMT, precision: Precision] = { unpacked: BasicTime.Unpacked Ź BasicTime.Unpack[IF baseTime = BasicTime.earliestGMT THEN BasicTime.Now[] ELSE baseTime]; IncrementYears: PROC[by: INT Ź 1] = { unpacked.year Ź unpacked.year + by; unpacked.day Ź MIN[unpacked.day, DaysInMonth[]]; -- one year from February 29 is February 28 }; IncrementMonths: PROC [by: INT Ź 1] = { IF by >= 0 THEN FOR i: INT IN [0..by) DO IF unpacked.month = December THEN {IncrementYears[]; unpacked.month Ź January} ELSE unpacked.month Ź SUCC[unpacked.month]; REPEAT FINISHED => unpacked.day Ź MIN[unpacked.day, DaysInMonth[]]; -- if it is now March 31 and client says increment one month, that is April 30. If it is now January 29, 30 or 31 and client says increment one month, goes to February 28/29. ENDLOOP ELSE FOR i: INT IN [0..-by) DO IF unpacked.month = January THEN {IncrementYears[-1]; unpacked.month Ź December} ELSE unpacked.month Ź PRED[unpacked.month]; ENDLOOP; }; DaysInMonth: PROC RETURNS[[0 .. BasicTime.daysPerMonth]] = { RETURN[SELECT unpacked.month FROM September, April, June, November => 30, February => IF unpacked.year MOD 4 = 0 THEN 29 ELSE 28, ENDCASE => 31]; }; IncrementDays: PROC [by: INT Ź 1] = { daysInMonth: [0 .. BasicTime.daysPerMonth]; daysInMonth Ź DaysInMonth[]; IF by >= 0 THEN FOR i: INT IN [0..by) DO IF unpacked.day = daysInMonth THEN { IncrementMonths[]; daysInMonth Ź DaysInMonth[]; unpacked.day Ź 1; } ELSE unpacked.day Ź unpacked.day + 1; ENDLOOP ELSE FOR i: INT IN [0..-by) DO IF unpacked.day = 1 THEN { IncrementMonths[-1]; daysInMonth Ź DaysInMonth[]; unpacked.day Ź daysInMonth; } ELSE unpacked.day Ź unpacked.day - 1; ENDLOOP; }; IncrementHours: PROC [by: INT Ź 1] = { IF by >= 0 THEN FOR i: INT IN [0..by) DO IF unpacked.hour = 23 THEN {IncrementDays[]; unpacked.hour Ź 0} ELSE unpacked.hour Ź unpacked.hour + 1; ENDLOOP ELSE FOR i: INT IN [0..-by) DO IF unpacked.hour = 0 THEN {IncrementDays[-1]; unpacked.hour Ź 23} ELSE unpacked.hour Ź unpacked.hour - 1; ENDLOOP; }; IncrementMinutes: PROC [by: INT Ź 1] = { IF by >= 0 THEN FOR i: INT IN [0..by) DO IF unpacked.minute = 59 THEN {IncrementHours[]; unpacked.minute Ź 0} ELSE unpacked.minute Ź unpacked.minute + 1; ENDLOOP ELSE FOR i: INT IN [0..-by) DO IF unpacked.minute = 0 THEN {IncrementHours[-1]; unpacked.minute Ź 59} ELSE unpacked.minute Ź unpacked.minute - 1; ENDLOOP; }; IncrementSeconds: PROC [by: INT Ź 1] = { IF by >= 0 THEN FOR i: INT IN [0..by) DO IF unpacked.second = 59 THEN {IncrementMinutes[]; unpacked.second Ź 0} ELSE unpacked.second Ź unpacked.second + 1; ENDLOOP ELSE FOR i: INT IN [0..-by) DO IF unpacked.second = 0 THEN {IncrementMinutes[-1]; unpacked.second Ź 59} ELSE unpacked.second Ź unpacked.second - 1; ENDLOOP; }; IF years # LAST[INT] THEN {IncrementYears[years]; precision Ź years}; IF months # LAST[INT] THEN {IncrementMonths[months]; precision Ź months}; IF days # LAST[INT] THEN {IncrementDays[days]; precision Ź days}; IF hours # LAST[INT] THEN {-- IncrementHours[hours]; -- precision Ź hours}; IF minutes # LAST[INT] THEN {-- IncrementMinutes[minutes]; -- precision Ź minutes}; IF seconds # LAST[INT] THEN {-- IncrementSeconds[seconds]; -- precision Ź seconds}; IF precisionOfResult = unspecified THEN precisionOfResult Ź precision; IF precisionOfResult < seconds THEN unpacked.second Ź 0; IF precisionOfResult < minutes THEN unpacked.minute Ź 0; IF precisionOfResult < hours THEN unpacked.hour Ź 0; IF precisionOfResult < days THEN unpacked.day Ź 1; IF precisionOfResult < months THEN unpacked.month Ź January; unpacked.dst Ź BasicTime.Unpack[BasicTime.Pack[unpacked]].dst; --set dst properly before actual packing time Ź BasicTime.Pack[unpacked]; <<>> <> IF hours # LAST[INT] THEN time Ź BasicTime.Update[time, (hours * BasicTime.minutesPerHour * BasicTime.secondsPerMinute)]; IF minutes # LAST[INT] THEN time Ź BasicTime.Update[time, minutes * BasicTime.secondsPerMinute]; IF seconds # LAST[INT] THEN time Ź BasicTime.Update[time, seconds]; RETURN[time, precisionOfResult]; }; MakeArrays[]; END.