<> <> DIRECTORY IO, LichenDataStructure, Rope; LichenPrinting: CEDAR DEFINITIONS = {OPEN LichenDataStructure; CellTypeFilter: TYPE ~ PROC [CellType] RETURNS [BOOL]; PrintDesignOnFile: PROC [d: Design, nameGen: NameGenerator _ NIL, fileName: ROPE _ NIL, tioga: BOOL _ FALSE, pacify: IO.STREAM _ NIL, Filter: CellTypeFilter _ NIL]; PrintDesign: PROC [to: IO.STREAM, d: Design, nameGen: NameGenerator _ NIL, pacify: IO.STREAM _ NIL]; PrintDesignSubset: PROC [to: IO.STREAM, d: Design, nameGen: NameGenerator, pacify: IO.STREAM _ NIL, Filter: PROC [CellType] RETURNS [BOOL] _ NIL]; PrintCellType: PROC [to: IO.STREAM, ct: CellType, nameGen: NameGenerator _ NIL]; PrintPort: PROC [to: IO.STREAM, port: Port, nameGen: NameGenerator _ NIL]; PrintWire: PROC [to: IO.STREAM, wire: Wire, nameGen: NameGenerator _ NIL]; PrintCells: PROC [to: IO.STREAM, cct: CellType, set: Set--OF Cell--, and: Cell _ NIL, nameGen: NameGenerator _ NIL]; PrintCell: PROC [to: IO.STREAM, cct: CellType, cell: Cell, nameGen: NameGenerator _ NIL]; PrintArray: PROC [to: IO.STREAM, act: CellType, nameGen: NameGenerator _ NIL]; }.