| 380 | // ---------------------------------------------------------------------------------------- |
| 381 | |
| 382 | class thread_error : public error |
| 383 | { |
| 384 | public: |
| 385 | thread_error( |
| 386 | error_type t, |
| 387 | const std::string& a |
| 388 | ): error(t,a) {} |
| 389 | /*! |
| 390 | ensures |
| 391 | - #type == t |
| 392 | - #info == a |
| 393 | !*/ |
| 394 | |
| 395 | thread_error( |
| 396 | error_type t |
| 397 | ): error(t) {} |
| 398 | /*! |
| 399 | ensures |
| 400 | - #type == t |
| 401 | - #info == "" |
| 402 | !*/ |
| 403 | |
| 404 | thread_error( |
| 405 | const std::string& a |
| 406 | ): error(ETHREAD,a) {} |
| 407 | /*! |
| 408 | ensures |
| 409 | - #type == ETHREAD |
| 410 | - #info == a |
| 411 | !*/ |
| 412 | |
| 413 | thread_error( |
| 414 | ): error(ETHREAD) {} |
| 415 | /*! |
| 416 | ensures |
| 417 | - #type == ETHREAD |
| 418 | - #info == "" |
| 419 | !*/ |
| 420 | }; |
| 421 | |
| 422 | // ---------------------------------------------------------------------------------------- |
| 423 |