| 11695 | } |
| 11696 | } |
| 11697 | void printMessage() const { |
| 11698 | if (!messageLabel.empty()) |
| 11699 | stream << messageLabel << ':' << '\n'; |
| 11700 | for (auto const& msg : messages) { |
| 11701 | // If this assertion is a warning ignore any INFO messages |
| 11702 | if (printInfoMessages || msg.type != ResultWas::Info) |
| 11703 | stream << Column(msg.message).indent(2) << '\n'; |
| 11704 | } |
| 11705 | } |
| 11706 | void printSourceInfo() const { |
| 11707 | Colour colourGuard(Colour::FileName); |
| 11708 | stream << result.getSourceInfo() << ": "; |