RosemaryUser.mesa
Copyright © 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
DIRECTORY Core, Ports, Rosemary;
RosemaryUser: CEDAR DEFINITIONS = BEGIN
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.