<> <> <> DIRECTORY CD, Core, CoreClasses, 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] 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]; CreateCoreForLogic: PROC [] RETURNS [Core.CellType]; CreateCoreForPadFrame: PROC [] RETURNS [Core.CellType]; WriteLayout: PROC [result: SC.Result, design: CD.Design]; <> <<>> DoLayout: PROC [cellType: Core.CellType, cdDesign, libDesign: CD.Design, 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.