DIRECTORY IO, LichenCollections, LichenDataOps, LichenDataStructure, LichenIntFunctions, LichenPairCollections, LichenTransforms, LichenTransformsPrivate;LichenOtherTransforms: CEDAR PROGRAMIMPORTS IO, LichenCollections, LichenDataOps, LichenDataStructure, LichenIntFunctions, LichenPairCollections, LichenTransformsEXPORTS LichenTransforms=BEGIN OPEN LichenDataStructure, LichenTransforms, LichenDataOps, LichenTransformsPrivate, Colls:LichenCollections, PCs:LichenPairCollections, IntFns:LichenIntFunctions;CellTypeList: TYPE ~ LIST OF CellType;GroupUnorganized: PUBLIC PROC[design: Design,mapper: ConstFunction--any _ Seq (role f sibling: instance of array* of type of newType's roleth child)--]RETURNS [newType: CellType,pairs: PCs.ConstOneToOne--domain of mapper f instance of array* of newType--,gcs: Seq--role f instance in newType--] ~ {ComputeName: PROC [] RETURNS [r: ROPE] ~ {pair: PCs.Pair ~ mapper.First[].P;r _ IO.PutFR["#gen%g", [integer[nGen _ nGen+1]]];RETURN};newTypeName: ROPE ~ ComputeName[];pairsV: PCs.OneToOne ~ PCs.CreateHashOTO[];Seed: PROC [pair: PCs.Pair] ~ {seq: Seq--role f sibling: instance of array* of type of newType's roleth child-- ~ IntFns.DeRef[pair[right]];ci0: CellInstance ~ NARROW[seq.Apply[0].val];ti: CellInstance ~ FullyInstantiate[newType, ci0.containingCT];IF NOT pairsV.Store[[pair[left], ti]] THEN ERROR;RETURN};newType _ CreateCellType[design, newTypeName, NIL, TRUE, NIL, NIL];mapper.Enumerate[Seed];pairs _ pairsV.Freeze;gcs _ LowerChildren[design, newType, PCs.Compose[[pairs.Invert, mapper]].AsConst];RETURN};nGen: NATURAL _ 0;SimpleGrouper: PROC [design: Design, cellTypes: Set--of CellType--] RETURNS [grouper: ConstFunction--any _ Seq (role f sibling: instance of array* of cellTypes[role])--] ~ {roles: NATURAL ~ cellTypes.Size[];ctSeq: Seq--role f CellType-- ~ IntFns.CreateFromCollection[coll: cellTypes];grouperV: PCs.OneToOne ~ PCs.CreateHashOTO[];PerCellType: PROC [ra: REF ANY] ~ {ct: CellType ~ NARROW[ra];IF ct.asUnorganized#NIL THEN {sibs: Seq--role f sibling: instance of array* of cellTypes[role]-- ~ CreateSeq[len: roles, oneToOne: TRUE];PerInstance: PROC [ra: REF ANY] ~ {ci: CellInstance ~ NARROW[ra];cit: CellType _ ci.type;DOmr: IntFns.MaybeInt ~ ctSeq.InvApply[cit];IF mr.found THEN {role: NAT ~ mr.i;IF sibs.AddPair[[role, ci], PCs.addIfNew][leftToRight]#new THEN ERROR;RETURN};IF cit.asArray=NIL THEN EXIT;cit _ cit.asArray.eltType;ENDLOOP;RETURN};ct.asUnorganized.containedInstances.Enumerate[PerInstance];SELECT sibs.Size[] FROM0 => NULL;roles => IF NOT grouperV.Store[[ct, sibs.Freeze.Refify]] THEN ERROR;ENDCASE => ERROR;};RETURN};design.cellTypes.Enumerate[PerCellType];grouper _ grouperV.Freeze;RETURN};CellTypeListLength: PROC [cellTypes: CellTypeList] RETURNS [length: NATURAL] ~ {length _ 0;FOR cellTypes _ cellTypes, cellTypes.rest WHILE cellTypes # NIL DO length _ length + 1 ENDLOOP;RETURN};BaseStar: PROC [ct: CellType] RETURNS [CellType] ~ {WHILE ct.asArray#NIL DO ct _ ct.asArray.eltType ENDLOOP;RETURN [ct]};END.    ¶  LichenOtherTransforms.MesaLast tweaked by Mike Spreitzer on August 28, 1987 11:18:00 am PDTl <dom, seq> {ti _ Instantiate[newType, seq[0].parent]; pairs _ pairs + <dom, ti>}‌ت÷  ک ™IcodeڑœA™A—Jک Kڑدk	œ‌œژکڑKک ڑدnœ‌œ‌ک$Kڑ‌œ‌œtک~Kڑ‌œکKڑœک—Kک Kڑ
‌œ‌œP‍œ‍œ‍œک¨Kک Kڑœ‌œ‌œ‌œ
ک&Kک ڑ‍œ‌œ‌کڑœکKڑœکKڑœدcذcmں ںذcuں،ں	œکj—ڑ‌œکKڑœں ں،ںœکMKڑœں ںœک+—ڑ‍œ‌œ‌œ‌œک*Kڑœ"ک"Kڑœ‌œ+ک1Kڑ‌œک—Kڑœ‌œک"Kڑœ+ک+ڑ‍œ‌œکKڑدgœQ™RKڑ	œں ں،ں،ںœکmKڑœ‌œک-Kڑœ?ک?Kڑ‌œ‌œ ‌œ‌œک1Kڑ‌œک—Kڑ	œ.‌œ‌œ‌œ‌œکCKڑœکKڑœکKڑœRکRKڑ‌œکKڑœ‌œک—Kک ڑ‍œ‌œ ںœ‌œں ں ں،ںœک­Kڑœ‌œک"Kڑœ
ں ںœ0کMKڑœ-ک-ڑ‍œ‌œ‌œ‌œک#Kڑœ‌œکڑ‌œ‌œ‌œکKڑ	œ	ں ں،ںœ#‌œکkڑ‍œ‌œ‌œ‌œک#Kڑœ‌œکKکڑ‌کKڑœ*ک*ڑ‌œ
‌œکKڑœ‌œکKڑ‌œ9‌œ‌œکFKڑ‌œک—Kڑ‌œ‌œ‌œ‌œکKڑœکKڑ‌œک—Kڑ‌œک—Kڑœ;ک;ڑ‌œ‌کKڑœ‌œک
Kڑ	œ	‌œ‌œ*‌œ‌œکDKڑ‌œ‌œک—Kک—Kڑ‌œک—Kک(KڑœکKڑ‌œک—Kک ڑ‍œ‌œ‌œ
‌œکPKکKڑ
‌œ'‌œ‌œ‌œ‌œک_Kڑ‌œک—Kک ڑ‍œ‌œ‌œک4Kڑ‌œ‌œ‌œ‌œک8Kڑ‌œک—Kک Kڑ‌œک— …—      »  