25 #ifndef __TPIE_FILE_MANAGER_H__
26 #define __TPIE_FILE_MANAGER_H__
28 #include <tpie/config.h>
30 #include <tpie/resource_manager.h>
32 #include <unordered_map>
33 #include <type_traits>
50 void increment_open_file_count() {
51 register_increased_usage(1);
54 void decrement_open_file_count() {
55 register_decreased_usage(1);
58 std::string amount_with_unit(
size_t amount)
const override {
59 std::ostringstream os;
63 os << amount <<
" files";
69 void throw_out_of_resource_error(
const std::string & s)
override {
93 #endif //__TPIE_MEMORY_H__
Resource management object used to track resource usage.
file_manager & get_file_manager()
Return a reference to the file manager.
Miscellaneous utility functions.
File management object used to track file usage.
void finish_file_manager()
Used by tpie_finish to deinitialize the file manager.
void init_file_manager()
Used by tpie_init to initialize the file manager.