Source

z3 / src / test / for_each_file.h

/*++
Copyright (c) 2006 Microsoft Corporation

Module Name:

    foreach_file.h

Abstract:

    Traverse files in a directory that match a given suffix.
    Apply a method to each of the files.

Author:

    Nikolaj Bjorner (nbjorner) 2006-11-3.

Revision History:

--*/
#pragma once

#ifndef _FOR_EACH_FILE_H_
#define _FOR_EACH_FILE_H_

struct for_each_file_proc {
    virtual bool operator()(const char* file_path) = 0;
};

bool for_each_file(for_each_file_proc& proc, const char* base, const char* suffix);
    

#endif /* _FOR_EACH_FILE_H_ */