DIRECTORYCardTab USING [Create, Ref, Update, UpdateAction],Rope USING [Cat, Fetch, FromChar, ROPE, Size], Rosary USING [CatSegments, Fetch, FromItem, MapRuns, ROSARY, RunActionType], TextLooks USING [Look, Looks, LooksAnd, LooksNot, LooksOr, MaxOffset, noLooks, RunAction, Runs];TextLooksImpl: CEDAR PROGRAMIMPORTS CardTab, Rope, Rosary, TextLooksEXPORTS TextLooks= BEGIN OPEN TextLooks;ROPE: TYPE ~ Rope.ROPE;ROSARY: TYPE ~ Rosary.ROSARY;LooksToRope: PUBLIC PROC [looks: Looks] RETURNS [rope: ROPE] = {FOR lk: TextLooks.Look IN TextLooks.Look DOIF looks[lk] THEN rope _ Rope.Cat[rope, Rope.FromChar[lk]];ENDLOOP;};RopeToLooks: PUBLIC PROC [rope: ROPE] RETURNS [looks: Looks] = {looks _ noLooks;FOR i: INT IN [0..Rope.Size[rope]) DOchar: CHAR _ Rope.Fetch[rope, i];IF char IN Look THEN looks[char] _ TRUE;ENDLOOP;};Size: PUBLIC PROC [runs: Runs] RETURNS [INT] ~ {RETURN [IF runs=NIL THEN 0 ELSE runs.size];};nilRosary: ROSARY ~ Rosary.FromItem[NIL, INT.LAST]; -- "infinite" rosary of NILItemNotNil: Rosary.RunActionType ~ { RETURN[quit: item#NIL] };Replace: PUBLIC PROC [base: Runs, start, len: INT, replace: Runs, baseSize, repSize: INT] RETURNS [new: Runs] ~ {d: ROSARY ~ IF base=NIL THEN nilRosary ELSE base;d1: INT ~ MAX[LONG[0], MIN[start, baseSize]];d2: INT ~ d1+MAX[LONG[0], MIN[len, baseSize-d1]];s: ROSARY ~ IF replace=NIL THEN nilRosary ELSE replace;r: ROSARY ~ Rosary.CatSegments[[d, 0, d1], [s, 0, repSize], [d, d2, baseSize-d2]];RETURN[IF Rosary.MapRuns[[r], ItemNotNil] THEN r ELSE NIL];};refFromLooksTab: CardTab.Ref ~ CardTab.Create[];RefFromLooks: PROC [looks: Looks] RETURNS [ref: REF Looks _ NIL] ~ {refFromLooksAction: CardTab.UpdateAction ~ {IF found THEN { ref _ NARROW[val]; RETURN[op: none] }ELSE { ref _ NEW[Looks _ looks]; RETURN[op: store, new: ref] };};IF looks=noLooks THEN RETURN[NIL];CardTab.Update[refFromLooksTab, LOOPHOLE[looks], refFromLooksAction];IF ref^#looks THEN ERROR;};CreateRun: PUBLIC PROC [len: INT, looks: Looks _ noLooks] RETURNS [Runs] ~ {refLooks: REF Looks ~ RefFromLooks[looks];RETURN[Rosary.FromItem[refLooks, len]];};FetchLooks: PUBLIC PROC [runs: Runs, index: INT] RETURNS [Looks] = {IF runs#NIL THEN WITH Rosary.Fetch[runs, index] SELECT FROMrefLooks: REF Looks => RETURN[refLooks^] ENDCASE;RETURN[noLooks];};CountRuns: PUBLIC PROC [runs: Runs, start: INT _ 0, len: INT _ MaxOffset] RETURNS [count: INT _ 0] ~ {countAction: Rosary.RunActionType ~ { count _ count+1 };[] _ Rosary.MapRuns[[runs, start, len], countAction];};MapRuns: PUBLIC PROC [runs: Runs, action: RunAction, start: INT _ 0, len: INT _ MaxOffset] RETURNS [quit: BOOL] ~ {mapAction: Rosary.RunActionType ~ {refLooks: REF Looks ~ NARROW[item];RETURN action[(IF refLooks=NIL THEN noLooks ELSE refLooks^), repeat];};RETURN Rosary.MapRuns[[runs, start, len], mapAction];};ModifyLooks: PUBLIC PROC [old, remove, add: Looks] RETURNS [Looks] ~ {RETURN [LooksOr[LooksAnd[old, LooksNot[remove]], add]];};ChangeLooks: PUBLIC PROC [runs: Runs, size: INT, remove, add: Looks, start, len: INT] RETURNS [Runs] ~ {d: ROSARY _ IF runs=NIL THEN nilRosary ELSE runs;changeLooksAction: Rosary.RunActionType ~ {oldLooks: Looks ~ IF item=NIL THEN noLooks ELSE NARROW[item, REF Looks]^;newLooks: Looks ~ ModifyLooks[oldLooks, remove, add];replace: ROSARY ~ Rosary.FromItem[RefFromLooks[newLooks], repeat];end: INT ~ start+repeat;d _ Rosary.CatSegments[[d, 0, start], [replace], [d, end, size-end]];start _ end;};[] _ Rosary.MapRuns[[d, start, len], changeLooksAction];RETURN[IF Rosary.MapRuns[[d, 0, size], ItemNotNil] THEN d ELSE NIL];};END.  h  TextLooksImpl.mesaCopyright ╙ 1985, 1986, 1988 by Xerox Corporation.  All rights reserved.written by Bill Paxton, February 1981Bill Paxton, December 13, 1982 1:17 pmMaxwell, January 5, 1983 3:54 pmRuss Atkinson, July 25, 1983 3:36 pmMichael Plass, March 29, 1985 5:24:46 pm PSTDoug Wyatt, February 17, 1988 5:28:53 pm PSTRope conversionEdit operationsGeneral operationsPROC [found: BOOL, val: Val] RETURNS [op: UpdateOperation _ none, new: Val _ NIL]returns the looks for the character at the given locationOperation to change looksPROC [item: Item, repeat: INT] RETURNS [quit: BOOLEAN _ FALSE]Э╩t  Ш ЪЬЩJЪЬHЩHJЪЬ%Щ%JЪЬ&Щ&JЪЬ Щ JЪЬ$Щ$JЪЬ,Щ,JЪЬ,Щ,JЩ ЧЪ╧k	Ш	JЪЬЭЬ%Ш2JЪЬЭЬЭЬ	Ш/JЪЬЭЬ)ЭЬШMJЪЬ
ЭЬQШ`JШ ЧJЪ╧nЬЭЬЭШJЪЭЬ!Ш(JЪЭЬ
ШЪЬЭЬЭЬШJШ JЪЭЬЭЬЭЬШJЪЭЬЭЬ
ЭЬШЧheadЪЬЩunitЪ
ЮЬЭЬЭЬЭЬЭЬШ@ЪЭЬЭЬЭШ+JЪЭЬЭЬ*Ш;JЪЭЬШЧJШЧЪ
ЮЬЭЬЭЬЭЬЭЬШ@JШЪЭЬЭЬЭЬЭШ%JЪЬЭЬШ!JЪЭЬЭЬЭЬЭЬШ(JЪЭЬШЧJШЧЧЪЬЩЪ
ЮЬЭЬЭЬЭЬЭЬШ0JЪ
ЭЬЭЬЭЬЭЬЭЬШ+JШЧLЪ
ЬЭЬЭЬЭЬЭЬ╧cШOLЪЮ
ЬЭЬЭЬШ>ЪЮЬЭЬЭЬЭЬ%ЭЬЭЬШrIcodeЪЬЭЬЭЬЭЬЭЬЭЬШ1MЪ	ЬЭЬЭЬЭЬЭЬШ-MЪ	ЬЭЬЭЬЭЬЭЬШ1MЪЬЭЬЭЬ	ЭЬЭЬЭЬ	Ш7MЪЬЭЬIШRMЪ
ЭЬЭЬ!ЭЬЭЬЭЬШ;JШЧЧЪЬЩLШ0Ъ
ЮЬЭЬЭЬЭЬ	ЭЬШDЪЬ,Ш,MЪЭЬ	ЭЬЭЬ)ЭЬЩQMЪЭЬЭЬ	ЭЬЭЬШ5MЪЭЬ	ЭЬЭЬШ?MШЧMЪЭЬЭЬЭЬЭЬШ"MЪЬ ЭЬШEMЪЭЬЭЬЭЬШMЪЬШЧЪ
Ю	ЬЭЬЭЬЭЬЭЬШLMЪЬ
ЭЬШ*MЪЭЬ!Ш'MШЧЪ
Ю
ЬЭЬЭЬЭЬЭЬШDJЪЬ9Щ9ЪЭЬЭЬЭЬЭЬЭЬЭШ;JЪЬ
ЭЬ
ЭЬЭЬШ1ЧJЪЭЬ
ШJШЧЪЮ	ЬЭЬЭЬЭЬЭЬЭЬ	ЭЬ	ШgJШ8JШ5JШЧЪЮЬЭЬЭЬ)ЭЬЭЬЭЬЭЬШtШ#JЪЬ
ЭЬ	ЭЬШ#JЪ
ЭЬ	ЭЬ
ЭЬЭЬ	ЭЬШEJШЧJЪЭЬ/Ш5JШMШ ЧЧЪЬЩЪЮЬЭЬЭЬЭЬШFMЪЭЬ1Ш7MШЧЪЮЬЭЬЭЬЭЬ#ЭЬЭЬШiMЪЬЭЬЭЬЭЬЭЬЭЬШ1Ш+MЪ
ЭЬЭЬЭЬЭЬЭЬЩ>MЪЬЭЬЭЬЭЬ	ЭЬЭЬЭЬ	ШIMЪЬ5Ш5MЪЬ	ЭЬ3ШBMЪЬЭЬШMЪЬEШEMЪЬШMЪЬШЧMЪЬ8Ш8MЪ
ЭЬЭЬ*ЭЬЭЬЭЬШDMЪЬШЧJШ JЪЭЬШЧЧ ЕЧ    0    