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. μCacheModelsImpl.mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Bertrand Serlet, April 11, 1985 5:24:49 pm PST, stolen from CacheModelImpl.mesa Last Edited by: Serlet, April 12, 1985 2:39:09 pm PST Last Edited by: Barth, April 16, 1985 3:58:10 pm PST Last Edited by: Sindhu, April 19, 1985 11:19:35 pm PST Pradeep Sindhu February 17, 1986 3:53:55 pm PST Resets the given cache to its initial state (all empty). Resets the given cache to its initial state (all empty). Κ’˜codešœ™Kšœ Οmœ1™