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 ]; }. š DFCachingPrivate.mesa Copyright Σ 1991 by Xerox Corporation. All rights reserved. Last tweaked by Mike Spreitzer on April 2, 1987 12:09:43 pm PST ΚD–(cedarcode) style•NewlineDelimiter ™code™Kšœ Οeœ1™