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