<> <> DIRECTORY IO, LichenDataStructure, Rope; LichenPrinting: CEDAR DEFINITIONS = {OPEN LichenDataStructure; CellTypeFilter: TYPE ~ PROC [CellType] RETURNS [BOOL]; PrintDesignOnFile: PROC [design: Design, nameGen: NameGenerator _ NIL, fileName: ROPE _ NIL, tioga: BOOL _ FALSE, pacify: IO.STREAM _ NIL, Filter: CellTypeFilter _ NIL]; PrintDesign: PROC [to: IO.STREAM, design: Design, nameGen: NameGenerator _ NIL, pacify: IO.STREAM _ NIL]; PrintDesignSubset: PROC [to: IO.STREAM, design: 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]; PrintInstances: PROC [to: IO.STREAM, set: Set--OF CellInstance--, mirror: CellInstance, nameGen: NameGenerator _ NIL]; PrintInstance: PROC [to: IO.STREAM, ci: CellInstance, nameGen: NameGenerator _ NIL]; PrintArray: PROC [to: IO.STREAM, ct: CellType, nameGen: NameGenerator _ NIL]; }.