<> <> <> DIRECTORY CD, Core, CoreClasses, CoreCompose, Rope, SC; SCTestUtil: CEDAR DEFINITIONS = BEGIN AppendInstList: PROC [l1, l2: CoreClasses.CellInstanceList] RETURNS[val: CoreClasses.CellInstanceList]; WireUnion: PROC [w1, w2: Core.WireSequence] RETURNS [union: Core.WireSequence]; CreateRecordCell: PROC [context: CoreCompose.Context, name: Rope.ROPE, public: Core.WireSequence, onlyInternal: Core.WireSequence _ NIL, instances: CoreClasses.CellInstanceList _ NIL] RETURNS [cellType: Core.CellType]; CreateInstance: PUBLIC PROC [context: CoreCompose.Context, actual: Rope.ROPE, type: Core.CellType, name: Rope.ROPE] RETURNS [instance: CoreClasses.CellInstance]; CreateCore: PROC [] RETURNS [CoreCompose.Context, Core.CellType]; WriteLayout: PROC [result: SC.Result, design: CD.Design]; <> <<>> DoLayout: PROC [context: CoreCompose.Context, cellType: Core.CellType, cdDesign, libDesign: CD.Design, hMaterial, vMaterial: Rope.ROPE] RETURNS [result: SC.Result _ NIL]; <> <<>> END.