<> <> <> <> <> <> <> DIRECTORY CacheModels, Rope; CacheModelsImpl: CEDAR PROGRAM EXPORTS CacheModels = BEGIN Reset: PUBLIC CacheModels.CacheResetProc -- [cache: CacheModels.Cache] -- = { <> cache.reset[cache]; }; Flush: PUBLIC CacheModels.CacheFlushProc -- [cache: CacheModels.Cache] -- = { <> cache.flush[cache]; }; Print: PUBLIC CacheModels.CachePrintProc -- [cache: CacheModels.Cache, stream: STREAM, name: ROPE, resetStatistics: BOOL _ TRUE] -- = { cache.print[cache, stream, name, resetStatistics]; }; Fetch: PUBLIC CacheModels.CacheFetchProc -- [cache: CacheModels.Cache, addr: DragOpsCross.Word, fromJump: BOOL _ FALSE] -- = { cache.fetch[cache, addr, fromJump]; }; Store: PUBLIC CacheModels.CacheStoreProc -- [cache: CacheModels.Cache, addr: DragOpsCross.Word] -- = { cache.store[cache, addr]; }; END.