| 112 | !*/ |
| 113 | |
| 114 | const char* what( |
| 115 | ) const throw() |
| 116 | /*! |
| 117 | ensures |
| 118 | - if (info.size() != 0) then |
| 119 | - returns info.c_str() |
| 120 | - else |
| 121 | - returns type_to_string(type) |
| 122 | !*/ |
| 123 | { |
| 124 | if (info.size() > 0) |
| 125 | return info.c_str(); |
| 126 | else |
| 127 | return type_to_string(); |
| 128 | } |
| 129 | |
| 130 | const char* type_to_string ( |
| 131 | ) const throw() |
no test coverage detected