DIRECTORY CD, CDDebug, CDSequencer, CDSimpleOps, Core, CoreFlat, CoreOps, CoreProperties, IO, PWCore, Rope, SinixOps, Sisyph, Static, TerminalIO; DAUserCmdsImpl: CEDAR PROGRAM IMPORTS CDDebug, CDSequencer, CDSimpleOps, CoreFlat, CoreOps, CoreProperties, IO, PWCore, Rope, SinixOps, Sisyph, Static, TerminalIO = BEGIN ExtractAndLayout: PROC [comm: CDSequencer.Command] = { ob: CD.Object; badDesign: CD.Design; root, cellType: Core.CellType; [root: root, cell: cellType] _ SinixOps.SelectedCellType[comm.design, Sisyph.mode]; IF root=NIL THEN RETURN; -- Extraction ended in error, message already printed TerminalIO.PutF["\nGenerating layout for %g.\n", IO.rope[CoreOps.GetCellTypeName[cellType]]]; ob _ PWCore.Layout[cellType]; badDesign _ CDDebug.Draw[ob].dummyDesign; [] _ CDSimpleOps.RenameDesign[badDesign, Rope.Cat["view only """, badDesign.name, """"]] }; ExtractAndStatic: PROC [comm: CDSequencer.Command] = { root, cellType: Core.CellType; [root: root, cell: cellType] _ SinixOps.SelectedCellType[comm.design, Sisyph.mode]; IF root=NIL THEN RETURN; -- Extraction ended in error, message already printed TerminalIO.PutF["\nStatic checking %g.\n", IO.rope[CoreOps.GetCellTypeName[cellType]]]; Static.CountDirectConnections[cellType, Static.CheckCount, IF CoreProperties.GetCellTypeProp[cellType, Static.staticCutSetProp]=NIL THEN CoreFlat.CreateCutSet[labels: LIST["Logic", "LogicMacro"]] ELSE NIL]; TerminalIO.PutF["Finished static checking %g.\n", IO.rope[CoreOps.GetCellTypeName[cellType]]]; }; CDSequencer.ImplementCommand[key: $DAUserXNLayout, proc: ExtractAndLayout, queue: doQueue]; CDSequencer.ImplementCommand[key: $DAUserXNStatic, proc: ExtractAndStatic, queue: doQueue]; END. 6DAUserCmdsImpl.mesa Copyright Ó 1986, 1987 by Xerox Corporation. All rights reserved. Last Edited by: Louis Monier January 7, 1987 8:15:20 pm PST Last Edited by: Christian Jacobi, January 7, 1987 11:41:28 am PST Bertrand Serlet January 27, 1987 2:07:32 pm PST -- We use the cutsets specified by Logic Ê¦– "cedar" style˜codešœ™KšœB™BK™;Kšœ>Ïk™AK™/K™—š œœNœ5˜‘K˜—•StartOfExpansion[]šÏnœœ˜KšœGœ4˜„Kšœœ˜K˜—šžœœ ˜6Jšœœ˜$Jšœ˜JšœS˜SJš œœœœÏc5˜NJ˜Jšœ1œ*˜]Jšœ˜J˜Jšœ)˜)JšœX˜XJ˜J˜—J™(šžœœ ˜6Jšœ˜JšœS˜SJš œœœœŸ5˜NJ˜Jšœ+œ*˜WJš œ;œCœœœœœ˜ÎJšœ2œ*˜^J˜J˜—Jšœ[˜[šœ[˜[K˜—Kšœ˜K˜—…—¨ „