TiogaOps2Impl.Mesa
written by Bill Paxton. June 1982
last written by Paxton. December 30, 1982 11:13 am
Last Edited by: Plass, October 12, 1983 10:31 am
DIRECTORY
TiogaOpsDefs,
EditSpan,
MessageWindow,
NameSymbolTable,
NodeStyle,
Rope,
RunReader,
TEditDocument,
TEditDocumentPrivate,
TEditInput,
TEditInputOps,
TEditLocks,
TEditMesaOps,
TEditOps,
TEditProfile,
TEditRefresh,
TEditScrolling,
TEditSelection,
TextEdit,
TextFind,
TextFindPrivate,
TextLooks,
TextLooksSupport,
TextNode,
TiogaOps,
TiogaExtraOps,
TiogaMenuOps,
TreeFind;
TiogaOps2Impl: CEDAR PROGRAM
IMPORTS
MessageWindow,
NameSymbolTable,
NodeStyle,
Rope,
RunReader,
TEditDocumentPrivate,
TEditInput,
TEditInputOps,
TEditOps,
TEditProfile,
TEditRefresh,
TEditScrolling,
TEditSelection,
TextEdit,
TextFind,
TextLooksSupport,
TextNode,
TreeFind
EXPORTS TiogaOpsDefs, TiogaOps, TiogaMenuOps =
BEGIN OPEN TiogaOps, TiogaMenuOps, TiogaOpsDefs;
Ref: TYPE = REF NodeBody; -- points to a Tioga node
NodeBody: PUBLIC TYPE = TextNode.Body;
Finder: TYPE = REF FinderRec;
FinderRec: PUBLIC TYPE = TextFindPrivate.FinderRecord;
Search
LooksRope: PROC [looks: TextLooks.Looks] RETURNS [r: ROPE] = {
FOR c: CHAR IN TextLooks.Look DO
IF looks[c] THEN r ← Rope.Concat[r, Rope.FromChar[c]];
ENDLOOP
};
RopeToLooks: PROC [r: ROPE] RETURNS [looks: TextLooks.Looks] = {
Set: PROC [c: CHAR] RETURNS [quit: BOOLFALSE] = { looks[c] ← TRUE };
[] ← Rope.Map[base: r, action: Set];
};
CreateGeneralPattern: PUBLIC PROC [
target: Ref, -- node from which to get the pattern
text: BOOLTRUE, -- if true, match target text
looks: BOOLFALSE, -- if true, match target looks
format: BOOLFALSE, -- if true, match target format
style: BOOLFALSE, -- if true, match target style
comment: BOOLFALSE, -- if true, match target comment property
case: BOOLTRUE, -- if true, match case
literal: BOOLFALSE, -- if true, treat target literally rather than as a pattern
word: BOOLFALSE, -- if true, match words only
subset: BOOLTRUE, -- if true, use subset for looks test, else use equality
addBounds: BOOLFALSE] -- if true, add |'s to both ends of pattern
RETURNS [pattern: Pattern] = {
txt: TextNode.RefTextNode = TextNode.NarrowToTextNode[target];
patternTxt: TextNode.RefTextNode ← txt;
pattern ← TextNode.pZone.NEW[PatternRec];
IF looks AND ~text THEN { -- make a phony search pattern and get the looks
size: Offset = TextEdit.Size[txt];
lks: TextLooks.Looks = IF size=0 THEN TextLooks.noLooks ELSE TextEdit.FetchLooks[txt,0];
pattern.searchLooks ← LooksRope[lks];
FOR i: Offset IN [1..size) DO
IF TextEdit.FetchLooks[txt,i]#lks THEN {
OPEN MessageWindow;
Append["Search pattern does not have uniform looks.",TRUE];
Append[" Using looks from first char."];
EXIT };
ENDLOOP;
literal ← FALSE;
patternTxt ← TextEdit.FromRope["#*"];
TextEdit.SetLooks[NIL, patternTxt, lks] };
pattern.text ← text;
pattern.looks ← looks;
pattern.word ← word;
pattern.looksExact ← ~subset;
pattern.commentControl ← IF ~comment OR txt=NIL THEN includeComments
ELSE IF txt.comment THEN commentsOnly ELSE excludeComments;
pattern.checkType ← format;
pattern.type ← IF target=NIL OR target.typename=TextNode.nullTypeName THEN NIL ELSE
NameSymbolTable.RopeFromName[target.typename];
pattern.checkStyle ← style;
pattern.style ← IF ~style THEN NIL
ELSE NameSymbolTable.RopeFromName[NodeStyle.StyleNameForNode[target]];
IF text OR looks THEN TRUSTED { -- create a description of the pattern
pattern.finder ← LOOPHOLE[
TreeFind.Create[patternTxt, literal, word, ~looks, ~case, addBounds]]};
};
CreateSimplePattern: PUBLIC PROC [
target: ROPE, -- node from which to get the pattern
case: BOOLTRUE, -- if true, match case
literal: BOOLFALSE, -- if true, treat target literally rather than as a pattern
word: BOOLFALSE, -- if true, match words only
addBounds: BOOLFALSE] -- if true, add |'s to both ends of pattern
RETURNS [pattern: Pattern] = {
pattern ← TextNode.pZone.NEW[PatternRec];
pattern.text ← TRUE;
pattern.looks ← FALSE;
pattern.word ← word;
pattern.commentControl ← includeComments;
pattern.checkType ← FALSE;
pattern.type ← NIL;
pattern.checkStyle ← FALSE;
pattern.style ← NIL;
TRUSTED {pattern.finder ← LOOPHOLE[TreeFind.CreateFromRope[target, literal, word, ~case, addBounds]]};
};
FindCC: PROC [cc: CommentControl] RETURNS [TreeFind.CommentControl] = INLINE {
RETURN [SELECT cc FROM
includeComments => includeComments,
excludeComments => excludeComments,
commentsOnly => commentsOnly,
ENDCASE => ERROR] };
SelectionSearch: PUBLIC PROC [
pattern: Pattern, whichDir: SearchDir ← forwards, interrupt: REF BOOLNIL,
startBoundaryNode, endBoundaryNode: Ref ← NIL,
startBoundaryOffset: Offset ← 0, endBoundaryOffset: Offset ← LAST[Offset]]
RETURNS [found: BOOL] = {
pSel: TEditDocument.Selection = TEditSelection.pSel;
Found: PROC [tSel: TEditDocument.Selection] = {
tSel.viewer ← pSel.viewer;
tSel.data ← pSel.data;
TEditOps.RememberCurrentPosition[pSel.viewer];
TEditSelection.SetSelLooks[tSel];
TEditSelection.MakeSelection[new: tSel];
TEditInput.CloseEvent[];
TEditRefresh.ScrollToEndOfSel[tSel.viewer, FALSE] };
Locations: PROC RETURNS [start, end: TextNode.Location] = {
start ← pSel.start.pos; end ← pSel.end.pos };
found ← DoSearch[pattern, whichDir, interrupt, Found, Locations,
startBoundaryNode, endBoundaryNode,
startBoundaryOffset, endBoundaryOffset] };
DocLoc: PROC [loc: Location] RETURNS [TextNode.Location] = INLINE {
RETURN [[loc.node, loc.where]] };
MyLoc: PROC [loc: TextNode.Location] RETURNS [Location] = INLINE {
RETURN [[loc.node, loc.where]] };
NodeSearch: PUBLIC PROC [
pattern: Pattern, whichDir: SearchDir ← forwards,
startLoc, endLoc: Location, interrupt: REF BOOLNIL,
startBoundaryNode, endBoundaryNode: Ref ← NIL,
startBoundaryOffset: Offset ← 0, endBoundaryOffset: Offset ← LAST[Offset]]
RETURNS [found: BOOL, start, end: Location] = {
Found: PROC [tSel: TEditDocument.Selection] = {
start ← MyLoc[tSel.start.pos]; end ← MyLoc[tSel.end.pos] };
Locations: PROC RETURNS [start, end: TextNode.Location] = {
start ← DocLoc[startLoc]; end ← DocLoc[endLoc] };
found ← DoSearch[pattern, whichDir, interrupt, Found, Locations,
startBoundaryNode, endBoundaryNode,
startBoundaryOffset, endBoundaryOffset] };
DoSearch: PROC [
pattern: Pattern, whichDir: SearchDir ← forwards, interrupt: REF BOOLNIL,
foundProc: PROC [tSel: TEditDocument.Selection],
locationProc: PROC RETURNS [start, end: TextNode.Location],
startBoundaryNode, endBoundaryNode: Ref ← NIL,
startBoundaryOffset: Offset ← 0, endBoundaryOffset: Offset ← LAST[Offset]]
RETURNS [found: BOOL] = {
at, atEnd, offset: TextNode.Offset;
first: TextNode.Ref;
where: TextNode.RefTextNode;
startLoc, endLoc: TextNode.Location;
DoLookForPattern: PROC [root: TextEdit.Ref, tSel: TEditDocument.Selection] = {
Forwards: PROC = TRUSTED {
IF (offset ← endLoc.where+1) >=
TextEdit.Size[TextNode.NarrowToTextNode[first ← endLoc.node]] THEN {
first ← TextNode.StepForward[first]; offset ← 0 };
[found,where,at,atEnd,,] ←
TreeFind.Try[finder: LOOPHOLE[pattern.finder], first: first, start: offset,
last: endBoundaryNode, lastLen: endBoundaryOffset,
interrupt: interrupt,
looksExact: pattern.looksExact,
checkType: pattern.checkType,
type: NameSymbolTable.MakeNameFromRope[pattern.type],
commentControl: FindCC[pattern.commentControl],
checkStyle: pattern.checkStyle,
style: NameSymbolTable.MakeNameFromRope[pattern.style],
styleProc: NodeStyle.StyleNameForNode] };
Backwards: PROC = TRUSTED {
IF (offset ← startLoc.where)=0 THEN {
first ← TextNode.StepBackward[startLoc.node];
offset ← TreeFind.MaxLen }
ELSE first ← startLoc.node;
[found,where,at,atEnd,,] ←
TreeFind.TryBackwards[finder: LOOPHOLE[pattern.finder],
first: first, len: offset,
last: startBoundaryNode, lastStart: startBoundaryOffset,
interrupt: interrupt,
looksExact: pattern.looksExact,
checkType: pattern.checkType,
type: NameSymbolTable.MakeNameFromRope[pattern.type],
commentControl: FindCC[pattern.commentControl],
checkStyle: pattern.checkStyle,
style: NameSymbolTable.MakeNameFromRope[pattern.style],
styleProc: NodeStyle.StyleNameForNode] };
[startLoc, endLoc] ← locationProc[];
IF interrupt#NIL THEN interrupt^ ← FALSE;
SELECT whichDir FROM
forwards => Forwards[];
backwards => Backwards[];
anywhere => {
Forwards[];
IF found THEN whichDir ← forwards ELSE {
whichDir ← backwards; Backwards[] }};
ENDCASE => ERROR;
IF ~found OR where=NIL THEN RETURN;
IF pattern.looks AND ~pattern.text AND ~pattern.word THEN
[at,atEnd] ← Extend[whichDir=forwards,
pattern.looksExact, RopeToLooks[pattern.searchLooks], where, at, atEnd];
tSel.start.pos ← [where,at];
tSel.end.pos ← [where,MAX[0,atEnd-1]];
tSel.granularity ←
IF ~pattern.looks AND ~pattern.text THEN node
ELSE IF pattern.word THEN word ELSE char;
tSel.insertion ← IF TEditProfile.selectionCaret=before THEN before ELSE after;
foundProc[tSel];
};
TEditInputOps.CallWithLocks[DoLookForPattern, read] };
Extend: PROC
[forward, looksExact: BOOLEAN, searchLooks: TextLooks.Looks,
where: TextNode.RefTextNode, at, atEnd: TextNode.Offset,
last: TextNode.Ref ← NIL, lastLen: TextNode.Offset ← TextNode.MaxLen]
RETURNS [newAt, newAtEnd: TextNode.Offset] = {
runrdr: RunReader.Ref ← RunReader.GetRunReader[];
{ -- for EXITS
looks: TextLooks.Looks;
runLen: TextNode.Offset;
runs: TextLooks.Runs ← where.runs;
IF forward THEN { -- extend toward end of node
size: TextNode.Offset ← TextEdit.Size[where];
IF atEnd=size OR size=0 THEN GOTO Done;
lastLen ← IF where=last THEN MIN[size,lastLen] ELSE size;
RunReader.SetPosition[runrdr,runs,atEnd];
WHILE atEnd < lastLen DO
IF runs=NIL THEN { runLen ← size-atEnd; looks ← TextLooks.noLooks }
ELSE [runLen,looks] ← RunReader.Get[runrdr];
IF ~looksExact THEN looks ← TextLooksSupport.LooksAND[looks,searchLooks];
IF searchLooks # looks THEN EXIT;
atEnd ← atEnd+runLen;
ENDLOOP;
RunReader.FreeRunReader[runrdr];
RETURN [at,MIN[atEnd,lastLen]] };
IF at=0 THEN GOTO Done;
RunReader.SetPosition[runrdr,runs,at];
WHILE at > 0 DO
IF runs=NIL THEN { runLen ← at; looks ← TextLooks.noLooks }
ELSE [runLen,looks] ← RunReader.Backwards[runrdr];
IF ~looksExact THEN looks ← TextLooksSupport.LooksAND[looks,searchLooks];
IF searchLooks # looks THEN EXIT;
at ← at-runLen;
ENDLOOP;
RunReader.FreeRunReader[runrdr];
RETURN [at,atEnd];
EXITS Done => { RunReader.FreeRunReader[runrdr]; RETURN }}};
SelectMatchingBrackets: PUBLIC PROC [before, after: CHAR] RETURNS [found: BOOL] = {
found ← TEditInputOps.DoSelectMatchingBrackets[before, after] };
NextPlaceholder: PUBLIC PROC [dir: Dir ← forward, gotoend: BOOL,
startBoundaryNode, endBoundaryNode: Ref ← NIL,
startBoundaryOffset: Offset ← 0, endBoundaryOffset: Offset ← LAST[Offset]]
RETURNS [found, wenttoend: BOOL] = {
[found, wenttoend] ← TEditInputOps.DoFindPlaceholders[
dir=forward, gotoend,
startBoundaryNode, endBoundaryNode,
startBoundaryOffset, endBoundaryOffset] };
NextViewer: PUBLIC PROC [dir: Dir ← forward] RETURNS [found: BOOL] = {
found ← TEditInputOps.DoNextViewer[dir=forward] };
SearchWhere: PROC [whichDir: SearchDir] RETURNS [TEditSelection.FindWhere] = INLINE {
RETURN [SELECT whichDir FROM
forwards => forwards,
backwards => backwards,
anywhere => anywhere,
ENDCASE => ERROR] };
Places menu commands
Position: PUBLIC PROC [viewer: Viewer] = { TEditInput.InterpretAtom[viewer, $Position] };
Normalize: PUBLIC PROC [viewer: Viewer] = { TEditInput.InterpretAtom[viewer, $NormalizeToStart] };
PrevPlace: PUBLIC PROC [viewer: Viewer] = {
TEditInput.InterpretAtom[viewer, $PrevPlace] };
Reselect: PUBLIC PROC [viewer: Viewer] = {
TEditInput.InterpretAtom[viewer, $Reselect] };
Files and text viewers
Save: PUBLIC PROC [viewer: Viewer] = {
TEditInput.InterpretAtom[viewer, $Save] };
Load: PUBLIC PROC [viewer: Viewer, fileName: ROPENIL,
fileNameProcViewer: Viewer ← NIL] = {
[] ← TEditDocumentPrivate.DoLoadFile[viewer, fileName, FALSE, fileNameProcViewer] };
Open: PUBLIC PROC [fileName: ROPENIL, fileNameProcViewer: Viewer ← NIL]
RETURNS [Viewer] = {
RETURN [TEditDocumentPrivate.DoOpenFile[fileName, fileNameProcViewer]] };
CloseAndOpen: PUBLIC PROC [
viewer: Viewer, fileName: ROPENIL, fileNameProcViewer: Viewer ← NIL]
RETURNS [Viewer] = {
RETURN [TEditDocumentPrivate.DoLoadFile[
viewer, fileName, TRUE, fileNameProcViewer]] };
LoadImpl: PUBLIC PROC [viewer: Viewer, fileName: ROPENIL] = {
[] ← TEditDocumentPrivate.DoLoadImplFile[viewer, fileName] };
OpenImpl: PUBLIC PROC [fileName: ROPENIL] RETURNS [Viewer] = {
RETURN [TEditDocumentPrivate.DoOpenImplFile[fileName]] };
CloseAndOpenImpl: PUBLIC PROC [viewer: Viewer, fileName: ROPENIL]
RETURNS [Viewer] = {
RETURN [TEditDocumentPrivate.DoCloseAndOpenImplFile[viewer, fileName]] };
LoadPreviousFile: PUBLIC PROC [parent: Viewer] = {
TEditInput.InterpretAtom[parent, $LoadPrevious] };
OpenPreviousFile: PUBLIC PROC [parent: Viewer] = {
TEditInput.InterpretAtom[parent, $OpenPrevious] };
CloseAndOpenPreviousFile: PUBLIC PROC [parent: Viewer] = {
TEditInput.InterpretAtom[parent, $CloseAndOpenPrevious] };
DefaultMenus: PUBLIC PROC [viewer: Viewer, paint: BOOLFALSE] = {
TEditDocumentPrivate.DefaultMenus[viewer, paint] };
Store: PUBLIC PROC [viewer: Viewer, fileName: ROPENIL] = {
TEditDocumentPrivate.DoStoreFile[viewer, fileName] };
New: PUBLIC PROC RETURNS [Viewer] = {
RETURN [TEditDocumentPrivate.DoNewViewer[]] };
Empty: PUBLIC PROC [viewer: Viewer] = {
TEditDocumentPrivate.EmptyViewer[viewer] };
CloseAndNewViewer: PUBLIC PROC [viewer: Viewer] RETURNS [Viewer] = {
RETURN [TEditDocumentPrivate.DoCloseAndNewViewer[viewer]] };
Reset: PUBLIC PROC [viewer: Viewer] = {
TEditInput.InterpretAtom[viewer, $Reset] };
Jump: PUBLIC PROC [viewer: Viewer, loc: Location] = {
DocLoc: PROC [loc: Location] RETURNS [TextNode.Location] = INLINE {
RETURN [[loc.node, loc.where]] };
[] ← TEditScrolling.ScrollToPosition[viewer, DocLoc[loc]] };
Levels menu commands
FirstLevelOnly: PUBLIC PROC [viewer: Viewer] = { [] ← TEditInput.FirstLevelOnly[viewer] };
MoreLevels: PUBLIC PROC [viewer: Viewer] = { [] ← TEditInput.MoreLevels[viewer] };
FewerLevels: PUBLIC PROC [viewer: Viewer] = { [] ← TEditInput.FewerLevels[viewer] };
AllLevels: PUBLIC PROC [viewer: Viewer] = { [] ← TEditInput.AllLevels[viewer] };
END.