<<>> <> <> <> 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 ]; }.