| 99 | } |
| 100 | |
| 101 | Precondition::Precondition(const char* file, int line, const char* function, const string& condition) noexcept : |
| 102 | BaseException(file, line, function, "Precondition failed", std::string(condition)) |
| 103 | { |
| 104 | GlobalExceptionHandler::getInstance().setMessage(what()); |
| 105 | } |
| 106 | |
| 107 | Postcondition::Postcondition(const char* file, int line, const char* function, const string& condition) noexcept : |
| 108 | BaseException(file, line, function, "Postcondition failed", std::string(condition)) |
nothing calls this directly
no test coverage detected