<> <> <> DIRECTORY Core, CoreFlat, Ports, Rosemary; RosemaryUser: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Core.ROPE; MakeStandardViewer: PROC [name: ROPE _ NIL, cellType: Core.CellType, testButtons: LIST OF TestButton, displayWires: DisplayWires _ NIL, flatten: BOOL _ FALSE, cutSet: ROPE _ NIL, historySize: NAT _ 0] RETURNS [simulation: Rosemary.Simulation]; TestButton: TYPE = RECORD [ name: ROPE, proc: TestProc]; TestProc: TYPE = PROC [cellType: Core.CellType, p: Ports.Port, Eval: PROC]; DisplayWires: TYPE = LIST OF DisplayWire; DisplayWire: TYPE = RECORD [ instantiationPath: CoreFlat.InstantiationPath, wire: Core.Wire]; DisplayPortLeafWires: PROC [rootWire: Core.Wire, instantiationPath: CoreFlat.InstantiationPath _ NIL] RETURNS [displayWires: DisplayWires]; WireValue: PROC [simulation: Rosemary.Simulation, name: ROPE, base: NAT _ 16] RETURNS [val: ROPE]; END.