<> <> <> 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.