10 #ifndef CPROVER_UTIL_ERROR_H 11 #define CPROVER_UTIL_ERROR_H 21 virtual const char*
what()
const throw()
44 virtual const char*
what()
const throw()
85 #endif // CPROVER_UTIL_ERROR_H
error_streamt(const std::string &string)
error_baset(const locationt &_location)
virtual const char * what() const
error_streamt(const locationt &_location)
error_streamt(const char *string)
error_streamt(const error_streamt &other)
error_streamt(const locationt &_location, const std::string &string)
virtual const char * what() const