<> <> <> <<>> <<>> DIRECTORY DM; DMPBusModel: CEDAR DEFINITIONS = BEGIN <> <<>> PBusSpecific: TYPE = REF PBusSpecificRec; PBusSpecificRec: TYPE = RECORD [ pCmdA: PCmdType _ NoOp, pData: DM.Word _ DM.ZerosWord, pRejectB: BOOL _ FALSE, pFaultB: FaultType ]; PCmdType: TYPE = {NoOp, Fetch, Store}; FaultType: TYPE = {None, PageFault, WriteProtectFault, FPFault}; <> Create: PUBLIC PROC [] RETURNS [pbus: DM.Component]; Cmd: PUBLIC PROC [pbus: DM.Component] RETURNS [PCmdType]; DrCmd: PUBLIC PROC [pbus: DM.Component, pCmdA: PCmdType]; Data: PUBLIC PROC [pbus: DM.Component] RETURNS [DM.Word]; DrData: PUBLIC PROC [pbus: DM.Component, pData: DM.Word]; Reject: PUBLIC PROC [pbus: DM.Component] RETURNS [BOOL]; DrReject: PUBLIC PROC [pbus: DM.Component, pRejectB: BOOL]; END. <<>> <<>>