<> <> <> <<>> DIRECTORY DM, DMMBusModel, DMPBusModel; DMSmallCacheModel: CEDAR DEFINITIONS = BEGIN <> CacheSpecific: TYPE = REF CacheSpecificRec; CacheSpecificRec: TYPE = RECORD [ pbus: DM.Component _ NIL, pbusOp: DMPBusModel.PCmdType _ NoOp, mbus: DM.Component _ NIL, mbusHasSC: BOOL _ TRUE, nLines: LineName _ maxLines, cam: CamType, ram: RamType ]; maxLines: INT = 64; CamType: TYPE = ARRAY LineName OF Line; RamType: TYPE = ARRAY LineName OF DM.Word _ ALL [DM.ZerosWord]; LineName: TYPE = [1..maxLines]; Line: TYPE = RECORD [ va: DM.Word, shared: BOOL, master: BOOL, valid: BOOL _ FALSE ]; <> Create: PUBLIC PROC [pbus, mbus: DM.Component] RETURNS [cache: DM.Component]; END.