[Cyan]<PreISLCedar>Tioga>TEditSelection.mesa!1

-- TEditSelection.mesa, Edited by Paxton on December 29, 1982 10:31 am

Last Edited by: Plass, October 10, 1983 5:21 pm

DIRECTORY

Imager USING [Context],

Rope USING [ROPE],

TextNode USING [Location, Ref, Span],

TEditDocument USING [Selection, TEditDocumentData, SelectionId, SelectionPoint, SelectionGrain],

ViewerClasses USING [ModifyProc, Viewer];

TEditSelection: CEDAR DEFINITIONS = BEGIN

Viewer: TYPE = ViewerClasses.Viewer;

Selection: TYPE = TEditDocument.Selection;

TEditDocumentData: TYPE = TEditDocument.TEditDocumentData;

SelectionId: TYPE = TEditDocument.SelectionId;

SelectionPoint: TYPE = TEditDocument.SelectionPoint;

SelectionGrain: TYPE = TEditDocument.SelectionGrain;

pSel, sSel, oldSel, nilSel, fSel: READONLY Selection;

-- pSel and sSel are the global primary and secondary selections

-- fSel is the global feedback selection

-- oldSel is old secondary selection saved for Repeat's

-- nilSel is for deselecting

------ Selection Allocating and Access ------

Create: PROC RETURNS [Selection]; -- to create a selection record

Alloc: PROC RETURNS [Selection]; -- gets it from a small cache

Free: PROC [Selection]; -- returns it to the cache. ok if fail to return. disaster if return twice

Copy: PROC [source, dest: Selection]; -- the approved way to access selection records

No one should do pSel^ ← tSel^ or vice versa ... call Copy instead. It's monitored.

------ Selection Display and Control ------

PushOrExchangeSelections: PROC;

MakePrimary: PROC;

MakeSecondary: PROC;

CancelPrimary: PROC;

CancelSecondary: PROC;

CancelFeedback: PROC;

CallWithSelAndDocAndTddLocks: PROC [

viewer: Viewer, id: SelectionId ← primary, proc: PROC [tdd: TEditDocumentData, tSel: Selection]];

UnlockDocAndPSel: PROC [root: TextNode.Ref];

LockSel: PROC [selection: SelectionId, who: Rope.ROPE];

lock the selection so that no other process can change it

UnlockSel: PROC [selection: SelectionId];

give up lock on the selection

LockBothSelections: PROC [who: Rope.ROPE]; -- locks primary, then secondary

UnlockBothSelections: PROC;

MakeSelection: PROC [new: Selection ← NIL, selection: SelectionId ← primary,

startValid, endValid: BOOLEAN ← FALSE, forkPaint: BOOL ← TRUE] ;

start and end valid are if metrics were precomputed and can be trusted by the selection display code. forkPaint is false for selection display code; true for edit ops and others.

CaretVisible: PROC RETURNS [BOOL];

IsDown: PROC [id: SelectionId] RETURNS [BOOL];

ForceDown: PROC [id: SelectionId];

ShowSelection: PROC [id: SelectionId, self: Viewer, context: Imager.Context];

TakeDownForRedisplay: PROC [id: SelectionId, self: Viewer, context: Imager.Context];

FixUpAfterDisplay: PROC [id: SelectionId, self: Viewer, context: Imager.Context, caret: BOOL];

AdjustSelStates: PROC [self: Viewer];

TakeSelectionDown: PROC [id: SelectionId, self: Viewer, context: Imager.Context];

PutSelectionUp: PROC [id: SelectionId, self: Viewer, context: Imager.Context];

FakeSecondary: PROC [sel: Selection]; -- change sSel without showing it

Deselect: PROC [selection: SelectionId ← primary];

Take down the selection without giving up the input focus.

MarkSelection: PROC [dc: Imager.Context, viewer: Viewer, selection: Selection, id: SelectionId] ;

ExtendSelection: PROC [dc: Imager.Context, viewer: Viewer,

old, new: Selection, id: SelectionId, updateEnd: BOOLEAN] ;

