
DIRECTORY
EditSpan USING [CannotDoEdit, Transpose],
EditSpanSupport USING [CopySpan],
MessageWindow USING [Append, Blink],
NodeProps,
TextEdit,
TextNode,
TEditDocument USING [Selection, TEditDocumentData],
TEditInput USING [currentEvent],
TEditInputOps USING [CallWithLocks, Delete],
TEditSelection USING [GetSelectionGrain, MakeSelection],
Tioga,
TiogaAccess USING [Reader, Writer, FinishWrite, FromNode],
TiogaAccessViewers USING [],
ViewerClasses USING [Viewer],
ViewerOps USING [PaintViewer];

TiogaAccessViewersImpl: CEDAR PROGRAM
IMPORTS EditSpan, EditSpanSupport, MessageWindow, TEditInput, TEditInputOps, TEditSelection, TiogaAccess, ViewerOps, NodeProps, TextEdit, TextNode
EXPORTS TiogaAccessViewers
~ BEGIN

Node: TYPE ~ Tioga.Node;
Span: TYPE ~ Tioga.Span;
NodeItself: INT ~ Tioga.NodeItself;
Viewer: TYPE ~ ViewerClasses.Viewer;
Selection: TYPE ~ TEditDocument.Selection;
Reader: TYPE ~ TiogaAccess.Reader;
Writer: TYPE ~ TiogaAccess.Writer;

SelectionSpan: PROC [sel: Selection] RETURNS [span: Span] ~ {
start: Tioga.Location ~ sel.start.pos;
end: Tioga.Location ~ sel.end.pos;
IF TEditSelection.GetSelectionGrain[sel]<node THEN RETURN[[start, end]]
ELSE RETURN[TextNode.MakeNodeSpan[start.node, end.node]];
};

TakeNodeSubstr: PROC [t: Node, start: INT, length: INT] ~ {
root: Node ~ TextNode.Root[t];
[] м TextEdit.ReplaceText[destRoot: root, sourceRoot: root, 
dest: t, source: t, sourceStart: start, sourceLen: length];
};

CopyNodeProps: PROC [root, newRoot: Node] ~ {
CopyPropAction: NodeProps.MapPropsAction = {
NodeProps.PutProp[newRoot, name, NodeProps.CopyInfo[name, value]];
RETURN[FALSE];
};
[] м NodeProps.MapProps[n: root, action: CopyPropAction];
};

CopySelection: PUBLIC PROC RETURNS [textNode: Node м NIL, offset: INT м 0] ~ {
LockedCopySelection: PROC [root: Node, tSel: Selection] ~ {
IF tSel.granularity # point THEN {
span: Span ~ SelectionSpan[tSel];
copy: Span м EditSpanSupport.CopySpan[span];
offset м TextNode.LocOffset[loc1: TextNode.MakeNodeLoc[root], loc2: span.start, skipCommentNodes: TRUE];
IF copy.end.where # NodeItself AND copy.end.node # NIL THEN {
TakeNodeSubstr[copy.end.node, 0, copy.end.where+1];
};
IF copy.start.where > 0 THEN {
TakeNodeSubstr[copy.start.node, copy.start.where, INT.LAST];
copy.start.where м 0;
};
textNode м copy.start.node;
CopyNodeProps[root: root, newRoot: TextNode.Root[textNode]];
};
};
TEditInputOps.CallWithLocks[LockedCopySelection, read];
};

FromSelection: PUBLIC PROC RETURNS [Reader] ~ {
textNode: Node м NIL;
myOffset: INT м 0;
[textNode, myOffset] м CopySelection[];
RETURN [TiogaAccess.FromNode[textNode, myOffset]]
};

CopyDoc: PUBLIC PROC [root: Node] RETURNS [copy: Node м NIL] ~ {
r: Node м TextNode.Root[
EditSpanSupport.CopySpan[ -- adds an extra r node
TextNode.MakeNodeSpan[root, TextNode.LastWithin[root]]
]
.start.node
];
copy м TextNode.FirstChild[r]; -- get rid of the extra r node
copy.parent м copy.next м NIL; -- no parent or siblings
r.child м NIL; r м NIL;-- don't want r any more
};

FromViewer: PUBLIC PROC [viewer: ViewerClasses.Viewer] RETURNS [Reader] ~ {
textNode: Node м NIL;
WITH viewer.data SELECT FROM
tdd: TEditDocument.TEditDocumentData => textNode м CopyDoc[tdd.text];
ENDCASE => NULL;
RETURN [TiogaAccess.FromNode[textNode]]
};

