<> <> <> <<>> <<>> DIRECTORY DM; DMCtlBusModel: CEDAR DEFINITIONS = BEGIN <> <<>> CtlBusSpecific: TYPE = REF CtlBusSpecificRec; CtlBusSpecificRec: TYPE = RECORD [ busType: BusType, signals: ARRAY SignalIndex OF BOOL ]; SignalIndex: TYPE = [0..64); BusType: TYPE = {AB, BA}; <> Create: PUBLIC PROC [type: BusType] RETURNS [ctlBus: DM.Component]; Rd: PUBLIC PROC [sidx: SignalIndex, ctlBus: DM.Component] RETURNS [BOOL]; Dr: PUBLIC PROC [sidx: SignalIndex, ctlBus: DM.Component, value: BOOL]; END. <<>> <<>>