<<>> <> <> <> <> <<>> <> DIRECTORY BasicTime, Convert, IO, PFS, PFSNames, Rope, SourceFileOps; SourceFileOpsBasicImpl: CEDAR MONITOR IMPORTS Convert, IO, PFS, PFSNames, Rope EXPORTS SourceFileOps = BEGIN OPEN SourceFileOps; Position: TYPE ~ SourceFileOps.Position; STREAM: TYPE ~ IO.STREAM; GetSelection: PUBLIC PROC [selection: WhichSelection ¬ primary] RETURNS [pos: Position, contents: ROPE] = { RETURN [noPosition, NIL]}; FormatPosition: PUBLIC PROC [pos: Position] RETURNS [Rope.ROPE] ~ { name: ROPE ¬ "a broken file name"; time: ROPE ¬ "a broken time"; IF pos.fileName#NIL AND pos.fileName#PFSNames.EmptyPath THEN name ¬ PFS.RopeFromPath[pos.fileName !PFS.Error => CONTINUE] ELSE name ¬ "an unnamed file"; IF pos.uniqueID.egmt.gmt=BasicTime.nullGMT THEN time ¬ "unspecified time" ELSE time ¬ Convert.RopeFromTime[pos.uniqueID.egmt.gmt, years, seconds, FALSE, FALSE !Convert.Error => CONTINUE]; IF pos.uniqueID.egmt.usecs#0 THEN time ¬ IO.PutFR["%g + %gus", [rope[time]], [cardinal[pos.uniqueID.egmt.usecs]] ]; IF pos.uniqueID.host#[0, 0] THEN time ¬ IO.PutFR["%g host [%xH, %xH]", [rope[time]], [cardinal[pos.uniqueID.host.a]], [cardinal[pos.uniqueID.host.b]] ]; RETURN name.Cat[" created at ", time, " ", FmtIdxs[pos]]}; FmtIdxs: PUBLIC PROC [pos: Position] RETURNS [ROPE] ~ { SELECT TRUE FROM pos.index = ALL[noRange] => RETURN [" (no position)"]; pos.index[line] = noRange => RETURN IO.PutFR1[" (%g)", [rope[FmtRange[pos.index[char], "char ", "chars "]]]]; pos.index[char] = noRange => RETURN IO.PutFR1[" (%g)", [rope[FmtRange[pos.index[line], "line ", "line "]]]]; ENDCASE => RETURN IO.PutFR[" (%g = %g)", [rope[FmtRange[pos.index[char], "char ", "chars "]]], [rope[FmtRange[pos.index[line], "line ", "line "]]]]}; FmtRange: PUBLIC PROC [r: Range, introSingular, introPlural: ROPE ¬ NIL] RETURNS [ROPE] ~ { IF r = noRange THEN RETURN introPlural.Concat["unspecified"]; IF r.last = noIndex THEN RETURN introSingular.Concat[Convert.RopeFromInt[r.first]]; RETURN IO.PutFR["%g%g..%g", [rope[introPlural]], [integer[r.first]], [integer[r.last]] ]}; OpenSource: PUBLIC PROC [desc: ROPE, pos: Position, feedBack: IO.STREAM ¬ NIL, selection: WhichSelection ¬ feedback] = { feedBack.PutRope[desc]; feedBack.PutRope[" is in "]; feedBack.PutRope[FormatPosition[pos]]; feedBack.PutRope[".\N"]; RETURN}; END.