<> <> <> DIRECTORY CD, Core, CoreClasses, CoreFlat, Rope, SC; SCTestUtil: CEDAR DEFINITIONS = BEGIN AppendInstList: PROC [l1, l2: CoreClasses.CellInstances] RETURNS[val: CoreClasses.CellInstances]; AppendRopeList: PROC [l1, l2: SC.RopeList] RETURNS[val: SC.RopeList]; 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: SC.RopeList, type: Core.CellType, name: Rope.ROPE, internalWires: Core.Wire, props: Core.Properties _ NIL] RETURNS [instance: CoreClasses.CellInstance]; CreateWire: PROC [ropeList: SC.RopeList] RETURNS [wire: Core.Wire]; CreateCore: PROC [libName: Rope.ROPE] RETURNS [Core.CellType]; WriteLayout: PROC [result: SC.Result, design: CD.Design]; <> <<>> DoLayout: PROC [cellType: Core.CellType, flattenCellType: CoreFlat.FlattenCellTypeProc, libName: Rope.ROPE, hMaterial, vMaterial: Rope.ROPE] RETURNS [result: SC.Result _ NIL]; <> UnionWire: PROC [wire1, wire2: Core.Wire, name: Rope.ROPE _ NIL, props: Core.Properties _ NIL] RETURNS [union: Core.Wire]; <> <<>> END.