DIRECTORY IntHashTableThreaded, IO, Rope, StructuralComparisonDataStructure, StructuralComparisonOps, ViewerIO;StructuralComparisonLog: CEDAR PROGRAMIMPORTS IntHashTableThreaded, IO, Rope, StructuralComparisonDataStructure, ViewerIOEXPORTS StructuralComparisonOpsSHARES StructuralComparisonDataStructure=BEGIN OPEN StructuralComparisonDataStructure;log: IO.STREAM _ ViewerIO.CreateViewerStreams["Structural Comparison Debug Log"].out;Log: PUBLIC PROC [format: ROPE, v1, v2, v3, v4, v5: IO.Value _ [null[]]] ={log.PutF[format, v1, v2, v3, v4, v5]};FlushLog: PUBLIC PROC = {log.Flush[]};WriteAll: PUBLIC PROC [when: ROPE, a, b: CellType, oldColorData, curColorData: ColorTable] =BEGINLog["\n%g\n", IO.rope[when]];WriteColorTable[curColorData];WriteParts["A", a];WriteParts["B", b];Log["\nDone %g\n", IO.rope[when]];END;WriteColorTable: PUBLIC PROC [colorTable: ColorTable] =BEGINWriteColor: PROC [key: INT, value: REF ANY] RETURNS [quit: BOOL _ FALSE] --IntHashTableThreaded.EachPairAction-- = {color: Color = key;ccd: ColorData = NARROW[value];Log["%011d %4g %4g", IO.int[color], IO.card[ccd.count[A]], IO.card[ccd.count[B]]];Log[" %5g", IO.bool[ccd.suspect]];FOR v: Vertex _ ccd.firstVertex, GetColorNext[v] WHILE v # NIL DOLog[" %g.%g", IO.rope[graphIDToRope[GetGraph[v]]], IO.rope[VerboseVName[v]]];ENDLOOP;Log["\n"];};Log["\nColorTable:\n"];[] _ colorTable.Pairs[WriteColor];Log["\n"];END;WriteParts: PROC [graphID: ROPE, ct: CellType] =BEGINWriteVertex: PROC [v: Vertex] = {Log["%011d)\t%011d\t%5g\t%5g\t%12g", IO.int[OldColor[v]], IO.int[CurColor[v]], IO.bool[GetUnique[v]], IO.bool[GetSuspect[v]], IO.rope[VerboseVName[v]]];IF GetEquiv[v] # NIL THEN Log["\t%g\n", IO.rope[VerboseVName[GetEquiv[v]]]] ELSE Log["\n"];};Log["\nGraph %g vertices:\n", IO.rope[graphID]];EnumerateParts[ct, WriteVertex, TRUE];END;VerboseVName: PUBLIC PROC [v: Vertex] RETURNS [name: ROPE] = {name _ IF VName[v].Length[] # 0 THEN VName[v] ELSE IO.PutFR["%bB^", [cardinal[LOOPHOLE[v]]]];};PrintCellType: PROC [to: IO.STREAM, ct: CellType] = {PrintIfNet: PROC [v: Vertex] = {SELECT v.class FROMnet => {to.PutChar[' ]; to.PutRope[VerboseVName[v]]};cell => NULL;ENDCASE => ERROR;};PrintIfCI: PROC [v: Vertex] = {SELECT v.class FROMnet => NULL;cell => PrintCI[to, v];ENDCASE => ERROR;};to.PutF["%g: CellType\n\tNets:", [rope[ct.name]]];EnumerateParts[ct, PrintIfNet, FALSE];to.PutRope["\n\tChildren:"];EnumerateParts[ct, PrintIfCI, TRUE];to.PutRope["\n\tEndCellType\n"];};PrintCI: PROC [to: IO.STREAM, v: Vertex] = {first: BOOL _ TRUE;pi: PortIndex _ 0;to.PutF["\n\t\t%g: %g[", [rope[VerboseVName[v]]], [rope[v.type.name]]];FOR e: Edge _ v.firstEdge, e.sides[cell].next WHILE e # NIL DOportName: ROPE = v.type.ports[pi].name;netName: ROPE = VerboseVName[e.sides[net].v];IF NOT portName.Equal[netName] THEN {IF first THEN first _ FALSE ELSE to.PutRope[", "];to.PutF["%g: %g", [rope[portName]], [rope[netName]]];};pi _ pi + 1;ENDLOOP;to.PutF["]"];};END.   †  StructuralComparisonLog.MesaLast Edited by: Spreitzer, May 7, 1986 4:18:02 pm PDTBertrand Serlet June 4, 1986 4:16:24 pm PDT ‌ت	  –"cedar" styleک code™J™5K™+—Kک Kڑدk	œ‌œMکoKک ڑرbnxœ‌œ‌ک&Kڑ‌œ‌œ3کSKڑ‌œکKڑ‌œ"ک(KڑœکKک Kڑ‌œ‌œ#ک-Kک Kڑœ‌œ‌œGکUKک ڑ
دnœ‌œ‌œ
‌œ‌œکJKک'—Kک Kڑںœ‌œ‌œک&Kک ڑںœ‌œ‌œ‌œ;ک\Kڑ‌کKڑœ‌œکKڑœکKڑœکKڑœکKڑœ‌œک"Kڑ‌œک—Kک ڑںœ‌œ‌œک7Kڑ‌کڑں
œ‌œ‌œ	‌œ‌œ‌œ‌œ‌œدc'œکtKکKڑœ‌œکKڑœ‌œ‌œ‌œکRKڑœ‌œک"ڑ‌œ.‌œ‌œ‌کAKڑœ‌œ#‌œکMKڑ‌œک—Kک
Kک—KکKڑœ"ک"Kک
Kڑ‌œک—Kک ڑں
œ‌œ‌œک0Kڑ‌کڑںœ‌œک!Kڑœ%‌œ‌œ‌œ‌œ‌œککKڑ
‌œ‌œ‌œ‌œ"‌œک[Kڑœک—Kڑœ‌œک0Kڑœ ‌œک&Kڑ‌œک—Kک ڑ
ںœ‌œ‌œ‌œ‌œک>Kڑœ‌œ‌œ
‌œ‌œ‌œک]Kک—Kک ڑںœ‌œ‌œ‌œک5ڑں
œ‌œک ڑ‌œ	‌کKڑœ5ک5Kڑœ‌œکKڑ‌œ‌œک—Kک—ڑں	œ‌œکڑ‌œ	‌کKڑœ‌œکKڑœکKڑ‌œ‌œک—Kک—Kک2Kڑœ‌œک&KکKڑœ‌œک$Kک Kک—Kک ڑںœ‌œ‌œ‌œک,Kڑœ‌œ‌œکKکKڑœGکGڑ‌œ+‌œ‌œ‌ک>Kڑœ
‌œک'Kڑœ	‌œ ک-ڑ‌œ‌œ‌œک%Kڑ‌œ‌œ	‌œ‌œک2Kڑœ5ک5Kک—KکKڑ‌œک—KکKک—Kک Kڑ‌œک—— …—    ذ  _  