| 338 | // ---------------------------------------------------------------------------------------- |
| 339 | |
| 340 | class socket_error : public error |
| 341 | { |
| 342 | public: |
| 343 | socket_error( |
| 344 | error_type t, |
| 345 | const std::string& a |
| 346 | ): error(t,a) {} |
| 347 | /*! |
| 348 | ensures |
| 349 | - #type == t |
| 350 | - #info == a |
| 351 | !*/ |
| 352 | |
| 353 | socket_error( |
| 354 | error_type t |
| 355 | ): error(t) {} |
| 356 | /*! |
| 357 | ensures |
| 358 | - #type == t |
| 359 | - #info == "" |
| 360 | !*/ |
| 361 | |
| 362 | socket_error( |
| 363 | const std::string& a |
| 364 | ): error(ESOCKET,a) {} |
| 365 | /*! |
| 366 | ensures |
| 367 | - #type == ESOCKET |
| 368 | - #info == a |
| 369 | !*/ |
| 370 | |
| 371 | socket_error( |
| 372 | ): error(ESOCKET) {} |
| 373 | /*! |
| 374 | ensures |
| 375 | - #type == ESOCKET |
| 376 | - #info == "" |
| 377 | !*/ |
| 378 | }; |
| 379 | |
| 380 | // ---------------------------------------------------------------------------------------- |
| 381 |
no outgoing calls
no test coverage detected