DFCachingPrivate.mesa
Copyright Ó 1991 by Xerox Corporation. All rights reserved.
Last tweaked by Mike Spreitzer on April 2, 1987 12:09:43 pm PST
DIRECTORY DFCachingOperations, DFCachingUtilities;
DFCachingPrivate: CEDAR DEFINITIONS = {OPEN DFCachingOperations, DFCachingUtilities;
BringOverCache: TYPE ~ REF BringOverCachePrivate;
BringOverCachePrivate: TYPE ~ RECORD [
wDirToState: SymbolTable
];
State: TYPE = REF StatePrivate;
StatePrivate: TYPE = RECORD [
action: BringOverAction ¬ [],
ec: EnumerationCache ¬ NIL
];
EnumerationCache: TYPE ~ REF EnumerationCachePrivate;
EnumerationCachePrivate: TYPE ~ RECORD [
nameToStatus: SymbolTable
];
Status: TYPE = REF StatusPrivate;
StatusPrivate: TYPE = RECORD [
doneTypes: FileTypeFilter ¬ noFileTypes,
doneFiles: SymbolTable ¬ NIL
];
}.