| #include <iostream> | |
| #include <contract> | |
| void handle_contract_violation(const std::contract_violation &violation) { | |
| std::cerr << "custom handle_contract_violation: " << std::endl | |
| << " line_number: " << violation.line_number() << std::endl | |
| << " file_name: " << violation.file_name() << std::endl | |
| << " function_name: " << violation.function_name() << std::endl | |
| << " comment: " << violation.comment() << std::endl | |
| << " assertion_level: " << violation.assertion_level() << std::endl | |
| << std::endl; | |
| throw -1; | |
| } | |