

DIRECTORY
BackStop USING [Call],
BasicTime USING [GMT, nullGMT],
Convert,
IO,
LineNumber,
PFS USING [Error, UniqueID, nullUniqueID, PathFromRope, RopeFromPath, FileInfo, GetWDir],
PFSNames USING [PATH, Component, Cat, IsAbsolute, EmptyPath, ShortName, ComponentRope],
Rope USING [Cat, Concat, Equal, Find, Length, ROPE],
SourceFileOps,
TEditDocument USING [SelectionId],
TEditSelectionOps USING [ShowGivenPositionRange],
TiogaMenuOps USING [Open],
TiogaOps USING [GetProp, GetSelection, Location, LocOffset, Ref, Root, ViewerDoc, WhichSelection],
ViewerClasses USING [Column, Viewer],
ViewerOps USING [EnumerateViewers, OpenIcon],
ViewerPrivate USING [rootViewerTree],
ViewerTools USING [GetSelectionContents];


SourceFileOpsViewersImpl: CEDAR MONITOR
IMPORTS BackStop, Convert, IO, LineNumber, PFS, PFSNames, Rope, TEditSelectionOps, TiogaMenuOps, TiogaOps, ViewerOps, ViewerPrivate, ViewerTools
EXPORTS SourceFileOps
= BEGIN OPEN SourceFileOps;


Position: TYPE ~ SourceFileOps.Position;
ROPE: TYPE ~ Rope.ROPE;
PATH: TYPE ~ PFSNames.PATH;
STREAM: TYPE = IO.STREAM;
Viewer: TYPE = ViewerClasses.Viewer;

Severity: TYPE = {success, comment, warning, fatal};

ReportProc: TYPE = PROC [msg: ROPE, severity: Severity];


mySelectionToTiogaOpsSelection: ARRAY SourceFileOps.WhichSelection OF TiogaOps.WhichSelection = [primary, secondary, feedback];
mySelectionToTEditSelectionOpsSelection: ARRAY SourceFileOps.WhichSelection OF TEditDocument.SelectionId = [primary, secondary, feedback];

GetSelection: PUBLIC PROC [selection: SourceFileOps.WhichSelection м primary]
RETURNS [pos: Position, contents: ROPE] = {
viewer: Viewer;
start, end: TiogaOps.Location;
[viewer: viewer, start: start, end: end] м TiogaOps.GetSelection[mySelectionToTiogaOpsSelection[selection]];
contents м ViewerTools.GetSelectionContents[];
IF viewer # NIL AND NOT viewer.destroyed AND NOT viewer.newFile THEN {
root: TiogaOps.Ref м TiogaOps.Root[start.node];
fileName: FileName м PFS.PathFromRope[viewer.file];
charStart, charEnd: INT;
createUnique: UniqueID;
lines: LineNumber.LaORange;
lineRange: Range;
createVal: REF ANY м TiogaOps.GetProp[root, $FileCreateDate];
IF createVal#NIL THEN {
rgmt: REF BasicTime.GMT;
TRUSTED {rgmt м LOOPHOLE[createVal]}; --YUK!
createUnique м [[rgmtн, 0]]}
ELSE createUnique м nullUniqueID;
IF fileName=PFSNames.EmptyPath THEN fileName м NIL;
charStart м TiogaOps.LocOffset[loc1: [root, 0], loc2: start, skipCommentNodes: TRUE];
charEnd м TiogaOps.LocOffset[loc1: [root, 0], loc2: end, skipCommentNodes: TRUE];
lines м LineNumber.PositionsToLines[root, [charStart, charEnd], TRUE];
lineRange м [MIN[lines.first.line, Index.LAST], MIN[lines.last.line, Index.LAST]];
IF start = end THEN {charEnd м noIndex; lineRange.last м noIndex};
SetHint[viewer];
RETURN [[fileName, createUnique, [char: [charStart, charEnd], line: lineRange]], contents]};
RETURN [noPosition, contents]};

