CacheModelsImpl.mesa
Copyright © 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
CacheModelsImpl:
CEDAR
PROGRAM
EXPORTS CacheModels
= BEGIN
Reset:
PUBLIC CacheModels
.CacheResetProc
-- [cache: CacheModels.Cache] -- = {
Resets the given cache to its initial state (all empty).
cache.reset[cache];
};
Flush:
PUBLIC CacheModels
.CacheFlushProc
-- [cache: CacheModels.Cache] -- = {
Resets the given cache to its initial state (all empty).
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.