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
delete_directory
void delete_directory(const std::string &path)
deletes all files in 'path' and then the directory itself
Definition:
file_util.cpp:100
get_current_working_directory
std::string get_current_working_directory()
Definition:
file_util.cpp:48
is_directory
bool is_directory(const std::string &path)
Definition:
file_util.cpp:154
concat_dir_file
std::string concat_dir_file(const std::string &directory, const std::string &file_name)
Definition:
file_util.cpp:141
util
file_util.h
Generated by
1.8.16