<> <> <> <> <> <> DIRECTORY PLAOps; IFUPLAFetchControl: CEDAR DEFINITIONS = BEGIN FetchControlIn: TYPE = RECORD [ -- default must be zero for use initializing sigificance arg nextMacroJump: BOOL _ FALSE, reset: BOOL _ FALSE, iPReject: BOOL _ FALSE, jumpPending: BOOL _ FALSE, fetching: BOOL _ FALSE, fetchBytesM1: [0..32) _ 0, iPFaulted: BOOL _ FALSE, iPFaulting: BOOL _ FALSE ]; FetchControlOut: TYPE = RECORD [-- default must be zero jumpPending: BOOL _ FALSE, newFetch: BOOL _ FALSE, fetching: BOOL _ FALSE, iPFaulted: BOOL _ FALSE, fetchWtIndexCtl: FetchWtIndexCtl _ hold ]; FetchWtIndexCtl: TYPE = MACHINE DEPENDENT {hold(0), inc(3), clear(5)}; <<>> <> <<{inc0(0), inc1(3), inc2(5), inc3(9), inc5(17), set0(33), set1(65), set2(129), set3(257)};>> END.