cprover
|
File Utilities. More...
Go to the source code of this file.
Functions | |
std::string | get_current_working_directory () |
void | delete_directory (const std::string &path) |
deletes all files in 'path' and then the directory itself More... | |
std::string | concat_dir_file (const std::string &directory, const std::string &file_name) |
bool | is_directory (const std::string &path) |
File Utilities.
Definition in file file_util.cpp.
std::string concat_dir_file | ( | const std::string & | directory, |
const std::string & | file_name | ||
) |
Definition at line 141 of file file_util.cpp.
void delete_directory | ( | const std::string & | path | ) |
deletes all files in 'path' and then the directory itself
Definition at line 100 of file file_util.cpp.
std::string get_current_working_directory | ( | ) |
Definition at line 48 of file file_util.cpp.
bool is_directory | ( | const std::string & | path | ) |
Definition at line 154 of file file_util.cpp.