DIRECTORYTextNode;EditAddrs: DEFINITIONS =BEGINRef: TYPE = REF Body;Body: TYPE = RECORD [addrs: Pair];RefTextNode: TYPE = TextNode.RefTextNode;Offset: TYPE = TextNode.Offset;Pair: TYPE = REF PairBody;PairBody: TYPE = RECORD [next: Pair, addr: REF, location: Offset];Create: PROC RETURNS [Ref];PutAddr: PROC [ref: Ref, addr: REF, location: Offset]; RemAddr: PROC [ref: Ref, addr: REF];GetAddr: PROC [ref: Ref, addr: REF] RETURNS [location: Offset];AddrNotFound: ERROR;TryGetAddr: PROC [ref: Ref, addr: REF]RETURNS [found: BOOLEAN, location: Offset];MapAddrs: PROC [ref: Ref, action: MapAddrsAction]RETURNS [BOOLEAN];MapAddrsAction: TYPE = PROC [addr: REF, location: Offset] RETURNS [BOOLEAN];AddNotifyProc, RemoveNotifyProc: PROC [proc: AddrNotifyProc];AddrNotifyProc: TYPE = PROC [node: RefTextNode, new: PROC [old: Offset] RETURNS [Offset]];Replace: PROC [node: RefTextNode, start, len, newlen: Offset];AfterReplace: PROC [initLoc, start, len, newlen: Offset] RETURNS [newLoc: Offset];Start: PROC; -- for initialization onlyEND.   î  -- EditAddrs.Mesa-- written by Paxton.  March 1981-- last written by Paxton. August 11, 1982 10:32 am-- **** Persistent addressing ****-- assigns addr to location in ref-- ok if addr was previously assigned elsewhere-- removes the given addr-- generates OffsetAddrs.AddrNotFound if the addr is not in the mapping-- apply the action to each addr&location pair for the ref-- returns true if&when an action returns true-- **** notify proc registration ****-- **** Editing Operations for persistent addrs ****-- replace chars in [start..start+len) by newlen chars-- addrs that are in the replaced section move to start-- add (newlen-len) to addrs that are after the replaced section-- **** Update Functions for persistent addrs ****ÊO  ˜ JšÏc™Jš!™!Jš3™3J˜ Jš"™"J˜ JšÏk	˜	J˜	J˜ Jšœžœ˜Jšž˜J˜ Jšœžœžœ˜Jšœžœžœ˜"Jšœžœ˜)Jšœžœ˜J˜ Jšœžœžœ
˜Jšœ
žœžœžœ˜BJ˜ JšÏnœžœžœ˜J˜ šŸœžœžœ˜7Jš"™"Jš/™/J˜ —šŸœžœžœ˜$Jš™J˜ —šŸœžœžœžœ˜?JšG™GJ˜ —Jšœžœ˜J˜ šŸ
œžœžœ˜&Jšžœ	žœ˜+J˜ —šŸœžœ#˜1Jšžœžœ˜Jš:™:Jš.™.J˜ —JšŸœžœžœžœžœžœ˜LJ˜ Jš%™%J˜ JšœŸœžœ˜=J˜ Jš
Ÿœžœžœžœžœ˜ZJ˜ Jš4™4J˜ šŸœžœ1˜>Jš6™6Jš7™7Jš@™@J˜ —Jš2™2J˜ JšŸœžœ'žœ˜RJ˜ JšŸœžœ˜'J˜ Jšžœ˜J˜ — …—    8  	u  