|
UMPIRE
Umpire: resource management and provision
|
#include <ostream>#include <string>Namespaces | |
| umpire | |
| umpire::util | |
Functions | |
| std::ostream & | umpire::log () |
| std::ostream & | umpire::error () |
| std::string | umpire::util::make_unique_filename (const std::string &base_dir, const std::string &name, const int pid, const std::string &extension) |
| bool | umpire::util::file_exists (const std::string &path) |
| bool | umpire::util::directory_exists (const std::string &path) |
| const std::string & | umpire::util::get_io_output_dir () |
| const std::string & | umpire::util::get_io_output_basename () |
| void | umpire::util::initialize_io (const bool enable_log) |
| Initialize the streams. This method is called when ResourceManager is initialized. Most users will not need to call this manually. More... | |
| void | umpire::util::finalize_io () |
| Counterpart of initialize_io that finalizes the streams and ensures that no live references to the buffers of standard streams exist. Most users will not need to call this manually. More... | |
| void | umpire::util::flush_files () |
| Synchronize all stream buffers to their respective output sequences. This function is usually called by exception generating code like UMPIRE_ERROR. More... | |