RoseControl.mesa
Copyright © 1985 by Xerox Corporation. All rights reversed.
Barth, August 1, 1985 2:31:39 pm PDT
Spreitzer, October 2, 1985 4:20:38 pm PDT
DIRECTORY Core, CoreFlatten;
RoseControl: CEDAR DEFINITIONS = BEGIN
Theory
This interface describes the instantiation of Rosemary simulation data structures and the control of simulations.
Instantiation
The information required to instantiate a simulation consists of several parts. A pointer to a Core.CellType provides the hierarchical definition of the circuit to be simulated.
Implementation
ROPE: TYPE = Core.ROPE;
Simulation: TYPE = REF SimulationRec;
SimulationRec: TYPE;
Instantiate: PROC [cellType: Core.CellType, expansionControl: CoreFlatten.FlattenControl] RETURNS [simulation: Simulation];
flattenToBehavior: CoreFlatten.FlattenControl;
FlattenStructure: PROC [from: Core.CellType] RETURNS [CoreFlatten.FlattenControl];
Test: PROC [simulation: Simulation, testProc: TestProc, testData: REF ANY ← NIL, stateToo: BOOL ← FALSE, steady: BOOL ← TRUE];
TestProc: TYPE = PROC [
testeeType: Core.CellType,
testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY,
Eval: PROC
];
END.