<> <> <> <> DIRECTORY CD, Core, CoreClasses, CoreFlat, CoreGeometry, Rope, Sinix; SinixOps: CEDAR DEFINITIONS = BEGIN <> < menu) that provide for highlighting and extraction.>> <> Object: TYPE ~ CD.Object; Instance: TYPE ~ CoreGeometry.Instance; Instances: TYPE ~ CoreGeometry.Instances; Design: TYPE ~ CD.Design; Technology: TYPE ~ CD.Technology; CellType: TYPE ~ Core.CellType; ROPE: TYPE ~ Core.ROPE; Wire: TYPE ~ Core.Wire; Wires: TYPE ~ Core.Wires; Properties: TYPE ~ Core.Properties; CellInstance: TYPE ~ CoreClasses.CellInstance; CellInstances: TYPE ~ CoreClasses.CellInstances; InstancePath: TYPE ~ CoreFlat.InstancePath; FlatWire: TYPE ~ CoreFlat.FlatWire; FlatWireRec: TYPE ~ CoreFlat.FlatWireRec; FlatCellType: TYPE ~ CoreFlat.FlatCellType; FlatCellTypeRec: TYPE ~ CoreFlat.FlatCellTypeRec; Mode: TYPE ~ Sinix.Mode; Decoration: TYPE = CoreGeometry.Decoration; <> <> HighLightInst: PROC [instance: Instance] RETURNS [hinstance: Instance]; <> HighLightListInst: PROC [instances: Instances] RETURNS [hinstances: Instances]; <> HighlightDesign: PROC [design: CD.Design, highlight: REF _ NIL]; <> <> <> <> HighlightNets: PROC [decoration: Decoration, design: CD.Design, instance: Instance, root: CellType, flatWires: LIST OF FlatWireRec]; <> <> <> <> <> <> <<>> IsIcon: PROC [decoration: Decoration, cell: CellType] RETURNS [BOOL]; <> <<>> ExtractCDInstance: PROC [instance: Instance, design: Design, mode: Mode] RETURNS [result: REF, props: Properties]; <> <> <<>> ExtractCDStack: PROC [design: Design, mode: Mode] RETURNS [instance: Instance, root: CellType]; <> <> <> <> CDStackToPath: PROC [design: Design, mode: Mode] RETURNS [instance: Instance, root: CellType, pushed: CellType, flatPushed: FlatCellTypeRec]; <> <> <> <> <> <> SelectedCoreObjects: PROC [design: Design, mode: Mode, flatCellsActuals: BOOL _ FALSE] RETURNS [instance: Instance, root: CellType, pushed: CellType, flatPushed: FlatCellTypeRec, flatCells: LIST OF FlatCellTypeRec _ NIL, flatWires: LIST OF FlatWireRec _ NIL]; <> <> <> <> <> <> <> <> <> <<>> SelectedCellType: PROC [design: Design, mode: Mode] RETURNS [instance: Instance, root: CellType, cell: CellType, flatCell: FlatCellTypeRec, transf: Instance]; <> <> <> <> <> RegisterDefaultLayoutMode: PROC [technology: Technology, mode: Mode]; <> RegisterExtractCommand: PROC [technology: Technology _ NIL, mode: Mode, prompt: ROPE, key: ATOM]; <> <<>> RegisterHighlightCommand: PROC [technology: Technology _ NIL, mode: Mode, prompt: ROPE, key: ATOM]; <> <<>> RegisterBackgroundExtractionCommand: PROC [technology: Technology, mode: Mode, prompt: ROPE, key: ATOM, filter: FilterProc]; FilterProc: TYPE = PROC [design: Design, name: ROPE, object: Object] RETURNS [extract: BOOL]; <> <<>> GetExtractMode: PROC [tech: REF] RETURNS [mode: Mode _ NIL]; <> <> <> END.