#include <error.hh>
Public Member Functions | |
void | delete_content () |
error_string_t (error_string_t &s2) | |
error_string_t (const error_string_t &s2) | |
std::string & | operator* () |
std::string * | operator-> () |
error_string_t & | operator<< (const error_string_t second_str) |
error_string_t & | operator<< (const ERR_std_string_t &second_str) |
error_string_t & | operator<< (const ERR_char_string_t second_str) |
error_string_t & | operator<< (const int i) |
error_string_t & | operator<< (const unsigned int i) |
error_string_t & | operator<< (const signed long int i) |
error_string_t & | operator<< (const unsigned long int i) |
void | recreate () |
Static Public Member Functions | |
static divine::size_int_t | allocated_strings () |
Friends | |
const std::string & | operator* (const error_string_t &errstr) |
std::ostream & | operator<< (std::ostream &ostr, const error_string_t s) |
Class determined for storing error messages (1 error message in 1 instance of error_string_t).
This class should not be explicitly used in usual programs.