| 62 | |
| 63 | template<typename B, typename R> |
| 64 | bool |
| 65 | Monitor_EXIT<B, R>::equivalent(const Monitor_EXIT<B, R>& m, bool do_throw) const |
| 66 | { |
| 67 | if (get_N() != m.get_N()) |
| 68 | { |
| 69 | if (!do_throw) return false; |
| 70 | |
| 71 | std::stringstream message; |
| 72 | message << "'get_N()' is different than 'm.get_N()' ('get_N()' = " << get_N() << ", 'm.get_N()' = " << m.get_N() |
| 73 | << ")."; |
| 74 | throw spu::tools::invalid_argument(__FILE__, __LINE__, __func__, message.str()); |
| 75 | } |
| 76 | |
| 77 | if (get_max_n_trials() != m.get_max_n_trials()) |
| 78 | { |
| 79 | if (!do_throw) return false; |
| 80 | |
| 81 | std::stringstream message; |
| 82 | message << "'get_max_n_trials()' is different than 'm.get_max_n_trials()' ('get_max_n_trials()' = " |
| 83 | << get_max_n_trials() << ", 'm.get_max_n_trials()' = " << m.get_max_n_trials() << ")."; |
| 84 | throw spu::tools::invalid_argument(__FILE__, __LINE__, __func__, message.str()); |
| 85 | } |
| 86 | |
| 87 | return true; |
| 88 | } |
| 89 | |
| 90 | template<typename B, typename R> |
| 91 | void |
nothing calls this directly
no test coverage detected