| 1022 | { |
| 1023 | public: |
| 1024 | static type_error create(int id_, const std::string& what_arg) |
| 1025 | { |
| 1026 | std::string w = exception::name("type_error", id_) + what_arg; |
| 1027 | return type_error(id_, w.c_str()); |
| 1028 | } |
| 1029 | |
| 1030 | private: |
| 1031 | type_error(int id_, const char* what_arg) : exception(id_, what_arg) {} |