cprover
file_util.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_FILE_UTIL_H
11 #define CPROVER_UTIL_FILE_UTIL_H
12 
13 #include <string>
14 
15 // C++17 will allow us to use std::filesystem::path::remove_all
16 void delete_directory(const std::string &path);
17 
18 // C++17 will allow us to use std::filesystem::current_path
19 std::string get_current_working_directory();
20 
21 // C++17 will allow us to use std::filesystem::path(dir).append(file)
22 std::string concat_dir_file(const std::string &directory,
23  const std::string &file_name);
24 
25 // C++17 will allow us to use std::filesystem::is_directory
26 bool is_directory(const std::string &path);
27 
28 #endif // CPROVER_UTIL_FILE_UTIL_H
bool is_directory(const std::string &path)
Definition: file_util.cpp:154
void delete_directory(const std::string &path)
deletes all files in 'path' and then the directory itself
Definition: file_util.cpp:100
std::string concat_dir_file(const std::string &directory, const std::string &file_name)
Definition: file_util.cpp:141
std::string get_current_working_directory()
Definition: file_util.cpp:48