
DIRECTORY
Prop USING [PropList],
Rope USING [ROPE],
Rosary USING [ROSARY],
Char USING [CharSet, XCHAR];

Tioga: CEDAR DEFINITIONS ~ BEGIN
ROPE: TYPE ~ Rope.ROPE;
ROSARY: TYPE ~ Rosary.ROSARY;
XCHAR: TYPE ~ Char.XCHAR;
CharSet: TYPE ~ Char.CharSet;
PropList: TYPE ~ Prop.PropList;

Node: TYPE ~ REF NodeRep;
NodeRep: TYPE ~ PACKED RECORD [
parent: Node м NIL, -- points to parent, if any
next: Node м NIL, -- points to next sibling, if any
child: Node м NIL, -- points to first child, if any
rope: ROPE м NIL,
runs: ROSARY--OF CharLooksItem-- м NIL,
charSets: ROSARY--OF CharSetsItem-- м NIL,
charProps: ROSARY--OF CharPropsItem-- м NIL,
nodeProps: PropList, -- node properties (except $Format and $Comment)
format: ATOM м NIL, -- value of $Format property
comment: BOOL м FALSE, -- value of $Comment property
hasStyleDef: BOOL м FALSE, -- true if node has $StyleDef prop (accelerator)
hasPrefix: BOOL м FALSE, -- true if node has $Prefix prop (accelerator)
hasPostfix: BOOL м FALSE, -- true if node has $Postfix prop (accelerator)
hasArtwork: BOOL м FALSE, -- true if node has $Artwork prop (accelerator)
hasActive: BOOL м FALSE, -- true if node has $Active prop (accelerator)
deleted: BOOL м FALSE, -- true if has been deleted or is root pending delete
dirty: BOOL м FALSE, -- true if has been edited (contents, or children moved, inserted, ...)
new: BOOL м FALSE -- true if created during this editing session (i.e., not from file)
];
Look: TYPE ~ CHAR['a..'a+31]; -- 32 bits; indexed from "a" 
Bit: TYPE ~ BOOL м FALSE;
Looks: TYPE ~ PACKED ARRAY Look OF Bit;
noLooks: Looks ~ ALL[FALSE];
allLooks: Looks ~ ALL[TRUE];
Runs: TYPE ~ ROSARY;
CharSetsItem: TYPE ~ REF CharSet;
CharLooksItem: TYPE ~ REF Looks;
CharPropsItem: TYPE ~ PropList;
Location: TYPE ~ RECORD [node: Node, where: INT];

NodeItself: INT ~ -1;
nullLocation: Location ~ [node: NIL, where: NodeItself];
Span: TYPE ~ RECORD [start, end: Location м nullLocation];
nullSpan: Span ~ [nullLocation, nullLocation];

CapChange: TYPE ~ {allCaps, allLower, initCaps, firstCap};

Place: TYPE ~ {before, after, sibling, child};

Order: TYPE ~ {before, same, after, disjoint};
Event: TYPE ~ REF EventRep;
EventRep: TYPE;
END.
   Ъ  
Tioga.mesa
Copyright ╙ 1991, 1992 by Xerox Corporation.  All rights reserved.
Doug Wyatt, February 26, 1992 12:07 pm PST


Among the invariants that must be satisfied by a node n are:
n.child=NIL OR n.child.parent=n
n.next=NIL OR n.next.parent=n.parent
n.runs=NIL OR Rosary.Size[n.runs]=Rope.Size[n.rope]
n.charSets=NIL OR Rosary.Size[n.charSets]=Rope.Size[n.rope]
n.charProps=NIL OR Rosary.Size[n.charProps]=Rope.Size[n.rope]
n.hasStyleDef=(Prop.Get[n.nodeProps, $StyleDef]#NIL)
n.hasPrefix=(Prop.Get[n.nodeProps, $Prefix]#NIL)
n.hasPostfix=(Prop.Get[n.nodeProps, $Postfix]#NIL)
n.hasArtwork=(Prop.Get[n.nodeProps, $Artwork]#NIL)
n.hasActive=(Prop.Get[n.nodeProps, $Active]#NIL)


where >= length of text means at end
where = loc in [0..length) means before that character; where = 0 means at start of text
where = NodeItself means location is the node itself rather than in its contents


start.node can equal end.node
in which case either both start.where and end.where = NodeItself, or
neither does and start.where <= end.where
otherwise, end.node should follow start.node in the tree
nodes need not be siblings
no restrictions on start.where or end.where


 Э╩|  ХNewlineDelimiter
Ц(cedarcode) styleЩ codeЪЬ
Щ
KЪЬ
╧eЬ7ЩBKЩ*ЧKШ Ъ╧k	Ш	KЪЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШЧKШ Ъ╧nЬЮЬЮЬЮШ KЩ KЪЮЬЮЬЮЬШKЪЮЬЮЬ
ЮЬШKЪЮЬЮЬЮЬШKЪЬ	ЮЬШKЪЬ
ЮЬШKЩ ЧKШ KЪЬЮЬЮЬ	ШЪЬ	ЮЬЮЬЮЬШKЪЬЮЬ╧cШ/KЪЬЮЬа!Ш3KЪЬЮЬа Ш3KЪЬЮЬЮЬШKЪЬЮа╨ckаЬЮЬШ'KЪЬ
ЮабаЬЮЬШ*KЪЬЮабаЬЮЬШ,KЪЬа0ШEKЪЬЮЬЮЬаШ0KЪЬ	ЮЬЮЬаШ4KЪЬЮЬЮЬа0ШKKЪЬЮЬЮЬа.ШGKЪЬЮЬЮЬа/ШIKЪЬЮЬЮЬа/ШIKЪЬЮЬЮЬа.ШGKЪЬ	ЮЬЮЬа5ШLKЪЬЮЬЮЬаGШ\KЪЬЮЬЮЬаDШVKЪЬШЩ<KЪЬЮЬЮЬЩKЪЬЮЬЮЬЩ$KЪЬЮЬЮЬ&Щ3KЪЬЮЬЮЬ*Щ;KЪЬЮЬЮЬ+Щ=KЪЬ0ЮЬЩ4KЪЬ,ЮЬЩ0KЪЬ.ЮЬЩ2KЪЬ.ЮЬЩ2KЪЬ,ЮЬЩ0KЩ ЧЧKЩ KЪЬЮЬЮЬаШ;KЪЬЮЬЮЬЮЬШKЪ	ЬЮЬЮЬЮЬЮЬШ'KЪЬЮЬЮЬШKЪЬЮЬЮЬШЪЬЮЬЮЬШKЩ ЧKЩ KЪЬЮЬЮЬ	Ш!KЪЬЮЬЮЬШ ЪЬЮЬШKЩ ЧKЩ ЪЬ
ЮЬЮЬЮЬШ1KЪЬ$Щ$KЪЬXЩXKЪЬPЩPKШ ЧЪЬЮЬШKЩ ЧЪЬ ЮЬШ8KЩ ЧЪЬЮЬЮЬ'Ш:ЪЬЩKЪЬDЩDKЪЬ)Щ)ЧЪЬ8Щ8KЪЬЩKЪЬ+Щ+ЧKЩ ЧЪЬ.Ш.KЩ ЧKШ ЪЬЮЬ+Ш:KШ ЧЪЬЮЬ#Ш.KШ ЧЪЬЮЬ#Ш.KЩ ЧKЩ KЪЬЮЬЮЬ
ШЪЬ
ЮЬШKЩ ЧKЩ KЪЮЬШЧ ЕЧ    И  Ю  