OpenSource: PUBLIC PROC [desc: ROPE, pos: Position, feedBack: STREAM м NIL, selection: WhichSelection м feedback] = {
v: Viewer м NIL;
report: ReportProc--PROC [msg: ROPE, severity: Severity]-- = {
IF feedBack # NIL THEN {feedBack.PutRope[msg]; feedBack.PutRope["\N"]};
RETURN};
inner: PROC = TRUSTED {
ok м NameToOpenViewer[pos, report, TRUE, selection];
RETURN};
ok: BOOL м TRUE;
err: ROPE м NIL;
err м BackStop.Call[inner];
IF err#NIL THEN Report[report, fatal, " Can't open: ", err]
ELSE IF ok THEN Report[report, success, " Source opened", FmtIdxs[pos], "."];
};

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]] ]};

Report: PROC [report: ReportProc, severity: Severity, r1,r2,r3,r4: ROPE м NIL] = {
IF report # NIL THEN {
msg: ROPE м Rope.Cat[r1, r2, r3, r4];
report[msg, severity];
};
};

ColumnLocked: PROC [column: ViewerClasses.Column] RETURNS [locked: BOOL м FALSE] ~ {
viewer: ViewerClasses.Viewer м ViewerPrivate.rootViewerTree[column];
IF viewer = NIL THEN RETURN[FALSE];
DO
IF viewer.lock.count > 0 THEN RETURN[TRUE];
IF (viewer м viewer.sibling) = NIL THEN EXIT;
ENDLOOP;
};

NameToOpenViewer: PROC [pos: Position, report: ReportProc, ignoreOnesBeingChanged: BOOL, selection: WhichSelection] RETURNS [BOOL] = {
name: PATH ~ pos.fileName;
IF name # NIL AND name # PFSNames.EmptyPath THEN {
short: PFSNames.Component м name.ShortName;
nameRope: ROPE м PFS.RopeFromPath[name];
viewer: Viewer м NIL;
viewer м FindViewer[
fileName: short.ComponentRope, created: pos.uniqueID.egmt.gmt, ignoreOnesBeingChanged: ignoreOnesBeingChanged];
IF viewer = NIL OR viewer.destroyed THEN TRUSTED {
column: ViewerClasses.Column м IF ColumnLocked[left] THEN right ELSE left;
IF ColumnLocked[column] THEN {
viewer м NIL;
Report[report, warning, " Due to a locked column, ", nameRope, " wasn't opened."];
}
ELSE {
Report[report, comment, " Opening ", nameRope, "... "];
viewer м TiogaMenuOps.Open[nameRope,, column];
};
};
IF viewer#NIL AND viewer.iconic THEN 
IF ColumnLocked[viewer.column] THEN
viewer м NIL
ELSE
ViewerOps.OpenIcon[viewer];

SELECT TRUE FROM
viewer=NIL => {Report[report, warning, " couldn't open"]; RETURN [FALSE]};
pos.index[char]#noRange => TEditSelectionOps.ShowGivenPositionRange[viewer, mySelectionToTEditSelectionOpsSelection[selection], pos.index[char].first, MAX[pos.index[char].first+3, pos.index[char].last], TRUE, FALSE];
pos.index[line]#noRange => LineNumber.ToSelectionRange[viewer, [[pos.index[line].first], [IF pos.index[line].last=noIndex THEN pos.index[line].first ELSE pos.index[line].last]], TRUE];
ENDCASE => NULL;
RETURN [TRUE]};
RETURN [FALSE]};

FindViewer: PROC [fileName: Rope.ROPE, created: BasicTime.GMT, ignoreOnesBeingChanged: BOOL] RETURNS [viewer: Viewer м NIL] = {
visit: SAFE PROC [v: Viewer] RETURNS [BOOL м TRUE] = TRUSTED {
vname: Rope.ROPE м v.file;
pos: INT;
someSaveInProgress: PROC RETURNS [ans: BOOL м FALSE] = CHECKED { 
vv: Viewer м v;
IF vv.saveInProgress THEN RETURN[TRUE];
WHILE (vv м vv.link) # NIL AND (vv # v) DO
IF vv.saveInProgress THEN RETURN[TRUE];
ENDLOOP;
};
IF v.class.flavor # $Text THEN RETURN [TRUE];
IF ignoreOnesBeingChanged AND (v.newVersion OR someSaveInProgress[])
THEN RETURN [TRUE];
IF vname = NIL THEN vname м v.name;
IF Rope.Length[vname] = 0 THEN RETURN [FALSE];
pos м Rope.Find[vname, fileName, 0, FALSE];
IF pos >= 0 THEN {
IF created # BasicTime.nullGMT THEN {
root: TiogaOps.Ref м TiogaOps.ViewerDoc[v];
createVal: REF ANY м TiogaOps.GetProp[root, $FileCreateDate];
IF createVal#NIL THEN {
rgmt: REF BasicTime.GMT;
TRUSTED {rgmt м LOOPHOLE[createVal]}; --YUK! BasicTime.GMT is opaque
IF rgmtн # created THEN RETURN [TRUE];
}
ELSE RETURN [TRUE];
};
viewer м v;
RETURN [FALSE];
};
};
viewer м GetHint[fileName];
IF viewer # NIL AND NOT visit[viewer] THEN RETURN;
viewer м NIL;
ViewerOps.EnumerateViewers[visit];
RETURN};

