| 296 | // ---------------------------------------------------------------------------------------- |
| 297 | |
| 298 | class gui_error : public error |
| 299 | { |
| 300 | public: |
| 301 | gui_error( |
| 302 | error_type t, |
| 303 | const std::string& a |
| 304 | ): error(t,a) {} |
| 305 | /*! |
| 306 | ensures |
| 307 | - #type == t |
| 308 | - #info == a |
| 309 | !*/ |
| 310 | |
| 311 | gui_error( |
| 312 | error_type t |
| 313 | ): error(t) {} |
| 314 | /*! |
| 315 | ensures |
| 316 | - #type == t |
| 317 | - #info == "" |
| 318 | !*/ |
| 319 | |
| 320 | gui_error( |
| 321 | const std::string& a |
| 322 | ): error(EGUI,a) {} |
| 323 | /*! |
| 324 | ensures |
| 325 | - #type == EGUI |
| 326 | - #info == a |
| 327 | !*/ |
| 328 | |
| 329 | gui_error( |
| 330 | ): error(EGUI) {} |
| 331 | /*! |
| 332 | ensures |
| 333 | - #type == EGUI |
| 334 | - #info == "" |
| 335 | !*/ |
| 336 | }; |
| 337 | |
| 338 | // ---------------------------------------------------------------------------------------- |
| 339 |
no outgoing calls
no test coverage detected