SetSelectionFromSpan: PROC [tSel: Selection, span: TextNode.Span] ~ {
IF span.start.node = span.end.node THEN {
IF (span.start.where = NodeItself) # (span.end.where = NodeItself) THEN ERROR; -- someone made a bogus span.
IF span.start.where = NodeItself THEN {
span.start.where м 0;
span.end.where м MAX[TextEdit.Size[span.end.node]-1, 0];
tSel.granularity м node;
}
ELSE {
tSel.granularity м MIN[tSel.granularity, word];
IF span.start.where <= span.end.where THEN {
tSel.granularity м MAX[tSel.granularity, char];
}
ELSE {
tSel.granularity м point;
span.end.where м span.start.where;
};
};
}
ELSE {
IF span.start.where = NodeItself AND span.end.where = NodeItself THEN {
tSel.granularity м MAX[tSel.granularity, node];
}
ELSE {
tSel.granularity м char;
};
IF span.start.where=NodeItself THEN span.start.where м 0;
IF span.end.where=NodeItself THEN span.end.where м MAX[TextEdit.Size[span.end.node]-1, 0];
};
tSel.start.pos м span.start;
tSel.end.pos м span.end;
};

WriteSelection: PUBLIC PROC [writer: Writer] ~ {
action: PROC [root, first, last: Node] ~ {
IF root = NIL THEN TEditInputOps.Delete[]
ELSE {
success: BOOL м FALSE;
lastSize: INT м TextEdit.Size[last];
startOffset: INT м IF lastSize=0 AND first=last THEN NodeItself ELSE 0;
endOffset: INT м IF lastSize=0 THEN NodeItself ELSE lastSize-1;
alpha: Span м [start: [node: first, where: startOffset], end: [node: last, where: endOffset]];
DoTranspose: PROC [root: Node, tSel: Selection] ~ {
beta: Span м SelectionSpan[tSel];
documentRoot: Node м TextNode.Root[beta.start.node];
IF tSel.granularity = node OR tSel.granularity = branch THEN {
alpha.start.where м alpha.end.where м NodeItself;
};
success м TRUE;
[alpha, beta] м EditSpan.Transpose[alphaRoot: root, betaRoot: documentRoot, alpha: alpha, beta: beta, event: TEditInput.currentEvent ! EditSpan.CannotDoEdit => {success м FALSE; CONTINUE}];
IF success THEN {
tSel.pendingDelete м FALSE;
SetSelectionFromSpan[tSel, alpha];
TEditSelection.MakeSelection[new: tSel, selection: primary];
};
};
TEditInputOps.CallWithLocks[DoTranspose, write];
IF NOT success THEN {
MessageWindow.Append["Can't do it.", TRUE];
MessageWindow.Blink[];
};
};
};
TiogaAccess.FinishWrite[writer, action];
};

WriteViewer: PUBLIC PROC [writer: Writer, viewer: ViewerClasses.Viewer] ~ {
action: PROC [root, first, last: Node] ~ {
IF viewer # NIL AND viewer.data # NIL AND viewer.class.set # NIL THEN {
viewer.class.set[viewer, root, FALSE, $TiogaDocument];
ViewerOps.PaintViewer[viewer, all];
};
};
TiogaAccess.FinishWrite[writer, action];
};

END.
   И  
TiogaAccessViewersImpl.mesa
Copyright ╙ 1991, 1992 by Xerox Corporation.  All rights reserved.
Doug Wyatt, December 18, 1991 0:24 am PST
Provides a TiogaAccess interface to text viewers and the current selection.

 [name: ATOM, value: REF] RETURNS [quit: BOOL м FALSE];
style м Atom.GetPName[NodeStyleOps.StyleNameForNode[root]];
span is exactly one node.
part of a node
last before first means a point selection
crosses multiple nodes
includes all entire nodes.
includes partial nodes.
Now span has been sanitized of NodeItself flag, with the information (mostly) relayed to tSel.granularity.  All that's left is to plug in the locations.
 Э╩.  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЩKЪЬ
