DataFormatError::what() also prints the name of the exception.
authoralpar
Fri, 29 Apr 2005 13:31:41 +0000
changeset 1399d3ae1f06843d
parent 1398 2f21cc34a245
child 1400 d12508c2a007
DataFormatError::what() also prints the name of the exception.
src/lemon/error.h
     1.1 --- a/src/lemon/error.h	Fri Apr 29 11:04:17 2005 +0000
     1.2 +++ b/src/lemon/error.h	Fri Apr 29 13:31:41 2005 +0000
     1.3 @@ -302,6 +302,7 @@
     1.4      virtual const char* what() const throw() {
     1.5        try {
     1.6  	std::ostringstream ostr;
     1.7 +	ostr << exceptionName() << ": ";
     1.8  	if (message()) ostr << message();
     1.9  	if( file() || line() != 0 ) {
    1.10  	  ostr << " (";