<> <> <> <<>> DIRECTORY DM, DMMBusModel; DMMemoryModel: CEDAR DEFINITIONS = BEGIN <> MemorySpecific: TYPE = REF MemorySpecificRec; MemorySpecificRec: TYPE = RECORD [ mbus: DM.Component _ NIL, memAdrs: MemAdrs _ 0, ram: ARRAY MemAdrs OF DM.Word _ ALL [DM.ZerosWord] ]; nWords: INT = 1024; MemAdrs: TYPE = [0..nWords); <> Create: PUBLIC PROC [mbus: DM.Component] RETURNS [memory: DM.Component]; END.