DIRECTORY Basics, Collections, PairCollections, List, Rope;StdPairCollections5: CEDAR PROGRAMIMPORTS Collections, PairCollectionsEXPORTS PairCollections=BEGIN OPEN Colls:Collections, PairColls:PairCollections, PairCollections, Collections;Wp: PROC [pair: Pair] RETURNS [REF ANY]~ INLINE {RETURN [NEW [Pair _ pair]]};Np: PROC [pair: REF ANY] RETURNS [Pair]~ INLINE {RETURN [NARROW[pair, REF Pair]^]};Nmv: PROC [mv: MaybeValue] RETURNS [MaybePair]~ INLINE {RETURN [IF mv.found THEN [TRUE, Np[mv.val]] ELSE noMaybePair]};Wmp: PROC [mp: MaybePair] RETURNS [MaybeValue]~ INLINE {RETURN [IF mp.found THEN [TRUE, Wp[mp.pair]] ELSE noMaybe]};DefaultWiden: PUBLIC PROC [pc: PairColl] RETURNS [Collection--of REF Pair--] ~ {RETURN [[wideClasses[pc.MayDuplicate][pc.OrderStyleOf][pc.MutabilityOf],pc.Refify]];};WideClasses: TYPE ~ ARRAY --mayDuplicate--BOOL OF ARRAY OrderStyle OF ARRAY Mutability OF CollectionClass;wideClasses: REF WideClasses ~ NEW [WideClasses];WidePrimitive: PROC [coll: Collection, op: ATOM, args: ArgList _ NIL] RETURNS [PrimitiveAnswer] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];SELECT op FROM$IsPairColl, $QuaPairColl => RETURN [yes];$HasMember => RETURN [IF pc.QualityOf[$HasPair]>cant THEN yes ELSE no];$Scan, $Extremum, $Get3, $Size, $Copy, $Insulate, $ValueOf, $Freeze, $Thaw, $AddColl, $OrderingOf => RETURN [IF pc.QualityOf[op, args]>cant THEN yes ELSE no];$RemoveColl => RETURN [IF pc.QualityOf[$RemColl]>cant THEN yes ELSE no];$SpaceOf => RETURN [IF pc.QualityOf[$Spaces]>cant THEN yes ELSE no];ENDCASE => RETURN [no];};WideHasMember: PROC [coll: Collection, elt: Value] RETURNS [BOOL] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN pc.HasPair[Np[elt]]};WideEnumerate: PROC [coll: Collection, Consumer: PROC [elt: Value], bkwd: BOOL] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];rp: REF Pair ~ NEW [Pair];Pass: PROC [pair: Pair] ~ {rp^ _ pair; Consumer[rp]};pc.Enumerate[Pass, bkwd];RETURN};WideScan: PROC [coll: Collection, Test: Tester, bkwd: BOOL] RETURNS [MaybeValue] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];rp: REF Pair ~ NEW [Pair];Pass: PROC [pair: Pair] RETURNS [pass: BOOL] ~ {rp^ _ pair; pass _ Test[rp]};RETURN Wmp[pc.Scan[Pass, bkwd]]};WideExtremum: PROC [coll: Collection, bkwd, remove: BOOL] RETURNS [MaybeValue] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN Wmp[pc.class.Extremum[pc, bkwd, remove]]};WideGet3: PROC [coll: Collection, elt: Value] RETURNS [prev, same, next: MaybeValue] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];nPrev, nSame, nNext: MaybePair;[nPrev, nSame, nNext] _ pc.Get3[Np[elt]];prev _ Wmp[nPrev];same _ Wmp[nSame];next _ Wmp[nNext];RETURN};WideSize: PROC [coll: Collection, limit: LNAT _ LNAT.LAST] RETURNS [LNAT] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN pc.Size[limit]};WideCopy: PROC [coll: Collection] RETURNS [VarColl] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN pc.Copy.Widen.AsVar};WideInsulate: PROC [coll: Collection] RETURNS [UWColl] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN pc.Insulate.Widen.AsUW};WideValueOf: PROC [coll: Collection] RETURNS [ConstColl] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN pc.ValueOf.Widen.AsConst};WideFreeze: PROC [coll: Collection] RETURNS [ConstColl] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN pc.Freeze.Widen.AsConst};WideThaw: PROC [coll: Collection] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];pc.Thaw;RETURN};WideAddColl: PROC [coll, other: Collection, where: Where] RETURNS [someNew, allNew: BOOL] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];oPC: PairColl ~ PairColls.DeRef[other.AsPairColl];fnl: BoolPair ~ pc.Functional;dir: Direction ~ IF fnl[leftToRight] THEN leftToRight ELSE IF fnl[rightToLeft] THEN rightToLeft ELSE ERROR Cant[coll]--don't know how to compute someNew & allNew--;pcWhere: PairColls.Where ~ WITH where SELECT FROMx: any Where => [any[]],x: end Where => [end[x.end]],x: rel Where => [rel[Np[x.elt], x.reln]],ENDCASE => ERROR;some: NewsSetPair ~ pc.AddColl[oPC, alwaysAdd, pcWhere];allNew _ NOT some[dir][same];someNew _ some[dir][different] OR some[dir][new];RETURN};WideRemoveColl: PROC [coll, other: Collection, style: RemoveStyle] RETURNS [hadSome, hadAll: BOOL] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];oPC: PairColl ~ PairColls.DeRef[other.AsPairColl];fnl: BoolPair ~ pc.Functional;dir: Direction ~ IF fnl[leftToRight] THEN leftToRight ELSE IF fnl[rightToLeft] THEN rightToLeft ELSE ERROR Cant[coll]--don't know how to compute someNew & allNew--;hadSomePair, hadAllPairs: BoolPair;[hadSomePair, hadAllPairs] _ pc.RemColl[oPC, style];RETURN [hadSomePair[dir], hadAllPairs[dir]]};WideQuaPairColl: PROC [coll: Collection] RETURNS [MaybeValue] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN [[TRUE, pc.Refify]]};WideSpaceOf: PROC [coll: Collection] RETURNS [Space] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN [WidenSpacePair[pc.Spaces]]};WideOrderingOf: PROC [coll: Collection] RETURNS [Ordering] ~ {pc: PairColl ~ PairColls.DeRef[coll.data];RETURN [pc.OrderingOf.WidenOrdering]};WidePreserveValue: PROC [coll: Collection, val: Value] RETURNS [Value] ~ {rp: REF Pair ~ NARROW[val];RETURN [NEW [Pair _ rp^]]};Start: PROC ~ {FOR mayDuplicate: BOOL IN BOOL DO FOR orderStyle: OrderStyle IN OrderStyle DO FOR mutability: Mutability IN Mutability DOwideClasses[mayDuplicate][orderStyle][mutability] _ CreateClass[[Primitive: WidePrimitive,HasMember: WideHasMember,Scan: WideScan,Extremum: WideExtremum,Get3: WideGet3,Size: WideSize,Copy: WideCopy,Insulate: WideInsulate,ValueOf: WideValueOf,Freeze: WideFreeze,Thaw: WideThaw,AddColl: WideAddColl,RemoveColl: WideRemoveColl,QuaPairColl: WideQuaPairColl,SpaceOf: WideSpaceOf,OrderingOf: WideOrderingOf,PreserveValue: WidePreserveValue,mayDuplicate: mayDuplicate,orderStyle: orderStyle,mutability: mutability]];ENDLOOP ENDLOOP ENDLOOP;RETURN};Start[];END.    b  StdPairCollections5.MesaLast tweaked by Mike Spreitzer on October 16, 1987 10:31:36 am PDTЭ╩  Ш codeЩKЪЬBЩBЧKШ KЪ╧k	Ь2Ш;KШ Ъ╧nЬЭЬЭШ"KЪЭЬШ$KЪЭЬШKШЧKШ KЪЭЬЭЬЮЬЮ	Ь/ШVKШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ'KЪЬЭЬЭЬЭЬШ&ЧKШ Ъ
ЮЬЭЬЭЬЭЬЭЬШ'KЪ	ЬЭЬЭЬЭЬЭЬ
Ш,ЧKШ ЪЮЬЭЬЭЬШ.KЪЬЭЬЭЬЭЬ
ЭЬЭЬЭЬШIЧKШ ЪЮЬЭЬЭЬШ.KЪЬЭЬЭЬЭЬ
ЭЬЭЬЭЬШFЧKШ Ъ
ЮЬЭЬЭЬЭЬ╧cЬШPЪЭЬШ	ЪЬШKШKШKШЧKШ	KШЧKШЧKШ KЪЬЭЬЭЬЯЭЬЭЬЭЬЭЬЭЬЭЬШjKЪЬЭЬЭЬШ1KШ Ъ
ЮЬЭЬЭЬЭЬЭЬШcKЪЬ*Ш*ЪЭЬЭШKЪЬЭЬШ*KЪ	ЬЭЬЭЬЭЬЭЬШGKЪ	ЬeЭЬЭЬЭЬЭЬШЮKЪ	ЬЭЬЭЬЭЬЭЬШHKЪ	ЬЭЬЭЬЭЬЭЬШDKЪЭЬЭЬШЧKШЧKШ ЪЮЬЭЬ ЭЬЭЬШEKШ*KЪЭЬШЧKШ Ъ
ЮЬЭЬЮЬЭЬЭЬШSKШ*KЪЬЭЬЭЬШKЪЮЬЭЬ+Ш5KЪЬШKЪЭЬШЧKШ Ъ
ЮЬЭЬЮЬЭЬЭЬШTKШ*KЪЬЭЬЭЬШKЪЮЬЭЬЭЬЭЬ"ШMKЪЭЬШ!ЧKШ ЪЮЬЭЬ"ЭЬЭЬШRKШ*KЪЭЬ+Ш1ЧKШ ЪЮЬЭЬ ЭЬ#ШXKШ*KШKШ)KШKЪЬШKЪЬШKЪЭЬШЧKШ ЪЮЬЭЬЭЬЭЬЭЬЭЬЭЬШMKШ*KЪЭЬШЧKШ ЪЮЬЭЬЭЬШ7KШ*KЪЭЬШЧKШ ЪЮЬЭЬЭЬШ:KШ*KЪЭЬШЧKШ ЪЮЬЭЬЭЬШ<KШ*KЪЭЬШ!ЧKШ ЪЮ
ЬЭЬЭЬШ;KШ*KЪЭЬШ ЧKШ ЪЮЬЭЬШ%KШ*KЪЬШKЪЭЬШЧKШ ЪЮЬЭЬ)ЭЬЭЬШ]KШ*KЪЬ2Ш2KШKЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЯ.ЬШдЪЬЭЬЭЬЭШ1KШKШKШ)KЪЭЬЭЬШЧKЪЬ8Ш8KЪЬ	ЭЬШKЪЬЭЬШ1KЪЭЬШЧKШ ЪЮЬЭЬ/ЭЬЭЬШfKШ*KЪЬ2Ш2KШKЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЯ.ЬШдKЪЬ#Ш#KЪЬ4Ш4KЪЭЬ'Ш-ЧKШ ЪЮЬЭЬЭЬШAKШ*KЪЭЬЭЬШЧKШ ЪЮЬЭЬЭЬШ8KШ*KЪЭЬШ$ЧKШ ЪЮЬЭЬЭЬШ>KШ*KЪЭЬ Ш&ЧKШ ЪЮЬЭЬ ЭЬШJKЪЬЭЬЭЬШKЪЭЬЭЬШЧKШ ЪЮЬЭЬШЪЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬЭШyЪЬAШAKЪЮ	ЬШKЪЮ	ЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮЬШKЪЮ
ЬШKЪЮЬШKЪЮЬШKЪЮ
ЬШKЪЮЬШ!KЪЬШKЪЬШKЪЬШKШЧKЪЭЬЭЬЭЬШЧKЪЭЬШЧKШ KШKШ KЪЭЬШЧ ЕЧ    `  ▌  