<> <> <> DIRECTORY CD, Core, CoreClasses, CoreFlat, Rope; RTTestUtil: CEDAR DEFINITIONS = { AppendInstList: PROC [l1, l2: CoreClasses.CellInstances] RETURNS[val: CoreClasses.CellInstances]; AppendRopeList: PROC [l1, l2: LIST OF Rope.ROPE] RETURNS[val: LIST OF Rope.ROPE]; CreateRecordCell: PROC [name: Rope.ROPE, publicWires: Core.Wire, internalWires: Core.Wire _ NIL, instances: CoreClasses.CellInstances _ NIL, props: Core.Properties _ NIL, libDesign: CD.Design _ NIL] RETURNS [cellType: Core.CellType]; CreateInstance: PUBLIC PROC [actual: LIST OF Rope.ROPE, type: Core.CellType, name: Rope.ROPE, internalWires: Core.Wire, props: Core.Properties _ NIL] RETURNS [instance: CoreClasses.CellInstance]; CreateWire: PROC [ropeList: LIST OF Rope.ROPE] RETURNS [wire: Core.Wire]; CreateCore: PROC [libName: Rope.ROPE] RETURNS [Core.CellType]; WriteLayout: PROC [object: CD.Object, name: Rope.ROPE, design: CD.Design]; <> <<>> UnionWire: PROC [wire1, wire2: Core.Wire, name: Rope.ROPE _ NIL, props: Core.Properties _ NIL] RETURNS [union: Core.Wire]; <> }.