GetHint: PROC [name: ROPE] RETURNS [Viewer м NIL] = {
viewer: Viewer м hintViewer;
SELECT TRUE FROM
viewer = NIL => {};
viewer.destroyed => {};
Rope.Equal[name, viewer.file, FALSE] => RETURN [viewer];
ENDCASE;
RETURN [NIL];
};

SetHint: PROC [viewer: Viewer] = {
hintViewer м viewer
};

hintViewer: Viewer м NIL;

systemDir: ROPE ~ PFS.RopeFromPath[PFS.GetWDir[]];

pathPrefixes: LIST OF ROPE м LIST[NIL, systemDir];

FullFileName: PROC [shortPath: PATH, uniqueID: PFS.UniqueID м PFS.nullUniqueID] RETURNS [fullPath: PATH м NIL] = {
wPath: PATH;
IF shortPath.IsAbsolute THEN RETURN [shortPath];
FOR paths: LIST OF ROPE м pathPrefixes, paths.rest UNTIL paths = NIL DO
ENABLE PFS.Error => IF error.group # bug THEN LOOP;
wPath м PFS.PathFromRope[paths.first];
fullPath м shortPath.Cat[wPath];
RETURN [PFS.FileInfo[name: fullPath, wantedUniqueID: uniqueID
! PFS.Error => IF error.group # bug THEN LOOP
].fullFName];
ENDLOOP;
};


END.


   4  
SourceFileOpsViewersImpl.mesa
Copyright ╙ 1989, 1991, 1992 by Xerox Corporation.  All rights reserved.
Linda Howe October 16, 1989 11:28:13 am PDT
Coolidge, July 31, 1990 6:23 pm PDT
Christian Jacobi, August 25, 1990 0:30 am PDT
Last tweaked by Mike Spreitzer on September 11, 1992 9:38 am PDT
Willie-s, February 14, 1992 6:19 pm PST
Doug Wyatt, December 19, 1991 12:51 pm PST
Philip James, February 14, 1992 9:34 am PST
Some basic feedback operations on source files.  This is the impl to use when Viewers is available.
Useful types
success => operation is completed
comment => intermediate information
warning => something is wrong, but not fatal
fatal => operation is completed, but did not succeed
... is the type of user-supplied procedure used to report results in above operations

