RosemaryUser.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Barth, June 13, 1986 10:56:28 am PDT
Louis Monier April 16, 1986 2:22:45 pm PST
DIRECTORY ChoiceButtons, Core, CoreFlat,
IO, Ports, Rosemary, ViewerClasses;
RosemaryUser: CEDAR DEFINITIONS = BEGIN
ROPE: TYPE = Core.ROPE;
Client Controlled Simulations
DisplayViewer:
PROC [simulation: Rosemary.Simulation, cellType: Core.CellType, name:
ROPE ←
NIL, displayWires: CoreFlat.FlatWires ←
NIL]
RETURNS [handle: RoseDisplay];
UpdateDisplay:
PROC [handle: RoseDisplay];
Test Procedure Simulations
TestProcedureViewer:
PROC [cellType: Core.CellType, testButtons:
LIST
OF
ROPE, name:
ROPE ←
NIL, displayWires: CoreFlat.FlatWires ←
NIL, flatten:
BOOL ←
FALSE, cutSets:
LIST
OF
ROPE ←
NIL, historySize:
NAT ← 0]
RETURNS [simulation: Rosemary.Simulation];
RegisterTestProc:
PROC [name:
ROPE, proc: TestProc];
TestProc:
TYPE =
PROC [cellType: Core.CellType, p: Ports.Port,
Eval:
PROC];
Wire Display
DisplayInstancePortLeafWires:
PROC [instance: CoreFlat.FlatInstanceRec]
RETURNS [displayWires: CoreFlat.FlatWires];
DisplayCellTypePortLeafWires:
PROC [cellType: Core.CellType]
RETURNS [displayWires: CoreFlat.FlatWires];
Data Structures
Not intended to be understood by clients.
RoseDisplay: TYPE = REF RoseDisplayRec;
RoseDisplayRec:
TYPE =
RECORD [
cellType: Core.CellType,
simulation: Rosemary.Simulation,
displayWires: LIST OF ChoiceButtons.PromptDataRef ← NIL,
tsin: IO.STREAM ← NIL,
tsout: IO.STREAM ← NIL,
path: ViewerClasses.Viewer ← NIL,
currentWire: ViewerClasses.Viewer ← NIL];
END.