| 142 | } |
| 143 | |
| 144 | void reportMetrics() |
| 145 | { |
| 146 | if (!mFileMetrics.empty()) { |
| 147 | auto &out = mErrorOutput ? *mErrorOutput : std::cerr; |
| 148 | out << " <metrics>" << std::endl; |
| 149 | for (const auto &metric : mFileMetrics) { |
| 150 | out << " " << metric << std::endl; |
| 151 | } |
| 152 | out << " </metrics>" << std::endl; |
| 153 | } |
| 154 | } |
| 155 | |
| 156 | /** |
| 157 | * @brief Write the checkers report |