DIRECTORY Core, 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: Rosemary.InstantiationPath, wire: Core.Wire]; DisplayPortLeafWires: PROC [wire: Core.Wire, instantiationPath: Rosemary.InstantiationPath _ NIL] RETURNS [displayWires: DisplayWires]; WireValue: PROC [simulation: Rosemary.Simulation, name: ROPE, base: NAT _ 16] RETURNS [val: ROPE]; END. τRosemaryUser.mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Barth, March 19, 1986 8:46:35 pm PST Last Edited by: Gasbarro January 23, 1986 11:44:11 am PST Last Edited by: Neil Gunther February 27, 1986 11:29:50 am PST Κs˜codešœ™Kšœ Οmœ1™—K˜šΟk œ˜ K˜—KšΟn œžœž œž˜'K˜šžœžœžœ˜K˜—šŸœžœžœžœ(žœžœ*žœ žœžœ žœžœžœžœ#˜σJ˜—šœ žœžœ˜Jšœžœ˜ Jšœ˜J˜—š Ÿœžœžœ*Ÿœžœ˜KK˜—Jšœžœžœžœ ˜)šœ žœžœ˜Jšœ.˜.Jšœ˜J˜—šŸœžœCžœžœ˜‡K˜—š Ÿ œžœ)žœžœžœžœ˜bK˜—Jšžœ˜J˜—…—^Ε