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 (for both get and
19
// set)
20
std::string
get_current_working_directory
();
21
void
set_current_path
(
const
std::string &path);
22
23
// C++17 will allow us to use std::filesystem::path(dir).append(file)
24
std::string
concat_dir_file
(
const
std::string &directory,
25
const
std::string &file_name);
26
27
// C++17 will allow us to use std::filesystem::is_directory
28
bool
is_directory
(
const
std::string &path);
29
33
bool
create_directory
(
const
std::string &path);
34
35
#endif // CPROVER_UTIL_FILE_UTIL_H
create_directory
bool create_directory(const std::string &path)
Create a directory with given path C++17 will allow us to use std::filesystem::create_directory.
Definition:
file_util.cpp:197
delete_directory
void delete_directory(const std::string &path)
deletes all files in 'path' and then the directory itself
Definition:
file_util.cpp:118
get_current_working_directory
std::string get_current_working_directory()
Definition:
file_util.cpp:51
set_current_path
void set_current_path(const std::string &path)
Set working directory.
Definition:
file_util.cpp:82
is_directory
bool is_directory(const std::string &path)
Definition:
file_util.cpp:172
concat_dir_file
std::string concat_dir_file(const std::string &directory, const std::string &file_name)
Definition:
file_util.cpp:159
util
file_util.h
Generated by
1.8.18