19 const std::string which_info;
21 which_info(_which_info +
" not up to date") {};
23 const char* what()
const throw() {
24 return which_info.c_str();
32 const std::string which;
35 const char* what()
const throw() {
42 using invalid_assumption::invalid_assumption;
50 read_error(
const unsigned _line_no,
const std::string& _errmsg):
51 line_no(_line_no), errmsg(_errmsg) {}
52 const char* what() const noexcept {
return errmsg.c_str(); }
57 using read_error::read_error;
an exception for the case that a given file does not conform to expected syntax
Definition: exceptions.hpp:56
Definition: exceptions.hpp:14
const std::string errmsg
store the error string
Definition: exceptions.hpp:48
an exception for the case that a given file could not be read on a low level
Definition: exceptions.hpp:46
an exception for the case that the given program options are not valid
Definition: exceptions.hpp:41
an exception for the case that a graph property is read that is not up to date
Definition: exceptions.hpp:17
an exception for the case that some assumption that is made is not true
Definition: exceptions.hpp:30
const unsigned line_no
store the line number on which the exception ocurred
Definition: exceptions.hpp:47