equal
deleted
inserted
replaced
19 * |
19 * |
20 * \todo Do we need this? |
20 * \todo Do we need this? |
21 * |
21 * |
22 * \todo Don't we need different kind of exceptions for different kind |
22 * \todo Don't we need different kind of exceptions for different kind |
23 * of errors? |
23 * of errors? |
24 * Shouldn't we use <stdexcept> instead? |
24 * Shouldn't we use \<stdexcept\> instead? |
25 */ |
25 */ |
26 class Exception : public std::exception { |
26 class Exception : public std::exception { |
27 protected: |
27 protected: |
28 std::ostringstream buf; |
28 std::ostringstream buf; |
29 public: |
29 public: |