DIRECTORY Atom, CD, CDBasics, CDCells, CDDirectory, CDExtras, CDInstances, CDOps, CDPrivate, CDProperties, CDSimpleOps, CedarProcess, IO, Process, Rope, SymTab, TerminalIO; CDExtrasImpl: CEDAR MONITOR IMPORTS Atom, CD, CDBasics, CDCells, CDDirectory, CDInstances, CDOps, CDProperties, CDSimpleOps, CedarProcess, IO, Process, Rope, SymTab, TerminalIO EXPORTS CDExtras SHARES CD = BEGIN CreateDummyObject: PUBLIC PROC[design: CD.Design] RETURNS [CD.Object] = BEGIN cellOb: CD.Object _ CDCells.CreateEmptyCell[]; cptr: CD.CellPtr _ NARROW[cellOb.specificRef]; FOR l: LIST OF CD.PushRec _ design.actual, l.rest WHILE l#NIL DO cptr.contents _ CONS[ NEW[CD.InstanceRep _ [ ob: l.first.dummyCell.ob, location: [0, 0], orientation: CD.original, selected: FALSE ]], cptr.contents ]; ENDLOOP; RETURN [cellOb] END; Pair: TYPE = RECORD [p: CDDirectory.EnumerateObjectsProc, x: REF, key: REF]; EnumerationEnteredWhileInProgress: ERROR = CODE; entered: BOOL_FALSE; Enter: ENTRY PROC [] = BEGIN IF entered THEN RETURN WITH ERROR EnumerationEnteredWhileInProgress; entered_TRUE; END; Leave: ENTRY PROC [] = BEGIN entered_FALSE; END; EnumerateChildrenObjects: PUBLIC PROC[me: CD.Object, p: CDDirectory.EnumerateObjectsProc, x: REF] = BEGIN ENABLE UNWIND => Leave[]; pair: REF Pair _ NEW[Pair]; pair^ _ [p, x, pair]; Enter[]; MyEnum[me, pair]; Leave[]; END; MyEnum: PROC [me: CD.Object, x: REF] = BEGIN pair: REF Pair _ NARROW[x]; v: REF _ Atom.GetPropFromList[me.properties, $CDExtrasImplsTouched]; IF v=pair.key THEN RETURN; -- already visited me.properties _ Atom.PutPropOnList[me.properties, $CDExtrasImplsTouched, pair.key]; IF me.class.inDirectory THEN CDDirectory.EnumerateChildObjects[me, MyEnum, x]; pair.p[me, pair.x]; -- call clients enumerator proc END; EnumerateDesignObjects: PUBLIC PROC [design: CD.Design, p: CDDirectory.EnumerateObjectsProc, x: REF] = BEGIN ENABLE UNWIND => Leave[]; pair: REF Pair _ NEW[Pair]; EachCell: SymTab.EachPairAction --[key: Key, val: Val] RETURNS [quit: BOOLEAN] -- = BEGIN quit _ FALSE; MyEnum[NARROW[val, CD.Object], pair] END; pair^ _ [p, x, pair]; Enter[]; [] _ SymTab.Pairs[design.cellDirectory, EachCell]; FOR l: LIST OF CD.PushRec _ design.actual, l.rest WHILE l#NIL DO MyEnum[l.first.dummyCell.ob, pair]; IF l.first.mightReplace#NIL THEN MyEnum[l.first.mightReplace.ob, pair]; ENDLOOP; Leave[]; END; BoundingBox: PUBLIC PROC [design: CD.Design] RETURNS [r: CD.Rect _ CDBasics.empty] = BEGIN FOR l: LIST OF CD.PushRec _ design.actual, l.rest WHILE l#NIL DO r _ CDBasics.Surround[r, CDInstances.BoundingRectO[ NARROW[l.first.dummyCell.ob.specificRef, CD.CellPtr].contents ]] ENDLOOP; END; PushedCellName: PUBLIC PROC [design: CD.Design] RETURNS [Rope.ROPE] = {RETURN [ IF design=NIL OR design.actual=NIL THEN "erronous" ELSE IF design.actual.rest=NIL THEN "top level" ELSE IF design.actual.first.specific=NIL THEN "erronous" ELSE IF design.actual.first.specific.name#NIL THEN design.actual.first.specific.name ELSE "unnamed cell" ] }; RPEachChildren: CDDirectory.EnumerateObjectsProc --PROC [me: Object, x: REF]-- = BEGIN Process.Yield[]; IF ~me.class.inDirectory THEN CDProperties.PutPropOnObject[onto: me, prop: x, val: NIL] END; RemoveProps: PROC [design: CD.Design, key: REF] = BEGIN RPEachDirectoryEntry: CDDirectory.EachEntryAction = BEGIN CDProperties.PutPropOnObject[onto: ob, prop: key, val: NIL]; IF ob.class.inDirectory THEN CDDirectory.EnumerateChildObjects[me: ob, p: RPEachChildren, x: key]; END; CedarProcess.SetPriority[CedarProcess.Priority[background]]; [] _ CDDirectory.Enumerate[design: design, action: RPEachDirectoryEntry]; END; RemoveProperties: PUBLIC PROC [design: CD.Design, key: REF] = BEGIN TRUSTED {Process.Detach[FORK RemoveProps[design, key]]} END; ToLambda: PUBLIC PROC [n: CD.Number] RETURNS [Rope.ROPE] = BEGIN IF n MOD CD.lambda = 0 THEN RETURN IO.PutFR[format: " %g", v1: IO.int[n/CD.lambda]] ELSE { r: Rope.ROPE _ " "; IF n<0 THEN { n _ ABS[n]; r _ " -"; }; RETURN [IO.PutFR["%0g(%0g+%0g/%0g)", IO.rope[r], IO.int[n/CD.lambda], IO.int[n MOD CD.lambda], IO.int[CD.lambda] ]]; } END; PopToTopLayer: PUBLIC PROC [design: CD.Design] = BEGIN WHILE design.actual.rest#NIL DO IF NOT CDCells.PopFromCell[design, newcell] THEN EXIT ENDLOOP; IF design.actual.rest#NIL THEN ERROR END; Cellize: PUBLIC PROC [design: CD.Design, name: Rope.ROPE_NIL] RETURNS [cell: CD.Object_NIL, pos: CD.Position] = BEGIN done: BOOL; il: CD.InstanceList; PopToTopLayer[design]; CDSimpleOps.SelectAll[design]; IF (il_CDOps.InstList[design])#NIL THEN { IF il.rest=NIL AND ISTYPE[il.first.ob.specificRef, CD.CellPtr] AND il.first.orientation=CD.original THEN { cell _ il.first.ob; IF name#NIL THEN [] _ CDDirectory.Rename[design, cell, name]; done _ TRUE } ELSE { IF name=NIL THEN name _ design.name; IF name=NIL THEN name _ "no named design"; [done, cell] _ CDCells.CreateCellSelected[design, name]; }; IF done THEN { pos _ CDOps.InstList[design].first.location; } ELSE cell _ NIL }; CDOps.SetInstList[design, NIL] END; RopeNeeded: SIGNAL [ ref: REF REF ] = CODE; ToRope: PUBLIC PROC [x: REF, whenFailed: REF_NIL] RETURNS [rope: Rope.ROPE_NIL] = BEGIN WITH x SELECT FROM r: Rope.ROPE => rope _ r; rt: REF TEXT => rope _ Rope.FromRefText[rt]; i: REF INT => rope _ IO.PutFR["%0g", IO.int[i^]]; a: ATOM => rope _ Atom.GetPName[a]; l: CDPrivate.LayerRef => rope _ CDOps.LayerName[l.number]; ob: CD.Object => rope _ CDOps.Info[ob]; inst: CD.Instance => rope _ inst.ob.class.describeInst[inst]; d: CD.Design => rope _ d.name; t: CD.Technology => rope _ t.name; ENDCASE => SELECT whenFailed FROM NIL => rope _ NIL; $Interactive => { refRef: REF REF = NEW[REF _ x]; TerminalIO.WriteRope["please enter a ROPE using the debugger"]; SIGNAL RopeNeeded[refRef]; rope _ ToRope[refRef^ ! RopeNeeded => ERROR]; }; ENDCASE => rope _ ToRope[whenFailed]; END; GetTechnology: PUBLIC PROC [name: Rope.ROPE] RETURNS [t: CD.Technology] = BEGIN EachTechnology: CD.TechnologyEnumerator = { IF Rope.Equal[tech.name, name, FALSE] OR Rope.Equal[Atom.GetPName[tech.key], name, FALSE] THEN {quit _ TRUE; t _ tech} }; [] _ CD.EnumerateTechnologies[EachTechnology]; END; END. *CDExtrasImpl.mesa (part of ChipNDale) Copyright c 1983, 1985 by Xerox Corporation. All rights reserved. by Christian Jacobi, September 8, 1983 9:45 am last edited by Christian Jacobi, June 29, 1985 5:38:05 pm PDT --create a dummy cell object which contains the whole design. --On future changes of the design, the dummy object may or may not --get obsolete. --enumerate me and its children objects --mark visited --enumerate my children first --RemoveProps --tries to remove the propertiy "key" from all objects of "design"; --may be delayed or incomplete --(only from objects, not instances...) --if "design" is pushed in, it will be popped out, either by flushing, --replacing cells or creating new cells --makes a single "cell" of of the "design", removes all instances; --pos: if "cell" is included at position "pos" in an empty design we would get "design" again --if "design" is pushed in, it will be popped out, either by flushing, --replacing cells or creating new cells --far more friendly version of CD.GetTechnology --NIL if not found Ê p˜šœ,™,Jšœ Ïmœ7™BJšœ0™0Jšœ>™>J˜—šÏk ˜ J˜Jšžœ˜J˜ J˜J˜ J˜ J˜ J˜Jšœ ˜ Jšœ ˜ Jšœ ˜ Jšœ˜J˜J˜J˜J˜J˜ J˜—šÏb œžœžœ˜Jšžœhžœ$˜•Jšžœ ˜Jšžœžœ˜ —Jšž˜J˜š Ïnœžœžœ žœ žœžœ ˜GJšœ=™=JšœB™Bšœ™Jšž˜Jšœžœ$˜.Jšœžœ žœ˜.š žœžœžœžœ!žœžœž˜@šœžœ˜šžœžœ˜Jšœ˜Jšœ˜Jšœ žœ ˜Jšœ ž˜Jšœ˜—Jšœ ˜ Jšœ˜—Jšžœ˜—Jšžœ ˜Jšžœ˜J˜——Jš œžœžœ*žœžœ˜LJ˜Jšœ#žœžœ˜0Jšœ žœžœ˜J˜J˜š œžœžœ˜Jšž˜Jš žœ žœžœžœžœ#˜DJšœžœ˜ Jšžœ˜J˜—š œžœžœ˜Jšž˜Jšœžœ˜Jšžœ˜J˜J˜—š  œžœžœžœ1žœ˜cJšœ'™'Jšžœžœžœ ˜Jšœžœžœ˜J˜J˜J˜J˜Jšžœ˜J˜—š œžœžœ žœ˜*Jšž˜Jšœžœžœ˜Jšœžœ>˜DJšžœ žœžœÏc˜-Jšœ™J˜SJšœ™Jšžœžœ2˜NJšœ¡˜3Jšžœ˜J˜—š  œžœžœ žœ1žœ˜fJšžœžœžœ ˜Jšœžœžœ˜J˜šŸœ¡1œ˜SJšž˜Jšœžœ˜ Jšœžœžœ˜$Jšžœ˜J˜—J˜J˜J˜2š žœžœžœžœ!žœžœž˜@J˜#Jšžœžœžœ'˜GJšžœ˜—J˜Jšžœ˜J˜—š  œžœžœ žœ ˜-Jšžœžœ˜'Jšž˜š žœžœžœžœ!žœžœž˜@˜3Jšžœ#žœ˜@—Jšžœ˜—Jšžœ˜J˜—š  œž œ žœ žœžœ˜Ešœžœ˜ Jš žœžœžœžœžœ ˜3Jšžœžœžœžœ ˜/Jšžœžœžœžœ ˜8Jšžœžœ#žœžœ"˜TJšžœ˜—J˜—J˜šŸœ#¡œ˜PJšž˜Jšœ˜šžœž˜Jšœ5žœ˜9—Jšžœ˜—J˜š  œžœ žœžœ˜1Jšž˜J˜šŸœ˜3Jšžœ˜Jšœ7žœ˜<šœžœ˜JšœE˜E—Jšžœ˜—J˜Jšœ ™ Jšœ<˜