<<>>
    <<DFCachingOperations.mesa>>
        <<Copyright Ó 1991 by Xerox Corporation.  All rights reserved.>>
        <<Last tweaked by Mike Spreitzer on April 7, 1987 11:03:43 am PDT>>
        <<Michael Plass, January 23, 1992 10:15 am PST>>

    DIRECTORY DFOperations, DFUtilities, IO, Rope, SymTab;

    DFCachingOperations: CEDAR DEFINITIONS = {

        ROPE: TYPE ~ Rope.ROPE;
        InteractionProc: TYPE ~ DFOperations.InteractionProc;
        SymbolTable: TYPE ~ SymTab.Ref;

        BringOverCache: TYPE ~ REF BringOverCachePrivate;
        BringOverCachePrivate: TYPE;

        CreateCache: PROC RETURNS [BringOverCache];

        BringOverAction: TYPE ~ RECORD [
            enter: BOOL ¬ TRUE,
                <<TRUE => enter the file as a local file>>
            suspicious: BOOL ¬ FALSE,
                <<TRUE => check the server to verify remote existence of the file>>
            fetch: BOOL ¬ FALSE,
                <<TRUE => fetch the file contents (otherwise just attach)>>
            confirmEarlier: BOOL ¬ TRUE,
                <<TRUE => attaching files with earlier create dates requires confirmation>>
            confirmGlobalDestination: BOOL ¬ TRUE,
                <<TRUE => bringing over into a global directory requires confirmation>>
            dontDoit: BOOL ¬ FALSE,
                <<TRUE => don't actually do anything, just test to see what needs to be done>>
            dfsToo: BOOL ¬ FALSE
                <<TRUE => also bring over DF files being processed>>
            ];

        FileFilter: TYPE ~ RECORD [
            fileTypes: FileTypeFilter ¬ allFileTypes,
            files: SymbolTable ¬ NIL,
            strict: BOOL ¬ TRUE    --files#NIL AND strict => everything in files expected to be found and Miss raised for those not found
            ];
        allFiles: FileFilter ~ [];
        allFilesV: READONLY FileFilter;    -- = allFiles; for use with the interpreter

        FileTypeFilter: TYPE ~ ARRAY Publicity OF ARRAY Ownership OF ARRAY Derivation OF BOOL;
        allFileTypes: FileTypeFilter ~ ALL[ALL[ALL[TRUE]]];
        noFileTypes: FileTypeFilter ~ ALL[ALL[ALL[FALSE]]];

        Publicity: TYPE ~ Attribute[public .. private];
        Ownership: TYPE ~ Attribute[defining .. imported];
        Derivation: TYPE ~ Attribute[source .. derived];
        Attribute: TYPE ~ {public, private, defining, imported, source, derived};

        BringOver: PROC [dfFile: ROPE, filter: FileFilter ¬ allFiles, action: BringOverAction ¬ [], interact: InteractionProc ¬ NIL, 
        clientData: REF ¬ NIL, log, errlog: IO.STREAM ¬ NIL, workingDir: ROPE ¬ NIL, cache: BringOverCache ¬ NIL] RETURNS [errors, 
        warnings, filesActedUpon: INT];

        TranslateFilter: PROC [DFOperations.BringOverFilter] RETURNS [FileFilter];
        TranslateAction: PROC [DFOperations.BringOverAction] RETURNS [BringOverAction];

        CacheSize: PROC [BringOverCache] RETURNS [INT];

        }.