14 * express or implied, and with no claim as to its suitability for any |
14 * express or implied, and with no claim as to its suitability for any |
15 * purpose. |
15 * purpose. |
16 * |
16 * |
17 */ |
17 */ |
18 |
18 |
19 #ifndef LEMON_ERROR_H |
19 #ifndef LEMON_ASSERT_H |
20 #define LEMON_ERROR_H |
20 #define LEMON_ASSERT_H |
21 |
21 |
22 /// \ingroup exceptions |
22 /// \ingroup exceptions |
23 /// \file |
23 /// \file |
24 /// \brief Basic exception classes and error handling. |
24 /// \brief Extended assertion handling |
25 |
25 |
26 #include <exception> |
26 #include <lemon/error.h> |
27 #include <string> |
|
28 #include <sstream> |
|
29 #include <iostream> |
|
30 #include <cstdlib> |
|
31 #include <memory> |
|
32 |
27 |
33 namespace lemon { |
28 namespace lemon { |
34 |
29 |
35 /// \addtogroup exceptions |
|
36 /// @{ |
30 /// @{ |
37 |
31 |
38 /// \brief Exception safe wrapper class. |
32 ///\e |
39 /// |
33 class AssertionFailedError : public LogicError { |
40 /// Exception safe wrapper class to implement the members of exceptions. |
|
41 template <typename _Type> |
|
42 class ExceptionMember { |
|
43 public: |
|
44 typedef _Type Type; |
|
45 |
|
46 ExceptionMember() throw() { |
|
47 try { |
|
48 ptr.reset(new Type()); |
|
49 } catch (...) {} |
|
50 } |
|
51 |
|
52 ExceptionMember(const Type& type) throw() { |
|
53 try { |
|
54 ptr.reset(new Type()); |
|
55 if (ptr.get() == 0) return; |
|
56 *ptr = type; |
|
57 } catch (...) {} |
|
58 } |
|
59 |
|
60 ExceptionMember(const ExceptionMember& copy) throw() { |
|
61 try { |
|
62 if (!copy.valid()) return; |
|
63 ptr.reset(new Type()); |
|
64 if (ptr.get() == 0) return; |
|
65 *ptr = copy.get(); |
|
66 } catch (...) {} |
|
67 } |
|
68 |
|
69 ExceptionMember& operator=(const ExceptionMember& copy) throw() { |
|
70 if (ptr.get() == 0) return; |
|
71 try { |
|
72 if (!copy.valid()) return; |
|
73 *ptr = copy.get(); |
|
74 } catch (...) {} |
|
75 } |
|
76 |
|
77 void set(const Type& type) throw() { |
|
78 if (ptr.get() == 0) return; |
|
79 try { |
|
80 *ptr = type; |
|
81 } catch (...) {} |
|
82 } |
|
83 |
|
84 const Type& get() const { |
|
85 return *ptr; |
|
86 } |
|
87 |
|
88 bool valid() const throw() { |
|
89 return ptr.get() != 0; |
|
90 } |
|
91 |
|
92 private: |
|
93 std::auto_ptr<_Type> ptr; |
|
94 }; |
|
95 |
|
96 /// Exception-safe convenient "error message" class. |
|
97 |
|
98 /// Helper class which provides a convenient ostream-like (operator << |
|
99 /// based) interface to create a string message. Mostly useful in |
|
100 /// exception classes (therefore the name). |
|
101 class ErrorMessage { |
|
102 protected: |
34 protected: |
103 ///\e |
35 const char *_assertion; |
104 |
36 const char *_file; |
105 ///\todo The good solution is boost::shared_ptr... |
|
106 /// |
|
107 mutable std::auto_ptr<std::ostringstream> buf; |
|
108 |
|
109 ///\e |
|
110 bool init() throw() { |
|
111 try { |
|
112 buf.reset(new std::ostringstream); |
|
113 } |
|
114 catch(...) { |
|
115 buf.reset(); |
|
116 } |
|
117 return buf.get(); |
|
118 } |
|
119 |
|
120 public: |
|
121 |
|
122 ///\e |
|
123 ErrorMessage() throw() { init(); } |
|
124 |
|
125 ErrorMessage(const ErrorMessage& em) throw() : buf(em.buf) { } |
|
126 |
|
127 ///\e |
|
128 ErrorMessage(const char *msg) throw() { |
|
129 init(); |
|
130 *this << msg; |
|
131 } |
|
132 |
|
133 ///\e |
|
134 ErrorMessage(const std::string &msg) throw() { |
|
135 init(); |
|
136 *this << msg; |
|
137 } |
|
138 |
|
139 ///\e |
|
140 template <typename T> |
|
141 ErrorMessage& operator<<(const T &t) throw() { |
|
142 if( ! buf.get() ) return *this; |
|
143 |
|
144 try { |
|
145 *buf << t; |
|
146 } |
|
147 catch(...) { |
|
148 buf.reset(); |
|
149 } |
|
150 return *this; |
|
151 } |
|
152 |
|
153 ///\e |
|
154 const char* message() throw() { |
|
155 if( ! buf.get() ) return 0; |
|
156 |
|
157 const char* mes = 0; |
|
158 try { |
|
159 mes = buf->str().c_str(); |
|
160 } |
|
161 catch(...) {} |
|
162 return mes; |
|
163 } |
|
164 |
|
165 }; |
|
166 |
|
167 /// Generic exception class. |
|
168 |
|
169 /// Base class for exceptions used in LEMON. |
|
170 /// |
|
171 class Exception : public std::exception { |
|
172 public: |
|
173 ///\e |
|
174 Exception() {} |
|
175 ///\e |
|
176 virtual ~Exception() throw() {} |
|
177 ///\e |
|
178 virtual const char* what() const throw() { |
|
179 return "lemon::Exception"; |
|
180 } |
|
181 }; |
|
182 |
|
183 /// One of the two main subclasses of \ref Exception. |
|
184 |
|
185 /// Logic errors represent problems in the internal logic of a program; |
|
186 /// in theory, these are preventable, and even detectable before the |
|
187 /// program runs (e.g. violations of class invariants). |
|
188 /// |
|
189 /// A typical example for this is \ref UninitializedParameter. |
|
190 class LogicError : public Exception { |
|
191 public: |
|
192 virtual const char* what() const throw() { |
|
193 return "lemon::LogicError"; |
|
194 } |
|
195 }; |
|
196 |
|
197 /// \ref Exception for uninitialized parameters. |
|
198 |
|
199 /// This error represents problems in the initialization |
|
200 /// of the parameters of the algorithms. |
|
201 class UninitializedParameter : public LogicError { |
|
202 public: |
|
203 virtual const char* what() const throw() { |
|
204 return "lemon::UninitializedParameter"; |
|
205 } |
|
206 }; |
|
207 |
|
208 |
|
209 /// One of the two main subclasses of \ref Exception. |
|
210 |
|
211 /// Runtime errors represent problems outside the scope of a program; |
|
212 /// they cannot be easily predicted and can generally only be caught |
|
213 /// as the program executes. |
|
214 class RuntimeError : public Exception { |
|
215 public: |
|
216 virtual const char* what() const throw() { |
|
217 return "lemon::RuntimeError"; |
|
218 } |
|
219 }; |
|
220 |
|
221 ///\e |
|
222 class RangeError : public RuntimeError { |
|
223 public: |
|
224 virtual const char* what() const throw() { |
|
225 return "lemon::RangeError"; |
|
226 } |
|
227 }; |
|
228 |
|
229 ///\e |
|
230 class IoError : public RuntimeError { |
|
231 public: |
|
232 virtual const char* what() const throw() { |
|
233 return "lemon::IoError"; |
|
234 } |
|
235 }; |
|
236 |
|
237 ///\e |
|
238 class DataFormatError : public IoError { |
|
239 protected: |
|
240 ExceptionMember<std::string> _message; |
|
241 ExceptionMember<std::string> _file; |
|
242 int _line; |
37 int _line; |
|
38 const char *_function; |
|
39 const char *_message; |
243 |
40 |
244 mutable ExceptionMember<std::string> _message_holder; |
41 mutable ExceptionMember<std::string> _message_holder; |
245 public: |
42 public: |
246 |
43 ///\e |
247 DataFormatError(const DataFormatError &dfe) : |
44 AssertionFailedError(const char *file, int line, const char *function, |
248 IoError(dfe), _message(dfe._message), _file(dfe._file), |
45 const char *msg, const char *assertion = 0) : |
249 _line(dfe._line) {} |
46 _assertion(assertion), _file(file), _line(line), |
250 |
47 _function(function), _message(msg) {} |
251 ///\e |
48 |
252 explicit DataFormatError(const char *the_message) |
49 ///\e |
253 : _message(the_message), _line(0) {} |
50 const char* assertion() const { return _assertion; } |
254 |
51 ///\e |
255 ///\e |
52 const char* message() const { return _message; } |
256 DataFormatError(const std::string &file_name, int line_num, |
53 ///\e |
257 const char *the_message) |
54 const char* file() const { return _file; } |
258 : _message(the_message), _line(line_num) { file(file_name); } |
55 ///\e |
259 |
56 const char* function() const { return _function; } |
260 ///\e |
|
261 void line(int ln) { _line = ln; } |
|
262 ///\e |
|
263 void message(const std::string& msg) { _message.set(msg); } |
|
264 ///\e |
|
265 void file(const std::string &fl) { _file.set(fl); } |
|
266 |
|
267 ///\e |
57 ///\e |
268 int line() const { return _line; } |
58 int line() const { return _line; } |
269 ///\e |
59 |
270 const char* message() const { |
60 |
271 if (_message.valid() && !_message.get().empty()) { |
|
272 return _message.get().c_str(); |
|
273 } else { |
|
274 return 0; |
|
275 } |
|
276 } |
|
277 |
|
278 /// \brief Returns the filename. |
|
279 /// |
|
280 /// Returns \e null if the filename was not specified. |
|
281 const char* file() const { |
|
282 if (_file.valid() && !_file.get().empty()) { |
|
283 return _file.get().c_str(); |
|
284 } else { |
|
285 return 0; |
|
286 } |
|
287 } |
|
288 |
|
289 ///\e |
|
290 virtual const char* what() const throw() { |
61 virtual const char* what() const throw() { |
291 try { |
62 try { |
292 std::ostringstream ostr; |
63 std::ostringstream ostr; |
293 ostr << "lemon:DataFormatError" << ": "; |
64 ostr << _file << ":" << _line << ": "; |
294 if (message()) ostr << message(); |
65 if (_function) |
295 if( file() || line() != 0 ) { |
66 ostr << _function << ": "; |
296 ostr << " ("; |
67 ostr << _message; |
297 if( file() ) ostr << "in file '" << file() << "'"; |
68 if (_assertion) |
298 if( file() && line() != 0 ) ostr << " "; |
69 ostr << " (assertion '" << _assertion << "' failed)"; |
299 if( line() != 0 ) ostr << "at line " << line(); |
|
300 ostr << ")"; |
|
301 } |
|
302 _message_holder.set(ostr.str()); |
|
303 } |
|
304 catch (...) {} |
|
305 if( _message_holder.valid()) return _message_holder.get().c_str(); |
|
306 return "lemon:DataFormatError"; |
|
307 } |
|
308 |
|
309 virtual ~DataFormatError() throw() {} |
|
310 }; |
|
311 |
|
312 ///\e |
|
313 class FileOpenError : public IoError { |
|
314 protected: |
|
315 ExceptionMember<std::string> _file; |
|
316 |
|
317 mutable ExceptionMember<std::string> _message_holder; |
|
318 public: |
|
319 |
|
320 FileOpenError(const FileOpenError &foe) : |
|
321 IoError(foe), _file(foe._file) {} |
|
322 |
|
323 ///\e |
|
324 explicit FileOpenError(const std::string& fl) |
|
325 : _file(fl) {} |
|
326 |
|
327 |
|
328 ///\e |
|
329 void file(const std::string &fl) { _file.set(fl); } |
|
330 |
|
331 /// \brief Returns the filename. |
|
332 /// |
|
333 /// Returns \e null if the filename was not specified. |
|
334 const char* file() const { |
|
335 if (_file.valid() && !_file.get().empty()) { |
|
336 return _file.get().c_str(); |
|
337 } else { |
|
338 return 0; |
|
339 } |
|
340 } |
|
341 |
|
342 ///\e |
|
343 virtual const char* what() const throw() { |
|
344 try { |
|
345 std::ostringstream ostr; |
|
346 ostr << "lemon::FileOpenError" << ": "; |
|
347 ostr << "Cannot open file - " << file(); |
|
348 _message_holder.set(ostr.str()); |
|
349 } |
|
350 catch (...) {} |
|
351 if( _message_holder.valid()) return _message_holder.get().c_str(); |
|
352 return "lemon::FileOpenError"; |
|
353 } |
|
354 virtual ~FileOpenError() throw() {} |
|
355 }; |
|
356 |
|
357 class IoParameterError : public IoError { |
|
358 protected: |
|
359 ExceptionMember<std::string> _message; |
|
360 ExceptionMember<std::string> _file; |
|
361 |
|
362 mutable ExceptionMember<std::string> _message_holder; |
|
363 public: |
|
364 |
|
365 IoParameterError(const IoParameterError &ile) : |
|
366 IoError(ile), _message(ile._message), _file(ile._file) {} |
|
367 |
|
368 ///\e |
|
369 explicit IoParameterError(const char *the_message) |
|
370 : _message(the_message) {} |
|
371 |
|
372 ///\e |
|
373 IoParameterError(const char *file_name, const char *the_message) |
|
374 : _message(the_message), _file(file_name) {} |
|
375 |
|
376 ///\e |
|
377 void message(const std::string& msg) { _message.set(msg); } |
|
378 ///\e |
|
379 void file(const std::string &fl) { _file.set(fl); } |
|
380 |
|
381 ///\e |
|
382 const char* message() const { |
|
383 if (_message.valid()) { |
|
384 return _message.get().c_str(); |
|
385 } else { |
|
386 return 0; |
|
387 } |
|
388 } |
|
389 |
|
390 /// \brief Returns the filename. |
|
391 /// |
|
392 /// Returns \c 0 if the filename was not specified. |
|
393 const char* file() const { |
|
394 if (_file.valid()) { |
|
395 return _file.get().c_str(); |
|
396 } else { |
|
397 return 0; |
|
398 } |
|
399 } |
|
400 |
|
401 ///\e |
|
402 virtual const char* what() const throw() { |
|
403 try { |
|
404 std::ostringstream ostr; |
|
405 if (message()) ostr << message(); |
|
406 if (file()) ostr << "(when reading file '" << file() << "')"; |
|
407 _message_holder.set(ostr.str()); |
|
408 } |
|
409 catch (...) {} |
|
410 if( _message_holder.valid() ) return _message_holder.get().c_str(); |
|
411 return "lemon:IoParameterError"; |
|
412 } |
|
413 virtual ~IoParameterError() throw() {} |
|
414 }; |
|
415 |
|
416 |
|
417 ///\e |
|
418 class AssertionFailedError : public LogicError { |
|
419 protected: |
|
420 const char *assertion; |
|
421 const char *file; |
|
422 int line; |
|
423 const char *function; |
|
424 const char *message; |
|
425 |
|
426 mutable ExceptionMember<std::string> _message_holder; |
|
427 public: |
|
428 ///\e |
|
429 AssertionFailedError(const char *_file, int _line, const char *func, |
|
430 const char *msg, const char *_assertion = 0) : |
|
431 assertion(_assertion), file(_file), line(_line), function(func), |
|
432 message(msg) {} |
|
433 |
|
434 ///\e |
|
435 const char* get_assertion() const { return assertion; } |
|
436 ///\e |
|
437 const char* get_message() const { return message; } |
|
438 ///\e |
|
439 const char* get_file() const { return file; } |
|
440 ///\e |
|
441 const char* get_function() const { return function; } |
|
442 ///\e |
|
443 int get_line() const { return line; } |
|
444 |
|
445 |
|
446 virtual const char* what() const throw() { |
|
447 try { |
|
448 std::ostringstream ostr; |
|
449 ostr << file << ":" << line << ": "; |
|
450 if( function ) |
|
451 ostr << function << ": "; |
|
452 ostr << message; |
|
453 if( assertion ) |
|
454 ostr << " (assertion '" << assertion << "' failed)"; |
|
455 _message_holder.set(ostr.str()); |
70 _message_holder.set(ostr.str()); |
456 return ostr.str().c_str(); |
71 return ostr.str().c_str(); |
457 } |
72 } |
458 catch(...) {} |
73 catch(...) {} |
459 if( _message_holder.valid() ) return _message_holder.get().c_str(); |
74 if( _message_holder.valid() ) return _message_holder.get().c_str(); |
460 return "lemon::AssertionFailedError"; |
75 return "lemon::AssertionFailedError"; |
461 } |
76 } |
462 virtual ~AssertionFailedError() throw() {} |
77 virtual ~AssertionFailedError() throw() {} |
463 }; |
78 }; |
464 |
79 |
465 |
80 |
466 /**************** Macros ****************/ |
81 inline void assert_fail_log(const char *file, int line, |
467 |
82 const char *function, |
|
83 const std::exception& exception, |
|
84 const char *assertion) |
|
85 { |
|
86 std::cerr << file << ":" << line << ": "; |
|
87 if (function) |
|
88 std::cerr << function << ": "; |
|
89 std::cerr << exception.what(); |
|
90 if (assertion) |
|
91 std::cerr << " (assertion '" << assertion << "' failed)"; |
|
92 std::cerr << std::endl; |
|
93 } |
|
94 |
|
95 inline void assert_fail_log(const char *file, int line, const char *function, |
|
96 const char *message, const char *assertion) |
|
97 { |
|
98 std::cerr << file << ":" << line << ": "; |
|
99 if (function) |
|
100 std::cerr << function << ": "; |
|
101 std::cerr << message; |
|
102 if (assertion) |
|
103 std::cerr << " (assertion '" << assertion << "' failed)"; |
|
104 std::cerr << std::endl; |
|
105 } |
|
106 |
|
107 inline void assert_fail_log(const char *file, int line, const char *function, |
|
108 const std::string& message, const char *assertion) |
|
109 { |
|
110 assert_fail_log(file, line, function, message.c_str(), assertion); |
|
111 } |
|
112 |
|
113 inline void assert_fail_abort(const char *file, int line, |
|
114 const char *function, |
|
115 const std::exception& exception, |
|
116 const char *assertion) |
|
117 { |
|
118 std::cerr << file << ":" << line << ": "; |
|
119 if (function) |
|
120 std::cerr << function << ": "; |
|
121 std::cerr << exception.what(); |
|
122 if (assertion) |
|
123 std::cerr << " (assertion '" << assertion << "' failed)"; |
|
124 std::cerr << std::endl; |
|
125 std::abort(); |
|
126 } |
|
127 |
|
128 inline void assert_fail_abort(const char *file, int line, |
|
129 const char *function, const char* message, |
|
130 const char *assertion) |
|
131 { |
|
132 std::cerr << file << ":" << line << ": "; |
|
133 if (function) |
|
134 std::cerr << function << ": "; |
|
135 std::cerr << message; |
|
136 if (assertion) |
|
137 std::cerr << " (assertion '" << assertion << "' failed)"; |
|
138 std::cerr << std::endl; |
|
139 std::abort(); |
|
140 } |
|
141 |
|
142 inline void assert_fail_abort(const char *file, int line, |
|
143 const char *function, |
|
144 const std::string& message, |
|
145 const char *assertion) |
|
146 { |
|
147 assert_fail_abort(file, line, function, message.c_str(), assertion); |
|
148 } |
|
149 |
|
150 inline void assert_fail_error(const char *file, int line, |
|
151 const char *function, |
|
152 const std::exception& exception, |
|
153 const char *assertion) |
|
154 { |
|
155 throw AssertionFailedError(file, line, function, |
|
156 exception.what(), assertion); |
|
157 } |
|
158 |
|
159 inline void assert_fail_error(const char *file, int line, |
|
160 const char *function, const char *message, |
|
161 const char *assertion) |
|
162 { |
|
163 throw AssertionFailedError(file, line, function, message, assertion); |
|
164 } |
|
165 |
|
166 inline void assert_fail_error(const char *file, int line, |
|
167 const char *function, |
|
168 const std::string& message, |
|
169 const char *assertion) |
|
170 { |
|
171 assert_fail_error(file, line, function, message.c_str(), assertion); |
|
172 } |
468 |
173 |
469 template <typename Exception> |
174 template <typename Exception> |
470 inline void assert_fail(const char *file, int line, |
175 inline void assert_fail_exception(const char *, int, const char *, |
471 const char *func, |
176 const Exception& exception, |
472 Exception exception, |
177 const char *, const std::exception* = |
473 const char *assertion = 0, |
178 static_cast<const Exception*>(0)) |
474 bool do_abort=true) |
|
475 { |
|
476 using namespace std; |
|
477 cerr << file << ":" << line << ": "; |
|
478 if (func) |
|
479 cerr << func << ": "; |
|
480 cerr << exception.what(); |
|
481 if (assertion) |
|
482 cerr << " (assertion '" << assertion << "' failed)"; |
|
483 cerr << endl; |
|
484 if (do_abort) |
|
485 abort(); |
|
486 } |
|
487 |
|
488 template <> |
|
489 inline void assert_fail<const char *>(const char *file, int line, |
|
490 const char *func, |
|
491 const char *message, |
|
492 const char *assertion, |
|
493 bool do_abort) |
|
494 { |
|
495 using namespace std; |
|
496 cerr << file << ":" << line << ": "; |
|
497 if (func) |
|
498 cerr << func << ": "; |
|
499 cerr << message; |
|
500 if (assertion) |
|
501 cerr << " (assertion '" << assertion << "' failed)"; |
|
502 cerr << endl; |
|
503 if (do_abort) |
|
504 abort(); |
|
505 } |
|
506 |
|
507 template <> |
|
508 inline void assert_fail<std::string>(const char *file, int line, |
|
509 const char *func, |
|
510 std::string message, |
|
511 const char *assertion, |
|
512 bool do_abort) |
|
513 { |
|
514 assert_fail(file, line, func, message.c_str(), assertion, do_abort); |
|
515 } |
|
516 |
|
517 template <typename Exception> |
|
518 inline void assert_fail_failure(const char *file, int line, const char *func, |
|
519 Exception exception, |
|
520 const char *assertion = 0, |
|
521 bool = true) |
|
522 { |
|
523 throw AssertionFailedError(file, line, func, exception.what(), assertion); |
|
524 } |
|
525 |
|
526 template <> |
|
527 inline void assert_fail_failure<const char *>(const char *file, int line, |
|
528 const char *func, |
|
529 const char *message, |
|
530 const char *assertion, |
|
531 bool) |
|
532 { |
|
533 throw AssertionFailedError(file, line, func, message, assertion); |
|
534 } |
|
535 |
|
536 template <> |
|
537 inline void assert_fail_failure<std::string>(const char *file, int line, |
|
538 const char *func, |
|
539 std::string message, |
|
540 const char *assertion, |
|
541 bool) |
|
542 { |
|
543 assert_fail_failure(file, line, func, message.c_str(), assertion, true); |
|
544 } |
|
545 |
|
546 template <typename Exception> |
|
547 inline void assert_fail_exception(const char *file, int line, const char *func, |
|
548 Exception exception, |
|
549 const char *assertion = 0, bool = true) |
|
550 { |
179 { |
551 throw exception; |
180 throw exception; |
552 } |
181 } |
553 |
182 |
554 template <> |
183 inline void assert_fail_exception(const char *file, int line, |
555 inline void assert_fail_exception<const char *>(const char *file, int line, |
184 const char *function, const char *message, |
556 const char *func, |
185 const char *assertion) |
557 const char *message, |
186 { |
558 const char *assertion, |
187 throw AssertionFailedError(file, line, function, message, assertion); |
559 bool) |
188 } |
560 { |
189 |
561 throw AssertionFailedError(file, line, func, message, assertion); |
190 inline void assert_fail_exception(const char *file, int line, |
562 } |
191 const char *function, |
563 |
192 const std::string& message, |
564 template <> |
193 const char *assertion) |
565 inline void assert_fail_exception<std::string>(const char *file, int line, |
194 { |
566 const char *func, |
195 assert_fail_exception(file, line, function, message.c_str(), assertion); |
567 std::string message, |
|
568 const char *assertion, |
|
569 bool) |
|
570 { |
|
571 assert_fail_exception(file, line, func, message.c_str(), assertion, true); |
|
572 } |
196 } |
573 |
197 |
574 /// @} |
198 /// @} |
575 |
199 |
576 } |
200 } |
577 #endif // LEMON_ERROR_H |
201 #endif // LEMON_ASSERT_H |
578 |
202 |
579 #undef LEMON_ASSERT |
203 #undef LEMON_ASSERT |
580 #undef LEMON_FIXME |
204 #undef LEMON_FIXME |
581 |
205 |
582 #ifdef LEMON_ENABLE_ASSERTS |
206 #if (defined(LEMON_ASSERT_LOG) ? 1 : 0) + \ |
583 # define LEMON_ASSERT_ABORT |
207 (defined(LEMON_ASSERT_ABORT) ? 1 : 0) + \ |
584 #endif |
208 (defined(LEMON_ASSERT_ERROR) ? 1 : 0) + \ |
585 |
209 (defined(LEMON_ASSERT_EXCEPTION) ? 1 : 0) + \ |
586 #ifndef LEMON_ASSERT_DO_ABORT |
210 (defined(LEMON_ASSERT_CUSTOM) ? 1 : 0) > 1 |
587 # define LEMON_ASSERT_DO_ABORT 1 |
211 #error "Lemon assertion system is not set properly" |
588 #endif |
212 #endif |
589 |
213 |
590 #ifndef LEMON_ASSERT_HANDLER |
214 #if ((defined(LEMON_ASSERT_LOG) ? 1 : 0) + \ |
591 # if defined LEMON_ASSERT_EXCEPTION |
215 (defined(LEMON_ASSERT_ABORT) ? 1 : 0) + \ |
592 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_exception |
216 (defined(LEMON_ASSERT_ERROR) ? 1 : 0) + \ |
593 # elif defined LEMON_ASSERT_FAILURE |
217 (defined(LEMON_ASSERT_EXCEPTION) ? 1 : 0) + \ |
594 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_failure |
218 (defined(LEMON_ASSERT_CUSTOM) ? 1 : 0) == 1 || \ |
595 # elif defined LEMON_ASSERT_ABORT |
219 defined(LEMON_ENABLE_ASSERT)) && \ |
596 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail |
220 defined(LEMON_DISABLE_ASSERTS) |
597 # else |
221 #error "Lemon assertion system is not set properly" |
598 # define LEMON_DISABLE_ASSERTS |
222 #endif |
|
223 |
|
224 |
|
225 #if defined LEMON_ASSERT_LOG |
|
226 # undef LEMON_ASSERT_HANDLER |
|
227 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_log |
|
228 #elif defined LEMON_ASSERT_ABORT |
|
229 # undef LEMON_ASSERT_HANDLER |
|
230 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_abort |
|
231 #elif defined LEMON_ASSERT_ERROR |
|
232 # undef LEMON_ASSERT_HANDLER |
|
233 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_error |
|
234 #elif defined LEMON_ASSERT_EXCEPTION |
|
235 # undef LEMON_ASSERT_HANDLER |
|
236 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_exception |
|
237 #elif defined LEMON_ASSERT_CUSTOM |
|
238 # undef LEMON_ASSERT_HANDLER |
|
239 # ifndef LEMON_CUSTOM_ASSERT_HANDLER |
|
240 # error "LEMON_CUSTOM_ASSERT_HANDLER is not set" |
599 # endif |
241 # endif |
|
242 # define LEMON_ASSERT_HANDLER LEMON_CUSTOM_ASSERT_HANDLER |
|
243 #elif defined LEMON_ENABLE_ASSERTS |
|
244 # undef LEMON_ASSERT_HANDLER |
|
245 # define LEMON_ASSERT_HANDLER ::lemon::assert_fail_abort |
|
246 #else |
|
247 # undef LEMON_ASSERT_HANDLER |
|
248 #endif |
|
249 |
|
250 |
|
251 #ifndef LEMON_FUNCTION_NAME |
|
252 # define LEMON_FUNCTION_NAME (__PRETTY_FUNCTION__) |
600 #endif |
253 #endif |
601 |
254 |
602 #ifdef DOXYGEN |
255 #ifdef DOXYGEN |
603 |
256 |
|
257 /// \ingroup exceptions |
|
258 /// |
604 /// \brief Macro for assertions with customizable message |
259 /// \brief Macro for assertions with customizable message |
605 /// |
260 /// |
606 /// Macro for assertions with customizable message. |
261 /// Macro for assertions with customizable message. |
|
262 /// \param exp An expression convertible to bool. If the expression is |
|
263 /// false, then an assertion is raised. The concrete behaviour depends |
|
264 /// on the settings of the assertion system. |
|
265 /// \param msg A \e const \e char*, a \e const std::string& or a \e |
|
266 /// const \e std::exception& parameter. The variable can be used to |
|
267 /// provide information about the circumstances of failed assertion. |
607 /// |
268 /// |
608 /// The assertions are disabled in the default behaviour. You can |
269 /// The assertions are disabled in the default behaviour. You can |
609 /// enable the assertions with the |
270 /// enable the assertions with the following code: |
610 /// \code |
271 /// \code |
611 /// #define LEMON_ENABLE_ASSERTS |
272 /// #define LEMON_ENABLE_ASSERTS |
612 /// \endcode |
273 /// \endcode |
613 /// Then an assert |
274 /// or with compilation parameters: |
614 /// provides a log on the standard error about the assertion and aborts |
275 /// \code |
615 /// the program if LEMON_ASSERT_DO_ABORT is also defined (otherwise the |
276 /// g++ -DLEMON_ENABLE_ASSERTS |
616 /// program keeps on running). |
277 /// make CXXFLAGS='-DLEMON_ENABLE_ASSERTS' |
617 /// By defining LEMON_ASSERT_FAILURE or |
278 /// \endcode |
618 /// LEMON_ASSERT_EXCEPTION, you can set other behaviour to the |
279 /// |
619 /// assertions. In case LEMON_ASSERT_FAILURE is given, LEMON_ASSERT |
280 /// The %lemon assertion system has a wide range of customization |
620 /// will always throw an \c AssertionFailedError exception with |
281 /// properties. As default behaviour the failed assertion prints a |
621 /// the \c msg error message. By using |
282 /// short log message to the standard ouput and aborts the execution. |
622 /// LEMON_ASSERT_EXCEPTION, one can define an arbitrary exception to be thrown. |
283 /// |
623 /// |
284 /// The following modes can be used in the assertion system: |
624 /// The LEMON_ASSERT macro should be called with the \c exp parameter |
285 /// |
625 /// which should be an expression convertible to bool. If the given |
286 /// - \e LEMON_ASSERT_LOG The failed assert print a short convenient |
626 /// parameter is false the assertion is raised and one of the assertion |
287 /// error message to the standard error and continues the |
627 /// behaviour will be activated. The \c msg should be either a const |
288 /// execution. |
628 /// char* message or an exception. When the \c msg is an exception the |
289 /// - \e LEMON_ASSERT_ABORT This mode is similar to the \e |
629 /// \ref lemon::Exception::what() "what()" function is called to retrieve and |
290 /// LEMON_ASSERT_LOG, but it aborts the program. It is the default |
630 /// display the error message. |
291 /// operation mode when the asserts are enabled with \e |
631 /// |
292 /// LEMON_ENABLE_ASSERTS. |
632 /// \todo We should provide some way to reset to the default behaviour, |
293 /// - \e LEMON_ASSERT_ERROR The assert throws an \ref |
633 /// shouldn't we? |
294 /// lemon::AssertionFailedError "AssertionFailedError". If the \c |
634 /// |
295 /// msg parameter is an exception, then the result of the \ref |
635 /// \todo This whole 'assert' business should be placed in a separate |
296 /// lemon::Exception::what() "what()" member function is passed as |
636 /// include file. The boost assert is not guarded by header sentries |
297 /// error message. |
637 /// which may help to change the behaviour of the assertions in |
298 /// - \e LEMON_ASSERT_EXCEPTION If the specified \c msg is an |
638 /// the files. |
299 /// exception then it raised directly (solving that the exception |
639 /// |
300 /// can not be thrown polymorphically), otherwise an \ref |
640 /// \todo __PRETTY_FUNCTION__ should be replaced by something |
301 /// lemon::AssertionFailedError "AssertionFailedError" is thrown with |
641 /// compiler-independent, like BOOST_CURRENT_FUNCTION |
302 /// the given parameter. |
642 |
303 /// - \e LEMON_ASSERT_CUSTOM The user can define an own assertion |
643 # define LEMON_ASSERT(exp, msg) \ |
304 /// handler functions. Three overloaded functions should be defined |
644 (static_cast<void> (!!(exp) ? 0 : ( \ |
305 /// with the following parameter lists: |
645 LEMON_ASSERT_HANDLER(__FILE__, __LINE__, \ |
306 /// \code |
646 __PRETTY_FUNCTION__, \ |
307 /// void custom_assert_handler(const char* file, int line, |
647 msg, #exp, LEMON_ASSERT_DO_ABORT), 0))) |
308 /// const char* function, const char* message, const char* expression); |
|
309 /// void custom_assert_handler(const char* file, int line, |
|
310 /// const char* function, const std::string& message, const char* expression); |
|
311 /// void custom_assert_handler(const char* file, int line, |
|
312 /// const char* function, const std::exception& message, const char* expression); |
|
313 /// \endcode |
|
314 /// The name of the functions should be defined as the \c |
|
315 /// LEMON_CUSTOM_ASSERT_HANDLER macro name. |
|
316 /// \code |
|
317 /// #define LEMON_CUSTOM_ASSERT_HANDLER custom_assert_handler |
|
318 /// \endcode |
|
319 /// Whenever an assertion is occured, one of the custom assertion |
|
320 /// handler is called with appropiate parameters. |
|
321 /// |
|
322 /// The assertion mode can be changed within one compilation unit, if |
|
323 /// the macros are redefined with other settings and the |
|
324 /// lemon/assert.h file is reincluded then the behaviour is changed |
|
325 /// appropiately to the new settings. |
|
326 # define LEMON_ASSERT(exp, msg) \ |
|
327 (static_cast<void> (!!(exp) ? 0 : ( \ |
|
328 LEMON_ASSERT_HANDLER(__FILE__, __LINE__, \ |
|
329 LEMON_FUNCTION_NAME, \ |
|
330 msg, #exp), 0))) |
|
331 |
|
332 |
|
333 /// \ingroup exceptions |
|
334 /// |
|
335 /// \brief Macro for mark not yet implemented features. |
|
336 /// |
|
337 /// Macro for mark not yet implemented features and outstanding bugs. |
|
338 /// It is close to be the shortcut of the following code: |
|
339 /// \code |
|
340 /// LEMON_ASSERT(false, msg); |
|
341 /// \endcode |
|
342 # define LEMON_FIXME(msg) \ |
|
343 (LEMON_ASSERT_HANDLER(__FILE__, __LINE__, LEMON_FUNCTION_NAME, \ |
|
344 "FIXME: " msg, static_cast<const char*>(0))) |
648 |
345 |
649 #else |
346 #else |
650 # if defined LEMON_DISABLE_ASSERTS |
347 |
651 |
348 # ifndef LEMON_ASSERT_HANDLER |
652 # define LEMON_ASSERT(exp, msg) (static_cast<void> (0)) |
349 # define LEMON_ASSERT(exp, msg) (static_cast<void> (0)) |
653 |
350 # define LEMON_FIXME(msg) (static_cast<void>(0)) |
654 # else |
351 # else |
655 # define LEMON_ASSERT(exp, msg) \ |
352 # define LEMON_ASSERT(exp, msg) \ |
656 (static_cast<void> (!!(exp) ? 0 : ( \ |
353 (static_cast<void> (!!(exp) ? 0 : ( \ |
657 LEMON_ASSERT_HANDLER(__FILE__, __LINE__, \ |
354 LEMON_ASSERT_HANDLER(__FILE__, __LINE__, \ |
658 __PRETTY_FUNCTION__, \ |
355 LEMON_FUNCTION_NAME, \ |
659 msg, #exp, LEMON_ASSERT_DO_ABORT), 0))) |
356 msg, #exp), 0))) |
|
357 # define LEMON_FIXME(msg) \ |
|
358 (LEMON_ASSERT_HANDLER(__FILE__, __LINE__, LEMON_FUNCTION_NAME, \ |
|
359 "FIXME: " msg, static_cast<const char*>(0))) |
660 # endif |
360 # endif |
661 #endif |
361 |
662 |
362 #endif |
663 /** |
363 |
664 * \brief Macro for mark not yet implemented features. |
364 |
665 * |
|
666 * \todo Is this the right place for this? It should be used only in |
|
667 * modules under development. |
|
668 * |
|
669 * \todo __PRETTY_FUNCTION__ should be replaced by something |
|
670 * compiler-independent, like BOOST_CURRENT_FUNCTION |
|
671 */ |
|
672 |
|
673 #define LEMON_FIXME(msg) \ |
|
674 (LEMON_ASSERT_HANDLER(__FILE__, __LINE__, __PRETTY_FUNCTION__, \ |
|
675 "FIXME: " msg)) |
|