equal
deleted
inserted
replaced
189 ///\e |
189 ///\e |
190 int get_line() const { return line; } |
190 int get_line() const { return line; } |
191 |
191 |
192 /// \brief Returns the filename. |
192 /// \brief Returns the filename. |
193 /// |
193 /// |
194 /// Returns "(unknown)" if the filename was not specified. |
194 /// Returns \e "(unknown)" if the filename was not specified. |
195 const char* get_file() const { |
195 const char* get_file() const { |
196 if( file ) |
196 if( file ) |
197 return file->c_str(); |
197 return file->c_str(); |
198 else |
198 else |
199 return "(unknown)"; |
199 return "(unknown)"; |
221 |
221 |
222 virtual ~DataFormatError() throw() {} |
222 virtual ~DataFormatError() throw() {} |
223 }; |
223 }; |
224 |
224 |
225 |
225 |
|
226 ///\e |
226 class AssertionFailedError : public LogicError { |
227 class AssertionFailedError : public LogicError { |
227 protected: |
228 protected: |
228 const char *assertion; |
229 const char *assertion; |
229 const char *file; |
230 const char *file; |
230 int line; |
231 int line; |