| 11674 | |
| 11675 | private: |
| 11676 | void printResultType() const { |
| 11677 | if (!passOrFail.empty()) { |
| 11678 | Colour colourGuard(colour); |
| 11679 | stream << passOrFail << ":\n"; |
| 11680 | } |
| 11681 | } |
| 11682 | void printOriginalExpression() const { |
| 11683 | if (result.hasExpression()) { |
| 11684 | Colour colourGuard(Colour::OriginalExpression); |