CannotFindIt: ERROR;

-- can be raised by ComputeSpanLines, ComputePosLine, or ComputePosPoint

ComputeSpanLines: PUBLIC PROC [viewer: Viewer, span: TextNode.Span]

RETURNS [start, end: INTEGER, startClipped, endClipped: BOOLEAN] ;

ComputePosLine: PROC [

viewer: Viewer, pos: TextNode.Location, firstLine: INTEGER ← 0]

RETURNS [line: INTEGER, clipped: BOOLEAN];

ComputePosPoint: PROC [

viewer: Viewer, pos: TextNode.Location,

firstLine: INTEGER ← 0, lineOnly: BOOLEAN ← FALSE]

RETURNS [sp: SelectionPoint];

FixupSelection: PROC [selection: Selection, viewer: Viewer, start, end: BOOLEAN ← TRUE] ;

FixupCaret: PROC [selection: Selection] ;

KillSelection: PROC ; -- including resetting inputFocus

MakePointSelection: PROC [selection: Selection, pos: TextNode.Location];

InputModify: ViewerClasses.ModifyProc ;

SelectEverything: PROC; -- expand to include everything

GrowSelectionToBlanks: PROC;

GrowSelectionToSomething: PROC [left, right: PROC [CHAR] RETURNS [BOOLEAN]];

grows until procs return true.

GrowSelection: PROC;

PendingDeleteSelection: PROC;

NotPendingDeleteSelection: PROC;

CaretBeforeSelection: PROC;

CaretAfterSelection: PROC;

------ Misc functions ------

SelectionRoot: PROC [s: Selection ← pSel] RETURNS [root: TextNode.Ref];

InsertionPoint: PROC [s: Selection ← pSel] RETURNS [ip: TextNode.Location];

GetSelectionGrain: PROC [sel: Selection] RETURNS [SelectionGrain];

InvalidateLineCache: PROC ;

CharPositionInCachedLine: PROC [viewer: Viewer, tdd: TEditDocumentData, line: INTEGER, pos: TextNode.Location] RETURNS [x, width: INTEGER];

x is LAST[INTEGER] if pos is past the end of the line.

Position: PROC [viewer: Viewer] ;

FindWhere: TYPE = { forwards, backwards, anywhere };

Find: PROC [

viewer: Viewer, findWhere: FindWhere ← anywhere,

def, word: BOOLEAN ← FALSE,

id: SelectionId ← primary,

case: BOOL ← TRUE -- case => case of characters is significant -- ];

FindRope: PROC [viewer: Viewer, rope: Rope.ROPE,

findWhere: FindWhere ← anywhere,

def, word: BOOLEAN ← FALSE,

id: SelectionId ← primary,

case: BOOL ← TRUE -- case => case of characters is significant -- ];

DoFind: PROC [viewer: Viewer, rope: Rope.ROPE,

findWhere: FindWhere ← anywhere,

def, word: BOOLEAN ← FALSE,

id: SelectionId ← primary,

case: BOOL ← TRUE -- case => case of characters is significant -- ]

RETURNS [found: BOOL];

------ Screen to viewbox transforms ------

SelectProc: TYPE = PROC [viewer: Viewer, tdd: TEditDocumentData,

x,y: INTEGER, sel: SelectionId, pDel: BOOLEAN] ;

SelectPoint: SelectProc;

SelectChar: SelectProc;

SelectWord: SelectProc;

SelectNode: SelectProc;

SelectBranch: SelectProc;

Update: SelectProc;

LevelChange: TYPE = {reduce, expand, same};

Extend: PROC [

viewer: Viewer,

tdd: TEditDocumentData,

x,y: INTEGER,

sel: SelectionId,

pDel: BOOLEAN,

changeLevel: LevelChange,

saveEnds: BOOLEAN];

SetSelLooks: PROC [sel: Selection];

END.

Edited on February 24, 1983 9:51 am, by Plass

replaced GetCachedLineInfo with CharPositionInCachedLine, DIRECTORY

Plass, August 9, 1983 2:27 pm: Imager conversion