<> <> <> <> <> <> <<>> DIRECTORY AMBridge USING [IsRemote, TVToLC], Commander USING [Register, CommandProc], IO USING [PutRope, STREAM], PrintTV USING [RegisterTVPrintProc, TVPrintProc], Rope USING [Cat, Substr, ROPE], Tempus USING [Packed, Unintelligible, PackedSeconds, SecondsToPacked, MakeRope, defaultTime, Parse]; TempusUtilImpl: CEDAR PROGRAM IMPORTS AMBridge, Commander, IO, PrintTV, Rope, Tempus = BEGIN OPEN Tempus; SecondsPrintProc: PrintTV.TVPrintProc = TRUSTED { -- AMBridge s: Tempus.PackedSeconds; t: Tempus.Packed; IF AMBridge.IsRemote[tv] THEN ERROR; -- shouldnt be called. TVPrintProc says can't handle remote. s _ LOOPHOLE[AMBridge.TVToLC[tv]]; t _ SecondsToPacked[s]; IF t = defaultTime THEN stream.PutRope["{current time}"] ELSE IF t=BasicTime.nullGMT THEN stream.PutRope["nullGMT"] ELSE stream.PutRope[MakeRope[time: t, precision: seconds, includeDayOfWeek: TRUE]]; }; PackedPrintProc: PrintTV.TVPrintProc = TRUSTED { -- AMBridge t: Tempus.Packed; IF AMBridge.IsRemote[tv] THEN ERROR; -- shouldnt be called. TVPrintProc says can't handle remote. t _ LOOPHOLE[AMBridge.TVToLC[tv]]; IF t = defaultTime THEN stream.PutRope["{current time}"] ELSE IF t=BasicTime.nullGMT THEN stream.PutRope["nullGMT"] ELSE stream.PutRope[MakeRope[time: t, precision: seconds, includeDayOfWeek: TRUE]]; }; WhenIs: Commander.CommandProc = { err: Rope.ROPE; t: Packed; [t, ] _ Parse[cmd.commandLine ! Unintelligible => { err _ SELECT ec FROM invalid => "Invalid", tooVague => "Too Vague", overConstrained => "Over Constrained", nothingSpecified => "Not a time", notImplemented => "Not Implemented", ENDCASE => ERROR; IF vicinity # -1 THEN err _ Rope.Cat[ err, ": ", Rope.Substr[base: rope, len: vicinity], "<>", Rope.Substr[base: rope, start: vicinity] ]; CONTINUE; }; ]; IF err # NIL THEN cmd.err.PutRope[err] ELSE cmd.out.PutRope[MakeRope[time: t, includeDayOfWeek: TRUE]]; cmd.out.PutRope["\n"]; <> <> <<};>> }; PrintTV.RegisterTVPrintProc[type: CODE[Tempus.PackedSeconds], proc: SecondsPrintProc ! ANY => CONTINUE]; PrintTV.RegisterTVPrintProc[type: CODE[Tempus.Packed], proc: PackedPrintProc ! ANY => CONTINUE]; -- redefines printproc in basic system to include day of week. Commander.Register["WhenIs", WhenIs, "For testing time.parse"]; END.