[Pixel]<DATools7.0>Lichen2>LichenFiling.Mesa!2

LichenFiling.Mesa

Last tweaked by Mike Spreitzer on November 29, 1988 7:37:27 pm PST

DIRECTORY IO, LichenDataStructure;

LichenFiling: CEDAR DEFINITIONS = {OPEN LichenDataStructure;

CacheStats: TYPE ~ RECORD [probes, misses: INT ← 0];

WriteDesign: PROC [fileName: ROPE, d: Design, pacify: IO.STREAM ← NIL] RETURNS [refcs, ropecs, slcs: CacheStats ← []];

ReadDesign: PROC [fileName: ROPE, pacify: IO.STREAM ← NIL] RETURNS [d: Design];