╧eЬ7ЩBKЩ)KШ KЩKKЩ ЧЪ╧k	Ш	KЪЬ	ЮЬШ)KЪЬЮЬШ!KЪЬЮЬШ$KЪЬ
Ш
KЪЬ	Ш	KЪЬ	Ш	KЪЬЮЬ Ш3KЪЬЮЬШ KЪЬЮЬШ,KЪЬЮЬ$Ш8KЪЬШKЪЬЮЬ)Ш:KЪЬЮЬШKЪЬЮЬ
ШKЪЬ
ЮЬШЧKШ KЪ╧nЬЮЬЮШ%KЪЮЬЛШТKЪЮЬШKЪЬЮШKШ KЪЬЮЬШKЪЬЮЬШKЪЬЮЬШ#KЪЬЮЬШ$KЪЬЮЬШ*KЪЬЮЬШ"KЪЬЮЬШ"KШ ЪЯЬЮЬЮЬШ=KЪЬ&Ш&KЪЬ"Ш"KЪЮЬ,ЮЬЮЬШGKЪЮЬЮЬ.Ш9KШKШ ЧЪЯЬЮЬЮЬ
ЮЬШ;KШKЪЬxШxKШKШ ЧЪЯЬЮЬШ-ЪЯЬШ,KЪЬЮЬ	ЮЬЮЬЮЬЮЬЩ7KЪЬBШBKЪЮЬЮЬШKШЧKХStartOfExpansionn[n: TextNode.Ref, action: NodeProps.MapPropsAction, formatFlag: BOOL _ TRUE, commentFlag: BOOL _ TRUE]ЪЬ9Ш9KЪЬШKШ ЧЪЯЬЮЬЮЬЮЬЮЬ
ЮЬ	ШNЪЯЬЮЬ"Ш;KЪЬ;Щ;ЪЮЬЮЬШ"KЪЬ!Ш!KЪЬ,Ш,KЪЬbЮЬШhЪЮЬЮЬЮЬЮЬШ=KЪЬ3Ш3KЪЬШЧЪЮЬЮЬШKЪЬ2ЮЬЮЬШ<KЪЬШKЪЬШЧKЪЬШKЪЬ<Ш<KЪЬШЧKЪЬШЧKЪЬ7Ш7KЪЬШKШ ЧЪЯЬЮЬЮЬЮЬШ/KЪЬЮЬШKЪЬ
ЮЬШKШ'KЪЮЬ+Ш1KЪЬШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ@ЪЬШЪЬ╧cЬаШ1KЪЬ6Ш6KШЧKШKШЧKЪЬаЬаШ=KЪЬЮЬаШ7KЪЬ
ЮЬЮЬаШ/KЪЬШKШ ЧЪЯ
ЬЮЬЮЬ ЮЬШKKЪЬЮЬШЪЮЬЮЬЮШKЪЬEШEKЪЮЬЮЬШЧKЪЮЬ!Ш'KЪЬШKШ ЧЪЯЬЮЬ+ШEЪЮЬ!ЮЬШ)KЪЮЬAЮЬЮЬаШlЪЮЬЮЬШ'KЩKШKЪЬЮЬ$Ш8KШKЪЬШЧЪЮЬШKЩKЪЬЮЬШ/ЪЮЬ$ЮЬШ,KЪЬЮЬШ/KЪЬШЧЪЮЬШKЩ)KШKШ"KЪЬШЧKЪЬШЧKЪЬШЧЪЮЬШKЩЪЮЬЮЬЮЬШGKЩKЪЬЮЬШ/KШЧЪЮЬШKЩKШKЪЬШЧKЪЮЬЮЬШ9KЪЮЬЮЬЮЬ$ШZKЪЬШЧKЩШKШKШKЪЬШKШ ЧЪЯЬЮЬЮЬШ0ЪЬЮЬШ*KЪЮЬЮЬЮЬШ)ЪЮЬШKЦh -- [start: TextNode.Location _ [node: NIL, where: -1], end: TextNode.Location _ [node: NIL, where: -1]]ЪЬ	ЮЬЮЬШKЪЬ
ЮЬШ$KЪЬЮЬЮЬЮЬЮЬЮЬШGKЪ	ЬЮЬЮЬЮЬЮЬШ?KЪЬ^Ш^ЪЯЬЮЬ"Ш3KЪЬ!Ш!KЪЬ4Ш4ЪЮЬЮЬЮЬШ>KЪЬ1Ш1KЪЬШЧKЪЬ
ЮЬШKЪЬлЮЬЮЬШ╜ЪЮЬ	ЮЬШKЪЬЮЬШKЪЬ"Ш"KЪЬ<Ш<KЪЬШЧKЪЬШЧKЪЬ0Ш0ЪЮЬЮЬ	ЮЬШKЪЬ%ЮЬШ+KЪЬШKЪЬШЧKЪЬШЧKШЧKЪЬ(Ш(KЪЬШKШ ЧЪЯЬЮЬЮЬ3ШKЪЬЮЬШ*ЪЮЬ
ЮЬЮЬЮЬЮЬЮЬЮЬШGKЪЬЮЬШ6KЪЬ#Ш#KЪЬШЧKШЧKЪЬ(Ш(KЪЬШKШ ЧKЪЮЬШЧ ЕЧ    Ю  !T  