EXPORTS to CirioViewerOps
-- return TRUE to continue, FALSE to stop
Ignore non-text viewers
don't find viewers with changed contents or being saved
just in case the file name is not present
Same short name, so check the create date
We keep a hint which indicates the last viewer we used to make a selection.  If that viewer is no longer valid (NIL or destroyed), or if it does not have the same short file name as the one we are seeking, then we return NIL.  Otherwise the hint has saved us some valuable time, and we are more likely to find the selected viewer if we have multiple viewers or split viewers for the same file.
commandsDir: ROPE ~ SystemNames.LocalDir["Commands"];
pathPrefixes: LIST OF ROPE м LIST[NIL, commandsDir, systemDir];
first try the current default for the running process
... then try the Commands subdirectory (stuff from Environment.df)
... then try the default system directory (stuff from BootEssentials.df)
returns NIL if not found
checkThis: BOOL _ NeedsCheck[createTime, fullName];
NeedsCheck: PROC [createTime: BasicTime.GMT, fullName: ROPE] RETURNS [BOOL] = {
No need to check unless date is unbound and the file is remote.  If we change our policy on this here is the place to change it.
RETURN [createTime = BasicTime.nullGMT AND NOT Rope.Match["[]*", fullName]];
};
Э╩{  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЪЬЩKЪЬ
╧eЬ=ЩHKЩ+KЩ#KЩ-KЩ@KЩ'KЩ*KЩ+KШ KЩcЧШ Ъ╧k	Ш	KЪЬ	ЮЬШKЪЬ
ЮЬЮЬШKШKЪЮЬШKШKЪЮЬЮЬPШYKЪЬ	ЮЬЮЬCШWKЪЬЮЬ$ЮЬШ4KЪЬШKЪЬЮЬШ"KЪЬЮЬШ1KЪЬЮЬШKЪЬ	ЮЬTШbKЪЬЮЬШ%KЪЬ
ЮЬШ-KЪЬЮЬШ%KЪЬЮЬШ)KШ ЧЧKШ Ъ╧nЬЮЬЮШ'KЪЮЬЮЬЮЬbШРKЪЮЬШKЪЬЮЬЮЬШKШ ЧЪЬЩKШ KЪЬ
ЮЬШ(KЪЮЬЮЬЮЬШKЪЮЬЮЬЮЬШKЪЮЬЮЬЮ	ЬШKЪЬЮЬШ$KШ ЪЬ
ЮЬ&Ш4KЪЬ!Щ!KЪЬ#Щ#KЪЬ,Щ,KЪЬ4Щ4KШ ЧЪЯ
ЬЮЬЮЬЮЬШ8KЪЬUЩUЧKШ KШ ЧKЩ ЪЬЩKШ ЧKШ KЪЬ ЮЬЮЬ:ШKЪЬ)ЮЬЮЬ<ШКKШ Ъ
ЯЬЮЬЮЬ5ЮЬЮЬШyKЪЬШKЪЬШKЪЬlШlKЪЬ.Ш.ЪЮЬ
ЮЬЮЬЮЬЮЬЮЬЮЬШFKЪЬ/Ш/KЪЬЮЬШ3KЪЬЮЬШKЪЬШKШKШKЪЬЮЬЮЬ+Ш=ЪЮЬЮЬЮЬШKЪЬЮЬЮЬШKЪЮЬ	ЮЬ╧cШ,KЪЬШЧKЪЮЬШ!KЪЮЬЮЬЮЬШ3KЪЬOЮЬШUKЪЬKЮЬШQKЪЬ@ЮЬШFKЪ	ЬЮЬЮЬЮЬЮЬШRKЪЮЬЮЬ/ШBKЪЬШKЪЮЬVШ\ЧKЪЮЬШKШ ЧЪЯ
ЬЮЬЮЬЮЬЮЬЮЬ+ШuKЪЬЮЬШЪ╧bЬа(ЬШ>KЪЮЬЮЬЮЬ1ШGKЪЮЬШЧЪбЬЮЬЮЬШKЪЬ#ЮЬШ4KЪЮЬШЧKЪЬЮЬЮЬШKЪЬЮЬЮЬШKШKЪЮЬЮЬЮЬ,Ш;KЪЮЬЮЬЮЬ>ШMKШЧKШ Ъ
ЯЬЮЬЮЬЮЬЮЬШCKЪЬЮЬШ"KЪЬЮЬШЪЮЬЮЬЮЬ Ш7KЪЮЬЮЬЮЬ
ЮЬШAKЪЮЬШЧЪЮЬ(Ш*KЪЮЬШKЪЮЬDЮЬЮЬЮЬШqЧKЪЮЬЮЬЮЬHШsKЪЮЬЮЬЮЬnШШKЪЮЬ4Ш:ЧKШ Ъ
ЯЬЮЬЮЬЮЬЮЬШ7ЪЮЬЮЬЮШKЪЬЮЬЮЬШ6KЪЬЮЬЮЬGШmKЪЬЮЬЮЬFШlKЪЮЬЮЬЮЬБШХЧKШ ЧЪЯЬЮЬЮЬ(ЮЬЮЬЮЬЮЬШ[KЪЮЬЮЬЮЬ#Ш=KЪЮЬЮЬЮЬ4ШSKЪЮЬЮЬQШZЧKШ ЪЯЬЮЬ7ЮЬЮЬШRЪЮЬ
ЮЬЮЬШKЪЬЮЬШ%KШKШЧKШKШ ЧЪ
ЯЬЮЬ ЮЬ
ЮЬЮЬШTKШDKЪ
ЮЬ
ЮЬЮЬЮЬЮЬШ#ЪЮШKЪЮЬЮЬЮЬЮЬШ+KЪЮЬЮЬЮЬЮЬШ-KЪЮЬШЧKЪЬШKШ ЧЪ
ЯЬЮЬ=ЮЬЮЬЮЬШЖKЪЬЮЬШЪЮЬЮЬЮЬЮЬШ2KЪЬ+Ш+KЪЬ
ЮЬЮЬШ(KЪЬЮЬШЪЬШKЪЬoШoЧЪ
ЮЬ
ЮЬЮЬЮЬЮЬШ2KЪЬЮЬЮЬЮЬШJЪЮЬЮЬШKЪЬ	ЮЬШKШRKШЪЮЬШKЪЬ7Ш7KШ.ЧKШЧKЪЬШЧЪЮЬЮЬЮЬЮЬШ%ЪЮЬЮШ#KЪЬ	ЮШЧЪЮШKШЧKШ ЧЪЮЬЮЬЮШKЪЬЮЬ0ЮЬЮЬШJKЪЬЧЮЬ1ЮЬЮЬШ╪KЪ	ЬZЮЬЮЬЮЬЮЬШ╕KЪЮЬЮЬШЧKЪЮЬЮЬШЧKЪЮЬЮЬШKШ ЧЪЯ
ЬЮЬЮЬЮЬЮЬЮ	ЬЮЬШЪбЬЮЬЮЬЮЬЮЬЮЬЮЬШ>KЪа)Щ)KЪЬЮЬ
ШKЪЬЮЬШ	ЪЬЮЬЮЬЮЬЮЬЮЬШAKЪЬШKЪЮЬЮЬЮЬЮЬШ'ЪЮЬЮЬЮЬ
ЮШ*KЪЮЬЮЬЮЬЮЬШ'KЪЮЬШЧKШЧЪЮЬЮЬЮЬЮЬШ-KЩЧЪЮЬЮЬЮЬШDKЪЮЬЮЬЮЬШKЪЬ7Щ7ЧЪЮЬ	ЮЬЮЬШ#KЪЬ)Щ)ЧKЪЮЬЮЬЮЬЮЬШ.KЪЬ$ЮЬШ+ЪЮЬ
ЮЬШKЪЬ)Щ)ЪЮЬЮЬШ%KЪЬ+Ш+KЪЬЮЬЮЬ+Ш=ЪЮЬЮЬЮЬШKЪЬЮЬЮЬШKЪЮЬ	ЮЬаШDKЪЮЬЮЬЮЬЮЬШ&KШЧKЪЮЬЮЬЮЬШKШЧKЪЬШKЪЮЬЮЬШKШЧKЪЬШЧKЪЬШKЪЮЬ
ЮЬЮЬЮЬЮЬЮЬШ2KЪЬ	ЮЬШKЪЬ"Ш"KЪЮЬШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ5KЪЬЙЩЙKЪЬШЪЮЬЮЬЮШKЪЬ	ЮЬШKЪЬШKЪЬЮЬЮЬ
Ш8KЪЮЬШЧKЪЮЬЮЬШKШKШ ЧЪЯЬЮЬШ"KЪЬШKШKШ ЧKЪЬЮЬШKШ KЪЬЮЬЮЬЮЬШ2KЪЬЮЬ$Щ5KШ KЪЬЮЬЮЬЮЬЮЬЮЬЩ?ЪЬЮЬЮЬЮЬЮЬЮЬШ2KЪЬ5Щ5KЩBKЩHKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШrKЩKЪЬЮЬШKЪЮЬЮЬЮЬШ0ЪЮЬЮЬЮЬЮЬЮЬ	ЮЬЮШGKЪ
ЮЬЮЬ
ЮЬЮЬЮЬШ3KЪЬЮЬШ&KШ KЪЬЮЬ$Щ3ЪЮЬЮЬ2Ш=KЪЬЮЬ
ЮЬЮЬЮШ-KЪЬШЧKЪЮЬШЧKЪЬШЧKШ ЪЯ
ЬЮЬЮЬЮЬЮЬЮЬЩOKЩАKЪЮЬ!ЮЬЮЬЩLKЩЧKШ KШ KШ ЪЮЬШKШ KШ ЧЧ ЕЧ    #°  8з  