Changeset 112:d2ee5e7f00ef in lemon-1.2 for lemon
- Timestamp:
- 03/27/08 13:26:16 (17 years ago)
- Branch:
- default
- Phase:
- public
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
lemon/assert.h
r108 r112 116 116 const char *assertion) 117 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; 118 assert_fail_log(file, line, function, exception, assertion); 125 119 std::abort(); 126 120 } … … 130 124 const char *assertion) 131 125 { 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; 126 assert_fail_log(file, line, function, message, assertion); 139 127 std::abort(); 140 128 } … … 145 133 const char *assertion) 146 134 { 147 assert_fail_abort(file, line, function, message.c_str(), assertion); 135 assert_fail_log(file, line, function, message.c_str(), assertion); 136 std::abort(); 148 137 } 149 138 … … 169 158 const char *assertion) 170 159 { 171 assert_fail_error(file, line, function, message.c_str(), assertion);160 throw AssertionFailedError(file, line, function, message.c_str(), assertion); 172 161 } 173 162 … … 193 182 const char *assertion) 194 183 { 195 assert_fail_exception(file, line, function, message.c_str(), assertion);184 throw AssertionFailedError(file, line, function, message.c_str(), assertion); 196 185 } 197 186 … … 209 198 (defined(LEMON_ASSERT_EXCEPTION) ? 1 : 0) + \ 210 199 (defined(LEMON_ASSERT_CUSTOM) ? 1 : 0) > 1 211 #error "L emonassertion system is not set properly"200 #error "LEMON assertion system is not set properly" 212 201 #endif 213 202 … … 217 206 (defined(LEMON_ASSERT_EXCEPTION) ? 1 : 0) + \ 218 207 (defined(LEMON_ASSERT_CUSTOM) ? 1 : 0) == 1 || \ 219 defined(LEMON_ENABLE_ASSERT )) && \208 defined(LEMON_ENABLE_ASSERTS)) && \ 220 209 defined(LEMON_DISABLE_ASSERTS) 221 #error "L emonassertion system is not set properly"210 #error "LEMON assertion system is not set properly" 222 211 #endif 223 212 … … 257 246 /// \ingroup exceptions 258 247 /// 259 /// \brief Macro for assertion swith customizable message260 /// 261 /// Macro for assertion swith customizable message.262 /// \param exp An expression convertible to bool. If the expression is263 /// false, then an assertion is raised. The concrete behaviour depends264 /// on the settings of the assertion system.265 /// \param msg A \e const \e char*, a \e const std::string& or a \e266 /// const \e std::exception& parameter. The variablecan be used to267 /// provide information about the circumstances of failed assertion.268 /// 269 /// The assertions are disabled in the default behaviour. You can270 /// enable the assertionswith the following code:248 /// \brief Macro for assertion with customizable message 249 /// 250 /// Macro for assertion with customizable message. 251 /// \param exp An expression that must be convertible to \c bool. 252 /// If it is \c false, then an assertion is raised. The concrete 253 /// behaviour depends on the settings of the assertion system. 254 /// \param msg A <tt>const char*</tt>, a <tt>const std::string&</tt> or 255 /// a <tt>const std::exception&</tt> parameter, which can be used to 256 /// provide information about the circumstances of the failed assertion. 257 /// 258 /// The assertions are disabled in the default behaviour. 259 /// You can enable them with the following code: 271 260 /// \code 272 261 /// #define LEMON_ENABLE_ASSERTS … … 278 267 /// \endcode 279 268 /// 280 /// The %lemonassertion system has a wide range of customization281 /// properties. As default behaviour the failed assertion prints a282 /// short log message to the standard ouputand aborts the execution.269 /// The LEMON assertion system has a wide range of customization 270 /// properties. As a default behaviour the failed assertion prints a 271 /// short log message to the standard error and aborts the execution. 283 272 /// 284 273 /// The following modes can be used in the assertion system: 285 274 /// 286 /// - \e LEMON_ASSERT_LOG The failed assert print a short convenient 287 /// error message to the standard error and continues the 288 /// execution. 289 /// - \e LEMON_ASSERT_ABORT This mode is similar to the \e 290 /// LEMON_ASSERT_LOG, but it aborts the program. It is the default 291 /// operation mode when the asserts are enabled with \e 292 /// LEMON_ENABLE_ASSERTS. 293 /// - \e LEMON_ASSERT_ERROR The assert throws an \ref 294 /// lemon::AssertionFailedError "AssertionFailedError". If the \c 295 /// msg parameter is an exception, then the result of the \ref 296 /// lemon::Exception::what() "what()" member function is passed as 297 /// error message. 298 /// - \e LEMON_ASSERT_EXCEPTION If the specified \c msg is an 299 /// exception then it raised directly (solving that the exception 275 /// - \c LEMON_ASSERT_LOG The failed assertion prints a short log 276 /// message to the standard error and continues the execution. 277 /// - \c LEMON_ASSERT_ABORT This mode is similar to the 278 /// \c LEMON_ASSERT_LOG, but it aborts the program. It is the default 279 /// behaviour mode when the assertions are enabled with 280 /// \c LEMON_ENABLE_ASSERTS. 281 /// - \c LEMON_ASSERT_ERROR The assertion throws an 282 /// \ref lemon::AssertionFailedError "AssertionFailedError". 283 /// If the \c msg parameter is an exception, then the result of the 284 /// \ref lemon::Exception::what() "what()" member function is passed 285 /// as error message. 286 /// - \c LEMON_ASSERT_EXCEPTION If the specified \c msg is an 287 /// exception, then it raised directly (solving that the exception 300 288 /// can not be thrown polymorphically), otherwise an \ref 301 289 /// lemon::AssertionFailedError "AssertionFailedError" is thrown with 302 /// the given parameter .303 /// - \ e LEMON_ASSERT_CUSTOM The user can define an own assertion304 /// handler functions. Three overloaded functions should be defined305 /// with thefollowing parameter lists:290 /// the given parameters. 291 /// - \c LEMON_ASSERT_CUSTOM The user can define own assertion handler 292 /// functions. Three overloaded functions should be defined with the 293 /// following parameter lists: 306 294 /// \code 307 /// void custom_assert_handler(const char* file, int line, 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);295 /// void custom_assert_handler(const char* file, int line, const char* function, 296 /// const char* message, const char* assertion); 297 /// void custom_assert_handler(const char* file, int line, const char* function, 298 /// const std::string& message, const char* assertion); 299 /// void custom_assert_handler(const char* file, int line, const char* function, 300 /// const std::exception& message, const char* assertion); 313 301 /// \endcode 314 302 /// The name of the functions should be defined as the \c … … 318 306 /// \endcode 319 307 /// 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, if323 /// the macros are redefined with other settings and the324 /// lemon/assert.h file is reincluded then the behaviour is changed325 /// appropiately to the new settings.308 /// handlers is called with appropiate parameters. 309 /// 310 /// The assertion mode can also be changed within one compilation unit. 311 /// If the macros are redefined with other settings and the 312 /// \ref lemon/assert.h "assert.h" file is reincluded, then the 313 /// behaviour is changed appropiately to the new settings. 326 314 # define LEMON_ASSERT(exp, msg) \ 327 315 (static_cast<void> (!!(exp) ? 0 : ( \ … … 347 335 348 336 # ifndef LEMON_ASSERT_HANDLER 349 # define LEMON_ASSERT(exp, msg) (static_cast<void> 337 # define LEMON_ASSERT(exp, msg) (static_cast<void>(0)) 350 338 # define LEMON_FIXME(msg) (static_cast<void>(0)) 351 339 # else
Note: See TracChangeset
for help on using the changeset viewer.