DIRECTORY BasicTime, BitTwiddling, Core, CoreProperties, GetMe, IO, Rope, RoseBehavior, RoseBind, RoseControl, SimpleInvTesterRoseDefs; SimpleInvTesting: CEDAR PROGRAM = BEGIN OPEN RoseBehavior, RoseControl, SimpleInvTesterRoseDefs; TestSimpleInv : PROC [ testeeType: Core.CellType, testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY, Eval: PROC ] = { instr: REF SimpleInvTesterSimple = NARROW[simpleInstructions]; drive: REF SimpleInvTesterDrive = NARROW[driveInstructions]; drive.out _ test; drive.in _ drive; FOR b: BOOL IN BOOL DO instr.in _ b; instr.out _ NOT b; Eval[]; ENDLOOP; stateAny _ stateAny; }; END. „SimpleInvTesting.mesa Copyright c 1985 by Xerox Corporation. All rights reversed. Spreitzer, October 2, 1985 9:56:01 pm PDT Κ>– "cedar" style˜– "Cedar" stylešœ™Jšœ Οmœ1™K˜˜ šœžœ˜Kšœ˜KšœOžœžœ˜WKšΟnœž˜ Kšœ˜—˜Kšœžœžœ˜>Kšœžœžœ˜