DIRECTORY Atom USING [GetPName], CD USING [Design, Technology], CDCommandOps USING [RegisterWithMenu], CDProperties USING [GetProp], CDSequencer USING [Command, ImplementCommand], CStitching USING [Tesselation], CSMonitor USING [Monitor, PaintPredicate], Rope USING [Cat, ROPE], SXAtoms USING [spinifex], SX USING [ConstraintPtr, SpinifexLayerIndex, TechHandle], SXLayers USING [GetTesselation, SaveTesselations], TerminalIO USING [RequestSelection, PutRope]; SXShowTessImpl: CEDAR PROGRAM IMPORTS Atom, CDCommandOps, CDProperties, CDSequencer, CSMonitor, Rope, SXAtoms, SXLayers, TerminalIO = BEGIN NameList: TYPE ~ LIST OF Rope.ROPE; RegisterCommand: PROCEDURE ~ { id: ATOM ~ $showTesselation; CDSequencer.ImplementCommand [key: id, proc: ShowWorld, queue: doQueue]; CDCommandOps.RegisterWithMenu [menu: $DRCMenu, entry: "Show Spinifex Tesselation", key: id, proc: ShowWorld, queue: doQueue]; TerminalIO.PutRope ["Spinifex utility showing tesselations loaded.\n"] }; -- end RegisterCommand Menu: PROCEDURE [selections: NameList] RETURNS [discarded, conflictWorld: BOOL, layer: SX.SpinifexLayerIndex] = BEGIN selection: CARDINAL; selection _ TerminalIO.RequestSelection [header: "Spinifex layer", choice: selections]; IF discarded _ (selection = 0) THEN RETURN; layer _ selection - 1; selection _ TerminalIO.RequestSelection [header: "World", choice: LIST["Areas of interest", "Geometry"]]; IF discarded _ (selection = 0) THEN RETURN; conflictWorld _ (selection = 1) END; -- end Menu AtomOrConstraint: CSMonitor.PaintPredicate = BEGIN RETURN [(ISTYPE [val, ATOM]) OR (ISTYPE [val, SX.ConstraintPtr])] END; -- AtomOrConstraint ShowWorld: PROCEDURE [comm: CDSequencer.Command] = BEGIN design: CD.Design ~ comm.design; th: REF SX.TechHandle; viewerLabel: Rope.ROPE; world: CStitching.Tesselation; conflicts, abort: BOOL; layerNames: NameList; layer: SX.SpinifexLayerIndex; th _ NARROW [CDProperties.GetProp [from: design.technology, prop: SXAtoms.spinifex]]; IF (th = NIL) THEN { TerminalIO.PutRope ["The input focus is not on a design with a Spinifex technology.\n"]; ERROR ABORTED }; FOR l: SX.SpinifexLayerIndex DECREASING IN [0.. th.numSpinifexLayers) DO layerNames _ CONS [Atom.GetPName[th.spinifexLayerNames[l].layerId], layerNames] ENDLOOP; [abort, conflicts, layer] _ Menu [layerNames]; IF abort THEN RETURN; viewerLabel _ IF conflicts THEN "Areas of interest. " ELSE "Geometry World. "; viewerLabel _ Rope.Cat ["Spinifex ", viewerLabel, "Layer: ", Atom.GetPName[th.spinifexLayerNames[layer].layerId]]; world _ SXLayers.GetTesselation [conflicts, layer]; IF world = NIL THEN BEGIN TerminalIO.PutRope ["The desired Spinifex world does not exist (Did you DRC?).\n"]; ERROR ABORTED END; [] _ CSMonitor.Monitor [plane: world, name: viewerLabel, paintDark: AtomOrConstraint]; TerminalIO.PutRope ["The shown tesselation corresponds to the LAST actually analysed cell.\n"]; TerminalIO.PutRope ["The following additional commands are available:\na middle: print tile\ns middle: print value attached to tile\nr: redisplay\nc: center\n"]; TerminalIO.PutRope ["d: INC[depth]; D: DEC[depth];\nw: INC[width]; W: DEC[width]\n [Roughly speaking, the depth parameter controls the nesting depth before '...' is used, e.g. of records within records within arrays within ..., width controls the number of characters printed at each nesting level before '...' is used.]\n"] END; -- end ShowWorld SXLayers.SaveTesselations [TRUE]; RegisterCommand [] END. XSXShowTessImpl.mesa Copyright Σ 1984, 1986, 1987 by Xerox Corporation. All rights reserved. Last edited by Giordano Beretta, April 23, 1985 3:31:53 pm PST gbb October 12, 1987 4:01:44 pm PDT CDPanel.DefineButton [name: "Show Spinifex Tesselation", border: TRUE, command: id]; CDMenus.CreateEntry [menu: $ProgramMenu, entry: "Show Spinifex Tesselation", key: id]; Sets up a menu to get the layer and a submenu to specify the desired world (geometry or conflict). Called by ChipNDale. gbb October 12, 1987 4:01:26 pm PDT Converted to 7.0 changes to: DIRECTORY, SXShowTessImpl, RegisterCommand Κ…˜šœ™JšœH™HJšœ>™>Icode™#—unitšΟk ˜ Kšœœ ˜Kšœœ˜Kšœ œ˜&Kšœ œ ˜Kšœ œ˜.Kšœ œ˜Kšœ œ˜*Kšœœœ˜Kšœœ ˜Kšœœ1˜9K•StartOfExpansion[]šœ œ$˜2Kšœ œ˜-—šΟnœœ˜Lšœ`˜gLš˜Lš œ œœœœ˜#šžœ œ˜Kšœœ˜LšœH˜HKšœ}˜}KšœAœ™TKšœV™VKšœF˜FKšœΟc˜—šžœ œœœ!˜oJ™bLš˜Kšœ œ˜LšœW˜WKšœœ˜+Kšœ˜KšœBœ#˜iKšœœ˜+Kšœ˜LšœΟe˜—šžœ˜2Kš œœœœœœ˜AKšœŸ˜—šž œ œ˜2J™Lš˜Kšœœ˜ Kšœœ˜Kšœœ˜Kšœ˜Kšœœ˜Kšœ˜Kšœ˜LšœœJ˜Ušœœœ˜KšœX˜XKšœ˜ K˜—šœ œœ˜HKšœ œ>˜OKšœ˜—Lšœ.˜.Kšœœ˜Kšœœ œœ˜NKšœr˜rKšœ3˜3šœ œ˜Kš˜KšœS˜SKšœ˜ Kšœ˜—KšœV˜VKšœ_˜_Kšœ‘˜‘KšœΗ˜ΗLšœŸ˜—Lšœœ˜!Kšœ˜Lšœ˜—™#K™Kšœ Οr*™6—K™—…— vS